4496 387 0.7266 5.3992 ((5 . 1) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12) (15 . 15)) 607 0.7266 5.4772 ((5 . 34) (8 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 44) (13 . 45) (15 . 46)) 700 0.7271 4.0923 ((5 . 1) (8 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (15 . 11)) 765 0.6362 4.1412 ((5 . 3) (8 . 7) (9 . 9) (10 . 12) (12 . 17) (13 . 19) (15 . 20)) 1271 0.7210 4.3394 ((5 . 42) (8 . 44) (9 . 45) (10 . 47) (11 . 48) (12 . 49) (13 . 50) (15 . 52)) 1884 0.5454 4.5182 ((5 . 2) (8 . 5) (9 . 7) (10 . 9) (13 . 14) (15 . 16)) 1918 0.9001 4.8144 ((1 . 1) (2 . 3) (5 . 6) (8 . 9) (9 . 11) (10 . 13) (11 . 14) (12 . 15) (13 . 17) (15 . 19)) 1954 0.7269 4.7022 ((5 . 1) (8 . 3) (9 . 4) (10 . 6) (11 . 7) (12 . 9) (13 . 10) (15 . 11)) 1959 0.7267 5.1501 ((5 . 1) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 12)) 1989 0.4544 6.2384 ((8 . 4) (9 . 5) (11 . 9) (12 . 10) (13 . 11)) 2116 0.7269 4.7867 ((5 . 2) (8 . 5) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 11) (15 . 12)) 2241 0.6363 3.3535 ((8 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 13)) 2408 0.7190 5.6696 ((5 . 38) (8 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 45) (13 . 46) (15 . 47)) 2762 0.6362 4.6114 ((8 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 12) (13 . 14) (15 . 15)) 2872 0.9039 3.9236 ((2 . 1) (5 . 4) (6 . 5) (8 . 7) (9 . 9) (10 . 11) (11 . 12) (12 . 13) (13 . 15) (15 . 18)) 2886 0.7267 5.2805 ((5 . 30) (8 . 35) (9 . 37) (10 . 38) (11 . 39) (12 . 41) (13 . 43) (15 . 44)) 3063 0.5451 6.5451 ((5 . 33) (9 . 37) (10 . 38) (11 . 39) (12 . 41) (13 . 42)) 3098 0.5046 6.3701 ((2 . 3) (5 . 5) (8 . 11) (9 . 13) (10 . 15) (11 . 16) (12 . 17) (13 . 18) (15 . 22)) 3124 0.8180 3.5036 ((5 . 3) (6 . 5) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 14) (15 . 15)) 3157 0.6363 4.0590 ((5 . 3) (8 . 7) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15)) 3170 0.7261 6.1783 ((5 . 3) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 13)) 3280 0.7262 6.1104 ((5 . 3) (8 . 6) (9 . 8) (10 . 10) (11 . 11) (12 . 15) (13 . 17) (15 . 18)) 3297 0.5448 7.8566 ((1 . 1) (10 . 8) (11 . 9) (12 . 11) (13 . 12) (15 . 13)) 3562 0.4544 6.5720 ((8 . 2) (9 . 3) (12 . 6) (13 . 7) (15 . 9)) 3680 0.7261 6.2646 ((5 . 38) (8 . 42) (9 . 44) (10 . 45) (11 . 50) (12 . 53) (13 . 55) (15 . 58)) 4423 0.5389 8.5197 ((1 . 31) (5 . 34) (8 . 38) (9 . 40) (10 . 41) (11 . 44)) 4496 1.0000 0.0000 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15)) 4497 0.8181 2.5524 ((5 . 18) (6 . 20) (8 . 23) (9 . 24) (10 . 25) (11 . 26) (12 . 27) (13 . 28) (15 . 30)) 4599 0.7268 4.8781 ((5 . 3) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 12)) 4654 0.7266 5.3394 ((5 . 3) (8 . 8) (9 . 10) (10 . 12) (11 . 13) (12 . 16) (13 . 17) (15 . 18)) 4929 0.7263 5.9743 ((5 . 26) (8 . 28) (9 . 29) (10 . 31) (11 . 32) (12 . 33) (13 . 34) (15 . 35)) 5569 0.6363 3.8298 ((8 . 24) (9 . 27) (10 . 29) (11 . 30) (12 . 31) (13 . 32) (15 . 33)) 6050 0.7268 4.8725 ((5 . 2) (8 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (13 . 12) (15 . 13)) 6140 0.7272 3.3816 ((5 . 3) (8 . 6) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 13) (15 . 14)) 6347 0.8180 3.5435 ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 8) (13 . 10) (15 . 11)) END