4142

    34    0.3845    7.8697   ((18 . 3) (20 . 4) (25 . 6) (26 . 7) (30 . 11))
   159    0.5384    4.2293   ((17 . 2) (18 . 3) (20 . 5) (26 . 9) (28 . 11) (29 . 12) (30 . 13))
   169    0.4615    5.6172   ((20 . 5) (25 . 7) (26 . 8) (28 . 9) (29 . 10) (30 . 11))
   245    0.6153    3.7472   ((15 . 1) (17 . 3) (18 . 4) (25 . 7) (26 . 8) (28 . 9) (29 . 10) (30 . 11))
   374    0.4580    5.2290   ((17 . 6) (18 . 8) (20 . 10) (23 . 12) (25 . 13) (26 . 14))
  1008    0.5384    3.1103   ((15 . 3) (17 . 5) (18 . 8) (26 . 13) (28 . 15) (29 . 16) (30 . 21))
  1040    0.3846    5.1110   ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (20 . 7))
  1087    0.3077    5.7760   ((14 . 9) (15 . 10) (17 . 12) (18 . 13))
  1300    0.7685    5.1274   ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (20 . 6) (25 . 7) (26 . 8) (28 . 11) (29 . 12) (30 . 13))
  1351    0.4615    3.8721   ((23 . 42) (25 . 43) (26 . 44) (28 . 46) (29 . 47) (30 . 48))
  1689    0.3846    4.2677   ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (20 . 6))
  1760    0.3846    6.6174   ((17 . 24) (18 . 25) (20 . 26) (25 . 33) (29 . 34))
  2097    0.3076    8.9039   ((14 . 1) (18 . 4) (28 . 14) (29 . 16))
  2375    0.3846    5.5387   ((20 . 8) (25 . 11) (26 . 13) (28 . 14) (29 . 15))
  2769    0.3833   14.2319   ((15 . 4) (20 . 9) (23 . 10) (26 . 13) (28 . 14))
  3343    0.3846    3.8842   ((15 . 1) (25 . 10) (28 . 13) (29 . 15) (30 . 16))
  3344    0.3698    6.8109   ((18 . 20) (20 . 21) (23 . 22) (25 . 24) (28 . 27))
  3803    0.3077    4.0807   ((26 . 32) (28 . 33) (29 . 34) (30 . 35))
  3986    0.3077    7.0183   ((20 . 1) (23 . 2) (29 . 6) (30 . 9))
  4098    0.3846    5.0600   ((16 . 2) (17 . 4) (18 . 5) (28 . 11) (29 . 13))
  4141    0.3846    6.1452   ((20 . 2) (23 . 4) (26 . 5) (28 . 7) (29 . 8))
  4142    1.0000    0.0000   ((14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20) (23 . 23) (25 . 25) (26 . 26) (28 . 28) (29 . 29) (30 . 30) (31 . 31))
  4187    0.7676    6.2858   ((15 . 1) (17 . 3) (18 . 6) (20 . 8) (23 . 9) (25 . 11) (26 . 12) (28 . 14) (29 . 17) (30 . 18))
  4232    0.3844    9.4956   ((18 . 2) (20 . 3) (23 . 4) (26 . 6) (30 . 8))
  4570    0.4614    5.9456   ((15 . 2) (17 . 5) (26 . 13) (28 . 14) (29 . 16) (30 . 17))
  4910    0.3844    8.6379   ((17 . 1) (18 . 3) (20 . 5) (29 . 10) (30 . 11))
  4922    0.4612    7.9530   ((17 . 3) (18 . 4) (20 . 5) (28 . 9) (29 . 11) (30 . 12))
  4976    0.3845    8.0846   ((20 . 34) (25 . 36) (26 . 37) (28 . 38) (29 . 39))
  4985    0.3844    9.0214   ((15 . 2) (17 . 4) (18 . 6) (20 . 9) (29 . 12))
  5278    0.3846    5.8292   ((20 . 5) (25 . 8) (26 . 9) (28 . 10) (29 . 12))
  5520    0.3845    8.1074   ((26 . 3) (28 . 5) (29 . 6) (30 . 8) (31 . 9))
  5521    0.7689    4.2035   ((14 . 16) (15 . 17) (17 . 18) (18 . 19) (20 . 20) (25 . 24) (26 . 25) (28 . 26) (29 . 28) (30 . 29))
  6068    0.7668    5.4858   ((15 . 1) (16 . 3) (17 . 4) (18 . 5) (20 . 7) (25 . 8) (26 . 9) (28 . 10) (29 . 11) (30 . 12))
  6119    0.3845    8.1857   ((18 . 4) (20 . 6) (28 . 11) (29 . 13) (30 . 14))
END