1707

  1435    0.5703    8.3080   ((5 . 1) (6 . 2) (8 . 3) (9 . 4))
  1707    1.0000    0.0000   ((2 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (11 . 11))
  1955    0.5714    4.0827   ((2 . 4) (5 . 7) (6 . 8) (11 . 9))
  2045    0.5714    3.4992   ((2 . 3) (5 . 7) (6 . 8) (11 . 11))
  2193    0.5706    7.7852   ((5 . 1) (6 . 2) (8 . 3) (9 . 4))
  2673    0.7102    8.7185   ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (11 . 5))
  3016    0.5714    2.9546   ((2 . 3) (5 . 6) (6 . 7) (11 . 10))
  3071    0.5711    6.1066   ((2 . 9) (5 . 10) (6 . 15) (8 . 17))
  3384    0.5714    3.7118   ((2 . 3) (5 . 5) (6 . 6) (11 . 11))
  4548    0.5709    7.0139   ((5 . 1) (6 . 2) (8 . 4) (11 . 6))
  4881    0.5711    6.0323   ((2 . 2) (5 . 3) (8 . 6) (11 . 10))
  5044    0.5714    3.5913   ((2 . 3) (5 . 8) (6 . 9) (11 . 14))
  5405    0.5712    5.6813   ((2 . 4) (5 . 6) (6 . 7) (11 . 10))
  6113    0.5713    4.9801   ((2 . 3) (5 . 5) (6 . 6) (8 . 7))
  6273    0.5714    1.7959   ((2 . 3) (5 . 6) (6 . 7) (11 . 12))
  6275    0.5709    6.8341   ((2 . 4) (5 . 6) (8 . 7) (11 . 11))
END