3492

   572    0.8333    2.3593   ((12 . 1) (13 . 2) (16 . 4) (17 . 5) (19 . 7))
  3491    0.8333    2.5442   ((12 . 2) (13 . 3) (16 . 5) (17 . 6) (19 . 8))
  3492    1.0000    0.0000   ((12 . 12) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (19 . 19))
  5873    0.8333    1.5534   ((12 . 1) (13 . 2) (16 . 4) (17 . 6) (19 . 8))
END