1657 433 0.3158 5.4391 ((7 . 1) (9 . 2) (10 . 5) (11 . 6) (12 . 7) (15 . 8)) 435 0.7090 4.8190 ((1 . 4) (2 . 5) (3 . 9) (5 . 14) (6 . 15) (7 . 16) (9 . 17) (10 . 18) (11 . 19) (12 . 20) (15 . 22) (17 . 24) (19 . 26) (20 . 27)) 610 0.3684 5.4559 ((7 . 1) (9 . 2) (10 . 6) (11 . 7) (12 . 9) (15 . 10) (17 . 12)) 1657 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23)) 1831 0.3684 5.2137 ((7 . 1) (9 . 2) (10 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 11)) 2356 0.3684 5.7984 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 7) (15 . 9) (17 . 11)) 2668 0.3158 6.9511 ((7 . 2) (9 . 3) (10 . 7) (11 . 8) (12 . 9) (15 . 11)) 2669 0.3158 7.1963 ((9 . 17) (10 . 20) (11 . 21) (13 . 24) (15 . 25) (17 . 27)) 3485 0.2632 5.3656 ((17 . 10) (18 . 11) (20 . 12) (21 . 13) (22 . 14)) 3712 0.3681 6.3879 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (17 . 12)) 3713 0.4026 6.7130 ((7 . 17) (9 . 18) (10 . 21) (11 . 24) (13 . 25) (15 . 27) (17 . 29) (22 . 30)) 3828 0.3684 6.1767 ((7 . 1) (9 . 3) (10 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 11)) 3954 0.3684 5.1825 ((7 . 1) (9 . 2) (10 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 10)) 4148 0.3681 5.5209 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 7) (17 . 10)) 4210 0.3158 6.0545 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (15 . 7) (17 . 9)) 4211 0.3684 5.6581 ((7 . 15) (9 . 16) (10 . 18) (11 . 19) (13 . 20) (15 . 21) (17 . 23)) 4377 0.3684 5.3317 ((7 . 2) (9 . 3) (10 . 6) (11 . 7) (12 . 8) (15 . 10) (17 . 12)) 4852 0.3684 4.9102 ((7 . 12) (9 . 13) (10 . 16) (11 . 17) (12 . 18) (15 . 20) (17 . 22)) 5189 0.3684 4.7648 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (17 . 10)) 5445 0.3681 6.0980 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (13 . 6) (15 . 7) (17 . 9)) 5446 0.3684 5.2991 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 7) (15 . 9) (17 . 11)) 5557 0.3158 5.6224 ((7 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (17 . 7)) 5841 0.3684 7.0390 ((7 . 1) (9 . 2) (10 . 5) (11 . 7) (12 . 8) (15 . 9) (17 . 11)) 6003 0.2632 5.9463 ((10 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 11)) 6244 0.3681 5.3210 ((7 . 1) (9 . 2) (10 . 4) (11 . 5) (12 . 7) (15 . 9) (17 . 11)) END