62

    62    1.0000    0.0000   ((9 . 9) (10 . 10) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17))
   222    0.8569    3.3925   ((9 . 7) (12 . 11) (13 . 12) (15 . 15) (16 . 16) (17 . 17))
   250    0.5714    4.2642   ((9 . 3) (13 . 5) (16 . 8) (17 . 10))
   336    0.5710    6.6155   ((9 . 9) (13 . 10) (15 . 12) (16 . 13))
   581    0.5708    7.3526   ((9 . 13) (13 . 14) (15 . 15) (16 . 17))
   621    0.3781   13.4034   ((9 . 10) (10 . 11) (12 . 12) (16 . 16))
   717    0.8568    3.7022   ((9 . 2) (10 . 3) (12 . 6) (13 . 7) (15 . 9) (16 . 11))
   788    0.8438    9.4107   ((9 . 9) (10 . 15) (12 . 16) (13 . 18) (15 . 19) (16 . 20))
   825    0.8569    3.5655   ((9 . 6) (10 . 7) (12 . 9) (13 . 10) (15 . 11) (16 . 12))
   886    0.5684   10.7587   ((12 . 15) (13 . 17) (16 . 21) (17 . 22))
   982    0.5711    5.8906   ((9 . 2) (12 . 5) (13 . 7) (15 . 9))
  1276    0.7140    4.2950   ((9 . 5) (12 . 7) (13 . 8) (16 . 10) (17 . 11))
  1367    0.8568    3.5952   ((9 . 6) (10 . 7) (12 . 11) (13 . 12) (15 . 14) (16 . 15))
  1512    0.5703    8.4335   ((9 . 11) (10 . 12) (13 . 14) (16 . 17))
  1665    0.5713    4.8649   ((10 . 6) (13 . 8) (15 . 9) (16 . 10))
  1808    0.9997    3.0230   ((9 . 1) (10 . 2) (12 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 9))
  2210    0.9991    3.8993   ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (15 . 7) (16 . 8) (17 . 9))
  2707    0.5714    1.7661   ((10 . 1) (13 . 6) (15 . 8) (16 . 9))
  3258    0.9210    7.1334   ((9 . 3) (10 . 4) (12 . 9) (13 . 10) (15 . 12) (16 . 13) (17 . 14))
  3365    0.5709    6.8101   ((9 . 16) (13 . 17) (15 . 18) (16 . 20))
  4182    0.5711    6.0551   ((9 . 21) (12 . 23) (13 . 25) (15 . 26))
  5514    0.9998    2.7653   ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7))
  5516    0.9999    1.5808   ((9 . 16) (10 . 17) (12 . 19) (13 . 21) (15 . 22) (16 . 23) (17 . 24))
  5795    0.5709    7.0010   ((9 . 11) (13 . 13) (15 . 15) (16 . 16))
  5867    0.8555    5.5447   ((9 . 4) (10 . 5) (12 . 6) (13 . 7) (16 . 10) (17 . 12))
  6324    0.5713    4.9138   ((9 . 1) (12 . 3) (13 . 5) (15 . 6))
  6453    0.5712    5.5623   ((9 . 33) (12 . 36) (15 . 37) (16 . 39))
  6592    0.7135    5.6809   ((9 . 2) (13 . 4) (15 . 6) (16 . 7) (17 . 8))
END