efa.in/0000500.in: %%% progress: 0ms: lexical analysis... efa.in/0000500.in: %%% progress: 1ms: starting parse... efa.in/0000500.in: %%% progress: 1ms: finished parse (0 ms, 0_126532 cycles) efa.in/0000500.in: tree nodes: 0 efa.in/0000500.in: %%% progress: 0ms: lexical analysis... efa.in/0000500.in: %%% progress: 1ms: starting parse... efa.in/0000500.in: %%% progress: 1ms: finished parse (0 ms, 0_125478 cycles) efa.in/0000500.in: tree nodes: 0 efa.in/0000500.in: %%% progress: 0ms: lexical analysis... efa.in/0000500.in: %%% progress: 1ms: starting parse... efa.in/0000500.in: %%% progress: 1ms: finished parse (0 ms, 0_126617 cycles) efa.in/0000500.in: tree nodes: 0 efa.in/0000500.in: %%% progress: 0ms: lexical analysis... efa.in/0000500.in: %%% progress: 0ms: starting parse... efa.in/0000500.in: %%% progress: 0ms: finished parse (0 ms, 0_125822 cycles) efa.in/0000500.in: tree nodes: 0 efa.in/0000500.in: %%% progress: 0ms: lexical analysis... efa.in/0000500.in: %%% progress: 1ms: starting parse... efa.in/0000500.in: %%% progress: 1ms: finished parse (0 ms, 0_126395 cycles) efa.in/0000500.in: tree nodes: 0 efa.in/0001000.in: %%% progress: 0ms: lexical analysis... efa.in/0001000.in: %%% progress: 3ms: starting parse... efa.in/0001000.in: %%% progress: 4ms: finished parse (0 ms, 0_256056 cycles) efa.in/0001000.in: tree nodes: 0 efa.in/0001000.in: %%% progress: 0ms: lexical analysis... efa.in/0001000.in: %%% progress: 2ms: starting parse... efa.in/0001000.in: %%% progress: 2ms: finished parse (0 ms, 0_256962 cycles) efa.in/0001000.in: tree nodes: 0 efa.in/0001000.in: %%% progress: 0ms: lexical analysis... efa.in/0001000.in: %%% progress: 1ms: starting parse... efa.in/0001000.in: %%% progress: 2ms: finished parse (1 ms, 0_255224 cycles) efa.in/0001000.in: tree nodes: 0 efa.in/0001000.in: %%% progress: 0ms: lexical analysis... efa.in/0001000.in: %%% progress: 1ms: starting parse... efa.in/0001000.in: %%% progress: 2ms: finished parse (1 ms, 0_255897 cycles) efa.in/0001000.in: tree nodes: 0 efa.in/0001000.in: %%% progress: 0ms: lexical analysis... efa.in/0001000.in: %%% progress: 2ms: starting parse... efa.in/0001000.in: %%% progress: 2ms: finished parse (0 ms, 0_256022 cycles) efa.in/0001000.in: tree nodes: 0 efa.in/0001500.in: %%% progress: 0ms: lexical analysis... efa.in/0001500.in: %%% progress: 2ms: starting parse... efa.in/0001500.in: %%% progress: 2ms: finished parse (0 ms, 0_380985 cycles) efa.in/0001500.in: tree nodes: 0 efa.in/0001500.in: %%% progress: 0ms: lexical analysis... efa.in/0001500.in: %%% progress: 2ms: starting parse... efa.in/0001500.in: %%% progress: 3ms: finished parse (1 ms, 0_380570 cycles) efa.in/0001500.in: tree nodes: 0 efa.in/0001500.in: %%% progress: 0ms: lexical analysis... efa.in/0001500.in: %%% progress: 2ms: starting parse... efa.in/0001500.in: %%% progress: 2ms: finished parse (0 ms, 0_380983 cycles) efa.in/0001500.in: tree nodes: 0 efa.in/0001500.in: %%% progress: 0ms: lexical analysis... efa.in/0001500.in: %%% progress: 2ms: starting parse... efa.in/0001500.in: %%% progress: 2ms: finished parse (0 ms, 0_381148 cycles) efa.in/0001500.in: tree nodes: 0 efa.in/0001500.in: %%% progress: 0ms: lexical analysis... efa.in/0001500.in: %%% progress: 2ms: starting parse... efa.in/0001500.in: %%% progress: 2ms: finished parse (0 ms, 0_381272 cycles) efa.in/0001500.in: tree nodes: 0 efa.in/0002000.in: %%% progress: 0ms: lexical analysis... efa.in/0002000.in: %%% progress: 3ms: starting parse... efa.in/0002000.in: %%% progress: 3ms: finished parse (0 ms, 0_509838 cycles) efa.in/0002000.in: tree nodes: 0 efa.in/0002000.in: %%% progress: 0ms: lexical analysis... efa.in/0002000.in: %%% progress: 3ms: starting parse... efa.in/0002000.in: %%% progress: 3ms: finished parse (0 ms, 0_508738 cycles) efa.in/0002000.in: tree nodes: 0 efa.in/0002000.in: %%% progress: 0ms: lexical analysis... efa.in/0002000.in: %%% progress: 2ms: starting parse... efa.in/0002000.in: %%% progress: 3ms: finished parse (1 ms, 0_539636 cycles) efa.in/0002000.in: tree nodes: 0 efa.in/0002000.in: %%% progress: 0ms: lexical analysis... efa.in/0002000.in: %%% progress: 2ms: starting parse... efa.in/0002000.in: %%% progress: 3ms: finished parse (1 ms, 0_535969 cycles) efa.in/0002000.in: tree nodes: 0 efa.in/0002000.in: %%% progress: 0ms: lexical analysis... efa.in/0002000.in: %%% progress: 3ms: starting parse... efa.in/0002000.in: %%% progress: 3ms: finished parse (0 ms, 0_511226 cycles) efa.in/0002000.in: tree nodes: 0 efa.in/0002500.in: %%% progress: 0ms: lexical analysis... efa.in/0002500.in: %%% progress: 3ms: starting parse... efa.in/0002500.in: %%% progress: 4ms: finished parse (1 ms, 0_701609 cycles) efa.in/0002500.in: tree nodes: 0 efa.in/0002500.in: %%% progress: 0ms: lexical analysis... efa.in/0002500.in: %%% progress: 3ms: starting parse... efa.in/0002500.in: %%% progress: 4ms: finished parse (0 ms, 0_687091 cycles) efa.in/0002500.in: tree nodes: 0 efa.in/0002500.in: %%% progress: 0ms: lexical analysis... efa.in/0002500.in: %%% progress: 3ms: starting parse... efa.in/0002500.in: %%% progress: 4ms: finished parse (1 ms, 0_755376 cycles) efa.in/0002500.in: tree nodes: 0 efa.in/0002500.in: %%% progress: 0ms: lexical analysis... efa.in/0002500.in: %%% progress: 6ms: starting parse... efa.in/0002500.in: %%% progress: 7ms: finished parse (1 ms, 1_063098 cycles) efa.in/0002500.in: tree nodes: 0 efa.in/0002500.in: %%% progress: 0ms: lexical analysis... efa.in/0002500.in: %%% progress: 3ms: starting parse... efa.in/0002500.in: %%% progress: 3ms: finished parse (0 ms, 0_732213 cycles) efa.in/0002500.in: tree nodes: 0 efa.in/0005000.in: %%% progress: 0ms: lexical analysis... efa.in/0005000.in: %%% progress: 6ms: starting parse... efa.in/0005000.in: %%% progress: 9ms: finished parse (3 ms, 2_586489 cycles) efa.in/0005000.in: tree nodes: 0 efa.in/0005000.in: %%% progress: 0ms: lexical analysis... efa.in/0005000.in: %%% progress: 6ms: starting parse... efa.in/0005000.in: %%% progress: 9ms: finished parse (3 ms, 2_655888 cycles) efa.in/0005000.in: tree nodes: 0 efa.in/0005000.in: %%% progress: 0ms: lexical analysis... efa.in/0005000.in: %%% progress: 6ms: starting parse... efa.in/0005000.in: %%% progress: 9ms: finished parse (3 ms, 2_672733 cycles) efa.in/0005000.in: tree nodes: 0 efa.in/0005000.in: %%% progress: 0ms: lexical analysis... efa.in/0005000.in: %%% progress: 7ms: starting parse... efa.in/0005000.in: %%% progress: 9ms: finished parse (2 ms, 2_567284 cycles) efa.in/0005000.in: tree nodes: 0 efa.in/0005000.in: %%% progress: 0ms: lexical analysis... efa.in/0005000.in: %%% progress: 12ms: starting parse... efa.in/0005000.in: %%% progress: 15ms: finished parse (3 ms, 2_557218 cycles) efa.in/0005000.in: tree nodes: 0 efa.in/0010000.in: %%% progress: 0ms: lexical analysis... efa.in/0010000.in: %%% progress: 15ms: starting parse... efa.in/0010000.in: %%% progress: 19ms: finished parse (4 ms, 4_855776 cycles) efa.in/0010000.in: tree nodes: 0 efa.in/0010000.in: %%% progress: 0ms: lexical analysis... efa.in/0010000.in: %%% progress: 12ms: starting parse... efa.in/0010000.in: %%% progress: 17ms: finished parse (5 ms, 5_246707 cycles) efa.in/0010000.in: tree nodes: 0 efa.in/0010000.in: %%% progress: 0ms: lexical analysis... efa.in/0010000.in: %%% progress: 12ms: starting parse... efa.in/0010000.in: %%% progress: 18ms: finished parse (6 ms, 5_406645 cycles) efa.in/0010000.in: tree nodes: 0 efa.in/0010000.in: %%% progress: 0ms: lexical analysis... efa.in/0010000.in: %%% progress: 12ms: starting parse... efa.in/0010000.in: %%% progress: 17ms: finished parse (4 ms, 4_929066 cycles) efa.in/0010000.in: tree nodes: 0 efa.in/0010000.in: %%% progress: 0ms: lexical analysis... efa.in/0010000.in: %%% progress: 14ms: starting parse... efa.in/0010000.in: %%% progress: 22ms: finished parse (7 ms, 7_223047 cycles) efa.in/0010000.in: tree nodes: 0 efa.in/0020000.in: %%% progress: 0ms: lexical analysis... efa.in/0020000.in: %%% progress: 27ms: starting parse... efa.in/0020000.in: %%% progress: 37ms: finished parse (10 ms, 9_677752 cycles) efa.in/0020000.in: tree nodes: 0 efa.in/0020000.in: %%% progress: 0ms: lexical analysis... efa.in/0020000.in: %%% progress: 24ms: starting parse... efa.in/0020000.in: %%% progress: 35ms: finished parse (11 ms, 11_656237 cycles) efa.in/0020000.in: tree nodes: 0 efa.in/0020000.in: %%% progress: 0ms: lexical analysis... efa.in/0020000.in: %%% progress: 26ms: starting parse... efa.in/0020000.in: %%% progress: 36ms: finished parse (9 ms, 9_587632 cycles) efa.in/0020000.in: tree nodes: 0 efa.in/0020000.in: %%% progress: 0ms: lexical analysis... efa.in/0020000.in: %%% progress: 24ms: starting parse... efa.in/0020000.in: %%% progress: 34ms: finished parse (10 ms, 9_688545 cycles) efa.in/0020000.in: tree nodes: 0 efa.in/0020000.in: %%% progress: 0ms: lexical analysis... efa.in/0020000.in: %%% progress: 25ms: starting parse... efa.in/0020000.in: %%% progress: 36ms: finished parse (11 ms, 11_506215 cycles) efa.in/0020000.in: tree nodes: 0 efa.in/0050000.in: %%% progress: 0ms: lexical analysis... efa.in/0050000.in: %%% progress: 65ms: starting parse... efa.in/0050000.in: %%% progress: 88ms: finished parse (23 ms, 23_144827 cycles) efa.in/0050000.in: tree nodes: 0 efa.in/0050000.in: %%% progress: 0ms: lexical analysis... efa.in/0050000.in: %%% progress: 63ms: starting parse... efa.in/0050000.in: %%% progress: 86ms: finished parse (23 ms, 23_326695 cycles) efa.in/0050000.in: tree nodes: 0 efa.in/0050000.in: %%% progress: 0ms: lexical analysis... efa.in/0050000.in: %%% progress: 64ms: starting parse... efa.in/0050000.in: %%% progress: 87ms: finished parse (23 ms, 23_396685 cycles) efa.in/0050000.in: tree nodes: 0 efa.in/0050000.in: %%% progress: 0ms: lexical analysis... efa.in/0050000.in: %%% progress: 63ms: starting parse... efa.in/0050000.in: %%% progress: 86ms: finished parse (23 ms, 23_357902 cycles) efa.in/0050000.in: tree nodes: 0 efa.in/0050000.in: %%% progress: 0ms: lexical analysis... efa.in/0050000.in: %%% progress: 64ms: starting parse... efa.in/0050000.in: %%% progress: 87ms: finished parse (23 ms, 23_378332 cycles) efa.in/0050000.in: tree nodes: 0 efa.in/0100000.in: %%% progress: 0ms: lexical analysis... efa.in/0100000.in: %%% progress: 126ms: starting parse... efa.in/0100000.in: %%% progress: 172ms: finished parse (46 ms, 45_990682 cycles) efa.in/0100000.in: tree nodes: 0 efa.in/0100000.in: %%% progress: 0ms: lexical analysis... efa.in/0100000.in: %%% progress: 130ms: starting parse... efa.in/0100000.in: %%% progress: 177ms: finished parse (47 ms, 46_757032 cycles) efa.in/0100000.in: tree nodes: 0 efa.in/0100000.in: %%% progress: 0ms: lexical analysis... efa.in/0100000.in: %%% progress: 123ms: starting parse... efa.in/0100000.in: %%% progress: 170ms: finished parse (47 ms, 46_351312 cycles) efa.in/0100000.in: tree nodes: 0 efa.in/0100000.in: %%% progress: 0ms: lexical analysis... efa.in/0100000.in: %%% progress: 126ms: starting parse... efa.in/0100000.in: %%% progress: 173ms: finished parse (47 ms, 46_141477 cycles) efa.in/0100000.in: tree nodes: 0 efa.in/0100000.in: %%% progress: 0ms: lexical analysis... efa.in/0100000.in: %%% progress: 122ms: starting parse... efa.in/0100000.in: %%% progress: 169ms: finished parse (47 ms, 46_660462 cycles) efa.in/0100000.in: tree nodes: 0 efa.in/0200000.in: %%% progress: 0ms: lexical analysis... efa.in/0200000.in: %%% progress: 244ms: starting parse... efa.in/0200000.in: %%% progress: 337ms: finished parse (93 ms, 93_059317 cycles) efa.in/0200000.in: tree nodes: 0 efa.in/0200000.in: %%% progress: 0ms: lexical analysis... efa.in/0200000.in: %%% progress: 246ms: starting parse... efa.in/0200000.in: %%% progress: 339ms: finished parse (93 ms, 93_009832 cycles) efa.in/0200000.in: tree nodes: 0 efa.in/0200000.in: %%% progress: 0ms: lexical analysis... efa.in/0200000.in: %%% progress: 244ms: starting parse... efa.in/0200000.in: %%% progress: 337ms: finished parse (92 ms, 91_784775 cycles) efa.in/0200000.in: tree nodes: 0 efa.in/0200000.in: %%% progress: 0ms: lexical analysis... efa.in/0200000.in: %%% progress: 245ms: starting parse... efa.in/0200000.in: %%% progress: 337ms: finished parse (92 ms, 92_100540 cycles) efa.in/0200000.in: tree nodes: 0 efa.in/0200000.in: %%% progress: 0ms: lexical analysis... efa.in/0200000.in: %%% progress: 244ms: starting parse... efa.in/0200000.in: %%% progress: 336ms: finished parse (92 ms, 91_589040 cycles) efa.in/0200000.in: tree nodes: 0 efa.in/0500000.in: %%% progress: 0ms: lexical analysis... efa.in/0500000.in: %%% progress: 605ms: starting parse... efa.in/0500000.in: %%% progress: 835ms: finished parse (230 ms, 229_622197 cycles) efa.in/0500000.in: tree nodes: 0 efa.in/0500000.in: %%% progress: 0ms: lexical analysis... efa.in/0500000.in: %%% progress: 604ms: starting parse... efa.in/0500000.in: %%% progress: 851ms: finished parse (247 ms, 246_277717 cycles) efa.in/0500000.in: tree nodes: 0 efa.in/0500000.in: %%% progress: 0ms: lexical analysis... efa.in/0500000.in: %%% progress: 606ms: starting parse... efa.in/0500000.in: %%% progress: 837ms: finished parse (230 ms, 229_970902 cycles) efa.in/0500000.in: tree nodes: 0 efa.in/0500000.in: %%% progress: 0ms: lexical analysis... efa.in/0500000.in: %%% progress: 605ms: starting parse... efa.in/0500000.in: %%% progress: 835ms: finished parse (230 ms, 229_859347 cycles) efa.in/0500000.in: tree nodes: 0 efa.in/0500000.in: %%% progress: 0ms: lexical analysis... efa.in/0500000.in: %%% progress: 605ms: starting parse... efa.in/0500000.in: %%% progress: 837ms: finished parse (232 ms, 231_096502 cycles) efa.in/0500000.in: tree nodes: 0 efa.in/1000000.in: %%% progress: 0ms: lexical analysis... efa.in/1000000.in: %%% progress: 1200ms: starting parse... efa.in/1000000.in: %%% progress: 1664ms: finished parse (464 ms, 463_483342 cycles) efa.in/1000000.in: tree nodes: 0 efa.in/1000000.in: %%% progress: 0ms: lexical analysis... efa.in/1000000.in: %%% progress: 1201ms: starting parse... efa.in/1000000.in: %%% progress: 1664ms: finished parse (462 ms, 461_323867 cycles) efa.in/1000000.in: tree nodes: 0 efa.in/1000000.in: %%% progress: 0ms: lexical analysis... efa.in/1000000.in: %%% progress: 1202ms: starting parse... efa.in/1000000.in: %%% progress: 1684ms: finished parse (482 ms, 480_984952 cycles) efa.in/1000000.in: tree nodes: 0 efa.in/1000000.in: %%% progress: 0ms: lexical analysis... efa.in/1000000.in: %%% progress: 1203ms: starting parse... efa.in/1000000.in: %%% progress: 1667ms: finished parse (464 ms, 463_225762 cycles) efa.in/1000000.in: tree nodes: 0 efa.in/1000000.in: %%% progress: 0ms: lexical analysis... efa.in/1000000.in: %%% progress: 1202ms: starting parse... efa.in/1000000.in: %%% progress: 1664ms: finished parse (462 ms, 460_732500 cycles) efa.in/1000000.in: tree nodes: 0