2552 41 0.8569 3.5529 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 51 0.5703 8.3886 ((1 . 2) (3 . 7) (4 . 9) (5 . 10)) 62 0.5714 4.2657 ((2 . 9) (3 . 10) (5 . 13) (6 . 15)) 77 0.1992 9.1992 ((1 . 7) (3 . 9) (4 . 10) (6 . 12)) 91 0.5714 4.2773 ((1 . 37) (3 . 40) (4 . 41) (5 . 42)) 96 0.5710 6.7240 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 136 0.7122 7.3747 ((1 . 3) (2 . 4) (3 . 5) (5 . 8) (6 . 9)) 147 0.5694 9.7275 ((2 . 3) (4 . 5) (6 . 6) (7 . 8)) 150 0.5702 8.6224 ((2 . 21) (3 . 23) (4 . 24) (5 . 25)) 157 0.8568 3.5966 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 161 0.5709 6.7768 ((1 . 6) (2 . 7) (3 . 9) (5 . 10)) 162 0.2944 11.3863 ((2 . 16) (3 . 15) (5 . 17) (6 . 19)) 207 0.5712 5.3462 ((1 . 15) (2 . 16) (3 . 18) (4 . 19)) 300 0.5693 9.7930 ((1 . 6) (5 . 10) (6 . 11) (7 . 12)) 305 0.3790 6.9542 ((2 . 8) (3 . 9) (5 . 11) (6 . 14)) 307 0.7142 3.3183 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8)) 317 0.5695 9.5310 ((2 . 4) (4 . 6) (6 . 7) (7 . 9)) 350 0.1498 6.5025 ((3 . 2) (4 . 3) (5 . 4) (7 . 9)) 351 0.5708 7.2714 ((2 . 2) (4 . 4) (6 . 6) (7 . 7)) 360 0.5713 5.1052 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 361 0.5699 9.0382 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 365 0.2945 8.4438 ((1 . 2) (3 . 4) (4 . 7) (5 . 8)) 433 0.2945 7.1233 ((1 . 5) (3 . 7) (4 . 8) (5 . 9)) 442 0.5709 7.0147 ((1 . 6) (2 . 9) (3 . 10) (7 . 13)) 495 0.7108 8.3801 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 541 0.7101 8.7833 ((1 . 7) (2 . 10) (3 . 11) (4 . 13) (5 . 14)) 543 0.5703 8.3738 ((1 . 2) (3 . 6) (4 . 7) (5 . 8)) 561 0.5710 6.4594 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 584 0.4865 3.5785 ((1 . 5) (2 . 9) (3 . 10) (4 . 12) (5 . 13) (6 . 29)) 609 0.5712 5.5852 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 619 0.5711 6.1423 ((1 . 12) (2 . 14) (3 . 15) (4 . 17)) 624 0.5712 5.7566 ((1 . 9) (3 . 11) (4 . 12) (6 . 14)) 635 0.5696 9.4560 ((2 . 2) (3 . 3) (5 . 5) (6 . 7)) 672 0.7108 8.3890 ((2 . 12) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 678 0.5714 4.0179 ((3 . 22) (4 . 23) (5 . 24) (6 . 25)) 719 0.5711 6.3000 ((1 . 27) (2 . 29) (3 . 30) (4 . 31)) 729 0.5705 7.8914 ((2 . 6) (3 . 7) (5 . 9) (6 . 12)) 735 0.5673 11.6257 ((1 . 29) (2 . 30) (3 . 32) (5 . 36)) 767 0.1993 7.4079 ((1 . 3) (2 . 2) (3 . 8) (5 . 9)) 795 0.7106 8.5144 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 796 0.5693 9.8608 ((3 . 3) (4 . 4) (5 . 5) (6 . 7)) 812 0.5696 9.3973 ((1 . 11) (2 . 12) (3 . 13) (7 . 17)) 818 0.5713 5.2206 ((1 . 4) (2 . 5) (3 . 8) (4 . 9)) 861 0.5708 7.2522 ((2 . 11) (3 . 12) (4 . 14) (5 . 15)) 901 0.8565 4.3397 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 904 0.5647 13.1606 ((2 . 1) (3 . 3) (5 . 6) (6 . 5)) 928 0.8570 3.1497 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 937 0.5708 7.2051 ((1 . 1) (2 . 3) (3 . 4) (5 . 5)) 943 0.7141 4.1371 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (6 . 10)) 945 0.7137 5.2880 ((1 . 14) (2 . 16) (3 . 17) (4 . 18) (6 . 21)) 949 0.5707 7.3813 ((1 . 30) (3 . 32) (4 . 33) (6 . 35)) 960 0.5712 5.6929 ((1 . 19) (2 . 20) (3 . 21) (7 . 26)) 978 0.5712 5.5014 ((1 . 6) (4 . 9) (5 . 10) (7 . 12)) 980 0.7115 7.9361 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1007 0.2945 8.3556 ((1 . 8) (3 . 11) (5 . 13) (7 . 15)) 1034 0.5713 5.0166 ((1 . 29) (2 . 31) (3 . 32) (6 . 36)) 1043 0.5714 3.5388 ((3 . 1) (4 . 5) (5 . 6) (6 . 7)) 1082 0.5712 5.6165 ((1 . 16) (2 . 17) (3 . 19) (7 . 22)) 1165 0.7136 5.5158 ((1 . 4) (2 . 6) (3 . 7) (5 . 10) (6 . 11)) 1167 0.5695 9.6224 ((2 . 19) (3 . 20) (5 . 22) (6 . 24)) 1201 0.5712 5.5668 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 1204 0.7127 6.8312 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7)) 1210 0.5686 10.5127 ((2 . 2) (4 . 4) (6 . 5) (7 . 6)) 1211 0.5684 10.7174 ((1 . 5) (2 . 7) (3 . 8) (5 . 10)) 1217 0.5709 6.8848 ((1 . 7) (2 . 8) (3 . 11) (5 . 12)) 1233 0.7139 4.8740 ((1 . 14) (2 . 16) (3 . 17) (4 . 19) (6 . 21)) 1267 0.7142 3.2229 ((1 . 15) (3 . 17) (4 . 18) (5 . 19) (6 . 20)) 1268 0.1498 8.6295 ((2 . 2) (4 . 5) (5 . 4) (7 . 8)) 1345 0.5711 6.2940 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1366 0.5711 6.2764 ((1 . 12) (2 . 13) (3 . 14) (5 . 16)) 1388 0.5656 12.6892 ((2 . 3) (3 . 5) (4 . 6) (6 . 7)) 1425 0.2945 7.2108 ((1 . 2) (3 . 4) (4 . 7) (5 . 8)) 1447 0.5714 3.9535 ((1 . 3) (2 . 4) (3 . 5) (7 . 10)) 1451 0.7100 8.8347 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7)) 1476 0.8569 3.4542 ((1 . 9) (2 . 10) (3 . 11) (4 . 16) (5 . 18) (6 . 19)) 1497 0.5699 8.9532 ((2 . 17) (4 . 19) (6 . 21) (7 . 22)) 1513 0.5713 4.6697 ((1 . 11) (3 . 13) (5 . 15) (6 . 16)) 1514 0.2945 10.1612 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 1577 0.5708 7.3237 ((1 . 6) (2 . 9) (3 . 10) (6 . 11)) 1591 0.5712 5.6560 ((1 . 11) (3 . 14) (6 . 15) (7 . 17)) 1595 0.5691 10.0479 ((2 . 4) (4 . 6) (5 . 7) (6 . 9)) 1604 0.8565 4.4007 ((1 . 7) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 1622 0.5709 6.7960 ((2 . 17) (3 . 18) (4 . 19) (6 . 21)) 1643 0.5642 13.4015 ((2 . 21) (3 . 25) (5 . 27) (6 . 29)) 1665 0.5714 2.9919 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 1690 0.5714 4.1172 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 1692 0.5710 6.4277 ((1 . 1) (2 . 2) (3 . 10) (4 . 4)) 1731 0.5657 12.6042 ((1 . 3) (2 . 7) (5 . 8) (6 . 10)) 1736 0.7140 4.5686 ((1 . 1) (2 . 2) (3 . 10) (4 . 11) (5 . 12)) 1738 0.7117 7.7655 ((1 . 4) (2 . 5) (3 . 6) (4 . 10) (5 . 11)) 1747 0.5707 7.3900 ((3 . 18) (4 . 20) (5 . 19) (7 . 23)) 1761 0.7140 4.5556 ((1 . 9) (2 . 10) (3 . 11) (5 . 13) (6 . 14)) 1763 0.1498 8.9168 ((3 . 7) (5 . 10) (6 . 11) (7 . 12)) 1776 0.5710 6.6408 ((1 . 7) (2 . 8) (3 . 9) (6 . 13)) 1778 0.5708 7.3547 ((1 . 8) (4 . 11) (5 . 12) (6 . 13)) 1793 0.8567 4.0014 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 1805 0.2945 7.3953 ((1 . 2) (2 . 5) (3 . 4) (5 . 8)) 1808 0.5713 4.4333 ((2 . 1) (3 . 2) (5 . 5) (6 . 7)) 1867 0.5713 4.6788 ((1 . 1) (2 . 2) (3 . 3) (5 . 7)) 1894 0.5696 9.4184 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1896 0.5713 4.9564 ((3 . 3) (4 . 4) (5 . 5) (7 . 10)) 1908 0.5714 3.4536 ((3 . 7) (4 . 9) (5 . 10) (6 . 14)) 1909 0.7113 8.0825 ((2 . 30) (3 . 31) (4 . 33) (5 . 34) (6 . 36)) 1913 0.2945 9.8621 ((1 . 1) (2 . 2) (3 . 4) (5 . 6)) 1944 0.8567 3.8790 ((1 . 3) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 12)) 1957 0.8568 3.8413 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1961 0.5710 6.6188 ((1 . 14) (3 . 16) (4 . 18) (5 . 19)) 1967 0.9962 5.6436 ((1 . 3) (2 . 6) (3 . 7) (4 . 9) (5 . 10) (6 . 11) (7 . 15)) 1972 0.5713 4.4565 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 1992 0.2945 9.3708 ((2 . 8) (5 . 9) (6 . 10) (7 . 13)) 2003 0.5680 11.0964 ((2 . 1) (3 . 4) (5 . 5) (6 . 6)) 2006 0.1992 8.6639 ((1 . 16) (3 . 18) (5 . 21) (7 . 23)) 2048 0.0999 4.1745 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 2063 0.2945 9.3625 ((1 . 42) (3 . 45) (4 . 46) (5 . 48)) 2065 0.2944 10.7606 ((1 . 16) (3 . 19) (4 . 20) (5 . 22)) 2067 0.5709 7.0406 ((1 . 54) (2 . 56) (4 . 58) (5 . 59)) 2072 0.7117 7.8193 ((1 . 1) (2 . 3) (5 . 7) (6 . 8) (7 . 9)) 2081 0.5661 12.3720 ((1 . 5) (2 . 7) (5 . 9) (7 . 11)) 2083 0.7118 7.7389 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (6 . 8)) 2114 0.5702 8.4742 ((3 . 34) (4 . 35) (6 . 38) (7 . 39)) 2117 0.7136 5.5287 ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (6 . 13)) 2118 0.5699 9.0409 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 2122 0.7126 7.0144 ((1 . 1) (2 . 5) (3 . 6) (5 . 8) (6 . 9)) 2166 0.5705 7.8503 ((1 . 13) (2 . 14) (3 . 15) (5 . 17)) 2179 0.5707 7.3649 ((1 . 4) (3 . 6) (5 . 9) (7 . 12)) 2203 0.5703 8.4405 ((1 . 7) (2 . 8) (3 . 10) (5 . 12)) 2209 0.7140 4.6620 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (6 . 8)) 2243 0.5691 10.0141 ((1 . 44) (2 . 46) (3 . 47) (5 . 49)) 2248 0.5712 5.3452 ((1 . 22) (2 . 23) (4 . 26) (5 . 27)) 2249 0.5714 2.6870 ((1 . 4) (3 . 7) (5 . 12) (6 . 14)) 2269 0.8546 6.1809 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 2279 0.5714 4.2796 ((1 . 19) (3 . 20) (4 . 21) (5 . 22)) 2298 0.7140 4.6313 ((1 . 6) (2 . 7) (3 . 10) (4 . 11) (5 . 12)) 2308 0.8549 5.9468 ((1 . 6) (2 . 7) (3 . 8) (4 . 10) (5 . 11) (6 . 12)) 2340 0.7122 7.3964 ((1 . 9) (2 . 10) (3 . 11) (5 . 14) (6 . 15)) 2342 0.5703 8.4281 ((2 . 14) (4 . 16) (6 . 18) (7 . 19)) 2344 0.5696 9.3774 ((1 . 10) (3 . 13) (4 . 15) (6 . 17)) 2364 0.7140 4.4703 ((1 . 9) (2 . 10) (3 . 12) (5 . 15) (6 . 16)) 2381 0.2945 9.8700 ((2 . 2) (3 . 3) (5 . 5) (7 . 8)) 2389 0.5710 6.7044 ((1 . 10) (3 . 11) (4 . 12) (5 . 14)) 2410 0.5694 9.7057 ((2 . 12) (3 . 13) (4 . 15) (5 . 16)) 2422 0.7139 4.7974 ((1 . 1) (2 . 2) (3 . 4) (5 . 9) (6 . 10)) 2423 0.2944 12.4398 ((2 . 23) (3 . 25) (5 . 26) (6 . 27)) 2440 0.5714 4.0690 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 2447 0.8544 6.3102 ((1 . 30) (2 . 32) (3 . 33) (4 . 34) (5 . 36) (6 . 37)) 2462 0.3786 10.9987 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 2510 0.7139 4.6697 ((1 . 17) (2 . 18) (3 . 21) (4 . 22) (6 . 24)) 2519 0.5696 9.4815 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 2525 0.5696 9.4797 ((1 . 38) (2 . 39) (4 . 42) (7 . 44)) 2529 0.7112 8.1204 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7)) 2533 0.7141 4.1256 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (6 . 11)) 2544 0.5650 12.9972 ((2 . 18) (4 . 20) (5 . 22) (6 . 24)) 2552 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2556 0.8568 3.7422 ((1 . 11) (2 . 12) (3 . 13) (4 . 17) (5 . 20) (6 . 21)) 2557 0.1993 8.4451 ((2 . 1) (4 . 4) (6 . 5) (7 . 8)) 2595 0.7142 3.6812 ((1 . 1) (2 . 2) (3 . 4) (5 . 6) (6 . 7)) 2619 0.5696 9.4531 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 2650 0.1992 10.2429 ((1 . 5) (2 . 4) (3 . 6) (5 . 7)) 2682 0.5710 6.4452 ((1 . 17) (2 . 18) (3 . 19) (6 . 21)) 2731 0.5712 5.6473 ((3 . 1) (4 . 2) (5 . 4) (6 . 3)) 2733 0.1993 7.9611 ((1 . 8) (2 . 9) (5 . 11) (7 . 14)) 2755 0.7142 3.6373 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7)) 2773 0.5673 11.6197 ((3 . 3) (4 . 4) (5 . 5) (7 . 7)) 2783 0.5714 3.9547 ((1 . 7) (2 . 9) (3 . 8) (5 . 12)) 2821 0.5714 4.2693 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 2830 0.8567 4.0153 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 2834 0.7138 5.1709 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7)) 2840 0.5712 5.4572 ((3 . 1) (4 . 2) (6 . 3) (7 . 7)) 2842 0.5710 6.7236 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 2879 0.2945 6.6802 ((1 . 51) (3 . 53) (4 . 55) (5 . 56)) 2929 0.1498 8.8140 ((1 . 36) (2 . 38) (3 . 39) (6 . 41)) 2940 0.5713 4.7194 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 2947 0.5707 7.4617 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 2966 0.5705 7.9737 ((3 . 1) (5 . 3) (6 . 5) (7 . 7)) 2990 0.7138 5.2005 ((1 . 12) (2 . 13) (3 . 14) (5 . 16) (6 . 17)) 2999 0.5711 6.1926 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 3019 0.1992 10.1658 ((2 . 8) (3 . 10) (5 . 11) (6 . 12)) 3034 0.8560 5.0005 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3041 0.5705 7.9509 ((2 . 10) (4 . 11) (5 . 12) (6 . 13)) 3063 0.5709 7.0225 ((1 . 32) (3 . 33) (4 . 34) (5 . 35)) 3070 0.5690 10.1117 ((2 . 31) (3 . 33) (4 . 34) (5 . 35)) 3084 0.8566 4.2058 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3103 0.5707 7.3836 ((1 . 1) (3 . 3) (4 . 6) (6 . 7)) 3120 0.0999 9.1802 ((2 . 20) (3 . 22) (4 . 23) (5 . 25)) 3127 0.7140 4.5935 ((1 . 6) (2 . 7) (3 . 8) (5 . 11) (6 . 12)) 3187 0.5711 5.9337 ((1 . 3) (3 . 5) (5 . 7) (7 . 10)) 3190 0.8570 2.8895 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7)) 3197 0.8567 3.9404 ((1 . 19) (2 . 20) (3 . 21) (4 . 25) (5 . 26) (6 . 27)) 3200 0.5686 10.5293 ((1 . 9) (2 . 12) (3 . 13) (6 . 14)) 3202 0.5611 14.6781 ((2 . 12) (4 . 14) (6 . 15) (7 . 20)) 3212 0.5687 10.4385 ((2 . 1) (3 . 2) (5 . 5) (6 . 7)) 3222 0.5713 5.1333 ((1 . 6) (3 . 16) (5 . 19) (7 . 24)) 3261 0.5692 9.9011 ((1 . 3) (2 . 5) (5 . 6) (7 . 10)) 3286 0.5713 4.4300 ((1 . 3) (3 . 5) (4 . 6) (5 . 7)) 3322 0.7138 5.1097 ((2 . 2) (3 . 5) (4 . 6) (6 . 8) (7 . 10)) 3334 0.5696 9.4080 ((1 . 5) (2 . 9) (5 . 10) (6 . 11)) 3339 0.8552 5.7437 ((1 . 11) (2 . 14) (3 . 15) (4 . 16) (5 . 17) (6 . 18)) 3358 0.7140 4.5016 ((1 . 4) (2 . 5) (3 . 7) (4 . 9) (5 . 10)) 3362 0.5713 4.7590 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 3391 0.5714 3.2297 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 3410 0.5713 4.5404 ((3 . 19) (4 . 20) (5 . 21) (6 . 23)) 3481 0.5714 3.3243 ((1 . 4) (3 . 8) (5 . 10) (6 . 11)) 3496 0.5700 8.8703 ((1 . 19) (2 . 20) (5 . 22) (7 . 24)) 3537 0.7101 8.7855 ((1 . 2) (2 . 3) (3 . 7) (4 . 8) (7 . 11)) 3538 0.5698 9.1910 ((1 . 18) (2 . 17) (4 . 21) (6 . 22)) 3548 0.5698 9.1553 ((1 . 4) (3 . 6) (5 . 9) (7 . 11)) 3561 0.8567 4.0727 ((1 . 20) (2 . 21) (3 . 22) (4 . 25) (5 . 26) (6 . 27)) 3570 0.5713 4.5506 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 3585 0.7141 4.1163 ((1 . 8) (3 . 14) (4 . 15) (5 . 16) (6 . 17)) 3613 0.5690 10.1233 ((2 . 39) (5 . 41) (6 . 42) (7 . 43)) 3626 0.5701 8.6324 ((2 . 1) (3 . 3) (4 . 5) (5 . 8)) 3628 0.7140 4.3330 ((1 . 6) (2 . 7) (3 . 8) (5 . 10) (6 . 11)) 3651 0.7117 7.8081 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7)) 3658 0.5705 7.9768 ((1 . 6) (3 . 8) (4 . 9) (6 . 10)) 3661 0.1992 11.3557 ((2 . 3) (4 . 5) (6 . 9) (7 . 10)) 3663 0.1992 10.7164 ((1 . 1) (2 . 4) (3 . 5) (6 . 7)) 3697 0.5685 10.5897 ((1 . 7) (2 . 8) (3 . 10) (4 . 9)) 3703 0.5678 11.2503 ((1 . 3) (2 . 5) (5 . 6) (7 . 10)) 3732 0.5713 4.4755 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 3733 0.8566 4.1367 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7)) 3740 0.5700 8.9401 ((1 . 2) (3 . 4) (5 . 5) (7 . 8)) 3776 0.9987 4.3228 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 21) (6 . 23) (7 . 25)) 3778 0.5704 8.1812 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 3787 0.8566 4.1038 ((1 . 27) (2 . 28) (3 . 29) (4 . 32) (5 . 33) (6 . 34)) 3790 0.5694 9.6854 ((1 . 15) (2 . 17) (3 . 18) (5 . 21)) 3807 0.5691 9.9796 ((1 . 47) (2 . 49) (5 . 50) (7 . 52)) 3817 0.7131 6.4331 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9)) 3818 0.5713 5.0765 ((1 . 23) (2 . 24) (4 . 27) (5 . 28)) 3830 0.0999 9.6707 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 3831 0.1992 11.0770 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 3847 0.0999 10.1266 ((1 . 9) (2 . 10) (5 . 13) (6 . 15)) 3853 0.7124 7.1570 ((1 . 8) (2 . 9) (4 . 11) (5 . 12) (6 . 13)) 3870 0.8512 7.6601 ((1 . 3) (2 . 4) (3 . 8) (4 . 9) (5 . 10) (6 . 14)) 3938 0.5711 6.0872 ((2 . 5) (3 . 6) (5 . 9) (6 . 12)) 3942 0.1992 10.3110 ((1 . 2) (2 . 4) (4 . 6) (5 . 9)) 3968 0.8563 4.6326 ((1 . 3) (2 . 4) (3 . 5) (4 . 8) (5 . 9) (6 . 10)) 3990 0.5707 7.4684 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 4005 0.5697 9.3270 ((2 . 28) (3 . 29) (4 . 31) (5 . 32)) 4009 0.7140 4.5315 ((1 . 1) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 4030 0.5663 12.2381 ((2 . 14) (4 . 15) (6 . 17) (7 . 18)) 4034 0.5690 10.1101 ((2 . 8) (3 . 9) (5 . 11) (7 . 14)) 4037 0.5681 10.9845 ((1 . 2) (2 . 4) (4 . 5) (6 . 7)) 4067 0.5713 5.0332 ((1 . 16) (2 . 17) (4 . 19) (6 . 21)) 4087 0.5683 10.8211 ((2 . 4) (3 . 5) (5 . 7) (7 . 9)) 4112 0.2945 5.9621 ((1 . 1) (3 . 3) (5 . 6) (6 . 8)) 4115 0.7139 4.8982 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18)) 4134 0.5680 11.0923 ((2 . 24) (4 . 25) (6 . 26) (7 . 27)) 4140 0.5709 6.9247 ((3 . 21) (5 . 23) (6 . 25) (7 . 26)) 4151 0.7115 7.9236 ((1 . 9) (2 . 11) (3 . 12) (5 . 15) (6 . 16)) 4177 0.5694 9.6332 ((1 . 2) (2 . 4) (4 . 6) (5 . 7)) 4192 0.5713 4.8713 ((3 . 10) (4 . 11) (5 . 13) (6 . 14)) 4194 0.5713 4.6267 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 4204 0.7141 4.2085 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10)) 4210 0.2945 8.5220 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 4226 0.5713 4.3730 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 4242 0.5698 9.1870 ((2 . 1) (4 . 2) (6 . 3) (7 . 5)) 4254 0.8567 4.0441 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4255 0.5714 4.1447 ((1 . 21) (3 . 24) (4 . 25) (5 . 26)) 4257 0.5671 11.7336 ((1 . 3) (2 . 4) (3 . 7) (4 . 6)) 4261 0.5672 11.6435 ((2 . 12) (4 . 14) (6 . 15) (7 . 16)) 4265 0.5709 6.9701 ((1 . 26) (2 . 27) (3 . 29) (6 . 31)) 4266 0.7119 7.6306 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 7)) 4274 0.5714 3.6715 ((3 . 36) (4 . 37) (5 . 38) (6 . 39)) 4275 0.7142 2.6743 ((1 . 21) (2 . 22) (3 . 23) (4 . 24) (5 . 25)) 4284 0.5711 6.2470 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 4299 0.5713 4.9384 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4326 0.7138 5.0053 ((1 . 7) (2 . 8) (4 . 14) (5 . 15) (6 . 16)) 4332 0.5714 4.2245 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 4338 0.5708 7.2036 ((1 . 4) (2 . 5) (3 . 6) (6 . 9)) 4380 0.5671 11.7486 ((1 . 23) (2 . 27) (4 . 28) (5 . 29)) 4386 0.5699 9.0838 ((2 . 15) (3 . 16) (4 . 17) (7 . 20)) 4388 0.5711 6.2159 ((1 . 1) (3 . 3) (4 . 4) (5 . 5)) 4398 0.7137 5.2590 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9)) 4405 0.5705 7.9829 ((1 . 14) (2 . 17) (3 . 18) (7 . 20)) 4408 0.5703 8.4053 ((2 . 5) (3 . 6) (5 . 7) (7 . 10)) 4415 0.7141 3.7658 ((1 . 1) (3 . 4) (4 . 5) (5 . 9) (6 . 10)) 4426 0.5673 11.6171 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 4470 0.7109 8.3588 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15)) 4491 0.5705 7.9365 ((1 . 1) (2 . 4) (3 . 5) (5 . 6)) 4492 0.7141 3.7788 ((1 . 13) (2 . 14) (3 . 16) (5 . 18) (6 . 19)) 4495 0.7139 4.8838 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 12)) 4497 0.1498 8.6130 ((1 . 18) (2 . 20) (3 . 23) (5 . 24)) 4502 0.5714 3.2027 ((3 . 11) (4 . 13) (5 . 14) (6 . 16)) 4504 0.7113 8.0770 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19)) 4505 0.8569 3.2829 ((1 . 28) (2 . 29) (3 . 30) (4 . 33) (5 . 34) (6 . 35)) 4516 0.5714 3.3961 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4538 0.1992 10.7337 ((2 . 29) (3 . 30) (5 . 32) (6 . 36)) 4551 0.5713 4.6168 ((1 . 1) (3 . 4) (4 . 7) (5 . 8)) 4560 0.8567 3.9540 ((1 . 1) (2 . 5) (3 . 6) (4 . 10) (5 . 11) (6 . 12)) 4561 0.8568 3.7825 ((1 . 1) (2 . 4) (3 . 5) (4 . 8) (5 . 9) (6 . 11)) 4562 0.7141 4.2013 ((1 . 19) (2 . 21) (3 . 22) (5 . 25) (6 . 26)) 4563 0.7133 6.0376 ((1 . 26) (2 . 27) (3 . 28) (6 . 30) (7 . 32)) 4577 0.2939 16.9650 ((1 . 41) (3 . 44) (4 . 45) (5 . 46)) 4588 0.5714 3.9461 ((1 . 3) (3 . 9) (5 . 11) (6 . 12)) 4589 0.5706 7.8451 ((1 . 23) (2 . 24) (3 . 25) (4 . 26)) 4607 0.5693 9.8016 ((2 . 16) (4 . 18) (6 . 19) (7 . 20)) 4630 0.5699 8.9846 ((1 . 38) (3 . 41) (5 . 42) (7 . 44)) 4653 0.5711 6.0401 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 4668 0.7121 7.4505 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11)) 4669 0.7113 8.0956 ((2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22)) 4671 0.5703 8.3177 ((2 . 10) (3 . 12) (5 . 15) (6 . 16)) 4674 0.5691 10.0198 ((1 . 2) (2 . 4) (4 . 5) (5 . 7)) 4715 0.5710 6.5500 ((3 . 3) (4 . 4) (6 . 7) (7 . 9)) 4731 0.1992 10.9426 ((2 . 15) (4 . 17) (5 . 18) (6 . 19)) 4886 0.5704 8.2065 ((1 . 19) (2 . 18) (4 . 20) (5 . 22)) 4888 0.5693 9.7634 ((1 . 9) (2 . 11) (5 . 14) (7 . 18)) 4889 0.5705 8.0419 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 4907 0.3788 9.5754 ((2 . 2) (3 . 3) (5 . 5) (7 . 10)) 4921 0.5704 8.1274 ((1 . 7) (3 . 9) (5 . 12) (6 . 13)) 4932 0.5712 5.4142 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4940 0.5697 9.3348 ((1 . 3) (2 . 5) (3 . 7) (5 . 8)) 4944 0.5709 7.0150 ((1 . 11) (2 . 12) (3 . 14) (7 . 17)) 4961 0.5710 6.5727 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4978 0.5701 8.7547 ((1 . 28) (2 . 29) (3 . 30) (6 . 33)) 4982 0.7140 4.4012 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6)) 4992 0.5700 8.8843 ((2 . 4) (3 . 6) (4 . 7) (5 . 8)) 4998 0.5711 6.3213 ((1 . 1) (4 . 2) (5 . 3) (7 . 5)) 5029 0.5708 7.2560 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 5039 0.7113 8.0562 ((1 . 37) (2 . 38) (3 . 39) (4 . 40) (5 . 41)) 5053 0.0999 10.3939 ((1 . 6) (2 . 7) (5 . 9) (7 . 13)) 5065 0.5705 7.9131 ((2 . 6) (3 . 8) (5 . 10) (7 . 12)) 5068 0.5714 4.0747 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 5069 0.5710 6.4402 ((1 . 9) (4 . 14) (5 . 15) (6 . 16)) 5073 0.9944 6.2094 ((1 . 32) (2 . 33) (3 . 34) (4 . 35) (5 . 36) (6 . 37) (7 . 40)) 5080 0.5668 11.9715 ((1 . 2) (2 . 5) (6 . 7) (7 . 8)) 5092 0.5677 11.3235 ((2 . 5) (4 . 7) (6 . 8) (7 . 9)) 5101 0.7141 3.7213 ((1 . 18) (2 . 19) (3 . 21) (4 . 22) (5 . 23)) 5103 0.8567 4.0797 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8)) 5121 0.0999 10.7756 ((1 . 16) (3 . 19) (5 . 21) (6 . 22) (7 . 23)) 5132 0.8554 5.5930 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 24)) 5134 0.5712 5.8186 ((2 . 16) (3 . 17) (4 . 18) (5 . 19)) 5145 0.5712 5.2934 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 5167 0.9977 4.9676 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 9) (6 . 10) (7 . 13)) 5176 0.2945 7.1515 ((1 . 82) (3 . 84) (4 . 85) (5 . 87)) 5183 0.5706 7.7004 ((1 . 34) (3 . 36) (5 . 38) (6 . 39)) 5192 0.8564 4.5447 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5198 0.5713 4.4042 ((1 . 24) (2 . 25) (3 . 26) (4 . 27)) 5209 0.1992 11.0955 ((1 . 7) (2 . 6) (3 . 8) (5 . 9)) 5215 0.5711 6.1976 ((1 . 9) (3 . 11) (4 . 13) (6 . 14)) 5223 0.7113 8.0570 ((2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 14)) 5231 0.5634 13.7676 ((2 . 9) (3 . 14) (4 . 15) (6 . 17)) 5266 0.7141 4.2105 ((1 . 2) (2 . 5) (3 . 6) (5 . 8) (6 . 9)) 5307 0.7142 2.7403 ((1 . 51) (2 . 52) (3 . 53) (4 . 54) (5 . 55)) 5312 0.5705 7.8845 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 5318 0.8559 5.1483 ((1 . 8) (2 . 9) (3 . 11) (4 . 12) (5 . 19) (6 . 20)) 5324 0.8566 4.1649 ((1 . 7) (2 . 8) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 5344 0.5705 7.9340 ((1 . 1) (3 . 3) (4 . 5) (6 . 6)) 5345 0.5711 5.9389 ((1 . 12) (3 . 14) (5 . 16) (7 . 20)) 5368 0.5712 5.6674 ((1 . 45) (3 . 47) (5 . 49) (6 . 50)) 5378 0.5712 5.3668 ((1 . 3) (3 . 4) (4 . 5) (5 . 6)) 5411 0.5699 9.0220 ((3 . 3) (4 . 5) (5 . 6) (7 . 9)) 5418 0.2944 10.7612 ((1 . 1) (2 . 4) (3 . 3) (7 . 10)) 5487 0.5709 6.9406 ((2 . 3) (4 . 5) (5 . 7) (7 . 10)) 5489 0.5701 8.7479 ((1 . 6) (3 . 9) (5 . 11) (7 . 15)) 5500 0.5713 4.3630 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 5501 0.5680 11.0655 ((2 . 28) (3 . 30) (4 . 32) (7 . 35)) 5540 0.5628 14.0135 ((1 . 4) (2 . 5) (3 . 6) (6 . 9)) 5557 0.2946 4.2917 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 5560 0.8570 3.0465 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 20) (6 . 21)) 5562 0.5714 3.4161 ((1 . 14) (2 . 15) (3 . 17) (4 . 18)) 5567 0.5708 7.0971 ((1 . 8) (3 . 11) (6 . 14) (7 . 16)) 5594 0.5689 10.2553 ((2 . 5) (3 . 6) (4 . 7) (6 . 10)) 5600 0.5711 6.0319 ((1 . 6) (2 . 7) (3 . 9) (6 . 12)) 5601 0.5712 5.3279 ((1 . 5) (2 . 6) (3 . 8) (4 . 9)) 5638 0.5707 7.5520 ((1 . 9) (2 . 12) (3 . 13) (4 . 14)) 5656 0.5714 4.0239 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 5700 0.5704 8.1008 ((1 . 2) (3 . 4) (5 . 6) (6 . 7)) 5701 0.8569 3.5022 ((1 . 6) (2 . 7) (3 . 8) (4 . 10) (5 . 11) (6 . 15)) 5702 0.0999 14.2344 ((2 . 9) (4 . 10) (6 . 12) (7 . 13)) 5718 0.5679 11.1295 ((1 . 16) (2 . 15) (3 . 18) (4 . 22)) 5746 0.5708 7.2634 ((1 . 3) (2 . 4) (3 . 6) (7 . 12)) 5771 0.5711 6.1042 ((1 . 17) (2 . 19) (3 . 20) (6 . 22)) 5782 0.5709 6.7909 ((2 . 7) (4 . 9) (5 . 12) (7 . 17)) 5794 0.1498 6.4309 ((1 . 18) (3 . 19) (4 . 22) (5 . 23)) 5795 0.5713 5.1310 ((1 . 10) (3 . 13) (4 . 15) (5 . 16)) 5809 0.7090 9.3243 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10)) 5827 0.5705 7.8910 ((1 . 5) (2 . 6) (4 . 10) (5 . 11)) 5830 0.5702 8.6067 ((1 . 3) (3 . 8) (4 . 9) (5 . 10)) 5865 0.5712 5.3992 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 5878 0.1992 10.7875 ((2 . 13) (4 . 21) (6 . 22) (7 . 24)) 5896 0.5714 3.8145 ((1 . 29) (2 . 30) (3 . 31) (4 . 32)) 5904 0.8568 3.8025 ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (5 . 9) (6 . 10)) 5913 0.5705 7.9803 ((2 . 14) (3 . 15) (4 . 16) (5 . 17)) 5930 0.5705 7.9070 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 5939 0.7136 5.5680 ((1 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 7)) 5945 0.5713 4.5554 ((1 . 2) (2 . 10) (3 . 11) (4 . 25)) 5949 0.2946 2.4879 ((1 . 9) (3 . 12) (4 . 13) (5 . 14)) 5955 0.5712 5.4295 ((1 . 3) (5 . 7) (6 . 8) (7 . 10)) 5967 0.8567 3.9588 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 10)) 5972 0.5692 9.9098 ((2 . 1) (4 . 4) (5 . 6) (7 . 8)) 5977 0.5713 4.8675 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 6000 0.5712 5.8048 ((1 . 28) (2 . 30) (3 . 31) (4 . 32)) 6029 0.8558 5.2483 ((1 . 31) (2 . 32) (3 . 33) (4 . 34) (5 . 35) (6 . 37)) 6041 0.5707 7.5253 ((2 . 6) (3 . 8) (4 . 9) (5 . 10)) 6046 0.5706 7.8401 ((2 . 1) (3 . 2) (5 . 5) (7 . 7)) 6061 0.5713 5.2336 ((1 . 13) (3 . 15) (4 . 16) (6 . 18)) 6074 0.7130 6.5493 ((1 . 8) (2 . 10) (3 . 11) (4 . 12) (5 . 13)) 6075 0.5713 4.7151 ((1 . 17) (2 . 19) (3 . 20) (5 . 24)) 6079 0.5706 7.6963 ((1 . 7) (2 . 10) (3 . 11) (6 . 14)) 6087 0.5712 5.3009 ((1 . 3) (2 . 4) (5 . 8) (6 . 9)) 6089 0.8564 4.5093 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 6094 0.5707 7.4134 ((1 . 2) (4 . 6) (5 . 7) (6 . 8)) 6099 0.2945 9.8448 ((1 . 11) (3 . 14) (6 . 19) (7 . 20)) 6169 0.5694 9.7320 ((2 . 8) (4 . 9) (6 . 11) (7 . 12)) 6191 0.5661 12.3921 ((1 . 3) (2 . 1) (4 . 5) (6 . 7)) 6192 0.7128 6.7203 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7)) 6225 0.8568 3.6497 ((1 . 5) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 27)) 6228 0.5713 5.0352 ((1 . 1) (2 . 4) (3 . 5) (5 . 7)) 6238 0.5697 9.2899 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 6243 0.9922 6.7573 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12)) 6251 0.8564 4.6057 ((1 . 8) (2 . 9) (3 . 10) (4 . 14) (5 . 17) (6 . 18)) 6258 0.5714 3.8358 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 6261 0.9970 5.3194 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 9) (6 . 10) (7 . 15)) 6266 0.7142 3.3428 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (6 . 9)) 6270 0.5709 6.7669 ((1 . 15) (2 . 16) (3 . 17) (5 . 18)) 6271 0.5693 9.7610 ((2 . 9) (3 . 8) (5 . 10) (7 . 13)) 6294 0.7141 3.8196 ((1 . 11) (2 . 12) (4 . 15) (5 . 16) (6 . 19)) 6309 0.5701 8.6568 ((1 . 17) (2 . 19) (3 . 20) (7 . 26)) 6329 0.1992 9.4121 ((2 . 13) (4 . 15) (6 . 16) (7 . 17)) 6344 0.5708 7.2940 ((1 . 12) (3 . 15) (4 . 16) (5 . 17)) 6345 0.7071 10.1086 ((1 . 4) (2 . 2) (5 . 7) (6 . 8) (7 . 9)) 6348 0.9973 5.1518 ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (5 . 9) (6 . 10) (7 . 13)) 6355 0.5685 10.6437 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 6356 0.7117 7.7678 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13)) 6359 0.5707 7.3688 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 6369 0.7132 6.2508 ((1 . 20) (3 . 22) (4 . 23) (6 . 25) (7 . 27)) 6376 0.5713 4.3735 ((1 . 17) (3 . 19) (4 . 23) (5 . 24)) 6384 0.5695 9.5706 ((2 . 2) (4 . 3) (6 . 4) (7 . 5)) 6392 0.5714 3.3359 ((1 . 3) (4 . 6) (5 . 7) (6 . 8)) 6403 0.5708 7.3032 ((1 . 5) (2 . 6) (4 . 9) (5 . 10)) 6434 0.5713 5.0581 ((2 . 1) (3 . 2) (5 . 3) (7 . 6)) 6461 0.0999 9.3154 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 6462 0.7143 2.4462 ((1 . 12) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 6498 0.5714 3.9167 ((1 . 37) (3 . 40) (4 . 41) (5 . 42)) 6520 0.5699 8.9471 ((1 . 14) (3 . 16) (6 . 21) (7 . 22)) 6539 0.5713 4.3571 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 6540 0.1992 11.0092 ((1 . 2) (3 . 5) (4 . 4) (5 . 6)) 6548 0.7135 5.6856 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9)) 6553 0.8563 4.7029 ((1 . 11) (2 . 12) (3 . 15) (4 . 16) (5 . 17) (6 . 19)) 6555 0.5713 4.7799 ((3 . 7) (4 . 9) (5 . 10) (6 . 12)) 6573 0.5710 6.4395 ((2 . 15) (4 . 16) (5 . 17) (6 . 18)) 6575 0.5693 9.7823 ((1 . 1) (2 . 3) (3 . 5) (6 . 7)) 6578 0.5699 9.0484 ((3 . 31) (5 . 32) (6 . 33) (7 . 36)) 6585 0.7142 3.1230 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (5 . 10)) 6586 0.5714 3.3815 ((1 . 18) (2 . 19) (4 . 23) (5 . 24)) 6587 0.7137 5.3648 ((1 . 29) (2 . 30) (3 . 31) (4 . 32) (5 . 33)) 6598 0.5702 8.4636 ((1 . 10) (2 . 12) (3 . 13) (5 . 17)) 6613 0.5709 6.9594 ((2 . 19) (3 . 22) (4 . 23) (6 . 25)) 6635 0.5700 8.8835 ((4 . 6) (5 . 7) (6 . 9) (7 . 10)) END