EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstc_alg02/s20431.dev (750 bytes) 
   1742500 	 -1 	 0 	 1
   1808500 	 -1 	 0 	 0
   1818000 	 -2 	 -190 	 1
   1819000 	 -2 	 -249 	 0
   1828500 	 -3 	 0 	 1
   1834500 	 -3 	 0 	 0
   3716500 	 -1 	 0 	 1
   3740000 	 -2 	 -215 	 1
   3927500 	 -3 	 0 	 1
   7915500 	 -1 	 0 	 1
   7942000 	 -1 	 0 	 0
   7951500 	 -2 	 -169 	 1
   7993500 	 -2 	 -223 	 0
   8152500 	 -3 	 0 	 0
   8161500 	 -3 	 0 	 1
   8173500 	 -1 	 0 	 0
   8192000 	 -2 	 -147 	 0
   8201500 	 -3 	 0 	 0
  12125000 	 -1 	 0 	 1
  12139000 	 -2 	 -180 	 1
  12158000 	 -3 	 0 	 1
  12352000 	 -1 	 0 	 1
  12431500 	 -2 	 -124 	 1
  12482000 	 -3 	 0 	 1
  20676500 	 -1 	 0 	 1
  20678500 	 -1 	 0 	 0
  20949000 	 -2 	 -392 	 1
  20973000 	 -2 	 -430 	 0
  21352000 	 -3 	 0 	 0
  21471000 	 -3 	 0 	 0