T1Q1     specification is in t1q1.ads
T1Q2     specification is in t1q2.ads
T1Q3     specification is in t1q3.ads
T1Q3_Alt specification is in t1q3_alt.ads
T1Q4     specification is in t1q4.ads
T1Q5     specification is in t1q5.ads
T1Q6     specification is in t1q6.ads
