3450

   533    0.3879    7.9496   ((53 . 1) (56 . 2) (58 . 3) (59 . 6))
  1005    0.8324    5.0063   ((52 . 3) (53 . 4) (56 . 5) (57 . 6) (59 . 8))
  2054    0.8325    4.7699   ((52 . 9) (53 . 10) (56 . 12) (57 . 15) (59 . 16))
  2055    0.4667    4.9165   ((52 . 17) (53 . 18) (58 . 23) (59 . 24))
  2566    0.6624    9.6155   ((52 . 7) (56 . 9) (58 . 10) (59 . 11))
  2567    0.2486   13.9057   ((56 . 12) (57 . 13) (58 . 14) (59 . 16))
  3450    1.0000    0.0000   ((52 . 52) (53 . 53) (56 . 56) (57 . 57) (58 . 58) (59 . 59))
  4964    0.6661    5.7090   ((52 . 1) (53 . 2) (57 . 5) (59 . 6))
  4965    0.6663    5.1881   ((53 . 9) (56 . 12) (57 . 13) (59 . 15))
  5367    0.8319    5.5182   ((52 . 3) (53 . 4) (56 . 5) (57 . 6) (59 . 7))
  6494    0.6666    3.7088   ((52 . 4) (53 . 5) (56 . 7) (59 . 8))
END