1516 6 0.3333 3.5031 ((3 . 1) (4 . 2) (8 . 7) (10 . 9)) 26 0.3333 8.4622 ((2 . 2) (3 . 3) (4 . 4) (6 . 8)) 90 0.3333 3.8115 ((8 . 18) (9 . 19) (10 . 20) (13 . 23)) 256 0.3805 5.0388 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 266 0.3333 3.8493 ((3 . 2) (8 . 9) (9 . 10) (12 . 12)) 428 0.3333 3.6048 ((3 . 5) (4 . 6) (8 . 11) (10 . 14)) 477 0.3333 3.7073 ((8 . 1) (9 . 2) (10 . 3) (13 . 6)) 523 0.4999 5.1595 ((3 . 1) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 9)) 562 0.3333 5.3056 ((8 . 1) (9 . 2) (12 . 3) (13 . 4)) 745 0.4162 9.8066 ((3 . 1) (8 . 7) (9 . 8) (12 . 10) (13 . 12)) 786 0.4488 4.7849 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 793 0.3333 8.3420 ((3 . 1) (4 . 4) (13 . 6) (14 . 8)) 971 0.5000 3.6171 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9)) 980 0.3671 3.1882 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9)) 1042 0.5832 5.0764 ((3 . 26) (4 . 27) (8 . 30) (9 . 31) (10 . 32) (12 . 34) (13 . 35)) 1177 0.5832 4.5834 ((3 . 1) (4 . 2) (8 . 4) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 1252 0.4166 4.8774 ((3 . 8) (8 . 10) (9 . 11) (10 . 12) (13 . 13)) 1253 0.4166 6.3034 ((3 . 11) (8 . 15) (9 . 17) (10 . 18) (13 . 22)) 1266 0.4488 4.5287 ((3 . 27) (4 . 28) (8 . 31) (9 . 32) (10 . 33) (12 . 35) (13 . 36)) 1379 0.6602 3.7322 ((2 . 5) (3 . 6) (4 . 7) (8 . 12) (9 . 13) (10 . 14) (12 . 16) (13 . 17)) 1397 0.5832 4.4606 ((3 . 1) (4 . 2) (8 . 5) (9 . 8) (10 . 9) (12 . 12) (13 . 13)) 1443 0.5481 3.4390 ((3 . 1) (4 . 2) (8 . 7) (9 . 9) (10 . 10) (12 . 13) (13 . 14)) 1516 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 1547 0.4167 3.5576 ((3 . 10) (8 . 28) (9 . 29) (10 . 30) (13 . 31)) 1659 0.3333 4.7990 ((8 . 1) (9 . 2) (10 . 3) (12 . 5)) 1662 0.3671 4.2515 ((3 . 1) (4 . 2) (8 . 6) (9 . 8) (10 . 10) (13 . 13)) 1700 0.3430 6.8830 ((3 . 1) (4 . 2) (9 . 15) (12 . 18) (13 . 19)) 1803 0.3333 3.0453 ((8 . 3) (9 . 4) (10 . 5) (12 . 7)) 1901 0.3333 3.8074 ((8 . 3) (9 . 4) (10 . 5) (12 . 7)) 2027 0.5833 3.8382 ((3 . 1) (4 . 3) (8 . 6) (9 . 8) (10 . 9) (12 . 13) (13 . 14)) 2427 0.3776 5.7792 ((2 . 7) (3 . 8) (4 . 9) (8 . 18) (9 . 19)) 2470 0.4488 4.2456 ((3 . 35) (4 . 37) (8 . 40) (9 . 42) (10 . 43) (12 . 45) (13 . 46)) 2714 0.4166 5.4838 ((4 . 3) (9 . 7) (10 . 9) (12 . 12) (13 . 13)) 2729 0.5000 3.2359 ((3 . 1) (4 . 2) (8 . 5) (10 . 7) (12 . 9) (13 . 27)) 2809 0.4972 4.8983 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 3034 0.3333 4.8473 ((8 . 1) (9 . 4) (10 . 5) (13 . 6)) 3073 0.3333 5.7540 ((8 . 5) (9 . 7) (10 . 8) (12 . 10)) 3189 0.4488 3.4103 ((3 . 1) (4 . 2) (8 . 6) (9 . 7) (10 . 9) (12 . 11) (13 . 12)) 3190 0.4488 3.1251 ((3 . 1) (4 . 2) (8 . 6) (9 . 7) (10 . 9) (12 . 11) (13 . 12)) 3199 0.3333 7.2781 ((2 . 11) (3 . 12) (4 . 13) (9 . 18)) 3234 0.3333 5.4928 ((8 . 4) (9 . 6) (10 . 7) (12 . 9)) 3238 0.3333 3.6367 ((8 . 1) (9 . 2) (10 . 3) (13 . 6)) 3295 0.3333 3.0744 ((8 . 3) (9 . 4) (10 . 5) (12 . 7)) 3412 0.4488 3.6295 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 3462 0.3430 6.1451 ((2 . 33) (3 . 34) (4 . 35) (8 . 42) (9 . 43)) 3560 0.4170 6.9816 ((3 . 1) (4 . 2) (7 . 5) (8 . 8) (10 . 11) (12 . 14) (13 . 33)) 3581 0.3332 9.1852 ((7 . 7) (8 . 8) (9 . 9) (10 . 10)) 3632 0.4166 4.9845 ((4 . 3) (8 . 12) (9 . 13) (10 . 15) (12 . 17)) 3801 0.4204 3.2299 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9)) 3896 0.3805 4.1518 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 4066 0.3333 3.5569 ((8 . 3) (9 . 5) (10 . 6) (12 . 8)) 4130 0.5833 4.0153 ((3 . 4) (4 . 7) (8 . 13) (9 . 16) (10 . 17) (12 . 24) (13 . 25)) 4185 0.3805 3.7199 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 4323 0.3333 3.5728 ((3 . 1) (4 . 2) (8 . 9) (10 . 12)) 4433 0.3333 3.8892 ((3 . 1) (4 . 2) (8 . 7) (10 . 9)) 4474 0.3333 5.4696 ((3 . 1) (4 . 2) (8 . 8) (14 . 18)) 4590 0.3333 4.0600 ((3 . 1) (4 . 2) (8 . 9) (12 . 15)) 4669 0.3332 9.8241 ((6 . 16) (8 . 21) (9 . 22) (13 . 23)) 4787 0.6583 3.5735 ((2 . 5) (3 . 6) (4 . 7) (8 . 12) (9 . 13) (10 . 14) (12 . 16) (13 . 17)) 4813 0.5733 6.7427 ((3 . 1) (4 . 2) (6 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 4871 0.3805 4.1910 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 4905 0.5833 3.5395 ((3 . 1) (4 . 2) (8 . 8) (9 . 10) (10 . 11) (12 . 17) (13 . 18)) 4916 0.3333 2.6052 ((3 . 2) (4 . 3) (8 . 6) (10 . 9)) 4926 0.5832 4.4719 ((3 . 38) (4 . 39) (8 . 45) (9 . 47) (10 . 48) (12 . 50) (13 . 51)) 5096 0.3333 3.1378 ((8 . 3) (9 . 4) (10 . 5) (12 . 7)) 5234 0.3333 3.6751 ((8 . 1) (9 . 3) (10 . 4) (13 . 8)) 5289 0.3333 2.6745 ((8 . 1) (9 . 2) (10 . 3) (13 . 4)) 5297 0.3333 3.6894 ((8 . 3) (9 . 4) (10 . 5) (12 . 8)) 5364 0.4165 8.0641 ((4 . 4) (8 . 7) (9 . 8) (10 . 9) (13 . 10)) 5397 0.3333 6.2246 ((9 . 1) (10 . 2) (12 . 4) (13 . 6)) 5470 0.5833 3.8696 ((3 . 1) (4 . 2) (8 . 9) (9 . 11) (10 . 12) (12 . 20) (13 . 21)) 5673 0.4488 5.0289 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 8) (12 . 10) (13 . 12)) 5752 0.5000 3.8151 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (10 . 7) (13 . 11)) 5785 0.4165 8.0079 ((2 . 2) (3 . 3) (4 . 5) (6 . 9) (9 . 29)) 5842 0.5832 4.7624 ((3 . 1) (4 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 10) (13 . 11)) 5920 0.4488 4.2849 ((3 . 1) (4 . 2) (8 . 5) (9 . 7) (10 . 8) (12 . 10) (13 . 11)) 6242 0.5833 3.6850 ((3 . 1) (4 . 2) (8 . 8) (9 . 11) (10 . 12) (12 . 18) (13 . 20)) 6258 0.7500 2.0849 ((1 . 2) (2 . 5) (3 . 7) (4 . 8) (8 . 10) (9 . 11) (10 . 12) (12 . 13) (13 . 14)) 6283 0.3333 5.2946 ((4 . 2) (8 . 6) (9 . 10) (12 . 11)) 6496 0.3333 2.9476 ((8 . 4) (9 . 5) (10 . 6) (12 . 8)) 6624 0.5832 4.6070 ((3 . 1) (4 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 11) (13 . 12)) 6640 0.4163 9.2512 ((6 . 39) (8 . 41) (9 . 42) (10 . 43) (13 . 44)) 6642 0.4824 6.1350 ((2 . 33) (3 . 34) (4 . 35) (8 . 38) (9 . 40) (10 . 44)) END