EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20351.dev (600 bytes) 
   3200250 	 -1 	 0 	 0
   3200250 	 -1 	 0 	 1
   3279750 	 -2 	 -334 	 0
   3279750 	 -2 	 -255 	 1
   3372250 	 -3 	 0 	 1
   3385250 	 -3 	 0 	 0
  19404250 	 -1 	 0 	 1
  19419250 	 -1 	 0 	 0
  19530250 	 -2 	 -137 	 0
  19530750 	 -2 	 -130 	 1
  19544750 	 -3 	 0 	 0
  19545750 	 -3 	 0 	 1
  19798750 	 -1 	 0 	 1
  19799250 	 -1 	 0 	 0
  19956750 	 -2 	 -305 	 1
  19957750 	 -2 	 -372 	 0
  20083250 	 -3 	 0 	 1
  20089250 	 -3 	 0 	 0
  20406250 	 -1 	 0 	 0
  20408250 	 -1 	 0 	 1
  20460750 	 -2 	 -217 	 1
  20488750 	 -2 	 -230 	 0
  20523250 	 -3 	 0 	 1
  20535750 	 -3 	 0 	 1