-2 0 0 237 0 0 -3 0 0 16 0 0 -4 0 0 1 0 0 -5 0 0 5 0 0 -6 0 0 0 0 808026912 -7 0 0 0 0 813100745 -8 0 0 1 0 0 -1 0 0 0 0 806825261 P4 Apr-23-91 -11 0 0 0 0 4294967295 -9 0 0 1 0 806825452 Start A -10 0 0 1 0 806825516 -9 0 0 2 0 806825685 End A -10 0 0 2 0 806825745 -9 0 0 3 0 806825802 Start B -10 0 0 3 0 806825862 -9 0 0 4 0 806825922 End B -10 0 0 4 0 806825982 -9 0 0 5 0 806826039 Start C -10 0 0 5 0 806826098 -9 0 0 6 0 806826158 End C -10 0 0 6 0 806826217 -9 0 0 7 0 806826274 Start D -10 0 0 7 0 806826333 -9 0 0 8 0 806826394 End D -10 0 0 8 0 806826454 -9 0 0 9 0 806826510 Proof -10 0 0 9 0 806826570 1 15 0 1 0 808026912 1 6 0 2 0 808063232 1 13 0 3 0 808068157 1 7 0 4 0 808095893 3 0 0 0 0 808098142 2 6 0 2 0 808103411 2 15 0 1 0 808106952 1 3 0 5 0 808117067 1 6 0 6 0 808146209 1 15 0 7 0 808152810 2 7 0 4 0 808159840 1 8 0 8 0 808161041 1 9 0 9 0 808168638 2 13 0 3 0 808171122 1 14 0 10 0 808195641 2 3 0 5 0 808198969 1 1 0 11 0 808205912 2 6 0 6 0 808212482 1 13 0 12 0 808230956 1 12 0 13 0 808237379 1 7 0 14 0 808243233 1 6 0 15 0 808249274 1 2 0 16 0 808255884 1 11 0 17 0 808279586 2 8 0 8 0 808282915 1 8 0 18 0 808284631 2 15 0 7 0 808286578 1 5 0 19 0 808292237 1 10 0 20 0 808314475 1 15 0 21 0 808326799 2 9 0 9 0 808331622 1 3 0 22 0 808331940 1 9 0 23 0 808334213 1 4 0 24 0 808340069 2 8 0 18 0 808371715 2 14 0 10 0 808372157 1 8 0 25 0 808373104 1 14 0 26 0 808374850 2 12 0 13 0 808376223 2 13 0 12 0 808376686 1 12 0 27 0 808377532 2 1 0 11 0 808378133 1 13 0 28 0 808381140 1 1 0 29 0 808385901 2 15 0 21 0 808402631 1 15 0 30 0 808404037 2 6 0 15 0 808415698 1 6 0 31 0 808417087 2 10 0 20 0 808419736 1 10 0 32 0 808420892 2 7 0 14 0 808425744 1 7 0 33 0 808427311 2 8 0 25 0 808439731 1 8 0 34 0 808441079 2 11 0 17 0 808450122 1 11 0 35 0 808452073 2 2 0 16 0 808458458 1 2 0 36 0 808460229 2 1 0 29 0 808479639 1 1 0 37 0 808481011 2 15 0 30 0 808492179 1 15 0 38 0 808493527 2 3 0 22 0 808518983 1 3 0 39 0 808520617 2 9 0 23 0 808522974 1 9 0 40 0 808524775 2 5 0 19 0 808539403 1 5 0 41 0 808540877 2 13 0 28 0 808576757 1 13 0 42 0 808578481 2 4 0 24 0 808584049 1 4 0 43 0 808585796 2 14 0 26 0 808647738 1 14 0 44 0 808649761 2 6 0 31 0 808651758 1 6 0 45 0 808653293 2 7 0 33 0 808662356 1 7 0 46 0 808663958 2 8 0 34 0 808676492 1 8 0 47 0 808678360 2 12 0 27 0 808711232 1 12 0 48 0 808713197 2 11 0 35 0 808717506 1 11 0 49 0 808719763 2 2 0 36 0 808730537 1 2 0 50 0 808746619 2 15 0 38 0 808775753 1 15 0 51 0 808778088 2 14 0 44 0 808852194 1 14 0 52 0 808856034 2 10 0 32 0 808857415 2 8 0 47 0 808861050 1 10 0 53 0 808862022 1 8 0 54 0 808863835 2 5 0 41 0 808874799 1 5 0 55 0 808877166 2 12 0 48 0 808883063 1 12 0 56 0 808885213 2 11 0 49 0 808898540 1 11 0 57 0 808911395 2 13 0 42 0 808913690 1 13 0 58 0 808918421 2 4 0 43 0 808937736 1 4 0 59 0 808940705 2 1 0 37 0 808957096 1 1 0 60 0 808959707 2 3 0 39 0 808993867 1 3 0 61 0 808996853 2 10 0 53 0 809010972 1 10 0 62 0 809012668 2 14 0 52 0 809013457 1 14 0 63 0 809015241 2 9 0 40 0 809040254 1 9 0 64 0 809043177 2 6 0 45 0 809053289 1 6 0 65 0 809056270 2 7 0 46 0 809118554 1 7 0 66 0 809121642 2 1 0 60 0 809161706 1 1 0 67 0 809164306 2 4 0 59 0 809169468 2 2 0 50 0 809169706 1 4 0 68 0 809171847 1 2 0 69 0 809175530 2 3 0 61 0 809185658 1 3 0 70 0 809195507 2 10 0 62 0 809198449 1 10 0 71 0 809200418 2 5 0 55 0 809224928 1 5 0 72 0 809227401 2 15 0 51 0 809230210 1 15 0 73 0 809235660 2 8 0 54 0 809289082 1 8 0 74 0 809296403 2 7 0 66 0 809330428 1 7 0 75 0 809332973 2 12 0 56 0 809384220 1 12 0 76 0 809387313 2 14 0 63 0 809417848 1 14 0 77 0 809422922 2 2 0 69 0 809427155 1 2 0 78 0 809429739 2 3 0 70 0 809444291 1 3 0 79 0 809446871 2 5 0 72 0 809450835 1 5 0 80 0 809453097 2 15 0 73 0 809466321 1 15 0 81 0 809469186 2 9 0 64 0 809493586 1 9 0 82 0 809498677 2 10 0 71 0 809576439 1 10 0 83 0 809579308 2 11 0 57 0 809580685 1 11 0 84 0 809585196 2 6 0 65 0 809599031 2 12 0 76 0 809600398 2 13 0 58 0 809602341 1 6 0 85 0 809604976 1 12 0 86 0 809608224 1 13 0 87 0 809621297 2 2 0 78 0 809658825 1 2 0 88 0 809661592 2 3 0 79 0 809672885 1 3 0 89 0 809675850 2 7 0 75 0 809678456 1 7 0 90 0 809684665 2 4 0 68 0 809722311 1 4 0 91 0 809726296 2 15 0 81 0 809752002 1 15 0 92 0 809755331 2 10 0 83 0 809854956 1 10 0 93 0 809857814 2 8 0 74 0 809877954 1 8 0 94 0 809882414 2 11 0 84 0 809931156 1 11 0 95 0 809934517 2 2 0 88 0 809944242 1 2 0 96 0 809948634 2 1 0 67 0 809983644 1 1 0 97 0 809988064 2 10 0 93 0 810145753 1 10 0 98 0 810148646 2 9 0 82 0 810151054 1 9 0 99 0 810178536 2 12 0 86 0 810209801 1 12 0 100 0 810213536 2 11 0 95 0 810222711 1 11 0 101 0 810227608 2 6 0 85 0 810278216 1 6 0 102 0 810282835 2 7 0 90 0 810307761 2 13 0 87 0 810309181 1 7 0 103 0 810311850 1 13 0 104 0 810315623 2 3 0 89 0 810374449 1 3 0 105 0 810378287 2 14 0 77 0 810403772 1 14 0 106 0 810408523 2 15 0 92 0 810448320 1 15 0 107 0 810452294 2 5 0 80 0 810452300 1 5 0 108 0 810456615 2 9 0 99 0 810551689 1 9 0 109 0 810554932 2 8 0 94 0 810578933 1 8 0 110 0 810585280 2 2 0 96 0 810606885 1 2 0 111 0 810610363 2 1 0 97 0 810645137 1 1 0 112 0 810648582 2 15 0 107 0 810795645 1 15 0 113 0 810799231 2 9 0 109 0 810903995 1 9 0 114 0 810907617 2 12 0 100 0 810916937 1 12 0 115 0 810920733 2 4 0 91 0 810924682 9 0 0 341 0 810930358 1 4 0 116 0 810931154 2 10 0 98 0 810938733 1 10 0 117 0 810942700 4 0 0 0 0 810956291 2 6 0 102 0 811010397 2 7 0 103 0 811142744 2 13 0 104 0 811175630 2 14 0 106 0 811316060 2 11 0 101 0 811842027 2 4 0 116 0 811997437 2 3 0 105 0 812067589 2 5 0 108 0 812113928 2 12 0 115 0 812160601 2 8 0 110 0 812475243 2 1 0 112 0 812542421 2 2 0 111 0 812609755 2 9 0 114 0 812848175 2 10 0 117 0 812932557 2 15 0 113 0 813100745