4221 233 0.4539 9.4803 ((2 . 1) (5 . 3) (7 . 5) (8 . 7) (10 . 8)) 234 0.3636 7.0828 ((7 . 12) (10 . 14) (12 . 15) (13 . 16)) 291 0.6359 5.8949 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 6) (13 . 7)) 349 0.8174 4.7949 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 365 0.4543 7.8257 ((6 . 1) (8 . 3) (10 . 4) (12 . 6) (13 . 8)) 388 0.4545 5.8236 ((2 . 16) (3 . 17) (5 . 18) (6 . 19) (13 . 23)) 402 0.4543 7.6019 ((5 . 2) (8 . 6) (10 . 7) (12 . 9) (13 . 11)) 403 0.6352 7.2947 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (8 . 18) (12 . 20) (13 . 21)) 404 0.4543 7.5166 ((1 . 22) (2 . 23) (4 . 24) (5 . 25) (8 . 30)) 405 0.5448 7.8698 ((5 . 32) (7 . 35) (8 . 37) (10 . 38) (12 . 39) (13 . 40)) 445 0.4539 9.5028 ((2 . 1) (5 . 3) (7 . 5) (8 . 6) (10 . 7)) 449 0.3636 6.9047 ((2 . 1) (3 . 2) (5 . 3) (8 . 7)) 450 0.3636 6.5181 ((7 . 15) (10 . 18) (12 . 19) (13 . 20)) 564 0.8181 2.6372 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 565 0.5447 7.9118 ((3 . 13) (5 . 14) (6 . 15) (7 . 16) (8 . 17) (10 . 18)) 567 0.4544 6.3461 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (7 . 6)) 568 0.6361 5.0225 ((1 . 12) (3 . 13) (5 . 15) (6 . 16) (10 . 17) (12 . 18) (13 . 19)) 570 0.7272 3.2338 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (10 . 9) (12 . 11) (13 . 12)) 571 0.3636 5.8230 ((1 . 14) (4 . 15) (5 . 16) (6 . 17)) 578 0.4544 7.0427 ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5)) 579 0.4542 7.9978 ((3 . 10) (5 . 12) (6 . 13) (7 . 14) (8 . 15)) 599 0.7272 2.6888 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (10 . 7) (12 . 9) (13 . 10)) 600 0.5448 7.8429 ((3 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 15) (10 . 16)) 626 0.3636 6.6148 ((5 . 3) (6 . 4) (7 . 5) (10 . 8)) 668 0.5452 6.0304 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 7) (7 . 8)) 669 0.4538 9.8855 ((2 . 13) (3 . 14) (5 . 16) (8 . 20) (10 . 21)) 670 0.7043 4.7036 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (5 . 27) (10 . 28) (12 . 30) (13 . 31)) 671 0.5440 9.3989 ((2 . 32) (5 . 35) (6 . 37) (7 . 38) (8 . 40) (10 . 41)) 693 0.4545 4.9044 ((5 . 32) (6 . 33) (7 . 34) (8 . 35) (10 . 36)) 695 0.5451 6.7900 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (12 . 7) (13 . 8)) 696 0.4541 8.8125 ((2 . 11) (5 . 13) (7 . 16) (8 . 17) (10 . 19)) 697 0.4543 7.5059 ((1 . 20) (2 . 21) (3 . 22) (5 . 23) (8 . 27)) 698 0.5448 7.6297 ((6 . 34) (7 . 36) (8 . 37) (10 . 38) (12 . 39) (13 . 40)) 828 0.5448 7.7436 ((3 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (10 . 13)) 888 0.4545 5.1229 ((1 . 17) (2 . 18) (3 . 19) (5 . 20) (6 . 21)) 919 0.6362 4.1953 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (10 . 8) (12 . 9) (13 . 10)) 922 0.7271 4.0294 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (10 . 8) (12 . 10)) 926 0.8181 2.2488 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 927 0.4544 6.9548 ((7 . 15) (8 . 17) (10 . 18) (12 . 19) (13 . 20)) 1025 0.3635 8.0754 ((1 . 5) (5 . 7) (6 . 8) (7 . 9)) 1086 0.8182 1.7405 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (12 . 12) (13 . 13)) 1110 0.6363 3.0180 ((2 . 10) (3 . 11) (5 . 13) (8 . 14) (10 . 15) (12 . 16) (13 . 18)) 1112 0.4544 6.1688 ((7 . 7) (8 . 8) (10 . 9) (12 . 10) (13 . 12)) 1126 0.4544 6.5099 ((3 . 5) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1127 0.4545 5.9463 ((7 . 16) (8 . 17) (10 . 18) (12 . 19) (13 . 21)) 1149 0.6358 6.2278 ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 6) (13 . 7)) 1164 0.4543 7.3468 ((5 . 3) (7 . 6) (8 . 7) (10 . 9) (12 . 10)) 1181 0.5447 7.9330 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (12 . 9) (13 . 11)) 1235 0.5450 6.9331 ((6 . 3) (7 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1236 0.6361 5.0362 ((1 . 11) (4 . 14) (5 . 15) (6 . 18) (7 . 19) (12 . 21) (13 . 23)) 1270 0.6360 5.3811 ((2 . 34) (3 . 35) (5 . 36) (6 . 37) (10 . 38) (12 . 39) (13 . 40)) 1293 0.8160 6.3164 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 7) (8 . 9) (10 . 10) (12 . 11) (13 . 14)) 1294 0.5450 6.8668 ((1 . 39) (4 . 40) (5 . 41) (6 . 42) (12 . 46) (13 . 47)) 1295 0.5446 8.2135 ((3 . 49) (5 . 50) (6 . 51) (7 . 52) (8 . 53) (10 . 54)) 1341 0.4544 6.1462 ((1 . 1) (2 . 2) (5 . 5) (6 . 7) (7 . 8)) 1342 0.5434 10.3554 ((2 . 14) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (10 . 23)) 1363 0.4544 6.4102 ((5 . 3) (6 . 5) (7 . 6) (8 . 7) (10 . 8)) 1374 0.5454 3.7468 ((2 . 2) (3 . 3) (5 . 4) (10 . 6) (12 . 8) (13 . 9)) 1375 0.4540 9.1200 ((3 . 12) (5 . 14) (7 . 16) (8 . 18) (10 . 19)) 1390 0.5454 2.9585 ((2 . 2) (3 . 3) (5 . 4) (10 . 6) (12 . 8) (13 . 9)) 1391 0.4544 6.9706 ((4 . 12) (5 . 13) (6 . 14) (12 . 17) (13 . 18)) 1392 0.5447 8.0660 ((3 . 21) (5 . 22) (6 . 23) (7 . 24) (8 . 25) (10 . 26)) 1418 0.4541 8.8239 ((5 . 2) (6 . 3) (7 . 4) (10 . 6) (12 . 7)) 1419 0.6357 6.4603 ((1 . 10) (4 . 11) (5 . 12) (6 . 13) (7 . 14) (12 . 15) (13 . 16)) 1445 0.9089 2.8481 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (10 . 10) (12 . 12) (13 . 13)) 1446 0.4543 7.4411 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (8 . 22)) 1502 0.7269 4.6514 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1555 0.7271 3.7548 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 1566 0.7270 4.4940 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 10) (12 . 12)) 1568 0.5448 7.8634 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 6) (10 . 7)) 1569 0.6362 4.5307 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (10 . 5) (12 . 6) (13 . 8)) 1570 0.5449 7.3737 ((3 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (10 . 16)) 1571 0.5448 7.7598 ((3 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (10 . 24)) 1572 0.5448 7.8524 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 6) (10 . 8)) 1573 0.6359 5.6992 ((1 . 9) (4 . 10) (5 . 11) (6 . 12) (10 . 13) (12 . 14) (13 . 16)) 1579 0.7271 3.8121 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 1580 0.9071 5.4214 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 11)) 1600 0.6359 5.9774 ((2 . 1) (3 . 3) (5 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 1601 0.6355 6.8164 ((1 . 10) (3 . 11) (5 . 12) (8 . 15) (10 . 17) (12 . 20) (13 . 21)) 1660 0.5453 5.4784 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 5) (12 . 7)) 1661 0.4544 6.9310 ((7 . 14) (8 . 15) (10 . 16) (12 . 17) (13 . 18)) 1666 0.8166 5.8114 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 11)) 1667 0.4545 5.8210 ((2 . 38) (5 . 40) (6 . 41) (12 . 44) (13 . 45)) 1668 0.6359 5.9852 ((1 . 46) (4 . 48) (5 . 50) (6 . 51) (10 . 53) (12 . 54) (13 . 55)) 1684 0.3636 7.3161 ((7 . 1) (8 . 3) (10 . 4) (13 . 7)) 1688 0.7268 4.8508 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1722 0.7267 5.1876 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (6 . 8) (10 . 10) (12 . 13) (13 . 15)) 1723 0.4545 5.0568 ((1 . 17) (2 . 18) (4 . 19) (5 . 20) (6 . 21)) 1826 0.6362 4.6816 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (10 . 8) (12 . 9)) 1827 0.6360 5.3381 ((1 . 13) (4 . 14) (5 . 16) (6 . 18) (10 . 19) (12 . 20) (13 . 21)) 1828 0.4543 7.6987 ((2 . 22) (3 . 23) (5 . 26) (6 . 27) (7 . 28)) 1864 0.5451 6.6770 ((6 . 3) (7 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1928 0.5452 6.1564 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (13 . 11)) 1938 0.7271 4.0251 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (10 . 6) (12 . 8) (13 . 9)) 1939 0.5454 4.6633 ((2 . 10) (3 . 11) (5 . 12) (10 . 16) (12 . 17) (13 . 18)) 1996 0.6363 3.2952 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (10 . 5) (12 . 6) (13 . 7)) 2009 0.6344 8.3575 ((1 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 7) (12 . 8) (13 . 9)) 2022 0.3636 5.7578 ((2 . 19) (3 . 20) (5 . 22) (6 . 24)) 2061 0.5439 9.6659 ((2 . 1) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9)) 2087 0.9078 4.8099 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 2110 0.6359 5.7072 ((1 . 21) (3 . 23) (5 . 24) (8 . 26) (10 . 27) (12 . 28) (13 . 29)) 2165 0.7262 6.1587 ((1 . 24) (2 . 25) (4 . 29) (5 . 30) (6 . 31) (10 . 32) (12 . 37) (13 . 40)) 2186 0.6360 5.6707 ((2 . 7) (3 . 8) (5 . 9) (8 . 11) (10 . 12) (12 . 13) (13 . 14)) 2188 0.5449 7.3376 ((1 . 9) (4 . 10) (5 . 11) (10 . 14) (12 . 15) (13 . 16)) 2191 0.4544 6.4944 ((5 . 2) (6 . 4) (7 . 5) (8 . 7) (10 . 8)) 2221 0.7271 3.7623 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 2246 0.8181 2.3453 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (7 . 7) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 2318 0.8176 4.5424 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 2319 0.4545 5.8478 ((1 . 18) (2 . 19) (4 . 20) (5 . 21) (6 . 22)) 2320 0.7270 4.1931 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6) (8 . 7) (10 . 8) (12 . 10)) 2321 0.4541 8.7794 ((6 . 14) (7 . 15) (10 . 18) (12 . 20) (13 . 22)) 2338 0.3636 7.4355 ((1 . 15) (5 . 19) (6 . 21) (7 . 22)) 2365 0.5441 9.3515 ((2 . 2) (3 . 3) (5 . 6) (7 . 10) (8 . 11) (10 . 12)) 2428 0.6336 9.1826 ((1 . 5) (5 . 8) (6 . 9) (8 . 12) (10 . 13) (12 . 14) (13 . 15)) 2441 0.4544 6.4841 ((7 . 4) (8 . 5) (10 . 6) (12 . 7) (13 . 9)) 2442 0.4545 5.9217 ((3 . 10) (5 . 12) (6 . 14) (7 . 15) (10 . 17)) 2444 0.4543 7.7408 ((1 . 1) (3 . 2) (5 . 4) (6 . 5) (7 . 7)) 2445 0.4544 6.0905 ((1 . 11) (5 . 14) (6 . 15) (7 . 16) (10 . 19)) 2473 0.4545 4.5697 ((3 . 3) (5 . 5) (6 . 6) (12 . 10) (13 . 11)) 2507 0.8047 2.7916 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 9) (10 . 11) (12 . 13) (13 . 14)) 2508 0.6363 2.6901 ((2 . 16) (3 . 17) (5 . 19) (6 . 20) (10 . 22) (12 . 24) (13 . 25)) 2531 0.5439 9.6165 ((5 . 1) (6 . 2) (7 . 3) (10 . 7) (12 . 8) (13 . 9)) 2534 0.7098 5.5623 ((1 . 16) (2 . 17) (4 . 18) (5 . 19) (6 . 20) (8 . 22) (12 . 23) (13 . 25)) 2577 0.5438 9.8204 ((2 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 10)) 2578 0.5438 9.7570 ((2 . 12) (5 . 15) (6 . 17) (7 . 18) (8 . 20) (10 . 21)) 2579 0.4753 6.2238 ((1 . 22) (2 . 23) (4 . 24) (5 . 25) (6 . 27) (8 . 29) (12 . 31) (13 . 32)) 2641 0.4127 5.7054 ((1 . 1) (4 . 3) (5 . 5) (6 . 6) (7 . 7) (12 . 9) (13 . 10)) 2686 0.4545 5.9790 ((2 . 2) (4 . 3) (5 . 4) (6 . 7) (13 . 13)) 2728 0.6361 4.9560 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (10 . 6) (12 . 9) (13 . 10)) 2767 0.5445 8.4940 ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 7)) 2812 0.3636 5.1263 ((1 . 2) (4 . 5) (5 . 6) (6 . 7)) 2813 0.3636 6.3454 ((5 . 9) (8 . 10) (10 . 13) (12 . 14)) 2877 0.4543 7.4280 ((4 . 2) (5 . 3) (6 . 4) (12 . 9) (13 . 10)) 2880 0.4544 6.2707 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (13 . 12)) 2971 0.6363 3.9921 ((2 . 4) (5 . 8) (7 . 11) (8 . 13) (10 . 14) (12 . 16) (13 . 17)) 2987 0.3636 5.6103 ((5 . 30) (6 . 31) (7 . 32) (8 . 33)) 3099 0.6352 7.3960 ((1 . 23) (3 . 24) (5 . 25) (6 . 26) (10 . 27) (12 . 28) (13 . 29)) 3101 0.6358 6.2437 ((1 . 50) (4 . 51) (5 . 52) (6 . 53) (7 . 54) (12 . 55) (13 . 56)) 3159 0.7258 6.6291 ((2 . 52) (3 . 54) (5 . 55) (6 . 57) (8 . 58) (10 . 59) (12 . 60) (13 . 61)) 3185 0.3636 7.2735 ((1 . 16) (5 . 21) (6 . 23) (7 . 24)) 3186 0.5442 9.1684 ((5 . 1) (6 . 2) (7 . 3) (10 . 7) (12 . 8) (13 . 9)) 3205 0.6358 6.0168 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 6) (13 . 8)) 3292 0.7270 4.4939 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 3342 0.6353 7.2308 ((2 . 1) (3 . 3) (5 . 4) (8 . 5) (10 . 7) (12 . 8) (13 . 9)) 3357 0.5450 7.1369 ((2 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (13 . 11)) 3378 0.4541 8.6645 ((6 . 34) (7 . 35) (10 . 37) (12 . 39) (13 . 40)) 3417 0.4545 4.4551 ((2 . 4) (3 . 6) (5 . 7) (12 . 10) (13 . 11)) 3430 0.5448 7.7939 ((1 . 2) (4 . 4) (5 . 5) (6 . 6) (12 . 9) (13 . 10)) 3431 0.7268 5.0354 ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 7) (12 . 8)) 3443 0.7269 4.7945 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (10 . 7) (12 . 8) (13 . 9)) 3444 0.6360 5.5891 ((1 . 37) (3 . 38) (5 . 39) (6 . 41) (10 . 43) (12 . 45) (13 . 46)) 3445 0.4545 5.8498 ((7 . 49) (8 . 50) (10 . 51) (12 . 52) (13 . 53)) 3472 0.9077 4.9424 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 3478 0.6355 6.7339 ((2 . 3) (3 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 3507 0.3636 6.5011 ((5 . 31) (6 . 33) (12 . 37) (13 . 38)) 3530 0.4543 7.2044 ((6 . 20) (7 . 21) (10 . 23) (12 . 24) (13 . 25)) 3531 0.5454 4.3260 ((3 . 30) (5 . 32) (8 . 33) (10 . 34) (12 . 35) (13 . 36)) 3532 0.3635 8.0289 ((2 . 38) (6 . 39) (7 . 40) (8 . 41)) 3550 0.4542 8.3750 ((3 . 3) (5 . 4) (10 . 9) (12 . 10) (13 . 13)) 3554 0.6353 7.1162 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (10 . 8) (12 . 10) (13 . 11)) 3555 0.6342 8.6332 ((5 . 12) (6 . 14) (7 . 15) (8 . 17) (10 . 19) (12 . 21) (13 . 23)) 3556 0.7259 6.5164 ((2 . 1) (4 . 2) (5 . 3) (6 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 3557 0.4545 5.2774 ((7 . 16) (8 . 18) (10 . 19) (12 . 21) (13 . 23)) 3655 0.3635 9.0744 ((2 . 31) (3 . 32) (8 . 35) (13 . 41)) 3667 0.5449 7.3082 ((1 . 3) (4 . 4) (5 . 6) (6 . 7) (12 . 9) (13 . 10)) 3690 0.8180 3.2885 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (10 . 9) (12 . 11) (13 . 13)) 3699 0.5454 2.8491 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 8)) 3700 0.4544 6.3506 ((3 . 14) (7 . 16) (10 . 18) (12 . 19) (13 . 20)) 3762 0.4540 9.2927 ((3 . 2) (5 . 3) (7 . 5) (8 . 6) (10 . 7)) 3791 0.3636 5.4914 ((1 . 45) (4 . 47) (5 . 48) (10 . 52)) 3792 0.5448 7.7940 ((2 . 54) (3 . 55) (6 . 57) (10 . 60) (12 . 61) (13 . 62)) 3793 0.5447 8.0186 ((2 . 66) (5 . 69) (6 . 70) (10 . 71) (12 . 72) (13 . 73)) 3794 0.4545 5.5868 ((6 . 25) (7 . 26) (10 . 29) (12 . 30) (13 . 31)) 3876 0.3636 6.7419 ((2 . 2) (3 . 3) (8 . 7) (10 . 8)) 3948 0.9081 4.4733 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 10) (12 . 12) (13 . 14)) 3949 0.6341 8.6647 ((5 . 15) (6 . 16) (7 . 17) (8 . 19) (10 . 21) (12 . 22) (13 . 24)) 3950 0.7269 4.5355 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 3951 0.6352 7.3117 ((1 . 13) (4 . 15) (5 . 16) (6 . 18) (10 . 19) (12 . 21) (13 . 22)) 4079 0.4542 7.9845 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8)) 4109 0.5451 6.6312 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 7) (10 . 8)) 4110 0.6351 7.4814 ((2 . 9) (4 . 10) (5 . 11) (6 . 12) (7 . 13) (12 . 14) (13 . 16)) 4111 0.4921 6.4151 ((1 . 17) (4 . 18) (5 . 19) (6 . 20) (8 . 22) (12 . 23) (13 . 24)) 4145 0.6363 4.0286 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 6) (12 . 7) (13 . 9)) 4146 0.3636 6.9660 ((2 . 11) (3 . 12) (5 . 14) (8 . 16)) 4178 0.6352 7.2963 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (10 . 7) (12 . 9) (13 . 10)) 4197 0.7273 2.1332 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 4199 0.4544 6.1197 ((4 . 2) (7 . 4) (8 . 5) (10 . 6) (12 . 7)) 4219 0.6358 6.1243 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (10 . 8) (12 . 9) (13 . 10)) 4221 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (12 . 12) (13 . 13)) 4224 0.9078 4.8609 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 13)) 4230 0.6353 7.2700 ((2 . 1) (5 . 4) (6 . 5) (7 . 6) (10 . 8) (12 . 10) (13 . 13)) 4286 0.7271 3.5563 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (8 . 9) (10 . 11) (12 . 13) (13 . 15)) 4289 0.3636 5.0434 ((5 . 1) (6 . 3) (7 . 4) (8 . 5)) 4290 0.4544 6.6951 ((7 . 14) (8 . 15) (10 . 17) (12 . 18) (13 . 20)) 4349 0.7271 4.0704 ((2 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 4464 0.5441 9.2563 ((6 . 2) (7 . 3) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 4512 0.4545 4.6640 ((7 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 4525 0.6358 6.2253 ((1 . 20) (4 . 21) (5 . 23) (6 . 24) (10 . 26) (12 . 28) (13 . 29)) 4526 0.4543 7.4986 ((4 . 31) (5 . 32) (6 . 33) (7 . 34) (10 . 36)) 4581 0.4541 8.6053 ((2 . 3) (3 . 4) (10 . 9) (12 . 10) (13 . 12)) 4584 0.6362 4.6949 ((2 . 2) (5 . 5) (6 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 13)) 4637 0.9080 4.6329 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 4638 0.3636 6.7557 ((5 . 13) (6 . 14) (8 . 15) (10 . 18)) 4639 0.7272 3.1390 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (10 . 9) (12 . 10) (13 . 12)) 4640 0.7263 6.0133 ((2 . 14) (3 . 16) (5 . 17) (6 . 18) (8 . 19) (10 . 21) (12 . 23) (13 . 24)) 4687 0.6359 5.8436 ((1 . 27) (4 . 28) (5 . 30) (6 . 31) (10 . 33) (12 . 34) (13 . 35)) 4700 0.4542 8.2059 ((6 . 1) (8 . 4) (10 . 5) (12 . 6) (13 . 8)) 4708 0.4538 10.0961 ((2 . 48) (5 . 50) (7 . 51) (8 . 53) (10 . 54)) 4744 0.5441 9.2277 ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 7)) 4777 0.7267 5.1155 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (10 . 7) (12 . 10) (13 . 11)) 4800 0.3636 6.0642 ((5 . 3) (8 . 5) (10 . 7) (12 . 8)) 4809 0.4544 6.2743 ((7 . 3) (8 . 4) (10 . 5) (12 . 6) (13 . 7)) 4892 0.6348 7.9300 ((1 . 3) (4 . 4) (5 . 5) (8 . 6) (10 . 7) (12 . 8) (13 . 9)) 4896 0.4544 6.9103 ((7 . 1) (8 . 3) (10 . 5) (12 . 7) (13 . 8)) 4897 0.3636 6.5938 ((3 . 12) (5 . 14) (6 . 15) (8 . 18)) 4898 0.1957 10.4550 ((2 . 20) (5 . 23) (7 . 27) (8 . 28)) 4908 0.5444 8.7384 ((1 . 1) (2 . 2) (5 . 4) (6 . 6) (7 . 7) (8 . 8)) 4921 0.4545 5.5890 ((2 . 7) (3 . 8) (5 . 9) (12 . 14) (13 . 15)) 4923 0.6360 5.5330 ((1 . 14) (4 . 16) (5 . 17) (6 . 18) (10 . 19) (12 . 20) (13 . 22)) 4951 0.4544 6.6238 ((5 . 49) (7 . 53) (8 . 54) (10 . 55) (12 . 56)) 4967 0.4544 6.1333 ((3 . 25) (5 . 28) (6 . 29) (7 . 30) (8 . 31)) 4968 0.7272 3.4630 ((1 . 32) (2 . 33) (4 . 35) (5 . 37) (8 . 39) (10 . 40) (12 . 42) (13 . 43)) 5040 0.8179 3.5973 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (10 . 10) (12 . 12) (13 . 13)) 5043 0.5450 7.2202 ((6 . 4) (7 . 5) (8 . 6) (10 . 7) (12 . 9) (13 . 11)) 5166 0.4545 5.1838 ((2 . 2) (3 . 3) (5 . 4) (8 . 6) (10 . 7)) 5246 0.8172 5.1043 ((2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (12 . 12) (13 . 14)) 5281 0.3636 5.7876 ((8 . 65) (10 . 66) (12 . 67) (13 . 69)) 5310 0.4545 5.7901 ((7 . 5) (8 . 8) (10 . 9) (12 . 10) (13 . 12)) 5311 0.5453 5.6877 ((5 . 15) (6 . 16) (7 . 17) (8 . 18) (10 . 20) (12 . 22)) 5316 0.7271 3.6258 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 5319 0.4544 6.0852 ((7 . 3) (8 . 5) (10 . 6) (12 . 7) (13 . 8)) 5320 0.6363 3.3824 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (10 . 13) (12 . 14) (13 . 16)) 5342 0.4544 6.4802 ((5 . 47) (7 . 50) (8 . 51) (10 . 52) (12 . 54)) 5413 0.5453 5.2730 ((1 . 1) (4 . 3) (5 . 4) (6 . 6) (12 . 10) (13 . 11)) 5431 0.5449 7.4645 ((3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 7)) 5432 0.5449 7.4474 ((3 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13) (10 . 15)) 5497 0.7218 9.1863 ((1 . 20) (2 . 21) (3 . 22) (5 . 23) (8 . 25) (10 . 26) (12 . 28) (13 . 29)) 5552 0.4544 6.3849 ((1 . 9) (2 . 10) (3 . 11) (5 . 12) (8 . 14)) 5615 0.6358 6.0612 ((2 . 28) (3 . 29) (5 . 30) (6 . 32) (10 . 33) (12 . 34) (13 . 35)) 5633 0.4544 6.9735 ((7 . 3) (8 . 5) (10 . 6) (12 . 8) (13 . 10)) 5634 0.4543 7.2811 ((6 . 13) (7 . 14) (10 . 17) (12 . 18) (13 . 20)) 5682 0.6357 6.3086 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (12 . 9) (13 . 10)) 5683 0.6359 5.9260 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (10 . 7) (12 . 8) (13 . 10)) 5733 0.6358 6.0725 ((1 . 12) (3 . 14) (5 . 15) (8 . 17) (10 . 19) (12 . 21) (13 . 22)) 5835 0.5453 5.6341 ((1 . 35) (3 . 37) (5 . 38) (10 . 41) (12 . 42) (13 . 44)) 5863 0.5452 6.0825 ((2 . 30) (3 . 31) (5 . 33) (10 . 37) (12 . 38) (13 . 39)) 5899 0.5448 7.7535 ((3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 8)) 5916 0.4544 6.7658 ((5 . 2) (7 . 3) (8 . 4) (10 . 5) (12 . 8)) 5936 0.9992 3.7817 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 11) (12 . 13) (13 . 15)) 5948 0.3636 5.3241 ((5 . 1) (6 . 3) (8 . 8) (10 . 9)) 5974 0.7266 5.4579 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (10 . 8) (12 . 10) (13 . 12)) 5988 0.4544 6.8976 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 7)) 5989 0.6363 3.9030 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (10 . 6) (12 . 7) (13 . 9)) 5993 0.5454 3.6227 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 7)) 6012 0.5447 7.8889 ((3 . 50) (5 . 51) (6 . 52) (7 . 53) (8 . 54) (10 . 55)) 6013 0.4543 7.6982 ((1 . 57) (3 . 58) (5 . 59) (7 . 62) (8 . 63)) 6037 0.6362 4.7197 ((1 . 2) (4 . 3) (5 . 4) (6 . 5) (10 . 6) (12 . 7) (13 . 8)) 6105 0.3636 4.9781 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 6124 0.5445 8.5500 ((6 . 9) (7 . 10) (8 . 12) (10 . 14) (12 . 15) (13 . 16)) 6126 0.5444 8.6862 ((5 . 9) (6 . 10) (7 . 11) (8 . 13) (10 . 15) (13 . 17)) 6206 0.5444 8.7333 ((2 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 9)) 6207 0.6362 4.7845 ((2 . 10) (3 . 12) (5 . 14) (6 . 15) (10 . 16) (12 . 18) (13 . 19)) 6285 0.8169 5.5367 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 6287 0.5452 5.8938 ((1 . 38) (5 . 40) (6 . 41) (7 . 42) (12 . 44) (13 . 45)) 6288 0.5446 8.1941 ((3 . 47) (5 . 48) (6 . 49) (7 . 50) (8 . 51) (10 . 52)) 6334 0.5448 7.8247 ((5 . 2) (7 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 6338 0.5446 8.3346 ((6 . 1) (7 . 2) (8 . 4) (10 . 5) (12 . 7) (13 . 8)) 6379 0.5449 7.4363 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (12 . 7) (13 . 8)) 6380 0.4545 5.4816 ((5 . 9) (6 . 11) (7 . 13) (8 . 14) (10 . 15)) 6443 0.8174 4.9186 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 17)) 6444 0.4545 5.3709 ((7 . 16) (8 . 17) (10 . 19) (12 . 21) (13 . 22)) 6445 0.6361 4.8973 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (10 . 6) (12 . 8) (13 . 9)) 6446 0.4544 6.5126 ((5 . 14) (6 . 15) (7 . 16) (8 . 18) (10 . 19)) 6449 0.6362 4.1810 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (10 . 5) (12 . 6) (13 . 8)) 6466 0.4543 7.5863 ((6 . 1) (7 . 2) (10 . 4) (12 . 5) (13 . 7)) 6467 0.4545 5.2562 ((3 . 11) (7 . 15) (8 . 16) (10 . 17) (12 . 18)) 6485 0.5452 5.9932 ((1 . 1) (3 . 2) (5 . 3) (6 . 5) (12 . 9) (13 . 10)) 6570 0.4543 7.4005 ((6 . 15) (7 . 16) (10 . 19) (12 . 20) (13 . 22)) 6612 0.4543 7.5347 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (6 . 9)) END