EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstc_alg02/s30761.dev (441 bytes) 
   6293000 	 -1 	 0 	 1
   6400000 	 -2 	 0 	 1
   6423500 	 -3 	 0 	 1
   6580000 	 -1 	 0 	 1
   6737000 	 -2 	 0 	 1
   6777000 	 -3 	 0 	 1
   6829500 	 -1 	 0 	 1
   6889500 	 -2 	 -76 	 1
   6981500 	 -3 	 0 	 1
  18954500 	 -1 	 0 	 1
  19074000 	 -2 	 -85 	 1
  19177500 	 -3 	 0 	 1
  19191000 	 -1 	 0 	 1
  19521000 	 -2 	 -110 	 1
  19751500 	 -3 	 0 	 1
  20172500 	 -1 	 0 	 1
  20232500 	 -2 	 -97 	 1
  20316500 	 -3 	 0 	 1