6494

   533    0.5286    6.8085   ((4 . 1) (5 . 2) (7 . 3) (8 . 6))
  1005    0.4667    6.3344   ((4 . 4) (5 . 5) (7 . 6) (8 . 8))
  1333    0.1665   13.9888   ((4 . 2) (5 . 3) (7 . 5) (8 . 8))
  2054    0.6666    2.8572   ((4 . 9) (5 . 10) (7 . 15) (8 . 16))
  2055    0.6666    3.2672   ((4 . 17) (5 . 18) (7 . 23) (8 . 24))
  2566    0.2488    7.8525   ((3 . 7) (4 . 8) (5 . 9) (7 . 11))
  2567    0.1665    9.4061   ((4 . 12) (5 . 13) (8 . 19) (9 . 20))
  3450    0.6666    3.7088   ((4 . 52) (5 . 53) (7 . 56) (8 . 59))
  4964    0.6666    3.6166   ((4 . 1) (5 . 2) (7 . 5) (8 . 6))
  4965    0.5288    4.8231   ((4 . 9) (5 . 10) (7 . 12) (8 . 15))
  5367    0.8088   11.4548   ((3 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 7))
  6494    1.0000    0.0000   ((3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9))
END