553 25 0.2666 8.0147 ((1 . 9) (2 . 10) (3 . 12) (7 . 15)) 77 0.2666 9.6312 ((4 . 3) (9 . 10) (10 . 12) (14 . 16)) 91 0.2667 7.0988 ((1 . 14) (2 . 15) (4 . 22) (5 . 23)) 147 0.2667 7.2786 ((1 . 2) (2 . 3) (4 . 8) (6 . 9)) 155 0.2665 13.4704 ((3 . 1) (7 . 4) (9 . 6) (10 . 7)) 157 0.2666 10.1417 ((7 . 10) (9 . 12) (10 . 15) (15 . 22)) 207 0.2666 9.1185 ((5 . 6) (7 . 10) (14 . 16) (15 . 17)) 259 0.2666 8.1627 ((1 . 1) (3 . 5) (4 . 6) (6 . 8)) 293 0.2666 7.7916 ((3 . 1) (6 . 3) (7 . 4) (9 . 5)) 305 0.2665 12.7805 ((6 . 13) (7 . 14) (12 . 19) (15 . 25)) 317 0.2666 10.2407 ((2 . 2) (6 . 7) (7 . 9) (9 . 10)) 329 0.1608 9.6010 ((9 . 3) (12 . 5) (14 . 8) (15 . 9)) 350 0.2548 13.5951 ((9 . 3) (12 . 8) (14 . 9) (15 . 14)) 351 0.2667 5.7472 ((14 . 5) (15 . 6) (21 . 7) (22 . 8)) 361 0.1867 13.3391 ((2 . 5) (5 . 8) (6 . 9) (9 . 13)) 433 0.2615 11.2052 ((9 . 2) (10 . 4) (12 . 6) (15 . 8)) 442 0.2667 5.1981 ((3 . 3) (14 . 15) (15 . 16) (21 . 18)) 472 0.2615 9.8607 ((14 . 24) (15 . 28) (20 . 29) (22 . 33)) 495 0.2615 10.3454 ((1 . 4) (2 . 6) (4 . 10) (5 . 12)) 541 0.2666 8.0638 ((10 . 4) (12 . 5) (15 . 9) (22 . 13)) 543 0.2548 12.3639 ((9 . 3) (12 . 6) (14 . 9) (21 . 14)) 553 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (12 . 12) (14 . 14) (15 . 15) (20 . 20) (21 . 21) (22 . 22)) 584 0.2666 12.2701 ((10 . 6) (12 . 7) (14 . 9) (20 . 12)) 609 0.2666 10.4698 ((4 . 2) (6 . 4) (7 . 5) (9 . 7)) 619 0.2641 8.2797 ((10 . 10) (12 . 11) (14 . 14) (20 . 17)) 624 0.3291 7.7395 ((1 . 4) (2 . 12) (7 . 17) (15 . 19) (21 . 21)) 635 0.2167 8.3197 ((9 . 2) (12 . 5) (20 . 11) (21 . 12)) 672 0.2666 10.4266 ((7 . 1) (9 . 2) (10 . 4) (15 . 8)) 678 0.2667 6.7581 ((2 . 25) (5 . 32) (7 . 36) (15 . 43)) 729 0.2666 9.7105 ((2 . 12) (7 . 21) (10 . 23) (15 . 32)) 782 0.2666 10.0071 ((2 . 1) (3 . 4) (4 . 5) (9 . 11)) 792 0.6664 4.8823 ((2 . 5) (3 . 8) (4 . 10) (6 . 11) (7 . 13) (9 . 14) (10 . 16) (14 . 17) (15 . 19) (21 . 20)) 812 0.2665 13.0248 ((2 . 10) (3 . 12) (9 . 17) (12 . 20)) 818 0.2665 12.7847 ((12 . 1) (14 . 3) (15 . 5) (21 . 11)) 834 0.3333 6.2185 ((3 . 35) (6 . 36) (7 . 38) (10 . 41) (14 . 44)) 861 0.1867 8.5177 ((4 . 4) (9 . 6) (12 . 8) (14 . 10)) 901 0.2666 10.2961 ((6 . 2) (7 . 3) (15 . 10) (21 . 13)) 928 0.2362 10.9925 ((6 . 4) (7 . 6) (14 . 11) (22 . 17)) 943 0.1609 8.5911 ((12 . 2) (14 . 3) (20 . 7) (22 . 10)) 945 0.2665 12.9397 ((6 . 13) (9 . 16) (15 . 23) (21 . 25)) 960 0.3489 7.6518 ((4 . 5) (5 . 23) (7 . 26) (14 . 30) (15 . 33) (20 . 34)) 978 0.2666 8.1064 ((6 . 11) (7 . 12) (9 . 15) (14 . 18)) 1005 0.2547 14.3218 ((4 . 3) (6 . 5) (7 . 6) (10 . 8)) 1007 0.2666 8.4059 ((3 . 2) (5 . 6) (21 . 21) (22 . 22)) 1034 0.2666 12.0561 ((1 . 23) (2 . 24) (3 . 27) (4 . 31)) 1043 0.1867 10.2687 ((5 . 5) (6 . 7) (12 . 12) (14 . 15)) 1082 0.2666 7.5640 ((7 . 22) (15 . 28) (20 . 29) (22 . 32)) 1084 0.2613 14.1770 ((6 . 2) (9 . 6) (12 . 9) (22 . 21)) 1124 0.3327 13.9577 ((7 . 8) (9 . 9) (10 . 10) (14 . 11) (20 . 16)) 1165 0.3331 10.7815 ((3 . 5) (9 . 13) (10 . 15) (20 . 20) (22 . 23)) 1167 0.2640 12.2849 ((3 . 19) (7 . 26) (10 . 28) (14 . 29)) 1201 0.2615 7.7936 ((5 . 5) (7 . 8) (12 . 14) (15 . 19)) 1204 0.2666 8.1805 ((6 . 2) (9 . 27) (10 . 30) (15 . 32)) 1210 0.4666 5.4041 ((3 . 1) (4 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (14 . 7)) 1224 0.2361 14.0447 ((4 . 2) (12 . 9) (14 . 11) (15 . 13)) 1267 0.2666 9.8661 ((2 . 8) (4 . 14) (9 . 20) (20 . 27)) 1268 0.2666 9.5415 ((2 . 12) (9 . 20) (10 . 21) (14 . 26)) 1301 0.2166 14.1443 ((12 . 1) (14 . 3) (20 . 7) (21 . 8)) 1345 0.2666 8.1320 ((9 . 11) (12 . 12) (15 . 17) (21 . 19)) 1388 0.2666 10.0271 ((9 . 2) (10 . 3) (14 . 7) (21 . 12)) 1395 0.2666 11.4907 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1415 0.1867 7.0084 ((5 . 3) (6 . 4) (7 . 5) (9 . 6)) 1447 0.2548 11.4841 ((1 . 2) (3 . 6) (5 . 10) (6 . 12)) 1470 0.4000 4.3282 ((9 . 2) (10 . 3) (14 . 4) (15 . 5) (21 . 6) (22 . 7)) 1472 0.2666 8.0778 ((1 . 5) (3 . 10) (7 . 13) (9 . 14)) 1497 0.3330 11.9123 ((3 . 4) (5 . 8) (10 . 15) (21 . 21) (22 . 22)) 1508 0.2641 10.6469 ((10 . 1) (12 . 2) (14 . 4) (15 . 6)) 1513 0.2666 7.6286 ((12 . 6) (14 . 9) (15 . 12) (22 . 16)) 1577 0.2547 14.3518 ((3 . 11) (14 . 25) (20 . 27) (22 . 31)) 1591 0.2614 11.8902 ((2 . 10) (3 . 12) (5 . 15) (9 . 18)) 1595 0.1609 8.3438 ((6 . 1) (10 . 6) (12 . 7) (14 . 9)) 1604 0.2667 5.5501 ((2 . 11) (3 . 13) (4 . 14) (6 . 15)) 1622 0.2614 13.2644 ((4 . 17) (5 . 19) (9 . 21) (12 . 25)) 1624 0.1609 9.2125 ((10 . 1) (12 . 2) (20 . 10) (21 . 11)) 1643 0.2666 8.8366 ((9 . 21) (12 . 26) (14 . 29) (20 . 35)) 1665 0.1867 15.4231 ((10 . 1) (12 . 4) (14 . 7) (20 . 9)) 1690 0.2667 5.7978 ((1 . 7) (3 . 15) (7 . 26) (10 . 29)) 1724 0.2667 5.2130 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 1736 0.3186 7.7610 ((2 . 4) (4 . 6) (6 . 8) (7 . 9) (9 . 11)) 1738 0.2666 10.6786 ((10 . 10) (14 . 15) (15 . 16) (20 . 20)) 1747 0.2548 12.3736 ((2 . 1) (6 . 9) (14 . 20) (15 . 23)) 1761 0.2614 11.6791 ((10 . 6) (15 . 10) (20 . 12) (21 . 14)) 1763 0.2667 5.1164 ((9 . 6) (12 . 7) (14 . 11) (15 . 12)) 1776 0.2666 12.1855 ((7 . 6) (9 . 8) (10 . 11) (22 . 22)) 1778 0.2549 11.2039 ((9 . 6) (14 . 10) (15 . 11) (20 . 13)) 1793 0.2362 9.8486 ((4 . 7) (6 . 9) (12 . 14) (14 . 15)) 1796 0.2666 8.0558 ((1 . 1) (2 . 2) (4 . 6) (6 . 7)) 1894 0.2666 11.9425 ((4 . 15) (6 . 16) (14 . 24) (20 . 30)) 1896 0.2666 10.8186 ((9 . 2) (12 . 5) (15 . 10) (21 . 13)) 1897 0.2666 10.6905 ((7 . 37) (12 . 40) (14 . 44) (20 . 48)) 1908 0.2667 6.7233 ((9 . 4) (10 . 5) (15 . 8) (22 . 14)) 1909 0.2667 7.2924 ((4 . 30) (6 . 32) (7 . 33) (9 . 36)) 1913 0.2666 11.6101 ((3 . 2) (12 . 20) (15 . 24) (22 . 31)) 1944 0.2666 10.5930 ((3 . 12) (4 . 14) (9 . 20) (14 . 26)) 1957 0.2665 12.5797 ((4 . 2) (6 . 4) (15 . 14) (22 . 18)) 1961 0.2666 10.0181 ((1 . 12) (2 . 13) (4 . 18) (7 . 23)) 1967 0.2667 7.3289 ((9 . 4) (12 . 7) (15 . 11) (21 . 15)) 1987 0.2667 5.0246 ((9 . 9) (10 . 10) (14 . 12) (15 . 13)) 1992 0.1608 10.6585 ((6 . 5) (7 . 8) (10 . 10) (12 . 12)) 2048 0.2615 9.3740 ((9 . 2) (15 . 10) (20 . 12) (22 . 14)) 2054 0.2664 14.8460 ((2 . 4) (4 . 9) (7 . 15) (9 . 16)) 2067 0.2666 11.3701 ((1 . 6) (2 . 8) (4 . 17) (6 . 18)) 2081 0.2641 10.8549 ((2 . 13) (3 . 14) (5 . 18) (9 . 22)) 2094 0.2666 10.5076 ((2 . 1) (4 . 3) (6 . 6) (7 . 7)) 2097 0.2167 7.3805 ((9 . 2) (12 . 4) (15 . 10) (22 . 15)) 2114 0.2666 11.3695 ((4 . 30) (5 . 33) (9 . 38) (10 . 39)) 2117 0.3021 7.7828 ((2 . 3) (4 . 8) (7 . 13) (10 . 19) (21 . 24)) 2118 0.2667 6.1580 ((12 . 5) (14 . 6) (21 . 9) (22 . 10)) 2122 0.2666 8.8349 ((2 . 7) (9 . 19) (10 . 20) (12 . 22)) 2166 0.2663 16.4466 ((3 . 1) (4 . 5) (12 . 13) (21 . 18)) 2179 0.2665 13.5464 ((6 . 2) (14 . 12) (20 . 16) (22 . 19)) 2233 0.2667 6.7624 ((1 . 1) (3 . 6) (4 . 7) (7 . 8)) 2249 0.2665 12.8193 ((1 . 8) (3 . 10) (5 . 14) (9 . 19)) 2269 0.2615 10.5658 ((7 . 1) (10 . 5) (12 . 6) (22 . 13)) 2279 0.2666 11.5237 ((10 . 6) (12 . 8) (14 . 12) (15 . 14)) 2295 0.2666 10.7470 ((9 . 1) (14 . 4) (15 . 6) (21 . 7)) 2298 0.3332 9.0820 ((3 . 5) (4 . 11) (6 . 13) (7 . 14) (9 . 16)) 2308 0.2615 8.5615 ((7 . 3) (14 . 10) (15 . 12) (21 . 14)) 2342 0.7321 6.2975 ((2 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (14 . 9) (15 . 10) (21 . 11) (22 . 12)) 2344 0.3258 6.6946 ((5 . 4) (9 . 8) (10 . 9) (14 . 15) (15 . 16)) 2364 0.2667 7.3598 ((9 . 1) (10 . 2) (12 . 4) (21 . 11)) 2409 0.2641 11.0413 ((10 . 1) (12 . 3) (20 . 10) (21 . 11)) 2423 0.2666 11.3747 ((7 . 12) (9 . 13) (12 . 16) (14 . 18)) 2443 0.3331 10.5398 ((3 . 4) (4 . 5) (6 . 6) (9 . 9) (10 . 10)) 2447 0.2666 11.4330 ((4 . 20) (12 . 30) (14 . 34) (21 . 37)) 2510 0.2666 10.3188 ((2 . 18) (4 . 22) (6 . 26) (9 . 29)) 2519 0.1867 10.5854 ((6 . 1) (9 . 3) (10 . 4) (14 . 6)) 2525 0.2615 7.8427 ((6 . 39) (12 . 45) (14 . 49) (20 . 52)) 2533 0.2665 12.6846 ((3 . 1) (4 . 3) (6 . 5) (20 . 17)) 2551 0.2362 11.0689 ((2 . 2) (4 . 4) (5 . 5) (7 . 7)) 2591 0.2667 6.9756 ((2 . 36) (3 . 37) (4 . 39) (5 . 41)) 2627 0.3332 9.4758 ((3 . 52) (4 . 53) (6 . 54) (7 . 56) (9 . 57)) 2634 0.3331 11.5839 ((6 . 3) (7 . 5) (9 . 7) (10 . 8) (14 . 12)) 2658 0.2615 8.0251 ((3 . 4) (6 . 8) (9 . 11) (12 . 14)) 2682 0.2666 7.8895 ((3 . 8) (4 . 10) (9 . 18) (12 . 19)) 2703 0.2666 9.4240 ((4 . 2) (5 . 3) (7 . 5) (9 . 6)) 2733 0.2666 8.6891 ((1 . 5) (2 . 7) (3 . 9) (4 . 12)) 2753 0.2666 7.7612 ((5 . 1) (6 . 2) (10 . 6) (14 . 8)) 2773 0.2549 9.6728 ((9 . 4) (10 . 7) (14 . 8) (15 . 9)) 2804 0.2362 10.0167 ((7 . 26) (9 . 28) (12 . 32) (20 . 37)) 2821 0.2615 9.3778 ((10 . 6) (12 . 7) (14 . 10) (21 . 14)) 2830 0.2663 16.6504 ((7 . 12) (10 . 14) (15 . 18) (22 . 21)) 2834 0.2662 17.1005 ((1 . 2) (7 . 11) (9 . 13) (12 . 16)) 2842 0.2666 11.4409 ((10 . 3) (14 . 6) (15 . 8) (22 . 10)) 2867 0.2667 6.6538 ((1 . 3) (4 . 5) (7 . 10) (9 . 11)) 2940 0.2167 7.6784 ((10 . 2) (12 . 4) (15 . 9) (22 . 10)) 2947 0.2667 5.6700 ((1 . 8) (7 . 18) (9 . 20) (10 . 22)) 2950 0.2549 9.8243 ((9 . 7) (10 . 8) (14 . 11) (15 . 12)) 2966 0.2640 12.1979 ((10 . 5) (12 . 6) (14 . 7) (22 . 18)) 2990 0.2666 10.8425 ((2 . 8) (3 . 10) (4 . 13) (9 . 18)) 3014 0.2667 7.4024 ((3 . 3) (14 . 14) (15 . 15) (22 . 17)) 3019 0.2666 8.4543 ((2 . 8) (6 . 13) (15 . 21) (21 . 24)) 3034 0.1867 10.6177 ((10 . 6) (12 . 7) (15 . 11) (21 . 13)) 3041 0.2666 10.0252 ((4 . 11) (5 . 13) (10 . 19) (22 . 31)) 3070 0.2666 10.2271 ((3 . 30) (4 . 31) (6 . 34) (9 . 37)) 3084 0.2666 11.3143 ((2 . 1) (6 . 6) (9 . 8) (15 . 16)) 3127 0.2666 9.3985 ((2 . 7) (5 . 14) (6 . 16) (7 . 17)) 3176 0.2665 14.1107 ((3 . 22) (4 . 23) (9 . 30) (14 . 33)) 3197 0.2665 12.8521 ((7 . 5) (14 . 11) (15 . 13) (20 . 15)) 3200 0.2666 8.8768 ((6 . 2) (7 . 5) (9 . 7) (14 . 12)) 3202 0.2666 9.8778 ((5 . 2) (6 . 3) (7 . 4) (14 . 7)) 3212 0.1867 11.7932 ((5 . 7) (6 . 6) (7 . 10) (9 . 11)) 3222 0.2666 9.7760 ((1 . 5) (4 . 13) (9 . 22) (10 . 23)) 3261 0.2362 9.9745 ((14 . 5) (20 . 10) (21 . 11) (22 . 12)) 3286 0.2666 11.4122 ((2 . 2) (4 . 6) (6 . 8) (10 . 15)) 3300 0.2361 13.8608 ((10 . 3) (12 . 2) (14 . 9) (22 . 12)) 3310 0.3332 9.9745 ((1 . 1) (3 . 4) (4 . 5) (6 . 10) (7 . 11)) 3322 0.1867 8.3308 ((3 . 2) (5 . 6) (6 . 8) (7 . 10)) 3334 0.2664 15.4232 ((10 . 2) (14 . 7) (15 . 9) (22 . 11)) 3339 0.2666 9.4807 ((10 . 18) (12 . 19) (14 . 20) (22 . 25)) 3362 0.2614 11.8004 ((7 . 3) (10 . 7) (12 . 8) (14 . 9)) 3391 0.3333 8.1392 ((1 . 2) (12 . 13) (15 . 15) (21 . 18) (22 . 20)) 3415 0.2868 8.4851 ((14 . 20) (15 . 21) (20 . 22) (21 . 23) (22 . 24)) 3446 0.2666 8.1527 ((6 . 9) (7 . 10) (10 . 12) (14 . 13)) 3470 0.2667 6.3379 ((1 . 9) (3 . 11) (4 . 12) (5 . 13)) 3495 0.3258 6.8497 ((5 . 5) (9 . 6) (14 . 9) (20 . 14) (21 . 17)) 3496 0.2615 11.3049 ((10 . 21) (12 . 22) (15 . 24) (22 . 27)) 3537 0.2614 13.1775 ((2 . 1) (3 . 3) (5 . 8) (9 . 11)) 3538 0.2612 16.7283 ((2 . 13) (9 . 21) (10 . 22) (15 . 27)) 3561 0.2665 14.0634 ((10 . 21) (15 . 25) (20 . 27) (22 . 32)) 3585 0.2615 7.4492 ((1 . 1) (10 . 15) (14 . 17) (15 . 18)) 3613 0.7315 6.9481 ((2 . 23) (3 . 26) (4 . 27) (6 . 28) (7 . 30) (9 . 31) (10 . 32) (14 . 38) (15 . 39) (21 . 42) (22 . 43)) 3628 0.2666 9.5553 ((10 . 1) (12 . 2) (14 . 5) (15 . 7)) 3651 0.2666 11.0131 ((6 . 2) (10 . 7) (20 . 15) (21 . 19)) 3658 0.2666 9.9571 ((12 . 8) (15 . 10) (21 . 13) (22 . 14)) 3659 0.2166 12.0885 ((2 . 3) (3 . 4) (4 . 6) (9 . 14)) 3661 0.3290 10.7521 ((3 . 3) (4 . 4) (6 . 5) (10 . 13) (20 . 22)) 3663 0.2666 9.9887 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 3732 0.2614 11.8062 ((7 . 4) (10 . 8) (12 . 9) (14 . 10)) 3733 0.2615 7.9720 ((12 . 1) (14 . 2) (20 . 5) (22 . 9)) 3778 0.2666 8.6574 ((2 . 8) (7 . 20) (9 . 21) (10 . 23)) 3787 0.2666 8.1957 ((7 . 22) (9 . 24) (10 . 25) (20 . 32)) 3790 0.2362 9.2205 ((2 . 17) (3 . 20) (5 . 23) (12 . 31)) 3817 0.2614 14.0017 ((1 . 13) (2 . 14) (3 . 17) (5 . 19)) 3829 0.2167 6.9665 ((2 . 6) (4 . 7) (7 . 8) (9 . 11)) 3830 0.2362 10.9568 ((6 . 1) (9 . 3) (10 . 5) (14 . 6)) 3834 0.2667 7.1636 ((3 . 2) (5 . 4) (7 . 5) (9 . 6)) 3853 0.2666 10.1142 ((3 . 7) (7 . 13) (10 . 19) (14 . 20)) 3870 0.2666 8.2450 ((6 . 6) (7 . 7) (10 . 11) (14 . 12)) 3938 0.2615 11.0578 ((3 . 1) (5 . 5) (7 . 12) (10 . 16)) 3968 0.2361 13.7780 ((4 . 2) (7 . 4) (10 . 10) (14 . 12)) 3986 0.2664 15.1956 ((4 . 10) (9 . 19) (10 . 20) (12 . 25)) 4005 0.2167 8.0011 ((6 . 16) (12 . 24) (15 . 28) (22 . 39)) 4009 0.2666 7.6562 ((6 . 6) (12 . 13) (14 . 16) (15 . 17)) 4011 0.2666 9.1378 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 4019 0.2362 10.1322 ((2 . 40) (3 . 41) (10 . 52) (12 . 51)) 4030 0.3330 12.3229 ((4 . 4) (9 . 8) (14 . 11) (15 . 13) (21 . 15)) 4037 0.2666 8.0531 ((12 . 1) (15 . 4) (21 . 6) (22 . 7)) 4062 0.2666 11.4054 ((9 . 34) (10 . 38) (21 . 44) (22 . 45)) 4067 0.2613 14.9023 ((2 . 11) (5 . 15) (6 . 17) (9 . 21)) 4077 0.2666 7.8249 ((1 . 4) (3 . 6) (9 . 13) (14 . 16)) 4082 0.2666 9.9581 ((3 . 1) (6 . 4) (10 . 9) (12 . 10)) 4087 0.2166 10.3039 ((1 . 2) (2 . 4) (6 . 9) (7 . 10)) 4115 0.2666 10.5869 ((6 . 11) (7 . 12) (10 . 14) (14 . 18)) 4134 0.2667 6.8010 ((1 . 23) (3 . 25) (4 . 26) (5 . 27)) 4151 0.2640 11.9301 ((6 . 4) (10 . 8) (20 . 16) (21 . 18)) 4190 0.2615 10.8137 ((5 . 2) (7 . 6) (9 . 7) (12 . 9)) 4192 0.2614 13.9908 ((12 . 10) (14 . 14) (15 . 16) (22 . 21)) 4195 0.7324 5.8421 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8) (14 . 10) (15 . 11) (21 . 12) (22 . 13)) 4209 0.2666 10.0633 ((12 . 2) (14 . 3) (15 . 6) (20 . 11)) 4210 0.2615 11.2646 ((9 . 1) (10 . 3) (15 . 7) (20 . 9)) 4216 0.2667 4.7378 ((1 . 10) (14 . 13) (15 . 14) (21 . 16)) 4226 0.2666 10.4540 ((3 . 2) (4 . 5) (9 . 13) (14 . 17)) 4254 0.2666 9.2520 ((1 . 2) (2 . 5) (3 . 7) (4 . 12)) 4261 0.2667 4.3967 ((9 . 12) (10 . 14) (14 . 15) (15 . 17)) 4266 0.2666 8.3119 ((5 . 1) (7 . 3) (14 . 9) (15 . 10)) 4281 0.2666 11.6873 ((7 . 7) (9 . 9) (14 . 14) (15 . 16)) 4284 0.2665 12.2948 ((10 . 2) (12 . 1) (15 . 7) (22 . 11)) 4299 0.2548 12.8920 ((3 . 5) (4 . 7) (12 . 16) (14 . 17)) 4326 0.2665 13.0305 ((1 . 4) (5 . 14) (6 . 16) (9 . 18)) 4332 0.2362 9.9959 ((4 . 1) (5 . 3) (7 . 5) (9 . 8)) 4352 0.2665 14.1219 ((4 . 3) (6 . 4) (9 . 7) (10 . 11)) 4386 0.2666 9.6311 ((3 . 3) (6 . 5) (15 . 12) (20 . 14)) 4388 0.2666 10.2200 ((6 . 4) (14 . 13) (15 . 14) (20 . 15)) 4408 0.2666 10.8332 ((14 . 19) (15 . 20) (21 . 22) (22 . 23)) 4415 0.2549 10.0294 ((9 . 2) (12 . 3) (14 . 5) (20 . 10)) 4419 0.2667 7.1326 ((9 . 1) (10 . 2) (12 . 3) (21 . 11)) 4470 0.2665 12.9298 ((5 . 13) (6 . 15) (9 . 17) (14 . 22)) 4492 0.2548 11.9477 ((1 . 10) (3 . 14) (5 . 19) (6 . 22)) 4495 0.2666 8.9178 ((10 . 1) (14 . 5) (15 . 7) (22 . 11)) 4502 0.2549 7.7377 ((5 . 3) (9 . 7) (14 . 13) (20 . 21)) 4504 0.2638 16.0362 ((2 . 1) (4 . 5) (7 . 10) (15 . 18)) 4516 0.2667 5.8611 ((4 . 11) (7 . 15) (10 . 19) (15 . 25)) 4538 0.2549 7.3332 ((10 . 27) (12 . 30) (15 . 36) (21 . 39)) 4560 0.2362 10.8645 ((3 . 5) (7 . 12) (12 . 18) (14 . 19)) 4562 0.2615 7.3924 ((10 . 21) (12 . 22) (14 . 23) (20 . 28)) 4563 0.2666 10.8719 ((5 . 30) (7 . 32) (9 . 33) (14 . 37)) 4579 0.3330 11.9513 ((1 . 5) (4 . 11) (15 . 25) (21 . 26) (22 . 27)) 4589 0.2663 16.8743 ((4 . 20) (5 . 21) (7 . 24) (12 . 30)) 4607 0.2666 9.1299 ((1 . 13) (3 . 17) (4 . 18) (5 . 19)) 4671 0.2662 17.0845 ((2 . 5) (6 . 10) (10 . 16) (12 . 19)) 4678 0.1313 11.0845 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 4699 0.3258 8.6959 ((5 . 8) (9 . 9) (10 . 10) (14 . 11) (15 . 12)) 4713 0.2641 10.5372 ((10 . 1) (12 . 3) (20 . 10) (21 . 11)) 4715 0.2666 9.2308 ((3 . 1) (4 . 2) (6 . 5) (10 . 10)) 4716 0.3333 8.2924 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4731 0.2615 10.2675 ((2 . 13) (3 . 16) (4 . 17) (5 . 19)) 4764 0.2667 7.4669 ((3 . 3) (4 . 5) (9 . 9) (10 . 10)) 4783 0.2666 8.8813 ((10 . 1) (14 . 2) (21 . 6) (22 . 7)) 4817 0.3333 4.4610 ((2 . 5) (3 . 7) (4 . 9) (6 . 11) (7 . 13)) 4886 0.2666 10.9848 ((2 . 20) (7 . 27) (9 . 28) (15 . 33)) 4888 0.2666 7.6456 ((9 . 5) (10 . 6) (12 . 9) (15 . 11)) 4889 0.2666 10.5615 ((9 . 9) (15 . 19) (21 . 21) (22 . 23)) 4944 0.2666 10.1647 ((10 . 10) (12 . 11) (14 . 12) (21 . 17)) 4961 0.2666 10.2646 ((1 . 2) (3 . 8) (4 . 11) (7 . 16)) 4963 0.2666 9.9666 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 4978 0.2549 11.2104 ((6 . 19) (20 . 29) (21 . 31) (22 . 33)) 4982 0.2640 13.7472 ((1 . 2) (2 . 5) (7 . 15) (10 . 19)) 4998 0.2667 6.9932 ((1 . 22) (9 . 24) (12 . 26) (22 . 28)) 5000 0.3330 11.9152 ((2 . 30) (3 . 32) (4 . 33) (6 . 35) (7 . 36)) 5016 0.2667 4.3401 ((2 . 5) (3 . 6) (4 . 8) (6 . 9)) 5029 0.2665 13.0697 ((7 . 3) (9 . 5) (10 . 7) (12 . 8)) 5039 0.2665 12.7915 ((3 . 35) (4 . 36) (5 . 38) (6 . 40)) 5053 0.2362 9.7507 ((6 . 1) (10 . 7) (20 . 13) (22 . 17)) 5065 0.2666 9.7630 ((1 . 1) (2 . 5) (3 . 6) (6 . 12)) 5068 0.2666 11.5601 ((7 . 3) (10 . 9) (15 . 14) (22 . 19)) 5069 0.2666 8.4050 ((9 . 8) (12 . 12) (14 . 14) (15 . 16)) 5073 0.2665 13.3001 ((12 . 32) (15 . 35) (21 . 40) (22 . 41)) 5080 0.2666 8.2682 ((10 . 1) (12 . 2) (21 . 8) (22 . 9)) 5092 0.2666 8.4794 ((2 . 1) (3 . 4) (9 . 9) (10 . 10)) 5101 0.2666 9.8187 ((1 . 19) (2 . 22) (3 . 24) (5 . 28)) 5103 0.2666 10.7098 ((9 . 3) (10 . 5) (15 . 11) (21 . 12)) 5121 0.2666 8.6188 ((3 . 13) (7 . 17) (9 . 22) (14 . 23)) 5132 0.3020 9.1269 ((10 . 19) (12 . 20) (14 . 21) (15 . 23) (21 . 24)) 5134 0.2666 7.9083 ((12 . 10) (14 . 15) (15 . 16) (22 . 20)) 5145 0.2614 11.5964 ((1 . 2) (2 . 4) (4 . 9) (5 . 11)) 5167 0.2666 10.9771 ((4 . 2) (9 . 7) (10 . 8) (14 . 10)) 5192 0.2666 8.1980 ((10 . 4) (12 . 5) (21 . 13) (22 . 15)) 5199 0.2165 16.8060 ((4 . 1) (5 . 2) (7 . 6) (12 . 9)) 5212 0.2666 11.0172 ((10 . 10) (14 . 14) (15 . 15) (21 . 16)) 5223 0.2666 11.7642 ((12 . 1) (14 . 2) (15 . 4) (22 . 9)) 5231 0.2166 10.0597 ((12 . 8) (14 . 9) (15 . 15) (20 . 17)) 5266 0.2666 10.2702 ((2 . 1) (3 . 3) (6 . 9) (9 . 12)) 5285 0.2667 6.5576 ((6 . 1) (7 . 2) (9 . 4) (10 . 5)) 5307 0.2665 12.6925 ((6 . 52) (7 . 54) (9 . 56) (10 . 59)) 5318 0.2665 12.5557 ((1 . 10) (2 . 12) (5 . 16) (12 . 22)) 5323 0.2667 6.2955 ((1 . 3) (7 . 13) (9 . 15) (14 . 18)) 5324 0.3333 7.5137 ((1 . 4) (6 . 6) (10 . 18) (15 . 19) (21 . 21)) 5368 0.2362 7.8541 ((10 . 40) (12 . 41) (14 . 44) (22 . 50)) 5378 0.2667 7.0602 ((3 . 1) (12 . 9) (14 . 13) (22 . 20)) 5442 0.2666 8.6689 ((3 . 35) (6 . 38) (7 . 39) (9 . 40)) 5487 0.2640 13.6607 ((7 . 3) (10 . 8) (12 . 9) (14 . 12)) 5501 0.2666 7.7602 ((7 . 21) (9 . 22) (20 . 32) (22 . 34)) 5525 0.2666 8.4780 ((1 . 5) (3 . 10) (7 . 13) (9 . 14)) 5540 0.2666 12.1598 ((1 . 5) (3 . 9) (4 . 13) (10 . 21)) 5560 0.2666 9.6610 ((4 . 7) (6 . 10) (12 . 15) (15 . 19)) 5562 0.2666 8.0243 ((4 . 9) (6 . 12) (7 . 13) (9 . 15)) 5594 0.2640 11.2031 ((3 . 2) (5 . 5) (7 . 7) (10 . 10)) 5600 0.2666 11.0554 ((3 . 1) (4 . 4) (6 . 7) (9 . 10)) 5601 0.2666 9.4381 ((10 . 4) (12 . 7) (14 . 9) (15 . 11)) 5648 0.2666 9.9209 ((2 . 4) (3 . 5) (4 . 7) (6 . 8)) 5656 0.2666 9.0668 ((2 . 4) (4 . 11) (7 . 15) (21 . 28)) 5689 0.2666 8.7242 ((7 . 1) (9 . 2) (21 . 10) (22 . 11)) 5701 0.1867 10.5064 ((6 . 10) (10 . 15) (12 . 14) (15 . 20)) 5702 0.3291 8.5732 ((7 . 1) (9 . 2) (20 . 9) (21 . 10) (22 . 11)) 5704 0.3256 11.6842 ((5 . 2) (9 . 5) (10 . 6) (14 . 7) (15 . 9)) 5749 0.2666 9.0840 ((10 . 1) (12 . 3) (21 . 8) (22 . 9)) 5770 0.2666 11.3611 ((9 . 2) (12 . 6) (14 . 10) (20 . 18)) 5771 0.2615 9.8141 ((7 . 7) (10 . 10) (15 . 16) (20 . 19)) 5782 0.2665 13.9401 ((2 . 9) (7 . 23) (12 . 29) (15 . 33)) 5789 0.2666 9.7887 ((6 . 1) (9 . 3) (10 . 4) (12 . 5)) 5795 0.2362 8.9926 ((2 . 2) (3 . 3) (10 . 14) (14 . 15)) 5809 0.2614 13.2488 ((5 . 4) (12 . 9) (14 . 11) (20 . 16)) 5822 0.2615 8.8253 ((12 . 4) (14 . 5) (21 . 10) (22 . 11)) 5827 0.2667 7.1010 ((4 . 6) (9 . 12) (15 . 18) (21 . 22)) 5830 0.2549 10.0709 ((9 . 5) (12 . 8) (14 . 11) (20 . 16)) 5878 0.2665 13.6103 ((4 . 13) (7 . 21) (10 . 24) (12 . 26)) 5904 0.1867 11.1043 ((3 . 2) (6 . 5) (7 . 6) (10 . 8)) 5913 0.2665 13.7963 ((10 . 8) (14 . 12) (15 . 14) (21 . 16)) 5930 0.2361 12.2203 ((7 . 3) (9 . 5) (10 . 6) (12 . 8)) 5939 0.2667 7.1077 ((6 . 3) (9 . 7) (12 . 10) (14 . 12)) 5945 0.2666 8.8997 ((1 . 6) (20 . 22) (21 . 25) (22 . 27)) 5949 0.2666 10.2604 ((2 . 2) (3 . 3) (6 . 11) (9 . 13)) 5955 0.2549 8.4742 ((1 . 2) (2 . 6) (5 . 12) (14 . 19)) 5967 0.1867 11.7956 ((4 . 2) (5 . 6) (6 . 8) (7 . 10)) 6000 0.2666 7.9081 ((2 . 2) (3 . 5) (12 . 14) (14 . 16)) 6029 0.2666 8.9289 ((2 . 28) (6 . 36) (7 . 38) (9 . 39)) 6033 0.4316 6.3127 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 9) (9 . 10)) 6041 0.2166 10.7198 ((12 . 2) (14 . 4) (20 . 6) (22 . 9)) 6074 0.2667 7.3518 ((10 . 1) (12 . 2) (15 . 7) (22 . 10)) 6075 0.2666 11.4551 ((9 . 18) (12 . 21) (14 . 23) (22 . 30)) 6079 0.2666 9.7131 ((3 . 2) (14 . 17) (15 . 18) (20 . 19)) 6087 0.2666 11.7531 ((3 . 4) (5 . 7) (7 . 9) (9 . 11)) 6089 0.2666 10.9324 ((7 . 13) (9 . 15) (15 . 22) (22 . 26)) 6099 0.2666 8.9211 ((1 . 15) (2 . 19) (3 . 20) (4 . 21)) 6169 0.2667 6.8677 ((9 . 2) (14 . 4) (15 . 8) (22 . 11)) 6192 0.2615 9.2220 ((1 . 2) (2 . 4) (4 . 7) (7 . 12)) 6225 0.1465 8.8238 ((1 . 11) (12 . 26) (14 . 27) (15 . 30)) 6228 0.2666 8.7585 ((2 . 4) (9 . 16) (10 . 17) (12 . 19)) 6238 0.2665 12.6392 ((10 . 1) (14 . 2) (20 . 6) (22 . 10)) 6243 0.2667 5.8625 ((2 . 9) (3 . 11) (4 . 12) (6 . 13)) 6251 0.1867 10.3163 ((9 . 9) (10 . 11) (20 . 18) (22 . 20)) 6258 0.2664 15.0268 ((3 . 1) (7 . 8) (10 . 11) (15 . 14)) 6261 0.2666 8.0273 ((2 . 2) (4 . 10) (7 . 15) (9 . 18)) 6266 0.2612 16.1645 ((3 . 2) (4 . 4) (10 . 11) (14 . 13)) 6268 0.2362 9.3165 ((4 . 8) (6 . 11) (7 . 12) (9 . 13)) 6271 0.2614 12.0590 ((1 . 6) (2 . 9) (4 . 13) (6 . 14)) 6294 0.2666 10.7298 ((4 . 5) (5 . 7) (12 . 16) (20 . 24)) 6329 0.2667 7.4533 ((9 . 4) (10 . 6) (21 . 13) (22 . 15)) 6344 0.2665 12.4099 ((7 . 2) (9 . 5) (14 . 9) (20 . 11)) 6348 0.2666 7.7191 ((1 . 2) (2 . 3) (6 . 10) (7 . 13)) 6355 0.2166 12.3734 ((6 . 5) (12 . 12) (14 . 13) (15 . 16)) 6356 0.3302 14.6439 ((2 . 2) (3 . 3) (5 . 8) (6 . 10) (9 . 12)) 6359 0.3998 7.9018 ((3 . 1) (4 . 2) (6 . 3) (7 . 4) (9 . 6) (14 . 8)) 6369 0.2615 9.4575 ((6 . 21) (12 . 26) (15 . 30) (22 . 36)) 6376 0.2639 14.0299 ((6 . 16) (10 . 20) (12 . 24) (20 . 30)) 6384 0.2666 8.2157 ((6 . 3) (7 . 4) (9 . 5) (10 . 6)) 6391 0.2666 9.8646 ((3 . 1) (4 . 2) (6 . 4) (12 . 8)) 6392 0.2640 11.3614 ((4 . 5) (5 . 6) (9 . 10) (15 . 16)) 6403 0.3333 7.9945 ((3 . 6) (4 . 9) (6 . 11) (10 . 16) (14 . 18)) 6434 0.2549 10.8211 ((5 . 6) (6 . 7) (7 . 8) (9 . 9)) 6461 0.2665 12.9374 ((7 . 1) (9 . 2) (10 . 4) (14 . 5)) 6462 0.2667 7.2042 ((4 . 17) (7 . 19) (9 . 21) (22 . 34)) 6498 0.2666 11.7126 ((2 . 22) (3 . 26) (7 . 30) (9 . 32)) 6506 0.3332 10.0699 ((3 . 20) (4 . 21) (7 . 24) (10 . 27) (14 . 29)) 6520 0.2613 14.1400 ((7 . 11) (14 . 18) (20 . 21) (22 . 23)) 6536 0.7324 5.8986 ((2 . 1) (3 . 21) (4 . 22) (6 . 24) (7 . 25) (9 . 27) (10 . 28) (14 . 29) (15 . 30) (21 . 33) (22 . 34)) 6548 0.2665 12.8368 ((1 . 6) (2 . 8) (4 . 14) (6 . 15)) 6561 0.2663 16.1619 ((4 . 2) (6 . 4) (10 . 11) (21 . 16)) 6578 0.2664 15.0992 ((7 . 33) (9 . 36) (14 . 40) (15 . 41)) 6585 0.2549 9.2434 ((14 . 5) (15 . 7) (20 . 9) (22 . 12)) 6587 0.3021 6.0557 ((5 . 28) (12 . 29) (14 . 30) (20 . 35) (21 . 36)) 6605 0.1867 11.9914 ((10 . 1) (14 . 5) (15 . 6) (20 . 7)) 6613 0.2666 8.1390 ((1 . 11) (10 . 15) (15 . 23) (22 . 26)) 6622 0.5331 6.0741 ((2 . 1) (3 . 2) (4 . 4) (6 . 5) (7 . 6) (9 . 8) (10 . 10) (14 . 11)) 6635 0.2361 13.6413 ((9 . 2) (12 . 7) (14 . 9) (15 . 10)) END