4042

  3274    0.9437    2.5333   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 12) (12 . 13) (14 . 15))
  3672    0.3333    7.0498   ((1 . 3) (4 . 6) (8 . 9) (9 . 10))
  3820    0.8249    2.4502   ((3 . 11) (4 . 12) (5 . 15) (6 . 16) (7 . 17) (8 . 19) (9 . 20) (10 . 21) (11 . 22) (12 . 23))
  4003    0.8892    3.6492   ((1 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (7 . 15) (8 . 16) (9 . 17) (10 . 18) (11 . 19) (12 . 20))
  4042    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 14))
  4242    0.5286    4.3708   ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 8) (12 . 10))
  4764    0.9319    3.0351   ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (14 . 14))
  5108    0.9159    3.2905   ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 13))
END