2381 41 0.6615 10.1241 ((2 . 4) (4 . 5) (6 . 7) (8 . 8)) 62 0.6657 6.5787 ((2 . 9) (3 . 10) (4 . 12) (8 . 15)) 64 0.6661 5.8160 ((3 . 13) (4 . 14) (5 . 15) (8 . 16)) 77 0.6601 10.7741 ((3 . 6) (4 . 7) (5 . 8) (8 . 10)) 91 0.6665 4.5063 ((2 . 39) (3 . 40) (5 . 42) (8 . 46)) 96 0.1996 7.2562 ((2 . 2) (3 . 3) (6 . 5) (8 . 7)) 129 0.6648 7.8188 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 136 0.8298 6.9385 ((2 . 2) (3 . 3) (5 . 5) (6 . 7) (8 . 9)) 150 0.6656 6.8683 ((2 . 18) (3 . 19) (4 . 20) (6 . 23)) 153 0.6655 7.0012 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 157 0.6646 8.0156 ((2 . 2) (4 . 3) (5 . 5) (8 . 6)) 161 0.1499 6.4001 ((2 . 7) (3 . 8) (4 . 10) (5 . 9)) 162 0.3879 7.7172 ((2 . 16) (3 . 17) (4 . 18) (6 . 20)) 169 0.6654 7.0953 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 191 0.8329 4.0992 ((2 . 3) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 198 0.6660 6.0880 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 233 0.1996 7.6307 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 300 0.6655 7.0213 ((2 . 5) (4 . 9) (5 . 10) (8 . 11)) 305 0.6614 10.1497 ((2 . 10) (4 . 15) (5 . 16) (6 . 17)) 307 0.1996 8.2505 ((2 . 2) (3 . 3) (5 . 7) (8 . 10)) 315 0.6632 9.1192 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 340 0.6660 5.9772 ((3 . 1) (4 . 2) (5 . 4) (6 . 7)) 350 0.6660 6.1366 ((2 . 3) (4 . 5) (5 . 7) (6 . 8)) 360 0.6666 2.4690 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 361 0.6666 3.8853 ((3 . 2) (4 . 10) (5 . 11) (8 . 13)) 365 0.6663 5.3402 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 367 0.6654 7.0723 ((3 . 40) (4 . 42) (5 . 43) (6 . 44)) 372 0.6664 4.5990 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 387 0.6655 6.9177 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 405 0.6657 6.5735 ((3 . 37) (4 . 38) (5 . 39) (6 . 40)) 420 0.6662 5.4383 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 433 0.6659 6.3399 ((2 . 4) (3 . 6) (4 . 7) (6 . 9)) 442 0.6646 8.0705 ((2 . 11) (3 . 12) (5 . 14) (8 . 15)) 460 0.6666 3.4053 ((3 . 6) (4 . 7) (5 . 8) (8 . 9)) 472 0.6534 12.9104 ((3 . 20) (4 . 21) (5 . 22) (8 . 23)) 495 0.6656 6.8282 ((2 . 6) (3 . 8) (4 . 9) (5 . 11)) 541 0.6664 4.8386 ((2 . 6) (3 . 7) (5 . 11) (8 . 13)) 561 0.6652 7.4210 ((2 . 2) (3 . 1) (5 . 3) (6 . 4)) 584 0.6639 8.6377 ((2 . 9) (3 . 10) (5 . 13) (6 . 15)) 587 0.6662 5.4770 ((3 . 3) (4 . 4) (5 . 6) (6 . 7)) 609 0.6665 4.1991 ((2 . 2) (3 . 3) (5 . 6) (8 . 7)) 619 0.6656 6.8192 ((3 . 8) (4 . 9) (5 . 11) (6 . 12)) 624 0.6645 8.1140 ((3 . 7) (4 . 9) (6 . 11) (8 . 12)) 635 0.6664 4.7815 ((3 . 13) (4 . 14) (5 . 15) (8 . 17)) 672 0.6653 7.1809 ((2 . 19) (3 . 22) (4 . 23) (5 . 24)) 678 0.6661 5.7396 ((3 . 22) (4 . 24) (5 . 26) (8 . 28)) 683 0.6661 5.7929 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 719 0.2495 4.8796 ((3 . 23) (4 . 22) (5 . 25) (6 . 27) (8 . 29)) 729 0.6666 3.1364 ((2 . 14) (3 . 15) (5 . 17) (6 . 20)) 735 0.6661 5.8865 ((3 . 32) (4 . 33) (5 . 36) (6 . 37)) 740 0.8328 4.2502 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6)) 765 0.2969 10.0687 ((3 . 12) (4 . 18) (5 . 17) (6 . 19)) 767 0.0999 6.5456 ((3 . 29) (4 . 31) (5 . 32) (8 . 33)) 795 0.6662 5.6259 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 796 0.6646 8.0070 ((2 . 1) (4 . 3) (6 . 5) (8 . 7)) 801 0.6653 7.1707 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 818 0.6662 5.4747 ((3 . 4) (4 . 7) (5 . 8) (8 . 11)) 819 0.6662 5.4735 ((4 . 8) (5 . 9) (6 . 10) (8 . 11)) 824 0.6657 6.5438 ((3 . 46) (4 . 49) (5 . 50) (6 . 51)) 861 0.6665 4.5362 ((3 . 1) (4 . 2) (5 . 3) (8 . 4)) 901 0.3858 16.0616 ((2 . 6) (3 . 7) (5 . 9) (8 . 11)) 904 0.8246 8.7448 ((2 . 1) (3 . 2) (4 . 7) (5 . 3) (8 . 5)) 928 0.6665 4.2472 ((2 . 9) (3 . 10) (5 . 12) (8 . 13)) 943 0.6663 5.0839 ((2 . 5) (3 . 6) (5 . 8) (8 . 10)) 945 0.2970 8.2327 ((2 . 13) (3 . 14) (5 . 17) (8 . 20)) 960 0.6612 10.2893 ((3 . 1) (4 . 2) (5 . 4) (8 . 5)) 978 0.6643 8.3294 ((2 . 12) (3 . 13) (5 . 16) (8 . 18)) 980 0.2969 9.9700 ((2 . 6) (3 . 7) (5 . 9) (8 . 10)) 1007 0.6658 6.3805 ((3 . 12) (4 . 13) (5 . 14) (8 . 15)) 1034 0.6666 3.7694 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 1043 0.6659 6.1561 ((2 . 9) (3 . 10) (5 . 12) (6 . 14)) 1082 0.6607 10.5051 ((3 . 1) (4 . 2) (5 . 4) (8 . 5)) 1084 0.5249 12.6523 ((2 . 5) (5 . 9) (6 . 10) (8 . 15)) 1121 0.8290 7.3338 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1165 0.8330 3.9136 ((2 . 11) (3 . 12) (4 . 19) (5 . 21) (8 . 23)) 1167 0.6655 7.0107 ((2 . 19) (5 . 20) (6 . 21) (8 . 24)) 1169 0.6655 6.9636 ((3 . 29) (4 . 30) (5 . 31) (6 . 32)) 1195 0.8288 7.4179 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6)) 1201 0.6652 7.3544 ((2 . 5) (3 . 7) (5 . 9) (6 . 11)) 1204 0.6654 7.1506 ((2 . 2) (3 . 3) (5 . 5) (8 . 8)) 1211 0.6649 7.6964 ((3 . 9) (4 . 10) (5 . 11) (6 . 14)) 1224 0.6635 8.9631 ((4 . 6) (5 . 7) (6 . 9) (8 . 11)) 1233 0.6662 5.5490 ((2 . 21) (3 . 22) (4 . 23) (5 . 24)) 1267 0.6657 6.6534 ((2 . 14) (3 . 15) (5 . 17) (8 . 20)) 1294 0.6662 5.6456 ((3 . 39) (4 . 40) (5 . 41) (6 . 42)) 1345 0.0999 5.9332 ((3 . 13) (4 . 14) (5 . 16) (8 . 17)) 1366 0.8285 7.5114 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17)) 1388 0.6660 6.0059 ((2 . 3) (3 . 4) (4 . 5) (8 . 10)) 1410 0.6644 8.1936 ((3 . 20) (4 . 21) (5 . 22) (6 . 23)) 1425 0.6652 7.3221 ((3 . 6) (4 . 8) (5 . 10) (6 . 11)) 1447 0.6662 5.4511 ((2 . 2) (3 . 3) (5 . 5) (8 . 8)) 1451 0.6633 9.1011 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 1464 0.6665 3.9981 ((3 . 7) (4 . 8) (5 . 10) (8 . 12)) 1472 0.6627 9.4887 ((2 . 5) (5 . 7) (6 . 8) (8 . 10)) 1476 0.8329 4.1571 ((2 . 10) (3 . 11) (4 . 14) (5 . 15) (8 . 17)) 1481 0.6659 6.2381 ((2 . 3) (5 . 4) (6 . 5) (8 . 8)) 1501 0.6662 5.6014 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1513 0.6647 7.9431 ((2 . 4) (5 . 6) (6 . 8) (8 . 9)) 1514 0.6657 6.6309 ((2 . 2) (3 . 3) (4 . 4) (6 . 6)) 1577 0.1996 7.7479 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 1591 0.1499 9.8014 ((2 . 2) (3 . 1) (5 . 4) (8 . 5)) 1604 0.6665 4.1157 ((2 . 6) (3 . 7) (5 . 10) (8 . 11)) 1622 0.6640 8.5222 ((2 . 19) (3 . 20) (5 . 22) (6 . 23)) 1624 0.6657 6.6374 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1643 0.8258 8.4238 ((2 . 29) (3 . 32) (4 . 33) (5 . 34) (6 . 36)) 1644 0.6659 6.2966 ((3 . 44) (4 . 46) (5 . 47) (6 . 48)) 1665 0.1499 3.9730 ((2 . 7) (3 . 8) (5 . 10) (8 . 11)) 1690 0.6666 3.6398 ((2 . 7) (3 . 8) (5 . 11) (8 . 12)) 1692 0.3878 8.7301 ((2 . 4) (3 . 5) (4 . 7) (6 . 8)) 1731 0.6595 11.0036 ((2 . 5) (3 . 6) (5 . 8) (8 . 9)) 1738 0.1996 8.2393 ((2 . 16) (3 . 18) (4 . 19) (6 . 23)) 1747 0.8328 4.3399 ((2 . 20) (3 . 25) (4 . 27) (5 . 28) (6 . 31)) 1756 0.6659 6.3088 ((3 . 21) (4 . 23) (5 . 24) (6 . 26)) 1759 0.6663 5.2804 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 1761 0.6662 5.3976 ((2 . 8) (3 . 9) (5 . 11) (8 . 14)) 1763 0.1996 11.2160 ((2 . 6) (5 . 9) (6 . 10) (8 . 11)) 1776 0.6634 9.0397 ((2 . 6) (3 . 7) (5 . 9) (8 . 13)) 1777 0.6654 7.1258 ((3 . 37) (4 . 42) (5 . 43) (6 . 45)) 1778 0.8331 3.3217 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 6)) 1793 0.6666 3.8761 ((2 . 9) (3 . 10) (5 . 11) (8 . 15)) 1805 0.6660 6.0264 ((3 . 3) (4 . 4) (5 . 7) (6 . 8)) 1808 0.6662 5.5919 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 1817 0.6666 3.2291 ((3 . 18) (4 . 19) (5 . 20) (8 . 21)) 1894 0.6660 6.1176 ((3 . 19) (4 . 20) (5 . 21) (6 . 22)) 1896 0.2487 9.9007 ((2 . 21) (4 . 23) (6 . 26) (8 . 28)) 1897 0.1499 11.1181 ((2 . 37) (4 . 39) (5 . 40) (8 . 44)) 1908 0.6599 10.8261 ((2 . 14) (3 . 15) (5 . 17) (8 . 19)) 1909 0.6666 3.8567 ((2 . 30) (3 . 31) (5 . 34) (8 . 38)) 1913 0.6659 6.1748 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 1944 0.6657 6.6955 ((2 . 4) (3 . 5) (5 . 7) (8 . 8)) 1957 0.6665 4.4117 ((2 . 10) (3 . 11) (5 . 13) (8 . 14)) 1961 0.6638 8.7057 ((2 . 12) (4 . 14) (5 . 15) (6 . 16)) 1967 0.6664 4.7499 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 1972 0.6663 5.2131 ((2 . 17) (3 . 18) (5 . 20) (8 . 25)) 1992 0.6642 8.4281 ((2 . 8) (3 . 9) (5 . 12) (6 . 14)) 1995 0.6664 4.6523 ((3 . 3) (4 . 7) (5 . 8) (6 . 11)) 2003 0.6665 4.3325 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 2006 0.6665 4.5431 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 2048 0.6591 11.1527 ((2 . 3) (3 . 4) (5 . 6) (8 . 10)) 2063 0.6662 5.5275 ((3 . 42) (4 . 43) (5 . 44) (6 . 45)) 2065 0.6662 5.5942 ((2 . 15) (3 . 18) (5 . 22) (6 . 23)) 2072 0.8286 7.4626 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (8 . 8)) 2081 0.8266 8.1711 ((2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 23)) 2083 0.6658 6.4485 ((2 . 3) (3 . 4) (4 . 5) (8 . 8)) 2097 0.1333 16.7975 ((2 . 2) (4 . 5) (6 . 7) (8 . 10)) 2114 0.6658 6.5105 ((4 . 32) (5 . 34) (6 . 36) (8 . 37)) 2116 0.6661 5.7426 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2117 0.6663 5.3149 ((4 . 12) (5 . 16) (6 . 17) (8 . 19)) 2118 0.6656 6.7639 ((2 . 6) (3 . 5) (5 . 7) (8 . 8)) 2122 0.6644 8.1678 ((2 . 5) (3 . 6) (5 . 8) (8 . 11)) 2166 0.6661 5.8021 ((2 . 10) (3 . 12) (4 . 13) (6 . 15)) 2179 0.8285 7.5163 ((3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 12)) 2196 0.6659 6.2100 ((3 . 15) (4 . 16) (5 . 17) (6 . 18)) 2205 0.6660 6.0455 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 2209 0.8326 4.7270 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8)) 2243 0.6663 5.3633 ((3 . 52) (4 . 53) (5 . 54) (6 . 55)) 2244 0.6666 3.5614 ((3 . 70) (4 . 71) (5 . 74) (6 . 75)) 2249 0.6647 7.9598 ((3 . 12) (5 . 16) (6 . 17) (8 . 19)) 2269 0.6651 7.5323 ((3 . 6) (4 . 7) (5 . 8) (8 . 9)) 2279 0.6654 7.1084 ((2 . 1) (3 . 3) (4 . 5) (6 . 7)) 2298 0.6665 4.2165 ((2 . 5) (3 . 6) (5 . 8) (8 . 11)) 2308 0.6646 8.0728 ((3 . 4) (4 . 5) (5 . 6) (8 . 7)) 2314 0.6532 12.9493 ((2 . 1) (4 . 2) (5 . 3) (6 . 4)) 2340 0.2987 7.7671 ((2 . 8) (3 . 9) (5 . 11) (6 . 13) (8 . 15)) 2344 0.3878 9.0692 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 2364 0.6667 2.1006 ((2 . 16) (3 . 18) (4 . 19) (5 . 20)) 2381 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 2389 0.6666 2.6740 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2408 0.6652 7.3314 ((3 . 40) (4 . 41) (5 . 42) (6 . 45)) 2409 0.6654 7.1273 ((2 . 1) (4 . 4) (5 . 5) (6 . 6)) 2410 0.6656 6.8335 ((2 . 12) (3 . 13) (5 . 16) (6 . 17)) 2422 0.1996 6.1373 ((3 . 6) (4 . 7) (5 . 8) (8 . 10)) 2423 0.6620 9.8660 ((2 . 18) (4 . 20) (5 . 21) (6 . 22)) 2440 0.8296 7.0667 ((2 . 5) (3 . 4) (5 . 7) (6 . 8) (8 . 10)) 2447 0.6632 9.1612 ((2 . 19) (3 . 21) (5 . 24) (8 . 27)) 2462 0.6640 8.5672 ((2 . 2) (4 . 3) (5 . 4) (8 . 5)) 2510 0.6666 3.6426 ((2 . 22) (3 . 23) (5 . 25) (8 . 28)) 2525 0.6648 7.8685 ((3 . 41) (4 . 43) (5 . 45) (8 . 46)) 2529 0.8293 7.1911 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 7)) 2533 0.6661 5.6758 ((2 . 5) (3 . 6) (5 . 8) (8 . 11)) 2551 0.2970 7.3466 ((2 . 8) (3 . 9) (4 . 11) (5 . 12)) 2552 0.2969 9.8700 ((2 . 2) (3 . 3) (5 . 5) (8 . 7)) 2556 0.6666 3.6849 ((2 . 12) (3 . 13) (5 . 16) (8 . 17)) 2557 0.2970 8.1444 ((3 . 3) (5 . 6) (6 . 7) (8 . 8)) 2561 0.1333 8.8739 ((2 . 5) (4 . 6) (5 . 7) (6 . 8)) 2595 0.1996 6.5241 ((2 . 7) (3 . 9) (5 . 11) (8 . 14)) 2619 0.6666 2.4248 ((3 . 1) (4 . 2) (5 . 3) (8 . 4)) 2627 0.6622 9.7284 ((2 . 59) (3 . 60) (5 . 64) (6 . 65)) 2658 0.2970 7.1254 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 2675 0.6655 6.9830 ((3 . 8) (4 . 10) (5 . 11) (6 . 12)) 2682 0.6660 5.9640 ((2 . 16) (3 . 17) (5 . 19) (8 . 21)) 2696 0.6664 4.7271 ((3 . 34) (4 . 35) (5 . 36) (6 . 37)) 2733 0.6659 6.2997 ((2 . 7) (3 . 8) (5 . 11) (8 . 14)) 2755 0.6662 5.3864 ((2 . 2) (3 . 3) (5 . 5) (8 . 7)) 2773 0.6641 8.4939 ((2 . 4) (3 . 5) (4 . 6) (8 . 8)) 2783 0.8304 6.6372 ((2 . 4) (3 . 6) (4 . 7) (5 . 8) (8 . 9)) 2804 0.6586 11.3331 ((3 . 32) (4 . 34) (6 . 36) (8 . 37)) 2821 0.8328 4.3252 ((3 . 1) (4 . 2) (5 . 3) (6 . 5) (8 . 10)) 2830 0.6666 3.2349 ((2 . 10) (3 . 11) (5 . 13) (8 . 14)) 2834 0.6649 7.7506 ((3 . 1) (5 . 3) (6 . 5) (8 . 7)) 2840 0.6657 6.6087 ((2 . 3) (3 . 5) (4 . 6) (6 . 8)) 2842 0.6665 3.9857 ((2 . 3) (3 . 4) (4 . 5) (8 . 8)) 2879 0.6664 4.7804 ((3 . 51) (4 . 52) (5 . 53) (6 . 54)) 2886 0.6662 5.5376 ((3 . 37) (4 . 38) (5 . 39) (6 . 41)) 2929 0.6657 6.6538 ((2 . 37) (3 . 36) (5 . 39) (6 . 40)) 2940 0.8285 7.5078 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (8 . 9)) 2947 0.2970 7.8955 ((4 . 2) (5 . 3) (6 . 4) (8 . 5)) 2966 0.6666 3.8266 ((3 . 1) (4 . 3) (5 . 4) (6 . 9)) 2990 0.6658 6.4590 ((2 . 17) (4 . 19) (5 . 20) (8 . 21)) 2999 0.6661 5.7105 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 3014 0.1499 5.7802 ((2 . 3) (3 . 4) (4 . 5) (5 . 25)) 3019 0.6656 6.8717 ((2 . 18) (3 . 19) (6 . 22) (8 . 24)) 3034 0.6628 9.3831 ((3 . 1) (4 . 5) (6 . 7) (8 . 8)) 3041 0.6666 3.4003 ((2 . 17) (3 . 18) (5 . 22) (6 . 24)) 3055 0.6665 4.0065 ((3 . 8) (4 . 9) (5 . 12) (6 . 15)) 3063 0.6658 6.5008 ((3 . 35) (4 . 37) (5 . 38) (6 . 39)) 3070 0.6651 7.4284 ((2 . 31) (3 . 33) (5 . 35) (6 . 36)) 3084 0.6663 5.1800 ((2 . 12) (3 . 13) (5 . 15) (8 . 16)) 3102 0.8007 12.3913 ((2 . 64) (3 . 67) (4 . 68) (5 . 69) (6 . 70)) 3103 0.6655 6.9746 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 3120 0.6653 7.2511 ((2 . 20) (3 . 21) (4 . 22) (6 . 25)) 3127 0.6666 3.5425 ((2 . 9) (3 . 11) (5 . 13) (8 . 16)) 3147 0.6666 2.5807 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3176 0.6640 8.5832 ((3 . 26) (4 . 27) (5 . 29) (8 . 31)) 3187 0.6657 6.6141 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 3190 0.6666 3.8069 ((2 . 7) (3 . 9) (5 . 11) (8 . 12)) 3197 0.6662 5.6147 ((2 . 11) (3 . 12) (5 . 14) (8 . 17)) 3200 0.6643 8.3310 ((2 . 8) (3 . 9) (4 . 11) (8 . 14)) 3212 0.6656 6.8193 ((4 . 2) (5 . 3) (6 . 5) (8 . 7)) 3222 0.6659 6.2022 ((2 . 9) (3 . 15) (4 . 16) (6 . 19)) 3256 0.6646 8.0137 ((3 . 24) (4 . 25) (5 . 26) (6 . 28)) 3261 0.8298 6.9455 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3286 0.2970 5.1493 ((3 . 4) (4 . 5) (6 . 7) (8 . 8)) 3289 0.1499 9.3551 ((3 . 27) (4 . 29) (5 . 30) (6 . 31)) 3297 0.6641 8.4386 ((3 . 9) (4 . 11) (5 . 12) (6 . 13)) 3322 0.6663 5.0245 ((2 . 2) (3 . 3) (5 . 5) (8 . 8)) 3334 0.0999 13.2831 ((2 . 2) (3 . 5) (4 . 6) (8 . 9)) 3339 0.6666 3.7996 ((2 . 10) (3 . 11) (5 . 15) (8 . 16)) 3358 0.6666 3.6570 ((2 . 3) (3 . 4) (5 . 7) (8 . 9)) 3362 0.6641 8.5026 ((2 . 5) (3 . 6) (5 . 8) (6 . 10)) 3366 0.6643 8.2954 ((3 . 23) (4 . 24) (5 . 26) (6 . 27)) 3391 0.8269 8.0798 ((2 . 5) (3 . 6) (4 . 8) (5 . 10) (8 . 12)) 3410 0.6663 5.1188 ((3 . 19) (4 . 21) (5 . 24) (8 . 29)) 3418 0.8204 9.6865 ((2 . 3) (3 . 2) (4 . 5) (5 . 6) (6 . 7)) 3472 0.6665 4.3783 ((3 . 5) (4 . 6) (5 . 8) (6 . 9)) 3481 0.6661 5.8614 ((2 . 3) (3 . 4) (5 . 8) (8 . 11)) 3489 0.6662 5.5561 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 3495 0.0999 9.3910 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 3537 0.6610 10.3504 ((2 . 8) (3 . 9) (4 . 10) (8 . 12)) 3538 0.6666 3.1748 ((2 . 17) (3 . 18) (4 . 20) (8 . 22)) 3548 0.6661 5.9174 ((3 . 6) (4 . 8) (5 . 9) (6 . 10)) 3549 0.0999 4.6927 ((3 . 2) (4 . 3) (6 . 5) (8 . 7)) 3561 0.6664 4.9626 ((2 . 27) (3 . 28) (4 . 30) (5 . 31)) 3570 0.6660 6.0961 ((2 . 2) (5 . 4) (6 . 7) (8 . 9)) 3585 0.8248 8.6901 ((3 . 8) (4 . 11) (5 . 12) (6 . 13) (8 . 15)) 3626 0.6662 5.5177 ((3 . 3) (4 . 6) (5 . 8) (6 . 11)) 3628 0.8317 5.7351 ((2 . 5) (3 . 6) (5 . 8) (6 . 9) (8 . 11)) 3651 0.6660 5.9335 ((2 . 2) (3 . 3) (5 . 5) (8 . 7)) 3658 0.8332 3.2582 ((2 . 2) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3659 0.6660 6.0043 ((2 . 4) (3 . 5) (4 . 7) (5 . 8)) 3661 0.1996 10.1370 ((2 . 6) (3 . 8) (5 . 11) (6 . 12)) 3663 0.0999 7.2006 ((3 . 1) (4 . 2) (6 . 5) (8 . 6)) 3697 0.6660 6.1069 ((3 . 1) (4 . 3) (5 . 4) (8 . 5)) 3703 0.8315 5.8642 ((3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 3732 0.6637 8.7897 ((2 . 6) (3 . 7) (5 . 9) (8 . 13)) 3733 0.6642 8.3887 ((2 . 4) (3 . 6) (5 . 8) (8 . 9)) 3740 0.6665 4.3229 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 3741 0.6662 5.4360 ((3 . 13) (4 . 14) (5 . 16) (6 . 17)) 3776 0.6657 6.5884 ((2 . 18) (4 . 21) (6 . 24) (8 . 25)) 3778 0.6665 4.1385 ((3 . 2) (4 . 3) (5 . 4) (6 . 7)) 3787 0.6665 4.3692 ((2 . 32) (3 . 33) (5 . 35) (8 . 37)) 3790 0.8308 6.3845 ((2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 27)) 3807 0.6661 5.8795 ((4 . 43) (5 . 46) (6 . 47) (8 . 49)) 3810 0.6664 4.6034 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 3817 0.6664 4.8247 ((2 . 3) (3 . 5) (5 . 7) (8 . 8)) 3818 0.6654 7.1128 ((2 . 21) (3 . 20) (5 . 23) (8 . 27)) 3831 0.6656 6.8563 ((2 . 1) (4 . 2) (5 . 3) (8 . 4)) 3847 0.6650 7.6489 ((2 . 12) (3 . 13) (4 . 16) (5 . 17)) 3849 0.6665 4.2035 ((3 . 2) (4 . 3) (5 . 5) (8 . 7)) 3853 0.6655 6.9349 ((2 . 2) (3 . 3) (5 . 6) (8 . 9)) 3870 0.6654 7.0719 ((2 . 2) (3 . 3) (5 . 5) (8 . 7)) 3933 0.3879 7.6266 ((3 . 7) (4 . 9) (5 . 10) (6 . 11)) 3938 0.6650 7.5916 ((2 . 1) (3 . 2) (4 . 4) (6 . 6)) 3968 0.1499 6.2020 ((2 . 8) (3 . 9) (5 . 11) (8 . 12)) 3986 0.4663 8.5581 ((2 . 20) (4 . 25) (5 . 26) (6 . 27)) 3990 0.6656 6.8101 ((2 . 19) (3 . 20) (5 . 23) (6 . 24)) 4005 0.6662 5.5246 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4009 0.3878 8.1678 ((4 . 12) (5 . 13) (6 . 15) (8 . 16)) 4019 0.8318 5.5894 ((2 . 41) (3 . 42) (4 . 43) (5 . 44) (6 . 45)) 4034 0.6645 8.0797 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 4037 0.6663 5.1327 ((3 . 1) (4 . 2) (5 . 3) (8 . 5)) 4062 0.6666 3.5344 ((3 . 48) (4 . 49) (5 . 50) (8 . 52)) 4067 0.1996 6.0704 ((2 . 19) (3 . 20) (5 . 22) (6 . 24)) 4082 0.6663 5.1105 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 4087 0.8259 8.3999 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7)) 4112 0.6662 5.4034 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4115 0.6664 4.5623 ((2 . 16) (3 . 17) (5 . 19) (8 . 21)) 4140 0.0999 9.4632 ((3 . 21) (5 . 22) (6 . 23) (8 . 25)) 4151 0.6661 5.8480 ((2 . 4) (3 . 5) (5 . 7) (8 . 11)) 4154 0.0999 7.0165 ((3 . 53) (4 . 55) (5 . 56) (6 . 57)) 4177 0.6662 5.5206 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 4190 0.6607 10.5038 ((2 . 2) (3 . 1) (4 . 3) (8 . 7)) 4192 0.2970 8.1723 ((2 . 11) (3 . 10) (5 . 13) (8 . 16)) 4194 0.8331 3.5844 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (8 . 8)) 4204 0.6665 4.4131 ((2 . 4) (3 . 5) (5 . 7) (8 . 10)) 4209 0.6660 6.1119 ((3 . 4) (5 . 5) (6 . 7) (8 . 11)) 4210 0.6627 9.4482 ((2 . 1) (5 . 4) (6 . 5) (8 . 7)) 4226 0.6666 3.7156 ((2 . 20) (3 . 22) (5 . 24) (8 . 27)) 4254 0.6657 6.6299 ((3 . 1) (4 . 3) (5 . 4) (8 . 7)) 4255 0.6592 11.1043 ((2 . 20) (4 . 23) (5 . 24) (8 . 25)) 4257 0.6641 8.5116 ((2 . 6) (3 . 8) (4 . 9) (5 . 10)) 4265 0.6666 3.6660 ((2 . 25) (3 . 26) (5 . 29) (8 . 31)) 4266 0.6661 5.8284 ((2 . 3) (3 . 4) (5 . 6) (8 . 7)) 4274 0.6662 5.4153 ((2 . 37) (3 . 38) (5 . 40) (6 . 41)) 4275 0.8310 6.2868 ((2 . 24) (3 . 25) (4 . 27) (5 . 28) (8 . 29)) 4281 0.6665 4.4503 ((3 . 3) (4 . 4) (5 . 5) (8 . 6)) 4299 0.6666 2.6730 ((3 . 16) (4 . 19) (5 . 20) (6 . 22)) 4301 0.6653 7.1858 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4326 0.6665 4.1032 ((2 . 6) (3 . 7) (5 . 10) (8 . 14)) 4332 0.6637 8.8033 ((2 . 1) (3 . 2) (5 . 4) (8 . 5)) 4338 0.8299 6.9093 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (8 . 9)) 4359 0.6666 3.3356 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 4380 0.6665 4.5003 ((3 . 2) (4 . 3) (5 . 4) (8 . 6)) 4383 0.6658 6.4393 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 4388 0.6662 5.6526 ((2 . 15) (4 . 16) (5 . 17) (6 . 18)) 4398 0.8327 4.4569 ((2 . 2) (3 . 4) (5 . 6) (6 . 7) (8 . 9)) 4405 0.6658 6.4920 ((2 . 17) (3 . 18) (4 . 19) (6 . 21)) 4415 0.1996 8.4033 ((2 . 2) (3 . 3) (5 . 4) (8 . 5)) 4419 0.6638 8.7428 ((2 . 5) (3 . 8) (4 . 9) (5 . 10)) 4426 0.1996 9.7088 ((2 . 3) (3 . 2) (5 . 4) (8 . 5)) 4470 0.8332 2.8372 ((2 . 17) (3 . 18) (4 . 19) (5 . 20) (8 . 22)) 4491 0.6650 7.6076 ((2 . 4) (3 . 5) (4 . 6) (6 . 8)) 4492 0.8289 7.3772 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 9)) 4495 0.6665 4.4334 ((2 . 5) (3 . 6) (5 . 8) (8 . 11)) 4497 0.6658 6.4868 ((3 . 24) (4 . 25) (5 . 26) (6 . 27)) 4502 0.8319 5.5224 ((2 . 3) (3 . 6) (5 . 9) (6 . 10) (8 . 13)) 4503 0.6654 7.0240 ((2 . 2) (3 . 5) (4 . 7) (6 . 9)) 4504 0.8298 6.9265 ((2 . 16) (3 . 17) (5 . 20) (6 . 21) (8 . 23)) 4505 0.6665 4.1149 ((2 . 27) (3 . 28) (5 . 30) (8 . 33)) 4538 0.6660 6.1018 ((3 . 31) (4 . 32) (5 . 33) (6 . 34)) 4560 0.6664 4.8376 ((2 . 5) (3 . 6) (5 . 8) (8 . 10)) 4561 0.6665 4.1067 ((2 . 4) (3 . 5) (5 . 7) (8 . 8)) 4562 0.6664 4.5850 ((3 . 19) (4 . 25) (5 . 27) (8 . 30)) 4563 0.6665 4.3364 ((2 . 25) (3 . 26) (5 . 28) (8 . 30)) 4577 0.6665 4.5163 ((3 . 29) (4 . 30) (5 . 32) (6 . 33)) 4588 0.8279 7.7424 ((2 . 4) (3 . 7) (4 . 8) (5 . 9) (8 . 12)) 4589 0.6659 6.2897 ((2 . 17) (3 . 18) (4 . 19) (5 . 22)) 4607 0.5285 7.1414 ((2 . 21) (5 . 24) (6 . 27) (8 . 28)) 4621 0.6653 7.1713 ((3 . 7) (4 . 8) (5 . 9) (6 . 11)) 4630 0.6656 6.8176 ((3 . 26) (4 . 29) (5 . 33) (6 . 36)) 4648 0.6661 5.8666 ((3 . 1) (4 . 2) (6 . 5) (8 . 7)) 4653 0.8262 8.3027 ((2 . 2) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 4665 0.6664 4.9899 ((3 . 12) (4 . 13) (5 . 14) (8 . 16)) 4668 0.6662 5.3746 ((3 . 1) (4 . 3) (5 . 5) (8 . 8)) 4669 0.6666 2.8305 ((2 . 18) (3 . 19) (5 . 21) (8 . 23)) 4671 0.6651 7.4806 ((3 . 18) (4 . 19) (5 . 20) (6 . 21)) 4674 0.6665 4.3554 ((2 . 5) (3 . 6) (4 . 8) (5 . 9)) 4713 0.6656 6.7518 ((2 . 1) (4 . 4) (5 . 5) (6 . 6)) 4731 0.6658 6.4645 ((2 . 19) (4 . 22) (5 . 23) (6 . 24)) 4857 0.6660 6.0434 ((2 . 4) (3 . 5) (6 . 9) (8 . 12)) 4886 0.6663 5.0724 ((3 . 29) (4 . 30) (5 . 31) (6 . 32)) 4888 0.3868 13.6600 ((2 . 11) (4 . 13) (5 . 14) (6 . 15)) 4889 0.6659 6.1502 ((3 . 2) (4 . 3) (5 . 4) (8 . 5)) 4907 0.6665 4.2980 ((3 . 7) (4 . 8) (5 . 9) (8 . 10)) 4914 0.6665 4.1327 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4921 0.1996 5.2486 ((4 . 7) (5 . 8) (6 . 9) (8 . 11)) 4929 0.6657 6.6276 ((3 . 29) (4 . 31) (5 . 32) (6 . 33)) 4932 0.1499 10.0824 ((4 . 1) (5 . 2) (6 . 5) (8 . 7)) 4940 0.6659 6.3510 ((3 . 1) (4 . 2) (5 . 3) (8 . 5)) 4944 0.6660 5.9715 ((3 . 13) (4 . 14) (5 . 15) (6 . 16)) 4961 0.6652 7.3655 ((2 . 13) (3 . 14) (4 . 15) (5 . 17)) 4978 0.6666 3.7712 ((2 . 20) (3 . 21) (4 . 22) (5 . 24)) 4982 0.3871 12.8093 ((2 . 11) (3 . 12) (5 . 14) (8 . 19)) 4992 0.6628 9.3779 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 5029 0.2970 5.6322 ((2 . 3) (3 . 4) (5 . 6) (8 . 9)) 5036 0.6652 7.4096 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 5038 0.6665 4.4210 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 5039 0.6666 3.4713 ((2 . 38) (3 . 39) (5 . 41) (8 . 43)) 5053 0.6664 4.8717 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 5065 0.6664 4.8491 ((2 . 1) (3 . 2) (4 . 3) (6 . 7)) 5068 0.6657 6.5420 ((2 . 11) (3 . 12) (5 . 15) (6 . 16)) 5069 0.6666 3.5175 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 5073 0.3877 9.5336 ((2 . 33) (3 . 34) (5 . 36) (8 . 40)) 5083 0.6665 4.4547 ((2 . 3) (3 . 5) (4 . 6) (5 . 8)) 5101 0.6665 4.0248 ((2 . 22) (3 . 23) (5 . 26) (8 . 28)) 5103 0.6665 4.5556 ((2 . 16) (3 . 17) (5 . 19) (8 . 20)) 5121 0.6662 5.3797 ((2 . 14) (3 . 16) (4 . 18) (8 . 22)) 5132 0.6665 4.4337 ((2 . 17) (3 . 18) (5 . 20) (8 . 21)) 5134 0.1996 10.3803 ((2 . 12) (3 . 14) (6 . 17) (8 . 18)) 5167 0.6664 4.8758 ((2 . 2) (3 . 3) (4 . 4) (8 . 7)) 5183 0.8310 6.2697 ((3 . 34) (4 . 35) (5 . 36) (6 . 37) (8 . 39)) 5192 0.1996 9.5660 ((2 . 2) (4 . 3) (6 . 5) (8 . 6)) 5198 0.2970 7.6670 ((2 . 23) (3 . 24) (5 . 26) (8 . 27)) 5209 0.8163 10.4004 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 5215 0.8325 4.8841 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 5223 0.6662 5.6380 ((2 . 2) (3 . 3) (5 . 6) (8 . 9)) 5231 0.6662 5.6218 ((2 . 9) (4 . 13) (5 . 14) (8 . 17)) 5266 0.6660 6.0758 ((2 . 3) (3 . 4) (5 . 6) (8 . 9)) 5278 0.6646 7.9753 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 5307 0.8332 3.2603 ((2 . 54) (3 . 55) (4 . 57) (5 . 58) (8 . 59)) 5312 0.6659 6.3528 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5323 0.6628 9.3939 ((2 . 9) (3 . 10) (4 . 11) (8 . 15)) 5324 0.6666 3.7768 ((2 . 6) (3 . 7) (5 . 10) (8 . 11)) 5344 0.6658 6.3780 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5345 0.6666 3.6400 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 5368 0.8323 5.1443 ((2 . 8) (3 . 20) (4 . 21) (5 . 22) (6 . 25)) 5378 0.6621 9.8178 ((2 . 5) (3 . 7) (4 . 8) (8 . 13)) 5411 0.6657 6.6084 ((2 . 2) (3 . 3) (5 . 6) (6 . 8)) 5414 0.8310 6.2760 ((2 . 17) (3 . 19) (4 . 20) (5 . 21) (6 . 22)) 5418 0.6666 3.2166 ((3 . 7) (4 . 8) (5 . 9) (8 . 10)) 5433 0.6657 6.5461 ((3 . 5) (4 . 7) (5 . 8) (6 . 10)) 5479 0.6664 4.8971 ((3 . 50) (4 . 51) (5 . 52) (6 . 53)) 5487 0.6652 7.3113 ((3 . 4) (4 . 7) (6 . 9) (8 . 10)) 5489 0.6659 6.3027 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 5500 0.6666 3.2392 ((3 . 1) (4 . 2) (5 . 3) (8 . 10)) 5501 0.6640 8.5678 ((3 . 16) (4 . 17) (5 . 20) (8 . 22)) 5525 0.6631 9.2376 ((2 . 5) (5 . 7) (6 . 8) (8 . 10)) 5535 0.6638 8.7159 ((3 . 6) (4 . 8) (6 . 10) (8 . 13)) 5540 0.2970 8.1395 ((3 . 1) (5 . 3) (6 . 4) (8 . 5)) 5557 0.8324 4.9366 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 5)) 5560 0.6662 5.6327 ((2 . 8) (3 . 9) (5 . 11) (6 . 13)) 5562 0.1499 8.5697 ((2 . 13) (3 . 14) (5 . 17) (8 . 20)) 5567 0.6661 5.6692 ((2 . 14) (3 . 15) (5 . 17) (6 . 18)) 5594 0.6665 3.9733 ((2 . 5) (3 . 6) (5 . 9) (8 . 13)) 5600 0.6657 6.6439 ((2 . 4) (3 . 5) (4 . 6) (6 . 9)) 5601 0.6665 4.1549 ((2 . 4) (3 . 5) (5 . 7) (8 . 9)) 5638 0.6659 6.1946 ((4 . 7) (5 . 8) (6 . 9) (8 . 12)) 5640 0.6666 3.6401 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 5656 0.8329 4.1908 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (8 . 25)) 5700 0.6666 3.1521 ((3 . 4) (4 . 8) (5 . 9) (6 . 11)) 5701 0.6645 8.0992 ((2 . 3) (3 . 4) (4 . 5) (8 . 7)) 5711 0.6664 5.0052 ((3 . 33) (4 . 35) (5 . 36) (6 . 37)) 5713 0.6666 3.2436 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 5718 0.6666 3.7682 ((3 . 14) (4 . 23) (5 . 24) (6 . 25)) 5731 0.6658 6.4033 ((2 . 8) (3 . 10) (4 . 11) (5 . 13)) 5746 0.8282 7.6378 ((2 . 4) (3 . 6) (4 . 7) (5 . 9) (6 . 10)) 5749 0.8288 7.3908 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9)) 5761 0.2970 8.7214 ((3 . 28) (5 . 31) (6 . 32) (8 . 33)) 5770 0.2970 8.3907 ((3 . 6) (4 . 8) (5 . 9) (6 . 12)) 5771 0.6611 10.3206 ((2 . 10) (3 . 13) (4 . 14) (8 . 19)) 5782 0.6657 6.5679 ((2 . 17) (4 . 18) (5 . 21) (6 . 22)) 5794 0.6664 4.6430 ((2 . 22) (3 . 23) (4 . 24) (5 . 25)) 5809 0.6665 3.9294 ((2 . 11) (3 . 12) (5 . 14) (6 . 15)) 5827 0.8263 8.2692 ((3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 18)) 5830 0.1996 8.5783 ((2 . 9) (3 . 10) (4 . 13) (8 . 16)) 5847 0.6656 6.7901 ((3 . 5) (4 . 7) (5 . 8) (6 . 9)) 5861 0.1499 7.0358 ((3 . 12) (4 . 15) (5 . 16) (6 . 17)) 5865 0.0999 8.3434 ((3 . 1) (5 . 4) (6 . 5) (8 . 6)) 5888 0.8066 11.7299 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 5896 0.6661 5.7671 ((3 . 26) (4 . 28) (5 . 29) (8 . 30)) 5904 0.2970 8.1007 ((2 . 5) (4 . 7) (6 . 9) (8 . 10)) 5913 0.6663 5.1820 ((2 . 16) (3 . 17) (5 . 20) (6 . 22)) 5914 0.4659 10.1406 ((3 . 3) (5 . 5) (6 . 6) (8 . 7)) 5922 0.6642 8.4112 ((3 . 6) (4 . 8) (5 . 9) (6 . 10)) 5939 0.6663 5.2807 ((2 . 5) (3 . 4) (4 . 6) (5 . 8)) 5945 0.8330 3.9578 ((2 . 31) (3 . 32) (4 . 33) (5 . 38) (8 . 39)) 5949 0.3878 8.2588 ((2 . 11) (3 . 12) (5 . 14) (8 . 15)) 5955 0.8330 3.7807 ((2 . 13) (3 . 14) (4 . 16) (5 . 17) (8 . 18)) 5967 0.2969 9.7487 ((2 . 2) (4 . 3) (6 . 7) (8 . 8)) 5977 0.6659 6.2322 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 6000 0.1996 6.7549 ((2 . 16) (3 . 17) (5 . 21) (8 . 22)) 6011 0.8305 6.5846 ((3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 17)) 6022 0.6663 5.0240 ((3 . 2) (4 . 4) (5 . 5) (6 . 7)) 6029 0.6647 7.9266 ((3 . 17) (4 . 18) (5 . 19) (8 . 22)) 6041 0.8294 7.1588 ((2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 6046 0.6665 4.3207 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 6061 0.6662 5.3912 ((3 . 13) (4 . 14) (5 . 15) (8 . 18)) 6074 0.6660 6.0719 ((2 . 7) (3 . 8) (6 . 11) (8 . 12)) 6079 0.8331 3.4166 ((2 . 2) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 6089 0.6650 7.5772 ((2 . 2) (3 . 3) (5 . 5) (8 . 8)) 6094 0.6646 8.0504 ((3 . 7) (4 . 10) (5 . 11) (6 . 12)) 6099 0.6667 2.2032 ((3 . 24) (4 . 25) (5 . 26) (6 . 27)) 6123 0.6627 9.4882 ((3 . 3) (4 . 4) (5 . 5) (8 . 7)) 6142 0.6666 2.4767 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 6148 0.6629 9.3401 ((4 . 32) (5 . 33) (6 . 34) (8 . 35)) 6167 0.6661 5.8584 ((3 . 4) (4 . 6) (5 . 7) (6 . 9)) 6173 0.6658 6.4157 ((3 . 12) (4 . 13) (5 . 15) (8 . 16)) 6191 0.6636 8.8407 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 6192 0.3876 10.6381 ((2 . 2) (3 . 3) (5 . 5) (8 . 9)) 6215 0.6641 8.4564 ((4 . 17) (5 . 18) (6 . 19) (8 . 22)) 6225 0.6649 7.7076 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 6228 0.6665 3.9657 ((2 . 2) (3 . 3) (5 . 5) (8 . 6)) 6234 0.6660 6.1244 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 6238 0.8318 5.6007 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (8 . 10)) 6243 0.6666 3.8574 ((2 . 5) (3 . 6) (5 . 8) (8 . 9)) 6251 0.6666 3.8144 ((2 . 9) (3 . 8) (4 . 10) (8 . 14)) 6258 0.6644 8.1928 ((2 . 8) (3 . 10) (5 . 12) (8 . 14)) 6261 0.8330 3.7768 ((2 . 18) (3 . 19) (4 . 21) (5 . 22) (8 . 23)) 6266 0.6659 6.2104 ((3 . 6) (4 . 8) (5 . 10) (8 . 12)) 6270 0.6626 9.5256 ((2 . 14) (4 . 15) (6 . 17) (8 . 19)) 6271 0.6662 5.3750 ((2 . 9) (3 . 10) (4 . 11) (8 . 14)) 6294 0.6666 3.2647 ((2 . 21) (3 . 23) (5 . 25) (8 . 28)) 6306 0.6623 9.7183 ((3 . 17) (5 . 20) (6 . 21) (8 . 23)) 6326 0.6665 4.2075 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 6338 0.6659 6.1694 ((3 . 4) (4 . 5) (5 . 7) (6 . 8)) 6344 0.8319 5.4974 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (8 . 16)) 6345 0.6624 9.6642 ((2 . 9) (3 . 11) (4 . 13) (5 . 14)) 6355 0.6649 7.7263 ((2 . 5) (3 . 6) (4 . 7) (6 . 9)) 6356 0.3879 7.5078 ((2 . 10) (3 . 11) (5 . 13) (8 . 16)) 6369 0.6659 6.2892 ((3 . 5) (4 . 6) (5 . 7) (8 . 10)) 6376 0.6665 3.9715 ((2 . 23) (3 . 24) (5 . 26) (6 . 27)) 6391 0.1665 6.7238 ((3 . 6) (5 . 8) (6 . 10) (8 . 11)) 6392 0.6662 5.5698 ((2 . 2) (3 . 1) (4 . 3) (8 . 6)) 6399 0.6666 3.5102 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 6403 0.6653 7.2398 ((3 . 4) (4 . 5) (6 . 7) (8 . 9)) 6434 0.9899 7.2142 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 6)) 6462 0.6666 3.5243 ((2 . 11) (3 . 12) (5 . 16) (8 . 17)) 6498 0.6627 9.4559 ((3 . 40) (5 . 44) (6 . 45) (8 . 46)) 6520 0.8332 3.2917 ((2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 28)) 6539 0.6654 7.1056 ((2 . 3) (3 . 4) (4 . 5) (6 . 8)) 6540 0.6654 7.0818 ((3 . 19) (4 . 20) (5 . 21) (6 . 22)) 6548 0.8331 3.4299 ((2 . 6) (3 . 7) (4 . 12) (5 . 13) (8 . 15)) 6553 0.8310 6.2621 ((2 . 19) (3 . 20) (5 . 23) (6 . 24) (8 . 27)) 6555 0.6655 6.8745 ((3 . 20) (4 . 22) (5 . 23) (6 . 24)) 6561 0.5253 12.3809 ((2 . 4) (5 . 8) (6 . 9) (8 . 11)) 6573 0.6657 6.6324 ((2 . 18) (3 . 19) (5 . 22) (6 . 23)) 6575 0.0999 6.3087 ((3 . 1) (4 . 2) (6 . 5) (8 . 6)) 6578 0.8303 6.7020 ((3 . 31) (4 . 32) (5 . 34) (6 . 37) (8 . 39)) 6584 0.8325 4.9011 ((2 . 4) (3 . 7) (4 . 8) (5 . 9) (8 . 10)) 6585 0.6666 3.8759 ((2 . 4) (3 . 6) (5 . 8) (8 . 9)) 6587 0.6656 6.7330 ((2 . 30) (3 . 31) (5 . 33) (6 . 34)) 6598 0.6665 3.9729 ((3 . 4) (4 . 5) (5 . 6) (6 . 10)) 6613 0.6665 4.2657 ((2 . 23) (3 . 24) (5 . 27) (6 . 28)) 6635 0.6654 7.1197 ((3 . 1) (5 . 4) (6 . 5) (8 . 9)) END