4938

   100    0.7136    5.5678   ((1 . 3) (4 . 5) (7 . 9) (8 . 10) (9 . 11))
   496    0.9998    2.8449   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  1279    0.9990    4.0193   ((1 . 3) (3 . 5) (4 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 11))
  1402    0.7140    4.3538   ((1 . 4) (6 . 7) (7 . 8) (8 . 10) (9 . 11))
  1985    0.7134    6.0206   ((1 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6))
  1986    0.7132    6.2736   ((1 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6))
  2072    0.7135    5.8179   ((1 . 1) (4 . 3) (7 . 5) (8 . 6) (9 . 7))
  2139    0.5707    7.5422   ((1 . 1) (6 . 3) (8 . 5) (9 . 6))
  2472    0.7130    6.5273   ((1 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6))
  2727    0.7136    5.6447   ((1 . 2) (6 . 4) (7 . 5) (8 . 6) (9 . 7))
  3527    0.8565    4.3564   ((1 . 3) (4 . 5) (6 . 7) (7 . 8) (8 . 11) (9 . 13))
  3652    0.8538    6.6029   ((1 . 1) (3 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 9))
  3903    0.5713    4.8906   ((1 . 3) (4 . 7) (8 . 11) (9 . 12))
  3904    0.7140    4.3744   ((1 . 16) (6 . 20) (7 . 21) (8 . 23) (9 . 24))
  3961    0.5712    5.6765   ((1 . 10) (7 . 14) (8 . 15) (9 . 16))
  4177    0.9997    2.9772   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  4366    0.8546    6.1588   ((1 . 1) (4 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  4420    0.9996    3.2903   ((1 . 3) (3 . 5) (4 . 6) (6 . 9) (7 . 10) (8 . 11) (9 . 12))
  4674    0.8554    5.6078   ((1 . 1) (4 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9))
  4676    0.3907    4.6535   ((3 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  4856    0.8569    3.5049   ((1 . 4) (4 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10))
  4938    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  5065    0.7138    5.1349   ((1 . 2) (4 . 5) (7 . 9) (8 . 10) (9 . 11))
  6238    0.7139    4.7160   ((1 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 9))
  6584    0.7138    4.9867   ((1 . 2) (6 . 4) (7 . 7) (8 . 8) (9 . 9))
END