2072

   100    0.7774    4.3792   ((1 . 3) (2 . 4) (3 . 5) (5 . 9) (6 . 10) (7 . 11) (8 . 12))
   496    0.6661    5.7090   ((1 . 1) (2 . 2) (3 . 4) (5 . 7) (6 . 8) (7 . 9))
  1279    0.1980    9.7555   ((3 . 8) (4 . 9) (6 . 10) (7 . 11))
  1402    0.7767    5.6000   ((1 . 4) (2 . 5) (3 . 7) (4 . 8) (6 . 10) (7 . 11) (8 . 12))
  1985    0.8888    2.5196   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9))
  1986    0.8888    2.4903   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9))
  2072    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  2139    0.7774    4.1732   ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 9))
  2472    0.8887    3.0566   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8))
  2727    0.7772    4.8093   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7) (8 . 8))
  3527    0.4443    6.7302   ((3 . 9) (6 . 11) (7 . 13) (8 . 14))
  3903    0.6662    5.5933   ((1 . 3) (2 . 4) (3 . 7) (6 . 11) (7 . 12) (8 . 13))
  3904    0.6660    6.0349   ((1 . 16) (2 . 17) (3 . 20) (4 . 21) (6 . 23) (7 . 24))
  3961    0.5546    8.2197   ((3 . 13) (4 . 14) (6 . 15) (7 . 16) (8 . 18))
  4177    0.6662    5.5324   ((1 . 1) (2 . 2) (3 . 4) (5 . 7) (6 . 8) (7 . 9))
  4366    0.8871    5.3756   ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 12))
  4420    0.4444    5.0789   ((1 . 3) (2 . 4) (5 . 10) (7 . 11))
  4674    0.7776    3.7361   ((1 . 1) (2 . 2) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 9))
  4676    0.2861    8.4675   ((3 . 6) (4 . 7) (6 . 8) (7 . 9))
  4856    0.4443    6.5304   ((3 . 2) (6 . 4) (7 . 5) (8 . 7))
  4938    0.5553    5.8179   ((1 . 1) (3 . 4) (5 . 7) (6 . 8) (7 . 9))
  5065    0.4444    3.6396   ((5 . 9) (6 . 10) (7 . 11) (8 . 12))
  6238    0.7766    5.7721   ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (6 . 8) (7 . 9) (8 . 10))
  6584    0.6666    3.8847   ((1 . 2) (2 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 10))
END