-2 0 0 593 0 0 -3 0 0 16 0 0 -4 0 0 1 0 0 -5 0 0 7 0 0 -6 0 0 0 0 2025436865 -7 0 0 0 0 2028176869 -8 0 0 1 0 0 -1 0 0 0 0 2023363901 P4 May- 9-90 -11 0 0 0 0 4294967295 -9 0 0 1 0 2023364078 Start A -10 0 0 1 0 2023364137 -9 0 0 2 0 2023364187 End A -10 0 0 2 0 2023364236 -9 0 0 3 0 2023364285 Start B -10 0 0 3 0 2023364336 -9 0 0 4 0 2023364387 End B -10 0 0 4 0 2023364436 -9 0 0 5 0 2023364484 Start C -10 0 0 5 0 2023364536 -9 0 0 6 0 2023364585 End C -10 0 0 6 0 2023364635 -9 0 0 7 0 2023364681 Start D -10 0 0 7 0 2023364733 -9 0 0 8 0 2023364781 End D -10 0 0 8 0 2023364831 -9 0 0 9 0 2023364876 Proof -10 0 0 9 0 2023364928 1 15 0 1 0 2025436865 1 9 0 2 0 2025438268 1 12 0 3 0 2025440600 1 0 0 4 0 2025443131 1 5 0 5 0 2025444166 1 4 0 6 0 2025446700 1 10 0 7 0 2025449307 1 13 0 8 0 2025451858 1 1 0 9 0 2025454510 1 14 0 10 0 2025457212 1 11 0 11 0 2025459730 2 15 0 1 0 2025474228 3 8 0 0 0 2025519846 5 2 0 0 0 2025536548 1 3 0 12 0 2025537003 6 2 0 0 0 2025541395 5 7 0 0 0 2025548443 1 15 0 13 0 2025548838 6 7 0 0 0 2025553384 5 6 0 0 0 2025556928 1 2 0 14 0 2025557089 6 6 0 0 0 2025561723 5 6 0 0 0 2025565362 1 7 0 15 0 2025565720 6 6 0 0 0 2025566737 5 6 0 0 0 2025573882 6 6 0 0 0 2025575090 1 6 0 16 0 2025575849 2 9 0 2 0 2025642519 5 9 0 0 0 2025642902 6 9 0 0 0 2025644112 5 9 0 0 0 2025644362 6 9 0 0 0 2025645541 2 5 0 5 0 2025645944 5 9 0 0 0 2025646136 5 5 0 0 0 2025646711 6 9 0 0 0 2025647312 5 9 0 0 0 2025647624 6 5 0 0 0 2025648110 5 5 0 0 0 2025648365 6 9 0 0 0 2025648802 5 9 0 0 0 2025649149 6 5 0 0 0 2025649386 5 5 0 0 0 2025650037 6 9 0 0 0 2025650215 1 9 0 17 0 2025650972 2 4 0 6 0 2025650986 6 5 0 0 0 2025651272 1 4 0 18 0 2025651941 1 5 0 19 0 2025652711 2 1 0 9 0 2025653111 1 1 0 20 0 2025654082 2 14 0 10 0 2025655400 5 14 0 0 0 2025655781 6 14 0 0 0 2025656968 1 14 0 21 0 2025657832 2 11 0 11 0 2025660042 2 13 0 8 0 2025660198 1 11 0 22 0 2025660779 1 13 0 23 0 2025661700 2 0 0 4 0 2025663292 5 0 0 0 0 2025664050 2 12 0 3 0 2025664342 2 10 0 7 0 2025664902 1 12 0 24 0 2025665272 6 0 0 0 0 2025665641 1 10 0 25 0 2025666468 1 0 0 26 0 2025667425 2 3 0 12 0 2025705288 5 3 0 0 0 2025706028 6 3 0 0 0 2025707275 5 3 0 0 0 2025707526 6 3 0 0 0 2025708638 5 3 0 0 0 2025708874 6 3 0 0 0 2025710061 5 3 0 0 0 2025710310 6 3 0 0 0 2025711334 5 3 0 0 0 2025711902 6 3 0 0 0 2025713120 1 3 0 27 0 2025713628 2 15 0 13 0 2025713958 1 15 0 28 0 2025714513 2 7 0 15 0 2025750163 5 7 0 0 0 2025750459 6 7 0 0 0 2025751975 5 7 0 0 0 2025752218 6 7 0 0 0 2025753380 5 7 0 0 0 2025753730 6 7 0 0 0 2025754765 5 7 0 0 0 2025755015 6 7 0 0 0 2025756182 5 7 0 0 0 2025756425 6 7 0 0 0 2025757572 1 7 0 29 0 2025758083 2 6 0 16 0 2025766880 5 6 0 0 0 2025767359 6 6 0 0 0 2025768748 5 6 0 0 0 2025769008 6 6 0 0 0 2025770186 1 6 0 30 0 2025771316 2 2 0 14 0 2025773974 1 2 0 31 0 2025774785 2 9 0 17 0 2025815510 5 9 0 0 0 2025815811 6 9 0 0 0 2025817064 5 9 0 0 0 2025817316 6 9 0 0 0 2025818368 5 9 0 0 0 2025818611 6 9 0 0 0 2025819651 5 9 0 0 0 2025819892 6 9 0 0 0 2025820902 5 9 0 0 0 2025821145 6 9 0 0 0 2025822205 5 9 0 0 0 2025822447 6 9 0 0 0 2025823457 2 4 0 18 0 2025824022 1 9 0 32 0 2025824302 2 5 0 19 0 2025824703 1 4 0 33 0 2025824937 1 5 0 34 0 2025825440 2 1 0 20 0 2025826727 5 1 0 0 0 2025827017 6 1 0 0 0 2025828217 1 1 0 35 0 2025828924 2 14 0 21 0 2025830194 1 14 0 36 0 2025831001 2 11 0 22 0 2025837714 5 11 0 0 0 2025838012 6 11 0 0 0 2025839472 1 11 0 37 0 2025840217 2 13 0 23 0 2025852443 5 13 0 0 0 2025852752 6 13 0 0 0 2025853909 5 13 0 0 0 2025854155 6 13 0 0 0 2025855566 5 13 0 0 0 2025855934 6 13 0 0 0 2025857180 1 13 0 38 0 2025858067 2 12 0 24 0 2025861446 2 10 0 25 0 2025862006 1 12 0 39 0 2025862034 5 10 0 0 0 2025862363 6 10 0 0 0 2025863572 1 10 0 40 0 2025864319 2 0 0 26 0 2025871229 1 0 0 41 0 2025872354 2 15 0 28 0 2025879782 5 15 0 0 0 2025880070 6 15 0 0 0 2025881324 5 15 0 0 0 2025881627 6 15 0 0 0 2025882936 1 15 0 42 0 2025883693 2 3 0 27 0 2025958843 5 3 0 0 0 2025959130 6 3 0 0 0 2025960742 5 3 0 0 0 2025960990 6 3 0 0 0 2025962055 5 3 0 0 0 2025962297 6 3 0 0 0 2025963595 5 3 0 0 0 2025963840 6 3 0 0 0 2025964998 5 3 0 0 0 2025965550 6 3 0 0 0 2025966665 5 3 0 0 0 2025966901 6 3 0 0 0 2025968140 5 3 0 0 0 2025968384 6 3 0 0 0 2025969457 5 3 0 0 0 2025969705 6 3 0 0 0 2025970766 1 3 0 43 0 2025971325 2 7 0 29 0 2025987373 5 7 0 0 0 2025987670 6 7 0 0 0 2025988848 5 7 0 0 0 2025989090 2 2 0 31 0 2025989189 6 7 0 0 0 2025990147 1 2 0 44 0 2025990310 1 7 0 45 0 2025991766 2 5 0 34 0 2026004680 5 5 0 0 0 2026005277 6 5 0 0 0 2026006603 5 5 0 0 0 2026006840 6 5 0 0 0 2026008005 1 5 0 46 0 2026008999 2 4 0 33 0 2026010516 1 4 0 47 0 2026011668 2 9 0 32 0 2026015961 5 9 0 0 0 2026016264 6 9 0 0 0 2026017635 1 9 0 48 0 2026018530 2 13 0 38 0 2026021373 5 13 0 0 0 2026021832 2 11 0 37 0 2026022657 6 13 0 0 0 2026023272 1 11 0 49 0 2026023823 1 13 0 50 0 2026024342 2 6 0 30 0 2026036334 5 6 0 0 0 2026036632 6 6 0 0 0 2026038148 5 6 0 0 0 2026038398 6 6 0 0 0 2026039647 1 6 0 51 0 2026040353 2 1 0 35 0 2026048676 5 1 0 0 0 2026048970 6 1 0 0 0 2026050338 1 1 0 52 0 2026050920 2 0 0 41 0 2026058219 5 0 0 0 0 2026058545 6 0 0 0 0 2026059795 1 0 0 53 0 2026060614 2 14 0 36 0 2026066957 5 14 0 0 0 2026067256 6 14 0 0 0 2026068651 1 14 0 54 0 2026069334 2 15 0 42 0 2026076436 5 15 0 0 0 2026076733 6 15 0 0 0 2026077930 1 15 0 55 0 2026078642 2 12 0 39 0 2026116746 5 12 0 0 0 2026117045 6 12 0 0 0 2026118439 5 12 0 0 0 2026118686 6 12 0 0 0 2026119849 5 12 0 0 0 2026120096 6 12 0 0 0 2026121118 5 12 0 0 0 2026121361 6 12 0 0 0 2026122449 5 12 0 0 0 2026122822 6 12 0 0 0 2026124059 1 12 0 56 0 2026124532 2 10 0 40 0 2026143741 5 10 0 0 0 2026144193 6 10 0 0 0 2026145389 5 10 0 0 0 2026145629 6 10 0 0 0 2026146871 5 10 0 0 0 2026147118 6 10 0 0 0 2026148258 1 10 0 57 0 2026148743 2 3 0 43 0 2026188606 5 3 0 0 0 2026189060 6 3 0 0 0 2026190295 5 3 0 0 0 2026190543 6 3 0 0 0 2026191684 5 3 0 0 0 2026191929 6 3 0 0 0 2026193086 5 3 0 0 0 2026193333 2 2 0 44 0 2026194023 5 2 0 0 0 2026194324 6 3 0 0 0 2026194459 1 3 0 58 0 2026195315 6 2 0 0 0 2026195618 1 2 0 59 0 2026196406 4 8 0 0 0 2026200788 5 8 0 0 0 2026201137 6 8 0 0 0 2026202347 1 8 0 60 0 2026202857 2 7 0 45 0 2026218160 1 7 0 61 0 2026218947 2 4 0 47 0 2026228200 3 4 0 0 0 2026228470 4 4 0 0 0 2026239089 5 4 0 0 0 2026239352 2 11 0 49 0 2026240331 6 4 0 0 0 2026240560 1 11 0 62 0 2026241040 1 4 0 63 0 2026241584 2 9 0 48 0 2026256300 1 9 0 64 0 2026257063 2 15 0 55 0 2026305413 3 15 0 0 0 2026305718 2 5 0 46 0 2026314744 5 5 0 0 0 2026315031 6 5 0 0 0 2026316272 1 5 0 65 0 2026316912 4 15 0 0 0 2026324902 5 15 0 0 0 2026325183 6 15 0 0 0 2026326426 1 15 0 66 0 2026326893 2 13 0 50 0 2026334118 1 13 0 67 0 2026334806 2 10 0 57 0 2026341883 1 10 0 68 0 2026342374 2 1 0 52 0 2026343296 1 1 0 69 0 2026343812 2 14 0 54 0 2026345999 1 14 0 70 0 2026346521 2 0 0 53 0 2026356596 3 0 0 0 0 2026356928 4 0 0 0 0 2026366942 5 0 0 0 0 2026367220 6 0 0 0 0 2026368368 1 0 0 71 0 2026368858 2 6 0 51 0 2026377237 1 6 0 72 0 2026377914 2 3 0 58 0 2026402464 3 3 0 0 0 2026402755 2 12 0 56 0 2026422492 5 12 0 0 0 2026422798 6 12 0 0 0 2026424014 5 12 0 0 0 2026424260 6 12 0 0 0 2026425729 5 12 0 0 0 2026425976 6 12 0 0 0 2026427204 1 12 0 73 0 2026427669 4 3 0 0 0 2026434202 5 3 0 0 0 2026434467 6 3 0 0 0 2026435813 1 3 0 74 0 2026436248 2 2 0 59 0 2026449861 3 2 0 0 0 2026450161 2 7 0 61 0 2026466952 5 7 0 0 0 2026467443 6 7 0 0 0 2026468686 1 7 0 75 0 2026469294 4 2 0 0 0 2026485876 5 2 0 0 0 2026486160 6 2 0 0 0 2026487407 5 2 0 0 0 2026487648 6 2 0 0 0 2026488750 5 2 0 0 0 2026488991 6 2 0 0 0 2026490087 1 2 0 76 0 2026490725 2 9 0 64 0 2026495040 1 9 0 77 0 2026495729 2 8 0 60 0 2026504761 3 8 0 0 0 2026505139 2 11 0 62 0 2026508528 1 11 0 78 0 2026509206 4 8 0 0 0 2026517008 5 8 0 0 0 2026517281 6 8 0 0 0 2026518542 1 8 0 79 0 2026518991 2 4 0 63 0 2026530124 1 4 0 80 0 2026530797 2 6 0 72 0 2026577389 3 6 0 0 0 2026577672 2 10 0 68 0 2026582583 1 10 0 81 0 2026583229 4 6 0 0 0 2026593598 5 6 0 0 0 2026593914 6 6 0 0 0 2026595187 1 6 0 82 0 2026595799 2 15 0 66 0 2026595920 1 15 0 83 0 2026596576 2 13 0 67 0 2026604852 1 13 0 84 0 2026605481 2 5 0 65 0 2026606869 3 5 0 0 0 2026607443 4 5 0 0 0 2026619447 5 5 0 0 0 2026619720 6 5 0 0 0 2026620936 1 5 0 85 0 2026621524 2 1 0 69 0 2026634396 1 1 0 86 0 2026634865 2 14 0 70 0 2026642086 1 14 0 87 0 2026642792 2 0 0 71 0 2026657620 3 0 0 0 0 2026657960 2 7 0 75 0 2026672398 5 7 0 0 0 2026672704 6 7 0 0 0 2026673848 1 7 0 88 0 2026674264 4 0 0 0 0 2026684167 5 0 0 0 0 2026684467 6 0 0 0 0 2026685620 5 0 0 0 0 2026685858 6 0 0 0 0 2026687030 1 0 0 89 0 2026687603 2 3 0 74 0 2026713051 3 3 0 0 0 2026713333 4 3 0 0 0 2026723168 5 3 0 0 0 2026725820 6 3 0 0 0 2026727098 1 3 0 90 0 2026727511 2 12 0 73 0 2026732277 1 12 0 91 0 2026732777 2 9 0 77 0 2026766778 1 9 0 92 0 2026767264 2 2 0 76 0 2026778094 1 2 0 93 0 2026778556 2 11 0 78 0 2026816033 3 11 0 0 0 2026816334 4 11 0 0 0 2026836832 5 11 0 0 0 2026837095 6 11 0 0 0 2026838349 5 11 0 0 0 2026838589 6 11 0 0 0 2026839749 1 11 0 94 0 2026840240 2 4 0 80 0 2026851003 1 4 0 95 0 2026851473 2 8 0 79 0 2026854771 1 8 0 96 0 2026855309 2 15 0 83 0 2026862031 1 15 0 97 0 2026862489 2 10 0 81 0 2026920270 3 10 0 0 0 2026920566 2 6 0 82 0 2026943565 5 6 0 0 0 2026943890 6 6 0 0 0 2026945118 5 6 0 0 0 2026945372 2 5 0 85 0 2026945606 5 5 0 0 0 2026945901 6 6 0 0 0 2026946634 1 6 0 98 0 2026947048 6 5 0 0 0 2026947183 1 5 0 99 0 2026947668 2 1 0 86 0 2026955335 5 1 0 0 0 2026955634 6 1 0 0 0 2026956905 1 1 0 100 0 2026957330 2 14 0 87 0 2026966068 5 14 0 0 0 2026966383 2 13 0 84 0 2026966739 1 13 0 101 0 2026967395 6 14 0 0 0 2026967987 1 14 0 102 0 2026968530 4 10 0 0 0 2026993070 5 10 0 0 0 2026993359 6 10 0 0 0 2026994631 5 10 0 0 0 2026994875 6 10 0 0 0 2026996039 5 10 0 0 0 2026996277 6 10 0 0 0 2026997393 5 10 0 0 0 2026997652 6 10 0 0 0 2026998810 3 10 0 0 0 2026999059 2 7 0 88 0 2027003517 1 7 0 103 0 2027004154 2 0 0 89 0 2027005973 1 0 0 104 0 2027006632 4 10 0 0 0 2027008553 5 10 0 0 0 2027008808 6 10 0 0 0 2027010189 1 10 0 105 0 2027010593 2 3 0 90 0 2027030859 1 3 0 106 0 2027031298 2 12 0 91 0 2027071494 1 12 0 107 0 2027072132 2 2 0 93 0 2027091721 3 2 0 0 0 2027092015 4 2 0 0 0 2027102167 5 2 0 0 0 2027102539 6 2 0 0 0 2027103834 1 2 0 108 0 2027104428 2 4 0 95 0 2027152534 3 4 0 0 0 2027152828 2 15 0 97 0 2027154667 1 15 0 109 0 2027155113 2 9 0 92 0 2027190233 5 9 0 0 0 2027190556 6 9 0 0 0 2027191885 5 9 0 0 0 2027192137 6 9 0 0 0 2027193263 5 9 0 0 0 2027193512 4 4 0 0 0 2027194428 5 4 0 0 0 2027194721 6 9 0 0 0 2027194878 5 9 0 0 0 2027195136 2 1 0 100 0 2027195327 1 1 0 110 0 2027195793 6 4 0 0 0 2027196008 6 9 0 0 0 2027196324 1 4 0 111 0 2027196420 1 9 0 112 0 2027196919 2 14 0 102 0 2027213601 1 14 0 113 0 2027214073 2 6 0 98 0 2027240944 1 6 0 114 0 2027241465 2 11 0 94 0 2027253132 1 11 0 115 0 2027253587 2 8 0 96 0 2027259959 1 8 0 116 0 2027260397 2 7 0 103 0 2027274196 1 7 0 117 0 2027274619 2 13 0 101 0 2027290386 3 13 0 0 0 2027290693 4 13 0 0 0 2027301340 5 13 0 0 0 2027301608 6 13 0 0 0 2027302833 1 13 0 118 0 2027303194 2 3 0 106 0 2027332127 1 3 0 119 0 2027332529 2 10 0 105 0 2027356189 3 10 0 0 0 2027356483 2 2 0 108 0 2027365200 5 2 0 0 0 2027365506 4 10 0 0 0 2027366627 6 2 0 0 0 2027366736 1 10 0 120 0 2027366995 1 2 0 121 0 2027367494 2 5 0 99 0 2027406588 3 5 0 0 0 2027406961 2 12 0 107 0 2027414551 1 12 0 122 0 2027414958 2 0 0 104 0 2027417817 1 0 0 123 0 2027418271 4 5 0 0 0 2027453077 5 5 0 0 0 2027453381 6 5 0 0 0 2027454758 5 5 0 0 0 2027455005 6 5 0 0 0 2027456208 5 5 0 0 0 2027456450 6 5 0 0 0 2027457577 5 5 0 0 0 2027457812 6 5 0 0 0 2027458929 1 5 0 124 0 2027459294 2 9 0 112 0 2027481877 3 9 0 0 0 2027482241 4 9 0 0 0 2027500747 5 9 0 0 0 2027503292 6 9 0 0 0 2027504544 5 9 0 0 0 2027504798 6 9 0 0 0 2027506023 1 9 0 125 0 2027506388 2 11 0 115 0 2027537364 3 11 0 0 0 2027537654 2 4 0 111 0 2027560574 5 4 0 0 0 2027560862 6 4 0 0 0 2027562188 5 4 0 0 0 2027562475 6 4 0 0 0 2027563756 1 4 0 126 0 2027564143 2 15 0 109 0 2027565871 1 15 0 127 0 2027566314 4 11 0 0 0 2027570661 5 11 0 0 0 2027570960 6 11 0 0 0 2027572212 1 11 0 128 0 2027572588 2 14 0 113 0 2027588338 3 14 0 0 0 2027588644 4 14 0 0 0 2027601052 5 14 0 0 0 2027601331 6 14 0 0 0 2027602682 1 14 0 129 0 2027603053 2 8 0 116 0 2027605251 3 8 0 0 0 2027605559 4 8 0 0 0 2027615260 5 8 0 0 0 2027615531 6 8 0 0 0 2027616775 1 8 0 130 0 2027617156 2 7 0 117 0 2027628325 1 7 0 131 0 2027628746 2 2 0 121 0 2027656840 1 2 0 132 0 2027657255 2 10 0 120 0 2027657827 1 10 0 133 0 2027658217 2 1 0 110 0 2027659425 1 1 0 134 0 2027659830 2 3 0 119 0 2027672741 3 3 0 0 0 2027673032 4 3 0 0 0 2027697204 5 3 0 0 0 2027697466 6 3 0 0 0 2027698742 5 3 0 0 0 2027698976 6 3 0 0 0 2027700130 5 3 0 0 0 2027700362 6 3 0 0 0 2027701510 1 3 0 135 0 2027701850 2 6 0 114 0 2027702399 1 6 0 136 0 2027702860 2 5 0 124 0 2027727388 3 5 0 0 0 2027727684 4 5 0 0 0 2027738222 5 5 0 0 0 2027738479 6 5 0 0 0 2027739736 1 5 0 137 0 2027740078 2 12 0 122 0 2027748925 1 12 0 138 0 2027749361 2 0 0 123 0 2027764155 3 0 0 0 0 2027764864 2 9 0 125 0 2027772156 1 9 0 139 0 2027772560 9 0 0 162 0 2027786851 2 13 0 118 0 2027794792 5 13 0 0 0 2027795112 6 13 0 0 0 2027796479 1 13 0 140 0 2027796822 4 0 0 0 0 2027840178 2 4 0 126 0 2027886821 2 11 0 128 0 2027911919 2 8 0 130 0 2027924085 2 15 0 127 0 2027940757 2 10 0 133 0 2027966647 2 14 0 129 0 2027969709 2 2 0 132 0 2028006389 2 7 0 131 0 2028029481 2 6 0 136 0 2028030874 2 13 0 140 0 2028077217 2 5 0 137 0 2028080677 2 3 0 135 0 2028100989 2 12 0 138 0 2028102285 2 9 0 139 0 2028104473 2 1 0 134 0 2028176869