6575 25 0.5265 11.1625 ((3 . 2) (5 . 6) (6 . 5) (7 . 9)) 51 0.3880 5.6470 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 77 0.6661 5.6733 ((1 . 7) (2 . 8) (3 . 10) (6 . 12)) 91 0.6657 6.6242 ((1 . 16) (5 . 21) (6 . 22) (7 . 25)) 136 0.6650 7.6453 ((1 . 3) (2 . 5) (5 . 7) (6 . 9)) 150 0.2970 7.8361 ((1 . 20) (3 . 21) (5 . 23) (6 . 24)) 155 0.6639 8.6050 ((1 . 2) (2 . 3) (3 . 4) (6 . 5)) 157 0.6481 14.1084 ((2 . 18) (5 . 20) (6 . 21) (7 . 22)) 162 0.1996 5.9067 ((1 . 17) (2 . 18) (3 . 19) (5 . 20)) 191 0.1996 4.8796 ((1 . 1) (2 . 2) (3 . 3) (5 . 9)) 207 0.3870 13.1687 ((1 . 8) (3 . 10) (6 . 12) (7 . 14)) 305 0.3879 6.7031 ((1 . 19) (2 . 18) (5 . 21) (7 . 25)) 315 0.3879 8.1012 ((1 . 6) (2 . 5) (3 . 7) (5 . 9)) 340 0.6663 5.1241 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 350 0.2970 7.3367 ((1 . 4) (2 . 5) (3 . 9) (5 . 10)) 360 0.6661 5.7957 ((1 . 5) (2 . 6) (5 . 9) (7 . 13)) 361 0.1996 7.1181 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 365 0.6665 4.2295 ((1 . 2) (2 . 6) (3 . 7) (5 . 8)) 367 0.3879 6.4364 ((1 . 40) (2 . 42) (3 . 41) (5 . 44)) 433 0.1996 8.7021 ((1 . 6) (2 . 7) (5 . 9) (6 . 8)) 442 0.2969 8.9823 ((1 . 12) (5 . 14) (6 . 15) (7 . 16)) 460 0.6664 4.5716 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 472 0.6636 8.8485 ((1 . 20) (2 . 21) (5 . 22) (7 . 24)) 491 0.2487 9.7295 ((2 . 1) (3 . 2) (5 . 6) (6 . 5)) 495 0.0999 6.2202 ((1 . 8) (2 . 9) (5 . 11) (6 . 12)) 541 0.1996 11.3156 ((3 . 1) (5 . 2) (6 . 4) (7 . 6)) 543 0.4666 6.5263 ((1 . 6) (3 . 7) (5 . 10) (7 . 13)) 584 0.6571 11.8421 ((1 . 3) (2 . 4) (6 . 6) (7 . 9)) 609 0.1499 11.0109 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 619 0.3879 7.4141 ((1 . 8) (3 . 10) (5 . 12) (6 . 14)) 624 0.4665 7.8617 ((1 . 9) (3 . 10) (6 . 12) (7 . 14)) 672 0.6624 9.6649 ((1 . 18) (2 . 20) (5 . 23) (7 . 25)) 678 0.2968 12.4672 ((1 . 29) (3 . 31) (6 . 33) (7 . 38)) 719 0.1996 7.2403 ((1 . 22) (2 . 23) (5 . 27) (7 . 31)) 729 0.2968 12.5157 ((3 . 2) (5 . 5) (6 . 6) (7 . 8)) 795 0.0999 6.7804 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 812 0.3879 7.2695 ((1 . 9) (3 . 10) (5 . 13) (6 . 12)) 818 0.6648 7.7891 ((1 . 4) (5 . 8) (6 . 9) (7 . 11)) 834 0.4658 10.3705 ((1 . 33) (2 . 32) (3 . 34) (7 . 37)) 861 0.6638 8.6845 ((1 . 1) (2 . 2) (6 . 4) (7 . 5)) 901 0.5256 12.0565 ((3 . 3) (5 . 5) (6 . 6) (7 . 8)) 904 0.6642 8.3865 ((1 . 3) (2 . 2) (3 . 4) (6 . 5)) 913 0.2970 6.2525 ((1 . 16) (2 . 17) (3 . 18) (6 . 21)) 943 0.6662 5.4906 ((1 . 4) (2 . 6) (5 . 8) (7 . 10)) 945 0.2970 8.3491 ((1 . 12) (5 . 17) (6 . 18) (7 . 20)) 960 0.6628 9.4063 ((1 . 12) (3 . 13) (6 . 16) (7 . 20)) 978 0.6650 7.5917 ((1 . 6) (5 . 10) (6 . 11) (7 . 12)) 980 0.6659 6.2554 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 1005 0.2970 6.3061 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 1007 0.3879 7.9197 ((1 . 8) (2 . 9) (5 . 12) (7 . 15)) 1034 0.6611 10.3204 ((1 . 20) (2 . 21) (6 . 24) (7 . 27)) 1043 0.2969 9.7605 ((1 . 6) (5 . 10) (6 . 11) (7 . 15)) 1082 0.6625 9.6013 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 1084 0.6554 12.3608 ((1 . 8) (2 . 9) (5 . 12) (6 . 15)) 1165 0.6647 7.9432 ((1 . 2) (2 . 3) (5 . 7) (7 . 9)) 1167 0.6653 7.1699 ((1 . 22) (3 . 24) (5 . 27) (7 . 28)) 1201 0.3861 15.4923 ((1 . 12) (3 . 13) (5 . 16) (6 . 19)) 1204 0.6552 12.4204 ((1 . 20) (5 . 25) (6 . 26) (7 . 27)) 1224 0.6655 6.9782 ((1 . 5) (2 . 6) (5 . 7) (7 . 11)) 1267 0.6642 8.3630 ((2 . 22) (5 . 24) (6 . 25) (7 . 27)) 1268 0.2488 7.2757 ((1 . 3) (2 . 4) (3 . 5) (7 . 10)) 1294 0.0999 10.3233 ((1 . 40) (2 . 41) (5 . 43) (6 . 45)) 1345 0.2970 8.2709 ((1 . 14) (2 . 16) (6 . 17) (7 . 19)) 1366 0.6636 8.8679 ((1 . 15) (2 . 16) (5 . 17) (6 . 18)) 1388 0.4653 11.5837 ((3 . 3) (5 . 5) (6 . 6) (7 . 7)) 1435 0.1996 11.1415 ((1 . 3) (3 . 4) (6 . 7) (7 . 9)) 1447 0.3878 8.4693 ((2 . 1) (3 . 2) (5 . 3) (7 . 6)) 1451 0.6598 10.8861 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 1464 0.6665 4.4953 ((1 . 7) (2 . 8) (5 . 10) (6 . 12)) 1472 0.6634 9.0310 ((1 . 7) (2 . 8) (3 . 9) (7 . 12)) 1476 0.6656 6.8474 ((1 . 9) (5 . 14) (6 . 16) (7 . 17)) 1481 0.6627 9.4338 ((1 . 2) (3 . 3) (5 . 4) (7 . 8)) 1501 0.6665 4.4805 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 1513 0.6656 6.8301 ((1 . 6) (2 . 8) (3 . 9) (7 . 14)) 1591 0.6656 6.8102 ((1 . 11) (3 . 12) (5 . 14) (6 . 15)) 1604 0.6652 7.4201 ((1 . 7) (5 . 10) (6 . 11) (7 . 13)) 1622 0.3878 8.2969 ((1 . 18) (3 . 19) (5 . 20) (6 . 21)) 1624 0.6583 11.4340 ((2 . 5) (5 . 8) (6 . 10) (7 . 11)) 1643 0.4667 6.0448 ((1 . 27) (2 . 28) (3 . 29) (7 . 35)) 1665 0.6656 6.7891 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 1690 0.3878 8.6740 ((1 . 19) (2 . 20) (5 . 24) (7 . 26)) 1731 0.1499 10.2784 ((1 . 3) (5 . 6) (6 . 7) (7 . 9)) 1736 0.2488 8.7718 ((1 . 3) (3 . 4) (5 . 5) (7 . 8)) 1738 0.6613 10.2070 ((1 . 6) (5 . 11) (6 . 15) (7 . 16)) 1747 0.6643 8.2651 ((1 . 45) (2 . 46) (6 . 49) (7 . 51)) 1761 0.6640 8.5619 ((3 . 6) (5 . 7) (6 . 8) (7 . 10)) 1776 0.6614 10.1895 ((1 . 7) (3 . 8) (5 . 12) (7 . 13)) 1778 0.6663 5.1003 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 1793 0.2969 10.5376 ((1 . 13) (2 . 14) (3 . 15) (6 . 17)) 1805 0.3879 6.4628 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 1867 0.3869 13.4805 ((1 . 3) (3 . 4) (5 . 7) (6 . 8)) 1894 0.2488 9.4045 ((1 . 22) (3 . 24) (5 . 26) (7 . 30)) 1896 0.6652 7.3522 ((1 . 23) (2 . 24) (5 . 27) (6 . 28)) 1908 0.6650 7.5744 ((1 . 10) (3 . 14) (5 . 15) (6 . 16)) 1909 0.6640 8.5194 ((1 . 34) (3 . 36) (5 . 37) (6 . 38)) 1944 0.6654 7.1235 ((1 . 5) (3 . 6) (6 . 8) (7 . 12)) 1957 0.6644 8.1835 ((1 . 1) (3 . 2) (5 . 3) (7 . 6)) 1972 0.6648 7.7821 ((1 . 18) (3 . 19) (5 . 20) (7 . 25)) 1992 0.2969 9.6943 ((2 . 1) (5 . 3) (6 . 5) (7 . 8)) 2003 0.6600 10.8076 ((2 . 4) (3 . 2) (5 . 7) (6 . 6)) 2006 0.6660 6.1377 ((1 . 21) (2 . 22) (3 . 23) (6 . 27)) 2045 0.6646 7.9914 ((1 . 3) (2 . 7) (5 . 8) (6 . 9)) 2048 0.6610 10.3799 ((1 . 6) (3 . 9) (6 . 12) (7 . 14)) 2054 0.6650 7.5609 ((2 . 1) (5 . 2) (6 . 7) (7 . 9)) 2063 0.1996 11.8361 ((1 . 45) (2 . 47) (3 . 46) (5 . 50)) 2065 0.6645 8.1177 ((1 . 18) (2 . 19) (3 . 20) (5 . 23)) 2067 0.6662 5.6479 ((1 . 55) (2 . 57) (3 . 58) (5 . 60)) 2072 0.1665 7.9155 ((1 . 1) (2 . 2) (3 . 3) (7 . 8)) 2081 0.1499 5.0731 ((1 . 20) (2 . 21) (3 . 22) (5 . 23)) 2083 0.6638 8.7292 ((1 . 2) (3 . 3) (6 . 6) (7 . 8)) 2097 0.2969 11.3779 ((1 . 1) (2 . 3) (3 . 2) (5 . 5)) 2114 0.6664 4.8204 ((1 . 32) (2 . 34) (6 . 37) (7 . 39)) 2117 0.6661 5.6719 ((2 . 16) (5 . 20) (6 . 21) (7 . 24)) 2118 0.2970 7.4632 ((1 . 4) (2 . 5) (6 . 8) (7 . 9)) 2122 0.2969 9.0926 ((1 . 1) (3 . 5) (5 . 8) (6 . 9)) 2166 0.0999 11.3687 ((1 . 12) (2 . 13) (5 . 15) (6 . 14)) 2179 0.6665 4.1938 ((1 . 5) (2 . 6) (5 . 7) (7 . 12)) 2205 0.6616 10.0478 ((1 . 19) (2 . 20) (6 . 24) (7 . 25)) 2243 0.6658 6.4059 ((1 . 44) (2 . 45) (5 . 47) (6 . 48)) 2248 0.1665 5.8059 ((1 . 16) (3 . 17) (6 . 20) (7 . 23)) 2249 0.6654 7.0338 ((1 . 7) (3 . 9) (5 . 11) (7 . 14)) 2279 0.2970 7.9138 ((1 . 10) (2 . 11) (3 . 12) (7 . 21)) 2298 0.6654 7.1230 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 2340 0.3878 8.9126 ((1 . 9) (3 . 10) (5 . 11) (7 . 15)) 2344 0.2970 7.8388 ((1 . 1) (2 . 3) (3 . 4) (7 . 9)) 2364 0.6659 6.3230 ((1 . 7) (2 . 9) (5 . 12) (7 . 16)) 2381 0.0999 6.3087 ((1 . 3) (2 . 4) (5 . 6) (6 . 8)) 2409 0.6629 9.3642 ((1 . 4) (2 . 5) (5 . 8) (7 . 11)) 2410 0.1665 8.4229 ((2 . 13) (3 . 14) (5 . 16) (6 . 15)) 2423 0.6656 6.8305 ((1 . 14) (2 . 16) (5 . 17) (6 . 18)) 2447 0.3879 6.9930 ((2 . 30) (5 . 33) (6 . 34) (7 . 35)) 2462 0.3878 8.7482 ((2 . 1) (5 . 3) (6 . 2) (7 . 5)) 2510 0.6655 7.0165 ((1 . 19) (3 . 22) (5 . 23) (7 . 28)) 2525 0.2970 6.9389 ((1 . 47) (2 . 48) (3 . 49) (6 . 52)) 2529 0.6651 7.4793 ((1 . 1) (2 . 3) (5 . 5) (6 . 7)) 2533 0.6662 5.5951 ((1 . 4) (2 . 6) (5 . 8) (7 . 11)) 2544 0.2488 7.1336 ((2 . 22) (3 . 21) (5 . 23) (6 . 24)) 2551 0.6640 8.5765 ((1 . 1) (2 . 3) (6 . 5) (7 . 6)) 2552 0.6621 9.7823 ((1 . 1) (3 . 2) (5 . 3) (7 . 6)) 2556 0.6664 4.8447 ((1 . 11) (2 . 13) (5 . 16) (6 . 17)) 2595 0.6650 7.6359 ((1 . 9) (5 . 11) (6 . 14) (7 . 15)) 2658 0.4657 10.6842 ((1 . 3) (3 . 4) (6 . 7) (7 . 9)) 2675 0.6663 5.2977 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 2682 0.3878 9.1620 ((1 . 17) (5 . 19) (6 . 20) (7 . 21)) 2731 0.3879 8.0261 ((2 . 4) (3 . 3) (5 . 5) (6 . 6)) 2733 0.6656 6.8018 ((1 . 1) (2 . 2) (5 . 4) (7 . 7)) 2755 0.6643 8.3446 ((1 . 3) (3 . 4) (5 . 5) (7 . 7)) 2783 0.2970 7.6206 ((1 . 8) (2 . 7) (3 . 9) (5 . 12)) 2804 0.6637 8.7904 ((1 . 31) (2 . 32) (5 . 36) (7 . 37)) 2821 0.2968 11.5616 ((1 . 3) (2 . 4) (6 . 10) (7 . 12)) 2830 0.1996 8.6151 ((1 . 15) (3 . 16) (5 . 17) (6 . 18)) 2834 0.6647 7.9334 ((1 . 3) (2 . 5) (6 . 7) (7 . 10)) 2842 0.6644 8.1967 ((2 . 4) (5 . 5) (6 . 6) (7 . 7)) 2867 0.3879 7.8701 ((1 . 8) (2 . 9) (3 . 10) (5 . 12)) 2879 0.2970 7.4247 ((1 . 52) (2 . 53) (3 . 55) (5 . 57)) 2929 0.6663 5.0759 ((1 . 36) (3 . 38) (5 . 40) (6 . 41)) 2940 0.6660 5.9986 ((1 . 4) (2 . 5) (5 . 6) (6 . 9)) 2966 0.6609 10.4069 ((1 . 12) (2 . 13) (5 . 17) (6 . 18)) 2990 0.3878 8.2655 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 3014 0.6610 10.3637 ((1 . 22) (2 . 23) (3 . 26) (7 . 31)) 3019 0.1996 6.2447 ((1 . 9) (2 . 10) (5 . 11) (6 . 12)) 3041 0.6659 6.3150 ((1 . 12) (3 . 13) (5 . 16) (7 . 19)) 3063 0.1996 8.9808 ((1 . 31) (2 . 32) (5 . 33) (6 . 34)) 3070 0.0999 5.9589 ((1 . 32) (2 . 33) (5 . 36) (6 . 37)) 3084 0.3875 10.9376 ((2 . 9) (3 . 10) (6 . 12) (7 . 14)) 3102 0.6629 9.3472 ((1 . 70) (2 . 71) (5 . 72) (7 . 78)) 3103 0.6654 7.1070 ((1 . 3) (2 . 5) (6 . 7) (7 . 12)) 3120 0.4665 7.4481 ((2 . 21) (3 . 20) (5 . 25) (6 . 24)) 3127 0.2969 10.7946 ((1 . 4) (5 . 8) (6 . 9) (7 . 12)) 3176 0.6643 8.3426 ((1 . 26) (2 . 27) (5 . 29) (7 . 32)) 3187 0.6663 5.0897 ((1 . 6) (2 . 7) (5 . 9) (6 . 10)) 3190 0.6638 8.7331 ((1 . 6) (3 . 7) (5 . 11) (6 . 12)) 3197 0.6655 6.9427 ((1 . 10) (3 . 11) (5 . 12) (6 . 13)) 3200 0.3879 8.0678 ((1 . 9) (2 . 11) (5 . 13) (7 . 14)) 3212 0.2969 9.0509 ((1 . 3) (2 . 5) (6 . 10) (7 . 11)) 3222 0.2969 10.3199 ((1 . 3) (2 . 4) (5 . 6) (7 . 9)) 3256 0.6654 7.0706 ((1 . 19) (2 . 20) (5 . 24) (7 . 27)) 3261 0.6640 8.5415 ((1 . 7) (2 . 8) (6 . 11) (7 . 12)) 3286 0.1996 7.3242 ((1 . 4) (2 . 5) (5 . 7) (6 . 8)) 3289 0.6665 4.4854 ((1 . 25) (2 . 27) (3 . 28) (5 . 30)) 3322 0.1996 7.5338 ((1 . 3) (2 . 5) (5 . 7) (7 . 10)) 3334 0.6326 4.4674 ((1 . 5) (2 . 6) (3 . 7) (6 . 9) (7 . 11)) 3339 0.1996 7.5933 ((1 . 11) (3 . 14) (5 . 17) (6 . 16)) 3358 0.3876 10.6405 ((2 . 4) (3 . 5) (5 . 7) (7 . 9)) 3362 0.2970 7.6253 ((1 . 6) (2 . 8) (5 . 10) (7 . 13)) 3366 0.1499 10.9692 ((1 . 26) (2 . 27) (5 . 28) (7 . 33)) 3391 0.6662 5.4866 ((1 . 4) (2 . 6) (5 . 8) (7 . 12)) 3410 0.3879 7.3854 ((1 . 21) (5 . 24) (6 . 27) (7 . 29)) 3446 0.3877 9.4213 ((1 . 5) (2 . 6) (3 . 7) (7 . 10)) 3481 0.6656 6.7579 ((1 . 4) (2 . 7) (5 . 8) (7 . 11)) 3495 0.6647 7.8852 ((1 . 7) (2 . 8) (6 . 10) (7 . 13)) 3496 0.3877 10.0670 ((2 . 18) (5 . 19) (6 . 20) (7 . 21)) 3538 0.2970 6.9968 ((1 . 18) (2 . 20) (3 . 21) (6 . 22)) 3548 0.6655 6.9077 ((1 . 3) (2 . 4) (5 . 8) (7 . 11)) 3549 0.6665 4.5477 ((1 . 2) (2 . 3) (5 . 5) (6 . 7)) 3570 0.6652 7.3649 ((1 . 1) (3 . 2) (5 . 4) (7 . 9)) 3585 0.2969 8.8516 ((1 . 6) (2 . 8) (5 . 12) (7 . 15)) 3613 0.6661 5.8365 ((1 . 41) (2 . 40) (6 . 43) (7 . 44)) 3628 0.2969 10.3633 ((2 . 2) (3 . 1) (6 . 5) (7 . 7)) 3651 0.6638 8.7409 ((1 . 1) (3 . 2) (5 . 5) (7 . 7)) 3658 0.6647 7.8917 ((1 . 7) (5 . 8) (6 . 9) (7 . 10)) 3659 0.3879 7.3922 ((1 . 5) (2 . 7) (3 . 6) (5 . 9)) 3661 0.2969 9.1328 ((1 . 7) (2 . 8) (5 . 11) (7 . 14)) 3663 0.9998 2.7308 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7)) 3688 0.6554 12.3821 ((1 . 30) (2 . 32) (3 . 33) (5 . 34)) 3703 0.6649 7.6749 ((1 . 7) (2 . 8) (6 . 11) (7 . 12)) 3732 0.3879 6.9788 ((1 . 7) (3 . 8) (5 . 11) (7 . 13)) 3733 0.6656 6.7479 ((1 . 1) (3 . 2) (5 . 3) (7 . 7)) 3740 0.6656 6.7339 ((1 . 3) (2 . 4) (5 . 5) (7 . 8)) 3741 0.6659 6.2320 ((1 . 2) (2 . 1) (5 . 4) (6 . 5)) 3776 0.3879 8.0356 ((2 . 17) (3 . 18) (6 . 23) (7 . 25)) 3778 0.6636 8.8396 ((1 . 2) (2 . 3) (6 . 5) (7 . 8)) 3787 0.1996 7.7046 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 3790 0.6636 8.8991 ((1 . 13) (2 . 14) (5 . 15) (6 . 17)) 3807 0.2488 6.7341 ((1 . 46) (2 . 47) (3 . 48) (7 . 51)) 3817 0.2968 12.6743 ((1 . 10) (2 . 11) (3 . 12) (6 . 14)) 3829 0.3880 5.3036 ((1 . 9) (3 . 11) (5 . 12) (6 . 13)) 3831 0.6665 4.4000 ((1 . 6) (2 . 5) (5 . 9) (7 . 11)) 3849 0.6665 4.4039 ((1 . 2) (2 . 3) (5 . 5) (6 . 7)) 3853 0.6628 9.4300 ((1 . 8) (3 . 9) (6 . 11) (7 . 13)) 3870 0.1250 7.0336 ((1 . 5) (3 . 6) (5 . 8) (7 . 11)) 3933 0.1333 7.7562 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 3938 0.6661 5.8540 ((1 . 6) (2 . 8) (5 . 9) (7 . 12)) 3942 0.1499 3.5379 ((1 . 2) (2 . 3) (3 . 4) (6 . 8)) 3968 0.1499 10.3964 ((3 . 2) (5 . 5) (6 . 4) (7 . 8)) 4005 0.3879 6.9991 ((1 . 30) (3 . 31) (5 . 35) (7 . 39)) 4009 0.3877 9.9947 ((1 . 13) (3 . 14) (6 . 18) (7 . 20)) 4019 0.6619 9.9370 ((1 . 47) (2 . 50) (5 . 51) (6 . 52)) 4034 0.2969 8.7456 ((2 . 5) (5 . 6) (6 . 7) (7 . 8)) 4037 0.6661 5.7871 ((1 . 1) (2 . 2) (5 . 3) (6 . 4)) 4062 0.2970 7.8620 ((1 . 49) (2 . 50) (3 . 51) (6 . 53)) 4067 0.6654 7.0882 ((2 . 14) (5 . 16) (6 . 19) (7 . 21)) 4087 0.6637 8.7796 ((1 . 6) (2 . 7) (6 . 9) (7 . 10)) 4112 0.6663 5.1756 ((1 . 2) (2 . 1) (5 . 4) (6 . 7)) 4115 0.1499 7.9188 ((1 . 17) (2 . 19) (3 . 20) (6 . 21)) 4151 0.1996 8.4156 ((2 . 12) (5 . 15) (6 . 16) (7 . 18)) 4177 0.6642 8.4277 ((2 . 1) (5 . 2) (6 . 4) (7 . 6)) 4190 0.2970 8.1412 ((1 . 1) (2 . 3) (3 . 4) (6 . 7)) 4192 0.6644 8.2148 ((1 . 10) (3 . 11) (5 . 15) (6 . 16)) 4204 0.6656 6.8651 ((1 . 3) (3 . 4) (5 . 7) (7 . 10)) 4209 0.4665 7.8944 ((2 . 5) (3 . 6) (5 . 10) (6 . 11)) 4226 0.2969 9.8675 ((1 . 8) (2 . 9) (6 . 13) (7 . 15)) 4232 0.6652 7.3540 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 4254 0.6660 5.9377 ((1 . 1) (5 . 4) (6 . 5) (7 . 7)) 4265 0.6645 8.1438 ((1 . 26) (3 . 27) (5 . 29) (6 . 31)) 4266 0.4662 8.9677 ((2 . 8) (3 . 9) (5 . 11) (7 . 14)) 4275 0.6621 9.8278 ((1 . 21) (3 . 22) (5 . 23) (6 . 24)) 4281 0.1996 9.5197 ((1 . 5) (2 . 4) (3 . 7) (6 . 11)) 4284 0.6602 10.7271 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 4299 0.4644 12.9698 ((3 . 1) (5 . 4) (6 . 5) (7 . 7)) 4326 0.2969 9.0351 ((1 . 7) (2 . 10) (6 . 14) (7 . 16)) 4338 0.1996 8.2551 ((1 . 6) (2 . 7) (5 . 11) (6 . 9)) 4352 0.3877 9.5903 ((1 . 9) (2 . 10) (3 . 11) (7 . 14)) 4380 0.2970 7.5901 ((1 . 14) (2 . 15) (3 . 16) (5 . 17)) 4386 0.6659 6.3385 ((1 . 18) (2 . 19) (5 . 21) (6 . 23)) 4388 0.6633 9.0892 ((1 . 10) (5 . 12) (6 . 14) (7 . 15)) 4415 0.1996 8.6182 ((1 . 3) (2 . 4) (5 . 9) (6 . 10)) 4419 0.2488 9.2569 ((2 . 6) (3 . 5) (5 . 8) (7 . 11)) 4470 0.6644 8.1736 ((1 . 3) (3 . 4) (5 . 7) (7 . 11)) 4492 0.6626 9.5389 ((1 . 7) (2 . 8) (6 . 12) (7 . 14)) 4495 0.6593 11.0624 ((3 . 11) (5 . 14) (6 . 13) (7 . 15)) 4502 0.6663 5.3094 ((1 . 9) (2 . 10) (6 . 13) (7 . 16)) 4504 0.2970 5.3463 ((1 . 21) (2 . 22) (3 . 23) (6 . 24)) 4505 0.3877 9.6253 ((1 . 28) (3 . 29) (6 . 31) (7 . 35)) 4560 0.3879 7.2604 ((2 . 6) (5 . 8) (6 . 10) (7 . 12)) 4561 0.6653 7.2592 ((1 . 1) (5 . 7) (6 . 8) (7 . 11)) 4562 0.6664 4.9202 ((1 . 25) (2 . 27) (5 . 29) (6 . 30)) 4563 0.6629 9.3401 ((1 . 28) (5 . 31) (6 . 32) (7 . 33)) 4577 0.6654 7.1572 ((1 . 52) (2 . 54) (5 . 58) (7 . 59)) 4588 0.6632 9.1523 ((1 . 3) (3 . 4) (5 . 9) (7 . 12)) 4589 0.6625 9.5567 ((1 . 19) (2 . 22) (5 . 25) (7 . 26)) 4607 0.2970 8.2474 ((1 . 24) (2 . 27) (3 . 28) (7 . 29)) 4621 0.6599 10.8563 ((2 . 3) (3 . 2) (5 . 6) (6 . 5)) 4648 0.2488 8.4011 ((2 . 1) (5 . 5) (6 . 3) (7 . 7)) 4665 0.6661 5.8212 ((1 . 12) (2 . 13) (5 . 14) (6 . 16)) 4668 0.6658 6.3685 ((1 . 1) (5 . 5) (6 . 8) (7 . 10)) 4669 0.6650 7.6124 ((1 . 19) (3 . 20) (5 . 21) (6 . 23)) 4671 0.1996 8.1937 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 4674 0.6639 8.6390 ((2 . 1) (5 . 2) (6 . 4) (7 . 5)) 4715 0.2488 4.5641 ((2 . 3) (3 . 4) (6 . 7) (7 . 9)) 4731 0.1996 12.2070 ((2 . 18) (3 . 17) (6 . 19) (7 . 20)) 4857 0.6639 8.6267 ((1 . 9) (2 . 11) (5 . 13) (6 . 14)) 4886 0.6650 7.6226 ((1 . 30) (2 . 31) (5 . 32) (7 . 33)) 4888 0.6577 11.6529 ((2 . 14) (5 . 16) (6 . 18) (7 . 19)) 4889 0.6655 6.9997 ((1 . 2) (2 . 3) (5 . 4) (6 . 5)) 4907 0.1996 9.8028 ((1 . 1) (2 . 3) (3 . 2) (5 . 5)) 4921 0.6658 6.3729 ((1 . 7) (2 . 8) (5 . 9) (7 . 13)) 4932 0.1665 9.8611 ((2 . 1) (3 . 3) (5 . 5) (7 . 7)) 4961 0.6630 9.2969 ((1 . 15) (2 . 17) (3 . 16) (5 . 20)) 4978 0.6652 7.3593 ((1 . 24) (2 . 25) (6 . 27) (7 . 29)) 4982 0.6441 14.8830 ((1 . 8) (2 . 9) (5 . 12) (6 . 13)) 4992 0.1996 8.1375 ((1 . 3) (3 . 4) (5 . 6) (6 . 7)) 4998 0.3879 6.5216 ((1 . 26) (3 . 28) (5 . 29) (6 . 30)) 5029 0.6665 4.3725 ((1 . 2) (2 . 4) (5 . 6) (6 . 9)) 5039 0.4665 7.7674 ((3 . 35) (5 . 37) (6 . 38) (7 . 40)) 5044 0.6642 8.3820 ((1 . 3) (2 . 8) (5 . 9) (6 . 11)) 5053 0.6657 6.5752 ((1 . 5) (2 . 6) (3 . 7) (6 . 8)) 5065 0.1996 11.4165 ((1 . 3) (3 . 6) (5 . 9) (7 . 12)) 5068 0.4657 10.6058 ((1 . 10) (3 . 11) (5 . 15) (7 . 19)) 5069 0.6664 4.8164 ((1 . 4) (2 . 5) (5 . 7) (7 . 14)) 5073 0.2970 7.6384 ((1 . 36) (3 . 38) (5 . 39) (7 . 43)) 5101 0.6659 6.2664 ((1 . 23) (2 . 25) (5 . 26) (6 . 28)) 5103 0.6647 7.8856 ((1 . 15) (3 . 16) (5 . 17) (7 . 20)) 5132 0.4665 7.3822 ((3 . 14) (5 . 16) (6 . 17) (7 . 19)) 5134 0.6660 6.1069 ((2 . 14) (3 . 15) (5 . 17) (7 . 20)) 5145 0.6650 7.5593 ((3 . 4) (5 . 8) (6 . 9) (7 . 11)) 5167 0.2970 6.7281 ((1 . 4) (2 . 3) (6 . 7) (7 . 8)) 5183 0.6659 6.2852 ((1 . 34) (2 . 35) (6 . 39) (7 . 40)) 5192 0.6552 12.4219 ((1 . 17) (5 . 21) (6 . 22) (7 . 23)) 5198 0.3853 16.9777 ((1 . 19) (5 . 22) (6 . 23) (7 . 25)) 5209 0.3877 9.5769 ((2 . 3) (3 . 2) (5 . 4) (6 . 6)) 5212 0.2488 7.2372 ((1 . 2) (2 . 3) (3 . 4) (7 . 9)) 5215 0.6657 6.6539 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 5223 0.6651 7.5266 ((2 . 12) (3 . 13) (6 . 16) (7 . 18)) 5231 0.6658 6.5110 ((1 . 13) (2 . 14) (5 . 16) (6 . 17)) 5266 0.6653 7.2780 ((1 . 2) (3 . 3) (5 . 6) (7 . 9)) 5307 0.6641 8.4932 ((1 . 51) (3 . 52) (5 . 55) (7 . 59)) 5318 0.2487 13.2425 ((1 . 3) (3 . 4) (6 . 7) (7 . 9)) 5324 0.6643 8.2778 ((2 . 25) (3 . 26) (5 . 28) (6 . 29)) 5345 0.6659 6.2186 ((1 . 12) (2 . 13) (5 . 16) (7 . 20)) 5368 0.6664 4.9122 ((1 . 41) (2 . 43) (3 . 44) (5 . 45)) 5411 0.4647 12.5325 ((3 . 1) (5 . 3) (6 . 2) (7 . 5)) 5414 0.2970 7.3135 ((1 . 14) (2 . 15) (3 . 17) (5 . 19)) 5418 0.2488 9.0194 ((1 . 3) (2 . 5) (3 . 4) (7 . 10)) 5479 0.6651 7.4826 ((1 . 61) (2 . 62) (5 . 63) (7 . 65)) 5500 0.4665 7.9384 ((1 . 3) (3 . 6) (6 . 10) (7 . 13)) 5501 0.6570 11.8747 ((2 . 24) (3 . 26) (6 . 28) (7 . 32)) 5525 0.3877 9.6167 ((1 . 7) (2 . 8) (3 . 9) (7 . 12)) 5540 0.2969 10.7981 ((1 . 3) (2 . 4) (5 . 6) (7 . 9)) 5557 0.1499 8.1235 ((1 . 1) (2 . 2) (6 . 5) (7 . 7)) 5560 0.6650 7.6357 ((1 . 17) (3 . 19) (5 . 20) (6 . 21)) 5562 0.6601 10.7680 ((1 . 14) (3 . 15) (5 . 17) (6 . 18)) 5567 0.6626 9.5261 ((2 . 6) (5 . 8) (6 . 10) (7 . 14)) 5594 0.1996 7.4783 ((1 . 6) (3 . 7) (5 . 9) (6 . 10)) 5600 0.6624 9.6145 ((1 . 6) (3 . 7) (5 . 9) (7 . 12)) 5638 0.6653 7.2413 ((1 . 7) (2 . 8) (6 . 12) (7 . 14)) 5644 0.1499 5.8222 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 5656 0.6625 9.5583 ((1 . 5) (2 . 8) (6 . 13) (7 . 15)) 5700 0.6659 6.3277 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 5701 0.6660 6.1217 ((1 . 4) (2 . 5) (6 . 7) (7 . 15)) 5703 0.6664 4.7583 ((1 . 1) (2 . 2) (3 . 3) (5 . 8)) 5711 0.6593 11.0913 ((1 . 44) (2 . 46) (5 . 47) (6 . 48)) 5718 0.6664 4.5595 ((1 . 17) (2 . 18) (5 . 21) (6 . 22)) 5746 0.1996 7.4233 ((2 . 6) (3 . 5) (5 . 10) (7 . 12)) 5749 0.6638 8.6848 ((2 . 3) (3 . 2) (5 . 4) (7 . 8)) 5761 0.6650 7.5698 ((1 . 31) (2 . 32) (5 . 36) (6 . 34)) 5770 0.3879 6.6480 ((1 . 6) (2 . 8) (5 . 12) (7 . 18)) 5771 0.6663 5.0800 ((1 . 17) (2 . 20) (5 . 21) (6 . 22)) 5782 0.6645 8.0772 ((1 . 24) (5 . 32) (6 . 33) (7 . 36)) 5794 0.4659 10.1363 ((2 . 18) (3 . 17) (5 . 19) (6 . 22)) 5795 0.1996 7.2162 ((1 . 10) (3 . 11) (5 . 13) (6 . 15)) 5809 0.2970 8.3638 ((1 . 7) (3 . 8) (5 . 9) (6 . 11)) 5822 0.1996 10.3944 ((2 . 6) (3 . 5) (5 . 8) (7 . 11)) 5827 0.6658 6.3979 ((1 . 11) (3 . 12) (5 . 15) (7 . 18)) 5830 0.4666 6.5330 ((1 . 8) (3 . 9) (5 . 13) (7 . 15)) 5847 0.1499 7.9775 ((1 . 14) (2 . 15) (5 . 18) (7 . 21)) 5865 0.1333 9.4342 ((2 . 4) (5 . 7) (6 . 6) (7 . 8)) 5896 0.1996 9.2524 ((2 . 26) (3 . 27) (6 . 30) (7 . 32)) 5913 0.6640 8.5821 ((1 . 5) (2 . 6) (6 . 11) (7 . 12)) 5930 0.1499 8.3665 ((1 . 4) (3 . 5) (5 . 7) (6 . 6)) 5945 0.2488 7.0264 ((1 . 23) (2 . 26) (3 . 29) (7 . 34)) 5949 0.6591 11.1499 ((1 . 1) (3 . 2) (5 . 4) (7 . 8)) 5955 0.2970 6.7355 ((1 . 16) (2 . 17) (3 . 18) (6 . 19)) 5967 0.1996 7.5836 ((1 . 1) (2 . 3) (6 . 8) (7 . 10)) 6000 0.1996 11.0731 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 6011 0.6651 7.5033 ((1 . 14) (2 . 15) (5 . 16) (6 . 17)) 6028 0.6604 10.6273 ((1 . 1) (2 . 2) (3 . 4) (6 . 8)) 6029 0.6654 7.0746 ((1 . 3) (2 . 4) (6 . 7) (7 . 9)) 6041 0.1996 8.4369 ((1 . 10) (2 . 11) (5 . 13) (6 . 14)) 6061 0.8289 7.3686 ((1 . 13) (2 . 14) (5 . 15) (6 . 16) (7 . 18)) 6074 0.2970 8.5738 ((1 . 8) (3 . 10) (6 . 12) (7 . 14)) 6075 0.6663 5.0267 ((1 . 24) (2 . 27) (5 . 28) (6 . 29)) 6079 0.6655 6.9893 ((1 . 7) (2 . 8) (5 . 11) (7 . 14)) 6087 0.3877 10.0061 ((2 . 8) (3 . 7) (5 . 10) (6 . 11)) 6089 0.6530 13.0053 ((1 . 21) (5 . 24) (6 . 25) (7 . 26)) 6099 0.6651 7.4848 ((1 . 6) (2 . 7) (5 . 9) (7 . 12)) 6123 0.2969 10.1266 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 6142 0.6604 10.6188 ((1 . 14) (2 . 15) (6 . 21) (7 . 22)) 6173 0.6660 6.0435 ((1 . 7) (2 . 8) (5 . 15) (6 . 16)) 6191 0.6618 9.9910 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 6192 0.2969 10.8964 ((1 . 11) (2 . 13) (3 . 15) (6 . 16)) 6225 0.1996 10.9855 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 6228 0.6640 8.5831 ((1 . 12) (2 . 11) (5 . 15) (6 . 16)) 6234 0.3880 4.5812 ((1 . 6) (2 . 7) (5 . 13) (7 . 14)) 6238 0.6654 7.0914 ((1 . 7) (2 . 8) (5 . 9) (6 . 10)) 6243 0.6649 7.7381 ((1 . 8) (5 . 10) (6 . 11) (7 . 13)) 6251 0.1996 4.3555 ((1 . 15) (2 . 17) (5 . 19) (6 . 20)) 6258 0.6662 5.5352 ((1 . 10) (2 . 12) (5 . 13) (6 . 14)) 6261 0.1996 6.6781 ((1 . 19) (5 . 22) (6 . 23) (7 . 24)) 6266 0.3876 10.6608 ((1 . 6) (5 . 10) (6 . 11) (7 . 12)) 6270 0.2487 11.7264 ((2 . 17) (5 . 20) (6 . 19) (7 . 23)) 6271 0.2488 8.2471 ((1 . 8) (3 . 9) (5 . 11) (7 . 14)) 6294 0.6661 5.8138 ((1 . 23) (2 . 25) (5 . 27) (6 . 28)) 6306 0.6605 10.5895 ((1 . 16) (3 . 18) (5 . 20) (7 . 23)) 6344 0.6646 8.0057 ((1 . 4) (2 . 6) (3 . 5) (5 . 7)) 6348 0.3879 7.9597 ((2 . 1) (3 . 2) (6 . 3) (7 . 6)) 6355 0.2968 12.2699 ((1 . 11) (2 . 12) (3 . 13) (6 . 16)) 6369 0.3877 9.4099 ((1 . 26) (3 . 27) (5 . 29) (6 . 30)) 6376 0.3879 7.5578 ((1 . 19) (3 . 20) (5 . 24) (7 . 29)) 6391 0.4654 11.2661 ((2 . 6) (5 . 8) (6 . 9) (7 . 11)) 6392 0.2970 8.0464 ((1 . 3) (3 . 5) (5 . 7) (6 . 8)) 6399 0.6583 11.4600 ((1 . 16) (2 . 17) (5 . 20) (7 . 23)) 6403 0.6644 8.2155 ((1 . 3) (2 . 4) (5 . 7) (7 . 11)) 6434 0.0999 7.8045 ((1 . 4) (2 . 5) (6 . 7) (7 . 8)) 6462 0.6652 7.3519 ((1 . 16) (3 . 17) (6 . 19) (7 . 21)) 6498 0.2969 9.2616 ((1 . 16) (3 . 18) (5 . 21) (6 . 22)) 6539 0.6662 5.4673 ((2 . 2) (3 . 3) (5 . 5) (6 . 7)) 6548 0.6623 9.6872 ((1 . 7) (3 . 8) (5 . 9) (7 . 15)) 6553 0.1996 9.1654 ((1 . 20) (2 . 22) (6 . 27) (7 . 28)) 6555 0.6650 7.5593 ((1 . 7) (3 . 8) (5 . 10) (6 . 12)) 6561 0.6550 12.4894 ((1 . 7) (2 . 8) (5 . 10) (6 . 11)) 6575 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7)) 6578 0.6660 5.9716 ((1 . 34) (2 . 37) (6 . 39) (7 . 41)) 6584 0.1996 7.8357 ((1 . 2) (2 . 3) (3 . 4) (7 . 10)) 6585 0.6616 10.0609 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 6586 0.6666 3.8292 ((1 . 24) (2 . 25) (5 . 18) (6 . 23)) 6587 0.2970 7.4638 ((1 . 33) (2 . 34) (3 . 35) (6 . 36)) 6598 0.6657 6.6465 ((1 . 8) (2 . 10) (5 . 11) (6 . 12)) 6613 0.6640 8.5425 ((1 . 21) (2 . 22) (5 . 24) (6 . 25)) 6635 0.3880 4.6967 ((1 . 4) (2 . 5) (3 . 6) (7 . 10)) END