5312 51 0.2945 7.8272 ((3 . 7) (5 . 10) (6 . 9) (7 . 11)) 62 0.5710 6.5086 ((1 . 10) (2 . 12) (3 . 13) (7 . 17)) 64 0.7141 3.9385 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 8)) 91 0.5713 4.3655 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 129 0.5712 5.5110 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 136 0.4450 9.4889 ((2 . 3) (4 . 5) (6 . 6) (7 . 8)) 150 0.1332 5.8986 ((3 . 19) (4 . 20) (6 . 21) (7 . 23)) 153 0.5710 6.5717 ((2 . 6) (3 . 7) (4 . 8) (7 . 10)) 157 0.1664 8.6203 ((3 . 9) (5 . 11) (6 . 12) (7 . 14)) 161 0.7130 6.4718 ((2 . 2) (3 . 4) (4 . 6) (5 . 8) (7 . 9)) 162 0.5712 5.6299 ((1 . 15) (3 . 17) (4 . 18) (7 . 22)) 169 0.5714 4.1278 ((2 . 4) (3 . 5) (5 . 8) (7 . 9)) 177 0.5713 4.8270 ((2 . 4) (3 . 5) (5 . 7) (7 . 8)) 191 0.5712 5.3580 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 198 0.5695 9.6147 ((1 . 5) (3 . 9) (4 . 10) (7 . 15)) 207 0.5700 8.8205 ((2 . 13) (5 . 15) (6 . 16) (7 . 18)) 233 0.5708 7.0721 ((1 . 2) (2 . 3) (4 . 5) (5 . 7)) 300 0.5698 9.1085 ((2 . 13) (3 . 16) (4 . 17) (7 . 18)) 305 0.7140 4.4321 ((1 . 9) (3 . 11) (4 . 12) (6 . 14) (7 . 15)) 315 0.7128 6.8139 ((2 . 3) (3 . 5) (4 . 6) (5 . 8) (7 . 9)) 340 0.5712 5.4010 ((1 . 1) (2 . 2) (3 . 4) (4 . 7)) 350 0.5714 3.9797 ((3 . 16) (4 . 17) (5 . 18) (7 . 20)) 360 0.7112 8.1180 ((1 . 3) (3 . 6) (4 . 7) (5 . 8) (7 . 9)) 365 0.8569 3.5415 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (7 . 8)) 367 0.5713 4.9334 ((1 . 40) (2 . 42) (3 . 43) (7 . 47)) 372 0.7137 5.4023 ((1 . 2) (2 . 3) (3 . 6) (4 . 7) (5 . 8)) 387 0.5713 5.2522 ((2 . 8) (3 . 9) (4 . 10) (7 . 12)) 405 0.5709 6.7859 ((1 . 33) (2 . 35) (3 . 37) (5 . 39)) 417 0.4452 8.1071 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 420 0.0999 7.5978 ((1 . 4) (2 . 5) (3 . 8) (4 . 9)) 433 0.5705 7.9805 ((1 . 5) (2 . 6) (3 . 7) (7 . 10)) 460 0.5713 4.5959 ((1 . 2) (2 . 3) (3 . 6) (4 . 7)) 491 0.1498 9.8773 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 495 0.5706 7.7560 ((3 . 3) (4 . 5) (6 . 6) (7 . 7)) 541 0.2477 10.6326 ((1 . 3) (2 . 5) (5 . 7) (6 . 9)) 543 0.2474 17.4572 ((1 . 1) (3 . 4) (6 . 7) (7 . 8)) 584 0.1664 12.5091 ((3 . 3) (4 . 4) (6 . 6) (7 . 8)) 587 0.7142 3.0397 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 9)) 619 0.5712 5.8300 ((2 . 9) (3 . 11) (4 . 12) (7 . 15)) 624 0.3789 8.9144 ((1 . 13) (3 . 15) (4 . 16) (6 . 18)) 635 0.1993 6.5064 ((3 . 14) (4 . 15) (6 . 17) (7 . 18)) 672 0.4917 5.9829 ((1 . 20) (3 . 22) (4 . 23) (5 . 24)) 683 0.5712 5.6063 ((1 . 1) (2 . 2) (4 . 5) (5 . 6)) 719 0.2945 7.0222 ((3 . 22) (4 . 23) (5 . 25) (6 . 29)) 729 0.2945 9.1117 ((1 . 15) (3 . 17) (4 . 20) (6 . 22)) 735 0.5711 6.1726 ((1 . 31) (2 . 32) (5 . 37) (7 . 39)) 740 0.5714 3.4819 ((3 . 2) (4 . 3) (5 . 4) (7 . 9)) 765 0.5714 4.0233 ((2 . 9) (3 . 12) (5 . 17) (7 . 19)) 767 0.5705 7.8732 ((1 . 3) (3 . 9) (4 . 10) (5 . 12)) 801 0.5710 6.3747 ((1 . 2) (2 . 4) (3 . 6) (4 . 7)) 812 0.2945 6.3054 ((2 . 8) (3 . 9) (4 . 11) (6 . 12)) 818 0.4899 11.5240 ((2 . 1) (3 . 2) (6 . 5) (7 . 7)) 819 0.4914 7.8881 ((2 . 8) (3 . 9) (4 . 10) (6 . 11)) 824 0.5711 6.1055 ((1 . 46) (3 . 50) (4 . 51) (5 . 53)) 861 0.7123 7.2982 ((1 . 12) (3 . 15) (4 . 16) (5 . 17) (7 . 19)) 904 0.2945 6.6983 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 913 0.5713 5.1756 ((1 . 16) (2 . 17) (5 . 20) (6 . 21)) 943 0.5705 7.9745 ((1 . 6) (3 . 8) (5 . 9) (6 . 10)) 945 0.5712 5.5979 ((1 . 12) (2 . 14) (5 . 17) (6 . 18)) 960 0.5692 9.9002 ((1 . 1) (2 . 3) (3 . 4) (7 . 8)) 1007 0.5711 5.9375 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 1043 0.5941 5.8694 ((2 . 10) (4 . 12) (5 . 14) (6 . 15) (7 . 17)) 1082 0.5709 6.8604 ((3 . 1) (4 . 2) (5 . 4) (7 . 6)) 1084 0.1992 11.5601 ((3 . 18) (4 . 19) (5 . 20) (6 . 21)) 1121 0.5709 6.8663 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 1165 0.5711 6.0214 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 1169 0.5713 4.8562 ((3 . 29) (4 . 30) (5 . 31) (7 . 34)) 1195 0.5712 5.6829 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 1201 0.4455 4.2945 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 1211 0.5712 5.8456 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 1217 0.7134 5.9273 ((2 . 3) (3 . 5) (4 . 7) (5 . 9) (7 . 11)) 1224 0.5710 6.7344 ((1 . 5) (2 . 6) (3 . 7) (5 . 10)) 1267 0.3790 7.3599 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 1294 0.8545 6.2360 ((1 . 39) (2 . 40) (3 . 41) (4 . 43) (5 . 44) (7 . 46)) 1345 0.5693 9.8253 ((3 . 14) (4 . 16) (6 . 17) (7 . 18)) 1366 0.5709 6.9610 ((1 . 16) (2 . 17) (5 . 21) (7 . 22)) 1388 0.1664 7.3236 ((3 . 4) (4 . 5) (6 . 7) (7 . 8)) 1410 0.8561 4.9855 ((1 . 19) (2 . 21) (3 . 22) (4 . 23) (5 . 25) (7 . 26)) 1425 0.7134 5.8791 ((1 . 2) (2 . 4) (3 . 6) (5 . 10) (7 . 12)) 1435 0.5711 5.9573 ((1 . 3) (2 . 5) (3 . 6) (7 . 11)) 1447 0.3789 8.3011 ((1 . 3) (3 . 5) (5 . 7) (6 . 8)) 1451 0.1498 10.0853 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 1464 0.5704 8.1200 ((1 . 8) (2 . 10) (5 . 13) (7 . 14)) 1481 0.5702 8.5409 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 1501 0.5713 4.6317 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 1513 0.1992 11.9219 ((1 . 5) (2 . 8) (5 . 11) (6 . 12)) 1514 0.5700 8.8553 ((1 . 1) (3 . 3) (4 . 4) (7 . 6)) 1604 0.5710 6.4360 ((1 . 1) (2 . 3) (4 . 7) (7 . 10)) 1624 0.4911 8.9727 ((2 . 2) (3 . 3) (5 . 5) (7 . 8)) 1643 0.7136 5.5899 ((1 . 26) (2 . 27) (3 . 28) (4 . 31) (5 . 32)) 1644 0.0999 6.8692 ((1 . 44) (2 . 47) (3 . 48) (4 . 49) (5 . 50) (7 . 51)) 1665 0.5705 8.0521 ((1 . 6) (3 . 8) (5 . 10) (6 . 11)) 1690 0.5701 8.6731 ((1 . 13) (2 . 14) (3 . 16) (7 . 21)) 1692 0.5711 6.0412 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 1736 0.3788 9.4259 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 1747 0.5712 5.6081 ((1 . 29) (2 . 30) (3 . 31) (4 . 32)) 1756 0.8568 3.7696 ((1 . 21) (2 . 23) (3 . 25) (4 . 26) (5 . 30) (7 . 31)) 1759 0.5711 6.1564 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 1761 0.5702 8.5200 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 1763 0.5711 6.2871 ((2 . 7) (3 . 9) (4 . 10) (6 . 12)) 1776 0.4914 7.9054 ((2 . 7) (4 . 9) (6 . 11) (7 . 12)) 1777 0.5708 7.2354 ((2 . 45) (4 . 49) (5 . 50) (7 . 52)) 1778 0.5711 5.9777 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1793 0.5705 7.9094 ((2 . 12) (3 . 13) (4 . 14) (6 . 16)) 1805 0.7142 3.6446 ((1 . 3) (2 . 4) (3 . 7) (4 . 8) (5 . 10)) 1808 0.5714 3.9180 ((2 . 6) (3 . 8) (4 . 9) (5 . 10)) 1817 0.5713 4.8600 ((1 . 14) (2 . 15) (3 . 18) (4 . 19)) 1894 0.4451 9.0679 ((1 . 19) (3 . 22) (4 . 23) (7 . 26)) 1896 0.5712 5.5214 ((1 . 23) (2 . 24) (3 . 27) (6 . 30)) 1897 0.5707 7.4775 ((1 . 32) (2 . 34) (5 . 39) (7 . 40)) 1909 0.5701 8.6304 ((2 . 29) (4 . 31) (6 . 33) (7 . 34)) 1913 0.5707 7.4873 ((1 . 23) (2 . 25) (3 . 26) (5 . 28)) 1944 0.5711 6.1835 ((2 . 22) (3 . 23) (4 . 24) (6 . 25)) 1961 0.5710 6.7287 ((1 . 19) (2 . 20) (3 . 21) (6 . 25)) 1967 0.4451 8.8722 ((4 . 10) (5 . 13) (6 . 15) (7 . 16)) 1995 0.2945 8.5009 ((3 . 7) (4 . 8) (5 . 11) (7 . 13)) 2003 0.2945 8.5921 ((1 . 4) (2 . 5) (5 . 10) (7 . 11)) 2006 0.6268 10.6529 ((1 . 18) (2 . 20) (3 . 21) (4 . 22) (6 . 27)) 2045 0.4447 10.4899 ((1 . 1) (2 . 2) (5 . 7) (7 . 8)) 2054 0.2477 12.7478 ((1 . 2) (5 . 13) (6 . 12) (7 . 14)) 2063 0.5713 5.2220 ((3 . 42) (4 . 43) (5 . 44) (6 . 46)) 2065 0.5709 7.0450 ((1 . 18) (3 . 22) (4 . 23) (7 . 27)) 2067 0.4454 6.7005 ((4 . 54) (5 . 55) (6 . 58) (7 . 59)) 2072 0.4452 8.2248 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2081 0.5711 6.2288 ((1 . 9) (2 . 10) (4 . 19) (5 . 23)) 2083 0.5710 6.4881 ((1 . 1) (2 . 2) (3 . 5) (6 . 6)) 2116 0.5713 5.2354 ((2 . 6) (3 . 7) (4 . 8) (7 . 11)) 2117 0.5708 7.1476 ((1 . 17) (3 . 22) (4 . 23) (6 . 26)) 2118 0.5689 10.2616 ((1 . 1) (2 . 4) (4 . 3) (5 . 7)) 2122 0.2944 11.3748 ((1 . 6) (3 . 8) (5 . 10) (6 . 11)) 2166 0.5708 7.3551 ((1 . 15) (2 . 16) (3 . 17) (7 . 21)) 2179 0.5710 6.6298 ((1 . 7) (2 . 9) (3 . 10) (5 . 13)) 2205 0.8547 6.1063 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 22) (7 . 23)) 2209 0.5709 6.7916 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2220 0.5714 3.5956 ((3 . 2) (4 . 3) (5 . 4) (7 . 7)) 2243 0.5709 7.0335 ((1 . 51) (2 . 52) (3 . 53) (4 . 54)) 2244 0.5713 4.9719 ((1 . 75) (2 . 76) (5 . 79) (7 . 80)) 2249 0.5680 11.0859 ((2 . 12) (4 . 16) (5 . 17) (7 . 20)) 2269 0.5708 7.2853 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 2279 0.5701 8.7726 ((1 . 7) (3 . 10) (4 . 11) (6 . 15)) 2308 0.2477 8.1706 ((1 . 6) (3 . 8) (5 . 11) (6 . 12)) 2340 0.5703 8.3950 ((2 . 9) (4 . 11) (5 . 13) (7 . 14)) 2344 0.5711 6.3367 ((2 . 6) (3 . 7) (5 . 10) (6 . 12)) 2364 0.5705 7.9640 ((1 . 9) (3 . 12) (5 . 15) (6 . 16)) 2381 0.5711 6.3528 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 2389 0.5712 5.5158 ((1 . 3) (3 . 6) (4 . 7) (5 . 8)) 2408 0.5712 5.6671 ((2 . 40) (3 . 41) (4 . 42) (7 . 46)) 2409 0.2478 5.8054 ((2 . 2) (3 . 3) (4 . 4) (7 . 8)) 2410 0.3790 6.3080 ((3 . 13) (5 . 16) (6 . 15) (7 . 17)) 2422 0.5712 5.6065 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 2423 0.5713 4.8869 ((3 . 20) (4 . 21) (5 . 22) (7 . 25)) 2440 0.5708 7.1088 ((3 . 4) (5 . 6) (6 . 5) (7 . 8)) 2525 0.1993 6.7243 ((2 . 45) (4 . 47) (5 . 48) (6 . 49)) 2529 0.2478 6.6233 ((2 . 1) (5 . 5) (6 . 4) (7 . 6)) 2533 0.1992 10.0606 ((3 . 8) (5 . 9) (6 . 11) (7 . 13)) 2551 0.5709 6.8453 ((1 . 9) (3 . 11) (4 . 12) (7 . 14)) 2556 0.2477 9.2751 ((2 . 16) (5 . 20) (6 . 21) (7 . 22)) 2557 0.5713 5.0712 ((2 . 3) (4 . 6) (5 . 7) (6 . 8)) 2561 0.5711 6.3358 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 2595 0.1993 8.5366 ((1 . 1) (3 . 4) (6 . 7) (7 . 6)) 2619 0.5697 9.2880 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 2650 0.7119 7.6126 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (7 . 7)) 2658 0.5708 7.2307 ((1 . 10) (3 . 12) (4 . 13) (7 . 14)) 2675 0.5712 5.4157 ((3 . 3) (4 . 4) (5 . 5) (7 . 8)) 2682 0.5709 7.0231 ((2 . 11) (3 . 12) (4 . 13) (6 . 16)) 2696 0.5713 4.7880 ((2 . 31) (3 . 32) (4 . 34) (7 . 36)) 2731 0.2946 5.1153 ((2 . 1) (4 . 4) (5 . 5) (6 . 6)) 2733 0.4450 9.5033 ((1 . 2) (2 . 4) (6 . 9) (7 . 11)) 2783 0.5711 6.2379 ((2 . 6) (3 . 7) (4 . 8) (7 . 12)) 2804 0.5711 6.3265 ((1 . 34) (2 . 36) (5 . 38) (7 . 39)) 2821 0.5708 7.0729 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 2830 0.5700 8.8694 ((2 . 3) (4 . 5) (6 . 6) (7 . 7)) 2834 0.5708 7.2066 ((1 . 1) (3 . 3) (4 . 5) (6 . 7)) 2840 0.5713 4.4362 ((2 . 5) (3 . 6) (5 . 8) (7 . 9)) 2867 0.5705 8.0520 ((1 . 7) (2 . 8) (5 . 12) (6 . 13)) 2879 0.5711 6.0353 ((1 . 51) (2 . 52) (3 . 53) (7 . 59)) 2886 0.5713 5.1226 ((1 . 38) (2 . 39) (3 . 41) (5 . 44)) 2929 0.5711 5.9270 ((3 . 36) (5 . 39) (6 . 38) (7 . 40)) 2947 0.5712 5.7850 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 2966 0.5712 5.4978 ((1 . 3) (2 . 4) (4 . 8) (5 . 9)) 2990 0.5711 6.1163 ((1 . 12) (3 . 14) (4 . 15) (5 . 16)) 2999 0.5708 7.1304 ((1 . 2) (3 . 4) (5 . 6) (7 . 7)) 3019 0.5708 7.2448 ((1 . 9) (2 . 10) (5 . 14) (6 . 15)) 3041 0.6310 6.3858 ((1 . 29) (2 . 30) (4 . 32) (5 . 33) (6 . 34)) 3055 0.5713 5.1786 ((1 . 24) (2 . 25) (3 . 27) (4 . 28)) 3063 0.5713 5.2368 ((1 . 36) (3 . 38) (4 . 39) (7 . 42)) 3070 0.7135 5.6904 ((1 . 32) (2 . 33) (4 . 35) (5 . 36) (6 . 37)) 3084 0.2945 8.4575 ((1 . 11) (2 . 21) (5 . 24) (6 . 25)) 3102 0.5708 7.1717 ((1 . 71) (2 . 72) (4 . 74) (7 . 80)) 3103 0.4452 8.6874 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 3114 0.5693 9.8573 ((1 . 22) (3 . 24) (4 . 25) (7 . 29)) 3127 0.5668 11.9212 ((1 . 4) (2 . 6) (6 . 12) (7 . 13)) 3147 0.5713 5.1725 ((1 . 11) (2 . 12) (3 . 13) (4 . 15)) 3176 0.3790 7.0764 ((2 . 26) (3 . 27) (4 . 29) (6 . 30)) 3187 0.5713 4.4746 ((1 . 1) (2 . 2) (5 . 5) (7 . 6)) 3190 0.2945 7.5081 ((2 . 3) (5 . 6) (6 . 7) (7 . 9)) 3197 0.3789 7.8478 ((1 . 12) (3 . 14) (5 . 16) (6 . 17)) 3200 0.5712 5.5880 ((1 . 6) (5 . 11) (6 . 12) (7 . 13)) 3212 0.5712 5.8078 ((1 . 2) (2 . 3) (3 . 5) (7 . 9)) 3222 0.5678 11.2490 ((1 . 8) (2 . 10) (5 . 14) (7 . 16)) 3256 0.5710 6.6436 ((1 . 18) (2 . 19) (3 . 20) (7 . 26)) 3261 0.5712 5.4783 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 3286 0.5711 5.9725 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 3289 0.5713 4.6606 ((3 . 25) (4 . 27) (5 . 30) (7 . 31)) 3297 0.7127 6.8645 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 13)) 3300 0.7128 6.7757 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 10)) 3322 0.2945 7.3775 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 3339 0.5702 8.4991 ((1 . 17) (3 . 19) (5 . 21) (7 . 22)) 3344 0.5711 6.2059 ((1 . 18) (2 . 20) (3 . 21) (7 . 24)) 3358 0.4900 11.3622 ((2 . 1) (3 . 2) (6 . 5) (7 . 7)) 3362 0.5710 6.7380 ((1 . 4) (4 . 6) (5 . 8) (6 . 9)) 3366 0.5713 4.6617 ((3 . 23) (4 . 24) (5 . 26) (7 . 27)) 3391 0.2945 8.0461 ((1 . 6) (3 . 8) (5 . 10) (6 . 12)) 3410 0.5711 6.3462 ((3 . 19) (4 . 21) (6 . 23) (7 . 24)) 3418 0.5712 5.5139 ((1 . 2) (2 . 5) (3 . 6) (4 . 7)) 3472 0.8567 4.0733 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 9) (7 . 11)) 3495 0.5711 6.1261 ((1 . 1) (2 . 2) (3 . 3) (7 . 8)) 3533 0.5706 7.8417 ((1 . 1) (2 . 3) (3 . 5) (7 . 10)) 3538 0.5677 11.2867 ((1 . 18) (2 . 20) (5 . 23) (7 . 24)) 3548 0.7105 8.5752 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (7 . 10)) 3549 0.6567 5.1455 ((1 . 2) (2 . 3) (3 . 5) (6 . 7) (7 . 8)) 3585 0.5710 6.3937 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 3613 0.5692 9.9382 ((1 . 36) (3 . 41) (4 . 40) (6 . 42)) 3625 0.1993 5.5204 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 3626 0.7139 4.9197 ((1 . 2) (2 . 3) (3 . 6) (4 . 8) (5 . 11)) 3628 0.5712 5.4794 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 3651 0.5698 9.2354 ((1 . 5) (3 . 8) (5 . 11) (7 . 13)) 3656 0.4917 5.8409 ((3 . 22) (4 . 23) (5 . 24) (6 . 25)) 3658 0.5712 5.4490 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 3659 0.5709 6.9495 ((1 . 10) (3 . 12) (4 . 13) (6 . 14)) 3661 0.4452 8.1917 ((3 . 7) (4 . 8) (6 . 10) (7 . 12)) 3688 0.5707 7.5078 ((2 . 26) (3 . 27) (4 . 28) (5 . 29)) 3697 0.1992 8.7780 ((1 . 6) (2 . 7) (5 . 10) (6 . 9)) 3703 0.5712 5.7100 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 3732 0.5706 7.6311 ((1 . 2) (2 . 3) (6 . 8) (7 . 9)) 3733 0.3790 7.0805 ((2 . 1) (4 . 3) (6 . 5) (7 . 6)) 3740 0.5711 5.9547 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 3741 0.5711 5.9647 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 3776 0.7129 6.6973 ((1 . 15) (3 . 19) (4 . 20) (5 . 21) (6 . 23)) 3778 0.5712 5.7496 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 3787 0.2945 8.3846 ((3 . 19) (5 . 21) (6 . 22) (7 . 23)) 3790 0.7129 6.6128 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (7 . 9)) 3807 0.5709 6.9647 ((3 . 46) (4 . 47) (6 . 49) (7 . 50)) 3810 0.7137 5.3062 ((1 . 4) (2 . 6) (3 . 9) (4 . 10) (5 . 11)) 3817 0.4435 13.1684 ((1 . 5) (3 . 7) (5 . 9) (7 . 11)) 3831 0.5664 12.1884 ((1 . 3) (3 . 5) (6 . 7) (7 . 9)) 3847 0.5708 7.2167 ((1 . 9) (4 . 13) (5 . 16) (7 . 17)) 3849 0.4455 5.2915 ((1 . 2) (2 . 3) (6 . 7) (7 . 8)) 3853 0.1664 9.4252 ((1 . 6) (2 . 8) (6 . 11) (7 . 12)) 3933 0.5704 8.0969 ((1 . 8) (2 . 10) (3 . 13) (4 . 14)) 3938 0.5705 7.9861 ((1 . 2) (4 . 6) (5 . 8) (7 . 9)) 3942 0.5712 5.4450 ((2 . 2) (5 . 3) (6 . 4) (7 . 9)) 3986 0.5699 8.9537 ((3 . 5) (4 . 6) (6 . 10) (7 . 11)) 3990 0.5707 7.4145 ((1 . 20) (3 . 23) (4 . 24) (5 . 26)) 4005 0.6700 9.4075 ((1 . 3) (2 . 4) (4 . 8) (5 . 10) (7 . 12)) 4009 0.4915 7.1798 ((3 . 12) (4 . 13) (5 . 15) (6 . 16)) 4019 0.5709 6.8894 ((1 . 34) (2 . 35) (3 . 37) (4 . 38)) 4034 0.5712 5.4004 ((3 . 9) (4 . 10) (5 . 11) (7 . 13)) 4082 0.5709 6.8614 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 4087 0.8565 4.3567 ((1 . 1) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (7 . 8)) 4112 0.7136 5.5643 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 8)) 4115 0.2945 8.1539 ((1 . 13) (3 . 15) (5 . 17) (6 . 18)) 4154 0.5712 5.7901 ((1 . 52) (2 . 53) (3 . 56) (4 . 57)) 4177 0.2477 8.8022 ((3 . 1) (4 . 2) (6 . 6) (7 . 7)) 4204 0.2945 7.2520 ((1 . 9) (2 . 11) (4 . 13) (5 . 15)) 4209 0.5707 7.5826 ((1 . 1) (2 . 2) (6 . 6) (7 . 8)) 4210 0.5712 5.4916 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 4226 0.5713 4.5972 ((3 . 11) (4 . 12) (6 . 15) (7 . 16)) 4236 0.5714 3.5669 ((3 . 5) (4 . 6) (5 . 7) (7 . 10)) 4246 0.5712 5.7940 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 4254 0.5505 17.7299 ((1 . 3) (2 . 4) (6 . 10) (7 . 11)) 4265 0.3790 7.1840 ((1 . 21) (3 . 24) (5 . 26) (6 . 27)) 4266 0.2477 10.5989 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 4275 0.4450 9.2497 ((1 . 21) (4 . 25) (6 . 26) (7 . 28)) 4281 0.5707 7.4071 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 4284 0.5713 5.0283 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 4299 0.5712 5.5503 ((1 . 16) (2 . 19) (3 . 20) (4 . 22)) 4301 0.5710 6.5261 ((1 . 1) (2 . 2) (3 . 3) (7 . 8)) 4326 0.1992 8.8137 ((3 . 15) (5 . 17) (6 . 18) (7 . 19)) 4332 0.2945 7.1818 ((3 . 2) (4 . 4) (6 . 5) (7 . 6)) 4359 0.5713 5.1173 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 4380 0.6314 5.0760 ((1 . 24) (2 . 29) (3 . 30) (4 . 31) (5 . 32)) 4386 0.5711 6.0136 ((1 . 18) (2 . 19) (3 . 21) (6 . 23)) 4388 0.5708 7.3083 ((1 . 8) (2 . 9) (3 . 10) (5 . 12)) 4398 0.5711 5.9901 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4408 0.5712 5.6210 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 4415 0.5704 8.2343 ((1 . 1) (3 . 3) (4 . 4) (7 . 9)) 4419 0.5709 7.0581 ((1 . 6) (2 . 8) (3 . 9) (4 . 10)) 4470 0.5701 8.7123 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 4492 0.5712 5.3165 ((3 . 2) (4 . 3) (6 . 6) (7 . 8)) 4497 0.5711 5.9905 ((1 . 24) (2 . 25) (3 . 26) (5 . 28)) 4503 0.5710 6.6159 ((2 . 3) (3 . 4) (4 . 5) (7 . 9)) 4505 0.5710 6.5029 ((1 . 25) (2 . 26) (4 . 28) (7 . 30)) 4538 0.5711 6.1093 ((2 . 30) (3 . 31) (6 . 36) (7 . 37)) 4551 0.1664 7.5981 ((2 . 2) (3 . 4) (6 . 7) (7 . 8)) 4560 0.5706 7.7368 ((2 . 11) (4 . 13) (5 . 14) (7 . 17)) 4561 0.3790 7.3966 ((2 . 5) (3 . 7) (5 . 9) (6 . 11)) 4562 0.5709 6.8644 ((1 . 19) (3 . 22) (5 . 25) (6 . 26)) 4577 0.5704 8.1517 ((1 . 49) (2 . 50) (4 . 52) (5 . 54)) 4588 0.5709 6.8659 ((1 . 3) (3 . 7) (4 . 8) (5 . 9)) 4589 0.5687 10.4830 ((1 . 19) (2 . 22) (3 . 23) (5 . 25)) 4621 0.5687 10.4044 ((1 . 3) (2 . 4) (4 . 7) (6 . 10)) 4630 0.5705 7.9991 ((1 . 15) (2 . 17) (4 . 19) (7 . 22)) 4648 0.5712 5.4386 ((1 . 1) (2 . 2) (4 . 5) (5 . 8)) 4653 0.7099 8.9069 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (7 . 9)) 4665 0.5711 6.1828 ((3 . 11) (4 . 12) (5 . 13) (7 . 14)) 4671 0.4906 10.2892 ((1 . 4) (3 . 6) (5 . 7) (6 . 9)) 4674 0.2477 10.7197 ((1 . 2) (4 . 6) (5 . 7) (7 . 8)) 4678 0.1993 6.6195 ((2 . 10) (3 . 11) (4 . 12) (7 . 14)) 4713 0.2477 8.8610 ((2 . 5) (3 . 6) (5 . 8) (6 . 10)) 4734 0.5701 8.6290 ((1 . 2) (2 . 5) (4 . 7) (5 . 8)) 4886 0.1664 6.4189 ((1 . 29) (2 . 30) (5 . 32) (6 . 33)) 4888 0.1498 12.6040 ((1 . 9) (3 . 12) (4 . 13) (5 . 14)) 4889 0.5709 6.9687 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 4907 0.7112 8.1195 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (7 . 9)) 4914 0.5700 8.9285 ((1 . 1) (3 . 5) (4 . 6) (7 . 10)) 4921 0.5712 5.4977 ((2 . 7) (3 . 8) (4 . 9) (7 . 12)) 4929 0.7140 4.5215 ((2 . 29) (3 . 31) (4 . 32) (5 . 33) (7 . 34)) 4932 0.4452 8.4549 ((3 . 1) (4 . 2) (5 . 5) (6 . 7)) 4944 0.5710 6.6078 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 4961 0.4454 6.7185 ((3 . 14) (4 . 15) (5 . 17) (6 . 18)) 4978 0.5709 6.8036 ((2 . 21) (4 . 24) (5 . 25) (6 . 26)) 4982 0.1664 9.5866 ((1 . 1) (3 . 3) (5 . 6) (7 . 8)) 4992 0.5711 6.1088 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5029 0.5662 12.3460 ((3 . 1) (5 . 4) (6 . 5) (7 . 6)) 5036 0.7133 6.1230 ((1 . 4) (3 . 6) (4 . 7) (5 . 8) (7 . 9)) 5038 0.7141 4.0327 ((2 . 12) (3 . 14) (4 . 15) (5 . 16) (7 . 18)) 5044 0.5711 6.2504 ((1 . 3) (2 . 8) (3 . 9) (7 . 14)) 5053 0.5707 7.4471 ((1 . 5) (2 . 6) (5 . 9) (7 . 10)) 5065 0.5713 4.9972 ((1 . 2) (2 . 3) (4 . 7) (7 . 9)) 5068 0.5695 9.5797 ((2 . 10) (3 . 12) (5 . 15) (7 . 16)) 5069 0.5706 7.7234 ((2 . 15) (4 . 17) (5 . 18) (7 . 19)) 5101 0.4453 7.2518 ((1 . 3) (3 . 5) (5 . 7) (6 . 8)) 5103 0.3790 6.9643 ((1 . 13) (3 . 15) (5 . 17) (6 . 18)) 5121 0.5710 6.6825 ((1 . 25) (2 . 26) (5 . 30) (7 . 31)) 5134 0.4883 13.4119 ((1 . 10) (2 . 13) (6 . 18) (7 . 19)) 5145 0.4454 7.1476 ((2 . 5) (4 . 8) (5 . 10) (6 . 11)) 5176 0.7137 5.4256 ((1 . 82) (2 . 84) (3 . 86) (4 . 87) (5 . 88)) 5183 0.5710 6.6171 ((1 . 34) (2 . 35) (3 . 36) (4 . 37)) 5192 0.2478 7.4273 ((1 . 1) (3 . 3) (5 . 5) (6 . 6)) 5198 0.2475 16.3574 ((1 . 21) (2 . 22) (5 . 26) (6 . 25)) 5199 0.5711 6.3013 ((1 . 7) (2 . 8) (5 . 9) (7 . 10)) 5209 0.5707 7.4894 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 5215 0.5711 6.1826 ((1 . 2) (2 . 3) (3 . 5) (7 . 9)) 5231 0.5712 5.5667 ((2 . 12) (3 . 13) (4 . 14) (5 . 16)) 5266 0.3790 7.4323 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 5278 0.5714 3.4595 ((2 . 6) (3 . 7) (5 . 9) (7 . 10)) 5312 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5318 0.3787 10.4852 ((1 . 22) (2 . 23) (3 . 24) (6 . 28)) 5324 0.3789 8.9021 ((1 . 14) (3 . 15) (4 . 16) (6 . 18)) 5344 0.2478 6.6060 ((1 . 2) (3 . 4) (5 . 7) (7 . 9)) 5345 0.5712 5.3207 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 5368 0.5713 4.7900 ((1 . 30) (2 . 32) (4 . 34) (5 . 35)) 5378 0.5712 5.7307 ((3 . 15) (4 . 16) (6 . 20) (7 . 21)) 5414 0.7141 3.8220 ((1 . 14) (2 . 15) (3 . 16) (5 . 19) (7 . 20)) 5418 0.5712 5.3967 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 5421 0.4916 6.3365 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 5433 0.4913 8.2622 ((1 . 5) (2 . 7) (4 . 12) (7 . 16)) 5479 0.5712 5.8553 ((1 . 50) (2 . 51) (3 . 52) (4 . 53)) 5487 0.4454 7.2424 ((1 . 2) (3 . 7) (5 . 9) (6 . 10)) 5489 0.5712 5.4367 ((1 . 5) (2 . 6) (4 . 9) (7 . 13)) 5500 0.5708 7.2012 ((1 . 2) (2 . 3) (4 . 7) (6 . 10)) 5535 0.4907 9.8982 ((2 . 4) (3 . 6) (5 . 8) (7 . 10)) 5540 0.5673 11.6298 ((1 . 8) (2 . 10) (5 . 14) (7 . 16)) 5557 0.5710 6.3732 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5560 0.1664 9.6918 ((3 . 11) (4 . 13) (6 . 14) (7 . 15)) 5562 0.5713 4.7354 ((3 . 6) (4 . 7) (6 . 10) (7 . 11)) 5567 0.5710 6.6460 ((1 . 11) (3 . 15) (5 . 17) (7 . 18)) 5594 0.5685 10.5974 ((1 . 3) (2 . 4) (6 . 7) (7 . 9)) 5600 0.2945 10.3949 ((2 . 5) (3 . 6) (6 . 10) (7 . 11)) 5601 0.4902 11.0326 ((2 . 1) (3 . 3) (6 . 6) (7 . 7)) 5640 0.5712 5.4062 ((1 . 19) (2 . 20) (4 . 22) (5 . 23)) 5644 0.2945 6.2599 ((1 . 3) (2 . 4) (5 . 8) (7 . 10)) 5656 0.5701 8.7208 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 5700 0.7141 4.0406 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (7 . 8)) 5701 0.2945 8.3892 ((1 . 4) (2 . 5) (6 . 7) (7 . 8)) 5703 0.5711 6.3495 ((1 . 1) (2 . 2) (4 . 5) (7 . 7)) 5711 0.5710 6.6714 ((1 . 32) (2 . 33) (3 . 35) (4 . 36)) 5713 0.5711 6.0662 ((1 . 18) (2 . 19) (3 . 20) (4 . 21)) 5718 0.5708 7.3491 ((1 . 16) (2 . 17) (4 . 21) (5 . 23)) 5731 0.7114 8.0111 ((2 . 2) (4 . 5) (5 . 7) (6 . 8) (7 . 9)) 5746 0.7129 6.6400 ((1 . 2) (2 . 3) (3 . 7) (4 . 9) (5 . 10)) 5749 0.5705 8.0324 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 5761 0.8561 4.8961 ((1 . 36) (2 . 28) (3 . 30) (4 . 31) (5 . 32) (6 . 33)) 5770 0.2477 7.9160 ((3 . 6) (5 . 8) (6 . 10) (7 . 12)) 5771 0.2477 13.0393 ((3 . 14) (5 . 15) (6 . 16) (7 . 17)) 5782 0.5709 6.8309 ((2 . 24) (3 . 26) (4 . 27) (7 . 32)) 5794 0.1993 6.7442 ((1 . 18) (2 . 19) (5 . 23) (7 . 25)) 5795 0.4448 10.0905 ((1 . 6) (2 . 9) (3 . 10) (6 . 14)) 5809 0.5705 8.0530 ((1 . 9) (3 . 12) (5 . 14) (7 . 15)) 5822 0.2945 8.4525 ((1 . 2) (2 . 4) (4 . 6) (5 . 8)) 5827 0.5710 6.4796 ((1 . 4) (2 . 5) (4 . 8) (7 . 11)) 5830 0.2945 8.8188 ((2 . 7) (3 . 8) (5 . 10) (6 . 11)) 5847 0.7135 5.7078 ((1 . 12) (2 . 13) (3 . 16) (5 . 18) (7 . 20)) 5861 0.5713 4.3289 ((2 . 20) (3 . 21) (4 . 22) (7 . 25)) 5865 0.5712 5.6127 ((1 . 1) (2 . 4) (5 . 7) (6 . 8)) 5878 0.2945 6.9426 ((2 . 25) (3 . 26) (4 . 28) (5 . 30)) 5888 0.5713 4.9482 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 5896 0.5701 8.6994 ((1 . 26) (3 . 28) (4 . 29) (7 . 31)) 5904 0.4453 7.5166 ((1 . 4) (3 . 7) (5 . 9) (6 . 10)) 5913 0.5706 7.6696 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 5914 0.1249 11.1397 ((1 . 2) (2 . 3) (3 . 5) (6 . 7)) 5922 0.5711 6.2636 ((3 . 8) (4 . 9) (5 . 10) (7 . 11)) 5930 0.5706 7.8338 ((2 . 1) (3 . 2) (4 . 4) (6 . 6)) 5939 0.3790 7.5431 ((1 . 8) (2 . 9) (5 . 14) (6 . 15)) 5945 0.5709 6.8650 ((1 . 26) (2 . 28) (5 . 32) (7 . 33)) 5949 0.1664 8.4088 ((3 . 10) (4 . 12) (6 . 13) (7 . 14)) 5955 0.1992 12.6962 ((1 . 4) (2 . 5) (5 . 9) (6 . 10)) 5977 0.1993 8.2497 ((1 . 1) (2 . 3) (5 . 5) (7 . 6)) 6011 0.5711 6.2764 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 6022 0.5710 6.3753 ((1 . 2) (2 . 4) (3 . 5) (5 . 8)) 6028 0.5711 6.1653 ((3 . 2) (4 . 3) (6 . 8) (7 . 9)) 6029 0.4916 6.3780 ((2 . 3) (3 . 4) (4 . 5) (6 . 7)) 6041 0.5713 4.5901 ((3 . 10) (4 . 11) (5 . 12) (7 . 15)) 6046 0.5712 5.4282 ((3 . 3) (4 . 5) (5 . 6) (6 . 7)) 6061 0.2945 8.4266 ((2 . 17) (5 . 20) (6 . 22) (7 . 21)) 6074 0.3790 6.0029 ((2 . 2) (3 . 4) (5 . 6) (6 . 7)) 6079 0.5713 4.9913 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 6089 0.5686 10.5534 ((3 . 16) (4 . 17) (6 . 19) (7 . 21)) 6094 0.7108 8.3728 ((2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 8)) 6099 0.5712 5.4990 ((1 . 10) (2 . 11) (3 . 13) (4 . 14)) 6142 0.5712 5.4896 ((1 . 13) (3 . 15) (4 . 16) (5 . 17)) 6148 0.5713 5.1776 ((3 . 32) (4 . 33) (5 . 34) (7 . 37)) 6167 0.4909 9.4273 ((1 . 10) (2 . 12) (3 . 14) (6 . 22)) 6173 0.5706 7.6287 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 6191 0.5707 7.5435 ((1 . 9) (2 . 10) (3 . 12) (4 . 13)) 6192 0.2945 7.6717 ((1 . 10) (2 . 11) (3 . 13) (6 . 16)) 6215 0.5712 5.4446 ((3 . 19) (4 . 20) (6 . 23) (7 . 24)) 6225 0.5682 10.9336 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 6228 0.5712 5.4055 ((1 . 12) (3 . 15) (6 . 18) (7 . 19)) 6234 0.8569 3.3646 ((1 . 6) (2 . 7) (3 . 9) (4 . 10) (5 . 13) (7 . 15)) 6238 0.5707 7.3992 ((1 . 4) (2 . 5) (4 . 8) (5 . 9)) 6243 0.5710 6.6173 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 6251 0.3789 8.1883 ((2 . 15) (4 . 17) (6 . 18) (7 . 19)) 6258 0.2945 10.6152 ((3 . 3) (4 . 4) (6 . 5) (7 . 7)) 6261 0.3787 10.0856 ((2 . 1) (3 . 4) (4 . 3) (7 . 9)) 6266 0.5709 6.8814 ((1 . 3) (3 . 5) (5 . 8) (6 . 7)) 6270 0.5708 7.2816 ((1 . 15) (3 . 17) (4 . 18) (7 . 20)) 6271 0.6313 5.2020 ((2 . 4) (3 . 5) (4 . 7) (5 . 8) (7 . 12)) 6273 0.4452 8.4667 ((1 . 2) (2 . 3) (5 . 6) (7 . 7)) 6294 0.2478 7.4413 ((3 . 11) (5 . 14) (6 . 15) (7 . 16)) 6306 0.4910 9.2409 ((2 . 16) (3 . 17) (6 . 18) (7 . 21)) 6326 0.5712 5.5173 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 6338 0.5714 3.7800 ((2 . 1) (3 . 2) (5 . 5) (7 . 7)) 6344 0.5712 5.4401 ((1 . 1) (3 . 3) (4 . 4) (7 . 6)) 6345 0.5690 10.0911 ((2 . 4) (5 . 6) (6 . 8) (7 . 7)) 6355 0.5711 5.8981 ((1 . 4) (2 . 6) (3 . 8) (7 . 11)) 6356 0.4453 7.7350 ((1 . 1) (5 . 6) (6 . 5) (7 . 9)) 6369 0.5668 11.9544 ((1 . 29) (4 . 32) (5 . 33) (7 . 35)) 6376 0.4454 6.4290 ((4 . 19) (5 . 21) (6 . 23) (7 . 24)) 6391 0.5709 7.0533 ((1 . 6) (2 . 8) (5 . 10) (7 . 14)) 6399 0.7131 6.4233 ((1 . 24) (2 . 26) (3 . 27) (4 . 28) (5 . 29)) 6403 0.5713 5.0178 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 6434 0.5712 5.4960 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6462 0.2945 8.4162 ((1 . 20) (3 . 22) (4 . 24) (6 . 26)) 6498 0.4917 5.0772 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 6520 0.5696 9.3948 ((1 . 6) (4 . 10) (6 . 12) (7 . 13)) 6539 0.5713 4.7597 ((3 . 4) (4 . 5) (6 . 9) (7 . 10)) 6540 0.5710 6.6608 ((2 . 18) (4 . 20) (5 . 21) (7 . 22)) 6548 0.5711 6.1588 ((1 . 5) (3 . 7) (5 . 9) (7 . 12)) 6553 0.5713 5.1821 ((1 . 11) (3 . 13) (5 . 17) (6 . 16)) 6555 0.5707 7.4248 ((1 . 17) (3 . 20) (5 . 23) (7 . 24)) 6573 0.3790 6.7121 ((1 . 19) (2 . 21) (3 . 22) (4 . 23)) 6584 0.5713 4.9444 ((1 . 2) (2 . 3) (4 . 5) (7 . 9)) 6587 0.5708 7.2318 ((1 . 29) (3 . 34) (6 . 35) (7 . 33)) 6598 0.5713 4.9551 ((1 . 16) (2 . 17) (4 . 20) (5 . 21)) 6613 0.5708 7.1289 ((3 . 21) (4 . 22) (6 . 23) (7 . 24)) 6635 0.5713 4.9643 ((2 . 1) (4 . 4) (5 . 5) (6 . 6)) END