6506 25 0.3076 9.0874 ((17 . 5) (18 . 9) (22 . 12) (24 . 14)) 77 0.2852 14.1457 ((20 . 3) (23 . 10) (24 . 12) (28 . 17)) 91 0.3076 9.3548 ((18 . 30) (21 . 35) (22 . 36) (29 . 47)) 147 0.3076 10.4884 ((18 . 1) (23 . 7) (24 . 8) (25 . 9)) 150 0.2553 11.1489 ((17 . 17) (18 . 18) (21 . 21) (23 . 24)) 157 0.3073 13.7614 ((16 . 12) (17 . 13) (20 . 17) (22 . 22)) 207 0.3075 12.2254 ((23 . 11) (25 . 14) (28 . 16) (29 . 17)) 259 0.3074 13.2795 ((16 . 1) (17 . 2) (21 . 6) (23 . 8)) 293 0.3076 10.2721 ((20 . 1) (23 . 3) (25 . 5) (27 . 6)) 300 0.3076 10.7137 ((16 . 4) (17 . 5) (21 . 11) (22 . 12)) 317 0.3076 9.0548 ((18 . 1) (20 . 3) (24 . 9) (25 . 10)) 351 0.3077 7.4543 ((24 . 5) (25 . 6) (28 . 9) (29 . 10)) 361 0.2284 8.9369 ((23 . 5) (25 . 7) (28 . 9) (30 . 13)) 433 0.2853 11.6583 ((20 . 2) (21 . 3) (22 . 4) (24 . 8)) 442 0.3076 8.7191 ((17 . 3) (20 . 9) (25 . 15) (27 . 17)) 472 0.3076 9.4786 ((17 . 23) (18 . 24) (21 . 28) (22 . 29)) 495 0.1919 13.8526 ((16 . 2) (18 . 4) (22 . 10) (23 . 12)) 541 0.3075 11.8511 ((21 . 1) (24 . 6) (25 . 9) (29 . 13)) 553 0.3076 9.2093 ((18 . 3) (21 . 5) (28 . 14) (29 . 15)) 584 0.2552 14.2992 ((16 . 12) (23 . 27) (24 . 29) (27 . 33)) 609 0.3071 15.3186 ((20 . 36) (22 . 38) (23 . 39) (24 . 40)) 619 0.1919 10.8114 ((17 . 3) (20 . 5) (24 . 14) (27 . 17)) 624 0.3075 10.8182 ((24 . 2) (25 . 3) (29 . 6) (30 . 8)) 635 0.2854 9.4507 ((21 . 2) (23 . 7) (25 . 9) (28 . 12)) 672 0.3076 8.2611 ((24 . 1) (25 . 2) (28 . 4) (30 . 7)) 678 0.3076 9.0622 ((20 . 23) (22 . 27) (24 . 30) (25 . 32)) 729 0.2551 15.7803 ((17 . 3) (22 . 12) (27 . 21) (30 . 23)) 782 0.3076 8.5613 ((18 . 1) (25 . 11) (27 . 12) (28 . 13)) 792 0.3697 9.0336 ((16 . 2) (20 . 3) (23 . 8) (27 . 10) (29 . 11)) 818 0.2553 13.8137 ((20 . 3) (21 . 5) (22 . 9) (23 . 11)) 834 0.3075 11.0702 ((17 . 36) (21 . 41) (22 . 42) (23 . 44)) 861 0.3075 10.9994 ((18 . 4) (20 . 5) (22 . 6) (29 . 14)) 901 0.3075 11.1004 ((16 . 4) (18 . 8) (23 . 14) (25 . 18)) 928 0.3061 19.9304 ((17 . 2) (22 . 9) (24 . 13) (30 . 19)) 943 0.2552 13.9770 ((16 . 3) (17 . 5) (18 . 7) (23 . 13)) 945 0.2972 13.9698 ((20 . 13) (22 . 16) (27 . 23) (29 . 25)) 960 0.3076 8.0245 ((20 . 15) (23 . 23) (24 . 24) (28 . 27)) 978 0.3073 13.9068 ((16 . 5) (20 . 9) (22 . 12) (27 . 18)) 1005 0.2853 10.9074 ((20 . 3) (21 . 4) (23 . 6) (24 . 8)) 1007 0.3076 8.6268 ((17 . 4) (20 . 6) (24 . 15) (28 . 21)) 1034 0.2852 13.7306 ((16 . 19) (17 . 23) (21 . 27) (24 . 36)) 1043 0.3074 12.4857 ((16 . 5) (18 . 9) (20 . 11) (22 . 15)) 1082 0.3074 13.1431 ((18 . 25) (23 . 32) (25 . 35) (30 . 39)) 1084 0.2973 12.9057 ((22 . 2) (23 . 4) (24 . 6) (28 . 15)) 1124 0.3076 10.5062 ((16 . 8) (17 . 9) (18 . 10) (22 . 14)) 1165 0.3077 7.4944 ((21 . 11) (24 . 16) (28 . 20) (30 . 23)) 1167 0.3074 12.7531 ((17 . 19) (21 . 24) (23 . 28) (25 . 29)) 1204 0.3077 7.6373 ((20 . 13) (24 . 19) (25 . 21) (29 . 30)) 1210 0.3076 9.3893 ((24 . 3) (25 . 4) (28 . 6) (29 . 7)) 1267 0.3076 9.3332 ((16 . 5) (17 . 6) (18 . 8) (24 . 18)) 1268 0.3076 8.2759 ((20 . 16) (21 . 17) (22 . 18) (30 . 28)) 1301 0.2550 17.9385 ((23 . 2) (24 . 3) (25 . 6) (29 . 8)) 1345 0.3074 12.6476 ((16 . 6) (18 . 8) (20 . 10) (25 . 19)) 1388 0.2853 11.0434 ((16 . 3) (20 . 7) (22 . 11) (23 . 12)) 1395 0.1919 8.3698 ((18 . 2) (20 . 4) (21 . 5) (23 . 6)) 1415 0.1479 15.9618 ((21 . 1) (22 . 2) (24 . 5) (25 . 6)) 1447 0.2973 12.5527 ((16 . 2) (18 . 4) (20 . 6) (22 . 10)) 1470 0.3845 7.8884 ((21 . 12) (23 . 15) (24 . 16) (25 . 17) (27 . 18)) 1472 0.3075 11.2525 ((17 . 9) (20 . 11) (21 . 12) (23 . 14)) 1476 0.2554 9.3675 ((17 . 10) (18 . 13) (21 . 17) (23 . 19)) 1497 0.3076 8.4195 ((17 . 16) (18 . 17) (21 . 20) (25 . 26)) 1513 0.3074 12.3644 ((20 . 1) (23 . 7) (28 . 14) (30 . 16)) 1577 0.3076 9.3518 ((16 . 9) (17 . 11) (27 . 25) (28 . 26)) 1591 0.2552 15.0106 ((17 . 15) (18 . 17) (20 . 18) (23 . 20)) 1595 0.2284 10.1655 ((20 . 1) (21 . 2) (23 . 6) (24 . 9)) 1604 0.3075 11.5359 ((16 . 6) (17 . 8) (18 . 9) (21 . 13)) 1690 0.3075 10.9801 ((16 . 9) (18 . 12) (25 . 26) (28 . 28)) 1724 0.3076 9.8653 ((25 . 1) (27 . 3) (28 . 4) (29 . 5)) 1731 0.2854 10.4952 ((17 . 5) (18 . 7) (22 . 10) (23 . 11)) 1736 0.1919 9.6382 ((21 . 2) (25 . 8) (27 . 9) (28 . 11)) 1738 0.2973 12.7453 ((16 . 10) (25 . 16) (29 . 20) (30 . 25)) 1761 0.3072 14.4871 ((23 . 8) (25 . 10) (28 . 14) (30 . 18)) 1776 0.3071 15.1934 ((18 . 6) (20 . 8) (27 . 22) (30 . 25)) 1793 0.3076 10.1875 ((18 . 9) (23 . 15) (24 . 17) (25 . 18)) 1796 0.3072 14.4676 ((21 . 2) (22 . 3) (23 . 5) (25 . 7)) 1894 0.3055 21.5391 ((16 . 3) (23 . 15) (24 . 16) (30 . 24)) 1896 0.3072 14.4467 ((16 . 10) (23 . 21) (25 . 28) (27 . 30)) 1897 0.2852 13.6619 ((21 . 36) (22 . 37) (27 . 44) (28 . 45)) 1908 0.3076 9.3285 ((23 . 4) (24 . 5) (28 . 8) (29 . 9)) 1909 0.2971 15.4351 ((21 . 24) (22 . 26) (24 . 32) (28 . 36)) 1944 0.3076 9.2126 ((21 . 6) (27 . 8) (28 . 12) (30 . 20)) 1957 0.3074 12.5789 ((18 . 10) (22 . 14) (24 . 18) (25 . 20)) 1961 0.2283 13.6668 ((17 . 12) (18 . 13) (22 . 18) (23 . 23)) 1987 0.3075 11.7027 ((25 . 9) (27 . 10) (29 . 12) (30 . 13)) 2048 0.3077 6.6523 ((20 . 3) (21 . 5) (28 . 12) (29 . 14)) 2054 0.2974 11.5745 ((17 . 7) (21 . 12) (22 . 15) (23 . 16)) 2067 0.3069 16.7254 ((20 . 48) (25 . 58) (28 . 62) (30 . 64)) 2081 0.3069 16.4888 ((18 . 1) (25 . 13) (27 . 14) (30 . 18)) 2097 0.1919 12.4357 ((16 . 2) (22 . 15) (23 . 19) (24 . 20)) 2114 0.1322 19.4184 ((17 . 30) (18 . 33) (22 . 38) (23 . 39)) 2117 0.3075 11.6357 ((16 . 3) (20 . 8) (24 . 21) (27 . 26)) 2122 0.2974 11.6058 ((23 . 5) (25 . 7) (29 . 11) (30 . 13)) 2166 0.2551 15.8055 ((16 . 10) (17 . 14) (21 . 18) (23 . 22)) 2179 0.2853 12.5782 ((20 . 2) (25 . 12) (28 . 16) (30 . 19)) 2233 0.2852 13.4653 ((21 . 1) (23 . 6) (24 . 7) (25 . 8)) 2249 0.3073 13.6444 ((17 . 1) (23 . 9) (24 . 10) (30 . 19)) 2269 0.3074 12.8265 ((23 . 1) (24 . 3) (25 . 5) (29 . 9)) 2279 0.3074 12.4863 ((17 . 6) (20 . 12) (21 . 14) (23 . 21)) 2295 0.1919 12.6157 ((21 . 1) (22 . 2) (23 . 4) (28 . 7)) 2298 0.3077 7.4073 ((17 . 3) (18 . 5) (24 . 14) (25 . 16)) 2308 0.3075 11.0246 ((23 . 1) (24 . 3) (29 . 7) (30 . 10)) 2340 0.1632 14.6731 ((16 . 8) (18 . 10) (20 . 12) (21 . 15)) 2342 0.4605 10.7018 ((20 . 1) (23 . 3) (24 . 4) (25 . 5) (27 . 6) (29 . 7)) 2344 0.3077 6.6469 ((20 . 9) (24 . 15) (29 . 16) (30 . 23)) 2364 0.3075 11.1166 ((16 . 6) (18 . 8) (20 . 10) (21 . 11)) 2440 0.1919 12.8765 ((16 . 5) (18 . 10) (20 . 12) (24 . 19)) 2443 0.3076 8.6142 ((25 . 5) (27 . 6) (28 . 7) (30 . 9)) 2447 0.3077 7.9410 ((21 . 14) (24 . 20) (29 . 27) (30 . 29)) 2465 0.3077 7.9301 ((20 . 3) (21 . 4) (23 . 7) (24 . 8)) 2510 0.3074 13.2278 ((21 . 2) (23 . 6) (25 . 8) (28 . 11)) 2525 0.2974 11.6761 ((20 . 39) (23 . 44) (24 . 46) (28 . 52)) 2533 0.2972 14.3343 ((18 . 3) (20 . 5) (23 . 11) (27 . 16)) 2544 0.2854 8.7306 ((23 . 18) (24 . 19) (25 . 21) (27 . 24)) 2557 0.1632 17.2461 ((22 . 1) (23 . 4) (24 . 5) (27 . 8)) 2591 0.3796 7.3959 ((16 . 36) (23 . 37) (24 . 38) (27 . 39) (30 . 42)) 2595 0.2852 12.9607 ((16 . 2) (20 . 7) (23 . 14) (24 . 15)) 2627 0.3075 11.5870 ((20 . 55) (21 . 56) (23 . 59) (25 . 62)) 2634 0.3076 10.5766 ((20 . 2) (21 . 3) (23 . 5) (28 . 12)) 2658 0.3074 13.2903 ((23 . 4) (24 . 6) (25 . 8) (27 . 9)) 2682 0.2972 14.4716 ((17 . 4) (23 . 16) (25 . 18) (28 . 20)) 2703 0.3075 10.7941 ((23 . 3) (24 . 4) (25 . 5) (27 . 6)) 2733 0.2854 6.8684 ((24 . 7) (25 . 9) (27 . 12) (28 . 13)) 2753 0.3075 11.0034 ((23 . 2) (24 . 3) (25 . 5) (29 . 8)) 2773 0.2975 10.0139 ((23 . 4) (24 . 7) (25 . 8) (27 . 9)) 2830 0.3017 17.2317 ((23 . 4) (25 . 6) (28 . 10) (30 . 12)) 2834 0.3060 20.0010 ((16 . 2) (22 . 10) (23 . 11) (24 . 15)) 2842 0.3076 9.6381 ((21 . 6) (22 . 7) (23 . 10) (25 . 12)) 2867 0.2553 13.2552 ((18 . 1) (20 . 3) (23 . 10) (24 . 11)) 2947 0.3076 8.9537 ((20 . 5) (22 . 8) (27 . 16) (29 . 18)) 2950 0.3076 10.1042 ((21 . 7) (23 . 10) (24 . 11) (25 . 12)) 3014 0.3076 10.5603 ((20 . 9) (23 . 12) (24 . 14) (25 . 15)) 3019 0.3842 10.9408 ((16 . 8) (21 . 12) (23 . 15) (27 . 18) (29 . 24)) 3034 0.3075 12.3021 ((17 . 6) (21 . 11) (22 . 13) (23 . 15)) 3041 0.3077 6.8326 ((17 . 7) (20 . 11) (21 . 13) (24 . 17)) 3070 0.2853 10.8049 ((20 . 30) (21 . 31) (23 . 34) (24 . 37)) 3084 0.3076 10.3951 ((17 . 8) (18 . 10) (25 . 22) (29 . 25)) 3127 0.2975 9.7797 ((17 . 9) (20 . 16) (21 . 17) (22 . 18)) 3176 0.3076 10.2489 ((17 . 32) (18 . 33) (20 . 34) (25 . 37)) 3197 0.3076 9.9738 ((20 . 7) (24 . 15) (27 . 17) (30 . 22)) 3200 0.1919 10.1315 ((23 . 2) (24 . 5) (25 . 7) (29 . 12)) 3202 0.3074 13.2846 ((17 . 7) (23 . 15) (28 . 20) (29 . 21)) 3222 0.2850 15.3687 ((24 . 13) (27 . 17) (29 . 22) (30 . 23)) 3286 0.3076 9.0267 ((18 . 2) (21 . 6) (24 . 11) (25 . 12)) 3310 0.3072 14.6366 ((18 . 1) (23 . 6) (25 . 10) (27 . 11)) 3322 0.0997 11.9772 ((21 . 2) (23 . 6) (24 . 8) (25 . 10)) 3334 0.3077 7.9431 ((21 . 7) (23 . 11) (24 . 12) (25 . 13)) 3339 0.3075 12.2933 ((16 . 8) (23 . 20) (25 . 24) (27 . 25)) 3362 0.2974 10.7891 ((16 . 3) (18 . 7) (20 . 9) (22 . 12)) 3391 0.3076 8.3888 ((22 . 7) (25 . 14) (29 . 18) (30 . 19)) 3415 0.3077 6.0525 ((16 . 18) (18 . 21) (20 . 23) (21 . 24)) 3446 0.3076 10.0992 ((21 . 4) (23 . 9) (24 . 10) (25 . 11)) 3470 0.3076 9.9191 ((23 . 9) (24 . 10) (25 . 11) (29 . 14)) 3495 0.2973 12.9081 ((21 . 6) (23 . 9) (24 . 11) (27 . 14)) 3496 0.2972 13.8042 ((16 . 20) (17 . 21) (20 . 25) (23 . 28)) 3538 0.2283 13.6622 ((20 . 17) (23 . 21) (28 . 27) (29 . 28)) 3561 0.3076 8.4367 ((16 . 17) (20 . 23) (22 . 25) (25 . 32)) 3585 0.3075 11.2332 ((23 . 17) (24 . 18) (25 . 19) (29 . 22)) 3613 0.3076 9.5381 ((21 . 28) (22 . 30) (28 . 38) (29 . 39)) 3628 0.2971 14.8291 ((23 . 7) (25 . 11) (28 . 13) (30 . 16)) 3651 0.3760 9.9010 ((16 . 2) (20 . 10) (24 . 20) (27 . 25) (28 . 26)) 3656 0.1919 16.9397 ((18 . 12) (22 . 20) (23 . 21) (25 . 25)) 3658 0.3076 9.3050 ((20 . 2) (28 . 14) (29 . 15) (30 . 16)) 3661 0.3076 10.6826 ((18 . 6) (23 . 18) (27 . 22) (28 . 25)) 3732 0.2553 12.3066 ((21 . 4) (23 . 8) (24 . 10) (27 . 13)) 3733 0.2971 14.7563 ((23 . 4) (24 . 5) (25 . 7) (27 . 9)) 3778 0.3076 8.7566 ((20 . 8) (21 . 9) (28 . 21) (29 . 23)) 3787 0.3076 8.7370 ((18 . 24) (20 . 26) (21 . 28) (25 . 37)) 3807 0.1633 11.7165 ((23 . 48) (24 . 49) (27 . 51) (28 . 52)) 3817 0.3074 13.1869 ((23 . 3) (25 . 6) (27 . 8) (30 . 12)) 3829 0.3076 10.3086 ((23 . 3) (24 . 4) (27 . 7) (28 . 8)) 3830 0.2551 16.0847 ((23 . 1) (25 . 3) (27 . 5) (30 . 6)) 3831 0.1919 14.3100 ((23 . 1) (25 . 4) (29 . 7) (30 . 11)) 3834 0.2854 8.7719 ((23 . 4) (25 . 6) (27 . 7) (28 . 8)) 3847 0.3077 5.2413 ((20 . 10) (24 . 11) (25 . 12) (29 . 15)) 3853 0.3075 10.8301 ((21 . 11) (23 . 16) (24 . 19) (25 . 20)) 3870 0.3076 9.9778 ((23 . 6) (24 . 7) (28 . 11) (29 . 12)) 3938 0.1919 13.9928 ((18 . 1) (20 . 3) (22 . 5) (23 . 12)) 3986 0.3022 14.3665 ((23 . 10) (27 . 16) (28 . 19) (29 . 20)) 4009 0.3076 10.4388 ((18 . 10) (21 . 16) (22 . 17) (23 . 20)) 4011 0.2854 9.4221 ((20 . 1) (21 . 2) (22 . 3) (23 . 5)) 4030 0.3076 8.6706 ((18 . 4) (21 . 7) (27 . 14) (28 . 15)) 4034 0.2971 14.7656 ((16 . 1) (17 . 3) (21 . 7) (22 . 8)) 4037 0.1632 13.0171 ((23 . 4) (24 . 6) (25 . 7) (27 . 8)) 4062 0.3076 10.7760 ((16 . 34) (20 . 39) (23 . 45) (28 . 51)) 4067 0.3076 9.7885 ((16 . 11) (18 . 13) (20 . 15) (22 . 19)) 4077 0.3077 7.4223 ((16 . 6) (17 . 7) (23 . 14) (28 . 18)) 4115 0.3075 11.8955 ((23 . 2) (24 . 4) (27 . 9) (28 . 11)) 4134 0.3074 12.5876 ((18 . 25) (23 . 31) (24 . 32) (25 . 33)) 4151 0.3075 12.2025 ((17 . 1) (21 . 6) (23 . 11) (25 . 14)) 4192 0.2283 12.0408 ((18 . 14) (20 . 16) (21 . 18) (22 . 20)) 4195 0.3835 13.8118 ((17 . 4) (18 . 5) (20 . 7) (21 . 8) (24 . 11)) 4204 0.1242 12.2297 ((23 . 1) (24 . 2) (27 . 4) (28 . 6)) 4216 0.3076 9.8795 ((24 . 12) (25 . 13) (27 . 14) (29 . 16)) 4226 0.3075 11.0092 ((25 . 2) (27 . 3) (29 . 5) (30 . 10)) 4242 0.3073 14.3170 ((16 . 3) (18 . 6) (20 . 8) (22 . 10)) 4243 0.3073 13.8357 ((16 . 1) (17 . 2) (20 . 5) (21 . 6)) 4254 0.3073 14.3044 ((20 . 10) (21 . 12) (22 . 14) (23 . 16)) 4261 0.3076 9.9165 ((25 . 13) (27 . 14) (29 . 15) (30 . 17)) 4266 0.3074 12.8513 ((20 . 1) (24 . 7) (27 . 10) (29 . 14)) 4281 0.3073 13.5733 ((20 . 7) (21 . 9) (22 . 11) (23 . 16)) 4299 0.2850 15.8147 ((17 . 1) (20 . 5) (21 . 7) (23 . 10)) 4326 0.3076 10.3073 ((18 . 3) (21 . 6) (23 . 14) (25 . 16)) 4352 0.3076 9.7740 ((16 . 7) (17 . 11) (18 . 12) (20 . 14)) 4386 0.3791 11.3429 ((16 . 2) (20 . 5) (22 . 7) (25 . 11) (27 . 12)) 4388 0.1479 13.0121 ((16 . 2) (18 . 4) (24 . 13) (25 . 14)) 4408 0.3076 10.3300 ((23 . 20) (24 . 22) (25 . 23) (27 . 24)) 4419 0.1919 8.5675 ((16 . 1) (17 . 2) (18 . 5) (22 . 11)) 4470 0.3069 16.3395 ((16 . 11) (18 . 15) (22 . 22) (23 . 23)) 4495 0.3075 11.8224 ((18 . 5) (22 . 11) (23 . 13) (29 . 19)) 4502 0.1480 9.0951 ((17 . 2) (18 . 3) (23 . 13) (25 . 16)) 4504 0.3076 9.6378 ((20 . 2) (24 . 11) (25 . 12) (30 . 18)) 4516 0.3068 17.2019 ((18 . 5) (21 . 11) (22 . 13) (24 . 17)) 4560 0.3074 13.3521 ((17 . 5) (21 . 10) (23 . 12) (25 . 19)) 4561 0.1919 12.5226 ((21 . 4) (22 . 6) (23 . 8) (25 . 11)) 4563 0.3071 15.1139 ((21 . 25) (22 . 27) (25 . 32) (27 . 33)) 4579 0.3447 14.7828 ((20 . 6) (21 . 8) (23 . 11) (24 . 13) (30 . 23)) 4589 0.3077 7.6460 ((24 . 20) (25 . 21) (27 . 24) (28 . 26)) 4607 0.3077 7.5593 ((24 . 2) (27 . 5) (28 . 8) (29 . 9)) 4621 0.2283 13.8182 ((16 . 1) (17 . 2) (18 . 5) (22 . 10)) 4671 0.3071 15.6822 ((16 . 3) (20 . 9) (21 . 10) (23 . 16)) 4678 0.2283 13.4314 ((20 . 1) (21 . 2) (22 . 3) (23 . 7)) 4699 0.3074 13.2584 ((23 . 8) (24 . 10) (28 . 12) (29 . 13)) 4715 0.3076 9.9199 ((23 . 4) (25 . 7) (27 . 9) (29 . 13)) 4716 0.3763 5.9102 ((23 . 4) (24 . 5) (25 . 7) (27 . 8) (28 . 9)) 4731 0.2284 8.7699 ((25 . 12) (27 . 13) (28 . 15) (29 . 16)) 4764 0.3076 10.1372 ((23 . 3) (24 . 5) (25 . 6) (28 . 8)) 4783 0.3074 12.4625 ((16 . 3) (17 . 6) (18 . 7) (23 . 12)) 4817 0.3077 5.5418 ((27 . 5) (28 . 6) (29 . 7) (30 . 13)) 4857 0.2849 16.6609 ((16 . 4) (20 . 12) (22 . 14) (23 . 15)) 4886 0.3075 11.7955 ((24 . 13) (25 . 14) (27 . 15) (30 . 18)) 4888 0.3075 11.8043 ((20 . 10) (21 . 11) (24 . 18) (30 . 24)) 4889 0.3076 8.0251 ((20 . 18) (21 . 19) (24 . 23) (25 . 24)) 4961 0.3759 10.9552 ((16 . 2) (20 . 4) (25 . 11) (29 . 16) (30 . 18)) 4963 0.3076 9.3102 ((18 . 3) (23 . 8) (24 . 9) (25 . 10)) 4978 0.3075 11.2206 ((20 . 19) (21 . 20) (28 . 29) (30 . 31)) 4982 0.2854 10.6994 ((16 . 2) (18 . 5) (24 . 15) (27 . 19)) 4998 0.3072 14.9396 ((16 . 5) (27 . 22) (29 . 24) (30 . 27)) 5000 0.2554 5.6943 ((25 . 32) (27 . 33) (28 . 34) (29 . 35)) 5016 0.3076 10.6248 ((20 . 5) (21 . 6) (23 . 8) (24 . 9)) 5053 0.3074 12.8523 ((18 . 7) (22 . 13) (23 . 14) (25 . 17)) 5068 0.3076 10.5133 ((20 . 3) (22 . 9) (23 . 11) (29 . 19)) 5069 0.3074 12.9140 ((18 . 3) (21 . 6) (24 . 14) (29 . 20)) 5073 0.3075 11.6813 ((17 . 31) (21 . 37) (23 . 41) (24 . 43)) 5080 0.3073 13.5620 ((16 . 1) (20 . 8) (22 . 11) (23 . 13)) 5092 0.3076 9.2971 ((20 . 3) (25 . 9) (27 . 10) (28 . 11)) 5101 0.3076 9.9365 ((21 . 17) (24 . 24) (27 . 27) (28 . 28)) 5103 0.3074 12.9632 ((16 . 5) (18 . 8) (21 . 11) (22 . 12)) 5121 0.3075 11.2313 ((16 . 13) (18 . 17) (21 . 22) (22 . 23)) 5132 0.3072 15.0152 ((16 . 14) (24 . 27) (25 . 29) (27 . 32)) 5134 0.3697 9.4049 ((18 . 5) (20 . 7) (21 . 8) (23 . 11) (25 . 16)) 5192 0.3077 6.8882 ((21 . 6) (22 . 7) (25 . 15) (29 . 18)) 5212 0.3072 14.6986 ((18 . 4) (23 . 13) (25 . 15) (29 . 17)) 5215 0.3073 13.7832 ((18 . 1) (22 . 6) (23 . 8) (27 . 13)) 5223 0.3076 9.2652 ((18 . 2) (21 . 7) (25 . 16) (27 . 18)) 5266 0.2974 11.2614 ((17 . 11) (21 . 16) (22 . 18) (23 . 19)) 5285 0.3075 12.1779 ((20 . 1) (21 . 3) (22 . 4) (23 . 6)) 5318 0.3075 11.5617 ((21 . 7) (23 . 9) (24 . 12) (27 . 14)) 5323 0.3076 9.7717 ((18 . 4) (24 . 15) (27 . 17) (29 . 18)) 5324 0.3074 12.3952 ((16 . 11) (18 . 13) (24 . 21) (30 . 29)) 5378 0.3076 9.6107 ((17 . 5) (21 . 10) (23 . 13) (25 . 20)) 5442 0.3076 8.7327 ((18 . 31) (21 . 33) (25 . 39) (27 . 40)) 5487 0.3022 14.2270 ((20 . 3) (21 . 5) (22 . 8) (23 . 10)) 5501 0.3076 8.1546 ((17 . 23) (18 . 26) (20 . 29) (21 . 32)) 5525 0.3071 15.1656 ((16 . 3) (20 . 9) (23 . 12) (24 . 13)) 5560 0.3074 13.0523 ((16 . 1) (18 . 3) (22 . 7) (27 . 14)) 5562 0.3075 10.9552 ((21 . 9) (22 . 10) (27 . 20) (28 . 21)) 5594 0.2972 14.4284 ((16 . 5) (18 . 7) (20 . 10) (22 . 13)) 5600 0.2283 11.2253 ((23 . 4) (27 . 7) (28 . 10) (29 . 12)) 5601 0.1919 13.6858 ((20 . 4) (21 . 6) (22 . 9) (23 . 11)) 5648 0.3076 10.7204 ((17 . 1) (18 . 2) (22 . 5) (23 . 7)) 5656 0.3076 9.0850 ((21 . 4) (24 . 12) (28 . 17) (29 . 19)) 5689 0.3759 10.7673 ((16 . 1) (21 . 2) (24 . 9) (29 . 14) (30 . 16)) 5701 0.3073 13.9252 ((16 . 3) (20 . 7) (22 . 10) (23 . 13)) 5702 0.3076 10.3749 ((21 . 4) (22 . 7) (29 . 13) (30 . 14)) 5704 0.3076 8.0334 ((25 . 6) (27 . 7) (28 . 8) (29 . 9)) 5746 0.3074 12.3549 ((16 . 1) (17 . 4) (18 . 5) (22 . 12)) 5749 0.2974 11.2532 ((22 . 1) (23 . 2) (28 . 8) (29 . 9)) 5770 0.3076 9.5169 ((20 . 18) (21 . 19) (22 . 21) (23 . 22)) 5771 0.3759 10.9844 ((16 . 2) (20 . 8) (21 . 10) (23 . 16) (25 . 19)) 5782 0.3075 11.4843 ((22 . 4) (23 . 7) (24 . 8) (25 . 9)) 5795 0.3076 8.5460 ((20 . 5) (22 . 7) (25 . 14) (27 . 15)) 5809 0.2850 15.3509 ((16 . 6) (18 . 8) (20 . 11) (23 . 16)) 5827 0.1633 10.8975 ((17 . 10) (23 . 18) (24 . 20) (27 . 22)) 5878 0.2553 13.1267 ((18 . 13) (21 . 21) (23 . 24) (25 . 31)) 5904 0.3073 13.6981 ((16 . 3) (18 . 6) (21 . 8) (22 . 10)) 5913 0.3076 9.6524 ((18 . 4) (21 . 8) (24 . 14) (25 . 16)) 5939 0.3073 13.6956 ((18 . 3) (20 . 5) (23 . 12) (24 . 13)) 5945 0.3077 6.6994 ((20 . 25) (24 . 29) (25 . 30) (27 . 31)) 5949 0.3076 9.8570 ((18 . 11) (21 . 15) (23 . 19) (25 . 21)) 5955 0.3074 13.2446 ((18 . 8) (22 . 13) (24 . 18) (25 . 19)) 5967 0.1919 9.8533 ((25 . 2) (27 . 6) (28 . 8) (29 . 10)) 6000 0.3076 9.3759 ((18 . 22) (21 . 27) (23 . 30) (24 . 32)) 6029 0.3072 14.7886 ((23 . 32) (27 . 36) (29 . 38) (30 . 39)) 6033 0.3077 7.5203 ((25 . 5) (27 . 6) (28 . 7) (29 . 9)) 6041 0.2282 15.6565 ((21 . 4) (22 . 5) (23 . 6) (28 . 14)) 6074 0.3076 10.7179 ((18 . 1) (21 . 5) (23 . 10) (27 . 14)) 6075 0.2973 12.9292 ((18 . 16) (20 . 19) (23 . 23) (27 . 30)) 6079 0.3077 6.5433 ((18 . 2) (21 . 14) (23 . 17) (28 . 18)) 6089 0.3075 11.0325 ((23 . 22) (24 . 30) (27 . 32) (28 . 33)) 6169 0.3076 8.6929 ((20 . 2) (25 . 9) (27 . 10) (28 . 11)) 6192 0.1919 13.3249 ((16 . 2) (20 . 7) (23 . 12) (24 . 16)) 6228 0.2974 10.7813 ((21 . 4) (22 . 6) (24 . 10) (28 . 16)) 6243 0.2852 13.7881 ((20 . 1) (22 . 5) (24 . 9) (27 . 12)) 6258 0.1919 12.4316 ((18 . 1) (21 . 5) (24 . 11) (27 . 14)) 6261 0.3075 11.7383 ((17 . 14) (23 . 23) (24 . 24) (25 . 25)) 6266 0.3075 11.7584 ((20 . 7) (22 . 11) (23 . 12) (24 . 13)) 6268 0.3072 14.5218 ((23 . 8) (24 . 9) (25 . 11) (28 . 13)) 6270 0.2849 16.2533 ((20 . 11) (22 . 14) (23 . 16) (24 . 19)) 6294 0.3076 8.8440 ((17 . 7) (18 . 10) (21 . 15) (24 . 24)) 6329 0.3077 5.2930 ((24 . 1) (27 . 4) (29 . 6) (30 . 7)) 6345 0.3076 9.9174 ((16 . 1) (17 . 2) (21 . 8) (22 . 9)) 6348 0.1633 11.0120 ((23 . 2) (24 . 3) (27 . 6) (28 . 8)) 6356 0.3075 10.8782 ((21 . 3) (24 . 10) (27 . 12) (29 . 16)) 6359 0.3076 10.7003 ((23 . 1) (27 . 4) (28 . 5) (29 . 6)) 6369 0.1632 14.6276 ((17 . 21) (20 . 25) (22 . 28) (28 . 36)) 6376 0.2974 11.1765 ((18 . 16) (21 . 18) (22 . 20) (27 . 30)) 6384 0.2854 9.8898 ((23 . 3) (24 . 4) (25 . 5) (27 . 6)) 6391 0.2975 9.7895 ((21 . 1) (23 . 4) (24 . 5) (28 . 9)) 6392 0.3076 10.3014 ((20 . 4) (21 . 5) (22 . 6) (28 . 16)) 6403 0.3077 7.4998 ((18 . 6) (20 . 11) (24 . 16) (25 . 18)) 6434 0.2284 8.3136 ((25 . 6) (27 . 7) (28 . 8) (29 . 9)) 6461 0.1632 14.0587 ((16 . 2) (17 . 4) (18 . 5) (20 . 7)) 6462 0.3076 10.0512 ((25 . 8) (27 . 9) (29 . 11) (30 . 14)) 6498 0.3076 9.3647 ((23 . 22) (27 . 27) (29 . 30) (30 . 32)) 6506 1.0000 0.0000 ((16 . 16) (17 . 17) (18 . 18) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (27 . 27) (28 . 28) (29 . 29) (30 . 30)) 6520 0.2553 11.2453 ((18 . 11) (23 . 18) (24 . 21) (25 . 22)) 6536 0.3842 10.5717 ((20 . 24) (21 . 25) (24 . 28) (25 . 29) (27 . 30)) 6548 0.2849 16.8902 ((18 . 1) (22 . 4) (23 . 6) (25 . 10)) 6561 0.2970 16.0984 ((22 . 2) (23 . 4) (24 . 5) (28 . 11)) 6573 0.1919 12.0975 ((21 . 16) (22 . 15) (23 . 18) (24 . 20)) 6578 0.3072 14.8895 ((22 . 33) (23 . 39) (24 . 40) (25 . 41)) 6586 0.2974 11.4749 ((23 . 16) (24 . 17) (25 . 19) (28 . 22)) 6587 0.3076 10.1489 ((20 . 27) (21 . 28) (23 . 35) (24 . 36)) 6605 0.3074 12.4646 ((21 . 1) (23 . 5) (24 . 6) (25 . 7)) 6613 0.3073 14.1183 ((16 . 15) (18 . 19) (21 . 23) (22 . 25)) 6622 0.3076 8.1234 ((24 . 4) (27 . 6) (29 . 8) (30 . 10)) 6635 0.3022 13.8172 ((21 . 2) (22 . 3) (23 . 6) (24 . 9)) END