2808

   152    0.5910    9.6433   ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (9 . 6) (11 . 9))
   209    0.7999    3.1055   ((2 . 1) (4 . 3) (5 . 5) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 13))
   520    0.4000    3.9105   ((2 . 3) (4 . 4) (5 . 5) (7 . 6))
   835    0.7999    3.2408   ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (11 . 10))
   917    0.5991    7.5282   ((5 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7))
  1142    0.3998    8.2856   ((4 . 5) (5 . 6) (9 . 11) (10 . 13))
  1143    0.4998    6.2516   ((8 . 14) (9 . 15) (10 . 17) (11 . 18) (12 . 19))
  1306    0.4000    5.1037   ((2 . 6) (4 . 7) (5 . 8) (7 . 9))
  1508    0.4000    3.4229   ((2 . 1) (4 . 3) (5 . 4) (7 . 6))
  2262    0.4000    4.9745   ((2 . 4) (4 . 5) (5 . 6) (7 . 7))
  2512    0.4000    4.1045   ((2 . 14) (4 . 16) (5 . 18) (7 . 20))
  2808    1.0000    0.0000   ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  2851    0.4000    4.0414   ((8 . 1) (9 . 3) (10 . 4) (11 . 6))
  3221    0.3671    5.4234   ((2 . 1) (4 . 3) (5 . 5) (7 . 7))
  3227    0.4999    4.5483   ((1 . 2) (2 . 4) (4 . 5) (5 . 6) (7 . 7))
  3829    0.4000    3.6215   ((2 . 8) (4 . 10) (5 . 11) (7 . 13))
  4437    0.4998    6.3731   ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (9 . 5))
  4715    0.8985    2.7779   ((2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 9) (9 . 10) (10 . 13) (11 . 14) (12 . 15))
  4740    0.4824    6.4325   ((5 . 1) (8 . 4) (9 . 5) (10 . 6) (11 . 8))
  4870    0.5383    6.6882   ((5 . 1) (7 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 6))
  5465    0.4999    4.5308   ((7 . 4) (8 . 6) (9 . 8) (10 . 9) (11 . 11))
  5565    0.5993    6.8771   ((5 . 1) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7))
  5774    0.8985    2.5006   ((2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 13) (12 . 14))
  5845    0.4880    9.3055   ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9))
  6021    0.8755    4.1487   ((2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10))
  6327    0.4000    3.3688   ((2 . 1) (4 . 2) (5 . 3) (7 . 4))
  6416    0.4824    6.0429   ((2 . 8) (4 . 10) (5 . 11) (7 . 13) (8 . 14))
  6521    0.4000    3.6894   ((2 . 3) (4 . 4) (5 . 5) (7 . 6))
  6527    0.4925    3.4455   ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  6528    0.5998    5.2452   ((7 . 4) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (12 . 13))
END