3656 25 0.4451 9.1465 ((12 . 10) (20 . 13) (21 . 14) (22 . 16)) 51 0.2945 10.3740 ((20 . 4) (21 . 9) (22 . 10) (23 . 11)) 62 0.5668 11.9636 ((20 . 9) (22 . 12) (23 . 13) (25 . 15)) 64 0.2945 7.8755 ((22 . 13) (23 . 14) (24 . 15) (25 . 16)) 77 0.3788 9.9995 ((20 . 10) (22 . 13) (23 . 15) (25 . 17)) 91 0.5696 9.4157 ((20 . 32) (21 . 35) (23 . 37) (25 . 39)) 96 0.3785 11.5245 ((20 . 2) (21 . 4) (22 . 3) (23 . 5)) 136 0.1992 8.7790 ((12 . 2) (20 . 4) (21 . 6) (22 . 8)) 155 0.5650 13.0060 ((12 . 1) (20 . 4) (21 . 6) (25 . 8)) 157 0.5694 9.6920 ((12 . 2) (21 . 10) (22 . 11) (24 . 14)) 161 0.4453 7.8941 ((20 . 1) (21 . 7) (22 . 8) (23 . 10)) 191 0.1993 6.7948 ((12 . 3) (22 . 7) (23 . 8) (24 . 9)) 207 0.5694 9.6677 ((21 . 6) (22 . 7) (23 . 8) (25 . 11)) 300 0.1992 8.8567 ((20 . 11) (21 . 12) (22 . 16) (23 . 17)) 305 0.5701 8.7346 ((20 . 13) (22 . 16) (23 . 18) (24 . 19)) 315 0.4912 8.4064 ((21 . 7) (22 . 8) (23 . 9) (24 . 10)) 340 0.2945 7.1036 ((22 . 1) (23 . 2) (24 . 4) (25 . 5)) 350 0.3789 7.8694 ((21 . 3) (22 . 5) (23 . 7) (24 . 8)) 361 0.2477 10.8873 ((12 . 5) (20 . 9) (21 . 13) (22 . 11)) 365 0.2478 7.3196 ((22 . 3) (23 . 4) (24 . 6) (25 . 7)) 367 0.2945 7.2211 ((21 . 39) (22 . 40) (23 . 42) (24 . 43)) 417 0.4909 9.5190 ((21 . 6) (22 . 5) (23 . 7) (24 . 9)) 433 0.2477 9.2345 ((21 . 4) (22 . 5) (23 . 6) (25 . 8)) 472 0.5702 8.4507 ((12 . 23) (20 . 24) (21 . 28) (25 . 34)) 495 0.5684 10.7515 ((21 . 6) (22 . 8) (24 . 11) (25 . 12)) 541 0.3783 12.7444 ((20 . 13) (22 . 16) (23 . 17) (25 . 19)) 543 0.4448 10.2985 ((20 . 13) (21 . 14) (22 . 15) (23 . 16)) 584 0.5707 7.4545 ((12 . 1) (20 . 2) (22 . 15) (25 . 29)) 587 0.4913 8.1115 ((22 . 14) (23 . 15) (24 . 16) (25 . 17)) 609 0.3788 9.4011 ((20 . 4) (21 . 5) (22 . 6) (23 . 8)) 619 0.4896 11.8664 ((21 . 5) (22 . 6) (23 . 7) (25 . 10)) 624 0.5653 12.8413 ((20 . 12) (21 . 14) (22 . 16) (25 . 19)) 635 0.3789 8.6979 ((20 . 11) (22 . 14) (23 . 15) (25 . 17)) 672 0.5709 7.0443 ((20 . 17) (22 . 22) (23 . 23) (24 . 24)) 683 0.4916 6.4115 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 719 0.1993 8.1821 ((22 . 22) (23 . 23) (24 . 25) (25 . 29)) 729 0.3790 5.2912 ((12 . 8) (22 . 17) (23 . 20) (25 . 22)) 740 0.5709 6.9851 ((21 . 1) (22 . 3) (23 . 4) (24 . 7)) 782 0.5656 12.6671 ((12 . 2) (20 . 6) (21 . 8) (25 . 12)) 796 0.0999 11.7519 ((21 . 4) (22 . 5) (23 . 6) (25 . 7)) 818 0.3790 6.5191 ((12 . 3) (21 . 11) (22 . 14) (23 . 16)) 819 0.4916 6.6480 ((12 . 4) (22 . 8) (23 . 9) (24 . 10)) 861 0.6738 5.1601 ((12 . 11) (21 . 14) (22 . 15) (23 . 16) (24 . 17)) 904 0.2477 9.7188 ((20 . 1) (21 . 4) (23 . 6) (24 . 7)) 913 0.2945 10.2301 ((21 . 15) (22 . 16) (23 . 17) (25 . 18)) 928 0.5710 6.4631 ((12 . 11) (21 . 17) (22 . 18) (23 . 21)) 943 0.2944 11.4347 ((12 . 5) (20 . 10) (22 . 12) (23 . 15)) 945 0.5654 12.7840 ((12 . 13) (20 . 20) (22 . 22) (25 . 25)) 960 0.1332 13.3680 ((12 . 26) (20 . 30) (21 . 32) (25 . 37)) 978 0.3788 9.9518 ((20 . 11) (21 . 12) (22 . 13) (25 . 17)) 1007 0.5710 6.6379 ((12 . 2) (20 . 6) (23 . 11) (24 . 12)) 1008 0.2945 9.5223 ((20 . 1) (21 . 2) (22 . 3) (23 . 5)) 1034 0.3790 4.7076 ((21 . 19) (22 . 20) (23 . 21) (24 . 22)) 1043 0.2477 10.4568 ((12 . 5) (20 . 9) (21 . 11) (24 . 17)) 1084 0.5706 7.7516 ((12 . 6) (20 . 15) (22 . 18) (23 . 20)) 1201 0.4449 10.0539 ((21 . 13) (23 . 17) (24 . 18) (25 . 19)) 1204 0.4447 10.6775 ((12 . 2) (22 . 11) (23 . 12) (25 . 15)) 1211 0.5708 7.2336 ((20 . 6) (21 . 7) (22 . 8) (23 . 9)) 1217 0.5702 8.5942 ((20 . 2) (21 . 8) (22 . 9) (23 . 12)) 1224 0.4447 10.4341 ((12 . 1) (22 . 9) (23 . 10) (25 . 13)) 1233 0.5709 6.9425 ((12 . 13) (22 . 22) (23 . 23) (24 . 24)) 1267 0.3787 10.3091 ((12 . 25) (20 . 27) (22 . 36) (24 . 38)) 1268 0.5693 9.7535 ((12 . 17) (20 . 19) (24 . 25) (25 . 26)) 1294 0.5688 10.3720 ((22 . 41) (23 . 42) (24 . 43) (25 . 45)) 1301 0.1664 9.4419 ((21 . 2) (22 . 1) (23 . 5) (25 . 7)) 1345 0.5689 10.2700 ((20 . 10) (22 . 13) (24 . 16) (25 . 17)) 1366 0.4451 9.1040 ((22 . 21) (23 . 22) (24 . 23) (25 . 25)) 1425 0.5708 7.1453 ((21 . 7) (22 . 8) (23 . 10) (24 . 11)) 1447 0.1992 13.2100 ((12 . 2) (20 . 6) (22 . 9) (25 . 13)) 1464 0.2945 7.8108 ((22 . 7) (23 . 8) (24 . 10) (25 . 12)) 1472 0.5650 12.9863 ((12 . 5) (20 . 11) (21 . 12) (25 . 14)) 1476 0.1664 11.5188 ((12 . 10) (20 . 17) (21 . 19) (22 . 20)) 1481 0.4451 9.1636 ((21 . 3) (23 . 5) (24 . 4) (25 . 8)) 1497 0.5657 12.6265 ((12 . 9) (20 . 12) (21 . 16) (25 . 20)) 1508 0.2477 9.9294 ((21 . 3) (22 . 2) (23 . 5) (25 . 6)) 1513 0.5681 10.9543 ((20 . 4) (21 . 7) (22 . 8) (25 . 12)) 1577 0.5706 7.7077 ((12 . 1) (20 . 2) (22 . 6) (25 . 11)) 1591 0.2945 8.5869 ((12 . 7) (21 . 12) (22 . 14) (24 . 16)) 1595 0.3790 7.0580 ((20 . 2) (21 . 4) (23 . 7) (25 . 9)) 1643 0.5709 7.0664 ((20 . 5) (22 . 9) (23 . 10) (24 . 11)) 1690 0.5701 8.7765 ((20 . 9) (22 . 14) (23 . 16) (25 . 22)) 1731 0.5637 13.6085 ((12 . 5) (20 . 10) (22 . 12) (23 . 13)) 1738 0.5686 10.5079 ((20 . 15) (21 . 16) (22 . 18) (25 . 25)) 1747 0.7130 6.5586 ((12 . 22) (20 . 23) (22 . 27) (23 . 28) (24 . 31)) 1761 0.5629 13.9586 ((22 . 4) (23 . 5) (24 . 7) (25 . 8)) 1763 0.5666 12.0857 ((12 . 1) (20 . 6) (21 . 8) (22 . 10)) 1776 0.2944 11.1835 ((12 . 6) (20 . 11) (22 . 14) (25 . 21)) 1793 0.5704 8.1724 ((12 . 5) (21 . 9) (22 . 10) (24 . 11)) 1805 0.4913 8.0125 ((22 . 15) (23 . 16) (24 . 17) (25 . 18)) 1808 0.5713 4.9489 ((12 . 1) (22 . 8) (23 . 9) (24 . 10)) 1894 0.5709 6.8734 ((20 . 8) (21 . 9) (22 . 11) (23 . 12)) 1896 0.2945 10.2774 ((12 . 4) (20 . 10) (21 . 13) (25 . 18)) 1908 0.5712 5.8851 ((12 . 4) (21 . 9) (22 . 10) (24 . 15)) 1913 0.4916 6.7006 ((22 . 20) (23 . 21) (24 . 22) (25 . 24)) 1944 0.3790 6.6584 ((20 . 8) (23 . 16) (24 . 17) (25 . 20)) 1957 0.2944 11.2747 ((12 . 12) (20 . 16) (22 . 19) (23 . 21)) 1967 0.3789 8.1597 ((21 . 9) (22 . 10) (24 . 13) (25 . 15)) 1992 0.5669 11.8743 ((20 . 8) (23 . 12) (24 . 14) (25 . 13)) 2003 0.1664 6.1762 ((20 . 1) (21 . 2) (22 . 4) (23 . 5)) 2045 0.2477 7.6327 ((20 . 5) (21 . 9) (22 . 8) (23 . 13)) 2048 0.2478 7.0405 ((12 . 5) (21 . 14) (23 . 16) (24 . 17)) 2054 0.3789 8.9363 ((20 . 9) (22 . 13) (23 . 14) (25 . 16)) 2063 0.2477 8.1172 ((21 . 46) (22 . 45) (23 . 48) (24 . 49)) 2065 0.1664 7.6090 ((21 . 20) (22 . 22) (23 . 23) (24 . 25)) 2067 0.5554 16.4944 ((12 . 1) (21 . 6) (23 . 9) (25 . 17)) 2081 0.3789 8.4073 ((12 . 11) (22 . 19) (23 . 20) (25 . 22)) 2117 0.5710 6.6337 ((20 . 8) (22 . 11) (23 . 12) (25 . 13)) 2118 0.1992 8.9600 ((20 . 8) (21 . 9) (23 . 11) (24 . 12)) 2122 0.2945 9.3536 ((21 . 13) (22 . 15) (24 . 17) (25 . 21)) 2166 0.2478 7.3936 ((21 . 1) (22 . 3) (23 . 4) (25 . 5)) 2179 0.1992 9.8722 ((12 . 2) (21 . 12) (24 . 13) (25 . 15)) 2203 0.4453 7.7821 ((22 . 1) (23 . 5) (24 . 6) (25 . 8)) 2209 0.3785 11.4115 ((20 . 2) (23 . 5) (24 . 6) (25 . 8)) 2220 0.2477 8.9903 ((21 . 1) (22 . 3) (23 . 5) (24 . 7)) 2249 0.4452 8.5038 ((12 . 2) (21 . 9) (24 . 12) (25 . 14)) 2269 0.1498 11.1745 ((12 . 2) (21 . 9) (22 . 10) (25 . 13)) 2279 0.3787 10.1231 ((21 . 15) (22 . 19) (23 . 20) (25 . 21)) 2298 0.1664 12.1328 ((12 . 3) (20 . 7) (21 . 11) (22 . 10)) 2308 0.2943 13.6118 ((12 . 1) (20 . 3) (21 . 7) (25 . 10)) 2344 0.2477 8.2111 ((12 . 5) (21 . 12) (22 . 14) (24 . 18)) 2364 0.3790 6.9421 ((12 . 6) (22 . 7) (23 . 9) (24 . 12)) 2389 0.5710 6.6135 ((20 . 2) (22 . 5) (23 . 6) (24 . 7)) 2410 0.2477 8.5485 ((20 . 12) (21 . 15) (22 . 16) (23 . 17)) 2423 0.5710 6.4511 ((12 . 12) (22 . 20) (23 . 21) (24 . 22)) 2440 0.4455 5.1285 ((20 . 10) (21 . 12) (22 . 13) (23 . 17)) 2447 0.4453 7.8581 ((12 . 14) (21 . 20) (22 . 21) (23 . 24)) 2462 0.1332 6.8873 ((12 . 2) (21 . 10) (22 . 11) (23 . 12)) 2510 0.4435 13.1846 ((20 . 4) (21 . 6) (23 . 9) (25 . 11)) 2533 0.3790 6.4917 ((20 . 1) (21 . 3) (23 . 4) (25 . 7)) 2544 0.2945 9.6375 ((20 . 18) (21 . 20) (22 . 22) (23 . 23)) 2551 0.3787 10.2097 ((12 . 2) (20 . 4) (21 . 6) (25 . 10)) 2557 0.5695 9.5318 ((20 . 1) (22 . 6) (23 . 7) (25 . 8)) 2595 0.1332 11.9434 ((12 . 2) (20 . 5) (22 . 9) (25 . 14)) 2619 0.1664 8.5378 ((22 . 2) (23 . 3) (24 . 5) (25 . 6)) 2627 0.3790 7.2748 ((21 . 61) (22 . 60) (23 . 65) (24 . 64)) 2675 0.4914 7.7075 ((22 . 1) (23 . 3) (24 . 4) (25 . 9)) 2682 0.5595 15.2576 ((20 . 6) (21 . 10) (24 . 13) (25 . 16)) 2696 0.4914 7.6857 ((21 . 33) (22 . 34) (23 . 35) (24 . 36)) 2731 0.1498 10.7326 ((21 . 2) (22 . 4) (23 . 5) (25 . 6)) 2804 0.5714 4.1633 ((21 . 27) (22 . 29) (23 . 38) (24 . 39)) 2821 0.3789 8.1335 ((20 . 6) (21 . 10) (22 . 11) (24 . 13)) 2830 0.5711 5.9515 ((21 . 6) (23 . 7) (24 . 9) (25 . 12)) 2834 0.5690 10.1472 ((20 . 11) (23 . 14) (24 . 16) (25 . 17)) 2840 0.5647 13.1227 ((12 . 2) (20 . 7) (21 . 10) (22 . 11)) 2842 0.5707 7.3815 ((12 . 3) (20 . 7) (22 . 9) (24 . 11)) 2867 0.2477 8.7796 ((22 . 7) (23 . 8) (24 . 9) (25 . 11)) 2929 0.1332 7.5001 ((20 . 37) (21 . 38) (22 . 39) (23 . 40)) 2947 0.3787 10.4591 ((20 . 5) (21 . 8) (24 . 12) (25 . 16)) 2966 0.5698 9.2100 ((20 . 2) (21 . 5) (22 . 8) (23 . 9)) 2990 0.5710 6.5218 ((12 . 10) (21 . 18) (22 . 19) (23 . 20)) 2999 0.1332 9.2357 ((12 . 1) (21 . 3) (22 . 4) (23 . 7)) 3014 0.5677 11.2709 ((12 . 21) (21 . 31) (22 . 32) (23 . 33)) 3019 0.5697 9.2634 ((12 . 12) (22 . 19) (23 . 20) (25 . 21)) 3041 0.5649 13.0189 ((12 . 1) (20 . 5) (21 . 7) (25 . 10)) 3063 0.4450 9.3422 ((21 . 34) (22 . 35) (23 . 37) (24 . 38)) 3070 0.5666 12.0426 ((21 . 30) (22 . 32) (23 . 33) (25 . 34)) 3084 0.5708 7.2926 ((21 . 8) (22 . 9) (23 . 11) (25 . 14)) 3102 0.5677 11.2914 ((20 . 64) (22 . 68) (23 . 69) (24 . 70)) 3103 0.4449 10.0455 ((22 . 9) (23 . 11) (24 . 13) (25 . 12)) 3120 0.1249 10.5237 ((21 . 20) (22 . 21) (23 . 22) (25 . 24)) 3176 0.5619 14.3718 ((20 . 21) (21 . 23) (24 . 26) (25 . 30)) 3200 0.5713 5.2388 ((21 . 8) (22 . 9) (23 . 11) (24 . 13)) 3212 0.5700 8.9065 ((20 . 1) (22 . 3) (23 . 5) (25 . 7)) 3286 0.5705 8.0549 ((12 . 2) (21 . 6) (22 . 7) (25 . 12)) 3300 0.4917 5.7117 ((22 . 1) (23 . 2) (24 . 4) (25 . 9)) 3339 0.4425 14.6002 ((20 . 18) (21 . 20) (22 . 22) (25 . 25)) 3358 0.5696 9.4734 ((20 . 5) (21 . 9) (23 . 10) (25 . 11)) 3362 0.1664 9.7533 ((12 . 3) (20 . 7) (21 . 9) (22 . 11)) 3366 0.4449 9.6778 ((20 . 25) (22 . 27) (23 . 28) (24 . 29)) 3391 0.5706 7.7185 ((20 . 1) (21 . 3) (23 . 4) (24 . 6)) 3410 0.4454 7.2374 ((12 . 20) (20 . 23) (21 . 27) (22 . 28)) 3446 0.2942 14.0003 ((12 . 3) (20 . 9) (21 . 10) (25 . 13)) 3495 0.5688 10.3792 ((12 . 5) (20 . 9) (21 . 10) (25 . 17)) 3538 0.5713 4.8823 ((12 . 17) (20 . 21) (22 . 25) (23 . 26)) 3548 0.5686 10.5125 ((22 . 4) (23 . 5) (24 . 6) (25 . 7)) 3561 0.5707 7.5145 ((12 . 21) (22 . 28) (23 . 30) (25 . 32)) 3585 0.4431 13.7880 ((12 . 2) (21 . 7) (23 . 11) (24 . 12)) 3626 0.5706 7.8455 ((20 . 1) (22 . 3) (23 . 6) (24 . 8)) 3628 0.5691 10.0255 ((12 . 1) (20 . 7) (23 . 12) (25 . 13)) 3651 0.1992 12.1018 ((12 . 2) (21 . 7) (22 . 8) (25 . 14)) 3656 1.0000 0.0000 ((12 . 12) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25)) 3658 0.2944 11.4463 ((12 . 10) (20 . 13) (21 . 15) (23 . 17)) 3659 0.5707 7.3629 ((12 . 3) (22 . 8) (24 . 13) (25 . 14)) 3661 0.5679 11.1426 ((21 . 5) (22 . 7) (23 . 8) (25 . 13)) 3688 0.4872 14.3748 ((12 . 24) (22 . 32) (23 . 34) (24 . 35)) 3732 0.1992 9.7968 ((12 . 4) (20 . 8) (21 . 10) (22 . 12)) 3733 0.2477 12.9133 ((12 . 2) (20 . 7) (21 . 9) (22 . 8)) 3776 0.1992 11.7912 ((12 . 16) (20 . 18) (21 . 23) (22 . 24)) 3778 0.1992 9.3777 ((20 . 8) (22 . 12) (23 . 13) (25 . 19)) 3787 0.2945 8.8089 ((12 . 24) (21 . 25) (24 . 27) (25 . 30)) 3790 0.5711 6.3137 ((22 . 10) (23 . 13) (24 . 14) (25 . 17)) 3829 0.5658 12.5722 ((20 . 3) (21 . 6) (24 . 9) (25 . 11)) 3831 0.3790 6.8229 ((21 . 1) (22 . 2) (23 . 3) (25 . 7)) 3847 0.1992 9.7045 ((20 . 10) (21 . 12) (22 . 13) (23 . 17)) 3849 0.4914 7.7309 ((21 . 4) (22 . 3) (23 . 5) (24 . 8)) 3853 0.3789 8.2254 ((20 . 9) (21 . 11) (22 . 12) (24 . 14)) 3870 0.3787 10.5662 ((20 . 9) (21 . 11) (23 . 13) (25 . 14)) 3933 0.5706 7.6623 ((20 . 4) (22 . 9) (23 . 13) (24 . 14)) 3938 0.4908 9.6462 ((21 . 3) (22 . 4) (23 . 8) (25 . 12)) 3968 0.5654 12.7824 ((12 . 2) (20 . 4) (23 . 11) (25 . 12)) 3986 0.4436 13.0867 ((12 . 10) (20 . 19) (22 . 25) (24 . 27)) 4005 0.4451 9.1658 ((20 . 17) (22 . 24) (23 . 26) (24 . 27)) 4009 0.5644 13.2827 ((12 . 14) (20 . 18) (21 . 20) (25 . 25)) 4030 0.1498 13.3913 ((12 . 10) (20 . 15) (21 . 16) (25 . 18)) 4034 0.4912 8.6113 ((12 . 3) (21 . 8) (22 . 10) (23 . 11)) 4062 0.5691 9.9898 ((12 . 39) (21 . 47) (22 . 48) (23 . 49)) 4067 0.1992 11.2488 ((12 . 15) (20 . 21) (22 . 24) (23 . 25)) 4082 0.5712 5.6798 ((20 . 4) (22 . 7) (23 . 8) (24 . 10)) 4087 0.4914 7.7541 ((21 . 4) (22 . 6) (23 . 7) (24 . 8)) 4112 0.3790 7.0180 ((22 . 1) (23 . 2) (24 . 3) (25 . 7)) 4115 0.3787 10.4064 ((20 . 12) (22 . 15) (23 . 17) (25 . 20)) 4151 0.1993 7.7621 ((20 . 1) (21 . 2) (22 . 3) (23 . 5)) 4177 0.5705 7.9434 ((20 . 4) (21 . 6) (22 . 8) (23 . 9)) 4195 0.5704 8.1152 ((20 . 12) (21 . 13) (22 . 14) (23 . 15)) 4204 0.5678 11.2118 ((12 . 1) (20 . 6) (21 . 10) (23 . 11)) 4209 0.5681 10.9714 ((20 . 3) (22 . 5) (23 . 8) (25 . 11)) 4226 0.3787 10.4721 ((20 . 3) (22 . 8) (23 . 9) (25 . 13)) 4236 0.4917 5.7864 ((22 . 5) (23 . 6) (24 . 7) (25 . 11)) 4246 0.4903 10.7368 ((22 . 3) (23 . 5) (24 . 6) (25 . 10)) 4254 0.3788 9.0555 ((12 . 2) (21 . 12) (24 . 15) (25 . 16)) 4265 0.4444 11.4467 ((21 . 25) (22 . 24) (23 . 26) (25 . 28)) 4266 0.3790 6.7936 ((21 . 1) (23 . 2) (24 . 4) (25 . 5)) 4275 0.4455 5.1800 ((21 . 24) (22 . 25) (23 . 27) (24 . 28)) 4284 0.4454 6.4482 ((21 . 7) (23 . 8) (24 . 9) (25 . 11)) 4299 0.5711 6.1332 ((20 . 13) (22 . 19) (23 . 20) (24 . 22)) 4326 0.5707 7.5138 ((12 . 3) (21 . 8) (24 . 15) (25 . 16)) 4332 0.5701 8.6770 ((12 . 1) (22 . 2) (23 . 4) (25 . 5)) 4352 0.4899 11.5246 ((21 . 6) (22 . 9) (23 . 10) (25 . 12)) 4380 0.5708 7.2126 ((20 . 28) (22 . 32) (23 . 36) (24 . 39)) 4386 0.2477 11.1184 ((12 . 11) (22 . 18) (23 . 19) (24 . 21)) 4388 0.5702 8.4890 ((20 . 14) (21 . 15) (22 . 16) (23 . 17)) 4398 0.1664 11.2270 ((12 . 2) (20 . 9) (21 . 11) (23 . 13)) 4405 0.3778 14.4045 ((12 . 13) (20 . 17) (22 . 21) (24 . 24)) 4415 0.1498 10.1551 ((21 . 2) (22 . 3) (23 . 4) (25 . 5)) 4419 0.4454 6.3080 ((21 . 2) (22 . 8) (23 . 9) (24 . 10)) 4470 0.3786 10.8136 ((20 . 4) (22 . 9) (23 . 10) (25 . 13)) 4491 0.1498 11.5905 ((21 . 4) (22 . 5) (23 . 6) (25 . 7)) 4492 0.5686 10.4990 ((12 . 9) (20 . 14) (23 . 21) (25 . 22)) 4502 0.1992 10.8989 ((12 . 3) (21 . 13) (22 . 14) (25 . 21)) 4503 0.2477 7.7922 ((21 . 2) (22 . 5) (23 . 7) (24 . 8)) 4504 0.1664 12.3959 ((12 . 12) (21 . 18) (22 . 20) (25 . 24)) 4505 0.2477 11.4726 ((12 . 27) (20 . 31) (21 . 35) (22 . 34)) 4516 0.3787 10.7340 ((20 . 3) (21 . 5) (23 . 8) (25 . 11)) 4527 0.1993 8.2824 ((21 . 4) (22 . 6) (23 . 7) (24 . 8)) 4538 0.2477 10.0043 ((21 . 27) (23 . 31) (24 . 32) (25 . 36)) 4560 0.3790 5.1990 ((12 . 5) (21 . 12) (22 . 14) (23 . 16)) 4561 0.2945 10.1167 ((12 . 4) (20 . 8) (22 . 14) (23 . 15)) 4563 0.2945 10.6251 ((12 . 27) (20 . 33) (22 . 34) (23 . 35)) 4577 0.5670 11.7865 ((20 . 36) (22 . 39) (23 . 41) (24 . 42)) 4579 0.5710 6.3842 ((20 . 11) (23 . 17) (24 . 18) (25 . 21)) 4588 0.2945 8.7410 ((21 . 4) (22 . 7) (23 . 8) (25 . 12)) 4589 0.4441 12.0862 ((20 . 17) (22 . 19) (23 . 22) (25 . 24)) 4607 0.5677 11.2794 ((12 . 18) (20 . 21) (24 . 27) (25 . 28)) 4621 0.2945 6.6157 ((20 . 1) (21 . 2) (22 . 3) (23 . 4)) 4630 0.1498 8.0785 ((22 . 33) (23 . 35) (24 . 36) (25 . 37)) 4665 0.5684 10.7047 ((20 . 9) (22 . 12) (23 . 13) (24 . 14)) 4671 0.5705 7.8887 ((12 . 9) (20 . 16) (22 . 20) (23 . 21)) 4674 0.5699 8.9929 ((20 . 4) (21 . 5) (22 . 8) (23 . 9)) 4731 0.5695 9.5451 ((20 . 12) (21 . 13) (24 . 18) (25 . 19)) 4764 0.2944 12.2423 ((12 . 3) (20 . 7) (21 . 9) (25 . 11)) 4783 0.1498 12.8238 ((12 . 1) (20 . 2) (21 . 6) (25 . 8)) 4857 0.1332 8.0621 ((22 . 2) (23 . 3) (24 . 5) (25 . 4)) 4888 0.5698 9.2320 ((12 . 6) (20 . 11) (22 . 16) (23 . 17)) 4889 0.5705 7.9296 ((12 . 8) (20 . 9) (21 . 13) (25 . 21)) 4932 0.5700 8.8073 ((21 . 3) (22 . 5) (23 . 6) (25 . 7)) 4940 0.1498 7.5077 ((22 . 1) (23 . 2) (24 . 3) (25 . 5)) 4961 0.4453 7.9051 ((12 . 4) (22 . 12) (24 . 15) (25 . 18)) 4982 0.1992 9.5756 ((12 . 2) (20 . 5) (22 . 9) (25 . 13)) 4998 0.5666 12.0600 ((20 . 24) (21 . 27) (23 . 29) (25 . 30)) 5016 0.5688 10.3826 ((12 . 2) (20 . 6) (21 . 7) (25 . 10)) 5038 0.4917 4.8724 ((21 . 13) (22 . 14) (23 . 15) (24 . 16)) 5044 0.5697 9.3664 ((21 . 4) (22 . 3) (23 . 8) (24 . 9)) 5053 0.3789 8.3044 ((21 . 1) (23 . 5) (24 . 6) (25 . 7)) 5065 0.5696 9.3765 ((20 . 1) (22 . 3) (23 . 8) (24 . 7)) 5068 0.3787 10.1500 ((20 . 19) (21 . 21) (23 . 24) (25 . 27)) 5069 0.2944 10.8105 ((12 . 1) (20 . 6) (21 . 8) (22 . 9)) 5083 0.3790 6.6001 ((21 . 3) (22 . 5) (23 . 6) (24 . 8)) 5092 0.3786 11.1614 ((12 . 9) (20 . 13) (21 . 15) (25 . 19)) 5101 0.5581 15.7162 ((12 . 6) (21 . 14) (23 . 15) (25 . 17)) 5103 0.2943 13.1881 ((12 . 3) (20 . 7) (22 . 9) (25 . 12)) 5121 0.5709 6.8397 ((20 . 23) (22 . 27) (23 . 30) (24 . 31)) 5132 0.5705 7.9333 ((12 . 19) (21 . 24) (22 . 26) (24 . 28)) 5134 0.5702 8.4550 ((12 . 7) (20 . 11) (21 . 15) (23 . 17)) 5145 0.5663 12.2477 ((20 . 4) (21 . 7) (23 . 10) (25 . 11)) 5167 0.5687 10.4758 ((12 . 2) (21 . 8) (22 . 9) (25 . 13)) 5176 0.4913 8.3245 ((21 . 83) (22 . 86) (23 . 87) (24 . 88)) 5192 0.4448 10.1768 ((12 . 10) (21 . 19) (22 . 20) (25 . 23)) 5198 0.4450 9.4418 ((20 . 25) (21 . 27) (22 . 30) (23 . 32)) 5209 0.2477 8.0408 ((21 . 2) (22 . 3) (23 . 4) (25 . 6)) 5212 0.2945 10.4548 ((12 . 20) (20 . 25) (21 . 27) (22 . 30)) 5215 0.5708 7.2554 ((12 . 6) (20 . 8) (22 . 12) (24 . 15)) 5231 0.4916 6.4532 ((21 . 9) (22 . 12) (23 . 13) (24 . 14)) 5266 0.3789 8.3337 ((12 . 3) (21 . 12) (22 . 13) (23 . 15)) 5278 0.1992 9.8278 ((20 . 1) (21 . 3) (23 . 7) (24 . 8)) 5307 0.5700 8.8655 ((20 . 52) (21 . 56) (22 . 57) (23 . 58)) 5312 0.4917 5.8409 ((22 . 3) (23 . 4) (24 . 5) (25 . 6)) 5318 0.1992 9.4203 ((20 . 20) (22 . 22) (23 . 23) (24 . 24)) 5323 0.5692 9.8913 ((12 . 2) (21 . 8) (22 . 10) (23 . 11)) 5324 0.5665 12.1588 ((12 . 1) (20 . 4) (21 . 6) (25 . 13)) 5368 0.5704 8.0842 ((12 . 8) (22 . 18) (23 . 19) (24 . 20)) 5378 0.4443 11.7179 ((21 . 13) (22 . 15) (23 . 16) (25 . 20)) 5411 0.5696 9.4193 ((21 . 5) (22 . 6) (23 . 8) (25 . 9)) 5414 0.2477 8.6254 ((22 . 14) (23 . 15) (24 . 16) (25 . 17)) 5418 0.1992 9.6177 ((21 . 4) (22 . 5) (24 . 9) (25 . 10)) 5487 0.5690 10.1364 ((20 . 1) (21 . 5) (24 . 9) (25 . 10)) 5489 0.5689 10.2556 ((12 . 4) (22 . 13) (24 . 16) (25 . 15)) 5500 0.1992 8.8056 ((20 . 6) (21 . 10) (22 . 12) (24 . 14)) 5501 0.1664 10.5163 ((21 . 22) (22 . 24) (23 . 25) (25 . 28)) 5525 0.2943 12.7549 ((12 . 5) (20 . 11) (21 . 12) (25 . 14)) 5557 0.5704 8.1457 ((22 . 1) (23 . 2) (24 . 3) (25 . 5)) 5560 0.5698 9.1061 ((20 . 18) (23 . 22) (24 . 23) (25 . 24)) 5562 0.5703 8.3780 ((20 . 9) (21 . 10) (24 . 14) (25 . 15)) 5594 0.1992 12.7679 ((12 . 2) (20 . 7) (21 . 8) (25 . 13)) 5600 0.5706 7.7930 ((20 . 1) (21 . 4) (22 . 6) (25 . 10)) 5601 0.2477 7.8334 ((20 . 4) (21 . 6) (22 . 7) (23 . 8)) 5656 0.4454 6.3403 ((20 . 11) (21 . 13) (22 . 14) (25 . 19)) 5689 0.1992 9.7310 ((12 . 1) (20 . 4) (21 . 7) (25 . 9)) 5701 0.5713 5.1240 ((20 . 7) (22 . 12) (24 . 14) (25 . 15)) 5702 0.5632 13.8347 ((12 . 4) (20 . 10) (21 . 11) (25 . 15)) 5703 0.5696 9.4457 ((20 . 3) (22 . 5) (23 . 6) (24 . 7)) 5718 0.2477 12.0822 ((21 . 15) (22 . 14) (23 . 17) (25 . 22)) 5731 0.3789 8.5598 ((20 . 1) (22 . 4) (23 . 5) (24 . 7)) 5746 0.5702 8.6087 ((12 . 1) (21 . 5) (22 . 7) (23 . 10)) 5761 0.2478 7.3340 ((21 . 29) (23 . 31) (24 . 32) (25 . 33)) 5771 0.5701 8.7300 ((12 . 2) (21 . 10) (24 . 17) (25 . 19)) 5782 0.5702 8.4680 ((20 . 3) (21 . 23) (23 . 26) (25 . 28)) 5794 0.5709 6.9273 ((12 . 13) (20 . 17) (22 . 19) (24 . 23)) 5795 0.5641 13.4102 ((20 . 5) (23 . 9) (24 . 10) (25 . 12)) 5809 0.1993 7.5739 ((21 . 2) (22 . 3) (24 . 5) (25 . 6)) 5827 0.4452 8.7117 ((22 . 2) (23 . 3) (24 . 4) (25 . 6)) 5847 0.2945 7.4564 ((22 . 17) (23 . 18) (24 . 20) (25 . 21)) 5878 0.8089 3.0230 ((12 . 13) (20 . 22) (21 . 24) (22 . 25) (24 . 30) (25 . 31)) 5904 0.3786 10.9957 ((12 . 2) (20 . 5) (21 . 6) (25 . 10)) 5913 0.5706 7.7599 ((20 . 1) (21 . 4) (22 . 5) (23 . 6)) 5930 0.4450 9.5776 ((20 . 5) (21 . 6) (22 . 7) (23 . 9)) 5939 0.4445 11.2684 ((12 . 5) (20 . 12) (21 . 15) (22 . 14)) 5945 0.5704 8.1714 ((12 . 22) (22 . 28) (24 . 32) (25 . 34)) 5955 0.2477 9.5683 ((20 . 10) (21 . 12) (22 . 14) (23 . 16)) 5972 0.4453 7.5713 ((20 . 4) (21 . 5) (22 . 6) (23 . 7)) 6000 0.2654 8.3722 ((20 . 3) (21 . 16) (22 . 17) (23 . 21) (25 . 22)) 6029 0.5688 10.3748 ((20 . 2) (22 . 6) (24 . 10) (25 . 12)) 6041 0.7137 5.3916 ((12 . 3) (20 . 4) (21 . 5) (22 . 10) (25 . 14)) 6061 0.3788 9.7988 ((12 . 12) (23 . 20) (24 . 21) (25 . 22)) 6075 0.2477 8.5770 ((20 . 16) (21 . 18) (22 . 20) (23 . 21)) 6079 0.3790 7.5268 ((20 . 2) (22 . 7) (23 . 8) (25 . 12)) 6089 0.3787 10.3223 ((12 . 2) (22 . 11) (23 . 12) (25 . 15)) 6099 0.5703 8.3644 ((20 . 12) (21 . 15) (22 . 18) (25 . 20)) 6169 0.2941 15.5751 ((12 . 4) (20 . 9) (21 . 10) (25 . 12)) 6191 0.4437 12.9231 ((20 . 1) (22 . 4) (23 . 6) (25 . 7)) 6192 0.5635 13.7259 ((12 . 4) (20 . 9) (22 . 11) (25 . 16)) 6225 0.5685 10.6134 ((12 . 1) (20 . 2) (22 . 7) (25 . 11)) 6228 0.2945 8.6759 ((21 . 10) (22 . 12) (24 . 14) (25 . 16)) 6234 0.4915 7.2983 ((22 . 9) (23 . 10) (24 . 13) (25 . 14)) 6238 0.5712 5.3082 ((20 . 1) (22 . 3) (23 . 4) (24 . 5)) 6251 0.1332 12.0161 ((12 . 9) (20 . 11) (22 . 15) (25 . 20)) 6258 0.1992 9.2769 ((12 . 2) (21 . 11) (23 . 12) (25 . 14)) 6261 0.2945 6.9600 ((12 . 2) (21 . 10) (22 . 11) (25 . 17)) 6270 0.3789 8.5521 ((20 . 14) (22 . 17) (23 . 18) (25 . 19)) 6271 0.4907 9.9308 ((21 . 6) (23 . 7) (24 . 8) (25 . 9)) 6294 0.3788 9.4942 ((12 . 10) (21 . 21) (24 . 25) (25 . 26)) 6344 0.5694 9.7249 ((12 . 2) (21 . 10) (24 . 13) (25 . 16)) 6356 0.1992 9.7902 ((12 . 3) (20 . 8) (22 . 11) (23 . 13)) 6369 0.2477 9.0646 ((20 . 27) (21 . 28) (23 . 31) (25 . 36)) 6376 0.5649 13.0608 ((20 . 18) (21 . 20) (23 . 26) (25 . 29)) 6391 0.2945 7.4963 ((12 . 2) (21 . 7) (22 . 8) (23 . 10)) 6392 0.2477 12.1130 ((12 . 2) (21 . 10) (22 . 9) (25 . 14)) 6399 0.5710 6.7317 ((20 . 23) (22 . 27) (23 . 28) (24 . 29)) 6403 0.5710 6.4767 ((20 . 9) (22 . 13) (23 . 14) (24 . 15)) 6434 0.5701 8.6753 ((21 . 1) (22 . 2) (23 . 3) (25 . 6)) 6462 0.4884 13.3628 ((12 . 9) (20 . 14) (21 . 15) (22 . 18)) 6498 0.5691 10.0821 ((20 . 32) (21 . 35) (23 . 37) (25 . 39)) 6506 0.1992 16.9397 ((12 . 18) (20 . 22) (21 . 23) (25 . 25)) 6520 0.1993 8.2390 ((20 . 22) (21 . 23) (22 . 24) (23 . 25)) 6548 0.3775 15.2033 ((12 . 3) (22 . 12) (23 . 13) (25 . 15)) 6553 0.2942 13.9752 ((12 . 12) (20 . 19) (23 . 24) (25 . 27)) 6561 0.5912 10.4463 ((12 . 5) (20 . 11) (22 . 13) (23 . 15) (25 . 16)) 6584 0.3787 10.4069 ((21 . 4) (22 . 6) (24 . 9) (25 . 10)) 6585 0.4453 7.9343 ((20 . 3) (21 . 5) (22 . 6) (23 . 8)) 6598 0.2478 6.1683 ((22 . 8) (23 . 10) (24 . 11) (25 . 12)) END