EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20041.dev (2,841 bytes)
    280500 	 -1 	 0 	 1
    291500 	 -1 	 0 	 0
    307500 	 -2 	 -77 	 0
    317500 	 -2 	 -97 	 1
    390000 	 -3 	 0 	 1
    409000 	 -3 	 0 	 0
    618500 	 -1 	 0 	 0
    618500 	 -1 	 0 	 1
    760000 	 -2 	 -290 	 0
    760000 	 -2 	 -293 	 1
    848000 	 -3 	 0 	 1
    858500 	 -3 	 0 	 0
   1367500 	 -1 	 0 	 1
   1519000 	 -1 	 0 	 0
   1634500 	 -2 	 -74 	 0
   1634500 	 -2 	 -79 	 1
   1663500 	 -3 	 0 	 1
   1734000 	 -3 	 0 	 0
   1827000 	 -1 	 0 	 1
   1828000 	 -1 	 0 	 0
   1943000 	 -2 	 -98 	 1
   1947000 	 -2 	 -95 	 0
   2043500 	 -3 	 0 	 0
   2163500 	 -3 	 0 	 1
   2173000 	 -1 	 0 	 1
   2198500 	 -2 	 -124 	 1
   2223500 	 -3 	 0 	 1
   2978000 	 -1 	 0 	 1
   3004000 	 -1 	 0 	 0
   3069000 	 -2 	 -109 	 1
   3070000 	 -2 	 -122 	 0
   3118500 	 -3 	 0 	 0
   3139000 	 -3 	 0 	 1
   4411000 	 -1 	 0 	 1
   4521500 	 -1 	 0 	 0
   4734000 	 -2 	 -92 	 0
   4734000 	 -2 	 -127 	 1
   4770500 	 -3 	 0 	 0
   4780500 	 -1 	 0 	 0
   4808500 	 -2 	 -98 	 0
   5011000 	 -3 	 0 	 0
   5013000 	 -3 	 0 	 1
   5392500 	 -1 	 0 	 1
   5424500 	 -1 	 0 	 0
   5456500 	 -2 	 -209 	 0
   5456500 	 -2 	 -200 	 1
   5514000 	 -3 	 0 	 1
   5560000 	 -3 	 0 	 0
   8041500 	 -1 	 0 	 1
   8090000 	 -2 	 -114 	 1
   8238500 	 -3 	 0 	 1
   8273500 	 -1 	 0 	 1
   8592500 	 -2 	 -114 	 1
   8609000 	 -3 	 0 	 1
  11179500 	 -1 	 0 	 1
  11180000 	 -1 	 0 	 0
  11390500 	 -2 	 -208 	 0
  11493000 	 -2 	 -271 	 1
  11582500 	 -3 	 0 	 0
  11618000 	 -3 	 0 	 1
  13119500 	 -1 	 0 	 1
  13131500 	 -1 	 0 	 0
  13170500 	 -2 	 -310 	 0
  13196000 	 -2 	 -333 	 1
  13360000 	 -3 	 0 	 1
  13387000 	 -3 	 0 	 0
  15044500 	 -1 	 0 	 0
  15051500 	 -1 	 0 	 1
  15089500 	 -2 	 -234 	 0
  15089500 	 -2 	 -177 	 1
  15131500 	 -3 	 0 	 1
  15133000 	 -3 	 0 	 0
  15158500 	 -1 	 0 	 0
  15167000 	 -1 	 0 	 1
  15180000 	 -2 	 -196 	 1
  15203500 	 -3 	 0 	 1
  15213500 	 -1 	 0 	 1
  15225500 	 -2 	 -390 	 0
  15226500 	 -2 	 -408 	 1
  15333500 	 -3 	 0 	 0
  15342000 	 -3 	 0 	 1
  15558000 	 -1 	 0 	 1
  15566500 	 -1 	 0 	 0
  15607000 	 -2 	 -131 	 0
  15607000 	 -2 	 -179 	 1
  15731000 	 -3 	 0 	 0
  15735000 	 -3 	 0 	 1
  16992000 	 -1 	 0 	 0
  16992000 	 -1 	 0 	 1
  17027000 	 -2 	 -479 	 0
  17027500 	 -2 	 -498 	 1
  17174000 	 -3 	 0 	 1
  17203000 	 -3 	 0 	 0
  18160500 	 -1 	 0 	 1
  18168500 	 -1 	 0 	 0
  18178000 	 -2 	 -234 	 1
  18240500 	 -2 	 -296 	 0
  18328500 	 -3 	 0 	 1
  18333500 	 -3 	 0 	 0
  18782500 	 -1 	 0 	 0
  18783500 	 -1 	 0 	 1
  18865000 	 -2 	 -293 	 1
  19092000 	 -2 	 -269 	 0
  19176500 	 -3 	 0 	 1
  19179000 	 -3 	 0 	 0
  20646500 	 -1 	 0 	 1
  20706500 	 -2 	 -59 	 1
  20865000 	 -3 	 0 	 1
  20915000 	 -1 	 0 	 0
  20923500 	 -1 	 0 	 1
  21048500 	 -2 	 -105 	 0
  21070500 	 -2 	 -120 	 1
  21245000 	 -3 	 0 	 0
  21245000 	 -3 	 0 	 1