5914 25 0.1996 11.7648 ((4 . 5) (5 . 6) (6 . 7) (7 . 9)) 51 0.6664 4.6046 ((2 . 7) (3 . 13) (5 . 6) (6 . 11)) 62 0.6642 8.4259 ((2 . 10) (3 . 12) (6 . 16) (7 . 15)) 64 0.6662 5.4918 ((2 . 2) (3 . 3) (5 . 6) (6 . 7)) 91 0.2487 9.8130 ((2 . 19) (3 . 21) (4 . 22) (7 . 25)) 96 0.6660 6.0923 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 129 0.6657 6.5896 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 136 0.6658 6.5195 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 150 0.1499 4.6921 ((2 . 19) (3 . 20) (4 . 21) (6 . 23)) 153 0.6622 9.7698 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 157 0.6657 6.6536 ((2 . 11) (3 . 14) (4 . 15) (7 . 22)) 161 0.1996 8.4834 ((2 . 3) (3 . 4) (4 . 7) (5 . 6)) 162 0.6641 8.4743 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 177 0.1996 6.8728 ((2 . 5) (3 . 7) (5 . 8) (6 . 10)) 198 0.6666 3.5742 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 207 0.2970 8.7167 ((2 . 8) (4 . 11) (6 . 13) (7 . 12)) 233 0.1499 7.1092 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 300 0.3879 6.5066 ((2 . 6) (5 . 9) (6 . 10) (7 . 11)) 305 0.6665 4.3788 ((2 . 11) (3 . 12) (4 . 13) (5 . 15)) 307 0.1996 8.0686 ((2 . 1) (3 . 3) (4 . 6) (6 . 7)) 315 0.2488 6.3011 ((2 . 6) (4 . 7) (5 . 8) (6 . 9)) 340 0.3879 6.7960 ((2 . 4) (3 . 7) (4 . 5) (5 . 9)) 350 0.3880 5.1460 ((2 . 11) (3 . 13) (4 . 14) (6 . 16)) 360 0.6662 5.5040 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 361 0.3878 8.4717 ((4 . 9) (5 . 10) (6 . 11) (7 . 13)) 365 0.1250 10.4913 ((2 . 3) (3 . 4) (5 . 6) (7 . 7)) 367 0.6660 5.9837 ((2 . 40) (3 . 42) (5 . 44) (6 . 46)) 372 0.4666 7.1638 ((2 . 5) (3 . 6) (5 . 8) (6 . 10)) 405 0.6660 6.1001 ((2 . 35) (3 . 37) (5 . 39) (6 . 40)) 420 0.6658 6.4880 ((2 . 8) (3 . 9) (5 . 12) (6 . 13)) 442 0.2969 10.7016 ((3 . 19) (4 . 18) (5 . 20) (6 . 21)) 460 0.6663 5.3088 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 472 0.4627 14.9483 ((2 . 22) (4 . 24) (6 . 25) (7 . 28)) 495 0.6636 8.8444 ((2 . 5) (4 . 6) (6 . 9) (7 . 10)) 541 0.6633 9.1029 ((4 . 1) (5 . 3) (6 . 5) (7 . 6)) 543 0.2969 11.2199 ((3 . 5) (5 . 6) (6 . 8) (7 . 9)) 561 0.3880 4.7324 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 584 0.2969 9.7472 ((2 . 28) (5 . 31) (6 . 32) (7 . 33)) 587 0.6664 4.5810 ((2 . 2) (3 . 3) (5 . 6) (6 . 7)) 609 0.3874 11.7494 ((2 . 3) (4 . 5) (6 . 8) (7 . 7)) 619 0.6603 10.6751 ((3 . 6) (5 . 8) (6 . 9) (7 . 10)) 624 0.6663 5.0159 ((3 . 13) (4 . 14) (5 . 15) (6 . 16)) 672 0.2488 5.6653 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 678 0.1665 10.1662 ((2 . 22) (4 . 23) (6 . 26) (7 . 27)) 683 0.3879 6.6411 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 719 0.6665 3.9658 ((2 . 22) (3 . 23) (5 . 25) (6 . 27)) 729 0.4666 6.5862 ((2 . 17) (3 . 20) (4 . 21) (7 . 22)) 795 0.6666 3.4894 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 801 0.2970 5.6304 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 812 0.6648 7.8492 ((2 . 9) (3 . 11) (4 . 12) (6 . 13)) 818 0.6595 11.0204 ((2 . 2) (3 . 4) (4 . 5) (7 . 9)) 824 0.6664 4.5742 ((2 . 46) (3 . 45) (5 . 49) (6 . 50)) 861 0.2969 11.0946 ((4 . 6) (5 . 7) (6 . 8) (7 . 10)) 901 0.1996 13.3798 ((3 . 9) (4 . 10) (6 . 12) (7 . 13)) 904 0.1996 6.1691 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 913 0.2970 6.5602 ((2 . 16) (3 . 17) (4 . 18) (6 . 20)) 937 0.6663 5.3660 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 943 0.6664 4.7786 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 949 0.4664 8.3598 ((2 . 30) (3 . 32) (4 . 33) (7 . 36)) 960 0.2970 8.1631 ((2 . 8) (3 . 9) (6 . 12) (7 . 13)) 980 0.1996 6.9995 ((2 . 1) (3 . 3) (4 . 4) (6 . 5)) 1005 0.1665 6.5620 ((2 . 1) (3 . 2) (4 . 3) (7 . 5)) 1007 0.6659 6.2829 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 1008 0.6614 10.1883 ((2 . 3) (3 . 5) (6 . 8) (7 . 11)) 1034 0.1996 9.1161 ((4 . 24) (5 . 25) (6 . 26) (7 . 27)) 1043 0.6312 7.9703 ((2 . 12) (3 . 14) (4 . 15) (6 . 17) (7 . 18)) 1082 0.4652 11.7951 ((2 . 4) (4 . 5) (5 . 6) (7 . 7)) 1084 0.6648 7.8032 ((2 . 11) (3 . 12) (4 . 15) (6 . 17)) 1165 0.6661 5.8463 ((2 . 3) (3 . 4) (4 . 5) (6 . 7)) 1167 0.2488 8.1471 ((2 . 21) (3 . 22) (4 . 24) (7 . 25)) 1169 0.6664 4.8991 ((2 . 31) (3 . 32) (5 . 34) (6 . 35)) 1201 0.3878 9.2265 ((4 . 13) (5 . 15) (6 . 16) (7 . 19)) 1204 0.4661 9.6291 ((3 . 20) (4 . 21) (5 . 22) (7 . 26)) 1211 0.1499 9.3656 ((2 . 5) (4 . 7) (5 . 8) (6 . 9)) 1224 0.4659 10.2092 ((2 . 9) (3 . 10) (4 . 11) (7 . 13)) 1233 0.1996 6.9247 ((2 . 14) (3 . 17) (4 . 19) (6 . 20)) 1267 0.2488 9.0774 ((2 . 31) (3 . 33) (4 . 34) (7 . 37)) 1268 0.2488 6.4351 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 1345 0.2969 9.3555 ((3 . 13) (5 . 14) (6 . 16) (7 . 17)) 1366 0.6664 4.5762 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 1388 0.1250 8.4260 ((2 . 4) (3 . 5) (4 . 6) (7 . 10)) 1410 0.6663 5.3379 ((2 . 20) (3 . 21) (5 . 23) (6 . 25)) 1425 0.6663 5.2955 ((2 . 3) (3 . 4) (5 . 8) (6 . 10)) 1435 0.6659 6.2310 ((2 . 3) (3 . 5) (6 . 6) (7 . 7)) 1447 0.2487 9.6620 ((3 . 5) (4 . 6) (5 . 7) (7 . 8)) 1451 0.6665 4.2272 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1464 0.3880 4.7777 ((2 . 10) (4 . 12) (5 . 13) (6 . 14)) 1476 0.4657 10.6609 ((3 . 14) (4 . 16) (5 . 15) (7 . 19)) 1481 0.6666 2.7793 ((2 . 1) (3 . 2) (5 . 4) (6 . 7)) 1501 0.6662 5.4562 ((2 . 2) (3 . 3) (5 . 6) (6 . 9)) 1513 0.1996 9.1169 ((2 . 2) (3 . 3) (4 . 4) (7 . 7)) 1514 0.2488 5.0260 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 1591 0.3878 9.1076 ((2 . 11) (3 . 14) (4 . 12) (6 . 16)) 1622 0.6659 6.2828 ((2 . 20) (4 . 21) (5 . 22) (6 . 23)) 1624 0.6642 8.4129 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 1643 0.6661 5.7914 ((2 . 15) (3 . 16) (5 . 18) (6 . 20)) 1644 0.6663 5.0212 ((2 . 48) (3 . 49) (5 . 51) (6 . 52)) 1690 0.3879 7.5875 ((2 . 8) (3 . 11) (4 . 12) (6 . 13)) 1692 0.2487 9.5928 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 1731 0.2970 7.4944 ((2 . 3) (4 . 5) (5 . 6) (6 . 8)) 1738 0.6633 9.0989 ((2 . 4) (4 . 5) (5 . 6) (6 . 9)) 1747 0.6666 3.5087 ((2 . 11) (3 . 12) (5 . 15) (6 . 16)) 1756 0.4665 7.6992 ((2 . 27) (3 . 28) (5 . 30) (6 . 31)) 1759 0.6664 4.8406 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 1761 0.6658 6.5199 ((2 . 7) (3 . 9) (4 . 10) (6 . 11)) 1763 0.4666 7.0938 ((4 . 8) (5 . 9) (6 . 10) (7 . 11)) 1776 0.4664 7.9818 ((4 . 13) (5 . 14) (6 . 15) (7 . 18)) 1778 0.1333 7.7468 ((2 . 4) (3 . 5) (4 . 6) (6 . 8)) 1793 0.6637 8.7899 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 1805 0.3880 4.8975 ((2 . 2) (3 . 3) (4 . 5) (6 . 8)) 1808 0.6653 7.1663 ((2 . 2) (3 . 4) (5 . 6) (6 . 8)) 1817 0.1996 7.8603 ((2 . 18) (3 . 19) (4 . 21) (5 . 20)) 1894 0.6636 8.8348 ((3 . 19) (5 . 21) (6 . 22) (7 . 24)) 1896 0.2969 8.8001 ((2 . 22) (5 . 25) (6 . 26) (7 . 28)) 1897 0.4662 8.9659 ((2 . 32) (3 . 34) (4 . 35) (7 . 37)) 1908 0.6639 8.6199 ((2 . 10) (3 . 15) (4 . 14) (6 . 17)) 1909 0.3876 10.2259 ((2 . 25) (4 . 30) (5 . 29) (7 . 32)) 1913 0.6651 7.5408 ((2 . 12) (3 . 14) (5 . 16) (6 . 18)) 1944 0.1996 10.1496 ((2 . 13) (4 . 14) (5 . 16) (7 . 20)) 1961 0.0999 5.5302 ((2 . 16) (4 . 18) (5 . 19) (6 . 20)) 1967 0.6664 4.7035 ((3 . 10) (4 . 11) (5 . 13) (6 . 14)) 1992 0.6644 8.2571 ((2 . 9) (4 . 10) (5 . 12) (6 . 14)) 2003 0.6323 5.9230 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 9)) 2006 0.6644 8.2270 ((2 . 10) (3 . 11) (5 . 13) (6 . 14)) 2045 0.4666 7.1378 ((2 . 3) (5 . 7) (6 . 8) (7 . 9)) 2048 0.6629 9.3238 ((3 . 13) (4 . 14) (6 . 16) (7 . 15)) 2054 0.3878 9.1229 ((4 . 11) (5 . 13) (6 . 14) (7 . 15)) 2063 0.6664 4.8209 ((2 . 43) (3 . 44) (4 . 46) (5 . 47)) 2065 0.6655 6.9057 ((2 . 23) (3 . 25) (5 . 26) (6 . 27)) 2067 0.6858 4.1793 ((2 . 55) (3 . 57) (4 . 58) (5 . 59) (6 . 60)) 2072 0.3876 10.1515 ((2 . 6) (3 . 7) (4 . 8) (7 . 9)) 2081 0.3878 8.4709 ((2 . 5) (4 . 7) (5 . 9) (6 . 10)) 2083 0.3878 8.8362 ((2 . 2) (3 . 4) (5 . 5) (6 . 7)) 2097 0.2970 7.0304 ((2 . 14) (3 . 16) (5 . 18) (7 . 20)) 2114 0.6665 4.3375 ((2 . 29) (4 . 30) (5 . 32) (6 . 34)) 2116 0.6649 7.7658 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 2117 0.4659 10.2232 ((3 . 20) (4 . 21) (5 . 23) (7 . 26)) 2122 0.5279 8.8751 ((3 . 12) (4 . 13) (5 . 14) (7 . 16)) 2166 0.6548 12.5484 ((2 . 16) (3 . 17) (5 . 19) (6 . 20)) 2179 0.6654 7.0901 ((2 . 5) (3 . 6) (6 . 10) (7 . 12)) 2196 0.6664 4.8617 ((2 . 15) (3 . 16) (5 . 18) (6 . 19)) 2205 0.6651 7.4685 ((2 . 16) (3 . 17) (5 . 19) (6 . 20)) 2243 0.6657 6.6751 ((2 . 44) (3 . 45) (6 . 47) (7 . 48)) 2244 0.6658 6.4977 ((2 . 75) (3 . 76) (5 . 78) (6 . 79)) 2249 0.4659 10.1465 ((2 . 17) (3 . 18) (4 . 19) (5 . 20)) 2269 0.6632 9.1712 ((2 . 6) (3 . 7) (6 . 10) (7 . 9)) 2279 0.6664 4.6477 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 2298 0.6646 8.0188 ((3 . 8) (4 . 9) (5 . 10) (7 . 13)) 2314 0.6625 9.5891 ((2 . 3) (3 . 4) (6 . 7) (7 . 9)) 2340 0.3879 6.1979 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 2344 0.6652 7.3290 ((2 . 18) (3 . 20) (4 . 21) (7 . 22)) 2364 0.6661 5.7323 ((3 . 15) (4 . 16) (5 . 18) (6 . 19)) 2381 0.4659 10.1406 ((3 . 3) (5 . 5) (6 . 6) (7 . 8)) 2389 0.6658 6.3959 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 2408 0.6646 8.0518 ((2 . 37) (3 . 38) (5 . 40) (6 . 41)) 2409 0.6648 7.8395 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 2423 0.6666 3.2558 ((2 . 16) (3 . 17) (4 . 18) (5 . 19)) 2447 0.2969 10.1700 ((3 . 30) (4 . 32) (6 . 33) (7 . 34)) 2462 0.6660 5.9331 ((2 . 4) (4 . 5) (5 . 6) (6 . 7)) 2525 0.4659 10.1352 ((3 . 38) (4 . 37) (6 . 41) (7 . 42)) 2529 0.6659 6.2541 ((2 . 1) (4 . 2) (5 . 3) (6 . 5)) 2551 0.6665 4.1174 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2556 0.6651 7.5158 ((2 . 11) (4 . 12) (5 . 13) (6 . 16)) 2557 0.4665 7.5998 ((2 . 3) (4 . 5) (6 . 6) (7 . 8)) 2619 0.6666 3.3940 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 2650 0.0999 8.5826 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 2658 0.6663 5.0417 ((3 . 10) (4 . 11) (5 . 12) (6 . 13)) 2675 0.3879 7.4090 ((2 . 3) (3 . 4) (6 . 8) (7 . 9)) 2682 0.1996 6.0282 ((2 . 7) (4 . 10) (5 . 11) (7 . 16)) 2696 0.6658 6.5353 ((2 . 32) (3 . 34) (5 . 36) (6 . 37)) 2733 0.4663 8.6655 ((2 . 8) (4 . 9) (5 . 11) (7 . 13)) 2773 0.2488 9.0045 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 2804 0.6649 7.7500 ((2 . 31) (3 . 32) (5 . 34) (6 . 36)) 2830 0.1996 9.9361 ((2 . 23) (3 . 24) (5 . 25) (6 . 26)) 2834 0.6666 3.4858 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 2840 0.2488 9.4002 ((2 . 6) (5 . 9) (6 . 11) (7 . 10)) 2842 0.6608 10.4499 ((2 . 4) (3 . 5) (4 . 6) (7 . 8)) 2867 0.6658 6.5054 ((2 . 7) (3 . 8) (6 . 12) (7 . 11)) 2879 0.6660 6.0736 ((2 . 53) (3 . 54) (5 . 57) (6 . 58)) 2886 0.6649 7.6737 ((2 . 33) (3 . 34) (5 . 37) (6 . 38)) 2947 0.6635 8.9381 ((2 . 4) (4 . 5) (6 . 6) (7 . 8)) 2966 0.6653 7.1768 ((2 . 9) (3 . 10) (5 . 13) (6 . 15)) 2990 0.1665 5.8434 ((2 . 12) (4 . 13) (5 . 14) (6 . 15)) 2999 0.6665 4.3055 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 3014 0.1996 6.3979 ((4 . 3) (5 . 4) (6 . 5) (7 . 8)) 3041 0.6665 4.0540 ((3 . 30) (4 . 31) (5 . 32) (6 . 33)) 3055 0.0999 4.4339 ((2 . 23) (3 . 24) (5 . 27) (6 . 28)) 3070 0.2970 5.2018 ((2 . 32) (4 . 34) (5 . 35) (6 . 36)) 3102 0.6656 6.7603 ((2 . 72) (3 . 74) (6 . 77) (7 . 78)) 3114 0.2487 9.6480 ((2 . 22) (5 . 23) (6 . 24) (7 . 27)) 3120 0.1499 6.0815 ((2 . 21) (3 . 22) (4 . 23) (6 . 25)) 3127 0.4650 12.0396 ((3 . 2) (5 . 3) (6 . 4) (7 . 5)) 3147 0.6665 4.4266 ((2 . 12) (3 . 13) (5 . 16) (6 . 17)) 3176 0.4664 8.0671 ((2 . 26) (3 . 27) (4 . 30) (7 . 31)) 3190 0.1996 6.4451 ((2 . 1) (3 . 3) (4 . 4) (6 . 6)) 3197 0.3877 9.3488 ((3 . 14) (4 . 15) (5 . 16) (7 . 17)) 3200 0.4667 5.7151 ((2 . 3) (3 . 4) (5 . 6) (7 . 8)) 3202 0.6506 13.5696 ((2 . 18) (3 . 19) (4 . 20) (7 . 21)) 3212 0.1333 7.7574 ((4 . 1) (5 . 2) (6 . 3) (7 . 6)) 3222 0.4667 4.7883 ((2 . 15) (3 . 16) (4 . 17) (5 . 18)) 3256 0.6629 9.3469 ((2 . 19) (3 . 20) (6 . 24) (7 . 27)) 3261 0.3879 7.8550 ((3 . 6) (5 . 8) (6 . 9) (7 . 10)) 3286 0.6643 8.2724 ((2 . 3) (3 . 4) (6 . 7) (7 . 8)) 3289 0.6326 4.0862 ((2 . 25) (3 . 27) (4 . 28) (5 . 29) (6 . 30)) 3334 0.6664 4.9360 ((2 . 5) (3 . 6) (4 . 7) (6 . 10)) 3339 0.6649 7.7040 ((2 . 17) (4 . 18) (5 . 19) (6 . 21)) 3358 0.3879 6.5919 ((2 . 7) (3 . 8) (4 . 9) (6 . 10)) 3362 0.6661 5.8965 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 3366 0.4663 8.7682 ((3 . 29) (5 . 31) (6 . 32) (7 . 33)) 3446 0.2970 7.1308 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 3472 0.6665 4.3651 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 3537 0.4660 9.8187 ((2 . 9) (3 . 10) (4 . 11) (7 . 12)) 3548 0.6657 6.6791 ((2 . 3) (3 . 4) (5 . 6) (6 . 8)) 3561 0.1996 6.4356 ((2 . 26) (3 . 28) (4 . 29) (6 . 30)) 3585 0.6634 9.0100 ((2 . 8) (3 . 11) (5 . 13) (6 . 14)) 3613 0.3878 9.0100 ((2 . 40) (3 . 41) (4 . 42) (7 . 43)) 3626 0.6665 4.2018 ((2 . 2) (3 . 3) (4 . 5) (6 . 11)) 3628 0.6664 5.0084 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3651 0.4667 5.6462 ((3 . 9) (4 . 10) (5 . 13) (7 . 14)) 3658 0.6605 10.6073 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 3659 0.6654 7.0831 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 3661 0.6666 3.8664 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 3663 0.6666 3.4462 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 3688 0.2969 9.5112 ((3 . 29) (5 . 30) (6 . 32) (7 . 33)) 3697 0.1996 9.8411 ((2 . 6) (3 . 7) (4 . 8) (7 . 9)) 3703 0.6642 8.3533 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 3732 0.6656 6.7423 ((4 . 10) (5 . 11) (6 . 12) (7 . 13)) 3733 0.1996 7.4686 ((4 . 5) (5 . 6) (6 . 8) (7 . 9)) 3740 0.6663 5.2782 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 3741 0.6561 12.1638 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 3776 0.4668 3.9026 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 3778 0.6646 8.0090 ((4 . 9) (5 . 12) (6 . 13) (7 . 17)) 3790 0.6666 3.4075 ((2 . 22) (3 . 24) (5 . 26) (6 . 27)) 3807 0.3880 5.6099 ((2 . 43) (5 . 46) (6 . 47) (7 . 48)) 3810 0.6666 3.8080 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 3817 0.4633 14.3348 ((4 . 8) (5 . 10) (6 . 11) (7 . 12)) 3829 0.1665 7.6765 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 3831 0.1499 6.8949 ((2 . 2) (3 . 3) (4 . 4) (6 . 5)) 3853 0.3878 8.6308 ((2 . 12) (3 . 14) (4 . 16) (7 . 19)) 3870 0.3879 7.5820 ((3 . 8) (4 . 9) (6 . 10) (7 . 11)) 3933 0.6655 6.9580 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 3938 0.5652 5.1920 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 8)) 3942 0.3879 6.9833 ((2 . 2) (3 . 3) (4 . 5) (6 . 9)) 3986 0.6630 9.2447 ((2 . 26) (3 . 27) (5 . 28) (6 . 29)) 4005 0.6666 3.3345 ((3 . 27) (4 . 28) (5 . 29) (6 . 30)) 4009 0.3880 5.8009 ((2 . 15) (4 . 17) (6 . 19) (7 . 20)) 4019 0.6657 6.6371 ((2 . 46) (3 . 47) (5 . 50) (6 . 51)) 4037 0.1996 9.0193 ((2 . 1) (3 . 2) (4 . 4) (5 . 3)) 4067 0.6652 7.3764 ((2 . 20) (4 . 21) (5 . 22) (6 . 24)) 4087 0.1333 10.9129 ((2 . 5) (3 . 6) (6 . 8) (7 . 9)) 4112 0.3879 7.0295 ((2 . 3) (3 . 4) (4 . 7) (5 . 6)) 4115 0.2970 7.3979 ((2 . 13) (5 . 15) (6 . 17) (7 . 18)) 4151 0.2970 8.4813 ((2 . 12) (4 . 14) (5 . 15) (6 . 17)) 4154 0.6662 5.4004 ((2 . 53) (3 . 54) (5 . 56) (6 . 57)) 4194 0.2970 7.7983 ((2 . 1) (3 . 3) (4 . 4) (6 . 5)) 4204 0.6657 6.6499 ((2 . 3) (3 . 5) (4 . 6) (6 . 7)) 4209 0.6664 4.6265 ((2 . 2) (3 . 4) (5 . 5) (6 . 7)) 4210 0.1499 7.9601 ((4 . 3) (5 . 4) (6 . 5) (7 . 7)) 4226 0.6666 3.7235 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 4232 0.6632 9.1672 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 4236 0.1996 8.8685 ((3 . 5) (5 . 6) (6 . 7) (7 . 11)) 4246 0.1499 11.4769 ((2 . 3) (5 . 6) (6 . 7) (7 . 10)) 4254 0.4666 6.8193 ((3 . 3) (5 . 4) (6 . 6) (7 . 7)) 4265 0.1996 6.8184 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 4266 0.3877 9.6642 ((3 . 8) (4 . 9) (6 . 11) (7 . 10)) 4274 0.6665 4.2603 ((3 . 38) (4 . 39) (5 . 40) (6 . 41)) 4275 0.6664 4.7271 ((3 . 23) (4 . 24) (5 . 25) (6 . 27)) 4281 0.6664 4.6131 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 4284 0.6664 4.7086 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4299 0.1499 9.1047 ((3 . 11) (4 . 13) (6 . 14) (7 . 17)) 4332 0.1333 10.9284 ((2 . 2) (3 . 4) (4 . 3) (7 . 5)) 4338 0.1996 9.2010 ((2 . 6) (3 . 7) (4 . 9) (5 . 8)) 4352 0.2487 11.9759 ((4 . 7) (5 . 9) (6 . 10) (7 . 12)) 4359 0.6665 4.0268 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 4380 0.4661 9.4825 ((3 . 1) (5 . 3) (6 . 4) (7 . 6)) 4386 0.4661 9.6088 ((3 . 18) (5 . 19) (6 . 21) (7 . 23)) 4388 0.6661 5.7124 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 4398 0.6655 6.9681 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4408 0.6663 5.1474 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 4415 0.6664 4.7708 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4419 0.6662 5.4491 ((2 . 3) (4 . 5) (5 . 6) (6 . 8)) 4470 0.1333 13.0880 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 4491 0.3879 6.1575 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4492 0.6664 4.8220 ((2 . 2) (3 . 3) (5 . 5) (6 . 7)) 4495 0.3880 5.4438 ((2 . 8) (3 . 10) (4 . 11) (7 . 12)) 4497 0.6659 6.2251 ((2 . 25) (3 . 26) (5 . 28) (6 . 30)) 4502 0.6655 6.9202 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 4503 0.6655 6.9505 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 4504 0.2970 5.7008 ((3 . 4) (4 . 5) (6 . 6) (7 . 10)) 4505 0.1333 9.5404 ((2 . 25) (3 . 26) (4 . 27) (7 . 29)) 4538 0.3879 6.4052 ((2 . 33) (3 . 34) (4 . 36) (6 . 38)) 4560 0.3879 7.4707 ((2 . 6) (3 . 8) (4 . 10) (6 . 11)) 4561 0.2970 7.5190 ((2 . 5) (3 . 7) (4 . 8) (6 . 9)) 4577 0.6664 4.7531 ((3 . 44) (4 . 45) (5 . 46) (6 . 47)) 4588 0.6666 3.8177 ((3 . 3) (4 . 4) (5 . 7) (6 . 8)) 4589 0.6657 6.6363 ((3 . 25) (4 . 26) (5 . 27) (6 . 30)) 4607 0.2488 6.0466 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4621 0.8324 5.0288 ((2 . 3) (3 . 4) (4 . 5) (5 . 9) (6 . 11)) 4630 0.6647 7.8872 ((2 . 23) (3 . 25) (5 . 27) (6 . 29)) 4648 0.6859 3.4180 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 8)) 4653 0.6662 5.4678 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 4665 0.2488 8.2149 ((2 . 12) (3 . 13) (5 . 14) (7 . 16)) 4668 0.3879 7.0590 ((2 . 3) (3 . 5) (4 . 6) (6 . 7)) 4671 0.2969 10.5734 ((3 . 11) (5 . 13) (6 . 14) (7 . 16)) 4678 0.6662 5.5349 ((2 . 12) (3 . 14) (5 . 15) (6 . 16)) 4713 0.6641 8.4784 ((2 . 4) (3 . 5) (6 . 8) (7 . 10)) 4731 0.1333 7.0275 ((3 . 22) (4 . 20) (5 . 23) (6 . 24)) 4857 0.6664 4.6905 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 4886 0.6628 9.3755 ((2 . 30) (3 . 31) (6 . 32) (7 . 33)) 4888 0.6601 10.7701 ((3 . 1) (4 . 2) (5 . 4) (7 . 6)) 4889 0.2488 6.8634 ((4 . 9) (5 . 11) (6 . 12) (7 . 13)) 4907 0.4665 7.8322 ((2 . 5) (5 . 8) (6 . 9) (7 . 10)) 4914 0.6661 5.8712 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 4932 0.6659 6.3313 ((2 . 1) (3 . 2) (5 . 5) (6 . 6)) 4940 0.6645 8.1567 ((3 . 3) (4 . 5) (5 . 6) (6 . 7)) 4944 0.2969 9.3937 ((2 . 11) (4 . 12) (5 . 13) (6 . 14)) 4961 0.1499 7.8839 ((4 . 13) (5 . 14) (6 . 15) (7 . 16)) 4982 0.1996 6.8904 ((2 . 10) (3 . 12) (4 . 13) (6 . 14)) 4992 0.0999 10.3144 ((2 . 2) (3 . 3) (4 . 4) (7 . 7)) 4998 0.5288 4.8300 ((2 . 15) (5 . 19) (6 . 20) (7 . 21)) 5036 0.6656 6.7567 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 5038 0.4666 6.9917 ((3 . 12) (4 . 13) (5 . 15) (6 . 16)) 5039 0.3879 7.4175 ((2 . 39) (3 . 41) (4 . 43) (6 . 44)) 5044 0.6658 6.4749 ((2 . 3) (3 . 8) (6 . 9) (7 . 11)) 5046 0.1499 5.3741 ((3 . 7) (4 . 9) (5 . 8) (6 . 10)) 5053 0.2488 5.9765 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 5065 0.2488 8.2450 ((2 . 3) (4 . 6) (5 . 8) (6 . 9)) 5068 0.1996 8.2439 ((3 . 7) (4 . 9) (6 . 10) (7 . 11)) 5069 0.6665 4.4071 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 5073 0.3879 7.7975 ((2 . 32) (5 . 34) (6 . 36) (7 . 37)) 5083 0.4668 4.6000 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 5101 0.2970 6.4512 ((2 . 1) (3 . 3) (4 . 4) (6 . 5)) 5103 0.1996 7.4236 ((2 . 2) (5 . 4) (6 . 6) (7 . 7)) 5121 0.6660 6.1111 ((2 . 16) (5 . 18) (6 . 21) (7 . 22)) 5132 0.2969 10.7564 ((2 . 18) (4 . 21) (6 . 22) (7 . 23)) 5134 0.4667 6.1238 ((3 . 14) (4 . 15) (6 . 17) (7 . 18)) 5167 0.6608 10.4440 ((2 . 3) (3 . 4) (4 . 6) (7 . 7)) 5176 0.4664 8.3862 ((2 . 82) (4 . 85) (5 . 84) (6 . 86)) 5183 0.6657 6.5472 ((2 . 34) (3 . 35) (5 . 37) (6 . 38)) 5198 0.3879 7.2489 ((2 . 26) (3 . 30) (5 . 31) (6 . 32)) 5199 0.6659 6.1600 ((2 . 4) (4 . 6) (5 . 7) (6 . 8)) 5209 0.1333 8.3235 ((2 . 3) (3 . 4) (4 . 6) (6 . 7)) 5212 0.2488 6.0944 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 5215 0.2487 9.5880 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 5223 0.6651 7.5071 ((2 . 10) (4 . 11) (5 . 12) (6 . 15)) 5231 0.6665 4.1864 ((2 . 8) (3 . 12) (5 . 14) (6 . 16)) 5266 0.1996 5.6475 ((2 . 10) (4 . 12) (5 . 13) (6 . 15)) 5307 0.6665 4.1492 ((3 . 53) (4 . 54) (5 . 55) (6 . 57)) 5312 0.1250 11.1397 ((2 . 1) (3 . 2) (5 . 3) (7 . 6)) 5318 0.4663 8.5522 ((3 . 22) (5 . 23) (6 . 24) (7 . 27)) 5323 0.3879 6.9506 ((2 . 10) (3 . 11) (4 . 12) (7 . 15)) 5324 0.6654 7.1324 ((2 . 12) (4 . 13) (5 . 14) (6 . 15)) 5344 0.1996 9.8046 ((2 . 2) (4 . 5) (5 . 4) (7 . 6)) 5345 0.6666 3.6176 ((2 . 8) (3 . 9) (5 . 12) (6 . 13)) 5368 0.6665 4.3198 ((2 . 30) (3 . 32) (5 . 34) (6 . 35)) 5378 0.2488 8.2264 ((2 . 8) (3 . 9) (4 . 10) (7 . 13)) 5414 0.6666 2.8381 ((2 . 15) (3 . 19) (5 . 21) (6 . 22)) 5418 0.6663 5.2307 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 5479 0.6665 4.0596 ((2 . 55) (3 . 56) (5 . 59) (6 . 60)) 5487 0.2488 6.3068 ((3 . 2) (4 . 3) (5 . 4) (7 . 8)) 5489 0.1499 9.4151 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 5500 0.4664 7.9808 ((2 . 1) (3 . 2) (5 . 4) (6 . 7)) 5501 0.2969 8.8234 ((4 . 23) (5 . 24) (6 . 25) (7 . 26)) 5535 0.2969 8.8010 ((2 . 10) (3 . 11) (4 . 13) (5 . 12)) 5540 0.6665 3.9974 ((2 . 3) (3 . 4) (4 . 5) (7 . 13)) 5557 0.6637 8.7880 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 5560 0.4667 5.8722 ((3 . 20) (4 . 21) (5 . 22) (7 . 24)) 5562 0.1800 5.5419 ((2 . 14) (3 . 17) (4 . 18) (5 . 7) (6 . 11) (7 . 20)) 5567 0.2488 9.0254 ((2 . 15) (4 . 16) (5 . 18) (6 . 19)) 5594 0.6658 6.4417 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 5600 0.4666 6.6815 ((2 . 5) (3 . 6) (4 . 7) (5 . 9)) 5601 0.6610 10.3685 ((2 . 3) (3 . 5) (4 . 6) (7 . 9)) 5638 0.6638 8.7011 ((2 . 7) (3 . 8) (6 . 13) (7 . 12)) 5640 0.6666 3.4475 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 5644 0.6641 8.4386 ((2 . 10) (3 . 11) (5 . 13) (6 . 14)) 5656 0.4660 9.8207 ((2 . 9) (3 . 10) (4 . 12) (5 . 14)) 5700 0.1499 7.3193 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 5713 0.6666 3.3721 ((2 . 11) (3 . 13) (5 . 15) (6 . 16)) 5718 0.3879 7.7292 ((2 . 16) (3 . 17) (6 . 21) (7 . 22)) 5731 0.6658 6.5186 ((2 . 7) (3 . 9) (5 . 11) (6 . 13)) 5746 0.6652 7.3914 ((2 . 3) (4 . 4) (5 . 6) (6 . 7)) 5749 0.6644 8.2460 ((2 . 4) (3 . 5) (6 . 6) (7 . 8)) 5770 0.1996 9.9040 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 5771 0.1996 9.3192 ((3 . 13) (4 . 10) (5 . 14) (7 . 16)) 5782 0.6657 6.6383 ((2 . 29) (3 . 30) (4 . 31) (5 . 32)) 5794 0.2969 9.4711 ((2 . 16) (4 . 17) (5 . 19) (7 . 22)) 5809 0.2970 7.3722 ((2 . 7) (4 . 8) (5 . 9) (6 . 12)) 5822 0.4663 8.7724 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 5827 0.4663 8.6327 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 5830 0.1996 10.9086 ((2 . 2) (4 . 5) (5 . 6) (6 . 7)) 5847 0.6664 4.7935 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 5865 0.6665 4.1776 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 5878 0.2970 7.2692 ((2 . 25) (5 . 29) (6 . 30) (7 . 31)) 5888 0.6666 3.6934 ((2 . 17) (3 . 18) (5 . 20) (6 . 21)) 5896 0.6664 4.8277 ((3 . 26) (4 . 27) (5 . 28) (6 . 29)) 5914 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5939 0.3877 9.5488 ((3 . 6) (4 . 7) (6 . 9) (7 . 12)) 5945 0.6550 12.4924 ((2 . 13) (3 . 14) (5 . 16) (6 . 19)) 5949 0.2488 8.4953 ((3 . 10) (4 . 11) (5 . 12) (7 . 13)) 5955 0.6629 9.3619 ((2 . 3) (3 . 4) (6 . 7) (7 . 8)) 5977 0.3879 7.2102 ((2 . 1) (3 . 3) (4 . 4) (6 . 5)) 6000 0.2488 6.8612 ((3 . 15) (4 . 16) (5 . 17) (7 . 22)) 6011 0.2970 6.3957 ((2 . 14) (3 . 15) (4 . 17) (6 . 18)) 6029 0.2970 6.5604 ((2 . 1) (3 . 19) (4 . 20) (6 . 21)) 6041 0.6663 5.2597 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 6061 0.1499 7.0687 ((4 . 18) (5 . 20) (6 . 21) (7 . 22)) 6074 0.2969 9.8752 ((2 . 4) (3 . 6) (4 . 7) (7 . 10)) 6075 0.2488 9.0376 ((3 . 27) (4 . 29) (5 . 28) (7 . 30)) 6079 0.6645 8.0998 ((3 . 6) (5 . 8) (6 . 9) (7 . 10)) 6089 0.3877 9.9649 ((3 . 21) (4 . 22) (5 . 23) (7 . 25)) 6094 0.2487 10.6193 ((2 . 2) (4 . 6) (6 . 7) (7 . 8)) 6099 0.6662 5.4475 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 6123 0.4664 8.1895 ((2 . 3) (3 . 4) (4 . 6) (7 . 7)) 6142 0.6661 5.8027 ((2 . 12) (3 . 13) (5 . 15) (6 . 16)) 6148 0.6663 5.0425 ((3 . 34) (4 . 35) (5 . 36) (6 . 37)) 6167 0.6655 6.9601 ((2 . 7) (3 . 9) (5 . 12) (6 . 14)) 6173 0.6664 4.6823 ((2 . 9) (3 . 11) (5 . 13) (6 . 15)) 6192 0.1996 9.4729 ((2 . 5) (4 . 9) (5 . 10) (6 . 11)) 6215 0.4662 9.3148 ((3 . 17) (5 . 19) (6 . 20) (7 . 22)) 6225 0.3875 10.9367 ((2 . 26) (5 . 28) (6 . 29) (7 . 30)) 6228 0.3879 7.7719 ((2 . 3) (3 . 5) (4 . 6) (6 . 7)) 6234 0.4663 8.8146 ((2 . 9) (3 . 10) (6 . 13) (7 . 14)) 6238 0.1333 7.9020 ((2 . 3) (3 . 4) (4 . 6) (6 . 7)) 6243 0.3880 5.0742 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 6251 0.3876 10.2163 ((2 . 15) (3 . 17) (6 . 19) (7 . 20)) 6261 0.2969 11.0330 ((2 . 21) (3 . 22) (4 . 23) (7 . 24)) 6270 0.4667 5.3519 ((2 . 17) (3 . 18) (4 . 19) (5 . 20)) 6271 0.6663 5.0433 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 6273 0.6648 7.7847 ((2 . 4) (3 . 6) (6 . 7) (7 . 9)) 6294 0.2970 6.9595 ((2 . 11) (4 . 12) (5 . 14) (6 . 16)) 6306 0.2488 8.7538 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 6311 0.6663 5.3127 ((2 . 10) (3 . 11) (5 . 13) (6 . 14)) 6326 0.6664 4.8395 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 6344 0.3880 5.8296 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 6345 0.1499 7.2880 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 6355 0.6656 6.7966 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 6369 0.4663 8.8644 ((2 . 24) (4 . 27) (6 . 29) (7 . 30)) 6376 0.2488 3.1445 ((2 . 27) (3 . 28) (4 . 29) (7 . 30)) 6391 0.3879 7.2957 ((2 . 8) (4 . 9) (5 . 10) (6 . 12)) 6392 0.4664 8.3614 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 6399 0.6665 4.4822 ((2 . 26) (3 . 27) (5 . 29) (6 . 30)) 6403 0.6657 6.5958 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 6462 0.6662 5.5766 ((3 . 20) (4 . 21) (5 . 22) (6 . 24)) 6498 0.2487 10.1723 ((2 . 19) (3 . 21) (4 . 22) (7 . 26)) 6520 0.4667 4.9399 ((3 . 13) (5 . 15) (6 . 16) (7 . 18)) 6536 0.4649 12.2570 ((4 . 34) (5 . 35) (6 . 36) (7 . 37)) 6539 0.6664 4.6089 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 6553 0.3876 10.3016 ((3 . 11) (4 . 12) (6 . 13) (7 . 16)) 6555 0.2969 10.1705 ((2 . 6) (4 . 8) (5 . 10) (7 . 12)) 6561 0.3879 6.3208 ((2 . 9) (3 . 10) (4 . 11) (6 . 12)) 6578 0.3873 11.9324 ((2 . 34) (3 . 37) (4 . 36) (7 . 40)) 6584 0.6662 5.4936 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 6585 0.6660 6.0421 ((3 . 8) (4 . 9) (6 . 11) (7 . 12)) 6587 0.6663 5.0562 ((3 . 31) (4 . 32) (6 . 34) (7 . 35)) 6598 0.6664 4.6870 ((2 . 16) (3 . 17) (5 . 20) (6 . 21)) 6635 0.1996 7.5553 ((2 . 1) (3 . 4) (4 . 6) (6 . 7)) END