3034 6 0.8988 4.8007 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 26 0.8989 4.6546 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 90 0.7633 6.1781 ((1 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (15 . 34)) 256 0.8977 5.6912 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 266 0.4996 7.6622 ((1 . 2) (4 . 3) (5 . 4) (8 . 10) (11 . 13)) 428 0.8981 5.4194 ((1 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (11 . 12) (15 . 15)) 477 0.6992 5.9624 ((1 . 1) (4 . 2) (5 . 3) (7 . 5) (9 . 7) (11 . 9) (15 . 11)) 523 0.4998 6.4435 ((1 . 1) (7 . 4) (8 . 5) (9 . 6) (15 . 9)) 562 0.8970 6.0345 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 8) (11 . 9) (15 . 11)) 745 0.7990 5.3689 ((1 . 1) (4 . 2) (5 . 3) (7 . 7) (8 . 8) (9 . 10) (11 . 12) (15 . 17)) 786 0.8980 5.4809 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 793 0.8986 4.9676 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 971 0.7996 4.3252 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8)) 980 0.7997 4.0898 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8)) 1042 0.8966 6.2327 ((1 . 26) (4 . 27) (5 . 28) (6 . 29) (7 . 30) (8 . 31) (9 . 32) (11 . 33) (15 . 35)) 1177 0.5935 5.8831 ((1 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 1252 0.8997 3.3188 ((1 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 13)) 1253 0.4998 6.4486 ((1 . 11) (6 . 14) (7 . 15) (11 . 17) (15 . 22)) 1266 0.8986 4.9901 ((1 . 27) (4 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 32) (9 . 33) (11 . 34) (15 . 36)) 1379 0.8393 4.8943 ((1 . 6) (4 . 7) (5 . 9) (6 . 11) (7 . 12) (8 . 13) (9 . 14) (11 . 15) (15 . 17)) 1397 0.7991 5.2125 ((1 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 8) (9 . 9) (11 . 10) (15 . 13)) 1443 0.4000 5.0707 ((5 . 7) (6 . 9) (7 . 10) (9 . 13)) 1516 0.4000 4.8473 ((1 . 8) (4 . 9) (5 . 10) (6 . 13)) 1547 0.4999 4.8766 ((1 . 4) (4 . 6) (5 . 7) (7 . 10) (8 . 13)) 1659 0.5000 4.1859 ((1 . 3) (4 . 4) (5 . 5) (6 . 9) (7 . 11)) 1662 0.5987 8.1113 ((1 . 1) (4 . 2) (5 . 3) (7 . 6) (9 . 10) (11 . 13)) 1700 0.6630 5.0517 ((1 . 1) (4 . 2) (5 . 3) (7 . 9) (9 . 12) (11 . 15) (15 . 19)) 1803 0.8984 5.1922 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 26)) 1901 0.5997 5.7563 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 7) (15 . 17)) 2027 0.7995 4.4962 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9) (15 . 14)) 2427 0.8057 6.4717 ((1 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 7) (9 . 8) (11 . 9) (13 . 13) (15 . 19)) 2470 0.8981 5.3805 ((1 . 35) (4 . 37) (5 . 38) (6 . 39) (7 . 40) (8 . 42) (9 . 43) (11 . 44) (15 . 46)) 2714 0.7985 5.8624 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9) (15 . 13)) 2729 0.8992 4.3436 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 27)) 2809 0.8976 5.7288 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 3034 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (13 . 13) (15 . 15)) 3073 0.4000 5.5130 ((1 . 1) (5 . 5) (6 . 6) (7 . 8)) 3189 0.8989 4.7246 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (15 . 12)) 3190 0.8992 4.3289 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (15 . 12)) 3199 0.8998 3.1677 ((1 . 1) (5 . 4) (6 . 6) (7 . 7) (8 . 11) (9 . 12) (11 . 13) (13 . 15) (15 . 17)) 3234 0.5999 3.9548 ((1 . 1) (4 . 2) (5 . 3) (6 . 5) (7 . 7) (15 . 20)) 3238 0.6996 4.9828 ((1 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5) (9 . 7) (15 . 19)) 3295 0.8970 6.0419 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 3412 0.8988 4.8170 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 3462 0.7513 5.4811 ((1 . 28) (4 . 30) (5 . 31) (7 . 32) (8 . 33) (9 . 34) (11 . 35) (15 . 43)) 3560 0.8622 6.3717 ((1 . 1) (4 . 2) (5 . 3) (6 . 7) (7 . 8) (9 . 11) (11 . 13) (13 . 17) (15 . 33)) 3581 0.7986 5.8250 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 18)) 3632 0.8990 4.6388 ((1 . 4) (4 . 5) (5 . 6) (6 . 9) (7 . 12) (8 . 13) (9 . 15) (11 . 16) (15 . 35)) 3801 0.7978 6.4652 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (15 . 11)) 3896 0.8984 5.1400 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 4066 0.7993 4.9202 ((1 . 1) (4 . 2) (5 . 3) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (15 . 26)) 4130 0.4997 7.0479 ((1 . 4) (6 . 7) (7 . 8) (9 . 13) (15 . 18)) 4185 0.8992 4.3608 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 4323 0.6994 5.5140 ((1 . 1) (4 . 2) (5 . 3) (7 . 6) (8 . 7) (11 . 10) (15 . 17)) 4433 0.8923 7.6786 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 4474 0.6995 5.2781 ((1 . 1) (4 . 2) (5 . 3) (7 . 6) (9 . 8) (13 . 12) (15 . 21)) 4590 0.6994 5.4965 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 9) (15 . 16)) 4669 0.8979 5.5031 ((1 . 15) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 21) (11 . 22) (15 . 23)) 4787 0.4000 5.0344 ((1 . 12) (4 . 15) (5 . 16) (6 . 17)) 4813 0.8981 5.4078 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 4871 0.8990 4.5958 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 4905 0.7638 5.6077 ((1 . 1) (4 . 2) (5 . 3) (7 . 8) (8 . 9) (9 . 11) (11 . 14) (15 . 18)) 4916 0.5994 6.5961 ((5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 12)) 4926 0.6627 6.0640 ((1 . 38) (4 . 39) (5 . 40) (7 . 45) (9 . 48) (11 . 49) (15 . 51)) 5096 0.8982 5.3429 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 25)) 5234 0.7618 7.4065 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9) (15 . 21)) 5289 0.8973 5.9043 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 5297 0.7638 5.5113 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 8) (15 . 18)) 5364 0.8889 8.4382 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 5397 0.7786 11.6335 ((1 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (15 . 10)) 5470 0.6235 5.3254 ((1 . 1) (4 . 2) (5 . 3) (7 . 9) (8 . 11) (9 . 12) (15 . 21)) 5673 0.7507 6.3215 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 8) (11 . 9) (15 . 12)) 5752 0.4999 5.4180 ((1 . 1) (4 . 2) (5 . 3) (9 . 5) (11 . 9)) 5785 0.7990 5.2939 ((1 . 1) (4 . 2) (5 . 3) (7 . 8) (8 . 9) (9 . 10) (11 . 12) (15 . 30)) 5842 0.7983 6.0616 ((1 . 1) (4 . 2) (5 . 3) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (15 . 11)) 5920 0.8987 4.9191 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 8) (11 . 9) (15 . 11)) 6242 0.7511 5.8518 ((1 . 1) (4 . 2) (5 . 3) (7 . 8) (8 . 11) (9 . 12) (11 . 15) (15 . 20)) 6258 0.6236 4.4806 ((1 . 7) (4 . 8) (5 . 9) (6 . 11) (7 . 12) (9 . 13) (15 . 14)) 6283 0.8996 3.6383 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 10) (9 . 11) (11 . 12) (15 . 16)) 6496 0.8983 5.2714 ((1 . 1) (4 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (15 . 27)) 6624 0.7989 5.3937 ((1 . 1) (4 . 2) (5 . 3) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (15 . 12)) 6640 0.8981 5.4267 ((1 . 41) (4 . 42) (5 . 43) (6 . 44) (7 . 45) (8 . 46) (9 . 47) (11 . 48) (15 . 50)) 6642 0.8503 7.0762 ((1 . 34) (4 . 35) (5 . 36) (6 . 37) (7 . 38) (8 . 40) (9 . 41) (11 . 43) (15 . 45)) END