triv/efa.in/0000500.in: %%% progress: 0ms: lexing...
triv/efa.in/0000500.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0000500.in: %%% progress: 3ms: parsing...
triv/efa.in/0000500.in: %%% progress: 4ms: done parsing (1 ms, 1_020099 cycles)
triv/efa.in/0000500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0000500.in: tree nodes: 0
triv/efa.in/0000500.in: %%% progress: 0ms: lexing...
triv/efa.in/0000500.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0000500.in: %%% progress: 3ms: parsing...
triv/efa.in/0000500.in: %%% progress: 4ms: done parsing (1 ms, 1_018078 cycles)
triv/efa.in/0000500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0000500.in: tree nodes: 0
triv/efa.in/0000500.in: %%% progress: 0ms: lexing...
triv/efa.in/0000500.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0000500.in: %%% progress: 2ms: parsing...
triv/efa.in/0000500.in: %%% progress: 3ms: done parsing (1 ms, 1_019708 cycles)
triv/efa.in/0000500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0000500.in: tree nodes: 0
triv/efa.in/0000500.in: %%% progress: 0ms: lexing...
triv/efa.in/0000500.in: %%% progress: 0ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0000500.in: %%% progress: 2ms: parsing...
triv/efa.in/0000500.in: %%% progress: 3ms: done parsing (1 ms, 1_016002 cycles)
triv/efa.in/0000500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0000500.in: tree nodes: 0
triv/efa.in/0000500.in: %%% progress: 0ms: lexing...
triv/efa.in/0000500.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0000500.in: %%% progress: 3ms: parsing...
triv/efa.in/0000500.in: %%% progress: 4ms: done parsing (1 ms, 1_047348 cycles)
triv/efa.in/0000500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0000500.in: tree nodes: 0
triv/efa.in/0001000.in: %%% progress: 0ms: lexing...
triv/efa.in/0001000.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001000.in: %%% progress: 4ms: parsing...
triv/efa.in/0001000.in: %%% progress: 6ms: done parsing (2 ms, 2_145881 cycles)
triv/efa.in/0001000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001000.in: tree nodes: 0
triv/efa.in/0001000.in: %%% progress: 0ms: lexing...
triv/efa.in/0001000.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001000.in: %%% progress: 3ms: parsing...
triv/efa.in/0001000.in: %%% progress: 5ms: done parsing (2 ms, 2_035523 cycles)
triv/efa.in/0001000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001000.in: tree nodes: 0
triv/efa.in/0001000.in: %%% progress: 0ms: lexing...
triv/efa.in/0001000.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001000.in: %%% progress: 3ms: parsing...
triv/efa.in/0001000.in: %%% progress: 5ms: done parsing (2 ms, 2_008953 cycles)
triv/efa.in/0001000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001000.in: tree nodes: 0
triv/efa.in/0001000.in: %%% progress: 0ms: lexing...
triv/efa.in/0001000.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001000.in: %%% progress: 3ms: parsing...
triv/efa.in/0001000.in: %%% progress: 5ms: done parsing (2 ms, 2_037247 cycles)
triv/efa.in/0001000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001000.in: tree nodes: 0
triv/efa.in/0001000.in: %%% progress: 0ms: lexing...
triv/efa.in/0001000.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001000.in: %%% progress: 3ms: parsing...
triv/efa.in/0001000.in: %%% progress: 5ms: done parsing (2 ms, 2_009018 cycles)
triv/efa.in/0001000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001000.in: tree nodes: 0
triv/efa.in/0001500.in: %%% progress: 0ms: lexing...
triv/efa.in/0001500.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001500.in: %%% progress: 4ms: parsing...
triv/efa.in/0001500.in: %%% progress: 7ms: done parsing (3 ms, 3_058388 cycles)
triv/efa.in/0001500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001500.in: tree nodes: 0
triv/efa.in/0001500.in: %%% progress: 0ms: lexing...
triv/efa.in/0001500.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001500.in: %%% progress: 4ms: parsing...
triv/efa.in/0001500.in: %%% progress: 7ms: done parsing (3 ms, 3_159908 cycles)
triv/efa.in/0001500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001500.in: tree nodes: 0
triv/efa.in/0001500.in: %%% progress: 0ms: lexing...
triv/efa.in/0001500.in: %%% progress: 1ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001500.in: %%% progress: 3ms: parsing...
triv/efa.in/0001500.in: %%% progress: 6ms: done parsing (3 ms, 3_058050 cycles)
triv/efa.in/0001500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001500.in: tree nodes: 0
triv/efa.in/0001500.in: %%% progress: 0ms: lexing...
triv/efa.in/0001500.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001500.in: %%% progress: 4ms: parsing...
triv/efa.in/0001500.in: %%% progress: 7ms: done parsing (3 ms, 3_359257 cycles)
triv/efa.in/0001500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001500.in: tree nodes: 0
triv/efa.in/0001500.in: %%% progress: 0ms: lexing...
triv/efa.in/0001500.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0001500.in: %%% progress: 4ms: parsing...
triv/efa.in/0001500.in: %%% progress: 7ms: done parsing (3 ms, 3_111083 cycles)
triv/efa.in/0001500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0001500.in: tree nodes: 0
triv/efa.in/0002000.in: %%% progress: 0ms: lexing...
triv/efa.in/0002000.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002000.in: %%% progress: 4ms: parsing...
triv/efa.in/0002000.in: %%% progress: 9ms: done parsing (5 ms, 4_324330 cycles)
triv/efa.in/0002000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002000.in: tree nodes: 0
triv/efa.in/0002000.in: %%% progress: 0ms: lexing...
triv/efa.in/0002000.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002000.in: %%% progress: 4ms: parsing...
triv/efa.in/0002000.in: %%% progress: 9ms: done parsing (5 ms, 4_473362 cycles)
triv/efa.in/0002000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002000.in: tree nodes: 0
triv/efa.in/0002000.in: %%% progress: 0ms: lexing...
triv/efa.in/0002000.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002000.in: %%% progress: 4ms: parsing...
triv/efa.in/0002000.in: %%% progress: 9ms: done parsing (5 ms, 4_277655 cycles)
triv/efa.in/0002000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002000.in: tree nodes: 0
triv/efa.in/0002000.in: %%% progress: 0ms: lexing...
triv/efa.in/0002000.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002000.in: %%% progress: 4ms: parsing...
triv/efa.in/0002000.in: %%% progress: 8ms: done parsing (4 ms, 4_338603 cycles)
triv/efa.in/0002000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002000.in: tree nodes: 0
triv/efa.in/0002000.in: %%% progress: 0ms: lexing...
triv/efa.in/0002000.in: %%% progress: 2ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002000.in: %%% progress: 4ms: parsing...
triv/efa.in/0002000.in: %%% progress: 10ms: done parsing (6 ms, 6_520545 cycles)
triv/efa.in/0002000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002000.in: tree nodes: 0
triv/efa.in/0002500.in: %%% progress: 0ms: lexing...
triv/efa.in/0002500.in: %%% progress: 3ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002500.in: %%% progress: 5ms: parsing...
triv/efa.in/0002500.in: %%% progress: 15ms: done parsing (10 ms, 9_703959 cycles)
triv/efa.in/0002500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002500.in: tree nodes: 0
triv/efa.in/0002500.in: %%% progress: 0ms: lexing...
triv/efa.in/0002500.in: %%% progress: 3ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002500.in: %%% progress: 5ms: parsing...
triv/efa.in/0002500.in: %%% progress: 10ms: done parsing (5 ms, 5_642871 cycles)
triv/efa.in/0002500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002500.in: tree nodes: 0
triv/efa.in/0002500.in: %%% progress: 0ms: lexing...
triv/efa.in/0002500.in: %%% progress: 3ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002500.in: %%% progress: 5ms: parsing...
triv/efa.in/0002500.in: %%% progress: 11ms: done parsing (6 ms, 5_644080 cycles)
triv/efa.in/0002500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002500.in: tree nodes: 0
triv/efa.in/0002500.in: %%% progress: 0ms: lexing...
triv/efa.in/0002500.in: %%% progress: 3ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002500.in: %%% progress: 5ms: parsing...
triv/efa.in/0002500.in: %%% progress: 11ms: done parsing (6 ms, 5_778277 cycles)
triv/efa.in/0002500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002500.in: tree nodes: 0
triv/efa.in/0002500.in: %%% progress: 0ms: lexing...
triv/efa.in/0002500.in: %%% progress: 3ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0002500.in: %%% progress: 5ms: parsing...
triv/efa.in/0002500.in: %%% progress: 13ms: done parsing (8 ms, 7_953997 cycles)
triv/efa.in/0002500.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0002500.in: tree nodes: 0
triv/efa.in/0005000.in: %%% progress: 0ms: lexing...
triv/efa.in/0005000.in: %%% progress: 7ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0005000.in: %%% progress: 9ms: parsing...
triv/efa.in/0005000.in: %%% progress: 20ms: done parsing (11 ms, 11_260044 cycles)
triv/efa.in/0005000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0005000.in: tree nodes: 0
triv/efa.in/0005000.in: %%% progress: 0ms: lexing...
triv/efa.in/0005000.in: %%% progress: 6ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0005000.in: %%% progress: 11ms: parsing...
triv/efa.in/0005000.in: %%% progress: 22ms: done parsing (11 ms, 11_263037 cycles)
triv/efa.in/0005000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0005000.in: tree nodes: 0
triv/efa.in/0005000.in: %%% progress: 0ms: lexing...
triv/efa.in/0005000.in: %%% progress: 6ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0005000.in: %%% progress: 8ms: parsing...
triv/efa.in/0005000.in: %%% progress: 20ms: done parsing (12 ms, 11_327280 cycles)
triv/efa.in/0005000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0005000.in: tree nodes: 0
triv/efa.in/0005000.in: %%% progress: 0ms: lexing...
triv/efa.in/0005000.in: %%% progress: 6ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0005000.in: %%% progress: 8ms: parsing...
triv/efa.in/0005000.in: %%% progress: 19ms: done parsing (11 ms, 11_320317 cycles)
triv/efa.in/0005000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0005000.in: tree nodes: 0
triv/efa.in/0005000.in: %%% progress: 0ms: lexing...
triv/efa.in/0005000.in: %%% progress: 6ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0005000.in: %%% progress: 8ms: parsing...
triv/efa.in/0005000.in: %%% progress: 19ms: done parsing (11 ms, 11_304336 cycles)
triv/efa.in/0005000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0005000.in: tree nodes: 0
triv/efa.in/0010000.in: %%% progress: 0ms: lexing...
triv/efa.in/0010000.in: %%% progress: 13ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0010000.in: %%% progress: 16ms: parsing...
triv/efa.in/0010000.in: %%% progress: 38ms: done parsing (22 ms, 22_612277 cycles)
triv/efa.in/0010000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0010000.in: tree nodes: 0
triv/efa.in/0010000.in: %%% progress: 0ms: lexing...
triv/efa.in/0010000.in: %%% progress: 12ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0010000.in: %%% progress: 14ms: parsing...
triv/efa.in/0010000.in: %%% progress: 37ms: done parsing (23 ms, 22_600710 cycles)
triv/efa.in/0010000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0010000.in: tree nodes: 0
triv/efa.in/0010000.in: %%% progress: 0ms: lexing...
triv/efa.in/0010000.in: %%% progress: 12ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0010000.in: %%% progress: 14ms: parsing...
triv/efa.in/0010000.in: %%% progress: 36ms: done parsing (22 ms, 22_283968 cycles)
triv/efa.in/0010000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0010000.in: tree nodes: 0
triv/efa.in/0010000.in: %%% progress: 0ms: lexing...
triv/efa.in/0010000.in: %%% progress: 14ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0010000.in: %%% progress: 16ms: parsing...
triv/efa.in/0010000.in: %%% progress: 40ms: done parsing (24 ms, 24_362078 cycles)
triv/efa.in/0010000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0010000.in: tree nodes: 0
triv/efa.in/0010000.in: %%% progress: 0ms: lexing...
triv/efa.in/0010000.in: %%% progress: 12ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0010000.in: %%% progress: 14ms: parsing...
triv/efa.in/0010000.in: %%% progress: 37ms: done parsing (23 ms, 22_571865 cycles)
triv/efa.in/0010000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0010000.in: tree nodes: 0
triv/efa.in/0020000.in: %%% progress: 0ms: lexing...
triv/efa.in/0020000.in: %%% progress: 25ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0020000.in: %%% progress: 27ms: parsing...
triv/efa.in/0020000.in: %%% progress: 71ms: done parsing (44 ms, 44_443175 cycles)
triv/efa.in/0020000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0020000.in: tree nodes: 0
triv/efa.in/0020000.in: %%% progress: 0ms: lexing...
triv/efa.in/0020000.in: %%% progress: 24ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0020000.in: %%% progress: 26ms: parsing...
triv/efa.in/0020000.in: %%% progress: 73ms: done parsing (47 ms, 47_361877 cycles)
triv/efa.in/0020000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0020000.in: tree nodes: 0
triv/efa.in/0020000.in: %%% progress: 0ms: lexing...
triv/efa.in/0020000.in: %%% progress: 24ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0020000.in: %%% progress: 27ms: parsing...
triv/efa.in/0020000.in: %%% progress: 74ms: done parsing (47 ms, 46_821210 cycles)
triv/efa.in/0020000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0020000.in: tree nodes: 0
triv/efa.in/0020000.in: %%% progress: 0ms: lexing...
triv/efa.in/0020000.in: %%% progress: 24ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0020000.in: %%% progress: 26ms: parsing...
triv/efa.in/0020000.in: %%% progress: 72ms: done parsing (46 ms, 46_417425 cycles)
triv/efa.in/0020000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0020000.in: tree nodes: 0
triv/efa.in/0020000.in: %%% progress: 0ms: lexing...
triv/efa.in/0020000.in: %%% progress: 24ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0020000.in: %%% progress: 26ms: parsing...
triv/efa.in/0020000.in: %%% progress: 71ms: done parsing (45 ms, 44_968312 cycles)
triv/efa.in/0020000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0020000.in: tree nodes: 0
triv/efa.in/0050000.in: %%% progress: 0ms: lexing...
triv/efa.in/0050000.in: %%% progress: 70ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0050000.in: %%% progress: 72ms: parsing...
triv/efa.in/0050000.in: %%% progress: 185ms: done parsing (113 ms, 112_528027 cycles)
triv/efa.in/0050000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0050000.in: tree nodes: 0
triv/efa.in/0050000.in: %%% progress: 0ms: lexing...
triv/efa.in/0050000.in: %%% progress: 62ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0050000.in: %%% progress: 65ms: parsing...
triv/efa.in/0050000.in: %%% progress: 177ms: done parsing (112 ms, 112_476405 cycles)
triv/efa.in/0050000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0050000.in: tree nodes: 0
triv/efa.in/0050000.in: %%% progress: 0ms: lexing...
triv/efa.in/0050000.in: %%% progress: 62ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0050000.in: %%% progress: 64ms: parsing...
triv/efa.in/0050000.in: %%% progress: 176ms: done parsing (112 ms, 111_941775 cycles)
triv/efa.in/0050000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0050000.in: tree nodes: 0
triv/efa.in/0050000.in: %%% progress: 0ms: lexing...
triv/efa.in/0050000.in: %%% progress: 62ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0050000.in: %%% progress: 64ms: parsing...
triv/efa.in/0050000.in: %%% progress: 176ms: done parsing (112 ms, 112_390433 cycles)
triv/efa.in/0050000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0050000.in: tree nodes: 0
triv/efa.in/0050000.in: %%% progress: 0ms: lexing...
triv/efa.in/0050000.in: %%% progress: 61ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0050000.in: %%% progress: 63ms: parsing...
triv/efa.in/0050000.in: %%% progress: 174ms: done parsing (111 ms, 110_319765 cycles)
triv/efa.in/0050000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0050000.in: tree nodes: 0
triv/efa.in/0100000.in: %%% progress: 0ms: lexing...
triv/efa.in/0100000.in: %%% progress: 126ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0100000.in: %%% progress: 128ms: parsing...
triv/efa.in/0100000.in: %%% progress: 353ms: done parsing (225 ms, 225_154627 cycles)
triv/efa.in/0100000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0100000.in: tree nodes: 0
triv/efa.in/0100000.in: %%% progress: 0ms: lexing...
triv/efa.in/0100000.in: %%% progress: 120ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0100000.in: %%% progress: 122ms: parsing...
triv/efa.in/0100000.in: %%% progress: 352ms: done parsing (230 ms, 229_376865 cycles)
triv/efa.in/0100000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0100000.in: tree nodes: 0
triv/efa.in/0100000.in: %%% progress: 0ms: lexing...
triv/efa.in/0100000.in: %%% progress: 119ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0100000.in: %%% progress: 121ms: parsing...
triv/efa.in/0100000.in: %%% progress: 347ms: done parsing (226 ms, 225_229815 cycles)
triv/efa.in/0100000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0100000.in: tree nodes: 0
triv/efa.in/0100000.in: %%% progress: 0ms: lexing...
triv/efa.in/0100000.in: %%% progress: 127ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0100000.in: %%% progress: 129ms: parsing...
triv/efa.in/0100000.in: %%% progress: 356ms: done parsing (227 ms, 226_239532 cycles)
triv/efa.in/0100000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0100000.in: tree nodes: 0
triv/efa.in/0100000.in: %%% progress: 0ms: lexing...
triv/efa.in/0100000.in: %%% progress: 124ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0100000.in: %%% progress: 126ms: parsing...
triv/efa.in/0100000.in: %%% progress: 351ms: done parsing (225 ms, 225_374227 cycles)
triv/efa.in/0100000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0100000.in: tree nodes: 0
triv/efa.in/0200000.in: %%% progress: 0ms: lexing...
triv/efa.in/0200000.in: %%% progress: 258ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0200000.in: %%% progress: 260ms: parsing...
triv/efa.in/0200000.in: %%% progress: 729ms: done parsing (469 ms, 468_611812 cycles)
triv/efa.in/0200000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0200000.in: tree nodes: 0
triv/efa.in/0200000.in: %%% progress: 0ms: lexing...
triv/efa.in/0200000.in: %%% progress: 234ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0200000.in: %%% progress: 237ms: parsing...
triv/efa.in/0200000.in: %%% progress: 695ms: done parsing (458 ms, 457_837567 cycles)
triv/efa.in/0200000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0200000.in: tree nodes: 0
triv/efa.in/0200000.in: %%% progress: 0ms: lexing...
triv/efa.in/0200000.in: %%% progress: 238ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0200000.in: %%% progress: 240ms: parsing...
triv/efa.in/0200000.in: %%% progress: 709ms: done parsing (469 ms, 467_582873 cycles)
triv/efa.in/0200000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0200000.in: tree nodes: 0
triv/efa.in/0200000.in: %%% progress: 0ms: lexing...
triv/efa.in/0200000.in: %%% progress: 240ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0200000.in: %%% progress: 242ms: parsing...
triv/efa.in/0200000.in: %%% progress: 698ms: done parsing (456 ms, 454_712152 cycles)
triv/efa.in/0200000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0200000.in: tree nodes: 0
triv/efa.in/0200000.in: %%% progress: 0ms: lexing...
triv/efa.in/0200000.in: %%% progress: 243ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0200000.in: %%% progress: 245ms: parsing...
triv/efa.in/0200000.in: %%% progress: 702ms: done parsing (457 ms, 456_526725 cycles)
triv/efa.in/0200000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0200000.in: tree nodes: 0
triv/efa.in/0500000.in: %%% progress: 0ms: lexing...
triv/efa.in/0500000.in: %%% progress: 641ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0500000.in: %%% progress: 643ms: parsing...
triv/efa.in/0500000.in: %%% progress: 1773ms: done parsing (1130 ms, 1127_847412 cycles)
triv/efa.in/0500000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0500000.in: tree nodes: 0
triv/efa.in/0500000.in: %%% progress: 0ms: lexing...
triv/efa.in/0500000.in: %%% progress: 594ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0500000.in: %%% progress: 596ms: parsing...
triv/efa.in/0500000.in: %%% progress: 1739ms: done parsing (1143 ms, 1140_175507 cycles)
triv/efa.in/0500000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0500000.in: tree nodes: 0
triv/efa.in/0500000.in: %%% progress: 0ms: lexing...
triv/efa.in/0500000.in: %%% progress: 594ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0500000.in: %%% progress: 596ms: parsing...
triv/efa.in/0500000.in: %%% progress: 1744ms: done parsing (1149 ms, 1146_785010 cycles)
triv/efa.in/0500000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0500000.in: tree nodes: 0
triv/efa.in/0500000.in: %%% progress: 0ms: lexing...
triv/efa.in/0500000.in: %%% progress: 590ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0500000.in: %%% progress: 592ms: parsing...
triv/efa.in/0500000.in: %%% progress: 1736ms: done parsing (1144 ms, 1142_194492 cycles)
triv/efa.in/0500000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0500000.in: tree nodes: 0
triv/efa.in/0500000.in: %%% progress: 0ms: lexing...
triv/efa.in/0500000.in: %%% progress: 602ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/0500000.in: %%% progress: 604ms: parsing...
triv/efa.in/0500000.in: %%% progress: 1852ms: done parsing (1248 ms, 1245_552892 cycles)
triv/efa.in/0500000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/0500000.in: tree nodes: 0
triv/efa.in/1000000.in: %%% progress: 0ms: lexing...
triv/efa.in/1000000.in: %%% progress: 1264ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/1000000.in: %%% progress: 1266ms: parsing...
triv/efa.in/1000000.in: %%% progress: 3542ms: done parsing (2276 ms, 2271_503572 cycles)
triv/efa.in/1000000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/1000000.in: tree nodes: 0
triv/efa.in/1000000.in: %%% progress: 0ms: lexing...
triv/efa.in/1000000.in: %%% progress: 1216ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/1000000.in: %%% progress: 1219ms: parsing...
triv/efa.in/1000000.in: %%% progress: 3502ms: done parsing (2283 ms, 2280_008295 cycles)
triv/efa.in/1000000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/1000000.in: tree nodes: 0
triv/efa.in/1000000.in: %%% progress: 0ms: lexing...
triv/efa.in/1000000.in: %%% progress: 1191ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/1000000.in: %%% progress: 1193ms: parsing...
triv/efa.in/1000000.in: %%% progress: 3457ms: done parsing (2264 ms, 2260_076407 cycles)
triv/efa.in/1000000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/1000000.in: tree nodes: 0
triv/efa.in/1000000.in: %%% progress: 0ms: lexing...
triv/efa.in/1000000.in: %%% progress: 1191ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/1000000.in: %%% progress: 1193ms: parsing...
triv/efa.in/1000000.in: %%% progress: 3482ms: done parsing (2289 ms, 2285_263335 cycles)
triv/efa.in/1000000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/1000000.in: tree nodes: 0
triv/efa.in/1000000.in: %%% progress: 0ms: lexing...
triv/efa.in/1000000.in: %%% progress: 1186ms: reading binary grammar file triv/EFa.tree.bin
triv/efa.in/1000000.in: %%% progress: 1188ms: parsing...
triv/efa.in/1000000.in: %%% progress: 3477ms: done parsing (2289 ms, 2285_475097 cycles)
triv/efa.in/1000000.in: stack nodes: 3, max stack nodes: 7
triv/efa.in/1000000.in: tree nodes: 0