3942 25 0.2477 10.3957 ((4 . 2) (5 . 4) (8 . 9) (9 . 7)) 51 0.5709 7.0530 ((2 . 1) (3 . 2) (5 . 3) (9 . 6)) 77 0.3785 11.6752 ((2 . 9) (4 . 10) (5 . 12) (9 . 15)) 91 0.1332 8.0846 ((2 . 45) (3 . 44) (5 . 46) (8 . 47)) 136 0.4449 10.0403 ((2 . 3) (4 . 4) (6 . 6) (9 . 8)) 150 0.5713 4.8563 ((2 . 20) (3 . 19) (5 . 21) (9 . 25)) 155 0.4453 7.7403 ((4 . 5) (5 . 6) (6 . 7) (8 . 8)) 157 0.3781 13.2977 ((2 . 18) (3 . 20) (5 . 21) (8 . 22)) 161 0.4455 5.2076 ((2 . 3) (3 . 4) (6 . 7) (9 . 9)) 177 0.2477 7.6576 ((2 . 5) (3 . 7) (8 . 9) (9 . 10)) 300 0.5674 11.4966 ((2 . 10) (5 . 11) (6 . 12) (9 . 14)) 305 0.5710 6.6202 ((2 . 9) (3 . 11) (6 . 13) (8 . 14)) 315 0.4454 6.7682 ((2 . 4) (3 . 5) (6 . 7) (9 . 9)) 329 0.4454 5.9991 ((2 . 5) (5 . 7) (6 . 8) (8 . 9)) 340 0.3790 6.3672 ((2 . 2) (3 . 4) (5 . 5) (9 . 9)) 350 0.1664 8.4583 ((2 . 2) (3 . 1) (4 . 3) (8 . 9)) 360 0.1332 7.7904 ((2 . 10) (3 . 12) (8 . 15) (9 . 14)) 365 0.1993 6.8655 ((2 . 3) (3 . 4) (6 . 7) (9 . 8)) 367 0.4452 8.1339 ((2 . 40) (3 . 42) (4 . 41) (9 . 46)) 417 0.2477 8.6415 ((2 . 5) (3 . 7) (4 . 6) (9 . 9)) 433 0.1993 7.7411 ((3 . 1) (5 . 2) (8 . 4) (9 . 5)) 442 0.3789 8.5982 ((2 . 1) (4 . 2) (5 . 3) (9 . 4)) 460 0.5709 6.9439 ((2 . 1) (3 . 2) (5 . 4) (9 . 7)) 472 0.2477 10.9531 ((2 . 25) (3 . 27) (4 . 28) (5 . 29)) 495 0.2478 7.2553 ((2 . 8) (3 . 9) (4 . 10) (6 . 12)) 541 0.5672 11.6537 ((2 . 14) (3 . 16) (8 . 19) (9 . 17)) 543 0.5690 10.1507 ((2 . 6) (3 . 8) (4 . 7) (5 . 9)) 561 0.1993 6.8354 ((3 . 1) (6 . 2) (8 . 5) (9 . 4)) 584 0.2945 9.7911 ((2 . 8) (4 . 9) (6 . 12) (9 . 15)) 609 0.2945 9.8072 ((2 . 1) (5 . 4) (6 . 5) (9 . 6)) 619 0.3790 6.3000 ((2 . 8) (3 . 9) (5 . 10) (8 . 14)) 624 0.1664 7.4500 ((4 . 2) (6 . 3) (8 . 4) (9 . 5)) 635 0.2945 7.1757 ((2 . 13) (3 . 14) (8 . 17) (9 . 18)) 672 0.4449 9.7213 ((2 . 22) (3 . 23) (6 . 25) (9 . 26)) 678 0.3787 10.7148 ((5 . 25) (6 . 27) (8 . 28) (9 . 29)) 719 0.1664 7.0069 ((2 . 22) (3 . 23) (8 . 29) (9 . 30)) 729 0.4452 8.3583 ((2 . 24) (4 . 26) (5 . 30) (8 . 32)) 782 0.3788 9.3221 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 812 0.1997 6.5190 ((2 . 9) (3 . 11) (4 . 12) (8 . 10) (9 . 13)) 818 0.3790 7.5014 ((2 . 4) (4 . 5) (6 . 9) (8 . 11)) 819 0.4453 7.9351 ((2 . 3) (3 . 2) (4 . 4) (9 . 5)) 834 0.2477 7.5962 ((4 . 39) (5 . 40) (6 . 41) (8 . 43)) 861 0.0999 7.8209 ((2 . 2) (3 . 3) (5 . 4) (8 . 5)) 901 0.2945 7.4223 ((2 . 12) (5 . 14) (8 . 16) (9 . 17)) 904 0.4453 7.8610 ((3 . 2) (4 . 1) (6 . 4) (9 . 6)) 913 0.7097 8.9791 ((2 . 16) (3 . 17) (6 . 18) (8 . 21) (9 . 20)) 945 0.5643 13.3536 ((3 . 19) (5 . 20) (6 . 21) (8 . 23)) 960 0.2478 5.8091 ((4 . 23) (5 . 24) (6 . 25) (8 . 26)) 978 0.1992 9.8854 ((3 . 4) (4 . 3) (5 . 5) (9 . 6)) 1005 0.4454 6.2634 ((2 . 1) (3 . 2) (4 . 3) (8 . 5)) 1043 0.4887 13.0264 ((2 . 14) (4 . 15) (5 . 16) (8 . 18)) 1082 0.5701 8.6520 ((2 . 36) (3 . 37) (4 . 38) (5 . 39)) 1084 0.2945 8.1509 ((2 . 11) (3 . 12) (5 . 15) (9 . 17)) 1165 0.2945 7.7396 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 1201 0.1992 14.3022 ((2 . 3) (3 . 4) (5 . 5) (8 . 8)) 1217 0.4454 6.0582 ((2 . 3) (3 . 5) (6 . 8) (9 . 11)) 1224 0.5710 6.5718 ((3 . 9) (6 . 12) (8 . 13) (9 . 14)) 1267 0.3788 9.1403 ((4 . 16) (6 . 18) (8 . 20) (9 . 21)) 1301 0.2478 5.5894 ((3 . 1) (4 . 2) (5 . 3) (9 . 5)) 1345 0.5703 8.3792 ((2 . 13) (3 . 14) (8 . 17) (9 . 18)) 1388 0.4450 9.5484 ((2 . 5) (4 . 6) (5 . 7) (9 . 8)) 1425 0.2945 6.9905 ((2 . 4) (3 . 6) (4 . 7) (9 . 12)) 1464 0.5707 7.4339 ((2 . 8) (3 . 10) (6 . 12) (9 . 13)) 1470 0.3789 8.7048 ((4 . 7) (5 . 8) (6 . 9) (8 . 10)) 1472 0.4455 4.8632 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 1476 0.3790 7.3657 ((2 . 14) (5 . 17) (8 . 19) (9 . 18)) 1481 0.2477 7.8650 ((2 . 2) (3 . 1) (4 . 3) (9 . 5)) 1508 0.2478 5.7894 ((3 . 2) (4 . 3) (5 . 4) (8 . 6)) 1591 0.5708 7.2837 ((2 . 1) (4 . 2) (5 . 3) (9 . 6)) 1595 0.5713 4.5589 ((4 . 2) (5 . 3) (6 . 4) (8 . 6)) 1604 0.1992 10.5965 ((3 . 12) (5 . 13) (6 . 14) (8 . 15)) 1643 0.5701 8.7673 ((2 . 17) (3 . 18) (8 . 21) (9 . 22)) 1665 0.5710 6.6561 ((2 . 6) (6 . 9) (8 . 11) (9 . 10)) 1690 0.5712 5.8800 ((3 . 20) (5 . 22) (6 . 23) (9 . 25)) 1692 0.4913 8.3113 ((2 . 1) (4 . 2) (6 . 4) (9 . 6)) 1736 0.4454 7.1312 ((2 . 7) (4 . 8) (8 . 11) (9 . 12)) 1738 0.1993 8.4743 ((2 . 14) (3 . 13) (4 . 15) (8 . 20)) 1747 0.2477 9.6893 ((2 . 19) (4 . 20) (5 . 22) (6 . 23)) 1761 0.1993 6.8038 ((2 . 4) (3 . 5) (4 . 6) (8 . 8)) 1763 0.1664 7.2260 ((2 . 9) (3 . 10) (8 . 12) (9 . 13)) 1776 0.4426 14.5567 ((2 . 20) (4 . 21) (5 . 22) (8 . 25)) 1778 0.1664 8.3417 ((2 . 3) (3 . 4) (6 . 6) (9 . 8)) 1793 0.1664 10.7431 ((2 . 13) (3 . 14) (5 . 15) (8 . 16)) 1805 0.5710 6.5311 ((2 . 2) (3 . 3) (5 . 5) (9 . 8)) 1808 0.5703 8.4153 ((2 . 4) (3 . 5) (6 . 7) (9 . 9)) 1817 0.2946 3.5866 ((2 . 13) (3 . 14) (8 . 21) (9 . 15)) 1867 0.4452 8.1377 ((2 . 1) (4 . 2) (6 . 4) (9 . 7)) 1894 0.2944 11.8637 ((2 . 21) (3 . 22) (5 . 24) (9 . 26)) 1896 0.5710 6.4093 ((4 . 10) (6 . 12) (8 . 13) (9 . 14)) 1897 0.3790 6.1870 ((4 . 35) (5 . 36) (6 . 37) (8 . 38)) 1913 0.5699 9.0520 ((2 . 19) (3 . 20) (8 . 24) (9 . 25)) 1944 0.2477 7.7116 ((2 . 1) (4 . 2) (6 . 4) (8 . 6)) 1967 0.4452 8.1562 ((4 . 9) (5 . 11) (6 . 12) (9 . 14)) 2006 0.3788 9.4369 ((2 . 22) (3 . 24) (4 . 23) (6 . 27)) 2048 0.3784 12.0804 ((2 . 6) (4 . 9) (5 . 10) (9 . 13)) 2054 0.4451 8.9359 ((4 . 10) (6 . 12) (8 . 15) (9 . 14)) 2063 0.5712 5.7894 ((2 . 43) (3 . 44) (5 . 46) (9 . 50)) 2067 0.5712 5.7909 ((4 . 47) (5 . 48) (6 . 49) (8 . 52)) 2081 0.2477 7.8498 ((4 . 13) (5 . 14) (6 . 15) (8 . 16)) 2083 0.1992 9.9335 ((2 . 5) (3 . 7) (5 . 8) (8 . 11)) 2097 0.5651 12.9488 ((2 . 5) (3 . 6) (6 . 10) (9 . 14)) 2114 0.1498 5.9134 ((2 . 34) (3 . 36) (5 . 37) (6 . 38)) 2117 0.3789 8.1330 ((3 . 16) (6 . 19) (8 . 21) (9 . 23)) 2118 0.4451 8.9100 ((4 . 8) (5 . 9) (6 . 10) (9 . 12)) 2122 0.5708 7.2138 ((3 . 1) (5 . 2) (8 . 5) (9 . 6)) 2166 0.1992 9.4088 ((2 . 16) (3 . 17) (5 . 18) (9 . 21)) 2179 0.2945 7.9672 ((2 . 5) (3 . 6) (8 . 12) (9 . 10)) 2205 0.5704 8.0994 ((2 . 17) (3 . 18) (8 . 24) (9 . 23)) 2209 0.1993 7.9491 ((2 . 5) (3 . 6) (8 . 8) (9 . 9)) 2243 0.2477 8.4140 ((2 . 44) (3 . 42) (8 . 46) (9 . 47)) 2249 0.5698 9.1139 ((2 . 7) (5 . 9) (6 . 10) (9 . 12)) 2279 0.1993 7.6721 ((2 . 3) (3 . 5) (6 . 6) (9 . 9)) 2295 0.3789 9.0145 ((4 . 3) (5 . 4) (6 . 5) (8 . 6)) 2298 0.5711 6.1712 ((2 . 6) (5 . 9) (8 . 11) (9 . 12)) 2340 0.4451 9.1239 ((2 . 9) (4 . 10) (6 . 12) (9 . 14)) 2344 0.4907 9.9685 ((3 . 1) (4 . 2) (6 . 4) (9 . 6)) 2364 0.3790 4.6061 ((2 . 7) (3 . 9) (8 . 11) (9 . 12)) 2410 0.3790 5.2886 ((3 . 13) (4 . 14) (5 . 15) (9 . 17)) 2423 0.2477 8.3753 ((2 . 21) (3 . 22) (4 . 23) (9 . 26)) 2447 0.5709 6.9769 ((2 . 13) (3 . 15) (5 . 16) (8 . 19)) 2510 0.4453 7.5467 ((3 . 27) (4 . 26) (6 . 28) (8 . 29)) 2519 0.5685 10.6351 ((3 . 2) (4 . 1) (6 . 3) (8 . 4)) 2525 0.6316 3.1242 ((2 . 38) (3 . 43) (4 . 44) (8 . 49) (9 . 50)) 2529 0.4450 9.3545 ((2 . 1) (4 . 2) (6 . 4) (9 . 6)) 2551 0.4451 9.0565 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 2552 0.1992 10.3110 ((2 . 1) (4 . 2) (6 . 4) (9 . 5)) 2556 0.5712 5.6529 ((2 . 11) (6 . 15) (8 . 17) (9 . 18)) 2557 0.5697 9.3154 ((3 . 3) (6 . 5) (8 . 8) (9 . 7)) 2627 0.3790 4.2554 ((3 . 60) (5 . 61) (6 . 62) (9 . 65)) 2696 0.2945 8.5941 ((2 . 31) (3 . 32) (5 . 33) (9 . 36)) 2703 0.4452 8.4563 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 2731 0.2945 6.9651 ((3 . 1) (6 . 3) (8 . 6) (9 . 5)) 2733 0.2477 7.5218 ((3 . 11) (4 . 12) (6 . 13) (8 . 14)) 2753 0.5697 9.2711 ((4 . 3) (5 . 4) (6 . 5) (8 . 6)) 2783 0.5704 8.1401 ((2 . 6) (3 . 7) (5 . 9) (9 . 12)) 2821 0.5699 8.9955 ((2 . 1) (3 . 2) (8 . 6) (9 . 7)) 2830 0.3790 4.0980 ((2 . 15) (3 . 17) (8 . 18) (9 . 19)) 2834 0.4451 9.0837 ((2 . 12) (4 . 13) (6 . 15) (9 . 16)) 2840 0.2477 7.7368 ((2 . 6) (3 . 8) (6 . 10) (9 . 11)) 2842 0.2946 5.2012 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 2867 0.4451 9.1025 ((2 . 2) (4 . 3) (6 . 5) (9 . 7)) 2879 0.1993 6.3485 ((2 . 52) (3 . 53) (5 . 55) (9 . 59)) 2947 0.4453 7.4933 ((4 . 17) (5 . 18) (6 . 19) (8 . 20)) 2950 0.3788 9.7683 ((4 . 8) (5 . 9) (6 . 10) (8 . 11)) 2966 0.5710 6.6922 ((2 . 3) (3 . 4) (6 . 7) (9 . 9)) 2990 0.1498 8.2637 ((2 . 15) (3 . 16) (5 . 17) (6 . 18)) 3014 0.3788 9.7848 ((4 . 19) (5 . 20) (8 . 21) (9 . 22)) 3019 0.2477 8.0547 ((2 . 10) (3 . 11) (5 . 12) (6 . 13)) 3041 0.4435 13.1694 ((2 . 24) (4 . 25) (6 . 27) (8 . 28)) 3102 0.4454 6.9152 ((2 . 77) (3 . 80) (4 . 78) (9 . 82)) 3103 0.5712 5.8212 ((2 . 5) (4 . 7) (8 . 12) (9 . 13)) 3114 0.1993 8.0870 ((2 . 25) (4 . 27) (5 . 28) (9 . 29)) 3120 0.2478 7.3370 ((2 . 21) (3 . 22) (5 . 23) (6 . 24)) 3127 0.5714 3.7994 ((2 . 2) (3 . 11) (8 . 12) (9 . 13)) 3176 0.4453 7.4504 ((2 . 27) (3 . 29) (5 . 30) (8 . 31)) 3187 0.5710 6.4410 ((2 . 6) (3 . 7) (5 . 8) (8 . 10)) 3197 0.5706 7.7652 ((2 . 21) (6 . 23) (8 . 25) (9 . 26)) 3200 0.4451 8.8024 ((2 . 9) (3 . 11) (5 . 12) (8 . 14)) 3202 0.2478 4.3311 ((4 . 24) (5 . 25) (6 . 27) (8 . 28)) 3212 0.5711 6.2283 ((3 . 9) (4 . 10) (6 . 6) (8 . 7)) 3222 0.5658 12.5273 ((2 . 3) (3 . 4) (5 . 5) (9 . 8)) 3256 0.5703 8.2761 ((2 . 20) (3 . 21) (8 . 27) (9 . 28)) 3261 0.5709 6.8527 ((2 . 6) (3 . 7) (6 . 10) (8 . 11)) 3286 0.5713 5.1504 ((2 . 3) (3 . 4) (8 . 6) (9 . 7)) 3289 0.1498 7.6656 ((2 . 25) (3 . 27) (5 . 28) (9 . 31)) 3300 0.2478 7.0167 ((2 . 2) (4 . 3) (6 . 9) (8 . 10)) 3310 0.5678 11.2607 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 3322 0.1332 7.8669 ((2 . 3) (4 . 4) (6 . 6) (9 . 7)) 3334 0.3788 9.3160 ((4 . 11) (5 . 12) (6 . 13) (9 . 15)) 3339 0.1993 6.4508 ((2 . 11) (4 . 14) (6 . 16) (9 . 19)) 3358 0.4454 6.5581 ((2 . 4) (3 . 7) (4 . 5) (8 . 11)) 3362 0.5713 4.3751 ((2 . 10) (3 . 11) (4 . 12) (5 . 13)) 3410 0.7120 7.5106 ((2 . 21) (3 . 19) (5 . 20) (6 . 23) (9 . 28)) 3446 0.5712 5.2906 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 3481 0.5705 7.8955 ((3 . 2) (4 . 3) (5 . 5) (9 . 7)) 3495 0.1498 9.0197 ((2 . 2) (3 . 3) (5 . 5) (8 . 6)) 3496 0.2477 10.9460 ((2 . 19) (4 . 20) (6 . 21) (9 . 22)) 3533 0.5694 9.6646 ((2 . 5) (3 . 7) (4 . 6) (9 . 11)) 3538 0.5684 10.7460 ((2 . 25) (3 . 26) (6 . 27) (8 . 28)) 3548 0.3788 9.7316 ((2 . 4) (3 . 5) (5 . 7) (9 . 9)) 3549 0.5707 7.5085 ((2 . 3) (3 . 5) (6 . 7) (9 . 8)) 3561 0.2945 8.6211 ((2 . 22) (4 . 23) (6 . 25) (9 . 26)) 3613 0.2477 10.5199 ((2 . 35) (3 . 36) (4 . 38) (9 . 41)) 3651 0.4894 12.1350 ((2 . 13) (4 . 14) (5 . 15) (8 . 19)) 3658 0.4433 13.4949 ((2 . 4) (3 . 3) (4 . 2) (9 . 8)) 3659 0.4451 9.0361 ((2 . 5) (3 . 7) (4 . 6) (9 . 10)) 3661 0.3789 8.7425 ((4 . 21) (5 . 22) (8 . 25) (9 . 26)) 3663 0.3790 5.4901 ((2 . 1) (3 . 2) (5 . 4) (8 . 6)) 3697 0.2945 7.9759 ((2 . 6) (3 . 7) (6 . 8) (8 . 9)) 3703 0.5705 8.0554 ((2 . 8) (3 . 9) (6 . 11) (8 . 12)) 3732 0.4910 9.2757 ((2 . 7) (4 . 8) (6 . 10) (9 . 12)) 3741 0.5698 9.1412 ((2 . 26) (3 . 27) (8 . 33) (9 . 35)) 3776 0.3790 6.8142 ((2 . 17) (3 . 19) (8 . 23) (9 . 24)) 3787 0.2477 8.2015 ((2 . 17) (4 . 18) (6 . 20) (9 . 23)) 3790 0.5711 6.0029 ((2 . 21) (3 . 22) (5 . 23) (9 . 26)) 3807 0.5695 9.5116 ((3 . 46) (5 . 48) (8 . 49) (9 . 50)) 3817 0.5703 8.3868 ((2 . 5) (5 . 6) (8 . 8) (9 . 9)) 3829 0.3789 7.7509 ((4 . 7) (5 . 8) (6 . 10) (8 . 11)) 3831 0.5706 7.7557 ((2 . 5) (3 . 6) (5 . 7) (8 . 11)) 3834 0.5697 9.2485 ((4 . 2) (5 . 3) (6 . 4) (8 . 5)) 3847 0.4453 7.2642 ((3 . 9) (6 . 10) (8 . 11) (9 . 13)) 3849 0.5706 7.6698 ((2 . 3) (3 . 5) (6 . 7) (9 . 8)) 3938 0.1992 9.1045 ((2 . 2) (4 . 3) (6 . 5) (9 . 9)) 3942 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9)) 3986 0.4911 8.9190 ((2 . 15) (4 . 16) (8 . 20) (9 . 21)) 3990 0.5708 7.1319 ((3 . 20) (4 . 19) (5 . 21) (9 . 24)) 4005 0.5672 11.6897 ((2 . 27) (4 . 28) (5 . 31) (9 . 35)) 4019 0.5707 7.3879 ((2 . 34) (3 . 35) (8 . 41) (9 . 42)) 4034 0.1332 7.0743 ((2 . 5) (3 . 6) (5 . 7) (8 . 8)) 4037 0.4454 6.9883 ((4 . 4) (5 . 5) (6 . 6) (8 . 7)) 4062 0.3789 8.4615 ((2 . 49) (3 . 50) (5 . 51) (8 . 53)) 4067 0.1498 8.1220 ((2 . 14) (4 . 15) (6 . 19) (9 . 22)) 4077 0.1663 14.7029 ((2 . 11) (3 . 10) (4 . 12) (8 . 14)) 4082 0.1998 8.2599 ((2 . 6) (3 . 7) (4 . 1) (5 . 2) (8 . 4) (9 . 5)) 4087 0.5709 6.7650 ((2 . 7) (3 . 8) (6 . 9) (8 . 10)) 4112 0.4455 2.7500 ((2 . 2) (3 . 3) (4 . 8) (9 . 4)) 4115 0.3790 6.9135 ((4 . 2) (5 . 4) (6 . 7) (8 . 9)) 4151 0.3790 6.8275 ((2 . 17) (3 . 19) (4 . 1) (9 . 3)) 4177 0.5709 6.7512 ((2 . 1) (3 . 2) (6 . 4) (8 . 6)) 4190 0.1993 7.1510 ((2 . 1) (3 . 3) (6 . 6) (8 . 7)) 4192 0.5697 9.3519 ((2 . 10) (4 . 11) (5 . 14) (9 . 15)) 4195 0.5700 8.8606 ((2 . 14) (3 . 15) (5 . 17) (8 . 19)) 4209 0.5708 7.1135 ((2 . 2) (3 . 4) (5 . 6) (9 . 10)) 4210 0.1664 6.3999 ((2 . 4) (3 . 5) (8 . 7) (9 . 8)) 4216 0.5704 8.1140 ((4 . 12) (5 . 13) (6 . 14) (8 . 15)) 4226 0.3790 6.7475 ((2 . 11) (3 . 12) (5 . 13) (8 . 17)) 4232 0.2945 9.6007 ((2 . 5) (3 . 6) (5 . 7) (9 . 8)) 4243 0.5713 4.3468 ((4 . 1) (5 . 4) (6 . 5) (8 . 6)) 4254 0.4895 12.0922 ((3 . 6) (4 . 7) (8 . 10) (9 . 11)) 4255 0.5714 4.0362 ((2 . 24) (3 . 21) (4 . 22) (9 . 26)) 4265 0.1498 9.1030 ((2 . 23) (3 . 24) (6 . 27) (8 . 28)) 4281 0.7138 5.1947 ((2 . 3) (3 . 4) (6 . 6) (8 . 7) (9 . 8)) 4299 0.1332 6.9227 ((4 . 5) (6 . 7) (8 . 8) (9 . 9)) 4332 0.4451 9.2238 ((2 . 4) (4 . 5) (6 . 8) (9 . 9)) 4352 0.5713 4.8043 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 4380 0.5648 13.1143 ((2 . 3) (3 . 4) (6 . 6) (9 . 10)) 4386 0.5689 10.2404 ((2 . 18) (3 . 19) (5 . 20) (8 . 23)) 4388 0.5711 6.1182 ((2 . 1) (5 . 2) (8 . 4) (9 . 5)) 4398 0.1992 9.1584 ((2 . 7) (3 . 6) (6 . 9) (9 . 10)) 4415 0.1993 8.1096 ((2 . 3) (3 . 4) (6 . 5) (9 . 9)) 4470 0.3789 8.0001 ((2 . 3) (4 . 4) (6 . 6) (9 . 8)) 4492 0.2945 10.2135 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 4504 0.5701 8.6361 ((2 . 6) (3 . 8) (6 . 11) (8 . 12)) 4505 0.1992 8.7624 ((2 . 26) (3 . 25) (4 . 27) (8 . 29)) 4551 0.3790 4.7924 ((2 . 2) (3 . 4) (8 . 7) (9 . 8)) 4561 0.2945 7.5444 ((2 . 1) (5 . 4) (8 . 6) (9 . 7)) 4562 0.1498 5.7164 ((2 . 19) (5 . 23) (8 . 26) (9 . 27)) 4563 0.1664 11.9785 ((3 . 1) (6 . 3) (8 . 5) (9 . 4)) 4577 0.5645 13.2612 ((2 . 42) (3 . 43) (6 . 45) (9 . 48)) 4589 0.1249 10.0890 ((2 . 19) (3 . 22) (4 . 21) (6 . 24)) 4607 0.5682 10.8918 ((4 . 15) (5 . 16) (6 . 17) (8 . 18)) 4648 0.2945 7.8485 ((2 . 2) (4 . 3) (8 . 7) (9 . 8)) 4668 0.1992 9.8242 ((2 . 3) (3 . 5) (6 . 8) (9 . 9)) 4671 0.1992 9.4084 ((2 . 13) (3 . 14) (5 . 16) (9 . 20)) 4674 0.5710 6.4290 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 4678 0.2945 6.9931 ((2 . 6) (4 . 7) (6 . 9) (9 . 11)) 4715 0.4917 5.5327 ((3 . 3) (4 . 4) (5 . 5) (8 . 7)) 4731 0.3790 7.0553 ((2 . 18) (6 . 19) (8 . 20) (9 . 22)) 4764 0.2477 7.8095 ((4 . 5) (5 . 6) (6 . 7) (8 . 8)) 4888 0.2477 8.2825 ((2 . 4) (4 . 5) (5 . 6) (9 . 9)) 4889 0.2477 8.0496 ((2 . 3) (3 . 4) (6 . 5) (9 . 6)) 4914 0.2477 7.9429 ((3 . 1) (4 . 2) (5 . 3) (9 . 6)) 4921 0.5703 8.3443 ((2 . 8) (3 . 9) (8 . 13) (9 . 14)) 4932 0.3789 8.5702 ((2 . 6) (3 . 5) (5 . 7) (8 . 9)) 4961 0.1498 6.4125 ((2 . 6) (5 . 8) (8 . 11) (9 . 12)) 4963 0.4453 7.9585 ((4 . 5) (5 . 6) (6 . 7) (8 . 8)) 4998 0.2477 8.9454 ((3 . 20) (5 . 21) (6 . 22) (8 . 24)) 5029 0.1993 7.8138 ((2 . 2) (3 . 4) (5 . 5) (8 . 7)) 5038 0.5699 9.0068 ((2 . 9) (3 . 10) (5 . 13) (9 . 16)) 5044 0.1992 9.1212 ((2 . 1) (3 . 2) (6 . 4) (9 . 8)) 5053 0.2477 11.7376 ((2 . 12) (4 . 13) (5 . 14) (8 . 17)) 5065 0.5698 9.2304 ((2 . 2) (3 . 3) (6 . 5) (9 . 8)) 5068 0.2946 3.9839 ((2 . 4) (3 . 7) (8 . 9) (9 . 10)) 5069 0.5714 2.6904 ((2 . 4) (3 . 5) (8 . 6) (9 . 7)) 5073 0.3789 7.7695 ((2 . 32) (5 . 35) (8 . 37) (9 . 39)) 5083 0.2478 4.6052 ((3 . 2) (4 . 3) (5 . 4) (9 . 9)) 5101 0.4452 8.4043 ((2 . 18) (4 . 19) (5 . 20) (6 . 22)) 5103 0.2477 7.6093 ((2 . 2) (3 . 4) (6 . 7) (9 . 9)) 5132 0.4454 7.0443 ((4 . 23) (5 . 24) (8 . 27) (9 . 28)) 5134 0.5711 5.8884 ((3 . 10) (6 . 11) (8 . 12) (9 . 13)) 5145 0.1498 7.7115 ((2 . 3) (3 . 5) (8 . 9) (9 . 10)) 5167 0.1993 7.2602 ((2 . 4) (3 . 3) (6 . 6) (8 . 7)) 5176 0.1498 7.2557 ((2 . 82) (3 . 84) (5 . 85) (9 . 88)) 5192 0.5694 9.6453 ((5 . 13) (6 . 15) (8 . 16) (9 . 17)) 5198 0.5703 8.2773 ((2 . 21) (5 . 23) (8 . 25) (9 . 26)) 5209 0.1664 7.7829 ((2 . 4) (3 . 3) (4 . 2) (8 . 6)) 5215 0.2945 7.3448 ((2 . 9) (3 . 10) (8 . 14) (9 . 15)) 5223 0.3790 6.1881 ((2 . 15) (3 . 17) (4 . 18) (5 . 19)) 5278 0.4451 8.9135 ((2 . 2) (3 . 5) (4 . 3) (9 . 8)) 5285 0.1992 8.8311 ((4 . 2) (5 . 3) (6 . 4) (8 . 5)) 5307 0.5690 10.1298 ((3 . 55) (4 . 54) (5 . 56) (8 . 59)) 5312 0.5712 5.4450 ((2 . 2) (3 . 5) (4 . 6) (9 . 7)) 5318 0.4453 7.8494 ((4 . 13) (5 . 14) (6 . 15) (8 . 16)) 5323 0.5712 5.5640 ((4 . 15) (5 . 16) (6 . 17) (8 . 18)) 5324 0.2477 10.1190 ((2 . 25) (4 . 26) (5 . 27) (8 . 29)) 5344 0.1664 6.2717 ((2 . 4) (3 . 7) (4 . 6) (9 . 10)) 5368 0.5709 6.9692 ((2 . 39) (3 . 41) (6 . 44) (9 . 46)) 5378 0.5714 4.1058 ((2 . 9) (3 . 21) (8 . 13) (9 . 15)) 5414 0.1992 9.7250 ((2 . 15) (3 . 16) (5 . 17) (9 . 20)) 5418 0.2478 5.1418 ((2 . 2) (3 . 3) (4 . 4) (9 . 9)) 5442 0.3790 5.4689 ((4 . 36) (5 . 37) (6 . 38) (8 . 39)) 5487 0.2945 5.9702 ((2 . 4) (5 . 8) (8 . 10) (9 . 11)) 5489 0.1664 7.5767 ((2 . 10) (3 . 11) (8 . 15) (9 . 14)) 5500 0.2477 9.1386 ((2 . 4) (3 . 7) (5 . 10) (8 . 13)) 5501 0.5610 14.7245 ((2 . 25) (4 . 26) (6 . 28) (8 . 29)) 5525 0.5713 4.5508 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 5540 0.5694 9.6406 ((3 . 10) (4 . 9) (6 . 13) (9 . 14)) 5560 0.3790 6.6727 ((4 . 6) (5 . 7) (8 . 8) (9 . 9)) 5562 0.3790 5.1528 ((2 . 11) (3 . 14) (8 . 16) (9 . 17)) 5567 0.2945 7.4299 ((2 . 11) (4 . 14) (8 . 16) (9 . 18)) 5594 0.1993 4.7526 ((2 . 1) (3 . 6) (8 . 8) (9 . 9)) 5600 0.5710 6.7118 ((3 . 5) (5 . 7) (8 . 10) (9 . 11)) 5601 0.3790 7.2614 ((2 . 5) (4 . 6) (6 . 9) (8 . 11)) 5638 0.5712 5.7105 ((2 . 7) (3 . 8) (8 . 12) (9 . 13)) 5656 0.3789 8.0354 ((2 . 3) (4 . 4) (6 . 6) (9 . 8)) 5689 0.2945 9.6748 ((4 . 4) (5 . 7) (6 . 8) (8 . 9)) 5700 0.3789 8.2387 ((2 . 3) (3 . 4) (8 . 7) (9 . 8)) 5701 0.1992 11.4411 ((2 . 11) (3 . 12) (6 . 13) (8 . 15)) 5702 0.2945 9.7078 ((4 . 4) (5 . 7) (6 . 8) (8 . 9)) 5703 0.4446 11.0130 ((2 . 2) (3 . 5) (4 . 3) (9 . 7)) 5718 0.4909 9.5443 ((2 . 14) (4 . 15) (8 . 22) (9 . 21)) 5731 0.5714 3.5974 ((2 . 2) (3 . 7) (5 . 8) (9 . 11)) 5746 0.5712 5.6651 ((2 . 6) (3 . 10) (5 . 4) (9 . 3)) 5761 0.4453 7.4743 ((2 . 31) (3 . 32) (5 . 33) (6 . 34)) 5770 0.5709 6.7402 ((2 . 9) (3 . 12) (6 . 18) (8 . 19)) 5771 0.1992 9.4956 ((2 . 1) (4 . 2) (6 . 7) (8 . 8)) 5782 0.5698 9.2018 ((2 . 24) (3 . 26) (4 . 28) (9 . 32)) 5789 0.5688 10.3914 ((3 . 2) (4 . 1) (6 . 3) (8 . 4)) 5794 0.5708 7.2266 ((2 . 15) (3 . 16) (6 . 17) (9 . 19)) 5795 0.1993 5.7936 ((3 . 6) (5 . 7) (6 . 8) (9 . 9)) 5809 0.3790 5.4691 ((2 . 7) (6 . 10) (8 . 11) (9 . 12)) 5822 0.1992 10.3996 ((2 . 2) (3 . 4) (5 . 5) (9 . 8)) 5827 0.2946 3.1708 ((2 . 5) (3 . 8) (8 . 10) (9 . 11)) 5830 0.5692 9.8749 ((2 . 8) (3 . 10) (4 . 9) (5 . 11)) 5865 0.2945 7.7108 ((2 . 2) (3 . 4) (6 . 6) (9 . 7)) 5896 0.0999 6.6996 ((3 . 26) (6 . 27) (8 . 30) (9 . 29)) 5913 0.4903 10.7885 ((2 . 10) (4 . 11) (5 . 12) (8 . 14)) 5914 0.3790 6.9833 ((2 . 2) (3 . 3) (5 . 4) (9 . 6)) 5939 0.5713 4.3836 ((2 . 2) (3 . 4) (8 . 5) (9 . 6)) 5945 0.4911 8.8303 ((3 . 3) (4 . 4) (5 . 5) (8 . 6)) 5949 0.1993 7.3108 ((2 . 9) (3 . 10) (5 . 11) (8 . 13)) 5972 0.2477 8.2217 ((4 . 1) (5 . 4) (6 . 5) (9 . 7)) 6028 0.1993 5.6252 ((2 . 2) (3 . 3) (5 . 4) (8 . 8)) 6029 0.5706 7.7283 ((4 . 37) (5 . 38) (6 . 39) (9 . 40)) 6041 0.2945 9.1784 ((2 . 11) (3 . 12) (6 . 14) (9 . 15)) 6074 0.4449 9.8045 ((2 . 2) (4 . 3) (6 . 5) (9 . 6)) 6075 0.3790 7.4930 ((2 . 17) (4 . 18) (5 . 19) (9 . 21)) 6089 0.5664 12.1924 ((2 . 17) (3 . 16) (6 . 19) (9 . 21)) 6094 0.5560 16.3414 ((2 . 1) (3 . 2) (8 . 6) (9 . 7)) 6099 0.5707 7.4495 ((2 . 11) (3 . 13) (6 . 15) (9 . 18)) 6123 0.5699 8.9466 ((2 . 2) (3 . 3) (6 . 6) (8 . 7)) 6142 0.3782 13.0892 ((2 . 16) (3 . 18) (8 . 22) (9 . 24)) 6148 0.5713 5.2072 ((2 . 33) (3 . 34) (5 . 35) (9 . 37)) 6167 0.1664 9.3001 ((2 . 14) (3 . 17) (8 . 22) (9 . 21)) 6169 0.2477 9.6053 ((4 . 2) (5 . 1) (6 . 3) (8 . 4)) 6173 0.3789 8.0009 ((2 . 13) (3 . 15) (4 . 14) (6 . 16)) 6192 0.5705 7.9434 ((2 . 10) (3 . 11) (6 . 12) (8 . 15)) 6215 0.1993 7.9770 ((2 . 18) (3 . 19) (6 . 22) (8 . 23)) 6228 0.4449 9.8998 ((2 . 7) (5 . 8) (8 . 10) (9 . 11)) 6238 0.5704 8.2613 ((2 . 3) (3 . 4) (6 . 6) (9 . 8)) 6243 0.1992 10.9895 ((3 . 10) (5 . 11) (6 . 12) (8 . 13)) 6251 0.5710 6.6209 ((2 . 10) (5 . 11) (8 . 14) (9 . 15)) 6258 0.5713 4.4469 ((2 . 7) (3 . 10) (8 . 11) (9 . 12)) 6266 0.5714 4.1352 ((2 . 3) (3 . 6) (8 . 7) (9 . 8)) 6270 0.4446 10.8055 ((2 . 18) (3 . 17) (4 . 19) (8 . 23)) 6271 0.4452 8.3760 ((2 . 4) (3 . 5) (5 . 6) (8 . 9)) 6273 0.1992 9.6688 ((2 . 6) (3 . 7) (5 . 9) (9 . 12)) 6294 0.4451 8.8759 ((2 . 11) (4 . 12) (6 . 15) (9 . 16)) 6306 0.1992 10.5647 ((2 . 16) (3 . 17) (5 . 18) (9 . 21)) 6329 0.4453 7.2915 ((4 . 3) (5 . 4) (6 . 5) (8 . 6)) 6344 0.3790 7.1510 ((2 . 7) (3 . 8) (5 . 9) (8 . 10)) 6345 0.1992 9.7133 ((2 . 6) (3 . 7) (5 . 8) (8 . 9)) 6355 0.5712 5.4096 ((2 . 9) (3 . 10) (6 . 13) (9 . 15)) 6356 0.3790 6.2277 ((2 . 1) (5 . 3) (8 . 5) (9 . 6)) 6369 0.1993 6.5103 ((2 . 26) (5 . 28) (8 . 30) (9 . 31)) 6376 0.3790 7.0608 ((2 . 17) (5 . 20) (8 . 23) (9 . 24)) 6391 0.5644 13.2712 ((4 . 3) (5 . 4) (6 . 5) (9 . 6)) 6434 0.1993 6.6241 ((2 . 4) (3 . 5) (5 . 6) (8 . 7)) 6462 0.5710 6.4484 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 6476 0.1993 6.4883 ((3 . 4) (4 . 2) (5 . 5) (9 . 9)) 6498 0.5708 7.3096 ((4 . 27) (5 . 28) (8 . 30) (9 . 31)) 6520 0.4450 9.5753 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 6539 0.3790 7.2151 ((2 . 5) (3 . 6) (4 . 7) (6 . 9)) 6548 0.5698 9.2296 ((2 . 5) (4 . 6) (6 . 8) (9 . 9)) 6553 0.2477 7.8304 ((2 . 13) (4 . 16) (8 . 19) (9 . 20)) 6555 0.2945 9.8651 ((2 . 20) (3 . 22) (4 . 21) (9 . 25)) 6561 0.5672 11.6898 ((3 . 3) (5 . 4) (6 . 5) (9 . 8)) 6573 0.5707 7.5615 ((3 . 19) (4 . 18) (5 . 20) (9 . 23)) 6575 0.1498 3.5379 ((2 . 1) (3 . 2) (4 . 3) (8 . 6)) 6578 0.5712 5.5833 ((2 . 31) (3 . 32) (4 . 33) (9 . 38)) 6584 0.4453 8.0787 ((2 . 3) (3 . 2) (4 . 4) (9 . 7)) 6585 0.5687 10.4175 ((2 . 10) (3 . 11) (6 . 12) (9 . 13)) 6587 0.5711 6.3350 ((2 . 34) (3 . 33) (4 . 35) (5 . 36)) 6598 0.5706 7.7466 ((2 . 8) (3 . 10) (6 . 12) (9 . 16)) 6605 0.5713 4.6174 ((4 . 2) (5 . 5) (6 . 6) (8 . 7)) 6613 0.5712 5.8803 ((2 . 22) (3 . 21) (6 . 23) (9 . 24)) 6635 0.7370 5.3296 ((2 . 5) (3 . 1) (4 . 2) (5 . 3) (6 . 6) (9 . 7)) END