5514

    62    0.9998    2.7653   ((1 . 9) (2 . 10) (3 . 12) (4 . 13) (5 . 15) (6 . 16) (7 . 17))
   222    0.8567    4.0849   ((1 . 7) (3 . 11) (4 . 12) (5 . 15) (6 . 16) (7 . 17))
   250    0.5714    3.3302   ((1 . 3) (4 . 5) (6 . 8) (7 . 10))
   336    0.5692    9.9592   ((2 . 4) (5 . 5) (6 . 8) (7 . 7))
   581    0.5698    9.1897   ((1 . 13) (2 . 14) (5 . 15) (6 . 17))
   621    0.3773   15.5620   ((3 . 12) (4 . 13) (5 . 14) (7 . 15))
   788    0.5713    4.8341   ((2 . 12) (4 . 14) (6 . 16) (7 . 18))
   825    0.5712    5.8537   ((1 . 3) (5 . 8) (6 . 9) (7 . 10))
   886    0.7677    6.4461   ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (6 . 15) (7 . 17))
   982    0.1993    6.3901   ((1 . 9) (4 . 10) (5 . 12) (6 . 13))
  1276    0.4864    5.2799   ((1 . 5) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (7 . 11))
  1367    0.4453    7.8691   ((1 . 8) (4 . 11) (5 . 13) (7 . 15))
  1512    0.5710    6.5791   ((1 . 11) (4 . 12) (5 . 13) (6 . 14))
  1665    0.5713    4.5309   ((2 . 6) (4 . 8) (5 . 9) (6 . 10))
  1808    0.9995    3.3005   ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (7 . 9))
  2210    0.9993    3.6825   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (7 . 9))
  2707    0.5711    6.2059   ((1 . 3) (3 . 6) (5 . 8) (6 . 9))
  3258    0.5688   10.3046   ((3 . 13) (4 . 14) (6 . 17) (7 . 18))
  3365    0.5700    8.8059   ((1 . 16) (2 . 17) (5 . 18) (6 . 20))
  4182    0.5713    4.4755   ((1 . 21) (3 . 23) (4 . 25) (5 . 26))
  5514    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7))
  5516    0.9998    2.6814   ((1 . 16) (2 . 17) (3 . 19) (4 . 21) (5 . 22) (6 . 23) (7 . 24))
  5795    0.5696    9.4184   ((1 . 12) (2 . 13) (5 . 15) (6 . 16))
  5867    0.8549    5.9482   ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (6 . 10) (7 . 12))
  6324    0.5712    5.8006   ((1 . 1) (2 . 3) (4 . 5) (5 . 6))
  6453    0.5711    6.3336   ((1 . 37) (4 . 39) (5 . 40) (6 . 41))
  6592    0.7139    4.7828   ((1 . 2) (4 . 4) (5 . 6) (6 . 7) (7 . 8))
END