EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/esc_alg02/e0515.dev (327 bytes) 
279269	 -1	 0	 0
283793	 -1	 0	 1
307517	 -2	 169	 0
311972	 -2	 -223	 1
313435	 -3	 0	 0
318983	 -3	 0	 1
806290	 -1	 0	 0
806754	 -1	 0	 1
809504	 -2	 115	 0
824018	 -2	 -273	 1
825859	 -3	 0	 0
833982	 -3	 0	 1
1656111	 -1	 0	 0
1657967	 -1	 0	 1
1663687	 -2	 131	 0
1672196	 -2	 -202	 1
1673123	 -3	 0	 0
1675844	 -3	 0	 1