6359 41 0.1992 11.0093 ((1 . 2) (2 . 4) (4 . 6) (6 . 8)) 91 0.5698 9.1172 ((1 . 15) (3 . 18) (6 . 23) (8 . 27)) 157 0.1993 8.2477 ((3 . 10) (5 . 13) (6 . 15) (8 . 17)) 293 0.5698 9.1009 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 317 0.5711 6.3383 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 351 0.8571 1.8377 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 361 0.5695 9.6168 ((2 . 5) (3 . 6) (4 . 7) (8 . 13)) 472 0.5679 11.1249 ((1 . 23) (2 . 24) (6 . 29) (8 . 33)) 495 0.1498 9.4585 ((1 . 2) (3 . 4) (5 . 6) (8 . 12)) 553 0.8504 7.9018 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (6 . 9) (8 . 14)) 609 0.5686 10.4914 ((2 . 2) (3 . 4) (4 . 5) (6 . 7)) 624 0.5709 6.9869 ((2 . 6) (4 . 8) (6 . 10) (8 . 12)) 635 0.2945 9.9758 ((1 . 9) (2 . 11) (3 . 12) (8 . 17)) 678 0.5701 8.6757 ((2 . 23) (4 . 25) (5 . 27) (6 . 28)) 729 0.5708 7.2723 ((2 . 6) (4 . 8) (6 . 12) (8 . 14)) 782 0.5686 10.5791 ((1 . 5) (2 . 6) (5 . 11) (6 . 12)) 792 0.5710 6.7243 ((1 . 3) (2 . 5) (3 . 8) (4 . 10)) 901 0.5679 11.1393 ((1 . 11) (3 . 14) (6 . 18) (8 . 21)) 928 0.5707 7.4948 ((2 . 9) (4 . 11) (6 . 13) (8 . 15)) 943 0.1992 10.2941 ((2 . 5) (3 . 7) (6 . 10) (8 . 13)) 960 0.5702 8.6022 ((3 . 30) (4 . 31) (6 . 33) (8 . 34)) 978 0.5713 4.8894 ((2 . 8) (3 . 11) (4 . 12) (6 . 15)) 980 0.5648 13.0781 ((1 . 4) (3 . 6) (5 . 8) (6 . 10)) 1082 0.5705 7.8609 ((3 . 25) (4 . 26) (6 . 28) (8 . 32)) 1124 0.5706 7.8451 ((1 . 9) (2 . 10) (4 . 11) (8 . 16)) 1204 0.5685 10.6440 ((1 . 13) (5 . 18) (6 . 19) (8 . 21)) 1210 0.7139 4.8840 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1233 0.5708 7.1120 ((1 . 13) (2 . 16) (4 . 19) (6 . 21)) 1267 0.5685 10.6576 ((1 . 8) (3 . 14) (5 . 16) (8 . 20)) 1268 0.5692 9.9021 ((1 . 15) (3 . 16) (4 . 17) (5 . 18)) 1345 0.1498 10.2587 ((1 . 1) (4 . 6) (6 . 8) (8 . 10)) 1395 0.0999 12.8837 ((1 . 1) (5 . 4) (6 . 5) (8 . 6)) 1415 0.5694 9.7326 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 1447 0.1992 14.4177 ((1 . 2) (5 . 8) (6 . 10) (8 . 12)) 1470 0.7136 5.6111 ((2 . 8) (4 . 10) (5 . 11) (6 . 12) (8 . 13)) 1472 0.5585 15.5913 ((1 . 3) (2 . 5) (5 . 9) (8 . 12)) 1476 0.5706 7.7075 ((2 . 10) (4 . 13) (6 . 16) (8 . 19)) 1497 0.5708 7.0758 ((2 . 12) (4 . 15) (5 . 16) (6 . 17)) 1591 0.5704 8.0816 ((2 . 3) (4 . 5) (6 . 7) (8 . 10)) 1604 0.0999 8.0877 ((2 . 6) (4 . 9) (6 . 13) (8 . 14)) 1690 0.5691 9.9847 ((2 . 26) (3 . 27) (4 . 28) (5 . 29)) 1724 0.5685 10.6091 ((2 . 1) (3 . 3) (4 . 4) (5 . 5)) 1736 0.5713 4.7808 ((2 . 6) (3 . 8) (4 . 9) (6 . 11)) 1738 0.1992 8.7948 ((1 . 16) (2 . 15) (4 . 20) (8 . 25)) 1761 0.5703 8.4206 ((2 . 6) (4 . 8) (6 . 12) (8 . 14)) 1796 0.5703 8.2827 ((1 . 1) (2 . 2) (4 . 4) (6 . 5)) 1908 0.5659 12.5046 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 1909 0.5705 7.9320 ((2 . 26) (4 . 30) (6 . 33) (8 . 36)) 1944 0.5712 5.7423 ((2 . 4) (4 . 6) (6 . 8) (8 . 12)) 1957 0.5705 7.8785 ((1 . 12) (2 . 14) (4 . 16) (6 . 18)) 1987 0.5707 7.6130 ((1 . 10) (4 . 12) (5 . 13) (6 . 14)) 1992 0.5670 11.7956 ((1 . 5) (3 . 8) (5 . 10) (6 . 13)) 2048 0.5623 14.2105 ((2 . 3) (4 . 5) (6 . 9) (8 . 12)) 2081 0.5570 16.0341 ((1 . 7) (5 . 13) (6 . 14) (8 . 18)) 2114 0.5707 7.4301 ((1 . 35) (2 . 37) (3 . 38) (4 . 39)) 2117 0.0999 8.4956 ((1 . 2) (2 . 3) (6 . 8) (8 . 13)) 2118 0.1993 6.3877 ((3 . 6) (5 . 8) (6 . 9) (8 . 10)) 2122 0.5702 8.6085 ((2 . 2) (3 . 5) (4 . 7) (6 . 9)) 2233 0.5700 8.9414 ((1 . 1) (2 . 2) (4 . 6) (6 . 7)) 2269 0.5695 9.5760 ((1 . 5) (5 . 9) (6 . 11) (8 . 13)) 2298 0.5711 5.9467 ((2 . 3) (4 . 5) (6 . 7) (8 . 11)) 2342 0.7136 5.5370 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7)) 2344 0.5712 5.8809 ((1 . 9) (4 . 12) (5 . 16) (6 . 17)) 2364 0.5665 12.1103 ((2 . 6) (4 . 8) (5 . 10) (8 . 16)) 2443 0.5707 7.5280 ((2 . 2) (3 . 3) (4 . 4) (6 . 6)) 2447 0.5707 7.5031 ((2 . 14) (4 . 16) (6 . 19) (8 . 22)) 2510 0.5707 7.4187 ((2 . 16) (3 . 18) (6 . 24) (8 . 26)) 2519 0.0999 10.3279 ((3 . 1) (5 . 3) (6 . 4) (8 . 6)) 2533 0.5696 9.3882 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 2552 0.5707 7.3688 ((1 . 2) (2 . 4) (4 . 6) (5 . 7)) 2556 0.1992 10.8618 ((1 . 15) (2 . 17) (4 . 21) (6 . 23)) 2627 0.5701 8.7582 ((3 . 53) (4 . 54) (5 . 55) (6 . 56)) 2753 0.5703 8.4126 ((2 . 3) (3 . 5) (4 . 6) (6 . 8)) 2830 0.2944 12.2239 ((1 . 2) (3 . 4) (5 . 6) (8 . 10)) 2842 0.5705 7.9325 ((2 . 6) (4 . 8) (6 . 10) (8 . 12)) 3014 0.2944 11.2436 ((1 . 3) (4 . 8) (6 . 9) (8 . 12)) 3034 0.5706 7.7437 ((2 . 4) (4 . 6) (6 . 8) (8 . 11)) 3041 0.2945 7.6226 ((1 . 11) (4 . 15) (6 . 17) (8 . 20)) 3070 0.5710 6.5815 ((2 . 30) (3 . 31) (4 . 34) (6 . 37)) 3084 0.5708 7.1765 ((2 . 12) (4 . 14) (6 . 16) (8 . 18)) 3127 0.5702 8.5357 ((2 . 9) (3 . 12) (5 . 14) (6 . 16)) 3190 0.5709 6.9873 ((2 . 2) (4 . 4) (6 . 7) (8 . 10)) 3197 0.5660 12.4452 ((2 . 4) (4 . 7) (6 . 11) (8 . 13)) 3202 0.5616 14.5129 ((2 . 1) (3 . 3) (4 . 4) (8 . 7)) 3212 0.5661 12.3770 ((1 . 1) (4 . 6) (5 . 7) (6 . 10)) 3310 0.5700 8.8648 ((1 . 2) (2 . 3) (5 . 5) (8 . 10)) 3322 0.5707 7.4080 ((1 . 2) (3 . 6) (5 . 8) (6 . 10)) 3334 0.5705 7.9966 ((1 . 7) (2 . 9) (4 . 11) (5 . 12)) 3339 0.5707 7.4238 ((2 . 10) (4 . 14) (6 . 16) (8 . 18)) 3391 0.1992 11.3853 ((2 . 1) (5 . 3) (6 . 5) (8 . 7)) 3415 0.5670 11.8198 ((1 . 19) (2 . 20) (5 . 23) (6 . 24)) 3446 0.5693 9.7662 ((3 . 9) (4 . 10) (5 . 12) (8 . 13)) 3470 0.5700 8.8644 ((4 . 10) (5 . 11) (6 . 12) (8 . 14)) 3561 0.5708 7.1635 ((1 . 21) (2 . 25) (4 . 27) (5 . 29)) 3613 0.5701 8.7451 ((2 . 26) (3 . 27) (5 . 28) (6 . 30)) 3628 0.5712 5.6799 ((1 . 1) (4 . 5) (6 . 7) (8 . 11)) 3651 0.5706 7.8323 ((1 . 2) (3 . 4) (5 . 7) (8 . 14)) 3658 0.5700 8.8496 ((2 . 12) (4 . 14) (5 . 15) (8 . 19)) 3661 0.5713 4.8245 ((2 . 9) (3 . 10) (4 . 13) (5 . 14)) 3787 0.5712 5.6842 ((2 . 10) (3 . 11) (4 . 13) (5 . 14)) 3829 0.2945 10.4964 ((1 . 3) (3 . 6) (6 . 10) (8 . 13)) 3834 0.5698 9.1950 ((1 . 2) (3 . 4) (4 . 5) (6 . 6)) 3847 0.5691 10.0288 ((4 . 10) (5 . 11) (6 . 12) (8 . 15)) 3853 0.5710 6.4653 ((2 . 4) (4 . 7) (6 . 9) (8 . 11)) 3870 0.2945 7.5997 ((1 . 6) (2 . 7) (4 . 9) (8 . 14)) 3968 0.0999 8.6523 ((2 . 2) (4 . 4) (6 . 8) (8 . 10)) 4009 0.1993 7.8421 ((1 . 10) (4 . 16) (6 . 18) (8 . 20)) 4011 0.5690 10.1708 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4030 0.8445 9.2867 ((1 . 7) (2 . 9) (3 . 13) (4 . 15) (5 . 17) (6 . 18)) 4062 0.5712 5.8145 ((2 . 34) (4 . 44) (5 . 47) (6 . 51)) 4067 0.5711 6.2403 ((2 . 15) (4 . 19) (6 . 21) (8 . 23)) 4077 0.5684 10.6890 ((1 . 7) (5 . 12) (6 . 13) (8 . 14)) 4115 0.5665 12.1114 ((2 . 7) (4 . 9) (5 . 11) (6 . 12)) 4134 0.5679 11.1236 ((1 . 24) (2 . 25) (4 . 26) (6 . 30)) 4151 0.5711 6.3323 ((2 . 8) (4 . 11) (6 . 14) (8 . 16)) 4195 0.5706 7.8227 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 4204 0.5711 6.2946 ((3 . 1) (5 . 2) (6 . 4) (8 . 10)) 4216 0.5696 9.4667 ((1 . 10) (4 . 13) (5 . 14) (6 . 15)) 4226 0.5705 7.9785 ((2 . 20) (3 . 23) (5 . 25) (6 . 27)) 4261 0.7094 9.1491 ((1 . 11) (2 . 12) (3 . 14) (4 . 15) (6 . 16)) 4265 0.5656 12.6681 ((2 . 22) (4 . 25) (6 . 28) (8 . 31)) 4266 0.5689 10.2568 ((2 . 3) (4 . 5) (6 . 7) (8 . 9)) 4326 0.5709 6.8294 ((2 . 5) (4 . 8) (6 . 14) (8 . 16)) 4352 0.2944 11.2638 ((1 . 4) (4 . 11) (6 . 13) (8 . 14)) 4398 0.5705 7.8995 ((2 . 2) (4 . 5) (6 . 9) (8 . 11)) 4408 0.5706 7.6684 ((2 . 19) (3 . 20) (5 . 22) (6 . 23)) 4470 0.5712 5.5612 ((2 . 11) (4 . 13) (6 . 15) (8 . 17)) 4492 0.5690 10.1462 ((2 . 10) (4 . 12) (6 . 14) (8 . 19)) 4495 0.5703 8.2977 ((3 . 1) (5 . 5) (6 . 7) (8 . 9)) 4502 0.5713 5.1153 ((1 . 2) (4 . 3) (6 . 7) (8 . 13)) 4504 0.1498 6.6008 ((1 . 16) (2 . 18) (6 . 23) (8 . 24)) 4516 0.8441 9.3696 ((1 . 23) (2 . 25) (3 . 27) (4 . 29) (5 . 31) (6 . 33)) 4560 0.5703 8.3496 ((2 . 5) (4 . 7) (6 . 10) (8 . 12)) 4561 0.5700 8.8001 ((2 . 4) (4 . 6) (6 . 8) (8 . 11)) 4562 0.0999 8.7842 ((4 . 21) (5 . 23) (6 . 26) (8 . 28)) 4563 0.5695 9.5847 ((3 . 30) (4 . 32) (5 . 33) (8 . 37)) 4579 0.5707 7.4448 ((3 . 5) (4 . 6) (5 . 7) (8 . 11)) 4607 0.5701 8.6928 ((3 . 15) (5 . 17) (6 . 18) (8 . 20)) 4669 0.5706 7.8237 ((2 . 16) (3 . 18) (5 . 20) (6 . 22)) 4671 0.1498 6.9959 ((1 . 3) (2 . 5) (5 . 9) (8 . 16)) 4699 0.5710 6.3960 ((1 . 10) (2 . 11) (3 . 12) (4 . 13)) 4715 0.5704 8.1686 ((2 . 2) (3 . 4) (5 . 7) (6 . 9)) 4716 0.5711 6.2055 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4764 0.5692 9.8883 ((2 . 5) (4 . 7) (5 . 8) (8 . 11)) 4783 0.5688 10.3404 ((1 . 1) (2 . 2) (5 . 6) (6 . 7)) 4817 0.7141 3.9915 ((2 . 6) (3 . 7) (4 . 9) (5 . 11) (6 . 13)) 4886 0.5502 17.8074 ((1 . 14) (4 . 15) (6 . 18) (8 . 20)) 4889 0.5701 8.6803 ((1 . 19) (3 . 21) (4 . 23) (5 . 24)) 4961 0.5706 7.6594 ((2 . 4) (4 . 8) (6 . 11) (8 . 13)) 4963 0.5711 6.0912 ((1 . 3) (3 . 5) (6 . 8) (8 . 10)) 4978 0.5705 7.9168 ((3 . 26) (4 . 27) (6 . 29) (8 . 31)) 5000 0.5703 8.4172 ((1 . 32) (2 . 33) (3 . 35) (6 . 36)) 5016 0.0999 8.0590 ((1 . 5) (2 . 6) (4 . 8) (5 . 9)) 5073 0.5712 5.7694 ((4 . 35) (5 . 37) (6 . 38) (8 . 41)) 5080 0.5708 7.3456 ((1 . 10) (2 . 11) (3 . 13) (4 . 14)) 5092 0.5698 9.1234 ((1 . 4) (4 . 7) (5 . 8) (6 . 9)) 5101 0.5626 14.0851 ((2 . 2) (4 . 6) (6 . 8) (8 . 11)) 5103 0.0999 11.3031 ((1 . 11) (2 . 12) (6 . 16) (8 . 18)) 5121 0.0999 12.2528 ((2 . 13) (4 . 14) (5 . 17) (8 . 22)) 5132 0.5708 7.1273 ((2 . 19) (4 . 21) (6 . 24) (8 . 27)) 5134 0.5698 9.1424 ((1 . 8) (2 . 9) (5 . 12) (6 . 15)) 5167 0.5707 7.5016 ((1 . 6) (2 . 7) (4 . 10) (6 . 13)) 5192 0.5691 10.0079 ((1 . 2) (2 . 4) (4 . 6) (8 . 13)) 5212 0.5684 10.7216 ((2 . 13) (3 . 14) (4 . 15) (6 . 16)) 5223 0.5710 6.6358 ((2 . 2) (4 . 5) (6 . 9) (8 . 11)) 5266 0.5712 5.4250 ((1 . 9) (2 . 11) (3 . 12) (6 . 16)) 5285 0.5714 4.1358 ((2 . 1) (3 . 3) (4 . 4) (5 . 5)) 5318 0.5694 9.7148 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 5323 0.5711 6.3197 ((2 . 14) (3 . 15) (5 . 17) (6 . 18)) 5324 0.5707 7.4795 ((2 . 6) (4 . 8) (6 . 11) (8 . 13)) 5442 0.5711 6.1837 ((2 . 35) (3 . 36) (5 . 38) (6 . 39)) 5501 0.5685 10.6348 ((1 . 21) (3 . 23) (6 . 28) (8 . 32)) 5525 0.5671 11.7386 ((1 . 5) (2 . 9) (5 . 12) (6 . 13)) 5560 0.1992 10.5099 ((1 . 3) (5 . 7) (6 . 8) (8 . 10)) 5648 0.7080 9.7660 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8)) 5656 0.5698 9.1438 ((1 . 17) (3 . 20) (6 . 25) (8 . 26)) 5689 0.7114 8.0356 ((1 . 10) (4 . 11) (5 . 14) (6 . 18) (8 . 19)) 5702 0.5691 10.0589 ((2 . 10) (5 . 12) (6 . 13) (8 . 15)) 5704 0.5682 10.9213 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 5782 0.5708 7.3503 ((4 . 6) (5 . 7) (6 . 8) (8 . 11)) 5789 0.5697 9.2400 ((3 . 1) (5 . 3) (6 . 4) (8 . 6)) 5795 0.5711 5.9186 ((1 . 3) (2 . 5) (6 . 11) (8 . 15)) 5809 0.5705 7.9899 ((2 . 2) (4 . 4) (6 . 6) (8 . 8)) 5904 0.5655 12.7390 ((2 . 3) (5 . 6) (6 . 8) (8 . 10)) 5939 0.5709 6.9269 ((3 . 1) (4 . 3) (6 . 5) (8 . 7)) 5945 0.5708 7.1037 ((2 . 22) (4 . 25) (6 . 27) (8 . 31)) 5949 0.2944 12.3419 ((1 . 11) (2 . 13) (4 . 15) (8 . 20)) 5955 0.5711 5.9059 ((2 . 6) (4 . 8) (6 . 10) (8 . 13)) 6000 0.5707 7.4955 ((1 . 18) (3 . 22) (6 . 27) (8 . 30)) 6029 0.5697 9.2358 ((2 . 32) (4 . 34) (6 . 37) (8 . 39)) 6033 0.7139 4.7145 ((1 . 4) (2 . 5) (3 . 7) (4 . 9) (5 . 10)) 6074 0.5709 6.9707 ((2 . 1) (4 . 5) (6 . 7) (8 . 10)) 6079 0.5700 8.8309 ((1 . 12) (3 . 14) (4 . 15) (5 . 17)) 6089 0.5676 11.3892 ((1 . 13) (5 . 19) (6 . 20) (8 . 22)) 6169 0.5688 10.3033 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 6251 0.5709 7.0643 ((2 . 9) (4 . 11) (6 . 14) (8 . 18)) 6261 0.5708 7.1377 ((2 . 7) (4 . 10) (6 . 14) (8 . 18)) 6266 0.5653 12.8297 ((2 . 4) (4 . 7) (6 . 9) (8 . 12)) 6268 0.5702 8.5544 ((3 . 10) (4 . 11) (6 . 13) (8 . 14)) 6329 0.2495 6.8810 ((1 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 11) (8 . 17)) 6348 0.5695 9.5312 ((1 . 6) (2 . 8) (4 . 10) (5 . 13)) 6356 0.5691 10.0720 ((2 . 10) (4 . 12) (5 . 14) (6 . 16)) 6359 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 6369 0.5712 5.6351 ((2 . 23) (4 . 25) (6 . 28) (8 . 30)) 6384 0.5701 8.6770 ((3 . 3) (4 . 4) (6 . 5) (8 . 7)) 6391 0.5709 6.9959 ((2 . 1) (3 . 3) (4 . 4) (8 . 7)) 6461 0.5682 10.8559 ((3 . 2) (5 . 4) (6 . 5) (8 . 7)) 6462 0.5660 12.4518 ((1 . 7) (2 . 8) (3 . 9) (6 . 14)) 6498 0.5695 9.5337 ((1 . 15) (4 . 23) (5 . 28) (6 . 30)) 6506 0.5706 7.6381 ((1 . 24) (2 . 25) (5 . 28) (6 . 29)) 6536 0.7130 6.5293 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (5 . 37)) 6548 0.1498 18.0680 ((1 . 4) (3 . 8) (4 . 10) (8 . 15)) 6553 0.2945 7.6184 ((1 . 16) (2 . 19) (6 . 27) (8 . 28)) 6578 0.5685 10.6260 ((1 . 36) (2 . 39) (3 . 40) (4 . 41)) 6587 0.5698 9.2327 ((2 . 27) (3 . 28) (4 . 30) (6 . 32)) 6605 0.5710 6.7128 ((2 . 3) (3 . 5) (4 . 6) (6 . 7)) 6613 0.5705 8.0270 ((2 . 11) (4 . 15) (6 . 19) (8 . 23)) 6622 0.7131 6.4197 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (5 . 8)) END