4286 233 0.3636 5.1212 ((3 . 1) (4 . 2) (9 . 7) (11 . 8)) 234 0.5453 5.5086 ((2 . 10) (4 . 11) (6 . 12) (11 . 14) (13 . 15) (15 . 16)) 291 0.5452 6.2533 ((2 . 1) (5 . 2) (6 . 3) (11 . 5) (13 . 6) (14 . 7)) 349 0.6362 4.3582 ((3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 12)) 365 0.5454 4.1057 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 6) (13 . 8)) 388 0.6360 5.3630 ((2 . 16) (5 . 17) (6 . 18) (9 . 19) (13 . 21) (14 . 22) (15 . 23)) 402 0.7197 2.4570 ((3 . 2) (4 . 3) (6 . 5) (9 . 6) (11 . 7) (13 . 9) (14 . 10) (15 . 11)) 403 0.5452 6.0375 ((5 . 13) (6 . 15) (9 . 17) (11 . 18) (13 . 20) (14 . 21)) 404 0.6242 4.9173 ((2 . 22) (3 . 23) (5 . 24) (6 . 25) (11 . 28) (13 . 30) (15 . 31)) 405 0.6775 8.3688 ((2 . 31) (3 . 32) (4 . 33) (5 . 34) (6 . 35) (9 . 37) (11 . 38) (13 . 39) (15 . 40)) 445 0.5453 5.5047 ((3 . 1) (4 . 2) (6 . 3) (11 . 5) (13 . 6) (14 . 7)) 449 0.6242 4.4040 ((3 . 1) (4 . 2) (6 . 3) (11 . 6) (13 . 7) (14 . 8) (15 . 9)) 450 0.5454 4.4579 ((2 . 12) (5 . 13) (6 . 15) (11 . 18) (13 . 19) (15 . 20)) 564 0.5452 6.2689 ((6 . 3) (8 . 6) (9 . 7) (11 . 8) (13 . 10) (14 . 11)) 565 0.3636 5.3227 ((9 . 12) (11 . 13) (13 . 14) (14 . 15)) 567 0.7219 5.3775 ((2 . 1) (5 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 8) (14 . 9) (15 . 10)) 568 0.6361 5.1056 ((2 . 12) (4 . 13) (6 . 15) (9 . 16) (11 . 17) (13 . 18) (15 . 19)) 570 0.5452 6.0550 ((5 . 2) (6 . 3) (8 . 6) (11 . 9) (13 . 11) (15 . 12)) 571 0.5449 7.4379 ((2 . 12) (3 . 13) (4 . 14) (11 . 15) (13 . 16) (15 . 17)) 578 0.6361 5.0055 ((2 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 579 0.6363 4.0630 ((3 . 9) (4 . 10) (6 . 12) (9 . 13) (11 . 14) (13 . 15) (15 . 17)) 599 0.6361 5.1252 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 7) (13 . 9) (15 . 10)) 600 0.3636 6.1533 ((6 . 11) (9 . 14) (11 . 15) (13 . 16)) 626 0.5451 6.4720 ((4 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (15 . 10)) 668 0.8671 3.9010 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 12)) 669 0.7213 2.0193 ((3 . 13) (4 . 14) (6 . 16) (9 . 17) (11 . 18) (13 . 20) (14 . 21) (15 . 22)) 670 0.7267 5.1780 ((2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 27) (11 . 28) (13 . 30) (15 . 31)) 671 0.4544 6.5853 ((3 . 32) (4 . 33) (5 . 34) (9 . 40) (11 . 41)) 693 0.5453 5.5364 ((4 . 31) (6 . 32) (9 . 33) (11 . 34) (13 . 35) (15 . 36)) 695 0.6357 6.3517 ((3 . 1) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 7) (15 . 8)) 696 0.6752 4.9007 ((2 . 10) (3 . 11) (5 . 12) (6 . 13) (11 . 16) (13 . 17) (14 . 18) (15 . 19)) 697 0.6363 3.8073 ((2 . 20) (3 . 21) (5 . 22) (6 . 23) (11 . 26) (13 . 27) (15 . 30)) 698 0.3636 6.1845 ((3 . 33) (4 . 34) (9 . 39) (11 . 40)) 828 0.6360 5.4451 ((2 . 7) (4 . 8) (6 . 9) (9 . 10) (11 . 11) (13 . 12) (14 . 13)) 888 0.6358 6.2060 ((3 . 13) (4 . 14) (6 . 15) (9 . 17) (11 . 19) (13 . 20) (15 . 21)) 919 0.6359 5.8206 ((3 . 3) (4 . 4) (6 . 5) (9 . 6) (11 . 8) (13 . 9) (14 . 10)) 922 0.8178 3.9730 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 12)) 926 0.6358 6.0223 ((3 . 1) (4 . 2) (6 . 4) (9 . 8) (11 . 9) (13 . 11) (14 . 12)) 927 0.4539 9.6662 ((5 . 13) (6 . 14) (9 . 15) (13 . 18) (14 . 19)) 1025 0.5451 6.5150 ((2 . 3) (5 . 4) (6 . 5) (11 . 7) (13 . 8) (14 . 9)) 1086 0.5448 7.6349 ((2 . 2) (6 . 5) (9 . 8) (11 . 10) (13 . 12) (15 . 13)) 1110 0.6362 4.3660 ((3 . 10) (4 . 11) (6 . 13) (9 . 14) (11 . 15) (13 . 16) (15 . 18)) 1112 0.7222 4.3287 ((3 . 2) (4 . 6) (6 . 7) (9 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 12)) 1126 0.5451 6.5830 ((2 . 2) (5 . 3) (6 . 4) (11 . 7) (13 . 9) (14 . 10)) 1127 0.6362 4.2437 ((3 . 13) (4 . 14) (6 . 16) (9 . 17) (11 . 18) (13 . 19) (15 . 21)) 1149 0.6362 4.6477 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 1164 0.3636 4.6600 ((3 . 2) (5 . 3) (9 . 9) (11 . 10)) 1181 0.4544 6.3395 ((2 . 1) (5 . 2) (6 . 3) (11 . 7) (13 . 9)) 1235 0.7267 5.2641 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 6) (11 . 7) (13 . 9) (15 . 10)) 1236 0.7172 4.7120 ((2 . 11) (4 . 13) (5 . 14) (6 . 15) (9 . 18) (11 . 19) (13 . 21) (15 . 23)) 1270 0.6358 6.1000 ((3 . 34) (4 . 35) (6 . 36) (9 . 37) (11 . 38) (13 . 39) (15 . 40)) 1293 0.7835 5.3675 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (9 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 14)) 1294 0.6352 7.2832 ((2 . 39) (4 . 40) (6 . 41) (9 . 43) (11 . 44) (13 . 46) (15 . 47)) 1295 0.6358 6.0973 ((3 . 48) (4 . 49) (6 . 50) (9 . 51) (11 . 52) (13 . 53) (15 . 54)) 1341 0.4542 8.2231 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (13 . 12)) 1342 0.8121 5.7072 ((2 . 14) (3 . 16) (5 . 17) (6 . 19) (9 . 20) (11 . 21) (13 . 22) (14 . 23) (15 . 24)) 1363 0.3634 9.9053 ((4 . 1) (5 . 3) (6 . 5) (9 . 8)) 1374 0.3636 5.2547 ((6 . 3) (9 . 6) (11 . 8) (13 . 9)) 1375 0.7212 3.3715 ((2 . 10) (3 . 11) (5 . 12) (6 . 14) (11 . 16) (13 . 18) (14 . 19) (15 . 20)) 1390 0.4544 6.3984 ((5 . 2) (6 . 3) (9 . 6) (11 . 8) (13 . 9)) 1391 0.6352 7.3602 ((2 . 11) (5 . 12) (6 . 13) (9 . 14) (11 . 16) (13 . 17) (14 . 18)) 1392 0.6357 6.4742 ((3 . 20) (4 . 21) (5 . 22) (9 . 23) (11 . 24) (13 . 25) (15 . 26)) 1418 0.7218 5.6074 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (14 . 7) (15 . 8)) 1419 0.6361 5.2947 ((2 . 10) (5 . 11) (6 . 12) (9 . 13) (11 . 14) (13 . 15) (15 . 16)) 1445 0.5451 6.6178 ((5 . 3) (6 . 5) (9 . 9) (11 . 10) (13 . 12) (14 . 13)) 1446 0.7272 3.2513 ((2 . 14) (3 . 15) (5 . 16) (6 . 17) (9 . 19) (11 . 20) (13 . 22) (15 . 24)) 1502 0.7266 5.4276 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (13 . 9) (15 . 10)) 1555 0.3636 5.3831 ((9 . 1) (11 . 2) (13 . 3) (15 . 5)) 1566 0.5396 5.3563 ((2 . 1) (6 . 4) (8 . 7) (9 . 8) (11 . 10) (13 . 12)) 1568 0.6362 4.5100 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 1569 0.6362 4.5323 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 1570 0.6361 4.8677 ((3 . 9) (4 . 10) (6 . 11) (9 . 12) (11 . 13) (13 . 14) (15 . 16)) 1571 0.6361 4.9323 ((3 . 17) (4 . 18) (6 . 19) (9 . 20) (11 . 21) (13 . 22) (15 . 24)) 1572 0.6362 4.5837 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 1573 0.6359 5.7755 ((2 . 9) (5 . 10) (6 . 11) (9 . 12) (11 . 13) (13 . 14) (14 . 16)) 1579 0.6532 3.1657 ((3 . 2) (4 . 3) (6 . 5) (9 . 8) (11 . 10) (13 . 12) (14 . 13) (15 . 14)) 1580 0.6363 3.7364 ((2 . 1) (3 . 2) (6 . 4) (9 . 7) (11 . 8) (13 . 9) (15 . 11)) 1600 0.6354 7.1062 ((3 . 1) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 8) (15 . 9)) 1601 0.6360 5.6023 ((2 . 10) (5 . 11) (6 . 12) (9 . 15) (11 . 17) (13 . 20) (14 . 21)) 1660 0.3636 7.2613 ((9 . 3) (11 . 4) (13 . 5) (15 . 7)) 1661 0.6361 5.0614 ((3 . 11) (4 . 12) (6 . 14) (9 . 15) (11 . 16) (13 . 17) (15 . 18)) 1666 0.7839 4.5476 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (9 . 7) (11 . 8) (13 . 9) (14 . 10) (15 . 11)) 1667 0.6352 7.3009 ((3 . 38) (4 . 39) (6 . 40) (9 . 41) (11 . 42) (13 . 44) (15 . 45)) 1668 0.6358 6.2140 ((3 . 46) (4 . 48) (6 . 50) (9 . 51) (11 . 53) (13 . 54) (15 . 55)) 1684 0.7271 4.0284 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (8 . 5) (11 . 7) (13 . 9) (15 . 11)) 1688 0.7265 5.6929 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (13 . 9) (15 . 10)) 1722 0.4545 4.5283 ((2 . 2) (3 . 3) (5 . 4) (6 . 6) (9 . 8)) 1723 0.4544 6.3571 ((2 . 17) (3 . 18) (5 . 19) (6 . 20) (9 . 21)) 1826 0.5454 4.3175 ((3 . 2) (4 . 3) (6 . 5) (9 . 7) (11 . 8) (13 . 9)) 1827 0.6361 4.8277 ((2 . 13) (5 . 14) (6 . 16) (9 . 18) (11 . 19) (13 . 20) (15 . 21)) 1828 0.4544 6.5457 ((4 . 23) (6 . 26) (9 . 27) (11 . 28) (13 . 29)) 1864 0.4544 7.0192 ((5 . 2) (6 . 3) (9 . 7) (11 . 9) (13 . 10)) 1928 0.4545 5.9735 ((2 . 1) (5 . 3) (6 . 4) (13 . 9) (15 . 11)) 1938 0.7265 5.5800 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 8) (15 . 9)) 1939 0.6352 7.4314 ((3 . 10) (4 . 11) (6 . 12) (9 . 15) (11 . 16) (13 . 17) (15 . 18)) 1996 0.6361 5.0169 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 2009 0.6357 6.2930 ((3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (14 . 9)) 2022 0.3636 5.6015 ((9 . 14) (11 . 15) (13 . 16) (15 . 19)) 2061 0.3636 6.6314 ((9 . 1) (11 . 3) (13 . 5) (14 . 6)) 2087 0.7271 3.6162 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 12)) 2110 0.3636 6.5544 ((9 . 26) (11 . 27) (13 . 28) (14 . 29)) 2165 0.4531 11.8077 ((2 . 29) (4 . 30) (6 . 31) (9 . 32) (15 . 37)) 2186 0.4541 8.6887 ((6 . 7) (9 . 8) (11 . 9) (13 . 11) (14 . 12)) 2188 0.4540 9.1503 ((5 . 9) (6 . 10) (9 . 11) (13 . 14) (14 . 15)) 2191 0.5452 5.9491 ((5 . 1) (6 . 2) (9 . 4) (11 . 5) (13 . 7) (14 . 8)) 2221 0.6361 5.0760 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 8) (15 . 9)) 2246 0.5450 6.8654 ((5 . 2) (6 . 3) (9 . 8) (11 . 9) (13 . 11) (14 . 12)) 2318 0.7270 4.2204 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (9 . 8) (11 . 10) (13 . 12) (15 . 14)) 2319 0.4544 6.9889 ((6 . 15) (9 . 18) (11 . 20) (13 . 21) (14 . 22)) 2320 0.6362 4.4525 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10)) 2321 0.3636 5.3925 ((5 . 14) (6 . 15) (13 . 20) (14 . 22)) 2338 0.4539 9.7811 ((5 . 13) (6 . 14) (9 . 15) (13 . 19) (14 . 21)) 2365 0.6356 6.6106 ((3 . 1) (4 . 3) (6 . 6) (9 . 9) (11 . 10) (13 . 11) (15 . 12)) 2428 0.4544 6.3146 ((6 . 8) (9 . 9) (11 . 10) (13 . 12) (14 . 13)) 2441 0.8174 4.8395 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 7) (14 . 8) (15 . 9)) 2442 0.6362 4.4284 ((2 . 10) (4 . 12) (6 . 14) (9 . 15) (11 . 16) (13 . 17) (14 . 19)) 2444 0.6360 5.3777 ((2 . 1) (5 . 2) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (14 . 9)) 2445 0.6361 4.8855 ((2 . 11) (4 . 12) (6 . 14) (9 . 15) (11 . 16) (13 . 17) (15 . 19)) 2473 0.4545 5.1880 ((2 . 2) (6 . 5) (11 . 9) (13 . 10) (14 . 11)) 2507 0.8120 4.5634 ((2 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (9 . 9) (11 . 11) (13 . 13) (15 . 14)) 2508 0.6361 5.0168 ((3 . 16) (4 . 17) (6 . 19) (9 . 20) (11 . 22) (13 . 24) (15 . 25)) 2531 0.6355 6.8154 ((2 . 1) (5 . 2) (6 . 3) (9 . 6) (11 . 7) (13 . 8) (14 . 9)) 2534 0.7269 4.8182 ((2 . 16) (3 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 22) (13 . 23) (15 . 25)) 2577 0.6362 4.5743 ((3 . 2) (4 . 3) (6 . 5) (9 . 6) (11 . 7) (13 . 9) (15 . 10)) 2578 0.6359 5.8758 ((3 . 12) (4 . 13) (6 . 15) (9 . 17) (11 . 18) (13 . 20) (14 . 21)) 2579 0.7265 5.6552 ((2 . 22) (3 . 23) (4 . 24) (6 . 25) (9 . 27) (11 . 29) (13 . 31) (15 . 32)) 2641 0.6360 5.3468 ((2 . 1) (5 . 3) (6 . 5) (9 . 7) (11 . 8) (13 . 9) (14 . 10)) 2686 0.7217 5.6869 ((3 . 2) (4 . 3) (6 . 4) (9 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 13)) 2728 0.6360 5.5922 ((2 . 1) (5 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 9) (14 . 10)) 2767 0.6361 5.2764 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 2812 0.3636 4.3651 ((2 . 2) (5 . 5) (6 . 6) (9 . 7)) 2813 0.3636 6.9693 ((6 . 9) (9 . 12) (11 . 13) (13 . 14)) 2877 0.6270 6.2110 ((5 . 2) (6 . 3) (9 . 4) (11 . 6) (13 . 7) (14 . 8) (15 . 10)) 2880 0.6649 5.9364 ((3 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (14 . 9) (15 . 12)) 2971 0.3636 5.7022 ((9 . 13) (11 . 14) (13 . 16) (14 . 17)) 2987 0.4545 5.9412 ((2 . 26) (3 . 27) (4 . 28) (9 . 32) (11 . 33)) 3099 0.6357 6.4392 ((2 . 23) (5 . 24) (6 . 25) (9 . 26) (11 . 27) (13 . 28) (14 . 29)) 3101 0.6352 7.4049 ((3 . 50) (4 . 51) (6 . 52) (9 . 53) (11 . 54) (13 . 55) (15 . 56)) 3159 0.3636 5.8397 ((5 . 57) (6 . 59) (9 . 60) (11 . 61)) 3185 0.5451 6.6691 ((2 . 14) (5 . 15) (6 . 16) (11 . 21) (13 . 23) (14 . 24)) 3186 0.4540 9.2694 ((5 . 1) (6 . 2) (9 . 3) (13 . 7) (14 . 8)) 3205 0.6362 4.4071 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 3292 0.6362 4.7305 ((3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 11)) 3342 0.4545 4.5466 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (13 . 8)) 3357 0.4543 7.5527 ((5 . 5) (6 . 6) (9 . 7) (13 . 10) (15 . 11)) 3378 0.3636 6.4456 ((6 . 32) (9 . 34) (11 . 35) (15 . 37)) 3417 0.5446 8.1504 ((5 . 6) (6 . 7) (9 . 8) (11 . 9) (13 . 10) (14 . 11)) 3430 0.7227 5.5040 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (11 . 8) (13 . 9) (14 . 10) (15 . 11)) 3431 0.5452 5.8288 ((2 . 1) (5 . 2) (6 . 3) (9 . 6) (11 . 7) (13 . 8)) 3443 0.6362 4.8120 ((3 . 2) (4 . 3) (6 . 4) (9 . 6) (11 . 7) (13 . 8) (15 . 9)) 3444 0.6354 6.9596 ((2 . 37) (4 . 38) (6 . 39) (9 . 41) (11 . 43) (13 . 45) (15 . 46)) 3445 0.6360 5.4931 ((3 . 47) (4 . 48) (6 . 49) (9 . 50) (11 . 51) (13 . 52) (15 . 53)) 3472 0.7271 3.8299 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 8) (11 . 9) (13 . 11) (15 . 12)) 3478 0.4545 5.6930 ((4 . 4) (6 . 5) (11 . 8) (13 . 9) (14 . 10)) 3507 0.4543 7.8563 ((5 . 31) (6 . 33) (9 . 34) (11 . 37) (13 . 38)) 3530 0.5454 4.2410 ((3 . 20) (4 . 21) (9 . 23) (11 . 24) (13 . 25) (15 . 27)) 3531 0.5454 3.8154 ((4 . 30) (6 . 32) (9 . 33) (11 . 34) (13 . 35) (15 . 36)) 3532 0.3636 4.4396 ((5 . 37) (6 . 38) (9 . 39) (11 . 40)) 3550 0.5453 5.4889 ((2 . 2) (5 . 3) (6 . 6) (11 . 9) (13 . 10) (14 . 13)) 3554 0.5452 6.1313 ((2 . 1) (5 . 3) (6 . 4) (11 . 8) (13 . 10) (14 . 11)) 3555 0.6358 6.1856 ((2 . 12) (4 . 14) (6 . 15) (9 . 17) (11 . 19) (13 . 21) (14 . 23)) 3556 0.7271 3.6641 ((3 . 1) (4 . 2) (6 . 3) (9 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 12)) 3557 0.4541 8.8160 ((6 . 15) (9 . 16) (11 . 18) (13 . 19) (14 . 21)) 3655 0.4529 12.2585 ((2 . 31) (4 . 32) (6 . 34) (9 . 35) (15 . 41)) 3667 0.5450 7.1558 ((2 . 3) (5 . 4) (6 . 6) (11 . 8) (13 . 9) (14 . 10)) 3690 0.7273 1.7217 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (11 . 9) (13 . 11) (15 . 13)) 3699 0.5454 4.4266 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 8)) 3700 0.6359 5.7852 ((2 . 13) (4 . 14) (6 . 16) (9 . 17) (11 . 18) (13 . 19) (15 . 20)) 3762 0.3634 9.8898 ((2 . 2) (4 . 3) (6 . 5) (9 . 7)) 3791 0.4544 6.5428 ((2 . 45) (4 . 46) (5 . 47) (6 . 48) (9 . 50)) 3792 0.4532 11.5441 ((2 . 55) (6 . 59) (9 . 60) (11 . 61) (13 . 62)) 3793 0.4541 8.8755 ((3 . 63) (6 . 67) (9 . 69) (11 . 70) (15 . 72)) 3794 0.3636 5.8754 ((6 . 23) (9 . 27) (11 . 28) (13 . 30)) 3876 0.3636 6.2622 ((5 . 2) (6 . 3) (9 . 6) (11 . 7)) 3948 0.7828 6.1606 ((2 . 2) (5 . 3) (6 . 5) (8 . 8) (9 . 9) (11 . 10) (13 . 12) (14 . 13) (15 . 14)) 3949 0.6356 6.5641 ((3 . 15) (4 . 16) (6 . 17) (9 . 19) (11 . 21) (13 . 22) (15 . 24)) 3950 0.6362 4.4889 ((3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 12)) 3951 0.6356 6.6839 ((2 . 13) (5 . 15) (6 . 16) (9 . 18) (11 . 19) (13 . 21) (14 . 22)) 4079 0.7266 5.4965 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (15 . 10)) 4109 0.6363 4.0718 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 7) (15 . 8)) 4110 0.7268 5.0113 ((3 . 9) (4 . 10) (6 . 11) (9 . 12) (11 . 13) (13 . 14) (14 . 15) (15 . 16)) 4111 0.6360 5.5930 ((2 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 22) (13 . 23) (15 . 24)) 4145 0.6360 5.6170 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 6) (13 . 7) (15 . 9)) 4146 0.4539 9.7206 ((5 . 11) (6 . 12) (9 . 14) (13 . 15) (14 . 16)) 4178 0.5452 6.2508 ((3 . 2) (4 . 3) (6 . 4) (11 . 7) (13 . 9) (14 . 10)) 4197 0.6362 4.4096 ((3 . 1) (4 . 2) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 11)) 4199 0.6361 5.2533 ((2 . 1) (3 . 2) (4 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 4219 0.6355 6.7747 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (11 . 8) (13 . 9) (15 . 10)) 4221 0.7271 3.5563 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (9 . 8) (11 . 10) (13 . 12) (15 . 13)) 4224 0.7271 4.0077 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 7) (11 . 9) (13 . 11) (15 . 13)) 4230 0.5454 4.6104 ((2 . 1) (5 . 3) (6 . 4) (11 . 8) (13 . 11) (15 . 13)) 4286 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (11 . 11) (13 . 13) (14 . 14) (15 . 15)) 4289 0.7266 5.4915 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 9) (15 . 10)) 4290 0.6361 4.8474 ((3 . 11) (4 . 13) (6 . 14) (9 . 15) (11 . 17) (13 . 18) (15 . 20)) 4349 0.8179 3.7049 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 12)) 4464 0.4543 7.6735 ((5 . 1) (6 . 2) (9 . 3) (11 . 6) (13 . 7)) 4512 0.6363 2.6658 ((3 . 2) (4 . 3) (6 . 6) (9 . 7) (11 . 8) (13 . 9) (15 . 10)) 4525 0.5452 5.8101 ((2 . 20) (4 . 21) (6 . 23) (11 . 26) (13 . 28) (15 . 29)) 4526 0.6361 5.1844 ((2 . 30) (5 . 31) (6 . 32) (9 . 33) (11 . 34) (13 . 35) (14 . 36)) 4581 0.4543 7.3646 ((4 . 4) (5 . 5) (11 . 9) (13 . 10) (15 . 12)) 4584 0.8140 3.9552 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (9 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 13)) 4637 0.6363 3.0935 ((2 . 1) (3 . 2) (6 . 4) (9 . 7) (11 . 8) (13 . 10) (15 . 12)) 4638 0.3193 4.8922 ((9 . 13) (11 . 14) (14 . 15) (15 . 16)) 4639 0.6361 4.8179 ((3 . 2) (5 . 3) (6 . 5) (9 . 8) (11 . 9) (13 . 10) (15 . 12)) 4640 0.6356 6.5639 ((3 . 14) (4 . 16) (6 . 17) (9 . 19) (11 . 21) (13 . 23) (15 . 24)) 4687 0.6358 6.0695 ((2 . 27) (5 . 28) (6 . 30) (9 . 31) (11 . 33) (13 . 34) (15 . 35)) 4700 0.7269 4.7636 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 8) (15 . 10)) 4708 0.3636 5.3338 ((2 . 48) (5 . 49) (6 . 50) (13 . 53)) 4744 0.6361 5.2322 ((2 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (14 . 7)) 4777 0.4541 9.0334 ((2 . 3) (4 . 6) (6 . 7) (9 . 10) (11 . 11)) 4800 0.1957 7.9314 ((4 . 1) (11 . 5) (13 . 7) (14 . 8)) 4809 0.6360 5.3914 ((2 . 1) (5 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (14 . 7)) 4892 0.6359 5.9817 ((2 . 3) (4 . 4) (6 . 5) (9 . 6) (11 . 7) (13 . 8) (14 . 9)) 4896 0.4541 9.0462 ((6 . 1) (9 . 3) (11 . 5) (13 . 7) (14 . 8)) 4897 0.3635 9.1434 ((9 . 14) (11 . 15) (13 . 17) (15 . 18)) 4898 0.3635 8.7520 ((3 . 22) (4 . 23) (6 . 27) (9 . 28)) 4908 0.4540 9.0830 ((2 . 5) (3 . 6) (4 . 7) (6 . 8) (9 . 9)) 4921 0.6361 4.9898 ((3 . 7) (4 . 8) (6 . 9) (11 . 12) (13 . 14) (14 . 15) (15 . 17)) 4923 0.6361 4.8709 ((2 . 14) (3 . 15) (5 . 16) (6 . 17) (11 . 19) (13 . 20) (15 . 22)) 4951 0.6360 5.5637 ((2 . 47) (5 . 49) (6 . 50) (9 . 53) (11 . 54) (13 . 55) (15 . 56)) 4967 0.4545 5.4022 ((2 . 24) (3 . 25) (5 . 26) (9 . 30) (11 . 31)) 4968 0.8169 5.4609 ((2 . 32) (3 . 33) (5 . 35) (6 . 37) (8 . 38) (9 . 39) (11 . 40) (13 . 42) (15 . 43)) 5040 0.7258 6.5785 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 8) (11 . 10) (13 . 12) (14 . 13)) 5043 0.4544 6.2587 ((3 . 5) (4 . 6) (6 . 7) (9 . 9) (11 . 11)) 5166 0.4541 9.0488 ((2 . 2) (9 . 6) (11 . 7) (13 . 8) (15 . 10)) 5246 0.6362 4.1980 ((3 . 3) (4 . 4) (6 . 6) (9 . 9) (11 . 10) (13 . 12) (15 . 14)) 5281 0.3636 7.0422 ((9 . 65) (11 . 66) (13 . 67) (15 . 69)) 5310 0.7269 4.6681 ((2 . 1) (3 . 3) (4 . 4) (6 . 5) (9 . 8) (11 . 9) (13 . 10) (15 . 12)) 5311 0.4544 7.0978 ((6 . 15) (9 . 16) (11 . 17) (13 . 18) (14 . 20)) 5316 0.9091 1.4606 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 8) (11 . 10) (13 . 12) (14 . 13) (15 . 14)) 5319 0.6362 4.7642 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 7) (15 . 8)) 5320 0.6362 4.5994 ((3 . 9) (4 . 10) (6 . 11) (9 . 12) (11 . 13) (13 . 14) (15 . 16)) 5342 0.6361 5.2009 ((2 . 45) (5 . 47) (6 . 48) (9 . 50) (11 . 51) (13 . 52) (15 . 54)) 5413 0.7265 5.5745 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 6) (11 . 8) (13 . 10) (15 . 11)) 5431 0.6360 5.4229 ((2 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 7)) 5432 0.6362 4.3876 ((3 . 8) (4 . 9) (6 . 10) (9 . 11) (11 . 12) (13 . 13) (15 . 15)) 5497 0.3636 6.6260 ((9 . 25) (11 . 26) (13 . 28) (14 . 29)) 5552 0.7264 5.8160 ((2 . 5) (4 . 6) (6 . 8) (9 . 9) (11 . 11) (13 . 12) (14 . 13) (15 . 14)) 5615 0.6356 6.6903 ((2 . 28) (5 . 29) (6 . 30) (9 . 32) (11 . 33) (13 . 34) (14 . 35)) 5633 0.6360 5.4603 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 8) (15 . 10)) 5634 0.7271 3.5987 ((2 . 11) (3 . 12) (5 . 13) (6 . 14) (11 . 17) (13 . 18) (14 . 19) (15 . 20)) 5682 0.5441 9.2529 ((5 . 1) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 9)) 5683 0.7266 5.5228 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (15 . 10)) 5733 0.6360 5.6221 ((2 . 12) (5 . 14) (6 . 15) (9 . 17) (11 . 19) (13 . 21) (14 . 22)) 5835 0.5453 5.1232 ((2 . 35) (4 . 37) (6 . 38) (11 . 41) (13 . 42) (15 . 44)) 5863 0.5453 5.6823 ((2 . 30) (5 . 31) (6 . 33) (11 . 37) (13 . 38) (14 . 39)) 5899 0.6360 5.4741 ((2 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 5916 0.3636 4.5131 ((3 . 1) (5 . 2) (9 . 5) (11 . 8)) 5936 0.9981 3.4755 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 9) (11 . 11) (13 . 13) (14 . 14) (15 . 15)) 5948 0.5453 5.4745 ((2 . 1) (5 . 3) (6 . 5) (9 . 8) (11 . 9) (13 . 10)) 5974 0.6654 3.7100 ((2 . 2) (3 . 3) (4 . 4) (6 . 5) (11 . 8) (13 . 10) (14 . 11) (15 . 12)) 5988 0.6363 3.6090 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 7) (14 . 8)) 5989 0.7271 3.9592 ((3 . 1) (4 . 2) (6 . 4) (9 . 5) (11 . 6) (13 . 7) (14 . 8) (15 . 9)) 5993 0.5453 5.2859 ((2 . 1) (5 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 7)) 6012 0.4544 6.8846 ((5 . 49) (6 . 50) (9 . 53) (11 . 54) (13 . 55)) 6013 0.4544 6.7509 ((6 . 59) (9 . 63) (11 . 64) (13 . 66) (14 . 68)) 6037 0.6361 4.9223 ((2 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 7) (15 . 8)) 6105 0.4542 8.2360 ((6 . 3) (9 . 4) (11 . 5) (13 . 7) (15 . 8)) 6124 0.6359 5.6949 ((2 . 8) (5 . 9) (6 . 10) (9 . 12) (11 . 14) (13 . 15) (14 . 16)) 6126 0.6359 5.7221 ((2 . 9) (5 . 10) (6 . 11) (9 . 13) (11 . 15) (13 . 16) (14 . 17)) 6206 0.5448 7.5746 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 8) (11 . 9)) 6207 0.6358 6.0030 ((3 . 10) (4 . 12) (6 . 14) (9 . 15) (11 . 16) (13 . 18) (15 . 19)) 6285 0.7257 6.7116 ((2 . 1) (3 . 3) (4 . 4) (6 . 5) (9 . 6) (11 . 8) (13 . 9) (15 . 10)) 6287 0.6352 7.2845 ((3 . 38) (4 . 39) (6 . 40) (9 . 41) (11 . 42) (13 . 44) (15 . 45)) 6288 0.6358 6.1162 ((3 . 46) (4 . 47) (6 . 48) (9 . 49) (11 . 50) (13 . 51) (15 . 52)) 6334 0.6361 5.1366 ((3 . 2) (4 . 3) (6 . 4) (9 . 5) (11 . 6) (13 . 8) (15 . 9)) 6338 0.5452 6.0789 ((5 . 1) (6 . 2) (9 . 4) (11 . 5) (13 . 7) (14 . 8)) 6379 0.4544 6.8476 ((2 . 1) (3 . 2) (4 . 3) (9 . 7) (11 . 8)) 6380 0.6361 5.2510 ((2 . 9) (4 . 11) (6 . 13) (9 . 14) (11 . 15) (13 . 17) (14 . 19)) 6443 0.6362 4.2778 ((2 . 1) (5 . 3) (6 . 4) (8 . 7) (9 . 8) (11 . 10) (13 . 12)) 6444 0.6359 5.7959 ((3 . 14) (4 . 15) (6 . 16) (9 . 17) (11 . 19) (13 . 21) (15 . 22)) 6445 0.3636 6.0895 ((6 . 3) (9 . 6) (11 . 8) (13 . 9)) 6446 0.3636 7.0787 ((2 . 12) (5 . 16) (6 . 18) (9 . 20)) 6449 0.6362 4.7617 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 6) (15 . 8)) 6466 0.6360 5.4444 ((3 . 1) (4 . 2) (6 . 3) (9 . 4) (11 . 5) (13 . 7) (14 . 8)) 6467 0.5454 3.8331 ((3 . 10) (4 . 11) (6 . 15) (9 . 16) (11 . 17) (13 . 18)) 6485 0.6358 6.2374 ((2 . 1) (5 . 2) (6 . 3) (9 . 5) (11 . 6) (13 . 9) (14 . 10)) 6570 0.4540 9.1414 ((6 . 15) (9 . 16) (11 . 17) (13 . 19) (14 . 20)) 6612 0.6357 6.3839 ((2 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 7) (13 . 8) (14 . 9)) END