2220 51 0.6650 7.5817 ((1 . 4) (2 . 6) (3 . 7) (7 . 11)) 62 0.4666 6.5141 ((1 . 9) (3 . 10) (4 . 12) (7 . 13)) 64 0.6666 2.8586 ((2 . 2) (3 . 3) (4 . 4) (7 . 6)) 129 0.4663 8.6578 ((2 . 8) (3 . 9) (5 . 10) (7 . 12)) 136 0.6661 5.9059 ((1 . 4) (3 . 5) (4 . 7) (5 . 8)) 157 0.1499 10.3591 ((1 . 4) (2 . 5) (5 . 8) (7 . 9)) 161 0.6653 7.2725 ((3 . 2) (4 . 4) (5 . 3) (7 . 6)) 162 0.6657 6.7064 ((1 . 16) (3 . 22) (4 . 17) (5 . 18)) 169 0.0999 4.6333 ((2 . 5) (4 . 7) (5 . 8) (7 . 9)) 198 0.6649 7.7151 ((2 . 5) (4 . 7) (5 . 8) (7 . 9)) 300 0.6621 9.7917 ((1 . 5) (3 . 8) (4 . 9) (5 . 10)) 305 0.6634 8.9903 ((1 . 8) (2 . 9) (5 . 12) (7 . 15)) 315 0.6658 6.4375 ((2 . 3) (3 . 5) (4 . 6) (7 . 8)) 340 0.8333 2.4919 ((2 . 1) (3 . 2) (4 . 4) (5 . 7) (7 . 9)) 360 0.6646 8.0432 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 367 0.3879 7.2225 ((2 . 44) (3 . 46) (4 . 47) (5 . 48)) 372 0.8331 3.3974 ((2 . 1) (3 . 5) (4 . 6) (5 . 7) (7 . 14)) 460 0.6664 4.6883 ((2 . 1) (3 . 2) (4 . 3) (7 . 6)) 495 0.6662 5.5672 ((1 . 4) (2 . 5) (4 . 7) (7 . 8)) 561 0.6661 5.8825 ((2 . 1) (4 . 3) (5 . 4) (7 . 6)) 587 0.6667 2.3713 ((2 . 2) (3 . 3) (4 . 4) (7 . 6)) 619 0.6660 6.1174 ((2 . 7) (3 . 8) (4 . 9) (7 . 11)) 672 0.6647 7.8997 ((1 . 19) (2 . 20) (4 . 22) (5 . 23)) 683 0.6661 5.7198 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 740 0.9999 1.6979 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (7 . 9)) 765 0.4667 5.3869 ((2 . 12) (4 . 17) (5 . 18) (7 . 19)) 767 0.1749 4.1522 ((2 . 1) (3 . 9) (4 . 10) (5 . 11) (7 . 12)) 812 0.2487 9.7964 ((2 . 5) (3 . 8) (4 . 9) (7 . 11)) 818 0.6656 6.7265 ((1 . 11) (2 . 12) (4 . 14) (7 . 16)) 824 0.6665 4.2945 ((2 . 49) (3 . 50) (4 . 51) (5 . 53)) 861 0.9994 3.5568 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (7 . 19)) 928 0.0999 5.1728 ((1 . 6) (2 . 5) (3 . 7) (5 . 8)) 937 0.2969 9.0655 ((1 . 2) (2 . 1) (4 . 4) (7 . 5)) 945 0.6662 5.4993 ((1 . 13) (2 . 14) (5 . 17) (7 . 19)) 1034 0.6664 4.8523 ((1 . 19) (2 . 20) (3 . 21) (4 . 22)) 1169 0.6666 2.9636 ((2 . 31) (3 . 32) (4 . 33) (5 . 34)) 1201 0.3880 5.4271 ((1 . 8) (2 . 7) (3 . 9) (7 . 11)) 1224 0.0999 4.8785 ((2 . 5) (4 . 6) (5 . 7) (7 . 9)) 1233 0.1996 10.8143 ((1 . 16) (2 . 17) (5 . 20) (7 . 22)) 1268 0.6454 14.6415 ((1 . 20) (4 . 23) (5 . 24) (7 . 25)) 1294 0.1665 11.7701 ((2 . 41) (3 . 42) (5 . 44) (7 . 46)) 1366 0.6659 6.2213 ((1 . 18) (3 . 20) (4 . 21) (5 . 22)) 1410 0.6647 7.8772 ((2 . 21) (3 . 22) (4 . 23) (7 . 25)) 1425 0.6662 5.5004 ((1 . 7) (2 . 4) (4 . 8) (7 . 10)) 1451 0.6659 6.2651 ((1 . 7) (3 . 8) (4 . 9) (5 . 10)) 1476 0.6649 7.6772 ((1 . 10) (2 . 11) (5 . 14) (7 . 15)) 1501 0.8329 4.0317 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 9)) 1514 0.0999 5.6496 ((1 . 2) (2 . 1) (5 . 3) (7 . 4)) 1624 0.4665 7.7538 ((3 . 4) (4 . 5) (5 . 6) (7 . 7)) 1643 0.6655 6.8965 ((2 . 28) (3 . 31) (4 . 32) (5 . 33)) 1692 0.3880 5.7342 ((1 . 2) (3 . 5) (4 . 7) (5 . 6)) 1756 0.6665 4.0062 ((3 . 23) (4 . 25) (5 . 26) (7 . 27)) 1761 0.6665 4.3102 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 1776 0.2488 9.0015 ((1 . 18) (2 . 16) (3 . 19) (4 . 20)) 1777 0.6650 7.5886 ((2 . 43) (3 . 45) (4 . 47) (5 . 49)) 1805 0.6666 2.9384 ((2 . 2) (3 . 3) (4 . 4) (7 . 7)) 1808 0.6655 6.9681 ((1 . 1) (3 . 2) (4 . 4) (7 . 5)) 1817 0.8331 3.6127 ((2 . 15) (3 . 16) (4 . 19) (5 . 20) (7 . 14)) 1867 0.6664 4.6495 ((1 . 2) (2 . 1) (3 . 3) (7 . 6)) 1894 0.3879 7.1840 ((3 . 20) (4 . 21) (5 . 22) (7 . 23)) 1913 0.3877 9.6948 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 1957 0.6662 5.5997 ((1 . 4) (3 . 5) (4 . 7) (5 . 9)) 1961 0.6659 6.2995 ((1 . 13) (3 . 14) (4 . 15) (5 . 16)) 1967 0.6664 4.7927 ((1 . 9) (2 . 10) (4 . 13) (5 . 14)) 2006 0.6664 4.5605 ((2 . 14) (3 . 15) (4 . 16) (5 . 18)) 2045 0.2970 7.9738 ((1 . 9) (2 . 8) (5 . 11) (7 . 13)) 2065 0.6663 5.2485 ((2 . 18) (4 . 22) (5 . 23) (7 . 25)) 2067 0.6664 4.5846 ((3 . 54) (4 . 55) (5 . 57) (7 . 59)) 2081 0.6634 9.0259 ((1 . 18) (2 . 19) (3 . 20) (4 . 21)) 2097 0.1996 11.6624 ((1 . 2) (2 . 4) (4 . 6) (5 . 7)) 2116 0.6659 6.3536 ((2 . 6) (3 . 7) (4 . 8) (7 . 10)) 2117 0.6642 8.3697 ((1 . 19) (3 . 20) (4 . 22) (5 . 23)) 2122 0.2970 5.9487 ((1 . 11) (2 . 12) (4 . 14) (5 . 15)) 2179 0.6628 9.4115 ((1 . 18) (3 . 20) (5 . 22) (7 . 23)) 2209 0.1996 7.2554 ((1 . 4) (2 . 3) (3 . 5) (4 . 6)) 2220 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7)) 2243 0.6643 8.2799 ((2 . 49) (4 . 51) (5 . 52) (7 . 53)) 2249 0.6636 8.8372 ((3 . 16) (4 . 17) (5 . 18) (7 . 20)) 2279 0.3880 5.3597 ((1 . 15) (2 . 19) (3 . 20) (7 . 22)) 2340 0.1996 5.2486 ((1 . 10) (2 . 9) (3 . 11) (7 . 13)) 2344 0.2488 9.2392 ((1 . 12) (2 . 14) (3 . 13) (7 . 18)) 2389 0.1499 7.5055 ((1 . 2) (4 . 6) (5 . 7) (7 . 8)) 2409 0.6647 7.9020 ((1 . 1) (3 . 4) (4 . 5) (5 . 6)) 2422 0.1800 6.0339 ((1 . 10) (2 . 1) (3 . 6) (4 . 7) (5 . 8) (7 . 9)) 2423 0.6631 9.1831 ((1 . 13) (2 . 14) (5 . 17) (7 . 19)) 2525 0.3879 6.7165 ((1 . 42) (2 . 41) (5 . 43) (7 . 45)) 2551 0.3880 4.9588 ((1 . 10) (2 . 11) (3 . 12) (7 . 14)) 2561 0.6652 7.3447 ((2 . 6) (3 . 7) (4 . 8) (7 . 9)) 2627 0.6647 7.9120 ((1 . 61) (2 . 60) (4 . 64) (5 . 65)) 2650 0.6646 7.9895 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 2696 0.6659 6.3023 ((2 . 35) (3 . 36) (4 . 37) (7 . 39)) 2731 0.1996 8.3510 ((1 . 2) (2 . 1) (4 . 4) (7 . 5)) 2783 0.6655 7.0034 ((1 . 4) (3 . 6) (4 . 7) (5 . 8)) 2804 0.6592 11.1216 ((1 . 27) (3 . 29) (4 . 31) (5 . 32)) 2834 0.6658 6.4499 ((1 . 2) (3 . 3) (4 . 5) (5 . 6)) 2879 0.1499 7.8085 ((1 . 55) (3 . 57) (4 . 59) (5 . 58)) 2886 0.6656 6.8249 ((2 . 37) (3 . 38) (4 . 39) (7 . 41)) 2966 0.6665 4.4659 ((2 . 10) (3 . 12) (4 . 13) (5 . 15)) 2990 0.1996 9.8058 ((1 . 10) (2 . 9) (3 . 12) (7 . 14)) 3014 0.6657 6.7123 ((1 . 3) (4 . 4) (5 . 5) (7 . 7)) 3041 0.1333 7.0775 ((1 . 31) (2 . 30) (3 . 32) (4 . 33)) 3102 0.6626 9.5147 ((2 . 69) (3 . 70) (4 . 71) (5 . 72)) 3147 0.6666 3.6138 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 3200 0.2970 4.9815 ((1 . 2) (2 . 1) (4 . 4) (5 . 3)) 3256 0.0999 7.5783 ((3 . 20) (4 . 21) (5 . 25) (7 . 24)) 3289 0.6655 6.9888 ((1 . 28) (3 . 29) (4 . 30) (5 . 31)) 3297 0.1996 7.5837 ((2 . 3) (3 . 4) (5 . 5) (7 . 7)) 3300 0.1665 7.2084 ((2 . 1) (3 . 2) (5 . 4) (7 . 5)) 3362 0.0999 5.1351 ((1 . 5) (2 . 6) (5 . 8) (7 . 10)) 3366 0.6665 4.1803 ((1 . 25) (2 . 26) (3 . 27) (7 . 29)) 3410 0.1996 10.9603 ((1 . 23) (2 . 24) (5 . 28) (7 . 30)) 3481 0.6651 7.4457 ((1 . 3) (2 . 4) (3 . 7) (5 . 8)) 3548 0.6661 5.8506 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 3626 0.6655 7.0197 ((2 . 3) (3 . 6) (4 . 8) (7 . 11)) 3651 0.2970 7.5979 ((1 . 4) (2 . 3) (3 . 5) (7 . 8)) 3656 0.2488 8.9903 ((1 . 21) (3 . 22) (5 . 23) (7 . 24)) 3658 0.4659 10.2411 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 3661 0.2969 9.6188 ((1 . 21) (4 . 23) (5 . 24) (7 . 26)) 3732 0.6660 5.9909 ((1 . 6) (2 . 7) (4 . 9) (7 . 11)) 3741 0.2970 6.7576 ((3 . 25) (4 . 26) (5 . 27) (7 . 28)) 3778 0.2970 7.5190 ((1 . 5) (2 . 4) (4 . 6) (7 . 7)) 3787 0.6647 7.9421 ((1 . 18) (3 . 19) (5 . 21) (7 . 23)) 3810 0.6664 4.7303 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 3847 0.1996 7.2337 ((1 . 12) (2 . 13) (5 . 16) (7 . 17)) 3849 0.2488 6.5719 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 3933 0.6656 6.8683 ((2 . 8) (4 . 10) (5 . 11) (7 . 13)) 3938 0.6653 7.2289 ((1 . 3) (2 . 4) (4 . 6) (5 . 8)) 3990 0.6626 9.5333 ((1 . 19) (2 . 20) (4 . 23) (5 . 22)) 4005 0.6664 4.9840 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4019 0.6663 5.2828 ((3 . 34) (4 . 35) (5 . 36) (7 . 37)) 4034 0.8326 4.6044 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 13)) 4062 0.6655 6.9402 ((1 . 47) (3 . 48) (4 . 49) (5 . 50)) 4082 0.6650 7.6028 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 4087 0.6653 7.1834 ((2 . 3) (3 . 5) (4 . 6) (7 . 7)) 4112 0.1665 7.3451 ((2 . 1) (3 . 2) (5 . 3) (7 . 4)) 4177 0.6615 10.1172 ((1 . 6) (3 . 7) (4 . 8) (7 . 9)) 4209 0.6660 6.0982 ((1 . 3) (2 . 4) (5 . 7) (7 . 8)) 4226 0.6664 4.7193 ((1 . 10) (2 . 11) (3 . 12) (7 . 16)) 4236 0.8333 2.0217 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (7 . 10)) 4246 0.1665 6.1311 ((2 . 3) (4 . 5) (5 . 6) (7 . 7)) 4254 0.8324 4.9380 ((1 . 2) (3 . 1) (4 . 3) (5 . 4) (7 . 6)) 4255 0.6656 6.7782 ((2 . 21) (4 . 23) (5 . 24) (7 . 26)) 4257 0.6662 5.4257 ((1 . 2) (2 . 3) (5 . 7) (7 . 8)) 4284 0.6663 5.3486 ((1 . 2) (4 . 4) (5 . 5) (7 . 6)) 4299 0.4667 5.2604 ((1 . 17) (2 . 19) (3 . 20) (4 . 22)) 4301 0.3880 5.1309 ((2 . 4) (3 . 6) (5 . 8) (7 . 9)) 4359 0.6665 3.9682 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4380 0.1499 5.5449 ((1 . 27) (4 . 30) (5 . 31) (7 . 32)) 4405 0.0999 6.5972 ((1 . 13) (2 . 14) (5 . 18) (7 . 19)) 4408 0.6649 7.7582 ((3 . 1) (4 . 3) (5 . 2) (7 . 4)) 4419 0.2969 9.8570 ((1 . 2) (4 . 6) (5 . 7) (7 . 8)) 4492 0.6665 4.3046 ((2 . 4) (3 . 5) (4 . 7) (5 . 8)) 4502 0.6466 14.4198 ((1 . 3) (3 . 4) (4 . 5) (5 . 6)) 4503 0.6658 6.4853 ((1 . 2) (4 . 6) (5 . 7) (7 . 8)) 4516 0.6664 4.9323 ((1 . 13) (2 . 12) (3 . 14) (5 . 16)) 4527 0.2970 5.4671 ((1 . 4) (3 . 6) (5 . 7) (7 . 8)) 4538 0.6664 4.9904 ((2 . 31) (4 . 33) (5 . 34) (7 . 37)) 4560 0.2969 9.1935 ((1 . 12) (3 . 13) (4 . 14) (7 . 16)) 4561 0.6657 6.5600 ((1 . 11) (2 . 12) (3 . 14) (4 . 15)) 4588 0.6663 5.3289 ((1 . 2) (2 . 3) (4 . 7) (5 . 8)) 4630 0.8312 6.1506 ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (5 . 9)) 4665 0.6666 2.7447 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 4668 0.2970 6.9571 ((1 . 2) (2 . 3) (3 . 5) (7 . 7)) 4671 0.8325 4.8455 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (7 . 15)) 4678 0.6652 7.3076 ((1 . 9) (2 . 12) (5 . 14) (7 . 15)) 4713 0.6650 7.5435 ((1 . 1) (3 . 4) (4 . 5) (7 . 7)) 4734 0.6661 5.9112 ((3 . 2) (4 . 3) (5 . 4) (7 . 5)) 4907 0.6665 3.9678 ((3 . 3) (4 . 4) (5 . 5) (7 . 7)) 4914 0.6665 4.3399 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 4944 0.6661 5.8519 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 4978 0.1996 5.8169 ((1 . 20) (4 . 22) (5 . 24) (7 . 25)) 5038 0.8323 5.1314 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (7 . 18)) 5044 0.2970 8.1182 ((1 . 11) (2 . 9) (5 . 14) (7 . 16)) 5053 0.6658 6.4721 ((1 . 8) (4 . 10) (5 . 11) (7 . 12)) 5065 0.6659 6.1921 ((2 . 7) (3 . 8) (4 . 9) (7 . 10)) 5069 0.6626 9.4993 ((1 . 8) (2 . 9) (4 . 12) (5 . 13)) 5083 0.6665 4.5401 ((1 . 3) (4 . 6) (5 . 8) (7 . 9)) 5134 0.2498 4.9637 ((1 . 1) (2 . 2) (3 . 3) (4 . 17) (5 . 6) (7 . 19)) 5145 0.6661 5.6865 ((1 . 4) (2 . 5) (4 . 8) (7 . 10)) 5176 0.6657 6.6198 ((2 . 84) (3 . 86) (4 . 87) (7 . 88)) 5198 0.6651 7.4724 ((1 . 25) (2 . 26) (5 . 31) (7 . 32)) 5209 0.6646 8.0163 ((2 . 7) (3 . 8) (4 . 9) (7 . 10)) 5212 0.6431 15.0583 ((1 . 19) (4 . 22) (5 . 23) (7 . 24)) 5215 0.0999 5.8354 ((1 . 8) (4 . 10) (5 . 11) (7 . 12)) 5231 0.6652 7.4113 ((1 . 9) (2 . 12) (3 . 13) (5 . 16)) 5266 0.0999 6.1102 ((1 . 9) (2 . 10) (5 . 13) (7 . 15)) 5278 0.4658 10.4808 ((1 . 3) (3 . 5) (4 . 6) (7 . 7)) 5312 0.6666 3.5956 ((2 . 3) (3 . 4) (4 . 5) (7 . 7)) 5324 0.1499 8.2689 ((1 . 19) (2 . 20) (4 . 22) (7 . 25)) 5368 0.6658 6.4714 ((2 . 33) (3 . 34) (4 . 35) (5 . 36)) 5378 0.6631 9.1873 ((1 . 5) (2 . 6) (4 . 8) (5 . 9)) 5414 0.6652 7.4138 ((2 . 16) (3 . 18) (4 . 19) (5 . 20)) 5418 0.1665 7.0918 ((2 . 3) (3 . 5) (4 . 7) (5 . 9)) 5421 0.6663 5.1235 ((2 . 1) (3 . 2) (4 . 3) (7 . 5)) 5433 0.6645 8.0817 ((2 . 5) (3 . 7) (5 . 10) (7 . 12)) 5479 0.6665 4.5244 ((2 . 55) (3 . 56) (5 . 58) (7 . 59)) 5535 0.5653 2.5138 ((1 . 5) (2 . 8) (4 . 10) (5 . 11) (7 . 12)) 5560 0.6635 8.9626 ((1 . 8) (2 . 9) (4 . 11) (5 . 13)) 5594 0.0999 5.5925 ((1 . 2) (2 . 1) (4 . 3) (5 . 4)) 5601 0.6650 7.5564 ((1 . 11) (2 . 12) (4 . 15) (5 . 16)) 5640 0.6665 4.0482 ((2 . 14) (3 . 16) (4 . 17) (7 . 19)) 5644 0.6538 12.8004 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 5656 0.6666 3.6553 ((1 . 19) (3 . 21) (4 . 23) (5 . 24)) 5701 0.6641 8.4498 ((1 . 3) (3 . 4) (4 . 5) (7 . 6)) 5711 0.1996 7.8671 ((2 . 43) (3 . 44) (5 . 46) (7 . 47)) 5718 0.6663 5.2352 ((2 . 14) (3 . 16) (4 . 17) (5 . 18)) 5731 0.6665 3.9272 ((2 . 7) (3 . 2) (5 . 9) (7 . 11)) 5746 0.8323 5.0448 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 10)) 5749 0.2969 11.3114 ((1 . 2) (3 . 3) (4 . 4) (7 . 5)) 5771 0.6635 8.9696 ((1 . 8) (2 . 9) (4 . 13) (5 . 14)) 5782 0.6529 13.0366 ((1 . 9) (3 . 12) (4 . 14) (5 . 15)) 5847 0.6662 5.4146 ((2 . 2) (3 . 4) (4 . 5) (7 . 7)) 5878 0.2487 9.6947 ((1 . 24) (2 . 25) (3 . 26) (4 . 28)) 5913 0.6647 7.9226 ((1 . 4) (3 . 5) (4 . 6) (5 . 7)) 5939 0.6633 9.0540 ((1 . 7) (2 . 9) (3 . 10) (7 . 14)) 5949 0.1665 8.4032 ((1 . 11) (2 . 10) (3 . 12) (5 . 14)) 5955 0.6666 3.6721 ((1 . 12) (3 . 14) (4 . 16) (5 . 17)) 6029 0.6651 7.4531 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 6074 0.2970 6.0604 ((1 . 3) (2 . 2) (3 . 4) (7 . 6)) 6089 0.6570 11.8769 ((1 . 13) (3 . 17) (4 . 16) (5 . 18)) 6099 0.6662 5.5001 ((2 . 6) (3 . 7) (4 . 8) (7 . 10)) 6123 0.6655 6.9491 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 6142 0.6663 5.2104 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 6148 0.2488 7.5197 ((2 . 32) (3 . 33) (4 . 34) (7 . 36)) 6225 0.6660 5.9563 ((1 . 2) (3 . 3) (4 . 4) (5 . 10)) 6228 0.3880 4.8405 ((1 . 10) (2 . 11) (3 . 12) (7 . 14)) 6234 0.8332 2.8891 ((1 . 8) (2 . 9) (3 . 10) (4 . 13) (7 . 15)) 6238 0.1996 7.9242 ((2 . 4) (3 . 5) (5 . 7) (7 . 8)) 6270 0.6663 5.2222 ((2 . 15) (4 . 17) (5 . 18) (7 . 20)) 6271 0.3879 7.0496 ((3 . 4) (4 . 5) (5 . 7) (7 . 8)) 6326 0.5286 6.7801 ((3 . 10) (4 . 11) (5 . 12) (7 . 13)) 6344 0.6661 5.9165 ((1 . 16) (2 . 1) (4 . 14) (5 . 19)) 6355 0.6601 10.7592 ((1 . 3) (2 . 6) (5 . 8) (7 . 9)) 6376 0.6665 4.5269 ((2 . 24) (3 . 26) (4 . 27) (5 . 28)) 6391 0.8333 2.6709 ((2 . 6) (3 . 8) (4 . 10) (5 . 12) (7 . 14)) 6399 0.6662 5.4051 ((2 . 28) (3 . 29) (4 . 30) (5 . 31)) 6520 0.1499 3.8178 ((1 . 11) (2 . 13) (4 . 14) (5 . 15)) 6539 0.2970 7.0155 ((2 . 2) (4 . 4) (5 . 5) (7 . 6)) 6548 0.0999 5.9792 ((1 . 8) (2 . 7) (3 . 9) (7 . 12)) 6553 0.3880 4.7984 ((2 . 22) (3 . 23) (4 . 24) (5 . 25)) 6555 0.6639 8.6169 ((2 . 15) (3 . 16) (4 . 17) (5 . 19)) 6578 0.6654 7.0524 ((2 . 32) (3 . 34) (4 . 37) (5 . 38)) 6584 0.6666 2.9258 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 6587 0.6663 5.3423 ((1 . 30) (2 . 31) (4 . 33) (5 . 34)) 6598 0.1996 11.1132 ((2 . 10) (3 . 11) (5 . 13) (7 . 16)) 6613 0.3879 7.2839 ((2 . 31) (3 . 32) (4 . 33) (5 . 34)) 6635 0.6664 4.9688 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) END