3124 387 0.4614 6.0487 ((3 . 1) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (14 . 12)) 607 0.6913 5.4084 ((1 . 34) (3 . 38) (7 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 44) (14 . 45) (15 . 46)) 700 0.6153 4.2387 ((3 . 1) (7 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (14 . 9) (15 . 11)) 765 0.6917 2.9682 ((3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 12) (12 . 17) (13 . 18) (14 . 19) (15 . 20)) 1271 0.6835 3.4949 ((3 . 42) (7 . 44) (8 . 45) (9 . 46) (10 . 47) (11 . 48) (12 . 49) (14 . 50) (15 . 52)) 1884 0.6915 4.8176 ((1 . 1) (3 . 4) (7 . 5) (9 . 7) (10 . 9) (11 . 10) (12 . 12) (14 . 14) (15 . 16)) 1918 0.8398 3.8818 ((1 . 4) (3 . 6) (7 . 9) (8 . 10) (9 . 11) (10 . 13) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (15 . 19)) 1954 0.6153 4.0826 ((3 . 1) (7 . 3) (9 . 4) (10 . 6) (11 . 7) (12 . 9) (14 . 10) (15 . 11)) 1959 0.6151 5.3766 ((3 . 1) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (14 . 11) (15 . 12)) 1989 0.6921 4.2070 ((1 . 1) (3 . 2) (7 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (14 . 10) (15 . 11)) 2116 0.6918 5.2664 ((1 . 1) (3 . 2) (7 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 10) (14 . 11) (15 . 12)) 2241 0.5384 4.3689 ((7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (14 . 11) (15 . 13)) 2408 0.4615 5.3736 ((7 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 45) (15 . 47)) 2762 0.6151 5.3952 ((3 . 3) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 12) (14 . 14) (15 . 15)) 2872 0.9224 3.4940 ((1 . 2) (3 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 18)) 2886 0.6152 4.8783 ((1 . 30) (7 . 35) (9 . 37) (10 . 38) (11 . 39) (12 . 41) (14 . 43) (15 . 44)) 3063 0.7630 5.7826 ((1 . 31) (3 . 33) (7 . 35) (8 . 36) (9 . 37) (10 . 38) (11 . 39) (12 . 41) (14 . 42) (15 . 46)) 3098 0.6917 5.5684 ((1 . 4) (3 . 5) (7 . 11) (9 . 13) (10 . 15) (11 . 16) (12 . 17) (14 . 18) (15 . 22)) 3124 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) 3157 0.6790 3.4652 ((3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 13) (15 . 15)) 3170 0.6147 6.6531 ((3 . 3) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (14 . 11) (15 . 13)) 3280 0.6915 4.2861 ((3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 10) (12 . 15) (13 . 16) (14 . 17) (15 . 18)) 3297 0.6912 4.8296 ((1 . 1) (3 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (14 . 12) (15 . 13)) 3562 0.5383 5.8138 ((3 . 1) (7 . 2) (9 . 3) (10 . 4) (12 . 6) (14 . 7) (15 . 9)) 3680 0.7961 5.4688 ((1 . 38) (3 . 39) (7 . 42) (8 . 43) (9 . 44) (10 . 45) (11 . 50) (12 . 53) (13 . 54) (14 . 55) (15 . 58)) 4423 0.3845 7.3732 ((3 . 41) (7 . 44) (9 . 46) (10 . 48) (14 . 53)) 4496 0.6922 3.5036 ((3 . 5) (5 . 6) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 13) (15 . 15)) 4497 0.6922 3.9954 ((3 . 18) (5 . 20) (7 . 23) (9 . 24) (10 . 25) (11 . 26) (12 . 27) (14 . 28) (15 . 30)) 4599 0.6152 4.7449 ((3 . 3) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (14 . 11) (15 . 12)) 4654 0.6918 5.2615 ((1 . 1) (3 . 3) (7 . 8) (9 . 10) (10 . 12) (11 . 13) (12 . 16) (14 . 17) (15 . 18)) 4929 0.6152 4.6255 ((1 . 26) (7 . 28) (9 . 29) (10 . 31) (11 . 32) (12 . 33) (14 . 34) (15 . 35)) 5569 0.6573 4.2815 ((1 . 22) (7 . 24) (8 . 26) (9 . 27) (10 . 29) (11 . 30) (12 . 31) (14 . 32) (15 . 33)) 6050 0.6151 5.3192 ((3 . 2) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (14 . 12) (15 . 13)) 6140 0.6921 4.4548 ((1 . 1) (3 . 3) (7 . 6) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (14 . 13) (15 . 14)) 6347 0.6922 3.9666 ((3 . 1) (5 . 2) (7 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 8) (14 . 10) (15 . 11)) END