4114 225 0.9997 2.9584 ((10 . 8) (11 . 9) (12 . 11) (13 . 13) (14 . 15) (15 . 16)) 1124 0.9998 2.6382 ((10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 13) (15 . 14)) 1371 0.9998 2.5057 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 15) (15 . 16)) 1754 0.6665 4.1399 ((11 . 8) (12 . 12) (13 . 13) (14 . 14)) 1868 0.8300 6.8415 ((10 . 9) (12 . 11) (13 . 12) (14 . 13) (15 . 14)) 1883 0.9996 3.2632 ((10 . 9) (11 . 10) (12 . 12) (13 . 14) (14 . 16) (15 . 17)) 1987 0.9990 4.0064 ((10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 13) (15 . 14)) 2662 0.8328 4.3889 ((10 . 8) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) 2962 0.9993 3.6635 ((10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 15) (15 . 16)) 3110 0.9948 6.0852 ((10 . 10) (11 . 11) (12 . 12) (13 . 15) (14 . 17) (15 . 18)) 3116 0.9997 2.8992 ((10 . 8) (11 . 9) (12 . 10) (13 . 12) (14 . 13) (15 . 14)) 3169 0.8297 6.9971 ((10 . 8) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) 3642 0.9971 5.2605 ((10 . 10) (11 . 11) (12 . 13) (13 . 14) (14 . 15) (15 . 16)) 3774 0.8313 6.0619 ((10 . 9) (12 . 11) (13 . 12) (14 . 13) (15 . 14)) 4114 1.0000 0.0000 ((10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) 4261 0.8333 1.2455 ((10 . 11) (11 . 12) (12 . 14) (13 . 15) (14 . 17)) 4613 0.8320 5.4627 ((10 . 8) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) 4699 0.8323 5.1516 ((10 . 8) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) 4837 0.8326 4.7163 ((10 . 8) (12 . 9) (13 . 10) (14 . 13) (15 . 14)) 5558 0.9969 5.3286 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 15)) 6157 0.6632 3.8702 ((10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) END