4469 247 0.6246 5.7889 ((4 . 10) (6 . 11) (7 . 12) (8 . 13) (9 . 15)) 345 0.8216 4.4625 ((1 . 1) (3 . 4) (4 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 10)) 463 0.8742 4.4283 ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 7) (8 . 15) (9 . 23)) 464 0.4998 6.3964 ((4 . 35) (6 . 37) (7 . 38) (10 . 40)) 471 0.8559 4.2170 ((1 . 1) (3 . 2) (4 . 3) (6 . 15) (7 . 16) (8 . 17) (9 . 18)) 472 0.7499 3.1103 ((1 . 20) (3 . 21) (4 . 22) (6 . 29) (7 . 31) (8 . 33)) 592 0.7447 8.7706 ((1 . 3) (3 . 5) (4 . 6) (6 . 10) (9 . 11) (10 . 12)) 703 0.8510 3.8202 ((1 . 1) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9)) 713 0.8509 4.1144 ((1 . 5) (3 . 6) (4 . 7) (6 . 9) (7 . 10) (8 . 13) (9 . 14)) 714 0.8714 6.5450 ((1 . 16) (3 . 17) (4 . 19) (6 . 27) (7 . 28) (8 . 30) (9 . 31)) 934 0.9990 3.9971 ((1 . 10) (3 . 11) (4 . 12) (6 . 14) (7 . 15) (8 . 16) (9 . 17) (10 . 18)) 1021 0.9994 3.6012 ((1 . 12) (3 . 13) (4 . 14) (6 . 15) (7 . 16) (8 . 17) (9 . 18) (10 . 22)) 1033 0.8508 4.3393 ((1 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (8 . 16) (9 . 17)) 1034 0.8746 3.8288 ((1 . 20) (3 . 21) (4 . 22) (6 . 27) (7 . 29) (8 . 31) (9 . 32)) 1191 0.4998 6.6803 ((1 . 1) (3 . 2) (4 . 5) (8 . 7)) 1223 0.9999 2.1548 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 8)) 1289 0.9649 2.9488 ((1 . 13) (3 . 14) (4 . 15) (6 . 16) (7 . 17) (8 . 19) (9 . 20) (10 . 21)) 1305 0.7497 4.1232 ((1 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (8 . 8)) 1522 0.8737 5.0577 ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 8)) 1656 0.9739 5.7184 ((1 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (10 . 13)) 1778 0.4999 4.8946 ((4 . 1) (7 . 3) (9 . 5) (10 . 6)) 1779 0.3665 12.2926 ((1 . 18) (6 . 22) (8 . 24) (10 . 25)) 2218 0.9835 4.5110 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 10)) 2296 0.8744 4.0974 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 6) (9 . 7) (10 . 21)) 2378 0.4999 5.8130 ((1 . 1) (3 . 2) (7 . 5) (10 . 7)) 2483 0.9708 4.4330 ((1 . 4) (3 . 5) (4 . 6) (6 . 8) (7 . 9) (8 . 12) (9 . 13) (10 . 14)) 2484 0.8713 6.5894 ((1 . 15) (3 . 16) (4 . 19) (6 . 26) (7 . 27) (8 . 29) (9 . 31)) 2491 0.6238 7.5642 ((1 . 10) (3 . 11) (4 . 12) (6 . 13) (9 . 15)) 2619 0.8746 3.6749 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7)) 2733 0.8743 4.3130 ((1 . 1) (3 . 2) (4 . 4) (6 . 7) (7 . 8) (9 . 11) (10 . 14)) 2775 0.8739 4.8989 ((1 . 1) (3 . 2) (4 . 3) (6 . 7) (7 . 8) (9 . 11) (10 . 14)) 2821 0.8442 3.4952 ((1 . 1) (3 . 2) (4 . 3) (6 . 10) (7 . 11) (8 . 12) (9 . 13)) 2822 0.8747 3.5837 ((1 . 15) (3 . 16) (4 . 17) (6 . 24) (7 . 26) (8 . 28) (9 . 29)) 2910 0.7455 8.4161 ((1 . 3) (3 . 4) (4 . 5) (6 . 7) (9 . 8) (10 . 9)) 2954 0.7391 10.5711 ((1 . 1) (3 . 2) (4 . 3) (7 . 5) (8 . 6) (10 . 8)) 3210 0.7489 5.9228 ((1 . 17) (3 . 18) (4 . 21) (6 . 30) (7 . 33) (8 . 35)) 3260 0.9969 5.3499 ((1 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 14)) 3286 0.7499 3.5615 ((1 . 3) (3 . 4) (4 . 5) (7 . 7) (9 . 9) (10 . 15)) 3925 0.6239 7.4747 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (10 . 6)) 4043 0.6247 5.5029 ((1 . 6) (3 . 8) (4 . 9) (6 . 11) (9 . 13)) 4057 0.6224 9.2090 ((1 . 5) (3 . 6) (6 . 8) (7 . 9) (9 . 13)) 4058 0.1987 9.0403 ((6 . 14) (7 . 15) (9 . 18) (10 . 19)) 4191 0.8746 3.7629 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 6) (8 . 33) (9 . 34)) 4193 0.8740 4.7272 ((1 . 36) (3 . 37) (4 . 38) (6 . 47) (7 . 48) (8 . 50) (9 . 51)) 4281 0.4997 6.8698 ((1 . 3) (4 . 8) (6 . 9) (7 . 10)) 4391 0.9973 5.1604 ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 10)) 4469 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 4935 0.9894 2.6313 ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 11)) 5120 0.8349 3.4758 ((1 . 2) (3 . 4) (4 . 5) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 5243 0.8741 4.6195 ((1 . 13) (3 . 14) (4 . 15) (6 . 17) (7 . 18) (9 . 22) (10 . 26)) 5447 0.6246 5.7029 ((1 . 2) (3 . 3) (4 . 4) (6 . 6) (10 . 9)) 5500 0.8747 3.6576 ((1 . 1) (3 . 2) (4 . 3) (6 . 10) (7 . 12) (8 . 13) (9 . 14)) 5501 0.4997 7.3537 ((1 . 16) (3 . 17) (4 . 20) (8 . 22)) 5883 0.6246 5.7622 ((1 . 1) (3 . 3) (4 . 4) (7 . 6) (8 . 7)) 5906 0.8734 5.3840 ((1 . 13) (3 . 14) (4 . 15) (6 . 17) (7 . 18) (9 . 22) (10 . 26)) 6064 0.8510 3.8781 ((1 . 4) (3 . 6) (4 . 7) (7 . 11) (8 . 13) (9 . 14) (10 . 18)) 6249 0.9982 4.6453 ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 11)) 6299 0.7496 4.4433 ((1 . 4) (3 . 6) (4 . 7) (7 . 9) (9 . 11) (10 . 16)) 6323 0.8738 4.9658 ((1 . 33) (3 . 34) (4 . 35) (6 . 36) (7 . 37) (8 . 38) (9 . 41)) END