4177

   100    0.7490    5.7251   ((1 . 3) (2 . 4) (4 . 5) (7 . 9) (8 . 10) (9 . 11))
   496    0.9999    1.7025   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  1279    0.9999    2.3765   ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 11))
  1402    0.7496    4.5132   ((1 . 4) (2 . 5) (6 . 7) (7 . 8) (8 . 10) (9 . 11))
  1985    0.7495    4.8188   ((1 . 1) (2 . 2) (4 . 3) (7 . 4) (8 . 5) (9 . 6))
  1986    0.7495    4.7316   ((1 . 1) (2 . 2) (4 . 3) (7 . 4) (8 . 5) (9 . 6))
  2072    0.7492    5.5324   ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 6) (9 . 7))
  2139    0.6247    5.3210   ((1 . 1) (2 . 2) (4 . 3) (8 . 5) (9 . 6))
  2472    0.4998    6.2098   ((1 . 1) (2 . 2) (4 . 3) (7 . 6))
  2727    0.6247    5.4395   ((1 . 2) (2 . 3) (6 . 4) (8 . 6) (9 . 7))
  3527    0.8746    3.8004   ((1 . 3) (2 . 4) (4 . 5) (6 . 7) (7 . 8) (8 . 11) (9 . 13))
  3652    0.8738    5.0230   ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 9))
  3903    0.6249    4.2662   ((1 . 3) (2 . 4) (6 . 7) (8 . 11) (9 . 12))
  3904    0.4998    6.1458   ((1 . 24) (2 . 16) (8 . 21) (9 . 23))
  3961    0.6796    4.0128   ((1 . 8) (2 . 9) (6 . 11) (7 . 14) (8 . 15) (9 . 16))
  4177    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  4366    0.7492    5.4004   ((1 . 1) (2 . 2) (4 . 3) (7 . 7) (8 . 8) (9 . 9))
  4420    0.9998    2.5182   ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 9) (7 . 10) (8 . 11) (9 . 12))
  4674    0.8726    5.8972   ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9))
  4676    0.6250    3.3344   ((1 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  4856    0.8513    2.7688   ((1 . 4) (2 . 5) (4 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10))
  4938    0.8748    2.9772   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  5065    0.7492    5.4377   ((1 . 2) (2 . 3) (4 . 5) (7 . 9) (8 . 10) (9 . 11))
  6238    0.1987    7.4418   ((6 . 2) (7 . 3) (8 . 4) (9 . 5))
  6584    0.4996    7.3927   ((1 . 2) (3 . 4) (7 . 8) (8 . 9))
END