6286 635 0.1739 11.5129 ((12 . 5) (14 . 7) (17 . 11) (25 . 18)) 672 0.1739 6.9967 ((14 . 9) (17 . 12) (23 . 21) (28 . 26)) 688 0.1739 7.1741 ((17 . 2) (20 . 4) (22 . 5) (23 . 8)) 816 0.1941 9.2780 ((14 . 3) (16 . 4) (23 . 19) (26 . 20) (31 . 21)) 861 0.1739 7.0087 ((22 . 11) (23 . 12) (26 . 16) (28 . 17)) 1007 0.3043 2.6106 ((14 . 1) (17 . 2) (20 . 5) (22 . 6) (23 . 7) (26 . 8) (28 . 9)) 1272 0.2174 7.7200 ((20 . 4) (22 . 5) (23 . 6) (26 . 12) (28 . 13)) 1993 0.3477 6.4865 ((14 . 1) (17 . 2) (20 . 5) (22 . 6) (23 . 7) (26 . 8) (28 . 9) (34 . 14)) 2607 0.2174 8.3819 ((20 . 11) (23 . 13) (26 . 16) (28 . 18) (31 . 20)) 3306 0.1739 7.6775 ((17 . 3) (20 . 4) (23 . 7) (26 . 10)) 3912 0.1739 8.0989 ((17 . 9) (21 . 12) (22 . 15) (30 . 21)) 3914 0.1739 8.3775 ((17 . 3) (21 . 7) (26 . 11) (28 . 14)) 4188 0.1739 8.8172 ((15 . 4) (16 . 5) (21 . 10) (24 . 16)) 4300 0.1739 7.6238 ((22 . 1) (23 . 4) (26 . 5) (31 . 11)) 5392 0.1739 9.1716 ((17 . 5) (20 . 6) (21 . 8) (25 . 15)) 5910 0.1739 6.5036 ((22 . 4) (30 . 10) (34 . 16) (35 . 17)) 5970 0.1739 6.2789 ((22 . 1) (23 . 2) (34 . 10) (35 . 11)) 6041 0.1739 6.9733 ((22 . 6) (23 . 8) (26 . 11) (30 . 14)) 6286 1.0000 0.0000 ((11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (28 . 28) (30 . 30) (31 . 31) (32 . 32) (33 . 33) (34 . 34) (35 . 35) (37 . 37)) 6414 0.2172 9.3493 ((14 . 7) (17 . 9) (26 . 18) (31 . 21) (35 . 27)) 6571 0.1739 6.7555 ((18 . 18) (21 . 20) (22 . 21) (23 . 22)) END