EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstc_alg02/s30671.dev (599 bytes) 
   3155000 	 -1 	 0 	 1
   3178000 	 -2 	 -171 	 1
   3264000 	 -3 	 0 	 1
   4223000 	 -1 	 0 	 1
   4574500 	 -2 	 -92 	 1
   4941000 	 -3 	 0 	 1
   5928500 	 -1 	 0 	 1
   5943500 	 -1 	 0 	 0
   5970500 	 -2 	 -114 	 0
   5973500 	 -2 	 -144 	 1
   6055000 	 -3 	 0 	 0
   6277500 	 -3 	 0 	 1
   9409000 	 -1 	 0 	 1
   9422500 	 -2 	 -127 	 1
   9434500 	 -3 	 0 	 1
  14768000 	 -1 	 0 	 1
  14981500 	 -2 	 -143 	 1
  15165500 	 -3 	 0 	 1
  17009000 	 -1 	 0 	 1
  17258500 	 -2 	 -299 	 1
  17426500 	 -3 	 0 	 1
  19144500 	 -1 	 0 	 1
  19162000 	 -2 	 -161 	 1
  19223500 	 -3 	 0 	 1