6251

  2013    0.9936    4.0953   ((8 . 10) (9 . 11) (10 . 12) (11 . 13) (14 . 16) (15 . 17) (17 . 20) (18 . 21) (19 . 22) (20 . 23))
  2556    0.9991    3.8800   ((8 . 11) (9 . 12) (10 . 13) (11 . 14) (14 . 17) (15 . 18) (17 . 20) (18 . 21) (19 . 22) (20 . 23))
  3162    0.8078    3.0722   ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (14 . 13) (15 . 14) (17 . 16) (19 . 17) (20 . 18))
  4073    0.7000    2.5724   ((8 . 1) (9 . 2) (10 . 3) (15 . 8) (17 . 10) (18 . 11) (20 . 14))
  4374    0.8000    2.4616   ((8 . 1) (9 . 2) (10 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 10) (20 . 11))
  4510    0.7647    2.6434   ((8 . 1) (9 . 2) (10 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 10) (20 . 11))
  4824    0.6999    3.6347   ((8 . 1) (9 . 2) (10 . 4) (15 . 9) (17 . 11) (18 . 12) (20 . 14))
  5949    0.7734    3.8391   ((8 . 1) (9 . 2) (10 . 4) (15 . 9) (17 . 12) (18 . 13) (19 . 14) (20 . 15))
  6158    0.7567    3.3379   ((8 . 2) (9 . 3) (10 . 4) (14 . 8) (15 . 9) (17 . 12) (18 . 13) (19 . 14) (20 . 15))
  6227    0.7736    2.5453   ((8 . 1) (9 . 2) (10 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 10) (20 . 11))
  6237    0.9923    2.9757   ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (14 . 13) (15 . 14) (17 . 16) (18 . 17) (19 . 18) (20 . 19))
  6251    1.0000    0.0000   ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (14 . 14) (15 . 15) (17 . 17) (18 . 18) (19 . 19) (20 . 20))
END