EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstc_alg02/s20441.dev (600 bytes) 
   2784250 	 -1 	 0 	 1
   2814750 	 -2 	 -135 	 1
   2900750 	 -3 	 0 	 1
   3086750 	 -1 	 0 	 1
   3088250 	 -1 	 0 	 0
   3115750 	 -2 	 -123 	 0
   3115750 	 -2 	 -175 	 1
   3320250 	 -3 	 0 	 0
   3394750 	 -3 	 0 	 1
   3901250 	 -1 	 0 	 1
   3937250 	 -2 	 -141 	 1
   3948250 	 -3 	 0 	 1
   7838750 	 -1 	 0 	 1
   7878750 	 -2 	 -184 	 1
   7899250 	 -3 	 0 	 1
   7919750 	 -1 	 0 	 1
   8002250 	 -2 	 -167 	 1
   8038750 	 -3 	 0 	 1
   9367250 	 -1 	 0 	 1
   9403250 	 -2 	 -132 	 1
   9430750 	 -3 	 0 	 1
   9452750 	 -1 	 0 	 1
   9499750 	 -2 	 -295 	 1
   9759750 	 -3 	 0 	 1