4759

    56    0.8743    4.3651   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 9))
   147    0.7492    5.3700   ((4 . 2) (5 . 3) (7 . 5) (9 . 7) (10 . 8) (11 . 9))
   148    0.7493    5.3064   ((4 . 2) (5 . 3) (7 . 4) (9 . 6) (10 . 7) (11 . 8))
   197    0.8743    4.3613   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
   259    0.8742    4.4867   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
   317    0.6999    4.6944   ((4 . 3) (5 . 4) (7 . 6) (9 . 8) (10 . 9) (11 . 10))
   586    0.8745    3.9434   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
   656    0.8726    5.9031   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
   876    0.7634    5.2121   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
   877    0.7496    4.6438   ((5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
  1098    0.8747    3.4672   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  1282    0.8584    5.6702   ((4 . 1) (5 . 2) (6 . 3) (7 . 6) (9 . 7) (10 . 9) (11 . 10))
  1503    0.8747    3.5568   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  1795    0.8746    3.6600   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (11 . 8))
  1796    0.8747    3.5706   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
  2126    0.7219    7.0882   ((4 . 3) (5 . 4) (7 . 5) (9 . 6) (10 . 7) (11 . 11))
  2142    0.8597    4.3184   ((4 . 1) (5 . 2) (6 . 3) (7 . 6) (9 . 7) (10 . 8) (11 . 9))
  2233    0.7635    4.9825   ((4 . 1) (5 . 2) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (11 . 9))
  2465    0.7497    4.3775   ((5 . 3) (6 . 4) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  2580    0.8743    4.4104   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (11 . 8))
  2597    0.8622    4.8835   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  2598    0.8649    4.1971   ((4 . 1) (5 . 3) (6 . 4) (7 . 6) (9 . 8) (10 . 9) (11 . 10))
  2815    0.8734    5.3728   ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9))
  2816    0.6999    4.6696   ((4 . 3) (5 . 4) (7 . 6) (9 . 8) (10 . 9) (11 . 10))
  2956    0.8627    4.0203   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
  3283    0.7451    8.6309   ((5 . 15) (6 . 16) (7 . 17) (9 . 18) (10 . 20) (11 . 21))
  3406    0.7495    4.7303   ((5 . 1) (6 . 2) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
  3899    0.8744    4.1864   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  4216    0.7460    8.1604   ((4 . 10) (6 . 12) (7 . 13) (9 . 14) (10 . 15) (11 . 16))
  4241    0.7495    4.7427   ((5 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (11 . 8))
  4675    0.8747    3.6000   ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8))
  4759    1.0000    0.0000   ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11))
  5374    0.4996    7.7006   ((5 . 12) (6 . 14) (7 . 15) (9 . 16))
  6457    0.8622    4.8773   ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (11 . 7))
  6595    0.9991    3.9121   ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 6) (9 . 7) (10 . 8) (11 . 9))
END