标题：2个周期

请编译：

 

T1:当条件a发生后的5个周期内发生条件b；

 

T2:当T1发生后的10个周期内发生条件c，买开；

t1:b and count(a,5)>=1;
t2:c1 and count(t1,10)>=1;