3776

    84    0.4999    4.5576   ((15 . 1) (16 . 2) (17 . 3) (21 . 8) (23 . 9))
   304    0.5045    2.6246   ((15 . 1) (16 . 2) (17 . 3) (21 . 5) (23 . 6) (25 . 7))
   947    0.5000    3.4356   ((15 . 1) (16 . 2) (17 . 3) (21 . 9) (25 . 12))
  1031    0.4998    6.0454   ((15 . 1) (16 . 2) (19 . 5) (23 . 9) (25 . 10))
  1158    0.4000    4.5838   ((15 . 3) (21 . 7) (23 . 8) (25 . 9))
  1932    0.7991    5.1488   ((15 . 1) (16 . 3) (17 . 4) (19 . 8) (21 . 10) (23 . 11) (24 . 12) (25 . 13))
  1940    0.5999    4.3113   ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 9) (25 . 11))
  2422    0.6996    4.9003   ((15 . 1) (16 . 2) (17 . 4) (19 . 6) (20 . 7) (21 . 9) (23 . 10))
  2552    0.6998    4.3228   ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (23 . 6) (25 . 7))
  3322    0.5000    3.2750   ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 8))
  3776    1.0000    0.0000   ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (23 . 23) (24 . 24) (25 . 25))
  5967    0.6000    3.0622   ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 8) (25 . 10))
END