3925

   247    0.6649    7.7677   ((2 . 6) (3 . 7) (5 . 11) (6 . 13))
   345    0.9975    5.0624   ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 12) (6 . 15))
   463    0.6662    5.4411   ((1 . 1) (2 . 2) (3 . 3) (4 . 5))
   471    0.3877   10.0484   ((2 . 3) (4 . 7) (5 . 10) (6 . 11))
   703    0.9959    5.7471   ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 10) (6 . 11))
   713    0.6649    7.7095   ((1 . 5) (2 . 6) (3 . 7) (4 . 9))
   714    0.6559   12.2096   ((1 . 28) (3 . 31) (4 . 30) (5 . 32))
   934    0.6552   12.4244   ((1 . 10) (2 . 11) (3 . 12) (4 . 13))
  1021    0.6662    5.6311   ((1 . 12) (2 . 13) (3 . 14) (4 . 15))
  1033    0.6656    6.8257   ((1 . 1) (2 . 2) (3 . 3) (4 . 6))
  1191    0.4665    7.9239   ((1 . 2) (3 . 5) (4 . 6) (5 . 7))
  1223    0.2970    6.2591   ((1 . 2) (2 . 3) (4 . 4) (5 . 8))
  1289    0.8295    7.0763   ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (6 . 21))
  1305    0.9982    4.6624   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 10) (6 . 11))
  1522    0.2970    8.7169   ((1 . 2) (2 . 3) (4 . 5) (5 . 7))
  1656    0.2970    8.1423   ((1 . 2) (2 . 3) (4 . 5) (6 . 8))
  1778    0.6659    6.3242   ((1 . 3) (2 . 4) (3 . 5) (4 . 6))
  1779    0.6648    7.7916   ((1 . 18) (2 . 19) (3 . 20) (4 . 25))
  2218    0.1996   13.6031   ((1 . 3) (3 . 5) (4 . 4) (5 . 6))
  2296    0.6664    4.6766   ((1 . 1) (2 . 2) (3 . 3) (4 . 4))
  2378    0.6631    9.1902   ((1 . 5) (3 . 8) (4 . 9) (5 . 12))
  2483    0.6652    7.3719   ((1 . 4) (2 . 5) (3 . 6) (4 . 8))
  2484    0.3878    8.6382   ((2 . 15) (3 . 16) (4 . 18) (6 . 22))
  2491    0.6661    5.7400   ((1 . 20) (2 . 21) (3 . 22) (6 . 27))
  2619    0.2487   10.4800   ((1 . 3) (3 . 5) (4 . 4) (5 . 6))
  2733    0.6633    9.0495   ((1 . 2) (4 . 6) (5 . 7) (6 . 9))
  2775    0.1996    7.7779   ((3 . 8) (4 . 9) (5 . 12) (6 . 13))
  2821    0.6661    5.6907   ((1 . 2) (2 . 3) (3 . 5) (5 . 10))
  2822    0.6610   10.3660   ((2 . 15) (3 . 16) (4 . 18) (6 . 21))
  2910    0.6665    4.1895   ((1 . 3) (2 . 4) (3 . 5) (4 . 7))
  2954    0.8316    5.7869   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 10))
  3210    0.6588   11.2840   ((2 . 17) (3 . 18) (4 . 22) (6 . 24))
  3260    0.3947    8.2003   ((1 . 3) (2 . 7) (4 . 10) (5 . 11) (6 . 13))
  3286    0.0999    6.3493   ((1 . 3) (2 . 4) (3 . 5) (4 . 6))
  3925    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6))
  4043    0.6660    5.9547   ((1 . 21) (2 . 23) (3 . 24) (4 . 25))
  4058    0.6616   10.0768   ((2 . 15) (4 . 19) (5 . 20) (6 . 21))
  4191    0.6662    5.6035   ((1 . 1) (2 . 2) (3 . 3) (4 . 4))
  4193    0.1996    9.8088   ((1 . 36) (2 . 37) (3 . 38) (4 . 39))
  4281    0.1333    8.9150   ((1 . 4) (2 . 5) (3 . 8) (5 . 11))
  4469    0.8286    7.4747   ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (6 . 10))
  4935    0.1499    8.4370   ((1 . 3) (2 . 4) (4 . 6) (6 . 11))
  5120    0.6658    6.4990   ((1 . 2) (2 . 4) (3 . 5) (4 . 8))
  5243    0.6664    4.5779   ((1 . 13) (2 . 14) (3 . 15) (4 . 17))
  5447    0.6662    5.4564   ((1 . 2) (2 . 3) (3 . 4) (6 . 9))
  5500    0.6659    6.1829   ((1 . 2) (2 . 3) (4 . 6) (5 . 10))
  5501    0.6595   10.9933   ((2 . 16) (3 . 17) (4 . 21) (6 . 23))
  5883    0.0999    5.1300   ((1 . 1) (2 . 3) (3 . 4) (4 . 5))
  5906    0.6664    4.9216   ((1 . 13) (2 . 14) (3 . 15) (4 . 17))
  6064    0.6659    6.2496   ((1 . 4) (2 . 6) (3 . 7) (5 . 9))
  6249    0.1665   10.3778   ((1 . 6) (3 . 8) (4 . 9) (5 . 11))
  6299    0.2970    8.6819   ((1 . 6) (2 . 7) (4 . 10) (6 . 13))
  6323    0.1996    8.8441   ((1 . 34) (2 . 33) (3 . 35) (4 . 36))
END