Last active
July 26, 2020 22:22
-
-
Save timo/308debec42f59d60f13395796c5e545e to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 0x7ffff6f518b0 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6f52388 has 237 edges over 95 states; 118 small (49.79) | |
| 0x7ffff6f523e0 has 230 edges over 97 states; 108 small (46.96) | |
| 0x7ffff6f526c8 has 10 edges over 6 states; 5 small (50.00) | |
| 0x7ffff6f529d0 has 5 edges over 3 states; 1 small (20.00) | |
| Stage start : 0.000 | |
| 0x7ffff6f5abc8 has 87 edges over 56 states; 43 small (49.43) | |
| 0x7ffff6f5b460 has 52 edges over 30 states; 20 small (38.46) | |
| 0x7ffff6f5b4b8 has 44 edges over 28 states; 18 small (40.91) | |
| 0x7ffff6f97168 has 5 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6f97640 has 3 edges over 2 states; 0 small (0.00) | |
| 0x7ffff6f97780 has 187 edges over 131 states; 117 small (62.57) | |
| 0x7ffff6f97d58 has 15083 edges over 8798 states; 7502 small (49.74) | |
| 0x7ffff6f97e78 has 37182 edges over 21863 states; 18219 small (49.00) | |
| 0x7ffff6f97fd0 has 58 edges over 50 states; 40 small (68.97) | |
| 0x7ffff6f99298 has 12279 edges over 7388 states; 6318 small (51.45) | |
| 0x7ffff6f993f8 has 2281 edges over 1374 states; 1170 small (51.29) | |
| 0x7ffff6f99450 has 1155 edges over 694 states; 595 small (51.52) | |
| 0x7ffff6f9a120 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6f9a6e8 has 1061 edges over 630 states; 537 small (50.61) | |
| 0x7ffff6f9aeb8 has 86 edges over 46 states; 37 small (43.02) | |
| 0x7ffff6f9b958 has 40 edges over 33 states; 31 small (77.50) | |
| 0x7ffff6f9bcb0 has 12 edges over 9 states; 8 small (66.67) | |
| 0x7ffff6f9ce50 has 613 edges over 327 states; 321 small (52.37) | |
| 0x7ffff6f9cfa8 has 392 edges over 218 states; 220 small (56.12) | |
| 0x7ffff6fa95e8 has 10 edges over 5 states; 3 small (30.00) | |
| 0x7ffff6faaa88 has 88 edges over 55 states; 44 small (50.00) | |
| 0x7ffff6faaae0 has 100 edges over 68 states; 44 small (44.00) | |
| 0x7ffff6fadcf0 has 48 edges over 34 states; 23 small (47.92) | |
| 0x7ffff6faddc0 has 38 edges over 27 states; 18 small (47.37) | |
| 0x7ffff6fb0ea8 has 288 edges over 178 states; 130 small (45.14) | |
| 0x7ffff6fb27c0 has 28 edges over 14 states; 11 small (39.29) | |
| 0x7ffff6fb7178 has 81 edges over 50 states; 36 small (44.44) | |
| 0x7ffff6fb8e60 has 6 edges over 5 states; 4 small (66.67) | |
| 0x7ffff6fb9320 has 11 edges over 7 states; 4 small (36.36) | |
| 0x7ffff6fb9678 has 4 edges over 2 states; 0 small (0.00) | |
| 0x7ffff6fbc130 has 6 edges over 4 states; 3 small (50.00) | |
| 0x7ffff6fbcf50 has 55 edges over 30 states; 20 small (36.36) | |
| 0x7ffff6fbecc0 has 14 edges over 11 states; 10 small (71.43) | |
| 0x7ffff6fbf5b8 has 6 edges over 4 states; 3 small (50.00) | |
| 0x7ffff6fbf610 has 5 edges over 4 states; 3 small (60.00) | |
| 0x7ffff6fbf6a0 has 4485 edges over 2598 states; 2336 small (52.08) | |
| 0x7ffff6fbf6f8 has 22 edges over 15 states; 11 small (50.00) | |
| 0x7ffff7026da8 has 6 edges over 4 states; 2 small (33.33) | |
| 0x7ffff7026ec8 has 13 edges over 7 states; 3 small (23.08) | |
| 0x7ffff71579a8 has 721 edges over 419 states; 177 small (24.55) | |
| 0x7ffff7158dd0 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff715eef0 has 12 edges over 9 states; 8 small (66.67) | |
| 0x7ffff715ef48 has 661 edges over 395 states; 503 small (76.10) | |
| 0x7ffff715efa0 has 560 edges over 336 states; 464 small (82.86) | |
| 0x7ffff715eff8 has 660 edges over 457 states; 440 small (66.67) | |
| 0x7ffff71a8370 has 3016 edges over 1745 states; 1564 small (51.86) | |
| 0x7ffff71a84c8 has 6 edges over 4 states; 2 small (33.33) | |
| 0x7ffff71a8b78 has 1503 edges over 870 states; 778 small (51.76) | |
| 0x7ffff71a8e28 has 33 edges over 17 states; 11 small (33.33) | |
| 0x7ffff71a9998 has 6 edges over 4 states; 1 small (16.67) | |
| 0x7ffff71a9d68 has 6 edges over 4 states; 2 small (33.33) | |
| 0x7ffff71a9f88 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7ffff7206f48 has 29 edges over 23 states; 21 small (72.41) | |
| 0x7ffff7207830 has 9 edges over 5 states; 1 small (11.11) | |
| 0x7ffff72a05e0 has 1844 edges over 1113 states; 965 small (52.33) | |
| 0x7ffff72a0738 has 992 edges over 594 states; 509 small (51.31) | |
| 0x7ffff72a0790 has 24 edges over 17 states; 8 small (33.33) | |
| 0x7ffff72a0e08 has 34 edges over 18 states; 11 small (32.35) | |
| 0x7ffff72b6448 has 12 edges over 7 states; 1 small (8.33) | |
| 0x7fffefccfec8 has 80 edges over 40 states; 29 small (36.25) | |
| 0x7fffefcd16d0 has 14 edges over 6 states; 3 small (21.43) | |
| 0x7fffefcd1c50 has 8 edges over 4 states; 0 small (0.00) | |
| 0x7fffefcd2360 has 8 edges over 5 states; 0 small (0.00) | |
| 0x7fffefceb3e8 has 12 edges over 6 states; 4 small (33.33) | |
| 0x7fffefde1a40 has 17 edges over 15 states; 14 small (82.35) | |
| 0x7fffefde1a98 has 9440 edges over 5686 states; 4884 small (51.74) | |
| 0x7fffefde2e10 has 31 edges over 28 states; 23 small (74.19) | |
| 0x7fffefde4bc8 has 52 edges over 27 states; 10 small (19.23) | |
| 0x7fffefde4d28 has 6 edges over 4 states; 2 small (33.33) | |
| 0x7fffefdeb598 has 1422 edges over 763 states; 705 small (49.58) | |
| 0x7fffefdeb6d8 has 1318 edges over 695 states; 619 small (46.97) | |
| 0x7fffefdeb818 has 1028 edges over 550 states; 500 small (48.64) | |
| 0x7fffefdebbe8 has 126 edges over 67 states; 52 small (41.27) | |
| 0x7fffefdee660 has 235 edges over 127 states; 100 small (42.55) | |
| 0x7fffefdee880 has 242 edges over 133 states; 100 small (41.32) | |
| 0x7fffefdee8d8 has 6 edges over 3 states; 0 small (0.00) | |
| 0x7fffefdee930 has 135 edges over 71 states; 54 small (40.00) | |
| 0x7fffefdee988 has 15 edges over 8 states; 4 small (26.67) | |
| 0x7fffefdeedb0 has 87 edges over 52 states; 41 small (47.13) | |
| 0x7fffefdef270 has 9 edges over 6 states; 4 small (44.44) | |
| 0x7fffefdef5d8 has 5 edges over 3 states; 2 small (40.00) | |
| 0x7fffefdefd58 has 10 edges over 8 states; 7 small (70.00) | |
| 0x7fffefdf0728 has 9 edges over 6 states; 5 small (55.56) | |
| 0x7fffefdf1010 has 4 edges over 3 states; 2 small (50.00) | |
| 0x7fffefdf15f8 has 6 edges over 4 states; 3 small (50.00) | |
| 0x7fffefdf30b8 has 16 edges over 11 states; 9 small (56.25) | |
| 0x7fffefe42b00 has 184 edges over 139 states; 114 small (61.96) | |
| 0x7fffefe42f10 has 8 edges over 7 states; 6 small (75.00) | |
| 0x7fffefe51710 has 9 edges over 7 states; 6 small (66.67) | |
| 0x7fffefe54518 has 10 edges over 8 states; 5 small (50.00) | |
| 0x7fffefe67508 has 26 edges over 22 states; 21 small (80.77) | |
| 0x7fffefe92040 has 8 edges over 5 states; 3 small (37.50) | |
| 0x7fffeffa0c70 has 1935 edges over 1158 states; 1004 small (51.89) | |
| 0x7fffeffd35f0 has 6 edges over 4 states; 3 small (50.00) | |
| 0x7fffeffde668 has 15 edges over 8 states; 4 small (26.67) | |
| 0x7fffeffdf9c0 has 5 edges over 3 states; 2 small (40.00) | |
| 0x7fffefff81c8 has 68 edges over 36 states; 45 small (66.18) | |
| 0x7fffefff8220 has 86 edges over 55 states; 45 small (52.33) | |
| 0x7fffefff8580 has 5 edges over 4 states; 3 small (60.00) | |
| 0x7fffefff91f8 has 0 edges over 1 states; 0 small (-nan) | |
| 0x7ffff6f4d680 has 13 edges over 7 states; 3 small (23.08) | |
| 0x7ffff6f4de40 has 15 edges over 8 states; 4 small (26.67) | |
| 0x7ffff714a128 has 7 edges over 5 states; 4 small (57.14) | |
| 0x7ffff715a980 has 49 edges over 24 states; 15 small (30.61) | |
| 0x7ffff715ed48 has 4 edges over 3 states; 2 small (50.00) | |
| 0x7ffff7160db0 has 11 edges over 7 states; 5 small (45.45) | |
| 0x7fffefe13030 has 7 edges over 4 states; 3 small (42.86) | |
| 0x7ffff6f9d160 has 76 edges over 47 states; 47 small (61.84) | |
| 0x7ffff6f9eae8 has 16 edges over 11 states; 9 small (56.25) | |
| 0x7ffff6f9f5f0 has 785 edges over 418 states; 394 small (50.19) | |
| 0x7ffff703d858 has 7 edges over 6 states; 5 small (71.43) | |
| 0x7ffff7252c20 has 29 edges over 18 states; 16 small (55.17) | |
| 0x7fffefc70cd0 has 14 edges over 8 states; 4 small (28.57) | |
| 0x7fffefd452f8 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7fffefd6d708 has 277 edges over 158 states; 178 small (64.26) | |
| 0x7fffefd8d890 has 295 edges over 179 states; 177 small (60.00) | |
| 0x7fffefdb9150 has 305 edges over 124 states; 143 small (46.89) | |
| 0x7fffefdb9c88 has 8 edges over 5 states; 4 small (50.00) | |
| 0x7fffefdba4b8 has 5 edges over 3 states; 2 small (40.00) | |
| 0x7fffefdbae40 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7fffefdbc968 has 30 edges over 14 states; 8 small (26.67) | |
| 0x7fffefdc0aa8 has 8 edges over 5 states; 2 small (25.00) | |
| 0x7fffefdc1040 has 5 edges over 3 states; 0 small (0.00) | |
| 0x7fffefdc2c38 has 9 edges over 6 states; 2 small (22.22) | |
| 0x7ffff71976b8 has 6 edges over 5 states; 1 small (16.67) | |
| 0x7ffff7197e30 has 9 edges over 5 states; 1 small (11.11) | |
| 0x7ffff719e568 has 5 edges over 4 states; 3 small (60.00) | |
| 0x7ffff6f367a8 has 7 edges over 5 states; 4 small (57.14) | |
| 0x7ffff7045d90 has 11 edges over 8 states; 6 small (54.55) | |
| 0x7ffff72580d0 has 12 edges over 11 states; 10 small (83.33) | |
| 0x7fffefe2e948 has 0 edges over 1 states; 0 small (-nan) | |
| 0x7fffefd1f060 has 54 edges over 27 states; 18 small (33.33) | |
| 0x7fffefd1f550 has 7 edges over 4 states; 3 small (42.86) | |
| 0x7fffefe2f2a0 has 2 edges over 2 states; 1 small (50.00) | |
| 0x7fffeff1a398 has 16 edges over 9 states; 6 small (37.50) | |
| 0x7fffefdcb1e0 has 11 edges over 6 states; 2 small (18.18) | |
| 0x7ffff702a700 has 14 edges over 12 states; 12 small (85.71) | |
| 0x7ffff71c0678 has 17 edges over 13 states; 10 small (58.82) | |
| 0x7ffff722db30 has 12 edges over 11 states; 10 small (83.33) | |
| 0x7fffeff01710 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7fffefeb2870 has 16 edges over 9 states; 6 small (37.50) | |
| 0x7fffefda9060 has 96 edges over 59 states; 47 small (48.96) | |
| 0x7fffefdaae28 has 42 edges over 24 states; 27 small (64.29) | |
| 0x7ffff6ff76f0 has 42 edges over 20 states; 13 small (30.95) | |
| 0x7fffefcbddf0 has 19 edges over 15 states; 14 small (73.68) | |
| 0x7ffff7103ee8 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7ffff70e5248 has 30 edges over 22 states; 14 small (46.67) | |
| 0x7fffefebdff8 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7fffefcd09f8 has 51 edges over 27 states; 13 small (25.49) | |
| 0x7fffefcd1978 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff70e78b0 has 205 edges over 100 states; 73 small (35.61) | |
| 0x7ffff6f759f8 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7fffeff556a0 has 5 edges over 4 states; 3 small (60.00) | |
| 0x7fffeffabfc0 has 7 edges over 4 states; 2 small (28.57) | |
| 0x7fffeffbd608 has 82 edges over 42 states; 23 small (28.05) | |
| 0x7ffff710e720 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7fffefde1440 has 18 edges over 10 states; 1 small (5.56) | |
| 0x7ffff70ef888 has 8 edges over 4 states; 0 small (0.00) | |
| 0x7ffff70ef8e0 has 8 edges over 5 states; 0 small (0.00) | |
| 0x7ffff6f39200 has 991 edges over 592 states; 508 small (51.26) | |
| 0x7fffefdd3ca0 has 9 edges over 5 states; 2 small (22.22) | |
| 0x7fffeff21d08 has 3 edges over 2 states; 1 small (33.33) | |
| 0x7fffeff34ff8 has 68 edges over 36 states; 16 small (23.53) | |
| 0x7fffefcd0640 has 16 edges over 11 states; 7 small (43.75) | |
| 0x7ffff6fba460 has 23 edges over 13 states; 4 small (17.39) | |
| 0x7fffefe8cca8 has 19 edges over 10 states; 7 small (36.84) | |
| 0x7ffff6f85db0 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7ffff71a46d0 has 17 edges over 6 states; 12 small (70.59) | |
| 0x7ffff71ace28 has 0 edges over 1 states; 0 small (-nan) | |
| 0x7fffeff58b58 has 3 edges over 2 states; 0 small (0.00) | |
| 0x7ffff719a570 has 8 edges over 6 states; 4 small (50.00) | |
| 0x7ffff6f570c8 has 17 edges over 6 states; 12 small (70.59) | |
| 0x7ffff6f61d70 has 10 edges over 5 states; 3 small (30.00) | |
| 0x7ffff6f81d68 has 11 edges over 6 states; 2 small (18.18) | |
| 0x7ffff718fb78 has 17 edges over 6 states; 12 small (70.59) | |
| 0x7ffff719aaf0 has 12 edges over 7 states; 1 small (8.33) | |
| 0x7fffefdbd748 has 12 edges over 7 states; 1 small (8.33) | |
| 0x7ffff729e888 has 9 edges over 7 states; 6 small (66.67) | |
| 0x7fffefd0a4f0 has 41 edges over 21 states; 7 small (17.07) | |
| 0x7fffefd115e0 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7fffefd39a30 has 277 edges over 158 states; 178 small (64.26) | |
| 0x7fffefd59bb8 has 295 edges over 179 states; 177 small (60.00) | |
| 0x7fffefd5d3e0 has 8 edges over 5 states; 2 small (25.00) | |
| 0x7fffefd5de78 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7fffefd5ed78 has 5 edges over 3 states; 0 small (0.00) | |
| 0x7fffefd6e4f0 has 205 edges over 100 states; 73 small (35.61) | |
| 0x7fffefd71ec0 has 9 edges over 6 states; 2 small (22.22) | |
| 0x7fffefd9ef50 has 305 edges over 124 states; 143 small (46.89) | |
| 0x7fffefda7be0 has 61 edges over 25 states; 29 small (47.54) | |
| 0x7fffefdb3318 has 71 edges over 31 states; 33 small (46.48) | |
| 0x7fffefdcd3a0 has 61 edges over 25 states; 29 small (47.54) | |
| 0x7fffefdde098 has 8 edges over 5 states; 4 small (50.00) | |
| 0x7fffefdde8c8 has 5 edges over 3 states; 2 small (40.00) | |
| 0x7fffefde0888 has 30 edges over 14 states; 8 small (26.67) | |
| 0x7fffefde3c90 has 7 edges over 4 states; 2 small (28.57) | |
| 0x7fffefdf64d0 has 9 edges over 5 states; 2 small (22.22) | |
| 0x7ffff70f3198 has 164 edges over 81 states; 52 small (31.71) | |
| 0x7ffff70f58b0 has 35 edges over 17 states; 10 small (28.57) | |
| 0x7ffff70f66e0 has 8 edges over 6 states; 5 small (62.50) | |
| 0x7ffff70f96c8 has 41 edges over 20 states; 12 small (29.27) | |
| 0x7ffff713c780 has 40 edges over 31 states; 34 small (85.00) | |
| 0x7ffff713cf90 has 12 edges over 9 states; 9 small (75.00) | |
| 0x7ffff71464d0 has 68 edges over 36 states; 16 small (23.53) | |
| 0x7ffff71b2020 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff71c3ea8 has 164 edges over 81 states; 52 small (31.71) | |
| 0x7ffff71c65c0 has 35 edges over 17 states; 10 small (28.57) | |
| 0x7ffff71c73f0 has 8 edges over 6 states; 5 small (62.50) | |
| 0x7fffefca78d8 has 0 edges over 1 states; 0 small (-nan) | |
| 0x7ffff6f31248 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7ffff6f59678 has 277 edges over 158 states; 178 small (64.26) | |
| 0x7ffff6f79800 has 295 edges over 179 states; 177 small (60.00) | |
| 0x7ffff6fa5110 has 305 edges over 124 states; 143 small (46.89) | |
| 0x7ffff6fa5d68 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6fa9f40 has 8 edges over 5 states; 2 small (25.00) | |
| 0x7ffff6faa4d8 has 5 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6fb9c00 has 205 edges over 100 states; 73 small (35.61) | |
| 0x7ffff6fba698 has 7 edges over 4 states; 2 small (28.57) | |
| 0x7ffff6fbb6c0 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7ffff6fbd628 has 9 edges over 5 states; 2 small (22.22) | |
| 0x7ffff6fbf808 has 9 edges over 6 states; 2 small (22.22) | |
| 0x7ffff6fe9278 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7fffefcbabf0 has 12 edges over 7 states; 1 small (8.33) | |
| 0x7fffefcc2b58 has 80 edges over 40 states; 29 small (36.25) | |
| 0x7fffeff611a0 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7fffefdde420 has 4 edges over 3 states; 1 small (25.00) | |
| 0x7ffff72096f0 has 4 edges over 3 states; 0 small (0.00) | |
| 0x7ffff6f51ec0 has 10 edges over 5 states; 3 small (30.00) | |
| 0x7fffefda82a0 has 18 edges over 10 states; 1 small (5.56) | |
| 0x7ffff6f83378 has 6 edges over 4 states; 2 small (33.33) | |
| 0x7fffefd4a560 has 14 edges over 12 states; 12 small (85.71) | |
| 0x7fffefe89100 has 85 edges over 54 states; 43 small (50.59) | |
| 0x7fffeff81060 has 996 edges over 595 states; 508 small (51.00) | |
| 0x7fffefcf36a0 has 71 edges over 31 states; 33 small (46.48) | |
| 0x7ffff70eceb0 has 5 edges over 3 states; 1 small (20.00) | |
| 0x7ffff7296128 has 22 edges over 13 states; 12 small (54.55) | |
| 0x7ffff72a4500 has 10 edges over 5 states; 3 small (30.00) | |
| Stage parse : 67.689 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment