Skip to content

Instantly share code, notes, and snippets.

@timo

timo/gist:308debec42f59d60f13395796c5e545e

Last active July 26, 2020 22:22
Download ZIP

Revisions

  1. timo revised this gist Jul 26, 2020. 1 changed file with 242 additions and 241 deletions.
    483 changes: 242 additions & 241 deletions gistfile2.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -1,242 +1,243 @@
    0x7ffff6f518b0 has 4 edges over 3 states
    0x7ffff6f52388 has 237 edges over 95 states
    0x7ffff6f523e0 has 230 edges over 97 states
    0x7ffff6f526c8 has 10 edges over 6 states
    0x7ffff6f529d0 has 5 edges over 3 states
    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
    0x7ffff6f5b460 has 52 edges over 30 states
    0x7ffff6f5b4b8 has 44 edges over 28 states
    0x7ffff6f97488 has 5 edges over 3 states
    0x7ffff6f97960 has 3 edges over 2 states
    0x7ffff6f97aa0 has 187 edges over 131 states
    0x7ffff6f98078 has 15083 edges over 8798 states
    0x7ffff6f98198 has 37182 edges over 21863 states
    0x7ffff6f982f0 has 58 edges over 50 states
    0x7ffff6f995b8 has 12279 edges over 7388 states
    0x7ffff6f99718 has 2281 edges over 1374 states
    0x7ffff6f99770 has 1155 edges over 694 states
    0x7ffff6f9a440 has 4 edges over 3 states
    0x7ffff6f9aa08 has 1061 edges over 630 states
    0x7ffff6f9b1d8 has 86 edges over 46 states
    0x7ffff6f9bc78 has 40 edges over 33 states
    0x7ffff6f9bfd0 has 12 edges over 9 states
    0x7ffff6f9d170 has 613 edges over 327 states
    0x7ffff6f9d2c8 has 392 edges over 218 states
    0x7ffff6fa9908 has 10 edges over 5 states
    0x7ffff6faada8 has 88 edges over 55 states
    0x7ffff6faae00 has 100 edges over 68 states
    0x7ffff6fae010 has 48 edges over 34 states
    0x7ffff6fae0e0 has 38 edges over 27 states
    0x7ffff6fb11c8 has 288 edges over 178 states
    0x7ffff6fb2ae0 has 28 edges over 14 states
    0x7ffff6fb7498 has 81 edges over 50 states
    0x7ffff6fb9180 has 6 edges over 5 states
    0x7ffff6fb9640 has 11 edges over 7 states
    0x7ffff6fb9998 has 4 edges over 2 states
    0x7ffff6fbc450 has 6 edges over 4 states
    0x7ffff6fbd270 has 55 edges over 30 states
    0x7ffff6fbefe0 has 14 edges over 11 states
    0x7ffff6fbf8d8 has 6 edges over 4 states
    0x7ffff6fbf930 has 5 edges over 4 states
    0x7ffff6fbf9c0 has 4485 edges over 2598 states
    0x7ffff6fbfa18 has 22 edges over 15 states
    0x7ffff7026a38 has 6 edges over 4 states
    0x7ffff7026b58 has 13 edges over 7 states
    0x7ffff7157a20 has 721 edges over 419 states
    0x7ffff7158e48 has 4 edges over 3 states
    0x7ffff715ef68 has 12 edges over 9 states
    0x7ffff715efc0 has 661 edges over 395 states
    0x7ffff715f018 has 560 edges over 336 states
    0x7ffff715f070 has 660 edges over 457 states
    0x7ffff71a88c8 has 3016 edges over 1745 states
    0x7ffff71a8a20 has 6 edges over 4 states
    0x7ffff71a90d0 has 1503 edges over 870 states
    0x7ffff71a9380 has 33 edges over 17 states
    0x7ffff71a9ef0 has 6 edges over 4 states
    0x7ffff71aa2c0 has 6 edges over 4 states
    0x7ffff71aa4e0 has 4 edges over 3 states
    0x7ffff7207930 has 29 edges over 23 states
    0x7ffff7208218 has 9 edges over 5 states
    0x7ffff72a1198 has 1844 edges over 1113 states
    0x7ffff72a12f0 has 992 edges over 594 states
    0x7ffff72a1348 has 24 edges over 17 states
    0x7ffff72a19c0 has 34 edges over 18 states
    0x7ffff72b7000 has 12 edges over 7 states
    0x7fffefcd02e0 has 80 edges over 40 states
    0x7fffefcd1ae8 has 14 edges over 6 states
    0x7fffefcd2068 has 8 edges over 4 states
    0x7fffefcd2778 has 8 edges over 5 states
    0x7fffefceb5d8 has 12 edges over 6 states
    0x7fffefddff70 has 17 edges over 15 states
    0x7fffefddffc8 has 9440 edges over 5686 states
    0x7fffefde1340 has 31 edges over 28 states
    0x7fffefde30f8 has 52 edges over 27 states
    0x7fffefde3258 has 6 edges over 4 states
    0x7fffefde9ac8 has 1422 edges over 763 states
    0x7fffefde9c08 has 1318 edges over 695 states
    0x7fffefde9d48 has 1028 edges over 550 states
    0x7fffefdea118 has 126 edges over 67 states
    0x7fffefdecb90 has 235 edges over 127 states
    0x7fffefdecdb0 has 242 edges over 133 states
    0x7fffefdece08 has 6 edges over 3 states
    0x7fffefdece60 has 135 edges over 71 states
    0x7fffefdeceb8 has 15 edges over 8 states
    0x7fffefded2e0 has 87 edges over 52 states
    0x7fffefded7a0 has 9 edges over 6 states
    0x7fffefdedb08 has 5 edges over 3 states
    0x7fffefdee288 has 10 edges over 8 states
    0x7fffefdeec58 has 9 edges over 6 states
    0x7fffefdef540 has 4 edges over 3 states
    0x7fffefdefb28 has 6 edges over 4 states
    0x7fffefdf15e8 has 16 edges over 11 states
    0x7fffefe41320 has 184 edges over 139 states
    0x7fffefe41730 has 8 edges over 7 states
    0x7fffefe4fe78 has 9 edges over 7 states
    0x7fffefe52bc8 has 10 edges over 8 states
    0x7fffefe658d8 has 26 edges over 22 states
    0x7fffefe8fea0 has 8 edges over 5 states
    0x7fffeff9e230 has 1935 edges over 1158 states
    0x7fffeffd0bb0 has 6 edges over 4 states
    0x7fffeffdbc28 has 15 edges over 8 states
    0x7fffeffdcf80 has 5 edges over 3 states
    0x7fffefff5788 has 68 edges over 36 states
    0x7fffefff57e0 has 86 edges over 55 states
    0x7fffefff5b40 has 5 edges over 4 states
    0x7fffefff67b8 has 0 edges over 1 states
    0x7ffff6f4a2b8 has 13 edges over 7 states
    0x7ffff6f4aa78 has 15 edges over 8 states
    0x7ffff7146db0 has 7 edges over 5 states
    0x7ffff7157608 has 49 edges over 24 states
    0x7ffff715b9d0 has 4 edges over 3 states
    0x7ffff715da38 has 11 edges over 7 states
    0x7fffefe0f138 has 7 edges over 4 states
    0x7ffff6f9a870 has 76 edges over 47 states
    0x7ffff6f9c1f8 has 16 edges over 11 states
    0x7ffff6f9cd00 has 785 edges over 418 states
    0x7ffff703b4a0 has 7 edges over 6 states
    0x7ffff7251420 has 29 edges over 18 states
    0x7fffefc6ff80 has 14 edges over 8 states
    0x7fffefd445a8 has 5 edges over 3 states
    0x7fffefd6c9b8 has 277 edges over 158 states
    0x7fffefd8cb40 has 295 edges over 179 states
    0x7fffefdb8400 has 305 edges over 124 states
    0x7fffefdb8f38 has 8 edges over 5 states
    0x7fffefdb9768 has 5 edges over 3 states
    0x7fffefdba0f0 has 4 edges over 3 states
    0x7fffefdbbc18 has 30 edges over 14 states
    0x7fffefdbfd58 has 8 edges over 5 states
    0x7fffefdc02f0 has 5 edges over 3 states
    0x7fffefdc1ee8 has 9 edges over 6 states
    0x7ffff71958b8 has 6 edges over 5 states
    0x7ffff7196030 has 9 edges over 5 states
    0x7ffff719c768 has 5 edges over 4 states
    0x7ffff6f35940 has 7 edges over 5 states
    0x7ffff7045620 has 11 edges over 8 states
    0x7ffff726d660 has 12 edges over 11 states
    0x7fffefe4d588 has 0 edges over 1 states
    0x7fffefd3cba0 has 54 edges over 27 states
    0x7fffefd3d090 has 7 edges over 4 states
    0x7fffefe4da40 has 2 edges over 2 states
    0x7fffeff386e8 has 16 edges over 9 states
    0x7fffefde7318 has 11 edges over 6 states
    0x7ffff70498b0 has 14 edges over 12 states
    0x7ffff71e0118 has 17 edges over 13 states
    0x7ffff724d638 has 12 edges over 11 states
    0x7fffeff24f48 has 4 edges over 3 states
    0x7fffefedf338 has 16 edges over 9 states
    0x7fffefe10320 has 96 edges over 59 states
    0x7fffefe120e8 has 42 edges over 24 states
    0x7ffff705c570 has 42 edges over 20 states
    0x7fffefd22fc8 has 19 edges over 15 states
    0x7ffff716fca8 has 4 edges over 3 states
    0x7ffff7187650 has 30 edges over 22 states
    0x7fffeff648b8 has 5 edges over 3 states
    0x7fffefd89548 has 51 edges over 27 states
    0x7fffefd8a4c8 has 4 edges over 3 states
    0x7ffff7185bf8 has 205 edges over 100 states
    0x7ffff7012660 has 4 edges over 3 states
    0x7fffeffe0c18 has 5 edges over 4 states
    0x7ffff6f68e08 has 7 edges over 4 states
    0x7ffff6f7a450 has 82 edges over 42 states
    0x7ffff71789c8 has 4 edges over 3 states
    0x7fffefe636c8 has 18 edges over 10 states
    0x7ffff717e720 has 8 edges over 4 states
    0x7ffff717e778 has 8 edges over 5 states
    0x7ffff6fb5b90 has 991 edges over 592 states
    0x7fffefec37f8 has 9 edges over 5 states
    0x7ffff6f41068 has 3 edges over 2 states
    0x7ffff6f54358 has 68 edges over 36 states
    0x7fffefdb06e8 has 16 edges over 11 states
    0x7ffff70a8e70 has 23 edges over 13 states
    0x7fffeff6e790 has 19 edges over 10 states
    0x7ffff707b7b8 has 4 edges over 3 states
    0x7fffefcb75d8 has 17 edges over 6 states
    0x7fffefcbfb08 has 0 edges over 1 states
    0x7ffff70256c8 has 3 edges over 2 states
    0x7fffefcf84e8 has 8 edges over 6 states
    0x7ffff70e9c28 has 17 edges over 6 states
    0x7ffff70f46a8 has 10 edges over 5 states
    0x7ffff7114650 has 11 edges over 6 states
    0x7fffefd040d8 has 17 edges over 6 states
    0x7fffefd0ee28 has 12 edges over 7 states
    0x7fffeff5fc98 has 12 edges over 7 states
    0x7fffefe0b790 has 9 edges over 7 states
    0x7fffefe7f530 has 41 edges over 21 states
    0x7fffefe863f8 has 5 edges over 3 states
    0x7fffefeae848 has 277 edges over 158 states
    0x7fffefece9d0 has 295 edges over 179 states
    0x7fffefed21f8 has 8 edges over 5 states
    0x7fffefed2c90 has 4 edges over 3 states
    0x7fffefed3b90 has 5 edges over 3 states
    0x7fffefee3308 has 205 edges over 100 states
    0x7fffefee6cd8 has 9 edges over 6 states
    0x7fffeff13d68 has 305 edges over 124 states
    0x7fffeff1c9f8 has 61 edges over 25 states
    0x7fffeff28130 has 71 edges over 31 states
    0x7fffeff421b8 has 61 edges over 25 states
    0x7fffeff52eb0 has 8 edges over 5 states
    0x7fffeff536e0 has 5 edges over 3 states
    0x7fffeff556a0 has 30 edges over 14 states
    0x7fffeff58aa8 has 7 edges over 4 states
    0x7fffeff6b2e8 has 9 edges over 5 states
    0x7ffff7277798 has 164 edges over 81 states
    0x7ffff7279eb0 has 35 edges over 17 states
    0x7ffff727ace0 has 8 edges over 6 states
    0x7ffff727dcc8 has 41 edges over 20 states
    0x7fffefc75708 has 40 edges over 31 states
    0x7fffefc75f18 has 12 edges over 9 states
    0x7fffefc7f458 has 68 edges over 36 states
    0x7fffefceafa8 has 4 edges over 3 states
    0x7fffefcfce30 has 164 edges over 81 states
    0x7fffefcff548 has 35 edges over 17 states
    0x7fffefd00378 has 8 edges over 6 states
    0x7fffefe26808 has 0 edges over 1 states
    0x7ffff70b7700 has 5 edges over 3 states
    0x7ffff70dfb30 has 277 edges over 158 states
    0x7ffff70ffcb8 has 295 edges over 179 states
    0x7ffff712b578 has 305 edges over 124 states
    0x7ffff712c1d0 has 4 edges over 3 states
    0x7ffff71303a8 has 8 edges over 5 states
    0x7ffff7130940 has 5 edges over 3 states
    0x7ffff7140068 has 205 edges over 100 states
    0x7ffff7140b00 has 7 edges over 4 states
    0x7ffff7141b78 has 4 edges over 3 states
    0x7ffff7143ae0 has 9 edges over 5 states
    0x7ffff7145cc0 has 9 edges over 6 states
    0x7ffff716f730 has 4 edges over 3 states
    0x7fffefe471e8 has 12 edges over 7 states
    0x7fffefe4f150 has 80 edges over 40 states
    0x7ffff701d598 has 5 edges over 3 states
    0x7fffeff63b48 has 4 edges over 3 states
    0x7fffefd64430 has 4 edges over 3 states
    0x7ffff70e80f8 has 10 edges over 5 states
    0x7fffeff8ca40 has 18 edges over 10 states
    0x7ffff70c6d50 has 6 edges over 4 states
    0x7fffefe6cf30 has 14 edges over 12 states
    0x7ffff6f26af8 has 85 edges over 54 states
    0x7ffff70c35b8 has 996 edges over 595 states
    0x7fffeff234a8 has 71 edges over 31 states
    0x7fffefe12188 has 5 edges over 3 states
    0x7fffeffb9ef0 has 22 edges over 13 states
    0x7fffeffc7e78 has 10 edges over 5 states
    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
  2. timo revised this gist Jul 26, 2020. 2 changed files with 242 additions and 64 deletions.
    64 changes: 0 additions & 64 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -1,64 +0,0 @@
    1: 0x26767e8 has 37660 edges over 21863 states
    1: 0x2676820 has 13 edges over 9 states
    1: 0x7fffefc6a810 has 10 edges over 5 states
    1: 0x2676890 has 1170 edges over 694 states
    1: 0x26768c8 has 59 edges over 50 states
    1: 0x7fffefc73560 has 12 edges over 7 states
    1: 0x2676900 has 34 edges over 18 states
    1: 0xb615f8 has 25 edges over 17 states
    1: 0xb61630 has 1005 edges over 594 states
    1: 0xb61668 has 1867 edges over 1113 states
    1: 0xb616a0 has 9 edges over 5 states
    1: 0xb616d8 has 30 edges over 23 states
    1: 0xb61908 has 4 edges over 3 states
    1: 0xb61940 has 6 edges over 4 states
    1: 0xb61978 has 6 edges over 4 states
    1: 0xb619b0 has 33 edges over 17 states
    1: 0xb619e8 has 1526 edges over 870 states
    1: 0xb61a20 has 6 edges over 4 states
    1: 0xb61a58 has 3062 edges over 1745 states
    1: 0xb61b70 has 662 edges over 457 states
    1: 0xb61ba8 has 564 edges over 336 states
    1: 0xb61be0 has 666 edges over 395 states
    1: 0xb61c18 has 12 edges over 9 states
    1: 0xb61c50 has 4 edges over 3 states
    1: 0xb61c88 has 722 edges over 419 states
    1: 0xb61cc0 has 13 edges over 7 states
    1: 0xb61cf8 has 6 edges over 4 states
    1: 0xb61d30 has 23 edges over 15 states
    1: 0xb61d68 has 4555 edges over 2598 states
    1: 0xb61da0 has 5 edges over 4 states
    1: 0xb61dd8 has 6 edges over 4 states
    1: 0x7fffefc8aa68 has 14 edges over 11 states
    1: 0xb61e10 has 56 edges over 30 states
    1: 0xb61e48 has 6 edges over 4 states
    1: 0xb61e80 has 4 edges over 2 states
    1: 0xb61eb8 has 11 edges over 7 states
    1: 0xb61ef0 has 6 edges over 5 states
    1: 0xb61f28 has 82 edges over 50 states
    1: 0xb61f60 has 28 edges over 14 states
    1: 0xb61f98 has 291 edges over 178 states
    1: 0xb61fd0 has 39 edges over 27 states
    1: 0xb62008 has 49 edges over 34 states
    1: 0xb62040 has 101 edges over 68 states
    1: 0xb62078 has 89 edges over 55 states
    1: 0xb620e8 has 402 edges over 218 states
    1: 0xb62120 has 624 edges over 327 states
    1: 0xb62158 has 41 edges over 33 states
    1: 0xb62190 has 87 edges over 46 states
    1: 0xb621c8 has 1074 edges over 630 states
    1: 0xb62200 has 4 edges over 3 states
    1: 0xb62238 has 2310 edges over 1374 states
    1: 0xb62270 has 12444 edges over 7388 states
    1: 0xb622a8 has 15280 edges over 8798 states
    1: 0xb622e0 has 188 edges over 131 states
    1: 0xb62318 has 3 edges over 2 states
    1: 0xb62350 has 5 edges over 3 states
    1: 0xb62548 has 45 edges over 28 states
    1: 0xb62580 has 53 edges over 30 states
    1: 0xb625b8 has 88 edges over 56 states
    1: 0xb62660 has 5 edges over 3 states
    1: 0xb62698 has 11 edges over 6 states
    1: 0xb626d0 has 240 edges over 97 states
    1: 0xb62708 has 248 edges over 95 states
    1: 0xb62740 has 4 edges over 3 states
    242 changes: 242 additions & 0 deletions gistfile2.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,242 @@
    0x7ffff6f518b0 has 4 edges over 3 states
    0x7ffff6f52388 has 237 edges over 95 states
    0x7ffff6f523e0 has 230 edges over 97 states
    0x7ffff6f526c8 has 10 edges over 6 states
    0x7ffff6f529d0 has 5 edges over 3 states
    Stage start : 0.000
    0x7ffff6f5abc8 has 87 edges over 56 states
    0x7ffff6f5b460 has 52 edges over 30 states
    0x7ffff6f5b4b8 has 44 edges over 28 states
    0x7ffff6f97488 has 5 edges over 3 states
    0x7ffff6f97960 has 3 edges over 2 states
    0x7ffff6f97aa0 has 187 edges over 131 states
    0x7ffff6f98078 has 15083 edges over 8798 states
    0x7ffff6f98198 has 37182 edges over 21863 states
    0x7ffff6f982f0 has 58 edges over 50 states
    0x7ffff6f995b8 has 12279 edges over 7388 states
    0x7ffff6f99718 has 2281 edges over 1374 states
    0x7ffff6f99770 has 1155 edges over 694 states
    0x7ffff6f9a440 has 4 edges over 3 states
    0x7ffff6f9aa08 has 1061 edges over 630 states
    0x7ffff6f9b1d8 has 86 edges over 46 states
    0x7ffff6f9bc78 has 40 edges over 33 states
    0x7ffff6f9bfd0 has 12 edges over 9 states
    0x7ffff6f9d170 has 613 edges over 327 states
    0x7ffff6f9d2c8 has 392 edges over 218 states
    0x7ffff6fa9908 has 10 edges over 5 states
    0x7ffff6faada8 has 88 edges over 55 states
    0x7ffff6faae00 has 100 edges over 68 states
    0x7ffff6fae010 has 48 edges over 34 states
    0x7ffff6fae0e0 has 38 edges over 27 states
    0x7ffff6fb11c8 has 288 edges over 178 states
    0x7ffff6fb2ae0 has 28 edges over 14 states
    0x7ffff6fb7498 has 81 edges over 50 states
    0x7ffff6fb9180 has 6 edges over 5 states
    0x7ffff6fb9640 has 11 edges over 7 states
    0x7ffff6fb9998 has 4 edges over 2 states
    0x7ffff6fbc450 has 6 edges over 4 states
    0x7ffff6fbd270 has 55 edges over 30 states
    0x7ffff6fbefe0 has 14 edges over 11 states
    0x7ffff6fbf8d8 has 6 edges over 4 states
    0x7ffff6fbf930 has 5 edges over 4 states
    0x7ffff6fbf9c0 has 4485 edges over 2598 states
    0x7ffff6fbfa18 has 22 edges over 15 states
    0x7ffff7026a38 has 6 edges over 4 states
    0x7ffff7026b58 has 13 edges over 7 states
    0x7ffff7157a20 has 721 edges over 419 states
    0x7ffff7158e48 has 4 edges over 3 states
    0x7ffff715ef68 has 12 edges over 9 states
    0x7ffff715efc0 has 661 edges over 395 states
    0x7ffff715f018 has 560 edges over 336 states
    0x7ffff715f070 has 660 edges over 457 states
    0x7ffff71a88c8 has 3016 edges over 1745 states
    0x7ffff71a8a20 has 6 edges over 4 states
    0x7ffff71a90d0 has 1503 edges over 870 states
    0x7ffff71a9380 has 33 edges over 17 states
    0x7ffff71a9ef0 has 6 edges over 4 states
    0x7ffff71aa2c0 has 6 edges over 4 states
    0x7ffff71aa4e0 has 4 edges over 3 states
    0x7ffff7207930 has 29 edges over 23 states
    0x7ffff7208218 has 9 edges over 5 states
    0x7ffff72a1198 has 1844 edges over 1113 states
    0x7ffff72a12f0 has 992 edges over 594 states
    0x7ffff72a1348 has 24 edges over 17 states
    0x7ffff72a19c0 has 34 edges over 18 states
    0x7ffff72b7000 has 12 edges over 7 states
    0x7fffefcd02e0 has 80 edges over 40 states
    0x7fffefcd1ae8 has 14 edges over 6 states
    0x7fffefcd2068 has 8 edges over 4 states
    0x7fffefcd2778 has 8 edges over 5 states
    0x7fffefceb5d8 has 12 edges over 6 states
    0x7fffefddff70 has 17 edges over 15 states
    0x7fffefddffc8 has 9440 edges over 5686 states
    0x7fffefde1340 has 31 edges over 28 states
    0x7fffefde30f8 has 52 edges over 27 states
    0x7fffefde3258 has 6 edges over 4 states
    0x7fffefde9ac8 has 1422 edges over 763 states
    0x7fffefde9c08 has 1318 edges over 695 states
    0x7fffefde9d48 has 1028 edges over 550 states
    0x7fffefdea118 has 126 edges over 67 states
    0x7fffefdecb90 has 235 edges over 127 states
    0x7fffefdecdb0 has 242 edges over 133 states
    0x7fffefdece08 has 6 edges over 3 states
    0x7fffefdece60 has 135 edges over 71 states
    0x7fffefdeceb8 has 15 edges over 8 states
    0x7fffefded2e0 has 87 edges over 52 states
    0x7fffefded7a0 has 9 edges over 6 states
    0x7fffefdedb08 has 5 edges over 3 states
    0x7fffefdee288 has 10 edges over 8 states
    0x7fffefdeec58 has 9 edges over 6 states
    0x7fffefdef540 has 4 edges over 3 states
    0x7fffefdefb28 has 6 edges over 4 states
    0x7fffefdf15e8 has 16 edges over 11 states
    0x7fffefe41320 has 184 edges over 139 states
    0x7fffefe41730 has 8 edges over 7 states
    0x7fffefe4fe78 has 9 edges over 7 states
    0x7fffefe52bc8 has 10 edges over 8 states
    0x7fffefe658d8 has 26 edges over 22 states
    0x7fffefe8fea0 has 8 edges over 5 states
    0x7fffeff9e230 has 1935 edges over 1158 states
    0x7fffeffd0bb0 has 6 edges over 4 states
    0x7fffeffdbc28 has 15 edges over 8 states
    0x7fffeffdcf80 has 5 edges over 3 states
    0x7fffefff5788 has 68 edges over 36 states
    0x7fffefff57e0 has 86 edges over 55 states
    0x7fffefff5b40 has 5 edges over 4 states
    0x7fffefff67b8 has 0 edges over 1 states
    0x7ffff6f4a2b8 has 13 edges over 7 states
    0x7ffff6f4aa78 has 15 edges over 8 states
    0x7ffff7146db0 has 7 edges over 5 states
    0x7ffff7157608 has 49 edges over 24 states
    0x7ffff715b9d0 has 4 edges over 3 states
    0x7ffff715da38 has 11 edges over 7 states
    0x7fffefe0f138 has 7 edges over 4 states
    0x7ffff6f9a870 has 76 edges over 47 states
    0x7ffff6f9c1f8 has 16 edges over 11 states
    0x7ffff6f9cd00 has 785 edges over 418 states
    0x7ffff703b4a0 has 7 edges over 6 states
    0x7ffff7251420 has 29 edges over 18 states
    0x7fffefc6ff80 has 14 edges over 8 states
    0x7fffefd445a8 has 5 edges over 3 states
    0x7fffefd6c9b8 has 277 edges over 158 states
    0x7fffefd8cb40 has 295 edges over 179 states
    0x7fffefdb8400 has 305 edges over 124 states
    0x7fffefdb8f38 has 8 edges over 5 states
    0x7fffefdb9768 has 5 edges over 3 states
    0x7fffefdba0f0 has 4 edges over 3 states
    0x7fffefdbbc18 has 30 edges over 14 states
    0x7fffefdbfd58 has 8 edges over 5 states
    0x7fffefdc02f0 has 5 edges over 3 states
    0x7fffefdc1ee8 has 9 edges over 6 states
    0x7ffff71958b8 has 6 edges over 5 states
    0x7ffff7196030 has 9 edges over 5 states
    0x7ffff719c768 has 5 edges over 4 states
    0x7ffff6f35940 has 7 edges over 5 states
    0x7ffff7045620 has 11 edges over 8 states
    0x7ffff726d660 has 12 edges over 11 states
    0x7fffefe4d588 has 0 edges over 1 states
    0x7fffefd3cba0 has 54 edges over 27 states
    0x7fffefd3d090 has 7 edges over 4 states
    0x7fffefe4da40 has 2 edges over 2 states
    0x7fffeff386e8 has 16 edges over 9 states
    0x7fffefde7318 has 11 edges over 6 states
    0x7ffff70498b0 has 14 edges over 12 states
    0x7ffff71e0118 has 17 edges over 13 states
    0x7ffff724d638 has 12 edges over 11 states
    0x7fffeff24f48 has 4 edges over 3 states
    0x7fffefedf338 has 16 edges over 9 states
    0x7fffefe10320 has 96 edges over 59 states
    0x7fffefe120e8 has 42 edges over 24 states
    0x7ffff705c570 has 42 edges over 20 states
    0x7fffefd22fc8 has 19 edges over 15 states
    0x7ffff716fca8 has 4 edges over 3 states
    0x7ffff7187650 has 30 edges over 22 states
    0x7fffeff648b8 has 5 edges over 3 states
    0x7fffefd89548 has 51 edges over 27 states
    0x7fffefd8a4c8 has 4 edges over 3 states
    0x7ffff7185bf8 has 205 edges over 100 states
    0x7ffff7012660 has 4 edges over 3 states
    0x7fffeffe0c18 has 5 edges over 4 states
    0x7ffff6f68e08 has 7 edges over 4 states
    0x7ffff6f7a450 has 82 edges over 42 states
    0x7ffff71789c8 has 4 edges over 3 states
    0x7fffefe636c8 has 18 edges over 10 states
    0x7ffff717e720 has 8 edges over 4 states
    0x7ffff717e778 has 8 edges over 5 states
    0x7ffff6fb5b90 has 991 edges over 592 states
    0x7fffefec37f8 has 9 edges over 5 states
    0x7ffff6f41068 has 3 edges over 2 states
    0x7ffff6f54358 has 68 edges over 36 states
    0x7fffefdb06e8 has 16 edges over 11 states
    0x7ffff70a8e70 has 23 edges over 13 states
    0x7fffeff6e790 has 19 edges over 10 states
    0x7ffff707b7b8 has 4 edges over 3 states
    0x7fffefcb75d8 has 17 edges over 6 states
    0x7fffefcbfb08 has 0 edges over 1 states
    0x7ffff70256c8 has 3 edges over 2 states
    0x7fffefcf84e8 has 8 edges over 6 states
    0x7ffff70e9c28 has 17 edges over 6 states
    0x7ffff70f46a8 has 10 edges over 5 states
    0x7ffff7114650 has 11 edges over 6 states
    0x7fffefd040d8 has 17 edges over 6 states
    0x7fffefd0ee28 has 12 edges over 7 states
    0x7fffeff5fc98 has 12 edges over 7 states
    0x7fffefe0b790 has 9 edges over 7 states
    0x7fffefe7f530 has 41 edges over 21 states
    0x7fffefe863f8 has 5 edges over 3 states
    0x7fffefeae848 has 277 edges over 158 states
    0x7fffefece9d0 has 295 edges over 179 states
    0x7fffefed21f8 has 8 edges over 5 states
    0x7fffefed2c90 has 4 edges over 3 states
    0x7fffefed3b90 has 5 edges over 3 states
    0x7fffefee3308 has 205 edges over 100 states
    0x7fffefee6cd8 has 9 edges over 6 states
    0x7fffeff13d68 has 305 edges over 124 states
    0x7fffeff1c9f8 has 61 edges over 25 states
    0x7fffeff28130 has 71 edges over 31 states
    0x7fffeff421b8 has 61 edges over 25 states
    0x7fffeff52eb0 has 8 edges over 5 states
    0x7fffeff536e0 has 5 edges over 3 states
    0x7fffeff556a0 has 30 edges over 14 states
    0x7fffeff58aa8 has 7 edges over 4 states
    0x7fffeff6b2e8 has 9 edges over 5 states
    0x7ffff7277798 has 164 edges over 81 states
    0x7ffff7279eb0 has 35 edges over 17 states
    0x7ffff727ace0 has 8 edges over 6 states
    0x7ffff727dcc8 has 41 edges over 20 states
    0x7fffefc75708 has 40 edges over 31 states
    0x7fffefc75f18 has 12 edges over 9 states
    0x7fffefc7f458 has 68 edges over 36 states
    0x7fffefceafa8 has 4 edges over 3 states
    0x7fffefcfce30 has 164 edges over 81 states
    0x7fffefcff548 has 35 edges over 17 states
    0x7fffefd00378 has 8 edges over 6 states
    0x7fffefe26808 has 0 edges over 1 states
    0x7ffff70b7700 has 5 edges over 3 states
    0x7ffff70dfb30 has 277 edges over 158 states
    0x7ffff70ffcb8 has 295 edges over 179 states
    0x7ffff712b578 has 305 edges over 124 states
    0x7ffff712c1d0 has 4 edges over 3 states
    0x7ffff71303a8 has 8 edges over 5 states
    0x7ffff7130940 has 5 edges over 3 states
    0x7ffff7140068 has 205 edges over 100 states
    0x7ffff7140b00 has 7 edges over 4 states
    0x7ffff7141b78 has 4 edges over 3 states
    0x7ffff7143ae0 has 9 edges over 5 states
    0x7ffff7145cc0 has 9 edges over 6 states
    0x7ffff716f730 has 4 edges over 3 states
    0x7fffefe471e8 has 12 edges over 7 states
    0x7fffefe4f150 has 80 edges over 40 states
    0x7ffff701d598 has 5 edges over 3 states
    0x7fffeff63b48 has 4 edges over 3 states
    0x7fffefd64430 has 4 edges over 3 states
    0x7ffff70e80f8 has 10 edges over 5 states
    0x7fffeff8ca40 has 18 edges over 10 states
    0x7ffff70c6d50 has 6 edges over 4 states
    0x7fffefe6cf30 has 14 edges over 12 states
    0x7ffff6f26af8 has 85 edges over 54 states
    0x7ffff70c35b8 has 996 edges over 595 states
    0x7fffeff234a8 has 71 edges over 31 states
    0x7fffefe12188 has 5 edges over 3 states
    0x7fffeffb9ef0 has 22 edges over 13 states
    0x7fffeffc7e78 has 10 edges over 5 states
  3. timo created this gist Jul 26, 2020.
    64 changes: 64 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,64 @@
    1: 0x26767e8 has 37660 edges over 21863 states
    1: 0x2676820 has 13 edges over 9 states
    1: 0x7fffefc6a810 has 10 edges over 5 states
    1: 0x2676890 has 1170 edges over 694 states
    1: 0x26768c8 has 59 edges over 50 states
    1: 0x7fffefc73560 has 12 edges over 7 states
    1: 0x2676900 has 34 edges over 18 states
    1: 0xb615f8 has 25 edges over 17 states
    1: 0xb61630 has 1005 edges over 594 states
    1: 0xb61668 has 1867 edges over 1113 states
    1: 0xb616a0 has 9 edges over 5 states
    1: 0xb616d8 has 30 edges over 23 states
    1: 0xb61908 has 4 edges over 3 states
    1: 0xb61940 has 6 edges over 4 states
    1: 0xb61978 has 6 edges over 4 states
    1: 0xb619b0 has 33 edges over 17 states
    1: 0xb619e8 has 1526 edges over 870 states
    1: 0xb61a20 has 6 edges over 4 states
    1: 0xb61a58 has 3062 edges over 1745 states
    1: 0xb61b70 has 662 edges over 457 states
    1: 0xb61ba8 has 564 edges over 336 states
    1: 0xb61be0 has 666 edges over 395 states
    1: 0xb61c18 has 12 edges over 9 states
    1: 0xb61c50 has 4 edges over 3 states
    1: 0xb61c88 has 722 edges over 419 states
    1: 0xb61cc0 has 13 edges over 7 states
    1: 0xb61cf8 has 6 edges over 4 states
    1: 0xb61d30 has 23 edges over 15 states
    1: 0xb61d68 has 4555 edges over 2598 states
    1: 0xb61da0 has 5 edges over 4 states
    1: 0xb61dd8 has 6 edges over 4 states
    1: 0x7fffefc8aa68 has 14 edges over 11 states
    1: 0xb61e10 has 56 edges over 30 states
    1: 0xb61e48 has 6 edges over 4 states
    1: 0xb61e80 has 4 edges over 2 states
    1: 0xb61eb8 has 11 edges over 7 states
    1: 0xb61ef0 has 6 edges over 5 states
    1: 0xb61f28 has 82 edges over 50 states
    1: 0xb61f60 has 28 edges over 14 states
    1: 0xb61f98 has 291 edges over 178 states
    1: 0xb61fd0 has 39 edges over 27 states
    1: 0xb62008 has 49 edges over 34 states
    1: 0xb62040 has 101 edges over 68 states
    1: 0xb62078 has 89 edges over 55 states
    1: 0xb620e8 has 402 edges over 218 states
    1: 0xb62120 has 624 edges over 327 states
    1: 0xb62158 has 41 edges over 33 states
    1: 0xb62190 has 87 edges over 46 states
    1: 0xb621c8 has 1074 edges over 630 states
    1: 0xb62200 has 4 edges over 3 states
    1: 0xb62238 has 2310 edges over 1374 states
    1: 0xb62270 has 12444 edges over 7388 states
    1: 0xb622a8 has 15280 edges over 8798 states
    1: 0xb622e0 has 188 edges over 131 states
    1: 0xb62318 has 3 edges over 2 states
    1: 0xb62350 has 5 edges over 3 states
    1: 0xb62548 has 45 edges over 28 states
    1: 0xb62580 has 53 edges over 30 states
    1: 0xb625b8 has 88 edges over 56 states
    1: 0xb62660 has 5 edges over 3 states
    1: 0xb62698 has 11 edges over 6 states
    1: 0xb626d0 has 240 edges over 97 states
    1: 0xb62708 has 248 edges over 95 states
    1: 0xb62740 has 4 edges over 3 states