2269

    41    0.4615    5.0192   ((8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 8))
   258    0.4614    5.8876   ((8 . 3) (9 . 4) (10 . 6) (11 . 7) (12 . 8) (13 . 9))
   505    0.6918    5.4698   ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 8) (12 . 9) (13 . 10))
  1116    0.4615    5.5297   ((8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 8))
  1947    0.6923    3.0923   ((2 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 10) (13 . 12))
  2015    0.3845    6.7500   ((8 . 12) (9 . 17) (10 . 18) (11 . 19) (12 . 20))
  2269    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13))
  2308    0.8459    3.5171   ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 10) (12 . 11) (13 . 12))
  3609    0.6151    5.6089   ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (13 . 10))
  3733    0.4615    4.6632   ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 6) (13 . 7))
  4350    0.4419    5.2166   ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6))
  4446    0.4495    5.2370   ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6))
  6256    0.4420    4.9185   ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6))
END