462

   461    0.8331    3.3492   ((7 . 2) (8 . 3) (10 . 4) (11 . 5) (12 . 6))
   462    1.0000    0.0000   ((7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  1405    0.8333    2.5363   ((7 . 3) (8 . 4) (10 . 5) (11 . 6) (12 . 7))
  1406    0.9437    2.5463   ((7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13))
  1710    0.8332    2.7265   ((7 . 3) (8 . 4) (10 . 5) (11 . 6) (12 . 7))
  1963    0.8331    3.4565   ((7 . 3) (8 . 4) (10 . 6) (11 . 7) (12 . 8))
  1964    0.8322    5.2023   ((7 . 1) (8 . 2) (10 . 4) (11 . 5) (12 . 9))
  2077    0.6666    2.7689   ((7 . 2) (8 . 3) (10 . 4) (12 . 5))
  2949    0.8324    5.0114   ((7 . 2) (8 . 3) (10 . 4) (11 . 5) (12 . 6))
  2950    0.9276    2.1503   ((7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  6267    0.8333    2.5186   ((7 . 3) (8 . 4) (10 . 5) (11 . 6) (12 . 7))
  6268    0.9997    3.0279   ((7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13))
END