tim1(in:=in3 and in4, pt:=t#5s);
out3:=tim1.q;
tim2(in:=in3 and in4, pt:=t#7s);
out4:=tim2.q;