EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstc_alg02/s20272.dev (3,375 bytes)
   1187500 	 -1 	 0 	 1
   1200500 	 -1 	 0 	 0
   1228500 	 -2 	 -326 	 1
   1233500 	 -2 	 -180 	 0
   1261000 	 -3 	 0 	 0
   1266000 	 -3 	 0 	 1
   2395000 	 -1 	 0 	 1
   2467000 	 -2 	 -227 	 1
   2575500 	 -3 	 0 	 1
   2882000 	 -1 	 0 	 1
   2897500 	 -2 	 -122 	 1
   2916500 	 -3 	 0 	 1
   3516000 	 -1 	 0 	 1
   3533500 	 -1 	 0 	 0
   3558500 	 -2 	 -183 	 0
   3560000 	 -2 	 -243 	 1
   3644500 	 -3 	 0 	 0
   3645000 	 -3 	 0 	 1
   4333000 	 -1 	 0 	 1
   4364500 	 -2 	 -267 	 1
   4443500 	 -3 	 0 	 1
   5492000 	 -1 	 0 	 1
   5508500 	 -1 	 0 	 0
   5546500 	 -2 	 -198 	 0
   5553500 	 -2 	 -314 	 1
   5654000 	 -3 	 0 	 1
   5655000 	 -3 	 0 	 0
   6059000 	 -1 	 0 	 1
   6069500 	 -1 	 0 	 0
   6107000 	 -2 	 -323 	 1
   6130500 	 -2 	 -211 	 0
   6186500 	 -3 	 0 	 0
   6229500 	 -3 	 0 	 1
   7398000 	 -1 	 0 	 0
   7403000 	 -1 	 0 	 1
   7446500 	 -2 	 -168 	 0
   7450000 	 -2 	 -197 	 1
   7472500 	 -3 	 0 	 0
   7497000 	 -3 	 0 	 1
   7978500 	 -1 	 0 	 1
   7997500 	 -2 	 -161 	 1
   7999000 	 -1 	 0 	 0
   8018500 	 -2 	 -240 	 0
   8047000 	 -3 	 0 	 0
   8053000 	 -3 	 0 	 1
   9332500 	 -1 	 0 	 1
   9367000 	 -1 	 0 	 0
   9372500 	 -2 	 -210 	 1
   9380000 	 -2 	 -144 	 0
   9401000 	 -3 	 0 	 0
   9451500 	 -3 	 0 	 1
   9881500 	 -1 	 0 	 1
   9913000 	 -1 	 0 	 0
   9920000 	 -2 	 -244 	 1
   9922500 	 -2 	 -210 	 0
   9952500 	 -3 	 0 	 0
   9972500 	 -3 	 0 	 1
  10860000 	 -1 	 0 	 1
  10890000 	 -1 	 0 	 0
  10899500 	 -2 	 -203 	 0
  10903000 	 -2 	 -204 	 1
  10923500 	 -3 	 0 	 0
  10924500 	 -3 	 0 	 1
  11231500 	 -1 	 0 	 1
  11261500 	 -1 	 0 	 0
  11268500 	 -2 	 -247 	 1
  11281500 	 -2 	 -119 	 0
  11305000 	 -3 	 0 	 0
  11316500 	 -3 	 0 	 1
  12334500 	 -1 	 0 	 1
  12337000 	 -1 	 0 	 0
  12347500 	 -2 	 -215 	 1
  12348000 	 -2 	 -168 	 0
  12393000 	 -3 	 0 	 0
  12400000 	 -3 	 0 	 1
  12720500 	 -1 	 0 	 1
  12752000 	 -1 	 0 	 0
  12761000 	 -2 	 -258 	 1
  12772000 	 -2 	 -132 	 0
  12794500 	 -3 	 0 	 0
  12795500 	 -3 	 0 	 1
  13207000 	 -1 	 0 	 1
  13227500 	 -1 	 0 	 0
  13236000 	 -2 	 -154 	 1
  13249500 	 -2 	 -175 	 0
  13269000 	 -3 	 0 	 0
  13273500 	 -3 	 0 	 1
  13817000 	 -1 	 0 	 1
  13860500 	 -2 	 -266 	 1
  13891500 	 -3 	 0 	 1
  14200000 	 -1 	 0 	 1
  14250500 	 -2 	 -248 	 1
  14273500 	 -3 	 0 	 1
  14673000 	 -1 	 0 	 1
  14712000 	 -1 	 0 	 0
  14724500 	 -2 	 -202 	 1
  14733500 	 -2 	 -139 	 0
  14778500 	 -3 	 0 	 0
  14830500 	 -3 	 0 	 1
  14894000 	 -1 	 0 	 1
  14903500 	 -2 	 -133 	 1
  15027500 	 -3 	 0 	 1
  15127500 	 -1 	 0 	 1
  15138500 	 -1 	 0 	 0
  15170500 	 -2 	 -237 	 1
  15177500 	 -2 	 -173 	 0
  15194000 	 -3 	 0 	 0
  15281000 	 -3 	 0 	 1
  15635000 	 -1 	 0 	 1
  15666000 	 -1 	 0 	 0
  15686000 	 -2 	 -216 	 0
  15692500 	 -2 	 -273 	 1
  15726000 	 -3 	 0 	 0
  15730000 	 -3 	 0 	 1
  16008000 	 -1 	 0 	 1
  16038000 	 -1 	 0 	 0
  16068500 	 -2 	 -208 	 0
  16085500 	 -2 	 -321 	 1
  16116500 	 -3 	 0 	 0
  16207000 	 -3 	 0 	 1
  16393000 	 -1 	 0 	 1
  16427500 	 -1 	 0 	 0
  16448500 	 -2 	 -231 	 1
  16449500 	 -2 	 -186 	 0
  16480500 	 -3 	 0 	 0
  16512000 	 -3 	 0 	 1
  17007500 	 -1 	 0 	 1
  17083000 	 -1 	 0 	 0
  17091500 	 -2 	 -333 	 1
  17101000 	 -2 	 -175 	 0
  17136000 	 -3 	 0 	 0
  17152000 	 -3 	 0 	 1
  20728500 	 -1 	 0 	 1
  20754500 	 -2 	 -180 	 1
  20806000 	 -3 	 0 	 1