5267

   454    0.8314    5.9812   ((5 . 23) (7 . 25) (8 . 26) (10 . 28) (11 . 29))
  1557    0.8289    7.3680   ((5 . 3) (7 . 5) (8 . 6) (10 . 8) (11 . 9))
  1586    0.8289    7.3682   ((5 . 46) (7 . 48) (8 . 49) (10 . 54) (11 . 55))
  2906    0.8301    6.8008   ((5 . 3) (7 . 5) (8 . 6) (10 . 9) (11 . 10))
  3038    0.8285    7.5378   ((5 . 3) (7 . 5) (8 . 6) (10 . 9) (11 . 10))
  4137    0.8290    7.2989   ((5 . 4) (7 . 6) (8 . 7) (10 . 12) (11 . 13))
  4485    0.9985    4.4867   ((1 . 1) (5 . 3) (7 . 5) (8 . 6) (10 . 8) (11 . 9))
  5267    1.0000    0.0000   ((1 . 1) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 11))
  5411    0.9995    3.4345   ((1 . 1) (5 . 3) (7 . 5) (8 . 6) (10 . 8) (11 . 9))
  6071    0.8313    6.0615   ((5 . 24) (7 . 26) (8 . 27) (10 . 29) (11 . 30))
  6309    0.8293    7.2026   ((5 . 17) (7 . 19) (8 . 20) (10 . 25) (11 . 26))
  6547    0.6650    7.6036   ((5 . 22) (7 . 24) (10 . 25) (11 . 28))
END