EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20361.dev (299 bytes)
   9446000 	 -1 	 0 	 0
   9450500 	 -1 	 0 	 1
   9877500 	 -2 	 -83 	 1
   9889000 	 -2 	 -122 	 0
  10322000 	 -3 	 0 	 1
  10412000 	 -3 	 0 	 0
  10422000 	 -1 	 0 	 0
  10424000 	 -1 	 0 	 1
  10649000 	 -2 	 -326 	 0
  10698000 	 -2 	 -302 	 1
  11286500 	 -3 	 0 	 1
  11290500 	 -3 	 0 	 0