EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20031.dev (1,205 bytes)
    468250 	 -1 	 0 	 1
    480750 	 -1 	 0 	 0
    645750 	 -2 	 -294 	 0
    670250 	 -2 	 -409 	 1
    974250 	 -3 	 0 	 0
   1003750 	 -3 	 0 	 1
   2039750 	 -1 	 0 	 1
   2056250 	 -1 	 0 	 0
   2111250 	 -2 	 -193 	 0
   2111250 	 -2 	 -227 	 1
   2599750 	 -3 	 0 	 0
   2599750 	 -3 	 0 	 1
   2600250 	 -1 	 -1 	 0
   2600250 	 -1 	 -1 	 1
   2764750 	 -2 	 -123 	 1
   3013250 	 -2 	 -95 	 0
   3299250 	 -3 	 -1 	 1
   3303250 	 -3 	 -1 	 0
   4972250 	 -1 	 -1 	 0
   4972750 	 -1 	 -1 	 1
   5055750 	 -2 	 -109 	 1
   5257750 	 -2 	 -57 	 0
   6832750 	 -3 	 -1 	 0
   6833250 	 -3 	 -1 	 1
   6848750 	 -1 	 -1 	 0
   6849750 	 -1 	 -1 	 1
   6933250 	 -2 	 -104 	 1
   6933750 	 -2 	 -89 	 0
   7054750 	 -3 	 -1 	 1
   7055250 	 -3 	 -1 	 0
   7530750 	 -1 	 0 	 1
   7532250 	 -1 	 0 	 0
   8270750 	 -2 	 -47 	 0
   8358250 	 -2 	 -168 	 1
   9491750 	 -3 	 0 	 0
   9547250 	 -3 	 0 	 1
   9735750 	 -1 	 0 	 1
   9736250 	 -1 	 0 	 0
   9741750 	 -2 	 0 	 0
   9742250 	 -2 	 -160 	 1
   9820750 	 -3 	 0 	 0
   9834750 	 -3 	 0 	 1
  21022250 	 -1 	 0 	 0
  21022750 	 -1 	 0 	 1
  21047250 	 -2 	 -162 	 0
  21047750 	 -2 	 -213 	 1
  21165750 	 -3 	 0 	 0
  21173250 	 -3 	 0 	 1