1435 25 0.2553 12.0599 ((2 . 7) (4 . 9) (5 . 11) (7 . 12)) 51 0.3077 7.6946 ((5 . 2) (6 . 6) (7 . 4) (13 . 11)) 62 0.2975 8.4322 ((2 . 10) (4 . 15) (5 . 16) (6 . 17)) 64 0.3077 6.5114 ((1 . 6) (2 . 7) (5 . 9) (6 . 10)) 77 0.3073 13.9650 ((1 . 6) (2 . 7) (4 . 10) (9 . 16)) 91 0.2975 8.3243 ((1 . 2) (2 . 3) (7 . 8) (9 . 11)) 129 0.3077 6.1159 ((1 . 1) (2 . 2) (5 . 8) (6 . 10)) 150 0.3077 4.8701 ((1 . 19) (2 . 20) (3 . 23) (5 . 25)) 155 0.3077 6.7650 ((3 . 2) (5 . 3) (7 . 6) (9 . 7)) 157 0.3077 5.9929 ((2 . 3) (4 . 6) (5 . 9) (6 . 11)) 161 0.1920 7.1361 ((1 . 2) (3 . 4) (5 . 8) (6 . 10)) 162 0.3076 10.6115 ((1 . 12) (2 . 15) (3 . 17) (5 . 18)) 169 0.3077 7.0611 ((1 . 7) (2 . 8) (5 . 10) (6 . 12)) 177 0.3077 6.2980 ((2 . 4) (3 . 5) (5 . 8) (6 . 10)) 191 0.2975 6.0516 ((1 . 4) (3 . 6) (5 . 7) (6 . 8)) 198 0.3077 5.1813 ((1 . 1) (2 . 2) (5 . 8) (11 . 17)) 207 0.2853 11.4918 ((3 . 7) (7 . 12) (9 . 14) (11 . 15)) 233 0.0997 7.4800 ((1 . 3) (2 . 5) (3 . 7) (5 . 8)) 300 0.3076 9.3750 ((1 . 13) (2 . 14) (3 . 16) (5 . 18)) 305 0.3077 6.2642 ((1 . 11) (2 . 12) (5 . 18) (6 . 19)) 315 0.2284 7.9267 ((1 . 3) (3 . 5) (5 . 8) (6 . 9)) 340 0.2554 7.6254 ((3 . 1) (5 . 2) (6 . 4) (7 . 5)) 350 0.3077 6.0394 ((1 . 11) (2 . 13) (3 . 15) (5 . 18)) 360 0.3077 6.4834 ((3 . 3) (5 . 5) (6 . 6) (11 . 12)) 361 0.3076 9.6630 ((1 . 1) (3 . 4) (9 . 8) (11 . 10)) 367 0.3077 4.2762 ((3 . 38) (5 . 40) (6 . 42) (13 . 48)) 372 0.3076 8.0628 ((1 . 1) (2 . 2) (3 . 5) (5 . 8)) 387 0.2554 5.4188 ((2 . 7) (3 . 8) (5 . 11) (11 . 15)) 405 0.3072 14.7722 ((1 . 31) (2 . 33) (3 . 35) (5 . 39)) 417 0.3076 10.5634 ((1 . 2) (3 . 5) (5 . 7) (6 . 9)) 420 0.3076 8.6786 ((2 . 1) (3 . 2) (5 . 5) (11 . 13)) 433 0.2974 11.7854 ((2 . 1) (4 . 3) (9 . 8) (13 . 10)) 442 0.3077 5.8099 ((2 . 1) (5 . 4) (6 . 6) (13 . 12)) 460 0.3077 5.7496 ((3 . 1) (5 . 2) (6 . 3) (11 . 8)) 472 0.2854 9.7146 ((1 . 20) (2 . 21) (4 . 23) (9 . 28)) 495 0.3077 7.4652 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 541 0.2975 7.6685 ((1 . 2) (2 . 3) (6 . 7) (7 . 9)) 543 0.3077 7.3330 ((2 . 5) (3 . 6) (5 . 8) (7 . 13)) 561 0.2554 6.7634 ((6 . 1) (9 . 2) (11 . 4) (13 . 6)) 584 0.3077 7.8652 ((5 . 4) (6 . 5) (11 . 10) (31 . 28)) 587 0.3077 5.0970 ((5 . 10) (6 . 11) (7 . 12) (11 . 15)) 609 0.1920 6.9405 ((6 . 3) (7 . 4) (9 . 5) (11 . 8)) 619 0.3076 9.5494 ((1 . 7) (3 . 11) (9 . 17) (13 . 20)) 624 0.3077 5.8474 ((7 . 4) (31 . 22) (32 . 23) (33 . 24)) 635 0.3077 6.0280 ((3 . 5) (7 . 9) (9 . 11) (11 . 13)) 672 0.3025 10.8913 ((7 . 2) (9 . 4) (31 . 24) (33 . 26)) 678 0.3076 9.9908 ((2 . 29) (4 . 32) (5 . 34) (9 . 38)) 683 0.1633 7.6338 ((6 . 1) (9 . 4) (11 . 5) (13 . 6)) 719 0.3077 6.0704 ((1 . 22) (2 . 23) (3 . 25) (5 . 27)) 729 0.3075 12.2282 ((2 . 15) (3 . 17) (5 . 20) (13 . 24)) 740 0.2554 8.0860 ((6 . 2) (7 . 1) (11 . 7) (13 . 9)) 765 0.3077 6.0192 ((3 . 3) (5 . 7) (6 . 8) (13 . 18)) 767 0.2284 8.7024 ((1 . 29) (2 . 31) (3 . 32) (4 . 33)) 812 0.2283 14.0725 ((2 . 11) (9 . 17) (11 . 19) (13 . 20)) 818 0.2854 9.4603 ((2 . 10) (4 . 11) (5 . 14) (6 . 16)) 819 0.3077 4.9057 ((3 . 5) (5 . 8) (6 . 9) (13 . 10)) 834 0.3075 11.0616 ((2 . 32) (3 . 33) (4 . 34) (7 . 37)) 861 0.3077 6.6583 ((1 . 7) (2 . 8) (6 . 12) (11 . 16)) 901 0.3075 10.9628 ((4 . 14) (5 . 15) (9 . 18) (11 . 20)) 913 0.3076 9.8860 ((1 . 16) (2 . 17) (4 . 18) (5 . 20)) 928 0.3074 12.8155 ((2 . 12) (4 . 15) (5 . 16) (9 . 19)) 943 0.3077 7.7303 ((1 . 1) (2 . 2) (5 . 6) (13 . 12)) 960 0.3077 5.8424 ((5 . 2) (6 . 4) (7 . 5) (13 . 8)) 978 0.3077 6.3609 ((1 . 10) (3 . 13) (6 . 16) (7 . 17)) 980 0.2219 6.7163 ((1 . 1) (2 . 3) (3 . 5) (5 . 7) (6 . 9) (9 . 10)) 1005 0.2975 9.7418 ((2 . 1) (3 . 2) (4 . 4) (9 . 8)) 1007 0.3077 5.7746 ((2 . 9) (5 . 13) (6 . 14) (7 . 15)) 1008 0.2854 9.3440 ((5 . 5) (6 . 8) (9 . 11) (13 . 16)) 1034 0.3075 11.4685 ((1 . 21) (2 . 22) (5 . 25) (6 . 26)) 1043 0.3077 6.5485 ((3 . 12) (5 . 14) (6 . 17) (7 . 18)) 1082 0.3077 5.7849 ((5 . 2) (6 . 4) (7 . 5) (13 . 8)) 1084 0.3076 8.4150 ((5 . 11) (6 . 12) (7 . 15) (11 . 18)) 1165 0.3077 6.5156 ((13 . 7) (31 . 19) (32 . 20) (33 . 21)) 1167 0.3075 11.8255 ((1 . 21) (2 . 22) (4 . 24) (9 . 29)) 1195 0.3846 4.5172 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (13 . 6)) 1201 0.3076 10.4610 ((2 . 7) (3 . 9) (5 . 11) (6 . 12)) 1204 0.3073 14.1233 ((1 . 12) (4 . 15) (7 . 19) (11 . 25)) 1211 0.3076 7.9711 ((1 . 4) (2 . 5) (5 . 10) (6 . 11)) 1217 0.2975 7.9378 ((4 . 2) (5 . 3) (6 . 5) (11 . 12)) 1224 0.3077 5.1543 ((3 . 5) (5 . 6) (6 . 7) (13 . 15)) 1267 0.3077 5.3422 ((7 . 7) (31 . 36) (32 . 37) (33 . 38)) 1268 0.3025 9.2651 ((4 . 2) (5 . 3) (6 . 4) (31 . 22)) 1294 0.1919 10.8319 ((1 . 42) (2 . 44) (3 . 46) (5 . 47)) 1345 0.3076 8.8299 ((1 . 3) (6 . 9) (9 . 11) (11 . 14)) 1366 0.3077 5.3730 ((1 . 14) (2 . 15) (5 . 20) (6 . 21)) 1388 0.3077 7.0263 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 1410 0.3077 7.7732 ((1 . 20) (2 . 21) (3 . 23) (5 . 25)) 1435 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 11) (13 . 13) (31 . 31) (32 . 32) (33 . 33)) 1451 0.2554 10.0185 ((1 . 5) (2 . 6) (4 . 7) (5 . 10)) 1464 0.3077 5.0650 ((3 . 8) (5 . 10) (6 . 13) (13 . 14)) 1472 0.2973 13.1391 ((4 . 3) (6 . 7) (7 . 5) (9 . 9)) 1476 0.2974 11.3302 ((1 . 9) (6 . 15) (7 . 17) (9 . 19)) 1481 0.3077 6.4317 ((1 . 1) (2 . 2) (5 . 7) (9 . 9)) 1497 0.2967 17.8722 ((4 . 11) (7 . 15) (9 . 16) (32 . 29)) 1501 0.3077 4.8580 ((5 . 1) (6 . 2) (11 . 6) (13 . 7)) 1513 0.3076 10.2814 ((3 . 2) (5 . 5) (6 . 8) (9 . 9)) 1577 0.2854 10.3074 ((1 . 4) (11 . 15) (31 . 30) (32 . 31)) 1591 0.3077 4.8334 ((13 . 4) (31 . 14) (32 . 15) (33 . 16)) 1604 0.3076 8.7752 ((1 . 7) (4 . 11) (5 . 12) (9 . 16)) 1622 0.2975 8.9272 ((1 . 20) (4 . 21) (5 . 24) (6 . 25)) 1624 0.2854 8.2973 ((1 . 6) (2 . 8) (3 . 9) (4 . 11)) 1643 0.3846 6.5018 ((1 . 8) (2 . 9) (5 . 15) (6 . 16) (13 . 22)) 1644 0.3077 5.8102 ((2 . 43) (3 . 44) (5 . 48) (6 . 49)) 1690 0.3077 6.8576 ((1 . 18) (2 . 19) (3 . 21) (9 . 27)) 1692 0.2854 9.0870 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 1731 0.3077 7.5000 ((4 . 7) (5 . 8) (7 . 10) (11 . 12)) 1736 0.3072 14.9158 ((2 . 1) (5 . 5) (9 . 8) (13 . 12)) 1738 0.2975 10.0606 ((2 . 4) (5 . 9) (9 . 15) (13 . 18)) 1747 0.3077 4.7092 ((2 . 34) (3 . 36) (5 . 39) (6 . 40)) 1756 0.3077 5.8669 ((3 . 21) (5 . 23) (6 . 25) (11 . 31)) 1759 0.3077 5.2736 ((1 . 6) (2 . 8) (5 . 13) (6 . 14)) 1761 0.3076 8.2389 ((1 . 2) (2 . 3) (4 . 6) (9 . 10)) 1763 0.3077 6.5002 ((5 . 9) (6 . 10) (7 . 11) (9 . 12)) 1776 0.3077 6.7163 ((5 . 15) (6 . 19) (9 . 21) (11 . 23)) 1778 0.3077 7.8945 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 1793 0.3074 12.6824 ((2 . 12) (3 . 14) (4 . 15) (7 . 18)) 1805 0.3077 6.1225 ((1 . 7) (2 . 8) (5 . 11) (6 . 12)) 1808 0.2283 11.4490 ((4 . 1) (5 . 4) (6 . 5) (11 . 10)) 1817 0.1920 6.0500 ((1 . 14) (2 . 16) (3 . 19) (5 . 20)) 1867 0.3077 5.1762 ((1 . 1) (2 . 3) (3 . 6) (5 . 7)) 1894 0.3076 8.8800 ((1 . 12) (4 . 15) (6 . 19) (13 . 25)) 1896 0.3077 7.4450 ((2 . 22) (3 . 23) (31 . 51) (32 . 52)) 1897 0.2854 7.7920 ((1 . 34) (4 . 37) (5 . 39) (6 . 40)) 1908 0.2554 6.6806 ((9 . 1) (31 . 15) (32 . 16) (33 . 17)) 1913 0.3076 8.2709 ((2 . 4) (3 . 6) (5 . 10) (6 . 12)) 1944 0.3077 7.7431 ((4 . 14) (5 . 16) (6 . 17) (11 . 24)) 1957 0.2554 6.8280 ((9 . 2) (31 . 17) (32 . 18) (33 . 19)) 1961 0.3076 10.1354 ((1 . 15) (2 . 16) (4 . 18) (6 . 21)) 1967 0.3073 13.4575 ((1 . 1) (2 . 3) (7 . 9) (11 . 14)) 1992 0.2854 8.0811 ((4 . 8) (5 . 9) (6 . 12) (7 . 13)) 1995 0.3077 5.0595 ((2 . 3) (3 . 7) (5 . 8) (6 . 11)) 2003 0.3076 10.3079 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 2006 0.3077 4.8978 ((2 . 5) (3 . 7) (5 . 8) (6 . 9)) 2045 0.8293 3.4754 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (7 . 9) (11 . 11) (13 . 13) (31 . 29) (32 . 30) (33 . 31)) 2048 0.2975 9.4397 ((3 . 1) (4 . 2) (6 . 6) (9 . 9)) 2054 0.2284 7.1273 ((5 . 13) (6 . 14) (7 . 15) (9 . 16)) 2063 0.3077 6.8833 ((1 . 42) (2 . 43) (3 . 45) (5 . 49)) 2065 0.3077 7.3485 ((1 . 16) (2 . 17) (3 . 19) (5 . 23)) 2067 0.3077 6.6067 ((4 . 5) (7 . 8) (11 . 15) (13 . 16)) 2072 0.2974 11.1386 ((2 . 2) (4 . 3) (5 . 5) (9 . 8)) 2081 0.3077 7.1492 ((1 . 5) (2 . 6) (3 . 9) (5 . 10)) 2083 0.2554 4.9185 ((3 . 1) (5 . 2) (6 . 4) (13 . 7)) 2097 0.2975 9.6134 ((1 . 4) (2 . 5) (6 . 14) (9 . 15)) 2116 0.3077 6.7035 ((1 . 3) (2 . 4) (5 . 7) (11 . 12)) 2117 0.3077 5.9269 ((1 . 16) (2 . 20) (3 . 22) (5 . 25)) 2118 0.3845 7.8338 ((1 . 1) (2 . 3) (3 . 4) (5 . 7) (32 . 9)) 2122 0.3077 5.7008 ((3 . 12) (5 . 17) (7 . 20) (9 . 21)) 2166 0.3077 6.8701 ((1 . 3) (2 . 4) (5 . 8) (7 . 10)) 2179 0.3077 7.1573 ((1 . 5) (2 . 6) (3 . 7) (6 . 13)) 2196 0.2854 5.2869 ((1 . 11) (2 . 12) (5 . 18) (6 . 19)) 2203 0.2284 10.3310 ((1 . 5) (3 . 7) (4 . 8) (6 . 12)) 2205 0.3077 6.2430 ((1 . 18) (2 . 19) (5 . 23) (6 . 26)) 2209 0.2854 6.2127 ((1 . 5) (2 . 6) (3 . 7) (6 . 10)) 2243 0.3077 5.5653 ((1 . 53) (2 . 54) (3 . 55) (6 . 62)) 2244 0.3077 5.5232 ((1 . 70) (2 . 71) (3 . 74) (6 . 78)) 2249 0.3076 10.4202 ((4 . 10) (7 . 14) (11 . 18) (13 . 20)) 2269 0.3076 8.7013 ((3 . 6) (5 . 7) (6 . 8) (7 . 9)) 2279 0.3077 4.8887 ((1 . 10) (2 . 11) (5 . 19) (6 . 20)) 2298 0.3076 8.3377 ((4 . 7) (7 . 11) (9 . 13) (11 . 15)) 2308 0.2554 9.5664 ((3 . 8) (6 . 11) (7 . 12) (9 . 14)) 2340 0.2284 7.8872 ((3 . 9) (4 . 8) (5 . 11) (9 . 15)) 2344 0.3077 4.9310 ((4 . 8) (6 . 11) (9 . 15) (13 . 18)) 2364 0.3077 4.8455 ((1 . 4) (2 . 5) (6 . 12) (9 . 16)) 2389 0.3076 8.3665 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 2408 0.3077 6.7347 ((1 . 32) (2 . 33) (6 . 40) (13 . 47)) 2409 0.3026 7.9325 ((3 . 5) (5 . 8) (6 . 9) (9 . 11)) 2422 0.2554 8.6292 ((6 . 1) (7 . 2) (11 . 7) (13 . 8)) 2423 0.3077 6.2062 ((1 . 16) (2 . 17) (5 . 21) (6 . 22)) 2447 0.3077 6.8979 ((5 . 5) (6 . 6) (7 . 7) (33 . 30)) 2462 0.0997 7.4608 ((1 . 1) (5 . 6) (6 . 7) (13 . 12)) 2510 0.2854 10.4633 ((4 . 16) (7 . 22) (9 . 24) (11 . 25)) 2525 0.3077 3.2208 ((5 . 38) (6 . 43) (11 . 48) (13 . 50)) 2533 0.3077 6.5984 ((1 . 9) (3 . 13) (4 . 14) (6 . 18)) 2551 0.3073 14.1438 ((2 . 1) (9 . 7) (11 . 9) (13 . 11)) 2561 0.2854 9.1193 ((3 . 1) (4 . 2) (6 . 6) (13 . 9)) 2595 0.2854 9.7854 ((4 . 2) (7 . 5) (9 . 7) (11 . 9)) 2658 0.2854 8.4301 ((4 . 6) (6 . 10) (11 . 13) (13 . 14)) 2675 0.3076 8.1694 ((3 . 1) (5 . 3) (6 . 4) (9 . 9)) 2682 0.3077 5.7098 ((5 . 12) (6 . 13) (9 . 16) (11 . 19)) 2696 0.1919 10.3330 ((2 . 31) (3 . 32) (5 . 35) (6 . 37)) 2733 0.1633 8.3618 ((3 . 1) (5 . 2) (7 . 5) (9 . 6)) 2755 0.3076 8.3744 ((2 . 1) (6 . 6) (9 . 7) (11 . 10)) 2773 0.3076 10.7502 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 2804 0.3077 6.3640 ((3 . 29) (5 . 34) (6 . 36) (11 . 38)) 2830 0.3076 9.7448 ((1 . 11) (4 . 12) (5 . 15) (11 . 19)) 2834 0.3077 7.6419 ((3 . 9) (6 . 12) (9 . 15) (11 . 16)) 2840 0.3077 7.3456 ((2 . 5) (3 . 6) (5 . 9) (6 . 11)) 2842 0.3076 9.0869 ((6 . 1) (9 . 3) (11 . 4) (13 . 5)) 2867 0.3077 5.4976 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 2879 0.3077 6.3206 ((2 . 51) (3 . 52) (5 . 56) (6 . 57)) 2886 0.3077 7.0079 ((1 . 33) (2 . 34) (5 . 39) (6 . 41)) 2947 0.3846 5.8717 ((3 . 2) (5 . 3) (6 . 4) (7 . 5) (13 . 7)) 2966 0.3077 6.5771 ((1 . 9) (2 . 10) (5 . 16) (6 . 17)) 2990 0.3026 6.1479 ((4 . 10) (5 . 14) (6 . 15) (9 . 17)) 3014 0.3077 6.4589 ((1 . 4) (2 . 5) (4 . 8) (7 . 10)) 3019 0.2854 10.3418 ((1 . 11) (4 . 13) (9 . 18) (13 . 20)) 3041 0.3076 9.0924 ((7 . 1) (31 . 16) (32 . 17) (33 . 18)) 3055 0.3077 3.9414 ((1 . 12) (2 . 13) (5 . 19) (6 . 20)) 3063 0.3077 7.5670 ((1 . 38) (2 . 39) (5 . 42) (6 . 45)) 3070 0.3076 8.0416 ((1 . 32) (2 . 33) (3 . 35) (5 . 36)) 3084 0.1919 8.3214 ((2 . 11) (4 . 14) (9 . 18) (11 . 21)) 3102 0.3077 4.9290 ((1 . 71) (2 . 72) (3 . 74) (5 . 77)) 3103 0.1920 7.5914 ((2 . 1) (3 . 2) (5 . 5) (11 . 13)) 3114 0.3077 7.1993 ((2 . 21) (3 . 22) (5 . 25) (7 . 28)) 3120 0.2854 7.9028 ((1 . 21) (2 . 22) (3 . 25) (4 . 24)) 3127 0.3077 6.5349 ((1 . 3) (2 . 4) (6 . 11) (9 . 14)) 3147 0.3846 4.1362 ((1 . 16) (2 . 17) (3 . 20) (5 . 21) (6 . 22)) 3176 0.3762 7.0037 ((1 . 26) (2 . 27) (3 . 29) (4 . 30) (7 . 31)) 3187 0.3077 6.4581 ((3 . 1) (5 . 2) (6 . 3) (11 . 6)) 3190 0.1919 7.9752 ((1 . 1) (2 . 3) (4 . 7) (6 . 11)) 3197 0.3077 6.9079 ((7 . 4) (31 . 21) (32 . 22) (33 . 24)) 3200 0.3077 6.2541 ((1 . 3) (2 . 4) (3 . 6) (5 . 9)) 3202 0.2973 12.6407 ((3 . 8) (5 . 9) (7 . 10) (32 . 30)) 3212 0.2854 7.1517 ((3 . 5) (4 . 6) (5 . 9) (9 . 11)) 3222 0.3076 9.1331 ((2 . 4) (3 . 6) (11 . 16) (13 . 18)) 3256 0.3077 7.1564 ((6 . 13) (7 . 15) (11 . 19) (13 . 20)) 3261 0.3076 9.4181 ((1 . 1) (2 . 2) (6 . 6) (9 . 10)) 3286 0.3845 7.6413 ((1 . 4) (2 . 5) (4 . 8) (11 . 3) (33 . 9)) 3289 0.3076 8.9852 ((2 . 25) (3 . 27) (5 . 30) (6 . 31)) 3300 0.2554 6.7158 ((3 . 1) (5 . 2) (6 . 4) (9 . 9)) 3334 0.3077 7.3454 ((1 . 1) (5 . 5) (13 . 6) (32 . 12)) 3339 0.3075 11.8436 ((1 . 19) (3 . 21) (4 . 23) (7 . 25)) 3344 0.3077 6.2056 ((1 . 18) (2 . 20) (5 . 22) (6 . 26)) 3358 0.3075 11.0156 ((2 . 1) (3 . 2) (4 . 3) (13 . 12)) 3362 0.2554 7.7041 ((6 . 4) (7 . 5) (9 . 7) (13 . 10)) 3366 0.2284 8.6927 ((1 . 22) (4 . 25) (5 . 27) (6 . 28)) 3391 0.3077 7.9111 ((4 . 2) (6 . 4) (9 . 5) (11 . 8)) 3418 0.3699 4.3646 ((3 . 2) (4 . 3) (5 . 5) (6 . 6) (13 . 7)) 3446 0.2853 11.8307 ((1 . 6) (4 . 9) (7 . 11) (9 . 12)) 3472 0.3077 6.4838 ((3 . 1) (5 . 3) (6 . 4) (11 . 11)) 3481 0.3077 4.9975 ((1 . 4) (2 . 7) (5 . 10) (6 . 12)) 3495 0.3077 4.4679 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 3496 0.2975 8.2229 ((1 . 18) (2 . 19) (4 . 21) (9 . 25)) 3537 0.2284 10.7617 ((1 . 5) (2 . 6) (4 . 8) (6 . 10)) 3538 0.2854 8.5091 ((2 . 15) (4 . 17) (5 . 18) (6 . 20)) 3548 0.3076 8.3520 ((1 . 2) (2 . 3) (4 . 7) (5 . 8)) 3549 0.3025 10.5708 ((3 . 1) (5 . 3) (6 . 5) (7 . 7)) 3561 0.3075 11.1801 ((1 . 18) (2 . 19) (7 . 25) (11 . 30)) 3585 0.3077 7.2796 ((1 . 6) (5 . 13) (6 . 14) (9 . 15)) 3613 0.2975 7.4478 ((4 . 32) (5 . 35) (6 . 36) (7 . 39)) 3625 0.3076 8.4426 ((1 . 5) (2 . 6) (3 . 7) (5 . 9)) 3628 0.3076 8.8237 ((1 . 8) (2 . 9) (6 . 14) (9 . 16)) 3651 0.3076 10.6083 ((2 . 8) (3 . 9) (7 . 15) (11 . 21)) 3658 0.2972 13.8408 ((1 . 7) (2 . 8) (4 . 10) (7 . 13)) 3659 0.1919 9.8831 ((1 . 8) (2 . 10) (3 . 12) (5 . 13)) 3661 0.3026 7.5085 ((1 . 7) (2 . 8) (4 . 10) (9 . 18)) 3663 0.2283 12.3070 ((3 . 1) (4 . 3) (7 . 6) (9 . 7)) 3688 0.3814 7.5165 ((1 . 5) (3 . 8) (5 . 12) (6 . 14) (13 . 17)) 3697 0.3076 9.7144 ((1 . 6) (2 . 7) (4 . 8) (5 . 10)) 3703 0.2284 8.3513 ((3 . 6) (5 . 7) (7 . 10) (9 . 11)) 3732 0.3846 6.4489 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (32 . 8)) 3740 0.3077 7.5806 ((1 . 1) (5 . 6) (6 . 7) (7 . 8)) 3741 0.3077 4.5441 ((1 . 26) (2 . 27) (3 . 28) (5 . 32)) 3778 0.3846 5.5986 ((3 . 2) (5 . 3) (6 . 4) (7 . 5) (13 . 7)) 3787 0.3077 5.1617 ((1 . 3) (31 . 27) (32 . 28) (33 . 29)) 3790 0.3077 7.0212 ((1 . 3) (2 . 4) (31 . 35) (33 . 38)) 3807 0.3076 8.0254 ((5 . 43) (6 . 46) (9 . 48) (13 . 50)) 3810 0.2975 6.8005 ((1 . 8) (3 . 11) (5 . 15) (6 . 16)) 3817 0.2854 8.7505 ((1 . 10) (2 . 11) (5 . 15) (6 . 16)) 3829 0.3024 12.3081 ((2 . 2) (6 . 9) (7 . 10) (9 . 11)) 3831 0.3077 6.1551 ((1 . 2) (2 . 3) (5 . 6) (9 . 11)) 3847 0.2974 11.5228 ((3 . 13) (4 . 12) (5 . 16) (6 . 17)) 3853 0.3076 8.9677 ((4 . 4) (5 . 8) (11 . 12) (13 . 14)) 3870 0.3076 8.7646 ((1 . 8) (4 . 11) (6 . 13) (9 . 14)) 3933 0.3077 5.1895 ((1 . 2) (2 . 3) (5 . 9) (11 . 18)) 3938 0.3076 9.2107 ((3 . 2) (4 . 3) (5 . 6) (9 . 12)) 3986 0.3076 8.5770 ((2 . 1) (3 . 2) (6 . 7) (13 . 15)) 4005 0.3077 4.7702 ((2 . 7) (3 . 9) (5 . 12) (6 . 14)) 4009 0.3076 9.6006 ((2 . 11) (4 . 14) (7 . 18) (11 . 22)) 4019 0.3077 7.3229 ((5 . 35) (6 . 38) (7 . 40) (9 . 41)) 4034 0.3077 4.3070 ((1 . 6) (3 . 9) (5 . 10) (6 . 12)) 4037 0.1920 7.1222 ((3 . 1) (5 . 2) (6 . 3) (9 . 5)) 4062 0.3077 4.1559 ((3 . 48) (5 . 49) (6 . 50) (7 . 52)) 4067 0.2853 12.5275 ((4 . 12) (5 . 14) (9 . 17) (11 . 20)) 4077 0.2972 14.2231 ((3 . 10) (4 . 12) (7 . 14) (9 . 15)) 4082 0.3077 7.4601 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4087 0.2974 11.6922 ((5 . 1) (6 . 3) (7 . 4) (11 . 7)) 4112 0.3076 8.1885 ((5 . 3) (6 . 4) (7 . 7) (9 . 8)) 4115 0.2974 10.6268 ((2 . 13) (3 . 15) (7 . 18) (9 . 20)) 4140 0.3076 9.0040 ((3 . 21) (5 . 22) (7 . 25) (9 . 26)) 4151 0.3077 6.9508 ((13 . 3) (31 . 17) (32 . 18) (33 . 19)) 4177 0.2554 7.1715 ((1 . 1) (2 . 2) (4 . 6) (5 . 7)) 4190 0.3077 5.6767 ((5 . 1) (6 . 3) (9 . 4) (13 . 8)) 4192 0.3077 4.6237 ((3 . 10) (6 . 15) (9 . 18) (11 . 19)) 4195 0.1633 9.9024 ((4 . 1) (9 . 4) (13 . 6) (31 . 15)) 4204 0.3076 8.6786 ((2 . 9) (4 . 12) (5 . 14) (6 . 15)) 4209 0.3846 4.3126 ((3 . 1) (5 . 2) (6 . 4) (9 . 6) (11 . 10)) 4210 0.3075 10.8644 ((3 . 4) (5 . 5) (6 . 6) (7 . 7)) 4226 0.3077 7.8063 ((1 . 8) (2 . 9) (6 . 16) (7 . 17)) 4232 0.3077 6.4320 ((3 . 1) (5 . 2) (6 . 3) (13 . 8)) 4236 0.3077 7.0745 ((3 . 5) (5 . 6) (6 . 7) (9 . 11)) 4246 0.3077 5.9610 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 4254 0.3076 9.7291 ((1 . 3) (2 . 4) (4 . 7) (7 . 12)) 4257 0.3076 10.5979 ((1 . 3) (4 . 6) (5 . 10) (6 . 12)) 4265 0.2975 6.9470 ((1 . 21) (3 . 23) (6 . 29) (9 . 30)) 4266 0.3077 6.5647 ((5 . 11) (6 . 12) (7 . 14) (9 . 16)) 4275 0.2854 9.7103 ((4 . 24) (5 . 27) (6 . 28) (7 . 29)) 4281 0.1920 6.1705 ((1 . 3) (2 . 4) (5 . 8) (9 . 13)) 4284 0.3077 4.9284 ((1 . 4) (2 . 5) (3 . 6) (5 . 9)) 4299 0.3077 7.1526 ((1 . 11) (3 . 14) (5 . 19) (6 . 20)) 4301 0.3076 9.4765 ((2 . 3) (3 . 4) (5 . 9) (6 . 10)) 4326 0.2972 14.4320 ((4 . 8) (5 . 12) (9 . 16) (11 . 19)) 4332 0.2975 7.0210 ((6 . 2) (7 . 3) (11 . 6) (13 . 9)) 4338 0.3077 7.7946 ((3 . 2) (4 . 5) (6 . 6) (11 . 11)) 4359 0.4615 2.9644 ((1 . 13) (2 . 14) (3 . 21) (5 . 22) (6 . 23) (13 . 24)) 4380 0.3077 3.7461 ((3 . 24) (5 . 29) (6 . 32) (13 . 36)) 4383 0.3077 7.2635 ((2 . 14) (3 . 15) (5 . 18) (6 . 19)) 4386 0.3077 6.2190 ((2 . 16) (3 . 18) (5 . 19) (6 . 21)) 4388 0.3076 8.0116 ((1 . 5) (2 . 6) (3 . 8) (6 . 12)) 4398 0.1919 10.2484 ((7 . 2) (9 . 5) (11 . 7) (13 . 8)) 4405 0.3076 8.8825 ((6 . 19) (7 . 20) (11 . 24) (13 . 25)) 4408 0.3077 5.5133 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 4415 0.3842 10.6256 ((2 . 1) (3 . 3) (5 . 4) (9 . 10) (11 . 12)) 4419 0.3076 10.1161 ((3 . 3) (5 . 6) (6 . 8) (9 . 11)) 4470 0.3077 3.9788 ((2 . 14) (3 . 19) (5 . 20) (6 . 25)) 4491 0.3077 7.9218 ((6 . 1) (9 . 4) (11 . 6) (13 . 8)) 4492 0.3077 7.5815 ((3 . 3) (5 . 7) (6 . 8) (7 . 10)) 4495 0.3075 11.5392 ((2 . 6) (5 . 10) (7 . 12) (13 . 16)) 4497 0.3077 5.7225 ((3 . 18) (5 . 23) (6 . 24) (13 . 30)) 4502 0.3077 4.2858 ((1 . 9) (2 . 10) (5 . 14) (6 . 17)) 4503 0.3025 9.0254 ((3 . 3) (4 . 2) (5 . 6) (6 . 8)) 4504 0.3077 5.5462 ((1 . 6) (2 . 8) (5 . 13) (6 . 15)) 4505 0.3076 8.9221 ((1 . 25) (2 . 26) (4 . 27) (5 . 30)) 4516 0.3076 8.4306 ((2 . 14) (5 . 20) (9 . 23) (11 . 26)) 4538 0.2854 8.3107 ((7 . 27) (9 . 29) (11 . 31) (13 . 32)) 4551 0.3077 6.9820 ((1 . 2) (4 . 7) (11 . 17) (13 . 18)) 4560 0.3077 7.1587 ((1 . 2) (2 . 4) (5 . 8) (9 . 12)) 4561 0.3075 11.9194 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 4562 0.3076 8.3485 ((2 . 19) (4 . 23) (5 . 25) (6 . 27)) 4563 0.3076 8.8111 ((2 . 4) (4 . 6) (32 . 30) (33 . 31)) 4577 0.3843 9.6569 ((3 . 49) (5 . 52) (6 . 54) (11 . 60) (13 . 62)) 4579 0.3025 8.7261 ((5 . 17) (6 . 18) (7 . 21) (9 . 22)) 4588 0.2975 9.3242 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 4589 0.3077 6.9961 ((3 . 19) (5 . 22) (6 . 23) (7 . 24)) 4607 0.3076 8.2986 ((5 . 3) (6 . 4) (9 . 8) (32 . 28)) 4621 0.3077 7.6441 ((1 . 3) (2 . 4) (3 . 7) (5 . 9)) 4630 0.3077 6.3898 ((1 . 19) (3 . 22) (6 . 28) (13 . 36)) 4648 0.3077 5.1385 ((1 . 1) (2 . 2) (3 . 5) (11 . 8)) 4668 0.3075 11.9498 ((4 . 2) (5 . 5) (9 . 10) (11 . 11)) 4671 0.3077 6.8615 ((1 . 11) (2 . 12) (3 . 14) (6 . 19)) 4674 0.2554 5.2358 ((1 . 1) (2 . 2) (4 . 5) (5 . 7)) 4678 0.2854 7.3155 ((1 . 10) (3 . 12) (5 . 15) (6 . 16)) 4713 0.3077 7.4615 ((3 . 5) (5 . 8) (6 . 9) (9 . 11)) 4715 0.3076 10.6099 ((3 . 3) (4 . 4) (7 . 7) (9 . 9)) 4731 0.3076 8.2932 ((5 . 18) (7 . 19) (9 . 20) (13 . 23)) 4734 0.2975 7.2962 ((1 . 4) (2 . 6) (31 . 32) (33 . 33)) 4857 0.2975 6.8208 ((1 . 2) (2 . 3) (3 . 5) (6 . 9)) 4886 0.3076 9.4028 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 4888 0.2854 10.1290 ((4 . 5) (7 . 10) (9 . 11) (11 . 13)) 4889 0.3077 5.7306 ((3 . 2) (5 . 3) (6 . 4) (11 . 7)) 4907 0.3077 5.8090 ((6 . 1) (9 . 2) (11 . 5) (13 . 7)) 4914 0.2284 7.1315 ((4 . 2) (5 . 4) (6 . 5) (11 . 10)) 4921 0.1480 8.6884 ((3 . 7) (5 . 9) (6 . 12) (9 . 13)) 4932 0.2854 8.0395 ((1 . 1) (2 . 2) (3 . 5) (6 . 8)) 4940 0.3076 10.5550 ((2 . 9) (3 . 10) (6 . 12) (9 . 14)) 4961 0.3075 10.8115 ((5 . 14) (6 . 15) (9 . 18) (11 . 20)) 4978 0.3071 8.7059 ((1 . 22) (2 . 24) (3 . 25) (9 . 29) (13 . 32)) 4982 0.3071 15.3466 ((5 . 10) (7 . 13) (9 . 15) (13 . 18)) 4998 0.3075 10.8605 ((1 . 19) (2 . 20) (4 . 21) (5 . 23)) 5029 0.2854 8.9636 ((5 . 1) (9 . 5) (11 . 8) (13 . 10)) 5036 0.3077 5.6267 ((2 . 4) (3 . 5) (5 . 8) (11 . 10)) 5039 0.2284 5.3159 ((3 . 37) (5 . 39) (6 . 41) (11 . 45)) 5044 0.8179 3.6487 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 8) (6 . 9) (7 . 11) (11 . 14) (13 . 16) (31 . 31) (32 . 32) (33 . 33)) 5046 0.2854 9.6813 ((2 . 1) (3 . 3) (5 . 4) (9 . 9)) 5053 0.3076 10.1574 ((4 . 8) (5 . 10) (6 . 12) (7 . 13)) 5065 0.3077 5.5817 ((3 . 2) (5 . 3) (7 . 6) (11 . 11)) 5068 0.3077 7.7352 ((11 . 2) (13 . 4) (31 . 20) (33 . 24)) 5069 0.3296 5.5516 ((1 . 4) (2 . 5) (3 . 9) (5 . 15) (6 . 17)) 5073 0.2554 6.1810 ((1 . 32) (2 . 34) (5 . 39) (9 . 41)) 5083 0.2284 6.9118 ((6 . 2) (7 . 3) (9 . 4) (11 . 9)) 5101 0.3076 10.1245 ((7 . 2) (31 . 23) (32 . 24) (33 . 25)) 5103 0.3074 12.8233 ((2 . 6) (4 . 8) (7 . 12) (13 . 15)) 5121 0.3077 7.8427 ((3 . 18) (5 . 21) (7 . 23) (13 . 29)) 5132 0.2975 5.7422 ((1 . 26) (3 . 28) (4 . 29) (7 . 35)) 5134 0.3077 5.2831 ((3 . 6) (5 . 10) (6 . 14) (11 . 17)) 5167 0.3073 13.8144 ((1 . 3) (2 . 4) (4 . 6) (7 . 10)) 5176 0.2975 8.7277 ((1 . 82) (5 . 87) (6 . 88) (11 . 91)) 5192 0.3075 11.3497 ((2 . 3) (4 . 6) (7 . 10) (9 . 11)) 5198 0.3076 9.4446 ((3 . 21) (6 . 24) (7 . 25) (11 . 31)) 5199 0.3077 5.3998 ((2 . 4) (3 . 7) (5 . 8) (11 . 10)) 5212 0.3077 6.3021 ((1 . 2) (2 . 3) (4 . 8) (7 . 10)) 5215 0.3076 9.4036 ((4 . 8) (5 . 9) (9 . 13) (13 . 15)) 5223 0.3075 11.8963 ((3 . 8) (4 . 9) (6 . 12) (7 . 13)) 5231 0.3076 9.1197 ((5 . 8) (6 . 12) (9 . 15) (11 . 16)) 5266 0.3076 9.8968 ((2 . 6) (3 . 8) (4 . 9) (5 . 10)) 5278 0.3077 5.6601 ((3 . 2) (5 . 5) (6 . 6) (13 . 12)) 5312 0.3077 5.9573 ((3 . 1) (5 . 2) (6 . 3) (11 . 7)) 5318 0.2554 7.5040 ((1 . 19) (3 . 22) (5 . 23) (6 . 24)) 5323 0.3077 7.4894 ((5 . 10) (6 . 11) (7 . 12) (9 . 13)) 5324 0.3077 5.9280 ((7 . 4) (31 . 22) (32 . 23) (33 . 25)) 5344 0.3077 7.1904 ((1 . 1) (2 . 2) (4 . 5) (11 . 10)) 5345 0.3846 4.4783 ((1 . 12) (2 . 13) (3 . 16) (5 . 17) (6 . 18)) 5368 0.4615 5.0030 ((1 . 25) (2 . 26) (3 . 29) (5 . 30) (6 . 32) (13 . 33)) 5378 0.3077 6.3299 ((1 . 8) (2 . 9) (6 . 16) (11 . 21)) 5411 0.3077 7.0281 ((6 . 3) (7 . 2) (9 . 5) (11 . 8)) 5414 0.3077 6.2234 ((2 . 15) (3 . 16) (5 . 20) (6 . 21)) 5418 0.3077 5.4913 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 5433 0.2854 7.5478 ((1 . 16) (2 . 18) (3 . 20) (4 . 24)) 5479 0.3077 5.4878 ((1 . 68) (3 . 71) (5 . 72) (11 . 74)) 5487 0.2854 9.0946 ((4 . 1) (5 . 2) (9 . 8) (11 . 11)) 5489 0.3699 4.9270 ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (13 . 14)) 5500 0.1919 8.0975 ((1 . 1) (2 . 2) (3 . 4) (5 . 7)) 5501 0.3077 7.8576 ((5 . 24) (6 . 25) (7 . 27) (9 . 28)) 5525 0.2283 13.3266 ((4 . 3) (6 . 7) (7 . 5) (9 . 9)) 5535 0.1920 7.2412 ((1 . 2) (2 . 4) (5 . 9) (6 . 11)) 5540 0.2975 6.0579 ((2 . 7) (5 . 10) (6 . 14) (11 . 18)) 5557 0.3025 10.4275 ((2 . 1) (6 . 6) (7 . 7) (9 . 8)) 5560 0.3026 7.6230 ((7 . 1) (9 . 3) (31 . 20) (32 . 21)) 5562 0.3076 8.8484 ((3 . 6) (5 . 7) (9 . 12) (11 . 14)) 5567 0.3075 12.1080 ((1 . 4) (2 . 5) (3 . 6) (9 . 14)) 5594 0.3077 7.1196 ((2 . 3) (3 . 4) (6 . 9) (7 . 10)) 5600 0.3076 10.7823 ((4 . 4) (5 . 5) (6 . 6) (9 . 10)) 5601 0.2554 9.4925 ((4 . 6) (7 . 9) (9 . 11) (13 . 16)) 5640 0.3077 4.6723 ((1 . 19) (2 . 20) (5 . 24) (6 . 25)) 5644 0.2854 6.9847 ((1 . 1) (3 . 4) (4 . 5) (5 . 8)) 5656 0.3296 4.8805 ((1 . 2) (2 . 3) (3 . 9) (5 . 10) (9 . 26)) 5700 0.2284 9.3911 ((4 . 1) (5 . 3) (6 . 4) (11 . 8)) 5701 0.3076 8.2106 ((1 . 4) (2 . 5) (4 . 7) (13 . 14)) 5711 0.3077 6.2151 ((1 . 35) (2 . 36) (3 . 37) (6 . 44)) 5713 0.3577 5.6863 ((1 . 10) (2 . 11) (3 . 20) (5 . 21) (6 . 22) (33 . 24)) 5718 0.2284 7.2146 ((3 . 14) (6 . 17) (9 . 22) (11 . 24)) 5731 0.3075 10.9309 ((4 . 1) (5 . 2) (6 . 4) (11 . 9)) 5746 0.3077 7.0488 ((1 . 2) (2 . 3) (3 . 6) (5 . 7)) 5749 0.3077 7.6721 ((3 . 3) (5 . 4) (6 . 5) (9 . 8)) 5761 0.2284 10.9148 ((1 . 28) (2 . 30) (3 . 31) (4 . 33)) 5770 0.3076 8.4516 ((1 . 9) (2 . 12) (3 . 15) (4 . 18)) 5771 0.3075 12.0961 ((4 . 10) (5 . 13) (6 . 15) (11 . 20)) 5782 0.3577 3.6535 ((1 . 14) (2 . 15) (3 . 22) (5 . 24) (6 . 29) (13 . 30)) 5794 0.3077 6.7744 ((1 . 15) (2 . 16) (3 . 18) (5 . 19)) 5795 0.3077 6.9189 ((4 . 5) (5 . 6) (6 . 9) (9 . 11)) 5809 0.3294 10.0570 ((1 . 3) (4 . 6) (7 . 8) (9 . 10) (11 . 12)) 5822 0.1732 10.7701 ((3 . 1) (4 . 5) (5 . 8) (9 . 10) (33 . 7)) 5827 0.2975 9.6269 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 5830 0.3077 7.4679 ((4 . 5) (6 . 10) (9 . 11) (13 . 17)) 5847 0.3846 5.9574 ((2 . 11) (3 . 12) (5 . 13) (6 . 16) (11 . 17)) 5861 0.3077 5.4697 ((2 . 5) (3 . 6) (5 . 10) (6 . 11)) 5865 0.3296 6.2626 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (6 . 7)) 5878 0.3076 8.2800 ((7 . 22) (9 . 23) (11 . 25) (13 . 26)) 5888 0.3846 5.2505 ((1 . 9) (2 . 10) (3 . 12) (5 . 16) (6 . 17)) 5913 0.3076 8.2457 ((5 . 5) (6 . 6) (9 . 8) (13 . 13)) 5914 0.3077 6.2310 ((3 . 2) (5 . 3) (6 . 6) (7 . 7)) 5930 0.3076 9.9695 ((1 . 4) (4 . 6) (5 . 10) (6 . 12)) 5939 0.2284 8.8406 ((2 . 4) (4 . 5) (6 . 9) (9 . 12)) 5945 0.3077 7.8709 ((7 . 1) (31 . 26) (32 . 27) (33 . 28)) 5949 0.2975 9.2095 ((2 . 14) (4 . 15) (7 . 19) (9 . 20)) 5955 0.3076 10.2085 ((3 . 1) (4 . 2) (5 . 5) (9 . 8)) 6000 0.3077 6.3348 ((13 . 4) (31 . 17) (32 . 18) (33 . 21)) 6011 0.3077 4.5352 ((1 . 14) (2 . 15) (3 . 16) (5 . 19)) 6022 0.2854 6.1874 ((1 . 1) (3 . 4) (5 . 5) (6 . 7)) 6028 0.2284 9.7441 ((3 . 1) (5 . 2) (6 . 3) (9 . 8)) 6029 0.3697 9.3963 ((1 . 4) (2 . 6) (4 . 9) (5 . 11) (32 . 38)) 6041 0.3077 7.5786 ((1 . 2) (6 . 8) (11 . 13) (13 . 15)) 6046 0.2854 9.0030 ((1 . 2) (2 . 3) (3 . 5) (4 . 7)) 6061 0.3076 8.4330 ((3 . 13) (5 . 14) (6 . 15) (7 . 16)) 6074 0.2975 9.1538 ((2 . 4) (4 . 7) (9 . 12) (13 . 15)) 6075 0.1920 7.1957 ((1 . 17) (2 . 20) (4 . 22) (5 . 24)) 6079 0.3076 10.0727 ((6 . 1) (9 . 2) (13 . 7) (31 . 21)) 6087 0.2854 7.6667 ((4 . 4) (7 . 7) (9 . 9) (11 . 10)) 6089 0.3076 9.7052 ((2 . 5) (4 . 8) (5 . 11) (7 . 13)) 6094 0.3076 8.8032 ((2 . 12) (3 . 14) (5 . 15) (6 . 16)) 6099 0.3845 8.0299 ((1 . 13) (2 . 14) (3 . 16) (5 . 18) (7 . 20)) 6123 0.2854 9.0206 ((1 . 1) (2 . 3) (3 . 4) (4 . 6)) 6142 0.3846 5.6190 ((1 . 11) (2 . 12) (5 . 16) (6 . 18) (13 . 24)) 6148 0.2975 7.9474 ((3 . 32) (5 . 33) (6 . 34) (7 . 35)) 6167 0.2854 8.6675 ((1 . 4) (2 . 6) (3 . 9) (6 . 17)) 6173 0.3077 6.4265 ((1 . 9) (2 . 11) (3 . 13) (5 . 15)) 6191 0.3077 7.4268 ((3 . 3) (5 . 4) (7 . 7) (13 . 12)) 6192 0.3076 8.4896 ((3 . 5) (5 . 10) (6 . 11) (13 . 13)) 6225 0.3075 10.9158 ((1 . 7) (2 . 8) (4 . 9) (5 . 12)) 6228 0.3075 12.0160 ((4 . 2) (5 . 5) (9 . 8) (11 . 9)) 6234 0.3077 2.8460 ((3 . 6) (5 . 7) (6 . 13) (11 . 15)) 6243 0.3077 5.5453 ((3 . 2) (5 . 3) (9 . 9) (11 . 10)) 6251 0.1919 13.1705 ((2 . 10) (4 . 11) (5 . 15) (9 . 18)) 6258 0.1480 7.0215 ((7 . 2) (9 . 5) (11 . 7) (13 . 9)) 6261 0.3076 9.4255 ((3 . 21) (5 . 22) (7 . 24) (9 . 25)) 6266 0.2284 8.2860 ((1 . 3) (2 . 5) (6 . 10) (7 . 11)) 6270 0.2284 8.5862 ((1 . 18) (2 . 20) (3 . 22) (4 . 23)) 6271 0.3076 8.7169 ((1 . 2) (2 . 3) (4 . 6) (6 . 10)) 6273 0.9230 2.3096 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 9) (11 . 12) (13 . 13) (31 . 31) (32 . 32) (33 . 33)) 6294 0.3077 7.7441 ((13 . 6) (31 . 25) (32 . 26) (33 . 27)) 6306 0.1480 10.6665 ((3 . 19) (4 . 18) (5 . 21) (9 . 23)) 6309 0.1919 8.5475 ((1 . 17) (2 . 18) (3 . 20) (5 . 25)) 6311 0.3077 4.3605 ((1 . 4) (2 . 5) (3 . 9) (5 . 10)) 6326 0.3077 7.6908 ((1 . 2) (5 . 6) (6 . 7) (11 . 12)) 6344 0.2854 5.4536 ((1 . 12) (2 . 13) (3 . 14) (6 . 21)) 6348 0.3077 7.7753 ((5 . 4) (7 . 5) (11 . 9) (13 . 11)) 6355 0.3077 5.7827 ((1 . 6) (2 . 7) (3 . 8) (5 . 11)) 6356 0.3075 11.7099 ((1 . 4) (4 . 8) (6 . 11) (9 . 12)) 6369 0.3846 6.4098 ((2 . 3) (3 . 5) (31 . 26) (32 . 28) (33 . 29)) 6376 0.2554 9.9151 ((3 . 17) (6 . 21) (7 . 23) (11 . 27)) 6391 0.3077 6.3351 ((2 . 6) (3 . 8) (5 . 10) (6 . 12)) 6392 0.3076 9.3694 ((2 . 3) (4 . 5) (6 . 7) (9 . 10)) 6399 0.3077 4.7711 ((1 . 19) (2 . 20) (5 . 27) (6 . 28)) 6403 0.3077 7.2559 ((1 . 1) (2 . 2) (5 . 7) (9 . 11)) 6434 0.3077 7.6789 ((2 . 3) (3 . 4) (5 . 5) (9 . 8)) 6462 0.3076 8.8374 ((1 . 20) (3 . 22) (4 . 23) (7 . 27)) 6498 0.3076 8.0002 ((3 . 1) (5 . 2) (6 . 3) (7 . 5)) 6520 0.3076 8.2057 ((5 . 1) (6 . 2) (31 . 24) (33 . 26)) 6536 0.3073 14.1099 ((7 . 22) (9 . 23) (32 . 34) (33 . 35)) 6539 0.3077 6.9067 ((6 . 2) (9 . 3) (11 . 6) (13 . 8)) 6553 0.2554 9.7515 ((2 . 13) (3 . 15) (4 . 16) (5 . 17)) 6555 0.3077 5.8506 ((6 . 20) (7 . 21) (11 . 25) (13 . 26)) 6561 0.3077 7.1666 ((2 . 3) (5 . 9) (6 . 10) (7 . 11)) 6575 0.1919 11.1415 ((3 . 1) (4 . 3) (7 . 6) (9 . 7)) 6578 0.1920 7.0179 ((1 . 31) (2 . 32) (3 . 34) (9 . 41)) 6584 0.3077 7.4878 ((1 . 2) (2 . 3) (4 . 4) (5 . 7)) 6585 0.3077 7.9071 ((6 . 1) (7 . 3) (9 . 4) (11 . 6)) 6598 0.3077 5.0125 ((1 . 21) (2 . 22) (5 . 26) (6 . 27)) 6613 0.3076 8.0639 ((1 . 32) (2 . 33) (3 . 34) (5 . 35)) 6635 0.2854 6.5511 ((6 . 1) (7 . 2) (9 . 3) (13 . 7)) END