801 51 0.6643 8.2955 ((1 . 6) (2 . 7) (6 . 10) (7 . 11)) 62 0.4656 10.9299 ((1 . 10) (2 . 12) (4 . 13) (6 . 16)) 64 0.6655 6.9213 ((1 . 2) (2 . 3) (4 . 4) (5 . 6)) 77 0.1996 8.1308 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 129 0.6644 8.1821 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 153 0.6650 7.6533 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 157 0.4662 9.1313 ((2 . 5) (5 . 8) (6 . 9) (7 . 11)) 161 0.4666 6.9092 ((1 . 3) (2 . 4) (4 . 6) (6 . 8)) 162 0.6661 5.6860 ((1 . 15) (4 . 17) (5 . 18) (7 . 20)) 169 0.6590 11.1996 ((1 . 8) (2 . 9) (4 . 10) (5 . 12)) 177 0.6623 9.6745 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 191 0.6649 7.6667 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 198 0.6662 5.4284 ((1 . 7) (4 . 9) (5 . 10) (7 . 14)) 233 0.6653 7.2941 ((2 . 1) (4 . 2) (5 . 3) (7 . 7)) 300 0.2968 12.8843 ((2 . 13) (4 . 16) (5 . 17) (7 . 18)) 305 0.6658 6.4736 ((2 . 18) (4 . 19) (6 . 21) (7 . 22)) 315 0.6649 7.7193 ((2 . 5) (4 . 6) (6 . 8) (7 . 9)) 340 0.6653 7.2319 ((2 . 1) (4 . 2) (6 . 4) (7 . 7)) 350 0.6636 8.8949 ((1 . 5) (2 . 7) (4 . 8) (5 . 10)) 360 0.6652 7.3118 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 365 0.6657 6.5729 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 367 0.6662 5.4327 ((1 . 38) (2 . 40) (4 . 42) (5 . 43)) 372 0.6666 3.7794 ((2 . 5) (4 . 6) (5 . 7) (6 . 10)) 387 0.6654 7.0771 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 405 0.6660 6.0665 ((1 . 35) (2 . 37) (4 . 38) (5 . 39)) 417 0.3879 6.7874 ((1 . 1) (2 . 2) (4 . 5) (7 . 7)) 420 0.6640 8.5497 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 442 0.1996 9.5382 ((1 . 6) (2 . 5) (6 . 10) (7 . 12)) 460 0.6665 4.0558 ((2 . 2) (4 . 3) (6 . 6) (7 . 7)) 472 0.2966 14.9102 ((1 . 20) (2 . 21) (4 . 22) (7 . 25)) 495 0.6659 6.2003 ((1 . 7) (2 . 8) (4 . 9) (5 . 11)) 541 0.2968 11.5388 ((1 . 2) (2 . 3) (4 . 5) (7 . 7)) 561 0.6659 6.1889 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 584 0.6618 9.9803 ((1 . 4) (4 . 7) (5 . 8) (7 . 10)) 587 0.6664 4.9297 ((1 . 2) (2 . 3) (4 . 4) (5 . 9)) 619 0.6653 7.2508 ((1 . 8) (2 . 9) (4 . 11) (5 . 12)) 635 0.2970 8.5131 ((1 . 13) (2 . 14) (4 . 15) (7 . 18)) 672 0.5287 5.7129 ((1 . 18) (2 . 20) (6 . 23) (7 . 24)) 683 0.6662 5.3940 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 735 0.6651 7.5202 ((1 . 31) (2 . 32) (4 . 33) (5 . 36)) 740 0.6664 4.6175 ((1 . 2) (4 . 5) (5 . 6) (7 . 9)) 765 0.6654 7.0781 ((1 . 12) (4 . 17) (5 . 18) (6 . 19)) 767 0.3880 5.8698 ((1 . 26) (5 . 29) (6 . 31) (7 . 32)) 801 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 812 0.4625 15.0746 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 818 0.4662 9.1996 ((1 . 1) (2 . 2) (4 . 4) (6 . 7)) 824 0.6663 5.1285 ((2 . 45) (4 . 46) (6 . 49) (7 . 50)) 861 0.6664 4.8621 ((1 . 12) (4 . 15) (5 . 16) (7 . 19)) 980 0.1996 9.0810 ((1 . 3) (4 . 5) (6 . 7) (7 . 9)) 1007 0.5280 8.7594 ((1 . 7) (2 . 8) (4 . 9) (6 . 12)) 1034 0.2966 14.4662 ((1 . 20) (2 . 21) (4 . 22) (7 . 25)) 1043 0.0999 8.9261 ((1 . 10) (4 . 12) (5 . 14) (7 . 17)) 1082 0.6653 7.2804 ((2 . 1) (4 . 3) (5 . 4) (7 . 6)) 1084 0.3878 8.9861 ((2 . 17) (5 . 18) (6 . 19) (7 . 20)) 1121 0.6664 4.6374 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 1165 0.6641 8.4706 ((1 . 2) (2 . 3) (4 . 4) (6 . 7)) 1167 0.6631 9.2359 ((1 . 20) (2 . 21) (4 . 22) (7 . 27)) 1169 0.6661 5.8251 ((1 . 29) (2 . 30) (4 . 31) (5 . 32)) 1195 0.6660 6.0738 ((1 . 2) (2 . 4) (4 . 5) (5 . 6)) 1201 0.1665 11.0472 ((2 . 12) (5 . 14) (6 . 15) (7 . 18)) 1211 0.6654 7.0855 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 1217 0.6654 7.0422 ((2 . 3) (4 . 5) (5 . 7) (7 . 9)) 1224 0.6659 6.2878 ((1 . 3) (2 . 5) (6 . 6) (7 . 7)) 1268 0.1333 7.1392 ((2 . 22) (4 . 23) (5 . 24) (6 . 25)) 1294 0.6632 9.1258 ((2 . 43) (5 . 44) (6 . 46) (7 . 47)) 1345 0.6651 7.5134 ((1 . 12) (4 . 14) (5 . 16) (7 . 18)) 1366 0.8276 7.8609 ((1 . 12) (4 . 14) (5 . 15) (6 . 16) (7 . 17)) 1410 0.6646 8.0255 ((2 . 19) (4 . 21) (6 . 22) (7 . 23)) 1425 0.6660 5.9802 ((1 . 6) (2 . 8) (4 . 10) (5 . 11)) 1451 0.6648 7.8481 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 1464 0.6663 5.0879 ((2 . 7) (4 . 8) (6 . 10) (7 . 13)) 1501 0.8329 4.1774 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 1514 0.6657 6.5734 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 1577 0.3868 13.8254 ((1 . 3) (2 . 4) (4 . 5) (6 . 6)) 1622 0.6648 7.8311 ((1 . 18) (4 . 20) (6 . 22) (7 . 23)) 1643 0.8322 5.1883 ((1 . 16) (2 . 17) (4 . 18) (5 . 20) (7 . 23)) 1644 0.6645 8.1461 ((1 . 46) (2 . 47) (4 . 48) (5 . 49)) 1690 0.4664 8.0416 ((1 . 14) (4 . 18) (5 . 19) (6 . 20)) 1692 0.5284 7.4174 ((1 . 5) (2 . 7) (5 . 8) (6 . 9)) 1738 0.6663 5.1608 ((2 . 9) (5 . 11) (6 . 13) (7 . 14)) 1747 0.8319 5.5682 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (7 . 11)) 1756 0.6653 7.2091 ((1 . 23) (2 . 24) (4 . 26) (7 . 30)) 1759 0.8288 7.4055 ((1 . 4) (2 . 5) (4 . 6) (5 . 8) (7 . 10)) 1763 0.6650 7.5602 ((2 . 7) (4 . 9) (5 . 10) (7 . 13)) 1776 0.2488 9.2170 ((1 . 12) (4 . 14) (6 . 15) (7 . 19)) 1777 0.6659 6.2998 ((1 . 47) (2 . 49) (4 . 50) (5 . 52)) 1778 0.6659 6.2393 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 1793 0.4667 6.3269 ((2 . 11) (5 . 12) (6 . 13) (7 . 14)) 1805 0.6659 6.2966 ((2 . 4) (4 . 7) (5 . 8) (7 . 10)) 1808 0.6641 8.4991 ((1 . 2) (2 . 4) (4 . 5) (5 . 6)) 1817 0.3880 3.2980 ((2 . 14) (4 . 15) (5 . 16) (6 . 18)) 1867 0.0999 6.9981 ((2 . 1) (5 . 3) (6 . 6) (7 . 7)) 1894 0.3877 9.3141 ((1 . 22) (2 . 23) (4 . 25) (5 . 26)) 1896 0.6662 5.5096 ((1 . 22) (2 . 23) (4 . 25) (5 . 26)) 1913 0.6652 7.3913 ((2 . 10) (4 . 12) (5 . 14) (7 . 17)) 1995 0.6662 5.5485 ((2 . 7) (4 . 8) (5 . 9) (7 . 13)) 2003 0.6647 7.9601 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 2006 0.8226 9.2164 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 15)) 2063 0.6656 6.7636 ((1 . 42) (2 . 43) (4 . 44) (5 . 45)) 2065 0.6662 5.4747 ((2 . 22) (4 . 23) (6 . 26) (7 . 27)) 2067 0.6657 6.6563 ((2 . 38) (4 . 39) (6 . 44) (7 . 45)) 2072 0.8312 6.1010 ((1 . 1) (2 . 4) (4 . 6) (5 . 5) (7 . 7)) 2081 0.6660 6.0575 ((1 . 19) (2 . 20) (4 . 21) (5 . 23)) 2097 0.4665 7.3130 ((2 . 3) (5 . 5) (6 . 6) (7 . 7)) 2114 0.6655 6.9700 ((1 . 28) (2 . 29) (4 . 32) (5 . 34)) 2116 0.6651 7.4852 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 2117 0.6661 5.7069 ((2 . 6) (5 . 9) (6 . 11) (7 . 12)) 2118 0.4646 12.7109 ((1 . 1) (2 . 3) (4 . 5) (7 . 7)) 2122 0.4661 9.6445 ((1 . 10) (4 . 12) (6 . 14) (7 . 17)) 2166 0.6658 6.4150 ((2 . 15) (4 . 16) (5 . 17) (7 . 21)) 2179 0.6666 3.4194 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 2196 0.6655 7.0158 ((2 . 14) (5 . 17) (6 . 18) (7 . 19)) 2205 0.6643 8.3318 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 2209 0.2969 10.7862 ((1 . 6) (2 . 7) (6 . 9) (7 . 10)) 2243 0.6654 7.0448 ((1 . 51) (2 . 52) (4 . 53) (5 . 54)) 2244 0.6664 4.5986 ((1 . 73) (2 . 74) (4 . 75) (5 . 76)) 2249 0.2970 8.1765 ((1 . 16) (2 . 17) (4 . 18) (7 . 23)) 2269 0.6637 8.7668 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 2279 0.3868 13.7965 ((2 . 5) (5 . 7) (6 . 8) (7 . 10)) 2308 0.6636 8.8952 ((2 . 4) (4 . 5) (6 . 6) (7 . 8)) 2314 0.3875 10.7808 ((1 . 2) (2 . 3) (4 . 4) (6 . 7)) 2344 0.2970 7.3773 ((1 . 6) (2 . 7) (6 . 10) (7 . 13)) 2364 0.1996 6.0746 ((1 . 15) (2 . 18) (4 . 19) (5 . 20)) 2381 0.6653 7.1707 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 2389 0.6651 7.5082 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 2408 0.6642 8.3780 ((1 . 40) (2 . 41) (4 . 42) (6 . 45)) 2409 0.6665 4.2537 ((1 . 3) (4 . 5) (5 . 6) (7 . 8)) 2422 0.6624 9.6458 ((4 . 4) (5 . 6) (6 . 7) (7 . 8)) 2423 0.6644 8.2182 ((1 . 19) (2 . 20) (4 . 21) (5 . 22)) 2525 0.3879 6.6531 ((1 . 45) (4 . 47) (5 . 48) (6 . 50)) 2551 0.6656 6.7384 ((1 . 9) (4 . 11) (5 . 12) (7 . 14)) 2561 0.6659 6.1587 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 2619 0.6663 5.1526 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 2650 0.6658 6.4156 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 2658 0.6651 7.5369 ((1 . 10) (4 . 12) (5 . 13) (7 . 14)) 2675 0.6666 3.1719 ((1 . 8) (2 . 10) (4 . 11) (5 . 12)) 2696 0.6658 6.4900 ((1 . 32) (2 . 34) (4 . 35) (5 . 36)) 2755 0.2969 10.3542 ((1 . 5) (4 . 6) (6 . 8) (7 . 10)) 2804 0.6661 5.6963 ((1 . 29) (2 . 31) (4 . 32) (6 . 39)) 2821 0.6664 4.7489 ((2 . 1) (4 . 2) (5 . 3) (6 . 4)) 2830 0.6628 9.4280 ((4 . 24) (5 . 25) (6 . 26) (7 . 27)) 2834 0.2970 7.0237 ((1 . 1) (4 . 3) (5 . 5) (6 . 6)) 2840 0.6652 7.3419 ((1 . 1) (4 . 5) (5 . 6) (7 . 8)) 2879 0.6660 6.0010 ((1 . 51) (2 . 52) (4 . 53) (5 . 54)) 2886 0.6644 8.2092 ((1 . 30) (5 . 35) (6 . 37) (7 . 38)) 2940 0.0999 7.5481 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 2947 0.2970 6.1049 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 2966 0.5652 4.9416 ((1 . 9) (2 . 10) (4 . 12) (5 . 13) (7 . 16)) 2990 0.2970 7.3053 ((1 . 12) (4 . 14) (5 . 15) (6 . 16)) 3014 0.1499 7.7798 ((2 . 22) (4 . 23) (5 . 24) (6 . 25)) 3019 0.3878 9.1695 ((1 . 19) (2 . 20) (6 . 22) (7 . 25)) 3055 0.6665 4.2095 ((1 . 17) (2 . 19) (4 . 20) (5 . 21)) 3063 0.6648 7.8280 ((1 . 37) (2 . 38) (4 . 39) (7 . 41)) 3102 0.6656 6.8452 ((1 . 58) (2 . 59) (4 . 60) (5 . 62)) 3103 0.6630 9.2926 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 3114 0.6661 5.6742 ((1 . 22) (2 . 23) (4 . 24) (5 . 25)) 3147 0.8320 5.4424 ((1 . 16) (2 . 17) (4 . 18) (5 . 19) (7 . 21)) 3187 0.6650 7.6362 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 3200 0.4665 7.5478 ((2 . 13) (5 . 15) (6 . 16) (7 . 18)) 3222 0.6644 8.2382 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 3256 0.6626 9.5244 ((1 . 24) (2 . 25) (4 . 26) (5 . 28)) 3261 0.6656 6.8675 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 3286 0.1996 6.1373 ((1 . 3) (2 . 4) (4 . 5) (7 . 7)) 3289 0.6652 7.3561 ((1 . 25) (5 . 29) (6 . 30) (7 . 31)) 3297 0.6651 7.4792 ((1 . 3) (2 . 4) (4 . 5) (5 . 7)) 3300 0.6651 7.4406 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 3334 0.6662 5.5124 ((1 . 4) (2 . 5) (4 . 6) (7 . 10)) 3339 0.2969 9.2509 ((1 . 15) (4 . 17) (6 . 19) (7 . 21)) 3344 0.3877 9.8267 ((1 . 18) (2 . 19) (4 . 21) (7 . 24)) 3366 0.6635 8.9302 ((2 . 22) (4 . 24) (6 . 26) (7 . 27)) 3418 0.6660 6.0714 ((1 . 2) (2 . 5) (4 . 6) (5 . 7)) 3472 0.8239 8.9138 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 8)) 3495 0.1996 11.5900 ((1 . 1) (2 . 2) (4 . 3) (7 . 7)) 3533 0.6614 10.1810 ((1 . 5) (4 . 7) (5 . 8) (6 . 10)) 3548 0.6660 6.0994 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 3549 0.6663 5.0765 ((2 . 2) (4 . 3) (6 . 5) (7 . 8)) 3585 0.5640 8.8257 ((1 . 11) (2 . 12) (4 . 13) (5 . 14) (7 . 16)) 3613 0.6642 8.3857 ((2 . 35) (4 . 36) (6 . 40) (7 . 41)) 3625 0.1996 5.2166 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 3626 0.6661 5.7955 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 3628 0.4667 6.1147 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 3651 0.6658 6.5153 ((1 . 8) (2 . 9) (4 . 11) (5 . 13)) 3658 0.6658 6.5136 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 3659 0.8322 5.2440 ((2 . 5) (4 . 7) (5 . 8) (6 . 9) (7 . 12)) 3688 0.6641 8.4527 ((2 . 26) (4 . 27) (5 . 28) (7 . 30)) 3697 0.2968 11.4702 ((1 . 1) (2 . 3) (4 . 4) (7 . 6)) 3703 0.6650 7.5622 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 3732 0.1996 5.2101 ((4 . 2) (5 . 3) (6 . 5) (7 . 7)) 3740 0.6663 5.1319 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 3741 0.8330 3.7355 ((2 . 21) (4 . 26) (5 . 27) (6 . 28) (7 . 32)) 3776 0.3880 5.5109 ((2 . 15) (5 . 17) (6 . 19) (7 . 20)) 3778 0.2970 5.9591 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 3790 0.8320 5.4654 ((1 . 21) (2 . 22) (4 . 24) (5 . 25) (7 . 27)) 3810 0.6665 4.3503 ((1 . 9) (2 . 10) (4 . 11) (6 . 14)) 3817 0.4665 7.7723 ((2 . 7) (5 . 9) (6 . 10) (7 . 11)) 3831 0.6646 7.9883 ((1 . 3) (4 . 5) (5 . 6) (7 . 9)) 3849 0.3948 5.0825 ((1 . 1) (2 . 2) (4 . 3) (6 . 5) (7 . 8)) 3856 0.6658 6.4270 ((2 . 3) (4 . 6) (5 . 7) (7 . 12)) 3933 0.6651 7.4855 ((1 . 13) (2 . 14) (4 . 17) (5 . 18)) 3938 0.6642 8.3583 ((1 . 2) (5 . 6) (6 . 8) (7 . 9)) 3986 0.6500 13.7131 ((2 . 8) (5 . 11) (6 . 13) (7 . 15)) 3990 0.6664 4.8734 ((2 . 20) (5 . 22) (6 . 23) (7 . 24)) 4005 0.6661 5.9182 ((1 . 22) (2 . 24) (4 . 26) (5 . 27)) 4009 0.6607 10.4889 ((4 . 12) (5 . 11) (6 . 13) (7 . 15)) 4019 0.6652 7.3193 ((2 . 42) (4 . 43) (5 . 44) (6 . 45)) 4034 0.6663 5.2999 ((2 . 9) (4 . 10) (5 . 11) (6 . 12)) 4082 0.6663 5.3347 ((2 . 5) (4 . 6) (6 . 7) (7 . 8)) 4087 0.6653 7.2325 ((1 . 1) (5 . 3) (6 . 5) (7 . 6)) 4112 0.6663 5.0974 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 4154 0.1996 6.7107 ((2 . 52) (4 . 54) (5 . 55) (7 . 57)) 4194 0.3878 8.4770 ((1 . 3) (4 . 5) (5 . 6) (6 . 7)) 4204 0.6652 7.4124 ((2 . 11) (5 . 13) (6 . 14) (7 . 15)) 4226 0.6642 8.4159 ((1 . 1) (4 . 4) (6 . 6) (7 . 8)) 4236 0.4668 4.2766 ((2 . 6) (4 . 7) (5 . 8) (6 . 10)) 4246 0.6648 7.7869 ((2 . 2) (4 . 3) (6 . 5) (7 . 6)) 4254 0.6662 5.6625 ((1 . 9) (2 . 11) (5 . 13) (7 . 15)) 4255 0.6659 6.1542 ((1 . 21) (4 . 23) (5 . 24) (7 . 26)) 4257 0.6658 6.5023 ((2 . 8) (4 . 9) (5 . 10) (6 . 12)) 4266 0.2488 9.1020 ((1 . 6) (4 . 8) (6 . 11) (7 . 12)) 4275 0.4663 8.6591 ((1 . 23) (4 . 25) (5 . 27) (6 . 28)) 4281 0.1996 6.1034 ((1 . 3) (2 . 4) (4 . 5) (7 . 10)) 4284 0.6606 10.5378 ((1 . 3) (2 . 4) (4 . 5) (7 . 9)) 4299 0.6664 4.8027 ((2 . 16) (4 . 19) (6 . 20) (7 . 22)) 4301 0.6657 6.6198 ((1 . 2) (4 . 4) (5 . 6) (7 . 9)) 4326 0.2970 7.3512 ((4 . 7) (5 . 10) (6 . 11) (7 . 12)) 4338 0.6654 7.1493 ((2 . 6) (4 . 7) (5 . 8) (7 . 11)) 4359 0.8280 7.7108 ((1 . 20) (2 . 21) (4 . 22) (5 . 23) (7 . 26)) 4380 0.8330 3.9540 ((2 . 23) (4 . 30) (5 . 31) (6 . 32) (7 . 36)) 4383 0.6632 9.1481 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 4388 0.6649 7.7267 ((1 . 3) (4 . 5) (5 . 6) (7 . 9)) 4398 0.3879 6.1343 ((1 . 4) (4 . 6) (5 . 7) (6 . 8)) 4405 0.2487 11.8834 ((2 . 21) (4 . 23) (5 . 24) (6 . 25)) 4408 0.2970 5.4668 ((2 . 1) (4 . 3) (5 . 4) (7 . 6)) 4419 0.6643 8.3303 ((2 . 6) (4 . 8) (6 . 9) (7 . 10)) 4491 0.6660 6.0722 ((1 . 1) (4 . 5) (5 . 6) (7 . 8)) 4492 0.6661 5.8311 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 4497 0.6622 9.7506 ((1 . 26) (2 . 27) (4 . 28) (5 . 30)) 4502 0.3880 4.5947 ((1 . 6) (4 . 9) (5 . 10) (6 . 11)) 4503 0.1996 5.7683 ((1 . 1) (2 . 3) (4 . 5) (6 . 7)) 4504 0.3878 8.4450 ((1 . 17) (4 . 20) (5 . 21) (6 . 22)) 4516 0.6647 7.9313 ((2 . 12) (5 . 14) (6 . 16) (7 . 18)) 4538 0.3879 7.5641 ((1 . 32) (2 . 33) (4 . 34) (6 . 38)) 4560 0.1996 11.2423 ((1 . 8) (4 . 11) (6 . 13) (7 . 14)) 4561 0.4658 10.3009 ((1 . 7) (4 . 9) (6 . 12) (7 . 13)) 4562 0.2969 8.9881 ((1 . 22) (4 . 25) (6 . 27) (7 . 29)) 4577 0.6655 7.0003 ((2 . 30) (4 . 32) (5 . 33) (7 . 42)) 4588 0.3875 10.9703 ((1 . 7) (2 . 8) (4 . 9) (7 . 13)) 4589 0.6654 7.0257 ((1 . 23) (4 . 25) (6 . 27) (7 . 30)) 4621 0.6657 6.6897 ((1 . 4) (4 . 7) (5 . 8) (7 . 11)) 4630 0.3879 7.8494 ((1 . 25) (2 . 26) (5 . 29) (6 . 31)) 4653 0.6663 5.3000 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 4665 0.6663 5.1932 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 4668 0.3877 9.5234 ((1 . 3) (2 . 5) (4 . 7) (6 . 9)) 4671 0.6661 5.7418 ((1 . 8) (4 . 13) (5 . 14) (7 . 18)) 4678 0.1996 7.2730 ((1 . 11) (2 . 10) (4 . 12) (6 . 14)) 4713 0.6664 4.9182 ((1 . 3) (4 . 5) (5 . 6) (7 . 8)) 4734 0.6665 4.5426 ((2 . 2) (4 . 5) (5 . 6) (7 . 7)) 4888 0.1996 7.3668 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 4889 0.4663 8.7316 ((1 . 2) (2 . 3) (4 . 4) (7 . 6)) 4907 0.6655 6.9100 ((2 . 4) (4 . 5) (6 . 8) (7 . 9)) 4914 0.6665 4.2855 ((2 . 4) (4 . 5) (5 . 6) (7 . 9)) 4921 0.2969 9.7354 ((1 . 8) (2 . 9) (5 . 12) (7 . 14)) 4929 0.6636 8.8932 ((1 . 29) (2 . 31) (4 . 32) (6 . 33)) 4932 0.1333 9.8441 ((1 . 2) (2 . 4) (4 . 6) (5 . 5)) 4944 0.6659 6.1506 ((1 . 13) (2 . 14) (4 . 15) (5 . 16)) 4978 0.3879 7.7950 ((2 . 21) (4 . 22) (5 . 24) (6 . 25)) 4982 0.6662 5.4548 ((1 . 9) (2 . 10) (5 . 12) (7 . 14)) 5036 0.6649 7.7195 ((1 . 5) (4 . 7) (5 . 8) (7 . 10)) 5038 0.6654 7.1154 ((2 . 9) (5 . 12) (6 . 14) (7 . 15)) 5053 0.3879 6.1320 ((2 . 9) (4 . 10) (5 . 11) (6 . 12)) 5065 0.6656 6.8173 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 5068 0.1665 9.9269 ((1 . 12) (4 . 15) (5 . 16) (6 . 17)) 5069 0.3878 8.2162 ((1 . 2) (4 . 4) (5 . 5) (6 . 7)) 5083 0.6664 4.8552 ((1 . 2) (4 . 5) (5 . 6) (7 . 9)) 5121 0.6646 8.0538 ((2 . 25) (4 . 26) (5 . 27) (6 . 29)) 5145 0.3879 7.0206 ((1 . 3) (4 . 5) (6 . 8) (7 . 10)) 5176 0.3878 9.0580 ((2 . 84) (4 . 86) (5 . 87) (6 . 88)) 5183 0.6665 4.3252 ((1 . 35) (2 . 36) (4 . 37) (5 . 38)) 5198 0.1996 8.1199 ((1 . 24) (5 . 30) (6 . 31) (7 . 32)) 5209 0.6653 7.2363 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 5215 0.6663 5.0828 ((2 . 9) (4 . 10) (5 . 11) (6 . 12)) 5231 0.6661 5.6727 ((2 . 12) (4 . 13) (5 . 14) (7 . 16)) 5278 0.2969 8.8398 ((1 . 6) (2 . 7) (6 . 10) (7 . 12)) 5307 0.3878 8.6183 ((1 . 53) (4 . 55) (5 . 57) (6 . 58)) 5312 0.6658 6.3747 ((2 . 1) (4 . 2) (6 . 3) (7 . 4)) 5344 0.6657 6.6834 ((1 . 3) (2 . 4) (6 . 7) (7 . 8)) 5345 0.8285 7.5138 ((1 . 5) (2 . 7) (4 . 8) (5 . 9) (7 . 12)) 5368 0.8281 7.6722 ((1 . 18) (2 . 19) (4 . 20) (5 . 21) (7 . 25)) 5414 0.6655 7.0227 ((1 . 14) (2 . 15) (4 . 16) (5 . 18)) 5418 0.6655 6.9323 ((2 . 3) (4 . 5) (6 . 8) (7 . 9)) 5421 0.6665 4.4983 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 5433 0.2970 6.4623 ((2 . 4) (5 . 7) (6 . 8) (7 . 10)) 5479 0.6662 5.4776 ((1 . 50) (2 . 51) (4 . 52) (5 . 53)) 5489 0.6658 6.4580 ((1 . 11) (4 . 13) (5 . 14) (7 . 17)) 5535 0.8308 6.3624 ((1 . 4) (2 . 6) (4 . 7) (5 . 8) (6 . 9)) 5540 0.4664 7.9976 ((1 . 6) (2 . 7) (4 . 8) (6 . 10)) 5557 0.6659 6.1914 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 5560 0.6600 10.7808 ((1 . 9) (4 . 11) (5 . 13) (7 . 15)) 5594 0.3876 10.1060 ((1 . 3) (2 . 4) (5 . 6) (7 . 9)) 5600 0.6659 6.2598 ((1 . 3) (4 . 5) (5 . 6) (7 . 9)) 5601 0.4662 8.9978 ((1 . 1) (2 . 3) (5 . 5) (6 . 7)) 5638 0.6615 10.1433 ((1 . 7) (2 . 8) (4 . 9) (7 . 13)) 5640 0.8270 8.0636 ((1 . 22) (2 . 23) (4 . 24) (5 . 25) (7 . 27)) 5644 0.6660 5.9561 ((2 . 1) (4 . 3) (5 . 4) (7 . 8)) 5700 0.4663 8.8153 ((1 . 6) (2 . 8) (4 . 9) (6 . 11)) 5711 0.8310 6.2815 ((1 . 38) (2 . 39) (4 . 42) (5 . 43) (7 . 46)) 5713 0.8293 7.1935 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 6)) 5718 0.6666 3.3716 ((1 . 14) (2 . 16) (4 . 17) (5 . 18)) 5731 0.6664 4.8630 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 5746 0.6662 5.4532 ((1 . 3) (4 . 6) (5 . 7) (7 . 10)) 5749 0.6647 7.9224 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 5761 0.6652 7.4114 ((1 . 28) (2 . 30) (4 . 31) (6 . 32)) 5782 0.6663 5.2137 ((2 . 15) (5 . 18) (6 . 21) (7 . 22)) 5794 0.6637 8.8161 ((1 . 16) (4 . 18) (5 . 19) (7 . 23)) 5822 0.4656 10.9815 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 5827 0.6662 5.4723 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 5830 0.3877 9.9934 ((1 . 1) (2 . 2) (5 . 7) (6 . 6)) 5847 0.6662 5.5144 ((1 . 14) (2 . 16) (4 . 17) (5 . 18)) 5861 0.3879 7.9754 ((1 . 22) (4 . 25) (5 . 26) (6 . 27)) 5865 0.0999 8.8217 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 5878 0.2970 4.6526 ((4 . 26) (5 . 28) (6 . 29) (7 . 30)) 5888 0.8284 7.5739 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (7 . 12)) 5896 0.6659 6.2485 ((1 . 26) (4 . 28) (5 . 29) (7 . 31)) 5913 0.6648 7.8486 ((1 . 7) (2 . 9) (4 . 10) (6 . 13)) 5914 0.2970 5.6304 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 5922 0.6639 8.6233 ((1 . 1) (4 . 4) (5 . 5) (7 . 8)) 5930 0.1996 9.6019 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 5945 0.5269 10.6787 ((1 . 9) (2 . 11) (5 . 13) (6 . 14)) 5955 0.1996 6.1766 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 6011 0.9982 4.6860 ((1 . 11) (2 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 19)) 6022 0.6664 4.7168 ((2 . 4) (4 . 5) (5 . 7) (7 . 8)) 6029 0.4665 7.3119 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 6041 0.6641 8.4563 ((2 . 10) (4 . 11) (5 . 12) (7 . 15)) 6046 0.6661 5.6700 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 6061 0.6647 7.9728 ((1 . 13) (2 . 14) (4 . 15) (7 . 17)) 6079 0.6659 6.3018 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 6094 0.6665 4.2999 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6099 0.6659 6.1728 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 6123 0.1996 5.8892 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6142 0.8317 5.7429 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6148 0.4667 5.7986 ((1 . 32) (4 . 34) (6 . 36) (7 . 37)) 6167 0.3879 6.8738 ((1 . 9) (2 . 10) (4 . 12) (5 . 14)) 6173 0.6662 5.5113 ((2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6191 0.4657 10.6362 ((1 . 6) (2 . 9) (4 . 10) (6 . 12)) 6215 0.6662 5.4757 ((1 . 17) (2 . 18) (4 . 19) (5 . 20)) 6225 0.6640 8.5268 ((2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6228 0.3948 5.2738 ((1 . 9) (2 . 12) (5 . 14) (6 . 15) (7 . 19)) 6234 0.6658 6.4360 ((2 . 6) (4 . 7) (6 . 9) (7 . 10)) 6238 0.4663 8.5680 ((1 . 4) (2 . 5) (4 . 7) (7 . 9)) 6270 0.6661 5.8398 ((1 . 15) (4 . 17) (5 . 18) (7 . 20)) 6271 0.6638 8.7063 ((2 . 4) (4 . 5) (5 . 7) (6 . 8)) 6273 0.1499 6.5063 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 6306 0.2969 9.4944 ((1 . 15) (2 . 16) (6 . 19) (7 . 21)) 6309 0.2970 7.8427 ((1 . 17) (2 . 18) (4 . 20) (7 . 25)) 6311 0.6658 6.4426 ((1 . 9) (2 . 10) (4 . 11) (7 . 14)) 6326 0.6661 5.8410 ((1 . 3) (5 . 5) (6 . 6) (7 . 7)) 6338 0.6659 6.2164 ((1 . 2) (2 . 4) (4 . 5) (5 . 7)) 6344 0.6661 5.8021 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 6345 0.6641 8.4610 ((4 . 5) (5 . 4) (6 . 6) (7 . 7)) 6355 0.4849 4.9761 ((2 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 11)) 6369 0.6661 5.7880 ((2 . 5) (4 . 6) (5 . 7) (7 . 9)) 6376 0.6658 6.4077 ((1 . 24) (2 . 26) (4 . 27) (5 . 28)) 6399 0.8309 6.2966 ((2 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6403 0.6662 5.4040 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 6434 0.6656 6.8568 ((2 . 2) (4 . 3) (6 . 4) (7 . 5)) 6462 0.2968 12.4257 ((1 . 4) (2 . 5) (4 . 6) (7 . 10)) 6520 0.6659 6.1546 ((1 . 2) (2 . 3) (4 . 6) (6 . 8)) 6539 0.6659 6.1925 ((1 . 2) (4 . 4) (5 . 5) (7 . 8)) 6540 0.6657 6.5624 ((1 . 16) (4 . 18) (5 . 19) (7 . 21)) 6553 0.6654 7.1041 ((1 . 11) (4 . 13) (5 . 15) (7 . 17)) 6555 0.6641 8.4902 ((1 . 20) (2 . 22) (4 . 23) (6 . 24)) 6561 0.6637 8.7886 ((1 . 1) (2 . 3) (6 . 7) (7 . 8)) 6573 0.6663 5.0800 ((2 . 19) (5 . 21) (6 . 22) (7 . 23)) 6578 0.6664 4.9668 ((1 . 32) (2 . 34) (4 . 37) (5 . 38)) 6585 0.2970 7.8060 ((1 . 8) (4 . 10) (5 . 11) (7 . 13)) 6598 0.6665 4.3717 ((2 . 4) (4 . 5) (5 . 6) (7 . 8)) 6613 0.6663 5.2803 ((2 . 31) (5 . 32) (6 . 33) (7 . 34)) 6635 0.6656 6.7761 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) END