904 25 0.5699 9.0072 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 62 0.4903 10.9058 ((1 . 9) (5 . 15) (6 . 16) (7 . 17)) 64 0.2945 7.2023 ((2 . 9) (3 . 10) (6 . 13) (7 . 14)) 77 0.5697 9.2816 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 91 0.1992 11.4652 ((1 . 18) (3 . 21) (4 . 20) (5 . 22)) 129 0.2945 6.2801 ((2 . 3) (3 . 5) (6 . 9) (7 . 11)) 136 0.5713 4.8534 ((1 . 2) (3 . 3) (5 . 6) (7 . 7)) 150 0.4451 8.7291 ((1 . 18) (3 . 20) (4 . 21) (7 . 25)) 157 0.5714 4.1553 ((4 . 4) (5 . 6) (6 . 8) (7 . 20)) 161 0.2945 8.5138 ((2 . 3) (5 . 7) (6 . 6) (7 . 8)) 162 0.2478 6.4494 ((3 . 15) (4 . 16) (6 . 18) (7 . 20)) 177 0.1992 10.3953 ((2 . 5) (5 . 9) (6 . 8) (7 . 10)) 191 0.5699 9.0346 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 198 0.4917 4.8871 ((2 . 10) (3 . 12) (6 . 16) (7 . 17)) 207 0.1992 11.5497 ((1 . 12) (3 . 13) (4 . 14) (5 . 16)) 300 0.5708 7.1121 ((2 . 8) (3 . 7) (5 . 11) (6 . 10)) 305 0.5685 10.6538 ((1 . 10) (3 . 11) (4 . 13) (6 . 16)) 307 0.5679 11.1256 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 315 0.1664 9.1164 ((1 . 2) (3 . 3) (5 . 7) (7 . 8)) 350 0.5705 7.9787 ((3 . 4) (4 . 3) (6 . 8) (7 . 10)) 360 0.1993 8.0154 ((2 . 3) (3 . 5) (6 . 7) (7 . 9)) 361 0.5695 9.5160 ((1 . 6) (4 . 7) (6 . 10) (7 . 11)) 365 0.5713 4.7872 ((2 . 1) (3 . 2) (6 . 4) (7 . 6)) 367 0.5714 4.1882 ((1 . 41) (3 . 44) (6 . 47) (7 . 48)) 417 0.1498 9.2047 ((2 . 2) (3 . 3) (6 . 7) (7 . 9)) 433 0.2477 9.4677 ((2 . 1) (4 . 2) (5 . 4) (7 . 6)) 442 0.3788 9.2659 ((1 . 9) (2 . 10) (5 . 13) (7 . 14)) 472 0.1992 13.8642 ((3 . 27) (4 . 28) (5 . 29) (6 . 31)) 541 0.5700 8.8355 ((1 . 4) (3 . 5) (5 . 6) (6 . 7)) 543 0.5694 9.6679 ((2 . 5) (4 . 7) (5 . 9) (7 . 10)) 584 0.5705 7.8985 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 587 0.5713 5.1143 ((3 . 11) (4 . 12) (6 . 14) (7 . 15)) 619 0.3790 7.4374 ((2 . 11) (3 . 12) (5 . 14) (6 . 15)) 624 0.5714 3.9320 ((1 . 10) (3 . 11) (5 . 12) (6 . 13)) 635 0.2477 9.2068 ((1 . 4) (2 . 3) (3 . 5) (5 . 7)) 672 0.3789 8.4768 ((2 . 18) (4 . 19) (6 . 23) (7 . 24)) 678 0.5713 4.4267 ((1 . 21) (3 . 22) (5 . 23) (6 . 24)) 683 0.5691 10.0448 ((3 . 2) (4 . 4) (6 . 5) (7 . 6)) 719 0.5713 5.0397 ((2 . 25) (3 . 27) (5 . 29) (6 . 30)) 729 0.5714 3.9270 ((1 . 12) (3 . 13) (5 . 14) (6 . 15)) 735 0.1992 8.7262 ((2 . 29) (3 . 31) (6 . 33) (7 . 36)) 767 0.2945 6.6580 ((3 . 26) (4 . 27) (6 . 31) (7 . 32)) 795 0.0999 7.8117 ((3 . 1) (4 . 2) (5 . 4) (6 . 3)) 796 0.5713 4.2897 ((3 . 3) (5 . 4) (6 . 5) (7 . 6)) 818 0.5708 7.2319 ((1 . 11) (2 . 12) (3 . 14) (6 . 16)) 834 0.4447 10.4806 ((1 . 34) (2 . 33) (4 . 35) (5 . 36)) 861 0.5693 9.7838 ((1 . 11) (3 . 12) (6 . 15) (7 . 16)) 901 0.5713 4.8442 ((1 . 16) (3 . 17) (5 . 19) (6 . 20)) 904 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 913 0.5713 4.8636 ((1 . 15) (3 . 17) (5 . 18) (7 . 20)) 928 0.5687 10.4603 ((4 . 17) (5 . 19) (6 . 20) (7 . 21)) 937 0.1993 6.0528 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 943 0.1992 13.9808 ((1 . 7) (3 . 9) (4 . 10) (5 . 13)) 945 0.5714 4.1176 ((1 . 18) (3 . 19) (5 . 21) (6 . 22)) 960 0.3790 5.2867 ((1 . 16) (3 . 19) (5 . 20) (6 . 21)) 978 0.5712 5.6534 ((1 . 12) (3 . 13) (5 . 15) (6 . 16)) 980 0.5711 5.9297 ((1 . 4) (3 . 7) (5 . 8) (6 . 9)) 1007 0.5699 9.0734 ((2 . 18) (3 . 19) (4 . 21) (5 . 22)) 1034 0.5710 6.3807 ((1 . 27) (3 . 29) (5 . 31) (6 . 32)) 1043 0.5687 10.4531 ((1 . 5) (3 . 6) (5 . 9) (6 . 10)) 1082 0.5712 5.3625 ((1 . 14) (3 . 16) (5 . 18) (6 . 19)) 1084 0.4893 12.3274 ((1 . 4) (4 . 6) (6 . 9) (7 . 11)) 1165 0.5699 9.0281 ((1 . 5) (3 . 7) (5 . 9) (6 . 10)) 1167 0.5708 7.1857 ((2 . 21) (3 . 22) (5 . 24) (7 . 27)) 1169 0.2478 7.2693 ((2 . 29) (3 . 30) (6 . 34) (7 . 37)) 1195 0.5690 10.1073 ((1 . 1) (3 . 2) (6 . 5) (7 . 6)) 1201 0.4449 9.9222 ((1 . 5) (4 . 8) (5 . 10) (7 . 11)) 1204 0.2944 11.5708 ((1 . 18) (5 . 21) (6 . 22) (7 . 24)) 1211 0.5694 9.6493 ((3 . 5) (4 . 6) (6 . 8) (7 . 9)) 1217 0.4447 10.4375 ((1 . 2) (2 . 3) (5 . 8) (7 . 11)) 1224 0.5698 9.0947 ((2 . 6) (3 . 7) (5 . 11) (6 . 10)) 1267 0.1332 8.5125 ((2 . 17) (4 . 18) (5 . 20) (6 . 21)) 1268 0.5704 8.0992 ((1 . 12) (3 . 13) (4 . 15) (5 . 16)) 1294 0.3786 11.0116 ((2 . 41) (3 . 42) (5 . 45) (6 . 46)) 1301 0.5713 4.5858 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 1345 0.5711 6.2253 ((1 . 8) (3 . 9) (5 . 10) (6 . 12)) 1388 0.5712 5.4956 ((2 . 4) (3 . 5) (5 . 7) (6 . 8)) 1410 0.3790 5.1524 ((2 . 20) (3 . 21) (6 . 23) (7 . 25)) 1425 0.5710 6.6619 ((2 . 3) (3 . 4) (5 . 7) (7 . 11)) 1447 0.5713 5.1696 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 1464 0.5691 10.0370 ((1 . 9) (3 . 10) (4 . 12) (6 . 14)) 1472 0.2477 10.4103 ((1 . 5) (3 . 7) (4 . 10) (5 . 11)) 1476 0.5695 9.5596 ((1 . 13) (3 . 15) (5 . 17) (6 . 18)) 1481 0.1993 8.5388 ((2 . 1) (4 . 3) (6 . 4) (7 . 7)) 1508 0.2945 8.8449 ((4 . 1) (5 . 3) (6 . 2) (7 . 5)) 1513 0.5712 5.7753 ((1 . 9) (3 . 11) (5 . 12) (6 . 13)) 1514 0.5707 7.5504 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 1577 0.5701 8.6736 ((1 . 1) (4 . 2) (6 . 4) (7 . 5)) 1591 0.5714 4.1637 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 1595 0.4917 4.8126 ((1 . 2) (5 . 6) (6 . 7) (7 . 8)) 1604 0.5713 5.1607 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 1624 0.4454 6.8398 ((2 . 2) (3 . 3) (6 . 7) (7 . 9)) 1643 0.5711 6.1504 ((2 . 27) (3 . 28) (4 . 29) (6 . 32)) 1644 0.5702 8.5002 ((1 . 42) (3 . 43) (6 . 48) (7 . 49)) 1690 0.5663 12.2553 ((1 . 7) (3 . 11) (5 . 12) (6 . 13)) 1692 0.5698 9.0959 ((2 . 1) (4 . 2) (5 . 4) (6 . 5)) 1731 0.5670 11.8278 ((1 . 9) (4 . 10) (6 . 12) (7 . 13)) 1747 0.4454 6.0873 ((2 . 25) (3 . 27) (6 . 29) (7 . 30)) 1756 0.5712 5.5526 ((2 . 24) (3 . 25) (6 . 30) (7 . 31)) 1761 0.7138 5.1418 ((1 . 14) (3 . 16) (5 . 18) (6 . 19) (7 . 20)) 1763 0.4455 5.8276 ((1 . 2) (2 . 3) (6 . 7) (7 . 9)) 1776 0.2477 8.5932 ((3 . 7) (4 . 8) (5 . 10) (6 . 12)) 1793 0.5686 10.5035 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 1805 0.4455 5.3301 ((3 . 12) (4 . 13) (6 . 15) (7 . 16)) 1808 0.4450 9.5403 ((1 . 1) (5 . 7) (6 . 8) (7 . 9)) 1867 0.5675 11.4765 ((1 . 2) (3 . 3) (4 . 4) (6 . 7)) 1894 0.3790 7.4574 ((1 . 24) (2 . 25) (3 . 26) (5 . 30)) 1896 0.1664 7.3357 ((2 . 23) (3 . 24) (5 . 28) (6 . 27)) 1897 0.3789 8.8534 ((2 . 32) (4 . 35) (5 . 36) (7 . 39)) 1908 0.2495 5.3742 ((1 . 9) (3 . 10) (4 . 8) (5 . 14) (6 . 15) (7 . 17)) 1909 0.5672 11.6819 ((1 . 26) (3 . 29) (5 . 30) (6 . 31)) 1913 0.5702 8.4529 ((2 . 22) (3 . 23) (4 . 24) (6 . 26)) 1944 0.5944 4.5016 ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 7)) 1957 0.5686 10.5108 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 1961 0.4454 6.9039 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 1967 0.5714 4.1914 ((3 . 3) (4 . 4) (5 . 6) (6 . 7)) 1992 0.5712 5.8702 ((1 . 8) (3 . 9) (5 . 10) (6 . 12)) 2003 0.5704 8.1627 ((1 . 1) (4 . 2) (5 . 6) (7 . 7)) 2006 0.5710 6.7328 ((2 . 15) (3 . 16) (6 . 20) (7 . 21)) 2048 0.5714 4.1694 ((1 . 3) (3 . 4) (5 . 5) (6 . 6)) 2054 0.5713 4.8334 ((1 . 11) (3 . 13) (4 . 15) (5 . 16)) 2063 0.3790 6.6563 ((2 . 43) (3 . 44) (6 . 49) (7 . 50)) 2065 0.4915 7.4155 ((1 . 20) (3 . 22) (6 . 26) (7 . 27)) 2067 0.2946 4.6590 ((3 . 54) (5 . 58) (6 . 59) (7 . 60)) 2072 0.5688 10.3193 ((1 . 3) (3 . 4) (5 . 8) (6 . 7)) 2081 0.5708 7.2504 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 2097 0.5698 9.1027 ((1 . 2) (3 . 3) (6 . 6) (7 . 7)) 2114 0.5707 7.5401 ((3 . 28) (5 . 30) (6 . 32) (7 . 34)) 2116 0.2945 8.5027 ((2 . 3) (3 . 4) (6 . 6) (7 . 7)) 2117 0.5711 6.2807 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 2118 0.6564 6.0137 ((1 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12)) 2122 0.5664 12.1821 ((1 . 7) (3 . 10) (5 . 11) (6 . 12)) 2166 0.5705 8.0027 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 2179 0.5713 4.5404 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 2196 0.1993 7.1616 ((2 . 14) (3 . 15) (6 . 18) (7 . 19)) 2203 0.3790 6.8329 ((2 . 6) (3 . 7) (5 . 8) (6 . 10)) 2205 0.1993 5.7227 ((2 . 16) (3 . 17) (6 . 21) (7 . 22)) 2209 0.5713 4.9319 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 2243 0.2943 13.0201 ((3 . 44) (4 . 46) (6 . 47) (7 . 49)) 2249 0.7138 4.9892 ((1 . 14) (3 . 16) (5 . 19) (6 . 21) (7 . 23)) 2269 0.5691 10.0835 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 2279 0.5713 4.9059 ((2 . 3) (3 . 5) (5 . 6) (6 . 7)) 2298 0.7138 5.0444 ((1 . 5) (3 . 6) (5 . 7) (6 . 8) (7 . 10)) 2308 0.5691 9.9942 ((1 . 7) (3 . 8) (5 . 10) (6 . 11)) 2314 0.5688 10.3824 ((2 . 5) (3 . 7) (4 . 9) (7 . 11)) 2340 0.2478 5.6954 ((1 . 8) (5 . 10) (6 . 11) (7 . 13)) 2344 0.7127 6.9286 ((2 . 1) (3 . 3) (4 . 8) (5 . 9) (6 . 10)) 2364 0.5712 5.3713 ((1 . 6) (3 . 9) (5 . 10) (6 . 12)) 2381 0.7102 8.7448 ((1 . 2) (2 . 3) (3 . 5) (5 . 8) (7 . 4)) 2389 0.5712 5.6336 ((2 . 10) (3 . 11) (5 . 12) (6 . 14)) 2409 0.4454 6.1956 ((2 . 3) (3 . 4) (6 . 6) (7 . 8)) 2410 0.6569 4.0224 ((1 . 12) (3 . 13) (4 . 14) (5 . 15) (7 . 17)) 2423 0.5706 7.8059 ((2 . 14) (3 . 16) (5 . 18) (6 . 19)) 2440 0.4418 15.4647 ((1 . 5) (3 . 7) (5 . 10) (7 . 13)) 2447 0.3790 7.2582 ((2 . 18) (4 . 19) (5 . 20) (7 . 24)) 2510 0.5706 7.6879 ((1 . 18) (2 . 19) (3 . 21) (4 . 22)) 2525 0.5709 6.9513 ((1 . 37) (3 . 38) (4 . 39) (7 . 43)) 2529 0.4446 10.8649 ((3 . 3) (4 . 4) (5 . 7) (6 . 6)) 2533 0.5708 7.2262 ((1 . 3) (3 . 6) (5 . 7) (7 . 9)) 2544 0.4916 6.2350 ((1 . 18) (4 . 19) (5 . 21) (6 . 23)) 2551 0.5714 3.4966 ((1 . 8) (3 . 9) (4 . 10) (7 . 14)) 2552 0.5647 13.1606 ((1 . 2) (3 . 3) (5 . 6) (6 . 5)) 2556 0.1993 7.2612 ((3 . 11) (5 . 12) (6 . 13) (7 . 16)) 2557 0.1666 7.1553 ((1 . 1) (2 . 3) (3 . 6) (4 . 4) (5 . 5) (7 . 7)) 2595 0.5697 9.3463 ((1 . 2) (3 . 4) (5 . 5) (6 . 6)) 2619 0.5711 5.9668 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 2650 0.5690 10.1659 ((1 . 4) (3 . 5) (6 . 7) (7 . 8)) 2658 0.5714 3.3985 ((1 . 9) (3 . 10) (4 . 11) (7 . 14)) 2675 0.5697 9.3380 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 2682 0.3788 9.5463 ((2 . 13) (4 . 16) (5 . 18) (7 . 19)) 2696 0.4453 7.3397 ((3 . 32) (4 . 33) (6 . 35) (7 . 36)) 2731 0.2946 4.0766 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 2733 0.3789 8.5513 ((2 . 2) (4 . 5) (5 . 6) (7 . 8)) 2755 0.5713 4.8847 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 2773 0.3789 8.6013 ((1 . 4) (3 . 6) (4 . 7) (5 . 8)) 2804 0.1664 8.9254 ((3 . 36) (5 . 37) (6 . 38) (7 . 39)) 2821 0.5713 4.4535 ((1 . 10) (3 . 11) (5 . 12) (6 . 13)) 2830 0.5713 4.8923 ((1 . 10) (3 . 11) (5 . 12) (6 . 13)) 2834 0.5706 7.8330 ((1 . 11) (3 . 12) (6 . 14) (7 . 16)) 2840 0.4455 5.6644 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 2842 0.3789 8.0064 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 2867 0.2944 12.3453 ((1 . 10) (4 . 11) (5 . 13) (6 . 12)) 2879 0.2477 10.0076 ((2 . 51) (5 . 55) (6 . 56) (7 . 57)) 2886 0.2945 7.2133 ((2 . 35) (3 . 37) (6 . 39) (7 . 41)) 2929 0.3790 5.3322 ((3 . 36) (4 . 37) (5 . 38) (6 . 40)) 2947 0.2491 5.4611 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7)) 2966 0.5942 5.7764 ((2 . 3) (3 . 4) (4 . 5) (6 . 8) (7 . 9)) 2990 0.5713 5.0657 ((1 . 10) (2 . 12) (6 . 15) (7 . 16)) 2999 0.7139 4.7178 ((1 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7)) 3014 0.5698 9.1726 ((2 . 5) (3 . 7) (4 . 8) (5 . 9)) 3019 0.3790 5.3227 ((2 . 19) (3 . 20) (6 . 22) (7 . 25)) 3034 0.5713 5.0203 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 3041 0.5710 6.7327 ((1 . 15) (3 . 18) (5 . 20) (6 . 22)) 3070 0.3790 6.6272 ((1 . 31) (3 . 33) (4 . 34) (5 . 37)) 3084 0.5713 4.3330 ((1 . 12) (3 . 13) (5 . 14) (6 . 15)) 3102 0.4448 10.3457 ((2 . 74) (4 . 78) (6 . 80) (7 . 82)) 3103 0.5706 7.8255 ((2 . 1) (3 . 2) (5 . 6) (6 . 5)) 3114 0.3789 8.3875 ((2 . 24) (3 . 25) (4 . 27) (6 . 29)) 3120 0.5713 4.8399 ((2 . 21) (3 . 22) (5 . 24) (6 . 25)) 3127 0.5691 10.0635 ((1 . 5) (3 . 8) (5 . 9) (6 . 11)) 3147 0.5706 7.7199 ((2 . 6) (3 . 7) (6 . 11) (7 . 12)) 3187 0.1993 8.1610 ((2 . 5) (3 . 6) (5 . 8) (7 . 9)) 3197 0.5713 4.5452 ((1 . 11) (3 . 12) (5 . 13) (6 . 14)) 3200 0.5698 9.1658 ((1 . 8) (3 . 9) (5 . 12) (6 . 13)) 3212 0.1498 7.1241 ((3 . 5) (4 . 6) (5 . 7) (6 . 9)) 3222 0.5712 5.6739 ((2 . 15) (3 . 16) (5 . 17) (6 . 19)) 3256 0.4915 7.4218 ((1 . 15) (2 . 16) (6 . 20) (7 . 24)) 3261 0.5695 9.5031 ((2 . 1) (3 . 2) (5 . 5) (7 . 6)) 3297 0.2945 9.5031 ((2 . 3) (3 . 4) (6 . 7) (7 . 8)) 3300 0.4453 7.3226 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 3322 0.5693 9.8553 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 3334 0.5711 6.1552 ((1 . 11) (4 . 12) (5 . 13) (6 . 14)) 3339 0.5706 7.6214 ((1 . 16) (3 . 19) (5 . 20) (7 . 22)) 3358 0.4454 6.5021 ((1 . 3) (3 . 4) (4 . 5) (6 . 8)) 3362 0.5712 5.3664 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 3366 0.2945 8.2372 ((3 . 24) (4 . 25) (6 . 27) (7 . 28)) 3391 0.5706 7.7541 ((1 . 7) (3 . 10) (5 . 12) (6 . 13)) 3418 0.5691 10.0042 ((1 . 1) (3 . 2) (6 . 6) (7 . 7)) 3446 0.4898 11.6071 ((1 . 2) (4 . 3) (5 . 4) (6 . 5)) 3481 0.1993 8.2967 ((4 . 3) (5 . 5) (6 . 4) (7 . 7)) 3496 0.1664 9.9832 ((1 . 21) (2 . 22) (4 . 24) (5 . 25)) 3533 0.3789 7.8947 ((2 . 1) (5 . 6) (6 . 7) (7 . 11)) 3537 0.1992 10.4472 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 3538 0.3788 9.5431 ((2 . 20) (4 . 21) (5 . 22) (6 . 23)) 3548 0.2945 8.7815 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 3549 0.2477 7.9270 ((1 . 4) (2 . 3) (3 . 5) (5 . 7)) 3561 0.5706 7.7504 ((1 . 23) (3 . 26) (5 . 27) (6 . 28)) 3570 0.0999 6.4318 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 3585 0.5712 5.8361 ((2 . 13) (3 . 14) (5 . 15) (6 . 16)) 3613 0.5712 5.2909 ((1 . 39) (2 . 40) (3 . 41) (5 . 42)) 3626 0.5703 8.2803 ((1 . 1) (4 . 5) (6 . 8) (7 . 11)) 3628 0.2946 5.5003 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 3651 0.3790 6.6322 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3656 0.2477 9.7188 ((1 . 20) (4 . 21) (6 . 23) (7 . 24)) 3658 0.5711 6.1788 ((2 . 5) (3 . 6) (5 . 9) (6 . 8)) 3659 0.3790 7.0459 ((4 . 4) (5 . 6) (6 . 7) (7 . 8)) 3661 0.5705 8.0229 ((1 . 10) (2 . 12) (4 . 13) (5 . 14)) 3697 0.5708 7.2014 ((2 . 6) (3 . 7) (5 . 8) (7 . 10)) 3703 0.5686 10.5157 ((1 . 5) (3 . 6) (6 . 8) (7 . 9)) 3732 0.5700 8.9138 ((2 . 2) (5 . 6) (6 . 7) (7 . 9)) 3733 0.2945 7.7103 ((2 . 1) (3 . 3) (5 . 5) (6 . 6)) 3740 0.3788 9.7572 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 3741 0.2473 18.5301 ((3 . 4) (4 . 5) (6 . 9) (7 . 10)) 3776 0.4445 11.2512 ((2 . 15) (4 . 16) (5 . 18) (6 . 20)) 3778 0.3451 6.0820 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7)) 3787 0.5664 12.1834 ((1 . 16) (3 . 17) (5 . 18) (6 . 19)) 3790 0.5711 6.2153 ((1 . 17) (3 . 18) (6 . 21) (7 . 22)) 3807 0.1992 8.7110 ((2 . 47) (4 . 48) (5 . 49) (6 . 50)) 3810 0.2945 7.5209 ((2 . 4) (3 . 6) (6 . 10) (7 . 11)) 3817 0.5712 5.3529 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 3829 0.5713 4.3979 ((3 . 9) (4 . 10) (5 . 11) (7 . 12)) 3831 0.5698 9.1494 ((2 . 3) (4 . 4) (5 . 7) (6 . 6)) 3847 0.3785 11.4423 ((1 . 11) (3 . 13) (4 . 15) (6 . 17)) 3849 0.5685 10.6696 ((2 . 1) (3 . 2) (4 . 4) (5 . 7)) 3853 0.5709 6.7658 ((1 . 2) (3 . 3) (5 . 4) (6 . 6)) 3870 0.5712 5.7552 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 3933 0.4917 4.9777 ((2 . 11) (3 . 13) (6 . 17) (7 . 18)) 3938 0.4453 7.9555 ((1 . 1) (2 . 2) (6 . 8) (7 . 9)) 3942 0.4453 7.8610 ((1 . 4) (2 . 3) (4 . 6) (6 . 9)) 3968 0.5691 10.0067 ((1 . 4) (3 . 5) (5 . 8) (6 . 9)) 3986 0.3789 8.8862 ((2 . 26) (3 . 25) (6 . 28) (7 . 29)) 4005 0.5709 6.7558 ((3 . 14) (4 . 16) (5 . 17) (6 . 18)) 4009 0.5682 10.8918 ((1 . 6) (3 . 7) (5 . 8) (6 . 11)) 4019 0.2945 8.5255 ((3 . 39) (4 . 41) (6 . 43) (7 . 44)) 4034 0.2477 8.8797 ((1 . 7) (4 . 8) (6 . 10) (7 . 11)) 4062 0.4454 6.8531 ((1 . 47) (2 . 48) (3 . 49) (5 . 51)) 4067 0.5709 6.9381 ((1 . 17) (3 . 20) (5 . 21) (6 . 22)) 4082 0.5695 9.5406 ((1 . 1) (4 . 2) (5 . 3) (7 . 5)) 4087 0.5710 6.6088 ((1 . 4) (3 . 5) (6 . 7) (7 . 8)) 4115 0.5700 8.8265 ((1 . 2) (4 . 4) (5 . 7) (6 . 8)) 4151 0.5709 6.8531 ((1 . 4) (3 . 7) (5 . 8) (6 . 9)) 4177 0.4449 9.7399 ((2 . 1) (4 . 3) (5 . 4) (7 . 7)) 4192 0.4450 9.6180 ((4 . 20) (5 . 21) (6 . 22) (7 . 23)) 4194 0.1993 5.7406 ((3 . 1) (5 . 2) (6 . 3) (7 . 5)) 4195 0.2478 6.5464 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 4204 0.5713 4.9866 ((3 . 11) (5 . 12) (6 . 14) (7 . 15)) 4209 0.4452 8.5736 ((2 . 1) (4 . 3) (6 . 5) (7 . 7)) 4210 0.5713 4.9263 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 4226 0.7088 9.4333 ((1 . 13) (3 . 16) (5 . 17) (6 . 18) (7 . 19)) 4236 0.4451 8.8740 ((2 . 5) (3 . 6) (5 . 11) (6 . 10)) 4246 0.2945 8.2961 ((2 . 2) (3 . 3) (6 . 7) (7 . 8)) 4254 0.3790 4.7257 ((2 . 9) (3 . 11) (5 . 12) (6 . 13)) 4257 0.4444 11.4584 ((1 . 4) (4 . 6) (6 . 9) (7 . 10)) 4265 0.5712 5.5809 ((1 . 25) (3 . 26) (5 . 28) (6 . 29)) 4266 0.5695 9.5504 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 4274 0.5944 4.3149 ((1 . 37) (3 . 38) (5 . 39) (6 . 40) (7 . 41)) 4275 0.3790 6.9164 ((3 . 23) (5 . 24) (6 . 25) (7 . 27)) 4281 0.1992 9.4356 ((1 . 7) (2 . 8) (4 . 9) (5 . 11)) 4284 0.1993 6.8623 ((2 . 5) (3 . 6) (5 . 7) (7 . 10)) 4299 0.5713 4.5558 ((1 . 10) (3 . 11) (5 . 13) (6 . 14)) 4301 0.1249 8.4656 ((2 . 1) (3 . 2) (6 . 6) (7 . 8)) 4326 0.5700 8.9241 ((1 . 8) (3 . 10) (5 . 14) (6 . 15)) 4332 0.4452 8.5894 ((1 . 1) (2 . 2) (5 . 5) (7 . 9)) 4352 0.5707 7.5677 ((1 . 7) (3 . 9) (4 . 11) (5 . 12)) 4380 0.5712 5.4140 ((1 . 27) (3 . 29) (6 . 31) (7 . 32)) 4386 0.5709 6.7938 ((1 . 14) (3 . 16) (5 . 17) (7 . 18)) 4388 0.7139 4.8876 ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6)) 4398 0.2478 6.9910 ((1 . 2) (3 . 4) (5 . 5) (7 . 8)) 4405 0.1992 9.0013 ((3 . 19) (5 . 20) (6 . 22) (7 . 23)) 4408 0.2491 5.3357 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7)) 4415 0.5713 4.5155 ((1 . 5) (3 . 9) (5 . 10) (6 . 11)) 4419 0.5683 10.7689 ((1 . 5) (2 . 7) (3 . 8) (6 . 10)) 4426 0.5703 8.3385 ((1 . 1) (3 . 2) (5 . 3) (7 . 4)) 4470 0.1992 10.0333 ((2 . 2) (5 . 4) (6 . 5) (7 . 7)) 4491 0.5713 4.5458 ((3 . 1) (5 . 4) (6 . 5) (7 . 6)) 4492 0.3790 7.0457 ((1 . 10) (3 . 13) (5 . 14) (7 . 18)) 4495 0.5710 6.4472 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 4497 0.1664 9.8160 ((2 . 18) (4 . 20) (6 . 24) (7 . 25)) 4502 0.4453 7.7738 ((1 . 3) (5 . 7) (6 . 9) (7 . 10)) 4504 0.5711 5.9998 ((1 . 12) (3 . 15) (5 . 16) (6 . 17)) 4505 0.3790 7.1446 ((1 . 27) (3 . 30) (5 . 31) (7 . 34)) 4516 0.5712 5.8271 ((2 . 12) (3 . 14) (4 . 15) (5 . 17)) 4538 0.4894 12.1925 ((1 . 27) (4 . 29) (6 . 32) (7 . 33)) 4560 0.5708 7.1676 ((1 . 10) (3 . 11) (6 . 14) (7 . 16)) 4561 0.5711 6.2942 ((1 . 4) (3 . 5) (5 . 6) (6 . 7)) 4562 0.2478 6.6603 ((1 . 23) (5 . 26) (6 . 27) (7 . 29)) 4563 0.5683 10.8309 ((1 . 27) (3 . 28) (5 . 30) (6 . 31)) 4577 0.4901 11.1426 ((1 . 36) (3 . 37) (6 . 41) (7 . 42)) 4579 0.5691 10.0352 ((1 . 11) (4 . 13) (6 . 17) (7 . 18)) 4588 0.2946 5.4725 ((1 . 2) (3 . 3) (5 . 4) (7 . 9)) 4589 0.5699 8.9751 ((2 . 22) (3 . 23) (5 . 26) (6 . 27)) 4607 0.2945 8.2079 ((4 . 21) (5 . 23) (6 . 24) (7 . 27)) 4630 0.5712 5.8365 ((2 . 19) (3 . 20) (6 . 23) (7 . 26)) 4648 0.1664 7.6172 ((3 . 1) (5 . 3) (6 . 5) (7 . 8)) 4653 0.2945 8.5686 ((1 . 2) (2 . 4) (3 . 5) (6 . 8)) 4665 0.5685 10.6645 ((1 . 9) (3 . 11) (6 . 13) (7 . 14)) 4668 0.5695 9.5668 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 4671 0.5714 4.1716 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 4674 0.5713 4.3299 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4678 0.2945 8.3939 ((1 . 2) (4 . 3) (5 . 5) (6 . 6)) 4713 0.4916 6.6274 ((1 . 1) (3 . 3) (6 . 7) (7 . 8)) 4715 0.4911 9.0192 ((1 . 1) (4 . 2) (5 . 4) (7 . 6)) 4731 0.4916 6.8524 ((1 . 13) (2 . 14) (5 . 17) (6 . 18)) 4857 0.4738 4.0598 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 13)) 4886 0.3784 12.1333 ((2 . 1) (4 . 3) (5 . 6) (6 . 4)) 4888 0.1992 12.0137 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 4889 0.5707 7.5289 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 4907 0.4450 9.2632 ((1 . 2) (2 . 4) (3 . 5) (6 . 9)) 4914 0.5705 7.9057 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 4921 0.3788 9.3282 ((2 . 8) (3 . 9) (5 . 13) (6 . 12)) 4929 0.2477 8.4259 ((2 . 28) (3 . 29) (6 . 32) (7 . 33)) 4932 0.5706 7.6572 ((1 . 3) (3 . 6) (5 . 7) (6 . 8)) 4940 0.1993 8.2497 ((1 . 5) (2 . 7) (3 . 8) (7 . 10)) 4944 0.2945 6.9592 ((1 . 10) (3 . 11) (5 . 12) (7 . 13)) 4961 0.5713 4.8398 ((1 . 2) (3 . 3) (5 . 4) (6 . 6)) 4978 0.5712 5.6588 ((1 . 27) (3 . 28) (5 . 29) (6 . 30)) 4982 0.5679 11.1807 ((1 . 2) (3 . 3) (5 . 5) (6 . 6)) 4992 0.7140 4.6501 ((2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 9)) 4998 0.3786 10.9349 ((1 . 2) (3 . 3) (4 . 4) (5 . 5)) 5029 0.5706 7.6464 ((2 . 2) (4 . 5) (5 . 7) (6 . 8)) 5038 0.4918 3.8156 ((2 . 9) (3 . 10) (6 . 15) (7 . 16)) 5039 0.5708 7.2554 ((3 . 37) (4 . 38) (5 . 40) (6 . 41)) 5053 0.5704 8.1900 ((1 . 7) (4 . 8) (6 . 10) (7 . 11)) 5065 0.4449 9.9906 ((1 . 1) (5 . 6) (6 . 8) (7 . 9)) 5068 0.5714 3.1767 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 5069 0.4449 9.7125 ((1 . 14) (5 . 16) (6 . 17) (7 . 18)) 5073 0.5689 10.2374 ((1 . 38) (3 . 39) (4 . 40) (5 . 41)) 5083 0.4455 5.2552 ((2 . 1) (3 . 2) (4 . 3) (7 . 9)) 5101 0.5714 4.2112 ((1 . 6) (3 . 7) (5 . 8) (6 . 10)) 5103 0.4454 6.7844 ((1 . 5) (4 . 7) (5 . 8) (6 . 9)) 5121 0.4453 7.4916 ((1 . 23) (2 . 25) (6 . 30) (7 . 31)) 5132 0.5713 4.6688 ((1 . 14) (3 . 16) (5 . 17) (6 . 18)) 5134 0.5698 9.2337 ((1 . 11) (2 . 14) (5 . 16) (6 . 17)) 5145 0.5714 3.9812 ((3 . 3) (5 . 7) (6 . 8) (7 . 10)) 5176 0.4454 6.3806 ((2 . 82) (3 . 84) (4 . 85) (6 . 87)) 5192 0.5673 11.5896 ((1 . 13) (4 . 15) (5 . 16) (6 . 17)) 5198 0.4450 9.3633 ((1 . 23) (3 . 24) (5 . 25) (7 . 30)) 5209 0.5706 7.6151 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 5212 0.1332 12.1363 ((2 . 23) (3 . 24) (4 . 25) (5 . 27)) 5215 0.5705 8.0417 ((1 . 6) (4 . 8) (6 . 10) (7 . 11)) 5223 0.5713 4.6620 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 5231 0.4916 6.5111 ((3 . 8) (4 . 9) (6 . 13) (7 . 14)) 5266 0.5714 3.8611 ((3 . 10) (5 . 12) (6 . 13) (7 . 15)) 5278 0.5713 4.9943 ((1 . 3) (3 . 7) (6 . 9) (7 . 10)) 5307 0.3790 6.7429 ((3 . 53) (5 . 54) (6 . 55) (7 . 57)) 5312 0.2945 6.6983 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 5318 0.5713 4.7133 ((1 . 7) (3 . 8) (5 . 9) (6 . 11)) 5323 0.5713 5.1716 ((4 . 8) (5 . 9) (6 . 10) (7 . 11)) 5324 0.5710 6.3881 ((2 . 20) (3 . 22) (5 . 23) (6 . 25)) 5344 0.3790 5.5216 ((2 . 2) (3 . 3) (6 . 7) (7 . 8)) 5368 0.5697 9.3487 ((1 . 40) (3 . 43) (4 . 44) (7 . 47)) 5378 0.5713 4.5414 ((3 . 4) (5 . 5) (6 . 6) (7 . 7)) 5411 0.7139 4.8180 ((1 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 8)) 5414 0.4450 9.3536 ((2 . 15) (4 . 17) (6 . 20) (7 . 21)) 5418 0.2478 7.4217 ((1 . 4) (2 . 5) (3 . 7) (5 . 10)) 5433 0.4455 5.7741 ((2 . 7) (3 . 8) (6 . 13) (7 . 16)) 5479 0.4453 7.3492 ((2 . 56) (3 . 58) (6 . 62) (7 . 63)) 5487 0.3790 7.4978 ((3 . 4) (4 . 5) (5 . 8) (7 . 9)) 5500 0.5714 4.1788 ((1 . 10) (3 . 12) (5 . 13) (6 . 14)) 5501 0.5705 7.8588 ((2 . 17) (3 . 20) (4 . 21) (5 . 22)) 5525 0.5700 8.8813 ((1 . 2) (4 . 3) (5 . 5) (7 . 7)) 5540 0.3790 5.3821 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 5557 0.5711 5.9563 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 5560 0.5666 12.0720 ((1 . 5) (4 . 6) (5 . 8) (6 . 9)) 5562 0.7139 4.7463 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 11)) 5567 0.5713 4.3824 ((1 . 10) (3 . 11) (5 . 14) (6 . 15)) 5594 0.2945 6.7679 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 5600 0.5713 4.8596 ((3 . 3) (5 . 4) (6 . 5) (7 . 6)) 5601 0.5704 8.1038 ((1 . 11) (2 . 12) (3 . 15) (6 . 16)) 5640 0.2945 7.6022 ((2 . 9) (3 . 10) (6 . 12) (7 . 14)) 5656 0.3789 8.7068 ((2 . 9) (3 . 10) (4 . 11) (6 . 14)) 5700 0.2477 11.2081 ((1 . 7) (2 . 6) (3 . 8) (6 . 11)) 5701 0.3790 6.5022 ((2 . 11) (3 . 12) (5 . 13) (6 . 14)) 5703 0.5704 8.0748 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 5713 0.2477 8.2650 ((2 . 19) (3 . 20) (6 . 22) (7 . 24)) 5718 0.5700 8.9298 ((2 . 17) (3 . 18) (5 . 22) (6 . 23)) 5731 0.4453 7.3375 ((2 . 7) (4 . 8) (6 . 12) (7 . 13)) 5746 0.5701 8.6364 ((1 . 1) (4 . 4) (6 . 7) (7 . 9)) 5749 0.1993 6.9410 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 5761 0.5711 5.9800 ((2 . 31) (4 . 33) (5 . 34) (6 . 36)) 5770 0.5707 7.5705 ((1 . 5) (2 . 6) (5 . 10) (6 . 12)) 5771 0.2945 9.1171 ((1 . 19) (2 . 20) (3 . 21) (5 . 22)) 5782 0.7136 5.5441 ((2 . 26) (3 . 27) (4 . 28) (5 . 31) (6 . 32)) 5794 0.4455 5.9093 ((2 . 18) (3 . 19) (5 . 22) (6 . 23)) 5795 0.3789 8.8631 ((1 . 12) (3 . 13) (4 . 14) (5 . 15)) 5809 0.5714 3.5759 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 5822 0.5706 7.7000 ((2 . 1) (5 . 5) (6 . 6) (7 . 7)) 5827 0.4455 4.0231 ((1 . 6) (3 . 8) (5 . 10) (6 . 11)) 5830 0.5713 5.1323 ((2 . 2) (3 . 3) (4 . 5) (6 . 8)) 5847 0.5706 7.6269 ((2 . 15) (3 . 16) (6 . 18) (7 . 20)) 5878 0.2945 9.6080 ((1 . 23) (4 . 24) (6 . 29) (7 . 30)) 5896 0.5712 5.7839 ((2 . 28) (3 . 29) (5 . 30) (6 . 31)) 5904 0.5675 11.4255 ((1 . 2) (4 . 3) (5 . 5) (7 . 7)) 5913 0.5711 5.9419 ((1 . 11) (3 . 13) (5 . 14) (6 . 15)) 5914 0.1993 6.1691 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 5922 0.3776 14.9694 ((2 . 4) (3 . 3) (5 . 7) (6 . 8)) 5930 0.5696 9.4032 ((1 . 5) (4 . 6) (6 . 9) (7 . 11)) 5939 0.2945 6.9029 ((2 . 4) (4 . 5) (5 . 7) (6 . 9)) 5945 0.5713 5.1207 ((1 . 5) (3 . 7) (5 . 8) (6 . 9)) 5949 0.5714 4.0727 ((1 . 8) (3 . 9) (5 . 13) (6 . 14)) 5955 0.2945 6.0705 ((1 . 10) (4 . 12) (5 . 13) (7 . 16)) 5967 0.3789 8.8678 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 5972 0.5714 3.3753 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 5977 0.1993 8.3648 ((3 . 1) (5 . 2) (6 . 3) (7 . 5)) 6000 0.4453 7.6258 ((1 . 27) (3 . 28) (5 . 30) (6 . 31)) 6011 0.5694 9.6655 ((1 . 17) (2 . 19) (3 . 18) (5 . 21)) 6022 0.2945 7.7661 ((2 . 2) (3 . 4) (6 . 7) (7 . 9)) 6028 0.5681 11.0119 ((2 . 1) (3 . 2) (4 . 4) (5 . 8)) 6029 0.5708 7.1236 ((2 . 18) (3 . 19) (4 . 20) (6 . 21)) 6041 0.5685 10.6744 ((1 . 6) (3 . 8) (5 . 9) (6 . 10)) 6046 0.5712 5.5546 ((2 . 2) (3 . 3) (5 . 7) (6 . 6)) 6061 0.5713 4.6430 ((1 . 16) (3 . 17) (5 . 18) (6 . 20)) 6075 0.5682 10.9174 ((1 . 19) (3 . 20) (5 . 22) (6 . 24)) 6079 0.5712 5.8310 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 6089 0.4449 10.0039 ((1 . 15) (2 . 16) (4 . 19) (5 . 20)) 6094 0.4455 4.4137 ((3 . 5) (5 . 6) (6 . 13) (7 . 14)) 6099 0.5708 7.1614 ((2 . 24) (3 . 25) (6 . 28) (7 . 29)) 6123 0.3790 4.9893 ((2 . 2) (3 . 3) (6 . 5) (7 . 4)) 6142 0.5710 6.5804 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 6148 0.4455 5.4682 ((3 . 32) (5 . 35) (6 . 36) (7 . 37)) 6167 0.4452 8.1058 ((2 . 9) (3 . 10) (6 . 14) (7 . 17)) 6173 0.5664 12.1684 ((2 . 13) (3 . 15) (4 . 14) (5 . 16)) 6191 0.4909 9.5042 ((1 . 1) (5 . 5) (6 . 6) (7 . 9)) 6192 0.5700 8.9047 ((1 . 7) (4 . 9) (6 . 11) (7 . 13)) 6215 0.5712 5.3642 ((2 . 19) (3 . 20) (5 . 22) (6 . 24)) 6225 0.5714 4.0227 ((2 . 4) (3 . 5) (5 . 11) (6 . 12)) 6228 0.5667 12.0113 ((1 . 2) (3 . 5) (5 . 6) (6 . 7)) 6234 0.2945 6.6405 ((2 . 6) (3 . 7) (6 . 10) (7 . 13)) 6238 0.5693 9.7705 ((1 . 1) (4 . 2) (6 . 4) (7 . 5)) 6243 0.4455 3.3970 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 6251 0.1993 8.2287 ((1 . 9) (3 . 10) (5 . 11) (7 . 15)) 6258 0.4451 9.2128 ((1 . 2) (4 . 5) (6 . 7) (7 . 9)) 6261 0.5697 9.3538 ((1 . 2) (3 . 3) (5 . 7) (6 . 9)) 6266 0.1992 11.2851 ((1 . 2) (3 . 5) (5 . 7) (6 . 6)) 6270 0.5713 4.3839 ((3 . 15) (5 . 16) (6 . 17) (7 . 18)) 6271 0.3789 8.0777 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 6273 0.2477 9.0829 ((2 . 2) (3 . 3) (6 . 6) (7 . 7)) 6294 0.5705 7.8680 ((1 . 21) (3 . 25) (5 . 26) (6 . 27)) 6306 0.4453 7.4536 ((3 . 16) (5 . 18) (6 . 19) (7 . 21)) 6309 0.4451 8.7426 ((1 . 16) (3 . 17) (5 . 19) (6 . 20)) 6326 0.2946 4.6433 ((2 . 6) (3 . 7) (6 . 11) (7 . 12)) 6344 0.1993 8.2670 ((2 . 13) (3 . 14) (4 . 16) (6 . 19)) 6345 0.5699 8.9959 ((1 . 1) (2 . 4) (3 . 5) (7 . 6)) 6348 0.5713 4.6426 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 6356 0.4454 6.3469 ((1 . 8) (3 . 11) (5 . 12) (6 . 13)) 6369 0.4452 8.6230 ((1 . 27) (3 . 29) (5 . 30) (6 . 31)) 6376 0.5713 4.5963 ((1 . 16) (3 . 17) (5 . 18) (6 . 19)) 6391 0.5606 14.8609 ((1 . 4) (4 . 5) (6 . 6) (7 . 8)) 6392 0.5712 5.3248 ((3 . 1) (5 . 8) (6 . 15) (7 . 9)) 6399 0.5706 7.6870 ((2 . 5) (3 . 6) (6 . 8) (7 . 10)) 6403 0.5714 3.6966 ((2 . 14) (3 . 15) (5 . 16) (6 . 17)) 6434 0.3790 6.0618 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 6462 0.5711 6.0871 ((1 . 19) (5 . 21) (6 . 22) (7 . 24)) 6476 0.5943 4.8752 ((1 . 1) (3 . 4) (4 . 5) (5 . 7) (7 . 9)) 6498 0.3788 9.7934 ((1 . 23) (2 . 24) (4 . 27) (5 . 28)) 6520 0.5706 7.6276 ((2 . 10) (4 . 11) (5 . 12) (6 . 14)) 6539 0.3790 5.2422 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 6540 0.1992 12.2272 ((1 . 4) (3 . 5) (5 . 8) (7 . 9)) 6548 0.2477 7.9103 ((2 . 5) (5 . 8) (6 . 9) (7 . 12)) 6555 0.4442 11.8440 ((1 . 8) (3 . 10) (5 . 12) (7 . 15)) 6561 0.1992 14.9996 ((1 . 2) (4 . 4) (5 . 5) (7 . 7)) 6575 0.5703 8.3865 ((2 . 2) (3 . 1) (4 . 3) (5 . 6)) 6578 0.2945 10.3526 ((1 . 36) (2 . 38) (4 . 39) (5 . 40)) 6584 0.5698 9.2042 ((1 . 1) (4 . 4) (6 . 6) (7 . 7)) 6585 0.5706 7.6498 ((3 . 8) (5 . 9) (6 . 10) (7 . 11)) 6587 0.3786 10.7820 ((1 . 32) (3 . 34) (4 . 35) (5 . 36)) 6598 0.5708 7.2967 ((2 . 24) (3 . 25) (6 . 27) (7 . 28)) 6613 0.5713 4.6993 ((1 . 23) (3 . 24) (5 . 25) (6 . 27)) 6635 0.4454 6.9516 ((1 . 3) (2 . 5) (4 . 6) (5 . 9)) END