EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20461.dev (450 bytes)
    594750 	 -1 	 0 	 0
    606750 	 -1 	 0 	 1
    664250 	 -2 	 -116 	 1
    665250 	 -2 	 -183 	 0
    755750 	 -3 	 0 	 1
    772750 	 -3 	 0 	 0
   3067250 	 -1 	 0 	 0
   3078250 	 -1 	 0 	 1
   3137250 	 -2 	 -116 	 1
   3137750 	 -2 	 -144 	 0
   3167750 	 -3 	 0 	 1
   3203250 	 -3 	 0 	 0
   5114750 	 -1 	 0 	 0
   5153750 	 -2 	 -116 	 0
   5183250 	 -3 	 0 	 0
  20406750 	 -1 	 0 	 0
  20435750 	 -2 	 -164 	 0
  20455250 	 -3 	 0 	 0