4102 844 0.8239 5.9977 ((15 . 1) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 13) (29 . 14)) 1323 0.2667 7.0389 ((19 . 2) (21 . 3) (25 . 8) (26 . 9)) 3317 0.8651 5.2107 ((15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 7) (21 . 8) (22 . 9) (23 . 10) (24 . 11) (26 . 12) (27 . 13) (28 . 14) (29 . 15)) 4102 1.0000 0.0000 ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29) (30 . 30)) 5092 0.7995 4.5430 ((15 . 1) (17 . 4) (18 . 5) (19 . 7) (21 . 8) (22 . 9) (23 . 10) (24 . 11) (26 . 13) (27 . 15) (28 . 16) (29 . 19)) 5689 0.4666 4.5557 ((18 . 4) (21 . 8) (23 . 11) (24 . 12) (26 . 14) (28 . 18) (29 . 19)) 5702 0.5332 5.2926 ((17 . 3) (18 . 4) (21 . 8) (23 . 11) (24 . 12) (26 . 13) (27 . 14) (28 . 15)) 5964 0.7323 5.9793 ((15 . 1) (17 . 3) (18 . 5) (21 . 9) (22 . 10) (23 . 11) (24 . 13) (26 . 14) (27 . 15) (28 . 18) (29 . 19)) 6169 0.6653 6.4387 ((15 . 1) (17 . 3) (18 . 4) (21 . 8) (22 . 9) (23 . 10) (24 . 11) (26 . 12) (27 . 13) (28 . 16)) 6623 0.9333 2.0929 ((15 . 13) (17 . 14) (18 . 15) (19 . 16) (21 . 18) (22 . 19) (23 . 20) (24 . 21) (25 . 22) (26 . 23) (27 . 25) (28 . 26) (29 . 27) (30 . 28)) END