6346

   288    0.2970    5.7305   ((17 . 1) (19 . 2) (20 . 3) (21 . 5))
   328    0.4667    4.9135   ((17 . 3) (19 . 4) (20 . 5) (21 . 6))
   410    0.5289    4.2181   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
   424    0.5289    3.9537   ((17 . 1) (19 . 2) (20 . 3) (21 . 4))
   576    0.6666    3.7228   ((17 . 1) (19 . 3) (20 . 4) (21 . 5))
   904    0.5288    4.3936   ((17 . 1) (19 . 4) (20 . 5) (21 . 6))
  1576    0.6663    5.2228   ((17 . 21) (19 . 23) (20 . 24) (21 . 25))
  1595    0.5289    4.2299   ((17 . 3) (19 . 4) (20 . 6) (21 . 7))
  1597    0.5288    5.0315   ((17 . 2) (19 . 5) (20 . 6) (21 . 7))
  1973    0.2969   10.3950   ((17 . 1) (19 . 2) (20 . 3) (21 . 6))
  1999    0.6664    4.7545   ((17 . 5) (19 . 7) (20 . 8) (21 . 10))
  2162    0.6640    8.5489   ((17 . 2) (19 . 5) (20 . 6) (21 . 7))
  2278    0.1996    5.8622   ((17 . 34) (19 . 36) (20 . 37) (21 . 39))
  2410    0.6663    5.0486   ((17 . 12) (19 . 14) (20 . 15) (21 . 16))
  2544    0.5288    4.7544   ((17 . 18) (19 . 19) (20 . 21) (21 . 22))
  2862    0.5289    3.6943   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
  3237    0.5288    4.9059   ((17 . 1) (19 . 3) (20 . 4) (21 . 5))
  3296    0.6664    4.9923   ((17 . 15) (19 . 17) (20 . 18) (21 . 19))
  3438    0.5288    4.4448   ((17 . 2) (19 . 4) (20 . 5) (21 . 6))
  3604    0.6646    7.9764   ((17 . 38) (19 . 40) (20 . 41) (21 . 42))
  3639    0.5289    3.6030   ((17 . 2) (19 . 4) (20 . 5) (21 . 6))
  3681    0.5289    3.4985   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
  3746    0.6666    3.8549   ((17 . 1) (19 . 3) (20 . 4) (21 . 5))
  3748    0.6663    5.1605   ((17 . 13) (19 . 14) (20 . 15) (21 . 16))
  3960    0.5288    4.7935   ((17 . 1) (19 . 2) (20 . 3) (21 . 4))
  4082    0.5288    4.5850   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
  4537    0.4611    6.8118   ((15 . 19) (16 . 23) (17 . 16) (19 . 20) (20 . 21) (21 . 22))
  4697    0.5289    3.6250   ((17 . 1) (19 . 3) (20 . 4) (21 . 5))
  4714    0.6663    5.3070   ((17 . 12) (19 . 15) (20 . 16) (21 . 17))
  4745    0.4662    9.3208   ((15 . 1) (16 . 2) (17 . 5) (20 . 7))
  4840    0.1996   10.7622   ((16 . 32) (17 . 33) (19 . 34) (20 . 35))
  4872    0.6664    4.6164   ((17 . 15) (19 . 17) (20 . 18) (21 . 19))
  4894    0.6666    3.4070   ((17 . 2) (19 . 4) (20 . 5) (21 . 6))
  4895    0.6666    3.4660   ((17 . 10) (19 . 12) (20 . 13) (21 . 14))
  4986    0.1996   10.4648   ((16 . 1) (17 . 3) (19 . 4) (20 . 5))
  5074    0.5283    7.8570   ((17 . 5) (19 . 8) (20 . 9) (21 . 10))
  5110    0.6657    6.6625   ((17 . 1) (19 . 4) (20 . 5) (21 . 6))
  5180    0.5289    3.0175   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
  5612    0.6655    7.0178   ((15 . 9) (16 . 4) (17 . 5) (21 . 10))
  5613    0.6658    6.4439   ((17 . 14) (19 . 16) (20 . 18) (21 . 20))
  5750    0.6646    7.9907   ((17 . 3) (19 . 5) (20 . 7) (21 . 8))
  5764    0.6666    3.7956   ((17 . 2) (19 . 4) (20 . 5) (21 . 6))
  5829    0.5289    3.6355   ((17 . 2) (19 . 3) (20 . 4) (21 . 5))
  5959    0.6666    3.3142   ((17 . 3) (19 . 5) (20 . 6) (21 . 7))
  5972    0.6666    3.4510   ((17 . 1) (19 . 4) (20 . 5) (21 . 6))
  6346    1.0000    0.0000   ((15 . 15) (16 . 16) (17 . 17) (19 . 19) (20 . 20) (21 . 21))
  6450    0.3879    7.3118   ((17 . 4) (19 . 6) (20 . 7) (21 . 9))
  6480    0.2969    9.0875   ((16 . 2) (19 . 5) (20 . 6) (21 . 7))
END