EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/esc_alg02/e0613.dev (493 bytes) 
487559	 -1	 0	 0
488110	 -1	 0	 1
497471	 -2	 152	 0
506170	 -2	 145	 1
510177	 -3	 0	 0
514492	 -1	 0	 0
515063	 -3	 0	 1
529872	 -2	 -156	 0
536393	 -3	 0	 0
559785	 -1	 0	 0
689549	 -2	 -357	 0
778338	 -3	 0	 0
793719	 -1	 0	 0
802829	 -2	 -272	 0
813899	 -3	 0	 0
976678	 -1	 0	 0
1009288	 -2	 -138	 0
1031706	 -3	 0	 0
1329573	 -1	 0	 0
1342370	 -2	 -133	 0
1361620	 -3	 0	 0
1530486	 -1	 0	 1
1547618	 -2	 55	 1
1559202	 -3	 0	 1
1715545	 -1	 0	 0
1725445	 -2	 -157	 0
1743287	 -3	 0	 0