2139

   100    0.4998    6.3394   ((3 . 5) (5 . 8) (6 . 9) (8 . 12))
   496    0.4999    5.6353   ((1 . 1) (2 . 2) (3 . 4) (7 . 6))
  1279    0.4996    7.4512   ((1 . 3) (2 . 4) (3 . 6) (6 . 9))
  1402    0.7488    6.0088   ((1 . 4) (2 . 5) (3 . 7) (5 . 10) (6 . 11) (7 . 12))
  1985    0.8739    4.8197   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9))
  1986    0.8742    4.5475   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9))
  2072    0.8744    4.1732   ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8) (9 . 9))
  2139    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  2472    0.8747    3.6486   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 8))
  2727    0.7482    6.6446   ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8))
  3527    0.4996    7.4476   ((3 . 9) (5 . 11) (6 . 13) (7 . 14))
  3903    0.4996    7.6831   ((5 . 3) (6 . 4) (7 . 7) (9 . 10))
  3904    0.4996    7.5404   ((5 . 16) (6 . 17) (7 . 20) (9 . 22))
  3961    0.4986   10.3344   ((1 . 8) (2 . 9) (3 . 11) (7 . 13))
  4177    0.6247    5.3210   ((1 . 1) (2 . 2) (3 . 4) (5 . 8) (6 . 9))
  4366    0.7494    5.0555   ((1 . 1) (2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 10))
  4420    0.4999    5.2129   ((1 . 3) (2 . 4) (3 . 6) (7 . 9))
  4674    0.6249    3.9962   ((1 . 1) (2 . 2) (3 . 4) (5 . 8) (6 . 9))
  4676    0.4997    7.2258   ((1 . 5) (3 . 6) (5 . 8) (6 . 9))
  4856    0.4997    7.2939   ((3 . 2) (5 . 4) (6 . 5) (7 . 7))
  4938    0.4996    7.5422   ((1 . 1) (3 . 6) (5 . 8) (6 . 9))
  5065    0.4997    7.0663   ((1 . 2) (3 . 5) (5 . 8) (6 . 9))
  6238    0.7489    5.9361   ((1 . 3) (2 . 4) (3 . 6) (5 . 8) (6 . 9) (7 . 10))
  6584    0.4999    5.4477   ((3 . 4) (5 . 8) (6 . 9) (7 . 10))
END