4541 1607 0.6923 2.0468 ((5 . 1) (7 . 3) (8 . 4) (9 . 5) (11 . 7) (12 . 8) (13 . 9) (16 . 10) (17 . 11)) 1768 0.7691 3.5485 ((5 . 1) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 10) (16 . 11) (17 . 12)) 2966 0.7691 3.1734 ((5 . 1) (7 . 3) (8 . 4) (9 . 9) (10 . 10) (11 . 12) (12 . 13) (13 . 15) (16 . 16) (17 . 17)) 4440 0.7691 3.5233 ((5 . 2) (7 . 4) (8 . 6) (9 . 9) (10 . 10) (11 . 12) (12 . 13) (13 . 15) (16 . 17) (17 . 18)) 4541 1.0000 0.0000 ((2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16) (17 . 17)) 5622 0.6154 2.2751 ((7 . 2) (8 . 4) (9 . 5) (11 . 7) (12 . 8) (13 . 9) (16 . 10) (17 . 11)) 5644 0.6923 1.9379 ((5 . 1) (7 . 3) (8 . 4) (9 . 8) (11 . 10) (12 . 11) (13 . 12) (16 . 13) (17 . 14)) END