417 51 0.5713 4.9228 ((1 . 6) (2 . 7) (7 . 11) (9 . 13)) 62 0.5692 9.9014 ((2 . 12) (3 . 13) (5 . 16) (7 . 17)) 64 0.5710 6.6167 ((2 . 9) (3 . 10) (7 . 14) (9 . 15)) 77 0.5706 7.6154 ((2 . 7) (3 . 8) (7 . 13) (9 . 15)) 96 0.5709 6.8402 ((1 . 1) (3 . 3) (6 . 4) (7 . 5)) 129 0.5713 4.8836 ((1 . 3) (2 . 5) (7 . 11) (9 . 12)) 136 0.5708 7.1804 ((5 . 5) (6 . 6) (7 . 7) (9 . 8)) 153 0.5698 9.1171 ((2 . 4) (3 . 5) (7 . 8) (9 . 9)) 157 0.2477 9.5598 ((1 . 9) (6 . 15) (7 . 16) (9 . 20)) 161 0.2477 9.0006 ((2 . 3) (5 . 6) (7 . 8) (9 . 10)) 162 0.2945 9.6823 ((2 . 12) (6 . 16) (7 . 17) (9 . 18)) 177 0.5710 6.4833 ((1 . 3) (3 . 5) (7 . 8) (9 . 10)) 198 0.5709 7.0421 ((1 . 9) (2 . 12) (3 . 13) (5 . 14)) 233 0.5702 8.4930 ((2 . 2) (3 . 3) (7 . 7) (9 . 8)) 300 0.5710 6.4699 ((3 . 6) (5 . 8) (7 . 9) (9 . 10)) 305 0.5714 2.8967 ((2 . 16) (3 . 17) (5 . 18) (9 . 21)) 307 0.2945 8.0275 ((1 . 1) (6 . 6) (7 . 7) (9 . 9)) 340 0.5711 6.0257 ((1 . 1) (2 . 2) (3 . 4) (7 . 9)) 350 0.5712 5.5568 ((2 . 11) (3 . 13) (7 . 16) (9 . 20)) 360 0.5706 7.6756 ((1 . 3) (2 . 5) (3 . 6) (7 . 9)) 365 0.3789 8.6417 ((1 . 3) (2 . 4) (3 . 6) (6 . 7)) 367 0.5701 8.6684 ((2 . 38) (3 . 40) (7 . 44) (9 . 46)) 372 0.5708 7.0807 ((1 . 1) (5 . 6) (7 . 10) (9 . 11)) 387 0.5711 6.2325 ((1 . 7) (5 . 11) (7 . 12) (9 . 15)) 405 0.5706 7.8411 ((2 . 33) (5 . 35) (7 . 39) (9 . 40)) 417 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9)) 420 0.5711 5.9855 ((1 . 2) (2 . 3) (3 . 4) (7 . 8)) 433 0.5711 6.2534 ((3 . 1) (6 . 2) (7 . 5) (9 . 6)) 442 0.5711 6.0332 ((1 . 4) (2 . 6) (6 . 9) (9 . 12)) 460 0.1249 6.9551 ((2 . 1) (5 . 3) (7 . 6) (9 . 8)) 472 0.5653 12.8229 ((2 . 25) (3 . 27) (6 . 29) (7 . 31)) 491 0.3790 5.7147 ((1 . 1) (6 . 5) (7 . 6) (9 . 8)) 541 0.2945 7.9138 ((1 . 7) (6 . 13) (7 . 14) (9 . 16)) 543 0.5713 4.9721 ((1 . 5) (2 . 6) (7 . 10) (9 . 15)) 561 0.0999 10.1882 ((1 . 1) (2 . 3) (3 . 4) (6 . 5)) 584 0.5711 6.1944 ((1 . 3) (2 . 4) (3 . 5) (9 . 10)) 587 0.5712 5.3476 ((1 . 4) (2 . 6) (3 . 7) (7 . 9)) 609 0.1993 7.3547 ((1 . 1) (6 . 2) (7 . 8) (9 . 3)) 619 0.5709 6.9821 ((1 . 6) (2 . 7) (3 . 8) (7 . 12)) 624 0.5711 6.3282 ((1 . 20) (6 . 23) (7 . 24) (9 . 26)) 635 0.5702 8.4873 ((1 . 5) (6 . 11) (7 . 13) (9 . 14)) 672 0.5712 5.6415 ((1 . 21) (2 . 23) (5 . 24) (6 . 25)) 678 0.3786 11.0220 ((1 . 24) (2 . 26) (6 . 28) (7 . 29)) 683 0.5706 7.7710 ((2 . 2) (5 . 3) (7 . 5) (9 . 6)) 719 0.5710 6.6582 ((1 . 23) (2 . 27) (6 . 29) (7 . 30)) 729 0.5699 9.0229 ((2 . 13) (6 . 14) (7 . 15) (9 . 20)) 735 0.5712 5.8147 ((2 . 31) (3 . 32) (7 . 37) (9 . 39)) 740 0.5713 5.2596 ((1 . 2) (2 . 3) (3 . 4) (7 . 9)) 765 0.4453 7.8179 ((2 . 17) (3 . 18) (5 . 19) (7 . 20)) 767 0.1498 9.4319 ((1 . 26) (5 . 29) (6 . 33) (7 . 32)) 801 0.3790 6.7874 ((1 . 1) (2 . 2) (5 . 4) (7 . 7)) 812 0.2477 9.8586 ((1 . 8) (2 . 9) (6 . 12) (9 . 16)) 818 0.1992 10.0614 ((2 . 4) (6 . 9) (7 . 8) (9 . 12)) 819 0.5706 7.6493 ((1 . 8) (2 . 9) (3 . 10) (6 . 11)) 824 0.3789 7.6275 ((1 . 43) (3 . 46) (5 . 49) (7 . 51)) 861 0.5712 5.4519 ((1 . 15) (2 . 16) (3 . 17) (7 . 19)) 904 0.1498 9.2047 ((2 . 2) (3 . 3) (7 . 6) (9 . 7)) 928 0.3789 8.7910 ((2 . 3) (5 . 5) (6 . 6) (7 . 7)) 943 0.0999 10.1572 ((3 . 9) (6 . 10) (7 . 12) (9 . 14)) 960 0.3787 10.2068 ((2 . 12) (6 . 16) (7 . 19) (9 . 21)) 978 0.3789 8.6755 ((2 . 13) (6 . 15) (7 . 16) (9 . 19)) 1007 0.5672 11.6341 ((1 . 8) (2 . 11) (3 . 12) (9 . 18)) 1008 0.5712 5.4640 ((1 . 5) (2 . 8) (7 . 15) (9 . 16)) 1043 0.5703 8.4300 ((2 . 6) (6 . 9) (7 . 10) (9 . 14)) 1082 0.4452 8.4249 ((1 . 4) (6 . 7) (7 . 8) (9 . 9)) 1084 0.5709 6.8739 ((1 . 8) (2 . 10) (3 . 12) (7 . 17)) 1165 0.5711 6.0873 ((1 . 3) (2 . 4) (6 . 9) (7 . 10)) 1167 0.2945 6.3056 ((1 . 21) (2 . 22) (6 . 26) (7 . 27)) 1169 0.5709 6.8735 ((2 . 29) (3 . 30) (7 . 35) (9 . 37)) 1217 0.7129 6.6692 ((1 . 3) (2 . 5) (3 . 7) (7 . 9) (9 . 11)) 1224 0.5713 4.6935 ((1 . 3) (2 . 5) (7 . 7) (9 . 9)) 1294 0.5707 7.3675 ((2 . 41) (3 . 42) (5 . 43) (7 . 44)) 1345 0.5707 7.5536 ((2 . 7) (6 . 10) (7 . 12) (9 . 13)) 1366 0.5710 6.4075 ((2 . 12) (6 . 13) (7 . 16) (9 . 17)) 1388 0.5709 6.8422 ((2 . 1) (6 . 3) (7 . 4) (9 . 5)) 1410 0.3788 9.8732 ((1 . 21) (2 . 23) (5 . 25) (7 . 26)) 1425 0.5710 6.7005 ((1 . 6) (2 . 8) (3 . 10) (7 . 12)) 1435 0.5686 10.5634 ((2 . 1) (5 . 3) (7 . 5) (9 . 6)) 1447 0.5705 7.9001 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 1451 0.3788 9.3655 ((1 . 1) (3 . 3) (5 . 4) (7 . 6)) 1464 0.5711 5.9890 ((5 . 8) (6 . 9) (7 . 10) (9 . 13)) 1476 0.5680 11.0350 ((1 . 11) (2 . 14) (7 . 18) (9 . 20)) 1481 0.5694 9.6839 ((3 . 1) (6 . 3) (7 . 4) (9 . 5)) 1513 0.1993 8.1146 ((1 . 5) (6 . 9) (7 . 11) (9 . 13)) 1577 0.0999 13.5874 ((2 . 3) (3 . 4) (7 . 6) (9 . 10)) 1591 0.2945 8.0795 ((2 . 14) (6 . 15) (7 . 16) (9 . 19)) 1604 0.3789 9.0212 ((3 . 1) (5 . 3) (6 . 6) (9 . 10)) 1622 0.3905 8.5565 ((2 . 18) (5 . 20) (6 . 21) (7 . 22) (9 . 23)) 1624 0.5705 7.9948 ((1 . 5) (2 . 8) (3 . 9) (6 . 11)) 1643 0.5710 6.7095 ((2 . 33) (3 . 34) (7 . 38) (9 . 39)) 1644 0.5708 7.1724 ((2 . 47) (3 . 48) (7 . 51) (9 . 52)) 1665 0.5695 9.5164 ((1 . 4) (2 . 6) (6 . 9) (7 . 10)) 1690 0.5712 5.5396 ((1 . 13) (5 . 18) (7 . 21) (9 . 24)) 1692 0.3790 6.6714 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 1731 0.5707 7.4334 ((2 . 8) (6 . 11) (7 . 12) (9 . 13)) 1736 0.1992 9.1125 ((1 . 1) (3 . 5) (6 . 6) (9 . 10)) 1738 0.5699 9.0551 ((2 . 11) (3 . 13) (6 . 16) (7 . 17)) 1747 0.5712 5.8098 ((2 . 18) (3 . 19) (7 . 24) (9 . 25)) 1756 0.5712 5.3113 ((1 . 23) (2 . 25) (3 . 26) (7 . 30)) 1759 0.5712 5.6537 ((1 . 2) (2 . 4) (3 . 5) (7 . 9)) 1761 0.5709 7.0596 ((1 . 2) (2 . 4) (3 . 5) (6 . 6)) 1763 0.5713 4.6669 ((5 . 7) (6 . 8) (7 . 9) (9 . 10)) 1776 0.3790 7.4702 ((2 . 12) (6 . 13) (7 . 15) (9 . 20)) 1777 0.5705 7.9695 ((2 . 43) (3 . 45) (7 . 50) (9 . 52)) 1793 0.1993 6.8453 ((1 . 3) (2 . 4) (6 . 5) (7 . 6)) 1805 0.5706 7.8411 ((1 . 15) (2 . 16) (3 . 17) (6 . 18)) 1808 0.5710 6.6357 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 1867 0.5703 8.4313 ((3 . 1) (6 . 4) (7 . 6) (9 . 7)) 1894 0.3787 10.5039 ((1 . 20) (3 . 23) (6 . 24) (7 . 26)) 1909 0.5692 9.8873 ((1 . 31) (2 . 34) (7 . 37) (9 . 39)) 1913 0.5706 7.6420 ((2 . 12) (3 . 13) (7 . 18) (9 . 21)) 1944 0.5688 10.3124 ((1 . 16) (2 . 17) (5 . 22) (7 . 23)) 1967 0.5706 7.7291 ((1 . 1) (2 . 3) (6 . 6) (7 . 7)) 1992 0.5711 6.0396 ((2 . 9) (6 . 10) (7 . 12) (9 . 14)) 1995 0.2944 11.3322 ((2 . 2) (3 . 3) (6 . 5) (7 . 7)) 2003 0.5697 9.3177 ((1 . 4) (2 . 7) (5 . 9) (7 . 10)) 2006 0.5702 8.5259 ((1 . 10) (2 . 11) (3 . 12) (9 . 16)) 2048 0.5710 6.6421 ((3 . 13) (6 . 15) (7 . 16) (9 . 17)) 2065 0.5712 5.5877 ((1 . 18) (5 . 25) (7 . 27) (9 . 28)) 2067 0.5713 4.3440 ((2 . 54) (3 . 55) (7 . 59) (9 . 60)) 2072 0.5705 7.8896 ((1 . 1) (2 . 2) (6 . 3) (7 . 5)) 2081 0.5701 8.6381 ((5 . 5) (6 . 7) (7 . 9) (9 . 10)) 2083 0.0999 9.4729 ((3 . 2) (6 . 3) (7 . 4) (9 . 7)) 2097 0.5680 11.1007 ((1 . 5) (2 . 7) (7 . 14) (9 . 16)) 2116 0.5713 5.0286 ((1 . 5) (2 . 6) (7 . 11) (9 . 12)) 2117 0.5705 8.0116 ((2 . 5) (5 . 9) (7 . 11) (9 . 14)) 2118 0.3789 8.7290 ((1 . 4) (2 . 5) (5 . 7) (6 . 8)) 2122 0.5689 10.1909 ((2 . 10) (6 . 11) (7 . 14) (9 . 17)) 2166 0.5700 8.8965 ((2 . 15) (5 . 16) (7 . 17) (9 . 21)) 2179 0.5709 6.9786 ((1 . 10) (2 . 13) (6 . 16) (9 . 20)) 2196 0.5708 7.1445 ((3 . 10) (5 . 11) (7 . 13) (9 . 16)) 2203 0.5707 7.3630 ((1 . 1) (3 . 6) (6 . 8) (7 . 10)) 2205 0.2945 9.1516 ((1 . 13) (3 . 16) (7 . 19) (9 . 22)) 2209 0.5699 9.0357 ((2 . 5) (3 . 6) (6 . 8) (7 . 9)) 2243 0.5706 7.8030 ((2 . 59) (5 . 62) (7 . 65) (9 . 67)) 2244 0.5704 8.1999 ((2 . 73) (3 . 74) (7 . 77) (9 . 80)) 2248 0.5708 7.3348 ((2 . 22) (6 . 26) (7 . 27) (9 . 28)) 2249 0.1498 10.5233 ((1 . 11) (3 . 12) (6 . 14) (7 . 16)) 2269 0.5705 7.9421 ((2 . 6) (3 . 7) (6 . 9) (7 . 10)) 2279 0.5708 7.1208 ((1 . 7) (2 . 11) (7 . 19) (9 . 22)) 2298 0.2945 7.1185 ((2 . 6) (6 . 9) (7 . 10) (9 . 12)) 2308 0.5707 7.5050 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 2340 0.5707 7.5011 ((5 . 11) (6 . 12) (7 . 13) (9 . 14)) 2344 0.5701 8.6297 ((2 . 13) (3 . 14) (6 . 17) (7 . 18)) 2364 0.4912 8.4828 ((3 . 4) (5 . 5) (6 . 6) (7 . 7)) 2389 0.5711 5.9184 ((2 . 3) (3 . 4) (5 . 5) (9 . 9)) 2408 0.5699 9.0878 ((2 . 38) (3 . 39) (7 . 42) (9 . 45)) 2422 0.3789 8.8031 ((2 . 4) (3 . 6) (5 . 7) (7 . 9)) 2423 0.7128 6.7479 ((2 . 21) (5 . 22) (6 . 23) (7 . 25) (9 . 26)) 2447 0.5673 11.6064 ((2 . 15) (3 . 18) (6 . 19) (9 . 24)) 2462 0.2945 9.2715 ((2 . 1) (6 . 5) (7 . 6) (9 . 7)) 2510 0.5690 10.1468 ((1 . 1) (2 . 3) (7 . 7) (9 . 9)) 2525 0.4446 10.9389 ((2 . 43) (6 . 46) (7 . 47) (9 . 50)) 2529 0.5707 7.3586 ((2 . 1) (5 . 3) (7 . 5) (9 . 6)) 2533 0.5706 7.7883 ((1 . 13) (6 . 17) (7 . 18) (9 . 19)) 2556 0.2945 9.9073 ((2 . 11) (5 . 13) (7 . 16) (9 . 18)) 2561 0.5704 8.0786 ((1 . 6) (2 . 7) (5 . 8) (7 . 9)) 2595 0.5692 9.9732 ((1 . 1) (2 . 4) (7 . 6) (9 . 9)) 2619 0.1992 8.7861 ((1 . 1) (6 . 4) (7 . 5) (9 . 7)) 2650 0.5705 7.9543 ((3 . 1) (6 . 4) (7 . 5) (9 . 6)) 2658 0.1664 9.2378 ((5 . 10) (6 . 11) (7 . 12) (9 . 13)) 2675 0.5712 5.4345 ((1 . 1) (2 . 3) (7 . 7) (9 . 8)) 2682 0.4451 8.8357 ((1 . 7) (3 . 11) (5 . 12) (7 . 15)) 2696 0.5712 5.6586 ((2 . 36) (3 . 37) (5 . 38) (7 . 39)) 2733 0.5696 9.4372 ((1 . 1) (2 . 2) (3 . 4) (9 . 11)) 2755 0.5674 11.5501 ((2 . 5) (6 . 7) (7 . 8) (9 . 10)) 2773 0.5707 7.5950 ((3 . 2) (6 . 4) (7 . 5) (9 . 6)) 2783 0.5709 6.9460 ((2 . 6) (3 . 7) (6 . 9) (7 . 12)) 2804 0.1992 10.4157 ((2 . 29) (3 . 31) (7 . 34) (9 . 36)) 2821 0.4451 8.9915 ((1 . 2) (2 . 4) (5 . 7) (6 . 10)) 2830 0.5685 10.6461 ((2 . 13) (6 . 16) (7 . 17) (9 . 19)) 2834 0.5712 5.5884 ((1 . 8) (2 . 9) (6 . 11) (9 . 16)) 2840 0.1664 10.4535 ((2 . 6) (5 . 9) (6 . 10) (7 . 11)) 2842 0.1498 7.4227 ((1 . 5) (6 . 8) (7 . 9) (9 . 11)) 2867 0.2945 7.6093 ((5 . 7) (6 . 10) (7 . 9) (9 . 12)) 2879 0.5708 7.3194 ((2 . 51) (3 . 52) (7 . 56) (9 . 59)) 2886 0.5713 4.4537 ((1 . 35) (5 . 41) (7 . 43) (9 . 44)) 2940 0.5706 7.6267 ((2 . 1) (6 . 2) (7 . 4) (9 . 5)) 2947 0.5694 9.7133 ((2 . 7) (6 . 9) (7 . 12) (9 . 13)) 2966 0.5705 7.9028 ((1 . 3) (2 . 4) (3 . 6) (7 . 10)) 2990 0.1992 12.1672 ((1 . 12) (3 . 14) (6 . 17) (9 . 19)) 2999 0.5709 7.0180 ((3 . 2) (6 . 3) (7 . 4) (9 . 7)) 3014 0.2477 9.0072 ((1 . 22) (3 . 24) (5 . 25) (6 . 26)) 3019 0.7122 7.3952 ((1 . 19) (2 . 20) (6 . 21) (7 . 22) (9 . 25)) 3034 0.2945 9.5416 ((2 . 5) (6 . 6) (7 . 7) (9 . 9)) 3041 0.1332 9.7604 ((3 . 12) (5 . 14) (6 . 15) (9 . 18)) 3063 0.5702 8.6004 ((2 . 38) (3 . 39) (7 . 41) (9 . 42)) 3070 0.5705 8.0576 ((5 . 32) (6 . 34) (7 . 35) (9 . 36)) 3102 0.5696 9.4224 ((2 . 74) (5 . 77) (7 . 80) (9 . 82)) 3103 0.2944 11.5494 ((1 . 1) (2 . 3) (6 . 6) (9 . 11)) 3127 0.5694 9.6749 ((2 . 3) (3 . 4) (6 . 7) (7 . 8)) 3147 0.5706 7.7256 ((2 . 12) (5 . 13) (7 . 17) (9 . 18)) 3187 0.5713 5.1102 ((2 . 6) (3 . 7) (6 . 8) (7 . 9)) 3190 0.1993 8.5464 ((3 . 1) (5 . 3) (6 . 4) (9 . 9)) 3197 0.1993 8.6128 ((2 . 19) (5 . 21) (6 . 22) (7 . 24)) 3200 0.5712 5.3177 ((3 . 6) (6 . 8) (7 . 9) (9 . 11)) 3222 0.5707 7.3742 ((3 . 14) (5 . 15) (6 . 17) (7 . 18)) 3256 0.2945 9.9066 ((1 . 13) (3 . 16) (7 . 19) (9 . 24)) 3261 0.7129 6.7111 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6)) 3286 0.4912 8.6960 ((1 . 5) (3 . 7) (5 . 9) (6 . 10)) 3289 0.5714 3.9879 ((2 . 25) (5 . 27) (7 . 30) (9 . 31)) 3297 0.5711 5.9831 ((1 . 5) (2 . 7) (7 . 9) (9 . 11)) 3334 0.7136 5.4975 ((1 . 4) (2 . 5) (3 . 6) (6 . 9) (7 . 10)) 3339 0.5694 9.6571 ((3 . 17) (6 . 18) (7 . 19) (9 . 22)) 3344 0.5709 6.7783 ((2 . 18) (3 . 19) (7 . 21) (9 . 24)) 3358 0.3785 11.3891 ((1 . 1) (2 . 2) (7 . 7) (9 . 10)) 3362 0.5711 6.2066 ((1 . 4) (5 . 8) (6 . 9) (7 . 10)) 3366 0.5712 5.6240 ((1 . 26) (2 . 27) (5 . 28) (7 . 29)) 3391 0.5699 9.0034 ((1 . 13) (6 . 16) (7 . 17) (9 . 21)) 3410 0.3787 10.4672 ((1 . 21) (2 . 24) (6 . 29) (7 . 28)) 3472 0.5713 4.7880 ((1 . 3) (2 . 4) (3 . 5) (7 . 9)) 3481 0.5648 13.0754 ((2 . 1) (3 . 2) (7 . 7) (9 . 8)) 3489 0.5710 6.7305 ((1 . 4) (5 . 10) (7 . 12) (9 . 14)) 3496 0.5709 6.8427 ((2 . 19) (6 . 21) (7 . 22) (9 . 23)) 3533 0.5702 8.6044 ((1 . 3) (2 . 5) (3 . 7) (7 . 11)) 3538 0.2476 13.9585 ((1 . 18) (2 . 20) (6 . 21) (9 . 24)) 3548 0.5707 7.4252 ((1 . 2) (2 . 3) (5 . 4) (9 . 9)) 3549 0.7121 7.4226 ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (9 . 8)) 3561 0.5678 11.1872 ((2 . 22) (6 . 25) (7 . 28) (9 . 30)) 3570 0.5709 6.9818 ((3 . 4) (6 . 6) (7 . 8) (9 . 10)) 3625 0.5674 11.5194 ((2 . 1) (3 . 2) (7 . 6) (9 . 7)) 3626 0.2477 9.0160 ((1 . 2) (2 . 6) (5 . 8) (7 . 11)) 3628 0.5700 8.9427 ((2 . 8) (5 . 9) (6 . 11) (7 . 12)) 3651 0.5703 8.3896 ((3 . 3) (5 . 5) (6 . 6) (9 . 8)) 3656 0.4909 9.5190 ((5 . 22) (6 . 21) (7 . 23) (9 . 24)) 3658 0.5706 7.6280 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 3659 0.5711 6.0378 ((1 . 5) (2 . 7) (3 . 8) (5 . 9)) 3661 0.5693 9.8612 ((5 . 8) (6 . 10) (7 . 11) (9 . 12)) 3663 0.5713 4.4916 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 3688 0.4441 12.2051 ((1 . 11) (2 . 12) (5 . 14) (7 . 16)) 3703 0.5704 8.1977 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 3732 0.5711 6.0953 ((1 . 5) (5 . 9) (6 . 10) (7 . 11)) 3740 0.5703 8.2673 ((2 . 1) (3 . 2) (7 . 5) (9 . 6)) 3741 0.5700 8.8479 ((1 . 21) (2 . 22) (3 . 23) (9 . 28)) 3776 0.5695 9.6081 ((1 . 15) (2 . 17) (7 . 21) (9 . 24)) 3778 0.5701 8.7801 ((2 . 2) (5 . 3) (7 . 4) (9 . 7)) 3787 0.2945 7.2812 ((1 . 7) (6 . 11) (7 . 12) (9 . 15)) 3790 0.5711 6.0040 ((2 . 22) (3 . 24) (7 . 27) (9 . 30)) 3810 0.4455 5.9541 ((2 . 4) (3 . 6) (5 . 8) (7 . 11)) 3817 0.5578 15.7840 ((2 . 7) (6 . 8) (7 . 10) (9 . 11)) 3818 0.5712 5.5583 ((1 . 23) (6 . 27) (7 . 28) (9 . 29)) 3831 0.5692 9.9139 ((1 . 3) (3 . 5) (6 . 7) (7 . 9)) 3847 0.7143 2.1172 ((2 . 9) (5 . 13) (6 . 15) (7 . 16) (9 . 17)) 3849 0.7124 7.2076 ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (9 . 8)) 3856 0.5700 8.8954 ((3 . 3) (6 . 4) (7 . 7) (9 . 9)) 3933 0.5711 6.3514 ((2 . 9) (3 . 10) (5 . 13) (7 . 15)) 3942 0.2477 8.6415 ((5 . 2) (6 . 4) (7 . 3) (9 . 9)) 3986 0.4898 11.6415 ((3 . 9) (5 . 11) (6 . 10) (7 . 13)) 4005 0.5714 3.1327 ((2 . 24) (3 . 25) (5 . 26) (9 . 32)) 4009 0.5705 7.9019 ((2 . 13) (5 . 15) (6 . 17) (9 . 19)) 4019 0.5694 9.7396 ((1 . 45) (2 . 46) (3 . 47) (7 . 51)) 4034 0.5711 6.1541 ((1 . 9) (3 . 11) (5 . 12) (7 . 13)) 4067 0.5674 11.5233 ((1 . 14) (2 . 16) (7 . 22) (9 . 24)) 4082 0.5707 7.4050 ((2 . 7) (3 . 8) (6 . 9) (7 . 10)) 4087 0.5710 6.6984 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 4112 0.5708 7.1599 ((1 . 1) (2 . 2) (5 . 3) (7 . 6)) 4115 0.2945 8.1129 ((1 . 1) (6 . 7) (7 . 8) (9 . 10)) 4151 0.5690 10.1366 ((1 . 9) (2 . 12) (7 . 17) (9 . 19)) 4154 0.5710 6.3847 ((2 . 52) (3 . 51) (7 . 56) (9 . 57)) 4177 0.5708 7.1443 ((1 . 2) (5 . 7) (7 . 8) (9 . 9)) 4190 0.5713 4.3152 ((1 . 3) (6 . 7) (7 . 8) (9 . 9)) 4192 0.5708 7.0776 ((2 . 10) (6 . 14) (7 . 15) (9 . 19)) 4194 0.5711 5.9668 ((2 . 1) (6 . 2) (7 . 5) (9 . 6)) 4204 0.5707 7.5155 ((1 . 9) (3 . 13) (5 . 14) (7 . 15)) 4209 0.5708 7.2026 ((1 . 1) (2 . 2) (5 . 5) (7 . 8)) 4210 0.5698 9.2228 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 4226 0.5710 6.4201 ((1 . 11) (6 . 17) (7 . 18) (9 . 19)) 4232 0.5708 7.1827 ((2 . 1) (5 . 2) (7 . 3) (9 . 5)) 4236 0.2945 8.8092 ((3 . 6) (5 . 7) (6 . 11) (7 . 10)) 4246 0.3788 9.2001 ((1 . 3) (5 . 6) (6 . 10) (7 . 8)) 4254 0.4445 11.2637 ((3 . 3) (6 . 5) (7 . 6) (9 . 9)) 4255 0.0999 7.9807 ((2 . 21) (6 . 25) (7 . 24) (9 . 26)) 4265 0.5710 6.6472 ((1 . 20) (2 . 21) (6 . 25) (7 . 26)) 4266 0.2945 9.0379 ((2 . 4) (5 . 6) (6 . 7) (9 . 8)) 4275 0.5709 6.7620 ((2 . 21) (6 . 22) (7 . 25) (9 . 27)) 4284 0.5701 8.7237 ((2 . 1) (3 . 3) (5 . 4) (7 . 6)) 4299 0.5710 6.7109 ((3 . 14) (6 . 17) (7 . 19) (9 . 20)) 4301 0.5713 4.6894 ((1 . 2) (2 . 3) (7 . 9) (9 . 10)) 4326 0.2945 9.9061 ((2 . 7) (6 . 14) (7 . 15) (9 . 17)) 4338 0.5682 10.8938 ((1 . 6) (2 . 8) (6 . 9) (7 . 11)) 4359 0.5711 6.2151 ((2 . 11) (3 . 12) (7 . 14) (9 . 17)) 4380 0.5685 10.5847 ((2 . 29) (3 . 30) (7 . 36) (9 . 39)) 4383 0.5713 4.8892 ((1 . 16) (2 . 17) (7 . 21) (9 . 22)) 4386 0.5702 8.4572 ((2 . 18) (3 . 19) (6 . 20) (7 . 21)) 4388 0.5710 6.7082 ((2 . 1) (6 . 2) (7 . 3) (9 . 6)) 4398 0.5706 7.7903 ((1 . 8) (2 . 10) (3 . 12) (5 . 13)) 4405 0.5705 7.8508 ((1 . 18) (2 . 19) (6 . 20) (9 . 25)) 4408 0.5705 8.0579 ((2 . 1) (5 . 3) (7 . 6) (9 . 7)) 4415 0.5708 7.1931 ((2 . 1) (3 . 3) (6 . 5) (9 . 9)) 4419 0.5699 8.9815 ((2 . 3) (5 . 6) (7 . 8) (9 . 9)) 4426 0.1992 8.7325 ((2 . 2) (6 . 5) (7 . 4) (9 . 6)) 4470 0.5707 7.5402 ((2 . 18) (3 . 19) (6 . 22) (9 . 25)) 4491 0.1993 8.0844 ((2 . 1) (6 . 7) (7 . 6) (9 . 8)) 4492 0.7141 3.8410 ((2 . 2) (5 . 3) (6 . 6) (7 . 7) (9 . 8)) 4497 0.5714 3.9144 ((1 . 23) (2 . 24) (7 . 28) (9 . 30)) 4502 0.5703 8.3697 ((1 . 10) (2 . 11) (6 . 16) (7 . 17)) 4503 0.5712 5.4326 ((1 . 3) (2 . 4) (5 . 7) (7 . 10)) 4504 0.5708 7.3441 ((1 . 19) (2 . 21) (3 . 22) (6 . 24)) 4516 0.5708 7.2980 ((3 . 16) (6 . 19) (7 . 20) (9 . 22)) 4538 0.5712 5.8326 ((1 . 30) (2 . 33) (3 . 34) (7 . 38)) 4551 0.1993 7.4523 ((3 . 1) (5 . 2) (7 . 4) (9 . 8)) 4560 0.4437 12.9122 ((2 . 16) (3 . 17) (5 . 18) (6 . 19)) 4561 0.5642 13.3865 ((2 . 7) (6 . 8) (7 . 9) (9 . 14)) 4562 0.3788 9.6136 ((2 . 22) (5 . 25) (6 . 26) (7 . 27)) 4577 0.5696 9.3771 ((1 . 48) (2 . 49) (7 . 54) (9 . 58)) 4588 0.5703 8.4449 ((3 . 1) (6 . 2) (7 . 3) (9 . 8)) 4589 0.5931 8.3867 ((2 . 18) (5 . 19) (6 . 20) (7 . 22) (9 . 23)) 4621 0.5704 8.0883 ((3 . 3) (5 . 6) (7 . 8) (9 . 9)) 4630 0.5709 6.9284 ((2 . 3) (3 . 5) (5 . 6) (7 . 9)) 4648 0.4453 8.0696 ((2 . 1) (3 . 2) (5 . 5) (7 . 8)) 4653 0.5706 7.7890 ((2 . 1) (5 . 3) (7 . 5) (9 . 8)) 4668 0.5703 8.3361 ((3 . 7) (6 . 8) (7 . 9) (9 . 11)) 4669 0.5709 6.8700 ((1 . 12) (2 . 15) (6 . 18) (7 . 19)) 4671 0.1498 11.4961 ((2 . 8) (5 . 11) (7 . 14) (9 . 18)) 4674 0.5705 7.9720 ((1 . 2) (5 . 6) (7 . 8) (9 . 9)) 4678 0.5711 6.1829 ((1 . 10) (3 . 12) (7 . 15) (9 . 16)) 4713 0.2945 7.0872 ((2 . 3) (3 . 4) (5 . 5) (7 . 7)) 4731 0.1498 7.4611 ((1 . 18) (6 . 20) (7 . 23) (9 . 24)) 4734 0.2477 7.8927 ((2 . 2) (3 . 4) (5 . 6) (7 . 8)) 4857 0.1992 8.7552 ((1 . 3) (2 . 5) (7 . 9) (9 . 11)) 4888 0.4436 13.1191 ((2 . 9) (6 . 11) (7 . 13) (9 . 15)) 4889 0.5701 8.6741 ((1 . 6) (6 . 9) (7 . 11) (9 . 12)) 4907 0.5708 7.2942 ((2 . 1) (3 . 3) (7 . 8) (9 . 9)) 4914 0.5686 10.4925 ((2 . 1) (5 . 4) (7 . 5) (9 . 8)) 4921 0.3787 10.1984 ((1 . 9) (2 . 12) (5 . 14) (7 . 17)) 4929 0.5700 8.8151 ((1 . 26) (2 . 28) (5 . 29) (9 . 34)) 4932 0.2945 10.1310 ((1 . 1) (3 . 5) (6 . 7) (7 . 8)) 4940 0.5703 8.4274 ((3 . 3) (5 . 4) (7 . 7) (9 . 9)) 4944 0.5686 10.5572 ((1 . 14) (2 . 15) (3 . 16) (6 . 17)) 4961 0.5650 12.9988 ((2 . 1) (6 . 2) (7 . 3) (9 . 7)) 4978 0.3788 9.1267 ((1 . 22) (3 . 25) (6 . 27) (7 . 28)) 4982 0.5649 13.0242 ((1 . 6) (3 . 9) (6 . 11) (7 . 12)) 4992 0.1992 9.0435 ((1 . 3) (6 . 7) (7 . 8) (9 . 9)) 5036 0.5713 4.8989 ((1 . 2) (2 . 5) (3 . 6) (9 . 10)) 5038 0.2478 6.5493 ((1 . 9) (2 . 12) (5 . 14) (7 . 17)) 5039 0.5702 8.5042 ((2 . 39) (6 . 43) (7 . 44) (9 . 45)) 5044 0.5671 11.7529 ((2 . 2) (3 . 3) (6 . 4) (7 . 8)) 5053 0.5710 6.5254 ((2 . 3) (5 . 5) (6 . 7) (9 . 9)) 5068 0.3788 9.3472 ((2 . 2) (6 . 6) (7 . 7) (9 . 10)) 5069 0.2477 9.4837 ((3 . 17) (5 . 18) (6 . 20) (7 . 19)) 5073 0.5705 7.9591 ((1 . 32) (6 . 35) (7 . 36) (9 . 39)) 5083 0.1993 7.1178 ((1 . 2) (2 . 6) (3 . 5) (7 . 9)) 5101 0.1993 7.7389 ((2 . 15) (5 . 18) (6 . 19) (7 . 21)) 5103 0.5688 10.3159 ((1 . 2) (2 . 4) (7 . 6) (9 . 9)) 5121 0.5708 7.2825 ((5 . 16) (6 . 17) (7 . 18) (9 . 21)) 5132 0.5706 7.8310 ((1 . 16) (3 . 18) (5 . 20) (9 . 22)) 5134 0.5701 8.7166 ((2 . 13) (3 . 14) (6 . 16) (7 . 17)) 5145 0.2945 6.8943 ((2 . 3) (3 . 5) (7 . 8) (9 . 10)) 5167 0.5695 9.6211 ((3 . 1) (6 . 2) (7 . 3) (9 . 4)) 5176 0.3789 8.6754 ((2 . 82) (5 . 84) (7 . 86) (9 . 88)) 5199 0.5713 5.2462 ((1 . 4) (2 . 7) (7 . 9) (9 . 10)) 5209 0.5702 8.5864 ((1 . 7) (2 . 8) (5 . 9) (7 . 10)) 5215 0.5711 6.0276 ((1 . 5) (6 . 8) (7 . 9) (9 . 12)) 5223 0.2945 9.3998 ((2 . 8) (6 . 11) (7 . 12) (9 . 15)) 5231 0.4450 9.4556 ((5 . 8) (6 . 9) (7 . 12) (9 . 16)) 5266 0.5705 7.8770 ((2 . 2) (5 . 4) (6 . 5) (7 . 6)) 5278 0.5712 5.5290 ((1 . 5) (2 . 6) (5 . 9) (7 . 10)) 5307 0.5702 8.4503 ((3 . 51) (6 . 52) (7 . 55) (9 . 57)) 5312 0.4452 8.1071 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 5318 0.2945 9.0289 ((3 . 19) (6 . 20) (7 . 22) (9 . 23)) 5324 0.5709 7.0218 ((1 . 20) (6 . 23) (7 . 25) (9 . 28)) 5344 0.5681 10.9989 ((2 . 3) (3 . 4) (6 . 6) (7 . 7)) 5345 0.5712 5.4628 ((2 . 8) (3 . 9) (7 . 13) (9 . 16)) 5368 0.5711 6.1674 ((2 . 35) (3 . 36) (7 . 39) (9 . 41)) 5378 0.7139 4.8633 ((1 . 6) (2 . 15) (3 . 16) (6 . 20) (9 . 21)) 5414 0.5710 6.3934 ((2 . 16) (5 . 18) (7 . 21) (9 . 22)) 5418 0.4455 5.5140 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 5421 0.5708 7.2476 ((1 . 2) (2 . 4) (3 . 5) (9 . 13)) 5433 0.3788 9.3032 ((3 . 5) (5 . 7) (7 . 10) (9 . 16)) 5479 0.5706 7.6777 ((1 . 48) (2 . 50) (3 . 51) (7 . 54)) 5487 0.3790 6.0913 ((1 . 2) (2 . 4) (5 . 7) (9 . 11)) 5489 0.5713 5.0747 ((1 . 6) (2 . 10) (3 . 11) (7 . 14)) 5500 0.3781 13.3890 ((2 . 4) (6 . 10) (7 . 12) (9 . 14)) 5501 0.5642 13.4097 ((2 . 20) (6 . 22) (7 . 24) (9 . 25)) 5535 0.5710 6.6577 ((1 . 2) (3 . 6) (5 . 7) (7 . 10)) 5540 0.4452 8.5302 ((2 . 4) (5 . 6) (7 . 10) (9 . 14)) 5557 0.5692 9.9753 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 5560 0.5666 12.0555 ((1 . 9) (3 . 11) (6 . 14) (7 . 15)) 5562 0.0999 9.4842 ((3 . 7) (6 . 9) (7 . 11) (9 . 14)) 5567 0.1993 7.8921 ((1 . 8) (6 . 14) (7 . 15) (9 . 17)) 5594 0.5687 10.4767 ((2 . 4) (3 . 6) (7 . 9) (9 . 12)) 5600 0.1332 8.2018 ((2 . 3) (6 . 7) (7 . 6) (9 . 9)) 5601 0.2477 11.6927 ((1 . 1) (2 . 3) (6 . 6) (9 . 10)) 5640 0.5710 6.5755 ((2 . 24) (3 . 25) (7 . 28) (9 . 31)) 5644 0.5700 8.8776 ((2 . 3) (3 . 4) (7 . 8) (9 . 11)) 5656 0.5695 9.6229 ((1 . 3) (2 . 5) (6 . 6) (7 . 9)) 5700 0.5708 7.1817 ((1 . 2) (3 . 4) (7 . 8) (9 . 9)) 5701 0.5709 7.0437 ((1 . 4) (2 . 5) (3 . 6) (9 . 8)) 5703 0.5706 7.7075 ((2 . 5) (5 . 6) (7 . 7) (9 . 8)) 5711 0.5702 8.4804 ((1 . 31) (2 . 32) (3 . 33) (7 . 37)) 5713 0.5712 5.7633 ((2 . 16) (3 . 18) (7 . 21) (9 . 24)) 5718 0.5713 5.1341 ((1 . 14) (2 . 16) (3 . 17) (7 . 23)) 5731 0.6300 8.0860 ((2 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 11)) 5746 0.5636 13.6657 ((2 . 7) (5 . 9) (6 . 12) (9 . 14)) 5761 0.5707 7.6033 ((2 . 30) (3 . 31) (5 . 32) (6 . 33)) 5770 0.5702 8.4578 ((1 . 1) (6 . 7) (7 . 9) (9 . 15)) 5771 0.2477 11.1127 ((1 . 9) (5 . 15) (6 . 16) (9 . 20)) 5782 0.5705 8.0455 ((3 . 22) (6 . 23) (7 . 24) (9 . 29)) 5794 0.5710 6.6127 ((1 . 16) (6 . 22) (7 . 23) (9 . 24)) 5795 0.2943 12.5490 ((1 . 6) (5 . 9) (6 . 11) (7 . 13)) 5809 0.4449 9.8621 ((1 . 7) (3 . 9) (6 . 11) (9 . 14)) 5822 0.5712 5.6246 ((1 . 2) (3 . 6) (5 . 7) (7 . 9)) 5827 0.5692 9.9079 ((2 . 3) (3 . 4) (6 . 6) (7 . 8)) 5830 0.5713 5.0875 ((1 . 7) (2 . 8) (7 . 13) (9 . 17)) 5847 0.5701 8.6819 ((1 . 10) (2 . 12) (3 . 13) (9 . 20)) 5861 0.5713 5.1016 ((2 . 1) (3 . 2) (7 . 6) (9 . 10)) 5865 0.5708 7.3013 ((1 . 2) (2 . 5) (6 . 6) (7 . 7)) 5878 0.5703 8.4115 ((2 . 28) (3 . 29) (5 . 30) (6 . 31)) 5888 0.5712 5.7949 ((2 . 5) (3 . 6) (7 . 9) (9 . 12)) 5896 0.1993 7.2434 ((2 . 26) (6 . 30) (7 . 29) (9 . 31)) 5904 0.5685 10.5847 ((1 . 1) (3 . 4) (6 . 5) (9 . 7)) 5913 0.2945 8.8187 ((1 . 7) (6 . 12) (7 . 13) (9 . 15)) 5930 0.5686 10.4968 ((1 . 1) (2 . 2) (5 . 4) (9 . 8)) 5939 0.5694 9.6811 ((3 . 2) (6 . 3) (7 . 4) (9 . 6)) 5945 0.5712 5.5749 ((2 . 33) (6 . 36) (7 . 37) (9 . 38)) 5949 0.2945 7.7945 ((1 . 4) (3 . 9) (5 . 10) (6 . 11)) 5955 0.3783 12.7464 ((3 . 3) (5 . 4) (6 . 6) (7 . 7)) 6000 0.1664 7.6207 ((5 . 14) (6 . 16) (7 . 17) (9 . 21)) 6011 0.5712 5.8831 ((1 . 4) (2 . 7) (3 . 8) (7 . 11)) 6022 0.5710 6.5504 ((3 . 4) (5 . 5) (7 . 8) (9 . 9)) 6028 0.5712 5.3550 ((2 . 1) (5 . 3) (6 . 4) (9 . 9)) 6029 0.5706 7.6680 ((1 . 3) (2 . 6) (7 . 10) (9 . 11)) 6041 0.1498 8.5485 ((1 . 8) (2 . 10) (6 . 14) (9 . 15)) 6046 0.5697 9.3634 ((2 . 3) (5 . 5) (6 . 7) (7 . 6)) 6061 0.5713 4.5312 ((2 . 13) (3 . 14) (6 . 18) (9 . 21)) 6074 0.2945 8.0862 ((2 . 2) (5 . 4) (7 . 6) (9 . 8)) 6075 0.2945 9.2823 ((1 . 17) (2 . 20) (7 . 24) (9 . 27)) 6079 0.5706 7.6508 ((3 . 1) (6 . 2) (7 . 6) (9 . 7)) 6094 0.4452 8.1962 ((1 . 2) (2 . 4) (6 . 8) (9 . 12)) 6099 0.5709 6.9185 ((2 . 30) (3 . 31) (7 . 34) (9 . 35)) 6142 0.5710 6.4379 ((1 . 15) (3 . 18) (7 . 24) (9 . 25)) 6148 0.5712 5.5331 ((1 . 32) (2 . 33) (3 . 34) (7 . 37)) 6167 0.5695 9.5164 ((2 . 6) (3 . 7) (7 . 12) (9 . 17)) 6173 0.5708 7.1661 ((2 . 8) (3 . 9) (7 . 13) (9 . 15)) 6191 0.5702 8.5285 ((2 . 3) (3 . 4) (7 . 6) (9 . 9)) 6192 0.5697 9.3406 ((2 . 1) (6 . 4) (7 . 5) (9 . 10)) 6215 0.1249 9.2433 ((2 . 17) (5 . 19) (6 . 22) (9 . 24)) 6225 0.5711 6.0043 ((1 . 3) (2 . 4) (3 . 5) (9 . 10)) 6228 0.5709 6.9549 ((1 . 9) (2 . 12) (7 . 15) (9 . 19)) 6234 0.5712 5.5330 ((1 . 7) (2 . 9) (7 . 13) (9 . 15)) 6238 0.5714 3.8482 ((5 . 3) (6 . 6) (7 . 7) (9 . 8)) 6243 0.2945 8.7027 ((2 . 3) (5 . 6) (6 . 7) (7 . 8)) 6261 0.5693 9.7643 ((2 . 3) (6 . 7) (7 . 9) (9 . 11)) 6266 0.1993 7.5732 ((5 . 5) (6 . 4) (7 . 6) (9 . 8)) 6270 0.2945 10.5947 ((1 . 13) (6 . 19) (7 . 20) (9 . 22)) 6271 0.3785 11.8406 ((1 . 2) (2 . 4) (5 . 5) (7 . 8)) 6273 0.5681 10.9870 ((2 . 2) (3 . 3) (7 . 6) (9 . 7)) 6294 0.4449 9.9614 ((3 . 9) (5 . 11) (6 . 12) (7 . 14)) 6306 0.2945 5.8389 ((1 . 16) (3 . 19) (5 . 20) (7 . 22)) 6309 0.5711 5.9878 ((1 . 17) (2 . 18) (7 . 25) (9 . 27)) 6311 0.1993 7.0638 ((1 . 1) (3 . 4) (7 . 9) (9 . 10)) 6326 0.5711 6.0424 ((3 . 1) (5 . 2) (7 . 4) (9 . 5)) 6338 0.5701 8.7012 ((2 . 1) (3 . 2) (7 . 7) (9 . 8)) 6344 0.5700 8.9268 ((1 . 8) (6 . 11) (7 . 14) (9 . 17)) 6345 0.5707 7.5073 ((3 . 4) (5 . 5) (7 . 6) (9 . 7)) 6348 0.1993 8.0095 ((1 . 4) (6 . 8) (7 . 9) (9 . 11)) 6355 0.5708 7.2415 ((2 . 4) (5 . 6) (7 . 8) (9 . 11)) 6369 0.5697 9.3636 ((2 . 20) (6 . 23) (7 . 24) (9 . 26)) 6376 0.4911 8.8849 ((1 . 17) (5 . 21) (6 . 23) (9 . 26)) 6391 0.5706 7.6827 ((1 . 6) (5 . 10) (6 . 11) (7 . 14)) 6399 0.5709 6.8827 ((2 . 26) (3 . 27) (7 . 30) (9 . 33)) 6403 0.5694 9.6324 ((2 . 3) (3 . 4) (6 . 6) (7 . 7)) 6462 0.5699 9.0298 ((2 . 18) (6 . 19) (7 . 20) (9 . 24)) 6520 0.5704 8.1739 ((2 . 6) (3 . 8) (6 . 11) (9 . 14)) 6539 0.5711 6.3405 ((1 . 4) (2 . 5) (3 . 6) (7 . 10)) 6540 0.5711 6.0499 ((1 . 16) (2 . 17) (7 . 21) (9 . 22)) 6548 0.5710 6.7142 ((2 . 7) (5 . 9) (7 . 12) (9 . 13)) 6553 0.1992 9.1329 ((1 . 20) (2 . 23) (3 . 25) (6 . 27)) 6555 0.5684 10.7529 ((1 . 24) (2 . 25) (3 . 27) (5 . 28)) 6561 0.5668 11.9221 ((1 . 3) (5 . 8) (7 . 10) (9 . 12)) 6573 0.5701 8.6371 ((1 . 17) (5 . 21) (7 . 23) (9 . 25)) 6584 0.5712 5.6741 ((2 . 2) (3 . 3) (7 . 6) (9 . 9)) 6585 0.5710 6.6157 ((2 . 6) (6 . 7) (7 . 10) (9 . 11)) 6586 0.5713 4.8227 ((1 . 18) (6 . 23) (7 . 24) (9 . 25)) 6587 0.5696 9.4824 ((1 . 29) (5 . 33) (6 . 35) (7 . 34)) 6598 0.5709 6.9672 ((2 . 16) (3 . 17) (7 . 21) (9 . 22)) 6613 0.5689 10.2285 ((2 . 22) (6 . 25) (7 . 27) (9 . 28)) END