4391 247 0.6246 5.9141 ((3 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 15)) 345 0.7486 6.2580 ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (8 . 10)) 463 0.8741 4.6789 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 7) (7 . 15) (8 . 23)) 464 0.8714 6.5470 ((1 . 26) (2 . 27) (3 . 29) (5 . 34) (6 . 35) (7 . 37) (8 . 38)) 471 0.6221 9.5101 ((3 . 12) (5 . 15) (7 . 17) (8 . 18) (10 . 19)) 472 0.4993 8.8194 ((2 . 25) (3 . 27) (5 . 28) (7 . 33)) 592 0.8739 4.8904 ((1 . 3) (2 . 5) (3 . 6) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 703 0.7451 8.6067 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (10 . 11)) 713 0.8728 5.8300 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10) (7 . 13) (8 . 14)) 714 0.4993 8.7217 ((5 . 27) (6 . 28) (7 . 30) (8 . 31)) 934 0.9966 5.4781 ((1 . 10) (2 . 11) (3 . 12) (5 . 14) (6 . 15) (7 . 16) (8 . 17) (10 . 18)) 1021 0.9976 5.0308 ((1 . 12) (2 . 13) (3 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (10 . 22)) 1033 0.8741 4.5852 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 16) (8 . 17)) 1034 0.8715 6.5227 ((1 . 20) (2 . 21) (3 . 22) (5 . 27) (6 . 29) (7 . 31) (8 . 32)) 1191 0.4999 4.8907 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 1223 0.9973 5.1499 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8)) 1289 0.9980 4.8113 ((1 . 13) (2 . 14) (3 . 15) (5 . 16) (6 . 17) (7 . 19) (8 . 20) (10 . 21)) 1305 0.7481 6.7884 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 8)) 1522 0.8743 4.3333 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1656 0.9961 5.6768 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (10 . 13)) 1778 0.8749 2.8852 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 8) (7 . 11) (8 . 12)) 1779 0.2462 9.7971 ((5 . 25) (6 . 26) (8 . 32) (10 . 33)) 2218 0.9987 4.2685 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 10)) 2296 0.8747 3.5679 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (8 . 7) (10 . 21)) 2378 0.5000 3.9565 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 2483 0.8735 5.2680 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9) (7 . 12) (8 . 13)) 2484 0.4994 8.4976 ((5 . 26) (6 . 27) (7 . 29) (8 . 31)) 2491 0.6223 9.3264 ((1 . 10) (2 . 11) (3 . 12) (6 . 15) (8 . 17)) 2619 0.8740 4.7705 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2733 0.9960 5.7148 ((1 . 1) (2 . 2) (3 . 4) (5 . 7) (6 . 8) (7 . 9) (8 . 11) (10 . 14)) 2775 0.6246 5.8860 ((1 . 3) (5 . 7) (6 . 8) (8 . 11) (10 . 14)) 2821 0.8745 4.0903 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 2822 0.8720 6.2689 ((1 . 15) (2 . 16) (3 . 17) (5 . 24) (6 . 26) (7 . 28) (8 . 29)) 2910 0.7489 5.8435 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (6 . 8) (7 . 9)) 2954 0.4956 13.9192 ((1 . 3) (3 . 5) (5 . 6) (7 . 8)) 3210 0.7482 6.7000 ((1 . 17) (2 . 18) (3 . 21) (5 . 30) (6 . 33) (7 . 35)) 3260 0.9943 6.2508 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 14)) 3286 0.9731 6.0083 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 15)) 4043 0.7487 6.1814 ((2 . 8) (3 . 9) (5 . 11) (6 . 13) (7 . 15) (8 . 16)) 4057 0.8739 4.8673 ((1 . 1) (2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 11) (8 . 13)) 4058 0.6238 7.5214 ((1 . 15) (2 . 16) (3 . 18) (7 . 22) (10 . 24)) 4191 0.8741 4.6509 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 33) (8 . 34)) 4193 0.4996 7.5204 ((5 . 47) (6 . 48) (7 . 50) (8 . 51)) 4281 0.9672 6.2235 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10) (10 . 16)) 4391 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10)) 4469 0.9973 5.1604 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10)) 4935 0.9973 5.1904 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 11)) 5120 0.8741 4.6140 ((1 . 2) (2 . 4) (3 . 5) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 5243 0.7479 6.9733 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (8 . 20)) 5447 0.7487 6.1800 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (7 . 6) (10 . 9)) 5500 0.8741 4.5979 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 12) (7 . 13) (8 . 14)) 5501 0.7494 5.1446 ((1 . 16) (2 . 17) (3 . 20) (5 . 28) (6 . 30) (7 . 32)) 5883 0.9659 6.6061 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 13)) 5906 0.9940 6.3098 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (7 . 19) (8 . 22) (10 . 26)) 6064 0.9961 5.6656 ((1 . 4) (2 . 6) (3 . 7) (5 . 10) (6 . 11) (7 . 12) (8 . 14) (10 . 18)) 6249 0.9996 3.1417 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 11)) 6299 0.8717 6.4223 ((1 . 4) (2 . 6) (3 . 7) (6 . 9) (7 . 10) (8 . 11) (10 . 16)) 6323 0.8712 6.6419 ((1 . 33) (2 . 34) (3 . 35) (5 . 36) (6 . 37) (7 . 38) (8 . 41)) END