523 6 0.9981 4.7566 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 26 0.9989 4.1263 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 90 0.8743 4.3858 ((1 . 18) (2 . 19) (4 . 22) (5 . 23) (6 . 24) (8 . 33) (9 . 34)) 256 0.8745 3.9799 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 266 0.6249 3.7105 ((1 . 7) (4 . 9) (5 . 10) (8 . 12) (9 . 13)) 428 0.8734 5.3532 ((1 . 5) (2 . 6) (4 . 9) (5 . 10) (6 . 11) (8 . 14) (9 . 15)) 477 0.7493 5.3061 ((1 . 1) (2 . 2) (4 . 5) (6 . 7) (8 . 10) (9 . 11)) 523 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 562 0.6249 4.2270 ((1 . 3) (4 . 5) (5 . 7) (6 . 8) (9 . 11)) 745 0.8684 7.6485 ((1 . 1) (2 . 2) (4 . 7) (5 . 8) (6 . 10) (8 . 15) (9 . 17)) 786 0.9991 3.9525 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 793 0.9268 4.2918 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 971 0.6232 8.4344 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (6 . 9)) 980 0.8747 3.3928 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 1042 0.8743 4.3125 ((1 . 28) (4 . 30) (5 . 31) (6 . 32) (7 . 33) (8 . 34) (9 . 35)) 1177 0.5000 3.2554 ((1 . 4) (4 . 7) (5 . 8) (6 . 9)) 1252 0.6233 8.3112 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (9 . 13)) 1253 0.4996 7.8040 ((1 . 1) (4 . 5) (5 . 6) (8 . 11)) 1266 0.8733 5.4450 ((1 . 27) (2 . 28) (4 . 31) (5 . 32) (6 . 33) (8 . 35) (9 . 36)) 1379 0.8760 5.6427 ((1 . 6) (2 . 7) (4 . 12) (5 . 13) (6 . 14) (7 . 15) (8 . 16) (9 . 17)) 1397 0.8738 4.9967 ((1 . 3) (4 . 5) (5 . 8) (6 . 9) (7 . 10) (8 . 12) (9 . 13)) 1443 0.7796 3.0133 ((1 . 1) (2 . 2) (4 . 7) (5 . 9) (6 . 10) (7 . 12) (8 . 13)) 1516 0.7494 5.1595 ((1 . 3) (4 . 8) (5 . 9) (6 . 10) (8 . 12) (9 . 13)) 1547 0.7487 6.2198 ((1 . 4) (4 . 10) (5 . 13) (6 . 28) (8 . 30) (9 . 31)) 1659 0.7490 5.7631 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (6 . 11) (8 . 13)) 1662 0.7485 6.4049 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 10) (9 . 13)) 1700 0.4999 4.5641 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 1803 0.6240 7.2918 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 1901 0.8204 5.9331 ((1 . 1) (2 . 2) (4 . 5) (6 . 7) (7 . 8) (8 . 16) (9 . 17)) 2027 0.6249 3.6570 ((4 . 4) (5 . 5) (6 . 6) (8 . 9) (9 . 14)) 2427 0.6249 4.4323 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (8 . 8)) 2470 0.7500 2.6215 ((1 . 38) (4 . 40) (5 . 42) (6 . 43) (7 . 44) (8 . 45)) 2714 0.7499 2.9982 ((1 . 1) (4 . 6) (5 . 8) (6 . 9) (8 . 12) (9 . 13)) 2729 0.7499 2.9127 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 2809 0.9271 3.8812 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 3034 0.6244 6.4435 ((1 . 1) (4 . 7) (5 . 8) (6 . 9) (9 . 15)) 3073 0.8717 6.4225 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 8) (8 . 19) (9 . 21)) 3189 0.9973 5.1668 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 11) (9 . 12)) 3190 0.9980 4.7798 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 11) (9 . 12)) 3199 0.6242 6.8166 ((1 . 7) (4 . 12) (5 . 13) (6 . 14) (9 . 17)) 3234 0.8716 6.4884 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 7) (8 . 18) (9 . 20)) 3238 0.8699 7.1627 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 7) (8 . 18) (9 . 19)) 3295 0.7500 2.0153 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 3412 0.6249 4.0482 ((1 . 5) (4 . 7) (5 . 8) (6 . 9) (9 . 10)) 3462 0.7339 4.4821 ((1 . 28) (2 . 30) (4 . 32) (5 . 33) (6 . 34) (7 . 35) (8 . 42) (9 . 43)) 3560 0.7487 6.1594 ((1 . 1) (2 . 5) (4 . 8) (6 . 11) (7 . 13) (8 . 14)) 3581 0.7468 7.7034 ((2 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 21) (9 . 23)) 3632 0.7490 5.7926 ((1 . 4) (4 . 12) (5 . 13) (6 . 15) (8 . 17) (9 . 35)) 3801 0.8748 2.9785 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 11)) 3896 0.9984 4.5480 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 4066 0.6235 8.0382 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (6 . 10)) 4130 0.6421 5.3072 ((1 . 4) (2 . 7) (4 . 13) (5 . 16) (6 . 17) (8 . 24) (9 . 25)) 4185 0.8747 3.6289 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 4323 0.9979 4.8355 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 12) (9 . 17)) 4433 0.9979 4.8415 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 4474 0.5000 4.1199 ((1 . 3) (4 . 6) (5 . 7) (8 . 8)) 4590 0.6242 6.9472 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (9 . 10)) 4669 0.8742 4.5199 ((1 . 15) (2 . 16) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (9 . 23)) 4787 0.6223 9.3194 ((1 . 9) (5 . 11) (6 . 12) (8 . 14) (9 . 15)) 4813 0.8744 4.1506 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 4871 0.7500 2.6523 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 4905 0.9015 6.7699 ((1 . 1) (2 . 2) (4 . 8) (5 . 9) (6 . 11) (7 . 12) (8 . 17) (9 . 18)) 4916 0.8737 5.0803 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (9 . 12)) 4926 0.8732 5.5512 ((1 . 38) (2 . 39) (4 . 45) (5 . 46) (6 . 48) (8 . 50) (9 . 51)) 5096 0.6250 3.3408 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 5234 0.8741 4.5862 ((1 . 1) (2 . 3) (4 . 6) (5 . 7) (6 . 9) (8 . 19) (9 . 21)) 5289 0.6250 3.2599 ((1 . 3) (4 . 5) (5 . 6) (6 . 7) (9 . 10)) 5297 0.8731 5.5632 ((1 . 1) (2 . 2) (4 . 5) (5 . 7) (6 . 8) (8 . 17) (9 . 18)) 5364 0.8737 5.0828 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 5397 0.8685 8.3679 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 5470 0.9024 6.3889 ((1 . 1) (2 . 2) (4 . 9) (5 . 10) (6 . 12) (7 . 17) (8 . 20) (9 . 21)) 5673 0.9924 6.7096 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 12)) 5752 0.6249 3.8935 ((4 . 5) (5 . 6) (6 . 7) (7 . 9) (9 . 11)) 5785 0.6249 3.8201 ((1 . 3) (4 . 8) (5 . 9) (6 . 10) (8 . 13)) 5842 0.6627 6.0561 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 5920 0.9987 4.2713 ((1 . 1) (2 . 2) (4 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 6242 0.8738 5.0163 ((1 . 1) (2 . 4) (4 . 8) (5 . 11) (6 . 12) (8 . 18) (9 . 20)) 6258 0.7494 5.1555 ((1 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 13) (9 . 14)) 6283 0.4998 5.9791 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 6496 0.9037 5.7898 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 27)) 6624 0.7496 4.5103 ((1 . 3) (4 . 6) (5 . 7) (6 . 8) (8 . 11) (9 . 12)) 6640 0.9428 4.3043 ((1 . 41) (2 . 42) (4 . 45) (5 . 46) (6 . 47) (7 . 48) (8 . 49) (9 . 50)) 6642 0.9991 3.8797 ((1 . 34) (2 . 35) (4 . 38) (5 . 40) (6 . 41) (7 . 43) (8 . 44) (9 . 45)) END