4648 51 0.2488 7.9918 ((2 . 1) (3 . 3) (7 . 4) (8 . 6)) 62 0.6662 5.5061 ((1 . 12) (3 . 15) (5 . 16) (8 . 17)) 64 0.6662 5.5950 ((1 . 2) (2 . 3) (5 . 6) (8 . 7)) 129 0.6655 6.8899 ((1 . 1) (2 . 2) (5 . 5) (8 . 8)) 136 0.6657 6.5431 ((2 . 3) (5 . 5) (7 . 6) (8 . 7)) 150 0.6665 4.2396 ((1 . 19) (2 . 20) (3 . 21) (5 . 23)) 153 0.6653 7.2536 ((1 . 4) (2 . 5) (5 . 7) (8 . 8)) 157 0.4664 8.0521 ((2 . 9) (3 . 10) (7 . 12) (8 . 14)) 161 0.6663 5.3183 ((1 . 3) (2 . 4) (5 . 8) (8 . 10)) 162 0.6664 4.8626 ((1 . 12) (3 . 16) (5 . 17) (8 . 18)) 169 0.6650 7.6299 ((1 . 7) (2 . 8) (5 . 10) (8 . 11)) 177 0.1333 6.0864 ((1 . 5) (5 . 8) (7 . 9) (8 . 10)) 233 0.1333 6.9779 ((1 . 3) (2 . 5) (5 . 7) (8 . 8)) 300 0.6623 9.6727 ((1 . 6) (5 . 9) (7 . 11) (8 . 10)) 305 0.6665 4.1040 ((1 . 11) (2 . 12) (3 . 13) (5 . 15)) 307 0.6660 6.0888 ((2 . 7) (3 . 8) (5 . 9) (7 . 10)) 315 0.6660 5.9863 ((1 . 4) (2 . 5) (5 . 8) (8 . 9)) 329 0.6661 5.7065 ((1 . 4) (2 . 5) (3 . 7) (7 . 8)) 340 0.6661 5.6884 ((1 . 1) (2 . 2) (3 . 5) (5 . 7)) 350 0.8320 5.4149 ((1 . 11) (2 . 13) (3 . 14) (5 . 15) (8 . 18)) 360 0.3880 4.7118 ((1 . 10) (2 . 12) (3 . 13) (7 . 15)) 361 0.4663 8.5383 ((3 . 9) (5 . 10) (7 . 13) (8 . 11)) 365 0.6661 5.8368 ((1 . 3) (2 . 4) (3 . 7) (5 . 8)) 367 0.6660 6.1151 ((1 . 40) (2 . 42) (5 . 44) (8 . 46)) 372 0.6664 4.6263 ((1 . 7) (2 . 8) (5 . 10) (8 . 11)) 405 0.6617 9.9935 ((1 . 32) (2 . 33) (5 . 37) (8 . 40)) 417 0.4664 8.0696 ((1 . 2) (2 . 3) (5 . 5) (8 . 7)) 420 0.6654 7.1163 ((1 . 4) (2 . 5) (5 . 8) (8 . 12)) 433 0.6658 6.4426 ((1 . 6) (2 . 7) (3 . 8) (8 . 10)) 460 0.6656 6.7422 ((1 . 2) (2 . 3) (3 . 4) (8 . 8)) 472 0.6393 15.6896 ((1 . 20) (2 . 21) (3 . 23) (8 . 25)) 491 0.4667 4.7988 ((1 . 1) (3 . 5) (5 . 6) (8 . 8)) 541 0.6659 6.2392 ((1 . 3) (2 . 5) (3 . 6) (5 . 7)) 543 0.6655 6.9386 ((1 . 8) (2 . 10) (7 . 14) (8 . 15)) 561 0.6666 3.7128 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 584 0.1996 10.1227 ((1 . 5) (3 . 9) (7 . 12) (8 . 13)) 587 0.6662 5.6331 ((1 . 3) (2 . 4) (5 . 7) (8 . 9)) 609 0.2969 9.4362 ((1 . 1) (2 . 3) (3 . 4) (7 . 5)) 619 0.6663 5.3337 ((2 . 15) (3 . 17) (5 . 18) (8 . 20)) 624 0.6665 4.5320 ((1 . 20) (2 . 22) (5 . 24) (8 . 26)) 635 0.6649 7.7649 ((1 . 13) (2 . 14) (7 . 17) (8 . 18)) 672 0.5289 4.1230 ((2 . 16) (3 . 17) (5 . 18) (8 . 21)) 678 0.1250 7.6403 ((1 . 26) (3 . 28) (5 . 29) (7 . 30)) 683 0.7233 7.7915 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (8 . 6)) 719 0.6840 7.6554 ((1 . 25) (2 . 27) (3 . 29) (5 . 30) (7 . 31)) 729 0.4666 7.0888 ((2 . 5) (3 . 6) (5 . 7) (7 . 8)) 765 0.6620 9.8650 ((1 . 10) (2 . 11) (5 . 17) (8 . 19)) 795 0.1499 5.0408 ((1 . 1) (3 . 2) (5 . 5) (8 . 6)) 796 0.6663 5.1461 ((2 . 3) (3 . 4) (5 . 5) (8 . 6)) 812 0.2970 7.8569 ((1 . 8) (2 . 9) (3 . 10) (7 . 12)) 818 0.2488 4.6448 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 819 0.3880 5.7088 ((1 . 2) (2 . 3) (5 . 8) (8 . 9)) 824 0.6656 6.8424 ((1 . 46) (2 . 49) (5 . 51) (8 . 53)) 861 0.2970 5.2298 ((2 . 12) (3 . 14) (5 . 15) (8 . 16)) 901 0.4668 4.0600 ((2 . 15) (3 . 16) (5 . 17) (7 . 18)) 904 0.1665 7.6172 ((1 . 3) (3 . 5) (5 . 6) (8 . 7)) 913 0.6656 6.7948 ((1 . 16) (2 . 17) (3 . 18) (8 . 20)) 928 0.1333 5.1615 ((2 . 16) (3 . 17) (5 . 18) (8 . 21)) 937 0.1996 6.2133 ((2 . 1) (3 . 2) (5 . 4) (8 . 5)) 945 0.3880 5.2193 ((2 . 17) (3 . 18) (5 . 19) (7 . 20)) 949 0.6648 7.8252 ((1 . 30) (2 . 32) (3 . 33) (7 . 35)) 980 0.2970 7.2359 ((1 . 1) (2 . 3) (3 . 4) (8 . 7)) 1007 0.1996 9.1679 ((1 . 11) (2 . 12) (5 . 14) (8 . 17)) 1008 0.1996 7.1193 ((1 . 5) (5 . 8) (7 . 11) (8 . 13)) 1034 0.6397 15.6237 ((1 . 21) (2 . 22) (5 . 25) (8 . 26)) 1043 0.2488 7.5884 ((1 . 14) (3 . 16) (5 . 17) (7 . 18)) 1082 0.2970 6.3962 ((1 . 19) (5 . 16) (7 . 18) (8 . 24)) 1084 0.6662 5.5649 ((1 . 10) (2 . 12) (3 . 15) (8 . 17)) 1165 0.6655 6.8974 ((1 . 3) (2 . 4) (3 . 6) (5 . 7)) 1167 0.6651 7.5343 ((1 . 20) (2 . 21) (7 . 24) (8 . 27)) 1169 0.6658 6.5131 ((1 . 30) (2 . 31) (5 . 35) (8 . 37)) 1195 0.3879 7.6351 ((3 . 1) (5 . 2) (7 . 3) (8 . 4)) 1204 0.2969 11.1223 ((1 . 11) (2 . 12) (3 . 13) (7 . 15)) 1211 0.6657 6.6762 ((1 . 8) (2 . 9) (5 . 11) (8 . 14)) 1217 0.2488 6.1281 ((2 . 3) (5 . 7) (7 . 8) (8 . 11)) 1224 0.8312 6.1423 ((1 . 3) (2 . 10) (3 . 11) (5 . 14) (8 . 15)) 1267 0.3880 5.7786 ((2 . 33) (3 . 34) (5 . 36) (7 . 37)) 1268 0.4663 8.9233 ((1 . 3) (2 . 4) (3 . 5) (7 . 8)) 1294 0.6660 6.0732 ((1 . 41) (2 . 43) (5 . 46) (8 . 47)) 1301 0.2970 6.6829 ((3 . 2) (5 . 1) (7 . 3) (8 . 5)) 1345 0.4662 9.0162 ((2 . 9) (3 . 10) (7 . 11) (8 . 13)) 1366 0.6664 4.6373 ((2 . 12) (3 . 13) (5 . 14) (8 . 15)) 1388 0.2488 7.1097 ((1 . 4) (2 . 5) (3 . 6) (8 . 8)) 1410 0.6662 5.4656 ((1 . 20) (2 . 21) (5 . 23) (8 . 25)) 1425 0.6662 5.4951 ((1 . 3) (2 . 4) (5 . 8) (8 . 10)) 1435 0.6663 5.1385 ((1 . 1) (2 . 2) (5 . 3) (8 . 11)) 1447 0.4666 6.5129 ((2 . 5) (3 . 6) (5 . 7) (7 . 8)) 1451 0.6665 4.3986 ((2 . 1) (3 . 2) (5 . 3) (8 . 4)) 1464 0.6640 8.5793 ((2 . 7) (3 . 9) (5 . 10) (8 . 13)) 1476 0.6631 9.1927 ((1 . 11) (3 . 13) (7 . 17) (8 . 18)) 1481 0.8333 2.5459 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 1501 0.6659 6.2912 ((1 . 1) (2 . 2) (5 . 4) (8 . 6)) 1508 0.6661 5.6715 ((3 . 1) (5 . 2) (7 . 4) (8 . 5)) 1514 0.6664 4.6888 ((2 . 1) (3 . 2) (5 . 3) (8 . 4)) 1591 0.3879 7.6150 ((2 . 11) (3 . 12) (5 . 14) (7 . 15)) 1595 0.5284 7.4006 ((3 . 4) (5 . 7) (7 . 6) (8 . 8)) 1604 0.6663 5.2841 ((1 . 1) (2 . 3) (3 . 6) (5 . 7)) 1622 0.6658 6.3847 ((2 . 20) (3 . 21) (5 . 22) (8 . 23)) 1624 0.5286 6.7605 ((1 . 4) (2 . 5) (5 . 9) (7 . 10)) 1643 0.6666 3.6090 ((1 . 33) (2 . 34) (5 . 37) (8 . 38)) 1644 0.6664 4.7349 ((1 . 48) (2 . 49) (5 . 51) (8 . 52)) 1690 0.6658 6.5093 ((2 . 11) (3 . 12) (5 . 13) (8 . 14)) 1692 0.6664 4.6420 ((1 . 6) (2 . 7) (5 . 8) (8 . 9)) 1738 0.6665 4.5049 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 1747 0.6662 5.5994 ((1 . 45) (2 . 46) (5 . 48) (8 . 52)) 1756 0.6659 6.1943 ((1 . 22) (2 . 23) (5 . 27) (8 . 30)) 1759 0.6662 5.5760 ((1 . 4) (2 . 5) (5 . 8) (8 . 11)) 1761 0.6653 7.2155 ((1 . 1) (2 . 2) (5 . 5) (7 . 6)) 1763 0.5281 8.4983 ((3 . 8) (5 . 9) (7 . 11) (8 . 10)) 1776 0.6627 9.4784 ((1 . 1) (3 . 6) (7 . 10) (8 . 12)) 1777 0.1665 7.5898 ((1 . 42) (2 . 43) (5 . 47) (8 . 50)) 1778 0.6665 4.3571 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 1805 0.6663 5.2798 ((1 . 11) (2 . 12) (3 . 13) (8 . 16)) 1808 0.6664 4.6846 ((2 . 2) (3 . 7) (5 . 8) (8 . 9)) 1817 0.1996 6.9560 ((1 . 15) (2 . 16) (5 . 19) (7 . 21)) 1867 0.6658 6.4783 ((1 . 1) (5 . 6) (7 . 8) (8 . 7)) 1894 0.6653 7.2204 ((1 . 21) (2 . 22) (3 . 24) (5 . 25)) 1896 0.2970 6.0456 ((1 . 23) (2 . 25) (3 . 28) (5 . 27)) 1897 0.6564 12.0660 ((1 . 34) (3 . 37) (5 . 39) (8 . 40)) 1909 0.4662 9.2660 ((1 . 25) (3 . 30) (7 . 32) (8 . 34)) 1913 0.6637 8.7775 ((1 . 10) (2 . 12) (5 . 15) (8 . 19)) 1944 0.5280 8.8088 ((2 . 13) (3 . 14) (5 . 16) (8 . 17)) 1957 0.2970 4.8906 ((2 . 17) (3 . 18) (5 . 19) (8 . 22)) 1961 0.6665 4.0943 ((1 . 15) (2 . 16) (5 . 19) (8 . 20)) 1967 0.6664 4.9956 ((2 . 10) (3 . 11) (5 . 13) (7 . 15)) 1995 0.6664 4.9457 ((1 . 3) (2 . 7) (5 . 9) (8 . 12)) 2003 0.2969 9.6664 ((1 . 5) (2 . 7) (5 . 10) (8 . 12)) 2006 0.6659 6.1689 ((1 . 1) (2 . 2) (5 . 7) (8 . 8)) 2045 0.6658 6.3628 ((1 . 1) (2 . 2) (5 . 3) (8 . 7)) 2048 0.2970 6.8069 ((2 . 13) (3 . 14) (7 . 15) (8 . 16)) 2054 0.2488 5.8663 ((1 . 13) (2 . 14) (3 . 15) (7 . 16)) 2063 0.6664 4.6056 ((1 . 43) (2 . 44) (5 . 47) (8 . 50)) 2065 0.6648 7.8073 ((1 . 16) (2 . 17) (5 . 22) (8 . 23)) 2067 0.4666 6.8576 ((1 . 10) (2 . 11) (5 . 16) (7 . 17)) 2072 0.6645 8.0803 ((1 . 6) (2 . 7) (3 . 8) (7 . 9)) 2081 0.6658 6.4259 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 2083 0.6661 5.7716 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 2097 0.4663 8.6023 ((2 . 5) (3 . 10) (5 . 16) (7 . 15)) 2114 0.1996 7.1129 ((1 . 32) (2 . 34) (3 . 35) (7 . 38)) 2116 0.6644 8.2156 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 2117 0.6663 5.1714 ((1 . 22) (2 . 23) (3 . 24) (5 . 25)) 2118 0.3876 10.2943 ((3 . 2) (5 . 4) (7 . 6) (8 . 5)) 2122 0.2970 8.2068 ((2 . 8) (3 . 9) (5 . 10) (7 . 11)) 2166 0.6663 5.3464 ((2 . 13) (3 . 14) (5 . 15) (8 . 16)) 2179 0.6664 4.6888 ((1 . 5) (2 . 6) (5 . 9) (8 . 10)) 2203 0.6660 6.1483 ((2 . 1) (3 . 3) (5 . 5) (8 . 7)) 2205 0.6661 5.7442 ((1 . 18) (5 . 23) (7 . 24) (8 . 26)) 2209 0.6640 8.5918 ((1 . 3) (5 . 6) (7 . 8) (8 . 9)) 2243 0.6654 7.1364 ((1 . 53) (2 . 54) (5 . 57) (8 . 60)) 2244 0.6665 4.3429 ((1 . 74) (2 . 75) (5 . 77) (8 . 80)) 2249 0.6662 5.6224 ((2 . 16) (3 . 19) (5 . 20) (8 . 23)) 2269 0.6648 7.8407 ((1 . 6) (2 . 7) (7 . 9) (8 . 10)) 2279 0.6665 4.1711 ((1 . 10) (2 . 11) (3 . 12) (7 . 15)) 2308 0.2488 8.3408 ((2 . 6) (3 . 7) (7 . 10) (8 . 8)) 2314 0.6634 8.9989 ((1 . 3) (2 . 4) (7 . 9) (8 . 8)) 2340 0.6654 7.0306 ((2 . 9) (5 . 11) (7 . 12) (8 . 13)) 2344 0.6663 5.2561 ((2 . 11) (5 . 14) (7 . 17) (8 . 18)) 2364 0.2970 7.4763 ((1 . 4) (2 . 5) (3 . 6) (7 . 8)) 2381 0.6661 5.8666 ((1 . 3) (2 . 4) (5 . 6) (7 . 8)) 2389 0.6661 5.8541 ((1 . 10) (2 . 11) (3 . 12) (5 . 14)) 2393 0.2487 10.4833 ((1 . 15) (3 . 17) (5 . 18) (7 . 19)) 2409 0.2969 9.0676 ((1 . 8) (2 . 9) (3 . 10) (7 . 11)) 2410 0.4667 4.8373 ((2 . 13) (3 . 14) (5 . 16) (8 . 17)) 2440 0.4658 10.3399 ((2 . 4) (3 . 5) (5 . 6) (8 . 8)) 2462 0.2970 7.8178 ((2 . 6) (5 . 7) (7 . 10) (8 . 11)) 2510 0.3879 6.1497 ((2 . 21) (3 . 22) (5 . 23) (7 . 24)) 2519 0.6633 9.0596 ((2 . 2) (3 . 3) (7 . 4) (8 . 5)) 2525 0.2970 7.4287 ((1 . 41) (3 . 42) (5 . 43) (7 . 46)) 2529 0.6660 6.0998 ((1 . 1) (5 . 5) (7 . 7) (8 . 6)) 2544 0.5286 6.5645 ((3 . 19) (5 . 22) (7 . 21) (8 . 23)) 2551 0.6662 5.4491 ((2 . 9) (3 . 10) (5 . 11) (8 . 12)) 2556 0.3879 6.9346 ((1 . 13) (2 . 16) (3 . 17) (8 . 20)) 2557 0.6664 5.0037 ((2 . 3) (3 . 5) (5 . 6) (8 . 7)) 2561 0.2488 7.5062 ((1 . 1) (3 . 5) (5 . 6) (8 . 7)) 2595 0.4664 8.4536 ((1 . 4) (3 . 5) (5 . 6) (7 . 7)) 2619 0.6666 2.7862 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 2650 0.6662 5.4746 ((1 . 1) (2 . 2) (3 . 4) (8 . 6)) 2658 0.6660 6.1294 ((2 . 10) (3 . 11) (5 . 12) (8 . 13)) 2675 0.6662 5.4273 ((1 . 3) (2 . 4) (7 . 9) (8 . 10)) 2682 0.6603 10.6850 ((1 . 11) (5 . 15) (7 . 16) (8 . 17)) 2696 0.6666 3.5085 ((1 . 31) (2 . 35) (5 . 38) (8 . 39)) 2731 0.6662 5.4932 ((2 . 1) (3 . 2) (5 . 4) (8 . 5)) 2733 0.6645 8.1062 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 2755 0.2969 8.8449 ((1 . 3) (3 . 4) (5 . 6) (8 . 8)) 2773 0.6662 5.6046 ((1 . 2) (2 . 3) (5 . 5) (8 . 6)) 2783 0.1996 8.3062 ((3 . 4) (5 . 7) (7 . 9) (8 . 8)) 2804 0.2488 7.7962 ((1 . 29) (5 . 34) (7 . 35) (8 . 36)) 2821 0.6639 8.6235 ((1 . 1) (2 . 2) (5 . 5) (7 . 10)) 2830 0.2970 7.6086 ((1 . 11) (3 . 14) (5 . 15) (8 . 17)) 2834 0.6656 6.8190 ((2 . 12) (3 . 13) (5 . 14) (8 . 16)) 2840 0.6663 5.2517 ((2 . 1) (3 . 3) (5 . 5) (8 . 8)) 2867 0.6641 8.4974 ((1 . 7) (2 . 8) (7 . 11) (8 . 12)) 2879 0.6664 4.7369 ((1 . 51) (2 . 52) (5 . 54) (8 . 58)) 2886 0.6656 6.7752 ((1 . 38) (2 . 39) (5 . 43) (8 . 44)) 2929 0.6662 5.6442 ((2 . 36) (3 . 37) (5 . 39) (8 . 40)) 2947 0.6664 5.0073 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 2966 0.6660 5.9610 ((1 . 3) (2 . 4) (5 . 8) (8 . 9)) 2990 0.6857 4.9780 ((1 . 9) (2 . 12) (3 . 13) (5 . 14) (8 . 15)) 2999 0.6665 3.9237 ((2 . 4) (3 . 5) (5 . 6) (8 . 7)) 3014 0.2967 13.5085 ((2 . 22) (3 . 21) (5 . 24) (7 . 26)) 3019 0.6663 5.3666 ((1 . 19) (3 . 21) (5 . 22) (8 . 25)) 3041 0.7255 5.2683 ((1 . 29) (2 . 30) (3 . 31) (5 . 32) (8 . 33)) 3055 0.6658 6.4294 ((1 . 4) (2 . 5) (5 . 8) (8 . 11)) 3063 0.4661 9.6303 ((1 . 36) (2 . 37) (5 . 39) (8 . 41)) 3070 0.6664 4.7645 ((1 . 32) (2 . 33) (3 . 34) (5 . 35)) 3102 0.6657 6.6246 ((1 . 71) (2 . 72) (5 . 74) (8 . 77)) 3114 0.6637 8.8073 ((1 . 24) (2 . 25) (3 . 27) (7 . 28)) 3120 0.6663 5.0558 ((1 . 21) (2 . 22) (3 . 24) (5 . 25)) 3147 0.6657 6.6928 ((1 . 5) (2 . 6) (5 . 9) (8 . 11)) 3187 0.6662 5.5837 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 3190 0.2970 6.6393 ((1 . 1) (2 . 3) (3 . 4) (8 . 9)) 3197 0.4654 11.4388 ((1 . 21) (3 . 23) (7 . 27) (8 . 28)) 3200 0.6664 4.8837 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 3212 0.1996 5.8023 ((2 . 2) (5 . 5) (7 . 6) (8 . 9)) 3222 0.8132 10.8682 ((1 . 15) (2 . 16) (3 . 17) (5 . 18) (7 . 22)) 3256 0.6642 8.4321 ((2 . 24) (3 . 27) (5 . 26) (8 . 28)) 3261 0.6660 5.9552 ((1 . 2) (2 . 3) (7 . 5) (8 . 6)) 3286 0.6663 5.3247 ((2 . 7) (3 . 8) (5 . 9) (7 . 10)) 3289 0.2488 5.3522 ((1 . 25) (2 . 27) (3 . 28) (5 . 31)) 3297 0.6647 7.9434 ((1 . 4) (2 . 5) (5 . 8) (8 . 9)) 3300 0.6635 8.9318 ((1 . 4) (2 . 5) (3 . 9) (7 . 10)) 3322 0.3880 4.9883 ((2 . 5) (3 . 6) (5 . 7) (7 . 10)) 3334 0.1499 5.3710 ((1 . 5) (2 . 6) (3 . 7) (8 . 10)) 3339 0.4665 7.6497 ((2 . 9) (3 . 10) (5 . 11) (7 . 14)) 3358 0.2970 8.4621 ((1 . 2) (3 . 3) (5 . 4) (7 . 5)) 3362 0.5284 7.6661 ((2 . 6) (3 . 7) (7 . 9) (8 . 10)) 3418 0.2488 7.5386 ((3 . 1) (5 . 2) (7 . 3) (8 . 5)) 3481 0.6660 6.0687 ((2 . 2) (3 . 3) (5 . 4) (8 . 7)) 3533 0.8319 5.5728 ((1 . 1) (2 . 3) (3 . 6) (5 . 7) (8 . 11)) 3537 0.4659 10.0611 ((1 . 9) (2 . 10) (3 . 11) (7 . 12)) 3538 0.4666 6.8620 ((3 . 17) (5 . 18) (7 . 21) (8 . 20)) 3548 0.6621 9.7805 ((1 . 5) (2 . 6) (5 . 9) (8 . 10)) 3549 0.5275 9.7264 ((1 . 1) (5 . 3) (7 . 7) (8 . 5)) 3561 0.6657 6.6543 ((3 . 25) (5 . 28) (7 . 29) (8 . 30)) 3570 0.2970 7.8110 ((3 . 6) (5 . 7) (7 . 9) (8 . 10)) 3585 0.6664 4.9921 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 3613 0.6654 7.0367 ((1 . 40) (2 . 41) (3 . 42) (7 . 43)) 3625 0.6665 4.0104 ((1 . 1) (2 . 2) (5 . 5) (8 . 6)) 3626 0.6645 8.1131 ((2 . 2) (3 . 5) (5 . 6) (8 . 8)) 3628 0.6664 4.8162 ((2 . 6) (3 . 7) (5 . 8) (8 . 9)) 3651 0.4665 7.7539 ((2 . 8) (3 . 10) (5 . 11) (7 . 14)) 3658 0.6643 8.3467 ((3 . 16) (5 . 17) (7 . 19) (8 . 18)) 3659 0.6653 7.2656 ((1 . 9) (2 . 10) (5 . 12) (8 . 13)) 3661 0.6662 5.4999 ((1 . 23) (2 . 24) (3 . 25) (5 . 26)) 3663 0.6626 9.5349 ((3 . 3) (5 . 2) (7 . 4) (8 . 5)) 3688 0.2487 13.3680 ((1 . 30) (2 . 32) (5 . 34) (8 . 35)) 3697 0.6658 6.4064 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 3703 0.6651 7.5321 ((1 . 2) (2 . 3) (7 . 5) (8 . 6)) 3732 0.4665 7.5705 ((2 . 7) (3 . 8) (7 . 10) (8 . 11)) 3740 0.6664 4.9784 ((1 . 1) (2 . 2) (5 . 4) (8 . 5)) 3741 0.6647 7.9196 ((1 . 22) (2 . 23) (5 . 25) (8 . 26)) 3778 0.6664 4.8173 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 3787 0.6649 7.6626 ((1 . 7) (3 . 10) (7 . 11) (8 . 12)) 3790 0.6666 3.2159 ((1 . 16) (2 . 18) (5 . 21) (8 . 22)) 3807 0.1499 8.7233 ((1 . 43) (2 . 46) (3 . 48) (7 . 49)) 3810 0.6666 3.8507 ((1 . 4) (2 . 6) (5 . 10) (8 . 11)) 3817 0.5278 9.2284 ((1 . 7) (2 . 9) (5 . 11) (7 . 12)) 3829 0.6663 5.3242 ((3 . 8) (5 . 9) (7 . 11) (8 . 12)) 3831 0.8321 5.3363 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 6)) 3847 0.6630 9.2734 ((2 . 9) (3 . 10) (7 . 12) (8 . 13)) 3849 0.6637 8.8072 ((2 . 2) (3 . 4) (5 . 5) (8 . 8)) 3870 0.3880 4.4570 ((2 . 3) (3 . 4) (5 . 5) (7 . 6)) 3938 0.6663 5.0232 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 3942 0.2970 7.8485 ((2 . 2) (3 . 4) (7 . 8) (8 . 9)) 3986 0.6655 7.0090 ((3 . 19) (5 . 21) (7 . 20) (8 . 25)) 3990 0.2488 7.0034 ((2 . 16) (3 . 19) (5 . 20) (7 . 21)) 4005 0.5279 8.8738 ((1 . 29) (2 . 30) (5 . 33) (8 . 37)) 4009 0.2969 10.3067 ((2 . 19) (3 . 20) (5 . 21) (7 . 24)) 4019 0.6654 7.0684 ((1 . 46) (2 . 47) (5 . 50) (8 . 51)) 4034 0.1996 6.7599 ((1 . 6) (3 . 8) (5 . 9) (8 . 10)) 4037 0.1996 9.0324 ((1 . 1) (2 . 2) (3 . 4) (5 . 3)) 4067 0.6656 6.8216 ((2 . 20) (3 . 21) (5 . 22) (7 . 23)) 4077 0.4659 10.0517 ((3 . 9) (5 . 10) (7 . 12) (8 . 11)) 4082 0.6665 4.5032 ((1 . 5) (2 . 6) (5 . 8) (8 . 10)) 4087 0.1665 7.8185 ((1 . 5) (2 . 6) (7 . 9) (8 . 8)) 4112 0.6635 8.9525 ((1 . 3) (2 . 4) (3 . 7) (7 . 8)) 4115 0.4667 4.7223 ((2 . 17) (3 . 18) (5 . 19) (7 . 20)) 4151 0.1996 6.5903 ((2 . 17) (3 . 18) (5 . 19) (7 . 20)) 4154 0.6659 6.1503 ((1 . 51) (2 . 52) (5 . 56) (8 . 57)) 4190 0.6647 7.8972 ((1 . 1) (2 . 3) (7 . 7) (8 . 8)) 4192 0.3879 6.6611 ((2 . 19) (3 . 20) (7 . 21) (8 . 22)) 4194 0.6665 4.5072 ((2 . 3) (3 . 4) (5 . 5) (8 . 6)) 4195 0.4659 10.2341 ((1 . 6) (3 . 8) (5 . 9) (7 . 10)) 4204 0.6660 6.0731 ((2 . 11) (3 . 12) (5 . 14) (8 . 15)) 4209 0.7527 7.2671 ((1 . 2) (2 . 4) (5 . 5) (7 . 6) (8 . 10)) 4210 0.6660 6.0642 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 4226 0.6664 4.6066 ((2 . 16) (3 . 17) (5 . 18) (8 . 19)) 4246 0.2970 8.2122 ((1 . 3) (2 . 5) (5 . 7) (7 . 10)) 4254 0.6661 5.9192 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 4255 0.6665 4.4969 ((1 . 21) (2 . 24) (3 . 25) (5 . 26)) 4265 0.4666 6.9937 ((2 . 24) (3 . 25) (5 . 26) (7 . 28)) 4266 0.4664 8.1219 ((3 . 7) (5 . 8) (7 . 9) (8 . 11)) 4274 0.6666 3.7110 ((2 . 36) (3 . 37) (5 . 40) (8 . 41)) 4275 0.5288 4.9484 ((3 . 22) (5 . 25) (7 . 26) (8 . 27)) 4281 0.8221 9.3392 ((1 . 3) (2 . 4) (3 . 7) (7 . 9) (8 . 10)) 4284 0.4665 7.8565 ((1 . 6) (3 . 7) (5 . 9) (7 . 11)) 4299 0.6656 6.8371 ((2 . 14) (5 . 16) (7 . 17) (8 . 19)) 4301 0.6656 6.8552 ((1 . 4) (2 . 6) (5 . 9) (8 . 10)) 4326 0.4667 5.8001 ((2 . 15) (3 . 16) (5 . 19) (7 . 18)) 4332 0.6659 6.3017 ((1 . 2) (2 . 4) (5 . 6) (7 . 8)) 4338 0.6641 8.4908 ((1 . 1) (2 . 2) (5 . 6) (8 . 7)) 4359 0.6662 5.3989 ((1 . 4) (2 . 5) (5 . 7) (8 . 10)) 4380 0.4661 9.6434 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 4388 0.6661 5.7344 ((1 . 5) (2 . 6) (5 . 9) (8 . 10)) 4398 0.6636 8.8806 ((1 . 4) (5 . 7) (7 . 9) (8 . 10)) 4405 0.6654 7.0892 ((2 . 14) (3 . 17) (5 . 18) (8 . 19)) 4408 0.6663 5.1065 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4415 0.6665 3.9866 ((1 . 3) (2 . 4) (3 . 5) (5 . 9)) 4419 0.1996 6.8517 ((2 . 3) (3 . 5) (5 . 6) (8 . 8)) 4470 0.6630 9.3016 ((1 . 2) (2 . 3) (5 . 5) (7 . 6)) 4491 0.6661 5.8656 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 4492 0.1996 7.5591 ((1 . 2) (2 . 3) (3 . 6) (7 . 9)) 4495 0.6562 12.1251 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 4497 0.6657 6.5513 ((1 . 25) (2 . 26) (5 . 28) (8 . 30)) 4502 0.6637 8.8109 ((1 . 6) (5 . 10) (7 . 13) (8 . 14)) 4504 0.6664 4.6819 ((2 . 4) (3 . 5) (5 . 6) (8 . 8)) 4505 0.6663 5.2102 ((1 . 25) (2 . 26) (3 . 27) (5 . 28)) 4560 0.3880 5.9989 ((2 . 11) (3 . 12) (5 . 13) (8 . 16)) 4561 0.3879 6.6076 ((2 . 7) (3 . 8) (5 . 9) (7 . 11)) 4562 0.4667 5.2315 ((2 . 19) (3 . 21) (5 . 22) (7 . 23)) 4563 0.1996 6.9270 ((2 . 1) (3 . 3) (5 . 4) (7 . 5)) 4577 0.6653 7.2012 ((1 . 49) (2 . 50) (5 . 52) (8 . 54)) 4588 0.1998 6.3269 ((1 . 1) (2 . 3) (3 . 12) (5 . 13) (8 . 16)) 4589 0.6659 6.2883 ((2 . 25) (3 . 26) (5 . 27) (8 . 30)) 4607 0.5286 6.5323 ((1 . 4) (2 . 3) (3 . 5) (7 . 9)) 4621 0.6658 6.5257 ((1 . 3) (2 . 4) (3 . 5) (8 . 9)) 4630 0.4660 9.7369 ((1 . 19) (2 . 20) (5 . 23) (8 . 27)) 4648 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7) (8 . 8)) 4653 0.6659 6.2673 ((1 . 5) (2 . 6) (5 . 8) (8 . 9)) 4665 0.2970 8.0717 ((1 . 11) (2 . 12) (5 . 14) (7 . 16)) 4668 0.4667 5.3468 ((2 . 3) (3 . 6) (5 . 7) (7 . 8)) 4671 0.6666 3.7623 ((2 . 4) (3 . 5) (5 . 6) (8 . 21)) 4674 0.4664 8.3509 ((2 . 1) (3 . 3) (7 . 4) (8 . 6)) 4678 0.1996 7.0475 ((1 . 10) (2 . 11) (5 . 12) (8 . 15)) 4713 0.4663 8.6464 ((1 . 8) (2 . 9) (3 . 10) (7 . 11)) 4857 0.6665 4.4089 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 4888 0.5287 5.9186 ((2 . 1) (3 . 2) (5 . 4) (7 . 5)) 4889 0.6663 5.0606 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 4907 0.6661 5.9015 ((1 . 3) (2 . 4) (5 . 8) (8 . 9)) 4914 0.6661 5.8632 ((1 . 4) (2 . 5) (5 . 9) (8 . 10)) 4921 0.1996 8.8104 ((1 . 9) (3 . 13) (5 . 14) (8 . 15)) 4929 0.6651 7.4437 ((1 . 31) (2 . 32) (5 . 34) (8 . 35)) 4932 0.5279 8.9453 ((1 . 1) (2 . 2) (3 . 3) (7 . 7)) 4940 0.2970 6.1620 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 4944 0.1996 10.4295 ((2 . 13) (5 . 15) (7 . 17) (8 . 16)) 4961 0.2970 7.2893 ((2 . 14) (3 . 16) (5 . 17) (7 . 18)) 4978 0.6660 6.0508 ((2 . 18) (3 . 20) (5 . 21) (8 . 22)) 4982 0.4667 4.9506 ((1 . 9) (3 . 11) (5 . 14) (7 . 15)) 4998 0.6618 9.9849 ((1 . 15) (3 . 17) (5 . 19) (8 . 20)) 5038 0.1665 8.2051 ((2 . 12) (3 . 13) (5 . 15) (8 . 18)) 5039 0.6665 4.2479 ((2 . 41) (3 . 43) (5 . 44) (8 . 45)) 5044 0.6653 7.1825 ((1 . 1) (2 . 2) (5 . 3) (8 . 8)) 5053 0.6657 6.6231 ((1 . 6) (3 . 8) (5 . 9) (8 . 10)) 5065 0.6658 6.4074 ((1 . 7) (2 . 8) (5 . 10) (7 . 12)) 5068 0.5275 9.7956 ((1 . 17) (3 . 19) (7 . 21) (8 . 24)) 5069 0.6664 4.8431 ((2 . 2) (3 . 3) (5 . 4) (8 . 5)) 5073 0.3880 6.0574 ((1 . 32) (2 . 34) (3 . 35) (7 . 37)) 5080 0.1665 6.4785 ((1 . 2) (2 . 3) (3 . 5) (7 . 6)) 5083 0.2970 7.1296 ((1 . 2) (2 . 5) (3 . 4) (5 . 8)) 5101 0.4666 6.6589 ((2 . 5) (3 . 6) (5 . 7) (7 . 8)) 5103 0.6630 9.2735 ((1 . 2) (3 . 3) (5 . 6) (7 . 7)) 5132 0.2970 7.8086 ((1 . 18) (2 . 20) (3 . 21) (7 . 23)) 5134 0.6664 4.7683 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 5145 0.6651 7.4718 ((1 . 5) (3 . 7) (5 . 10) (7 . 11)) 5167 0.6664 4.9279 ((1 . 3) (2 . 4) (3 . 6) (8 . 9)) 5176 0.2488 6.4506 ((1 . 84) (2 . 86) (3 . 85) (5 . 88)) 5183 0.6659 6.2016 ((1 . 34) (2 . 35) (5 . 37) (7 . 39)) 5209 0.8305 6.5778 ((1 . 3) (2 . 4) (3 . 6) (5 . 7) (8 . 8)) 5212 0.5277 9.4277 ((1 . 2) (2 . 3) (3 . 4) (7 . 9)) 5215 0.6662 5.4620 ((1 . 12) (3 . 14) (5 . 15) (8 . 16)) 5231 0.6665 4.3432 ((1 . 8) (2 . 12) (5 . 14) (8 . 16)) 5266 0.2970 5.4411 ((2 . 10) (3 . 12) (5 . 13) (8 . 15)) 5278 0.6631 9.2043 ((1 . 7) (2 . 8) (5 . 10) (8 . 12)) 5307 0.4667 5.0235 ((3 . 52) (5 . 55) (7 . 56) (8 . 57)) 5312 0.6662 5.4386 ((1 . 1) (2 . 2) (5 . 4) (8 . 5)) 5324 0.8316 5.8417 ((1 . 20) (2 . 22) (3 . 23) (7 . 26) (8 . 28)) 5344 0.6658 6.4825 ((1 . 1) (2 . 2) (5 . 4) (8 . 7)) 5345 0.6662 5.5029 ((1 . 4) (2 . 5) (5 . 8) (8 . 12)) 5368 0.6663 5.2410 ((1 . 36) (2 . 37) (5 . 39) (8 . 41)) 5378 0.8316 5.8394 ((1 . 8) (3 . 10) (5 . 9) (7 . 13) (8 . 21)) 5411 0.0999 7.7242 ((1 . 3) (5 . 6) (7 . 9) (8 . 8)) 5414 0.8325 4.7681 ((1 . 15) (2 . 16) (3 . 17) (5 . 21) (8 . 22)) 5418 0.6659 6.1536 ((1 . 1) (2 . 2) (5 . 5) (8 . 8)) 5433 0.3879 6.2714 ((1 . 5) (2 . 7) (5 . 10) (8 . 14)) 5479 0.6663 5.0143 ((1 . 68) (2 . 69) (5 . 71) (8 . 74)) 5487 0.6664 4.9311 ((1 . 4) (2 . 7) (3 . 8) (5 . 9)) 5489 0.6658 6.4628 ((1 . 5) (2 . 6) (5 . 9) (8 . 12)) 5500 0.2488 9.0366 ((1 . 7) (3 . 10) (5 . 12) (7 . 13)) 5501 0.4660 9.8325 ((3 . 22) (5 . 24) (7 . 26) (8 . 25)) 5535 0.6650 7.6502 ((1 . 7) (2 . 8) (5 . 10) (8 . 12)) 5540 0.6664 4.6621 ((2 . 1) (3 . 2) (5 . 3) (8 . 4)) 5557 0.6662 5.5556 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5560 0.6662 5.4021 ((1 . 11) (2 . 13) (3 . 14) (5 . 15)) 5562 0.6644 8.2575 ((1 . 6) (2 . 7) (3 . 9) (7 . 10)) 5567 0.6341 16.4751 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 5594 0.6661 5.7004 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5600 0.8291 7.2698 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (7 . 10)) 5601 0.2488 4.2899 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 5638 0.6655 6.9679 ((1 . 7) (2 . 8) (7 . 12) (8 . 13)) 5640 0.6658 6.3776 ((1 . 23) (2 . 24) (5 . 26) (8 . 29)) 5644 0.6662 5.3954 ((2 . 1) (5 . 4) (7 . 5) (8 . 8)) 5656 0.2488 7.2486 ((1 . 5) (2 . 8) (3 . 11) (8 . 14)) 5700 0.3878 8.2389 ((1 . 4) (3 . 7) (5 . 8) (8 . 9)) 5701 0.3879 7.2670 ((2 . 8) (3 . 10) (5 . 11) (7 . 13)) 5703 0.6660 6.1115 ((1 . 1) (2 . 2) (5 . 5) (8 . 6)) 5711 0.6652 7.3338 ((1 . 35) (2 . 36) (5 . 39) (8 . 42)) 5713 0.6662 5.4415 ((1 . 18) (2 . 19) (5 . 21) (8 . 24)) 5718 0.6664 4.8527 ((1 . 16) (2 . 17) (7 . 22) (8 . 23)) 5731 0.6658 6.4752 ((1 . 7) (2 . 9) (5 . 11) (8 . 13)) 5746 0.6661 5.6943 ((1 . 2) (2 . 3) (5 . 6) (8 . 7)) 5761 0.6642 8.3577 ((1 . 30) (2 . 31) (7 . 34) (8 . 36)) 5770 0.5282 8.1193 ((2 . 6) (3 . 7) (5 . 8) (7 . 10)) 5771 0.6658 6.5163 ((2 . 9) (3 . 10) (5 . 13) (8 . 14)) 5782 0.6663 5.2096 ((1 . 21) (2 . 22) (3 . 23) (5 . 24)) 5789 0.2969 9.0010 ((1 . 2) (3 . 3) (7 . 6) (8 . 5)) 5794 0.8311 6.1949 ((1 . 18) (2 . 19) (3 . 22) (5 . 23) (8 . 24)) 5809 0.4664 8.0041 ((2 . 5) (3 . 6) (5 . 7) (7 . 8)) 5822 0.8329 4.0102 ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (8 . 8)) 5827 0.6663 5.1884 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 5830 0.2969 11.4012 ((2 . 1) (3 . 5) (5 . 6) (8 . 8)) 5847 0.6663 5.1358 ((1 . 12) (2 . 13) (5 . 17) (8 . 18)) 5861 0.1996 9.1924 ((1 . 7) (2 . 6) (5 . 10) (8 . 12)) 5865 0.2970 8.0659 ((1 . 4) (2 . 5) (3 . 6) (7 . 8)) 5888 0.6661 5.8490 ((1 . 18) (2 . 19) (5 . 21) (8 . 24)) 5896 0.6663 5.1290 ((1 . 28) (2 . 29) (3 . 30) (5 . 31)) 5904 0.2970 6.2639 ((2 . 7) (3 . 8) (5 . 9) (7 . 10)) 5913 0.1996 6.7780 ((1 . 15) (2 . 17) (5 . 20) (8 . 22)) 5914 0.6859 3.4180 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 6)) 5939 0.1996 10.7028 ((2 . 9) (3 . 12) (7 . 13) (8 . 14)) 5945 0.6651 7.5310 ((1 . 32) (2 . 33) (3 . 34) (7 . 36)) 5949 0.2970 6.3386 ((2 . 12) (3 . 13) (5 . 14) (7 . 15)) 5955 0.2970 8.4001 ((1 . 16) (2 . 17) (3 . 18) (7 . 19)) 6000 0.4666 7.1341 ((2 . 17) (3 . 18) (5 . 21) (7 . 22)) 6011 0.6661 5.7200 ((1 . 4) (2 . 5) (5 . 9) (8 . 10)) 6029 0.6638 8.7218 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 6041 0.6665 4.5105 ((1 . 12) (2 . 13) (3 . 14) (5 . 15)) 6061 0.6664 4.7748 ((1 . 14) (2 . 15) (3 . 16) (5 . 17)) 6074 0.3880 5.3709 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 6075 0.2969 8.8094 ((2 . 15) (3 . 16) (5 . 17) (7 . 18)) 6079 0.1665 6.2618 ((1 . 6) (2 . 7) (5 . 9) (7 . 12)) 6089 0.6577 11.6704 ((2 . 12) (3 . 13) (7 . 15) (8 . 18)) 6094 0.6644 8.2406 ((1 . 4) (2 . 5) (7 . 8) (8 . 11)) 6099 0.6665 4.4196 ((1 . 10) (2 . 11) (7 . 15) (8 . 17)) 6123 0.1996 8.1652 ((1 . 3) (2 . 4) (3 . 6) (7 . 7)) 6142 0.6662 5.6638 ((1 . 14) (2 . 15) (5 . 19) (8 . 20)) 6148 0.4667 6.2325 ((1 . 33) (2 . 34) (3 . 35) (5 . 36)) 6167 0.6658 6.3741 ((1 . 12) (2 . 14) (5 . 20) (8 . 21)) 6173 0.6665 4.5107 ((1 . 9) (2 . 11) (5 . 13) (8 . 15)) 6191 0.6621 9.7907 ((1 . 6) (2 . 9) (5 . 12) (8 . 13)) 6192 0.6609 10.4065 ((1 . 5) (3 . 9) (5 . 10) (8 . 11)) 6215 0.6661 5.7890 ((1 . 19) (2 . 20) (3 . 22) (5 . 24)) 6228 0.6651 7.4541 ((3 . 8) (5 . 9) (7 . 10) (8 . 12)) 6234 0.5286 6.7349 ((2 . 9) (5 . 13) (7 . 14) (8 . 15)) 6238 0.8262 8.2980 ((1 . 3) (2 . 4) (3 . 6) (5 . 7) (8 . 8)) 6243 0.6665 4.4573 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 6258 0.2970 7.9413 ((1 . 7) (3 . 8) (5 . 10) (8 . 12)) 6261 0.2488 7.5102 ((3 . 18) (5 . 21) (7 . 23) (8 . 22)) 6266 0.2970 8.4157 ((1 . 3) (3 . 4) (5 . 6) (8 . 8)) 6270 0.6665 4.2578 ((1 . 17) (2 . 18) (3 . 19) (5 . 20)) 6271 0.8325 4.8562 ((1 . 4) (2 . 8) (3 . 9) (5 . 10) (8 . 11)) 6273 0.2488 9.4056 ((1 . 4) (3 . 5) (5 . 6) (8 . 7)) 6294 0.6660 6.0875 ((2 . 6) (3 . 7) (5 . 9) (7 . 10)) 6306 0.8331 3.4367 ((1 . 15) (2 . 17) (3 . 18) (5 . 19) (8 . 21)) 6311 0.6663 5.1075 ((1 . 10) (2 . 11) (5 . 13) (8 . 14)) 6326 0.5284 7.4388 ((1 . 9) (2 . 10) (5 . 12) (8 . 13)) 6338 0.6662 5.6545 ((1 . 2) (2 . 4) (5 . 7) (8 . 8)) 6344 0.6666 3.2271 ((1 . 14) (2 . 15) (3 . 16) (8 . 21)) 6355 0.6661 5.6674 ((1 . 9) (2 . 10) (3 . 13) (8 . 15)) 6356 0.4664 8.0673 ((1 . 4) (3 . 5) (7 . 8) (8 . 9)) 6369 0.2487 12.0326 ((2 . 29) (3 . 30) (5 . 32) (8 . 33)) 6376 0.4664 8.2503 ((1 . 21) (2 . 24) (5 . 27) (7 . 29)) 6391 0.4667 6.1198 ((3 . 7) (5 . 10) (7 . 11) (8 . 12)) 6392 0.6663 5.3145 ((2 . 1) (3 . 2) (5 . 3) (7 . 4)) 6399 0.6659 6.2751 ((1 . 27) (2 . 28) (5 . 30) (8 . 33)) 6403 0.6661 5.8313 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 6434 0.1333 8.1847 ((1 . 3) (2 . 4) (5 . 5) (7 . 7)) 6462 0.6663 5.0719 ((2 . 18) (3 . 19) (5 . 22) (8 . 24)) 6476 0.2970 7.5913 ((2 . 4) (3 . 5) (7 . 7) (8 . 9)) 6498 0.2970 7.6746 ((1 . 16) (2 . 19) (3 . 28) (8 . 29)) 6520 0.2970 7.6733 ((1 . 3) (2 . 6) (5 . 9) (7 . 11)) 6536 0.5265 11.1145 ((3 . 34) (5 . 35) (7 . 37) (8 . 36)) 6539 0.6664 4.5695 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 6540 0.4654 11.3779 ((1 . 2) (3 . 4) (5 . 5) (8 . 6)) 6548 0.3879 6.6362 ((2 . 7) (5 . 9) (7 . 10) (8 . 12)) 6553 0.6646 8.0506 ((1 . 24) (2 . 25) (3 . 27) (7 . 28)) 6555 0.2969 9.4446 ((1 . 6) (3 . 9) (7 . 12) (8 . 13)) 6561 0.6663 5.2807 ((1 . 9) (2 . 10) (3 . 11) (8 . 12)) 6575 0.2488 8.4011 ((1 . 2) (3 . 6) (5 . 5) (7 . 7)) 6578 0.6660 6.1231 ((1 . 34) (2 . 37) (5 . 38) (7 . 40)) 6584 0.6816 9.3883 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 8)) 6585 0.6664 4.6344 ((2 . 8) (3 . 9) (5 . 10) (8 . 11)) 6587 0.1665 7.3775 ((1 . 31) (2 . 33) (5 . 34) (7 . 35)) 6598 0.6659 6.1941 ((1 . 5) (2 . 6) (5 . 8) (8 . 10)) 6613 0.6662 5.6274 ((1 . 21) (2 . 22) (3 . 23) (5 . 24)) 6635 0.4666 7.1469 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) END