1547 6 0.4415 4.5272 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 26 0.4444 4.5957 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 90 0.2222 5.6141 ((4 . 18) (7 . 20) (10 . 24) (13 . 25)) 256 0.4444 5.6155 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 266 0.2222 5.3981 ((4 . 2) (7 . 4) (10 . 7) (13 . 8)) 428 0.4415 3.9695 ((4 . 5) (7 . 7) (10 . 9) (13 . 10) (28 . 11) (29 . 12) (30 . 14) (31 . 15)) 477 0.3801 5.5336 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (30 . 10) (31 . 11)) 523 0.3333 6.2198 ((4 . 1) (10 . 4) (13 . 5) (28 . 6) (30 . 8) (31 . 9)) 562 0.3801 4.9520 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 8) (29 . 9) (31 . 11)) 745 0.2222 5.7131 ((4 . 7) (6 . 8) (7 . 10) (13 . 17)) 786 0.4444 5.0128 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 793 0.4161 4.7256 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 971 0.3889 3.6561 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9)) 980 0.4067 5.1175 ((4 . 1) (7 . 3) (8 . 4) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9)) 1042 0.3889 4.9339 ((4 . 26) (7 . 28) (10 . 30) (13 . 31) (28 . 32) (29 . 33) (31 . 35)) 1177 0.4444 4.6136 ((4 . 1) (7 . 3) (10 . 4) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 1252 0.4779 3.6836 ((4 . 3) (6 . 5) (7 . 6) (10 . 8) (13 . 9) (28 . 10) (29 . 11) (30 . 12) (31 . 13)) 1253 0.2222 6.0577 ((7 . 1) (13 . 6) (28 . 18) (31 . 22)) 1266 0.4444 3.9086 ((4 . 27) (7 . 29) (10 . 31) (13 . 32) (28 . 33) (29 . 34) (30 . 35) (31 . 36)) 1379 0.4381 3.2003 ((4 . 6) (7 . 9) (10 . 12) (13 . 13) (28 . 14) (29 . 15) (30 . 16) (31 . 17)) 1397 0.3889 4.7759 ((4 . 1) (7 . 3) (10 . 5) (13 . 8) (28 . 9) (29 . 10) (31 . 13)) 1443 0.3186 4.5903 ((10 . 1) (13 . 6) (28 . 7) (29 . 9) (30 . 10) (31 . 14)) 1516 0.2778 3.5576 ((10 . 3) (28 . 8) (29 . 9) (30 . 10) (31 . 13)) 1547 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (13 . 13) (28 . 28) (29 . 29) (30 . 30) (31 . 31) (32 . 32) (33 . 33) (35 . 35) (37 . 37) (38 . 38)) 1659 0.2222 4.1473 ((28 . 13) (30 . 15) (32 . 18) (33 . 19)) 1662 0.3333 4.1354 ((4 . 1) (7 . 3) (10 . 6) (13 . 8) (28 . 10) (31 . 13)) 1700 0.3085 4.3207 ((4 . 1) (7 . 3) (10 . 9) (13 . 11) (28 . 12) (30 . 18) (31 . 19)) 1803 0.4962 4.9097 ((4 . 1) (6 . 2) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 26)) 1901 0.2910 5.1137 ((4 . 1) (6 . 2) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 16) (31 . 17)) 2027 0.3889 3.9818 ((4 . 1) (7 . 4) (10 . 6) (13 . 8) (28 . 9) (30 . 13) (31 . 14)) 2427 0.2222 3.7168 ((4 . 1) (7 . 3) (10 . 5) (13 . 7)) 2470 0.2222 3.2303 ((28 . 35) (29 . 37) (30 . 38) (31 . 39)) 2714 0.3889 5.7684 ((4 . 1) (7 . 4) (10 . 6) (13 . 8) (28 . 9) (30 . 12) (31 . 13)) 2729 0.4067 4.2425 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 27)) 2809 0.4067 5.2410 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 3034 0.2781 6.3828 ((4 . 1) (7 . 5) (10 . 7) (13 . 8) (28 . 9) (29 . 11) (31 . 13)) 3073 0.2222 6.0873 ((6 . 6) (8 . 7) (9 . 8) (10 . 10)) 3189 0.4444 3.5227 ((4 . 1) (7 . 3) (10 . 6) (13 . 7) (28 . 9) (29 . 10) (30 . 11) (31 . 12)) 3190 0.4948 4.3356 ((4 . 1) (7 . 3) (8 . 4) (10 . 6) (13 . 7) (28 . 9) (29 . 10) (30 . 11) (31 . 12)) 3199 0.4303 3.9636 ((4 . 1) (7 . 4) (8 . 5) (10 . 7) (13 . 11) (28 . 12) (29 . 13) (30 . 14) (31 . 17)) 3234 0.2778 7.9130 ((13 . 8) (28 . 10) (30 . 13) (33 . 15) (35 . 18)) 3238 0.2222 4.9526 ((4 . 1) (7 . 4) (8 . 5) (10 . 7)) 3295 0.4444 5.8313 ((4 . 1) (7 . 3) (8 . 4) (10 . 5) (13 . 6) (28 . 7) (30 . 9) (31 . 10)) 3412 0.4972 5.1943 ((4 . 1) (7 . 3) (8 . 4) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 3462 0.2222 4.0424 ((4 . 28) (7 . 31) (10 . 34) (13 . 35)) 3560 0.2778 4.9735 ((4 . 1) (7 . 3) (10 . 8) (13 . 13) (31 . 33)) 3581 0.4161 4.0935 ((4 . 1) (7 . 6) (10 . 8) (13 . 9) (28 . 10) (29 . 11) (30 . 21) (31 . 22)) 3632 0.4444 4.0230 ((4 . 4) (7 . 6) (10 . 12) (13 . 13) (28 . 15) (29 . 16) (30 . 17) (31 . 35)) 3801 0.2420 6.0251 ((4 . 1) (7 . 3) (9 . 5) (10 . 7) (28 . 9)) 3896 0.4402 4.2636 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 4066 0.4444 4.1663 ((4 . 1) (7 . 3) (10 . 6) (13 . 7) (28 . 8) (29 . 9) (30 . 10) (31 . 26)) 4130 0.2222 4.6845 ((4 . 8) (6 . 10) (10 . 13) (13 . 16)) 4185 0.4444 4.0012 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 4323 0.3889 5.3012 ((4 . 1) (7 . 3) (10 . 6) (13 . 7) (28 . 9) (29 . 10) (31 . 17)) 4433 0.4442 8.0497 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 4474 0.2222 3.5436 ((4 . 1) (7 . 3) (10 . 6) (13 . 7)) 4590 0.2222 6.0352 ((4 . 1) (6 . 2) (7 . 3) (10 . 5)) 4669 0.3889 4.3766 ((4 . 15) (7 . 17) (10 . 19) (13 . 20) (28 . 21) (29 . 22) (31 . 23)) 4787 0.4990 3.6772 ((4 . 6) (6 . 8) (7 . 9) (10 . 12) (13 . 13) (28 . 14) (29 . 15) (30 . 16) (31 . 17)) 4813 0.4067 4.6963 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 4871 0.4380 4.9484 ((4 . 1) (7 . 3) (8 . 4) (10 . 5) (13 . 6) (28 . 7) (30 . 9) (31 . 10)) 4905 0.3801 4.0149 ((4 . 1) (7 . 3) (10 . 8) (13 . 10) (28 . 11) (30 . 17) (31 . 18)) 4916 0.3889 4.8677 ((4 . 2) (7 . 4) (10 . 6) (13 . 7) (28 . 9) (29 . 10) (31 . 12)) 4926 0.4423 4.9577 ((4 . 38) (7 . 40) (10 . 45) (13 . 47) (28 . 48) (29 . 49) (30 . 50) (31 . 51)) 5096 0.3889 4.5679 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (31 . 25)) 5234 0.2222 5.1221 ((28 . 11) (30 . 12) (33 . 17) (35 . 19)) 5289 0.3889 4.8413 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (31 . 10)) 5297 0.2222 3.5446 ((4 . 1) (7 . 3) (10 . 5) (13 . 7)) 5364 0.4441 8.4403 ((4 . 1) (7 . 3) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 5397 0.4152 11.7660 ((4 . 2) (7 . 4) (10 . 5) (13 . 6) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 5470 0.2222 10.2669 ((13 . 2) (29 . 17) (30 . 20) (31 . 21)) 5673 0.3889 4.5896 ((4 . 1) (7 . 3) (10 . 5) (28 . 8) (29 . 9) (30 . 10) (31 . 12)) 5752 0.2222 6.6985 ((4 . 1) (6 . 2) (7 . 3) (13 . 6)) 5785 0.3889 4.0951 ((4 . 1) (7 . 3) (10 . 8) (13 . 9) (28 . 10) (30 . 13) (31 . 29)) 5842 0.3119 6.3678 ((4 . 1) (6 . 2) (7 . 3) (10 . 6) (13 . 7) (28 . 8) (29 . 9) (30 . 10) (31 . 11)) 5920 0.4444 4.4012 ((4 . 1) (7 . 3) (10 . 5) (13 . 7) (28 . 8) (29 . 9) (30 . 10) (31 . 11)) 6242 0.4444 4.3102 ((4 . 1) (7 . 3) (10 . 8) (13 . 11) (28 . 12) (29 . 13) (30 . 18) (31 . 20)) 6258 0.3889 3.6625 ((4 . 7) (7 . 9) (10 . 10) (13 . 11) (28 . 12) (30 . 13) (31 . 14)) 6283 0.4066 6.3621 ((4 . 1) (7 . 4) (8 . 5) (10 . 6) (13 . 10) (28 . 11) (29 . 12) (31 . 16)) 6496 0.2222 3.8679 ((28 . 4) (29 . 5) (30 . 6) (33 . 10)) 6624 0.4444 5.5167 ((4 . 1) (7 . 3) (10 . 6) (13 . 7) (28 . 8) (29 . 9) (30 . 11) (31 . 12)) 6640 0.3889 5.3486 ((4 . 41) (7 . 43) (10 . 45) (13 . 46) (28 . 47) (30 . 49) (31 . 50)) 6642 0.4066 5.4778 ((4 . 34) (7 . 36) (10 . 38) (13 . 40) (28 . 41) (29 . 43) (30 . 44) (31 . 45)) END