//This file was generated from (Academic) UPPAAL 4.1.1 (rev. 4276), March 2009

/*
*/
A[] ( ( ( (t > 625 and t < 890) or (t > 1137)) imply q_0 == 0)  and  (((t > 378 and t < 625) or (t > 890 and t < 1137)) imply q_0 == 1) )
A[] ( ( ( (t >= 0 and t < 378) or (t > 625 and t < 890) or (t > 1137)) imply q_0 == 0)  and  (((t > 378 and t < 625) or (t > 890 and t < 1137)) imply q_0 == 1) )

A[] ( ( ( (t > 625 and t < 890) or (t > 1138)) imply q_0 == 0)  and  (((t > 378 and t < 625) or (t > 890 and t < 1138)) imply q_0 == 1) )

// q_0 : 378 up, 625 down, 890 up, 1137 down;