EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s30701.dev (450 bytes) 
  19159750 	 -1 	 0 	 2
  19161750 	 -1 	 0 	 1
  19232250 	 -2 	 -117 	 2
  19283250 	 -3 	 0 	 2
  19292750 	 -1 	 0 	 2
  19310750 	 -2 	 -108 	 2
  19377250 	 -3 	 0 	 2
  19387750 	 -1 	 0 	 2
  19400750 	 -2 	 -147 	 1
  19400750 	 -2 	 -154 	 2
  19605750 	 -3 	 0 	 2
  19607250 	 -3 	 0 	 1
  19991750 	 -1 	 0 	 1
  19993750 	 -1 	 0 	 2
  20069250 	 -2 	 -269 	 1
  20069750 	 -2 	 -219 	 2
  20158750 	 -3 	 0 	 2
  20158750 	 -3 	 0 	 2