2567

   533    0.3669    9.3967   ((17 . 1) (19 . 2) (20 . 3) (21 . 6))
   644    0.3670    8.1210   ((14 . 1) (19 . 4) (20 . 5) (21 . 7))
  1005    0.3362    9.1963   ((13 . 3) (14 . 4) (17 . 6) (21 . 8))
  1333    0.2412   11.3146   ((13 . 3) (14 . 2) (16 . 5) (21 . 9))
  2054    0.5000    1.4113   ((13 . 9) (14 . 10) (19 . 12) (20 . 15) (21 . 16))
  2055    0.2800   10.6001   ((12 . 17) (14 . 18) (17 . 23) (18 . 22))
  2566    0.3361   10.6793   ((14 . 1) (19 . 7) (20 . 8) (21 . 9))
  2567    1.0000    0.0000   ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21))
  3450    0.2412   13.9057   ((12 . 56) (13 . 57) (14 . 58) (16 . 59))
  4964    0.3988   13.1715   ((17 . 1) (19 . 2) (20 . 5) (21 . 6))
  5367    0.5000    2.9272   ((13 . 3) (14 . 4) (19 . 5) (20 . 6) (21 . 7))
  6494    0.1654    9.4061   ((12 . 4) (13 . 5) (19 . 8) (20 . 9))
END