3119

  1147    0.8568    3.8563   ((13 . 13) (15 . 14) (16 . 15) (17 . 16) (18 . 17) (19 . 18))
  1517    0.8557    5.3809   ((13 . 2) (15 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7))
  1903    0.7141    3.8163   ((13 . 32) (15 . 34) (16 . 35) (18 . 37) (19 . 38))
  3005    0.7922    3.9089   ((13 . 1) (15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6))
  3119    1.0000    0.0000   ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19))
  3120    0.8571    2.6658   ((13 . 20) (15 . 21) (16 . 22) (17 . 23) (18 . 24) (19 . 25))
  6202    0.7142    2.9652   ((13 . 1) (15 . 2) (16 . 3) (18 . 5) (19 . 7))
  6590    0.5713    5.2161   ((13 . 2) (15 . 4) (16 . 5) (19 . 6))
END