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 | |
| 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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment