6088

   989    0.9999    2.2268   ((13 . 3) (14 . 4) (18 . 8) (19 . 9) (20 . 10) (21 . 11))
   990    0.9999    1.9747   ((13 . 13) (14 . 14) (18 . 21) (19 . 22) (20 . 23) (21 . 24))
  1878    0.9946    6.1537   ((13 . 2) (14 . 3) (18 . 4) (19 . 8) (20 . 9) (21 . 10))
  2348    0.4665    7.5742   ((13 . 1) (18 . 4) (20 . 5) (21 . 6))
  4688    0.9998    2.6469   ((13 . 2) (14 . 4) (18 . 8) (19 . 9) (20 . 10) (21 . 11))
  4689    0.6667    1.6391   ((14 . 15) (18 . 21) (19 . 22) (20 . 23))
  5274    0.8405    4.0492   ((13 . 2) (14 . 3) (18 . 7) (19 . 8) (20 . 9) (21 . 10))
  5487    0.8408    2.9457   ((13 . 3) (14 . 4) (18 . 8) (19 . 9) (20 . 10) (21 . 11))
  5635    0.9999    1.8148   ((13 . 2) (14 . 3) (18 . 6) (19 . 7) (20 . 8) (21 . 9))
  5636    0.9999    0.8733   ((13 . 13) (14 . 14) (18 . 19) (19 . 20) (20 . 21) (21 . 22))
  6087    0.9999    1.8363   ((13 . 2) (14 . 3) (18 . 7) (19 . 8) (20 . 9) (21 . 10))
  6088    1.0000    0.0000   ((13 . 13) (14 . 14) (18 . 18) (19 . 19) (20 . 20) (21 . 21))
END