EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/esc_alg02/e0607.dev (330 bytes) 
191892	 -1	 0	 0
192273	 -1	 0	 1
262342	 -2	 -165	 0
302976	 -2	 -198	 1
393105	 -3	 0	 1
403850	 -3	 0	 0
647373	 -1	 0	 1
647842	 -1	 0	 0
699210	 -2	 -178	 0
701577	 -2	 -199	 1
845173	 -3	 0	 1
877317	 -3	 0	 0
1131541	 -1	 0	 0
1199983	 -1	 0	 1
1307822	 -2	 -288	 0
1308230	 -2	 -255	 1
1705231	 -3	 0	 1
1758764	 -3	 0	 0