994

    39    0.6667    0.8302   ((10 . 10) (11 . 12) (13 . 13) (14 . 14) (15 . 15) (17 . 16))
   994    1.0000    0.0000   ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17))
  4507    0.8887    3.0028   ((9 . 5) (10 . 8) (11 . 11) (13 . 12) (14 . 13) (15 . 16) (16 . 17) (17 . 18))
  4767    0.9997    2.9825   ((9 . 3) (10 . 6) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (15 . 15) (16 . 16) (17 . 17))
  5038    0.9999    1.1632   ((9 . 9) (10 . 10) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18))
END