4843

   251    0.6661    5.7052   ((15 . 1) (16 . 4) (17 . 5) (19 . 6))
   340    0.6666    2.7531   ((15 . 1) (16 . 2) (17 . 4) (19 . 7))
   414    0.6666    3.6594   ((15 . 3) (16 . 4) (17 . 6) (19 . 7))
   501    0.6666    3.2528   ((15 . 13) (16 . 15) (17 . 16) (19 . 17))
  1648    0.3948    6.9424   ((15 . 12) (16 . 15) (17 . 16) (19 . 17) (21 . 18))
  1715    0.6666    3.6976   ((15 . 12) (16 . 15) (17 . 16) (19 . 17))
  2073    0.8325    4.8821   ((15 . 1) (16 . 2) (17 . 5) (19 . 6) (21 . 9))
  2334    0.4666    6.6093   ((16 . 1) (17 . 2) (19 . 3) (21 . 5))
  2363    0.6667    1.9727   ((15 . 2) (16 . 3) (17 . 5) (19 . 6))
  2581    0.6664    4.8373   ((15 . 8) (16 . 10) (17 . 12) (19 . 14))
  2900    0.7252    5.7605   ((15 . 9) (16 . 10) (17 . 11) (19 . 13) (21 . 14))
  2913    0.6666    3.8344   ((15 . 2) (16 . 4) (17 . 5) (19 . 6))
  2916    0.6665    4.4173   ((15 . 7) (16 . 8) (17 . 9) (19 . 11))
  3300    0.8324    4.9201   ((15 . 1) (16 . 2) (17 . 4) (19 . 5) (21 . 9))
  3303    0.6667    2.3643   ((15 . 3) (16 . 4) (17 . 5) (19 . 6))
  3326    0.6667    2.3892   ((15 . 1) (16 . 3) (17 . 4) (19 . 5))
  3783    0.6640    8.5865   ((15 . 4) (16 . 6) (19 . 9) (21 . 10))
  3838    0.4659   10.1469   ((13 . 11) (16 . 16) (19 . 18) (21 . 20))
  4112    0.8329    3.9881   ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (21 . 7))
  4209    0.4667    6.1657   ((15 . 1) (16 . 2) (17 . 4) (21 . 6))
  4236    0.6666    2.8207   ((15 . 5) (16 . 6) (17 . 7) (19 . 8))
  4665    0.8333    0.8381   ((15 . 11) (16 . 12) (17 . 13) (19 . 14) (21 . 16))
  4842    0.9414    5.3746   ((13 . 1) (15 . 4) (16 . 5) (17 . 6) (19 . 8) (21 . 10))
  4843    1.0000    0.0000   ((13 . 13) (15 . 15) (16 . 16) (17 . 17) (19 . 19) (21 . 21))
  5548    0.6643    8.2962   ((16 . 4) (17 . 7) (19 . 8) (21 . 9))
  5668    0.6666    2.6655   ((15 . 8) (16 . 11) (17 . 12) (19 . 13))
  5805    0.6666    2.5576   ((15 . 5) (16 . 6) (17 . 7) (19 . 8))
  5957    0.6649    7.6939   ((15 . 5) (16 . 6) (19 . 9) (21 . 10))
  6009    0.6667    2.3276   ((15 . 3) (16 . 4) (17 . 5) (19 . 6))
  6325    0.6637    8.7725   ((15 . 6) (16 . 8) (17 . 9) (19 . 11))
  6391    0.6186   18.4424   ((13 . 4) (17 . 6) (19 . 8) (21 . 9))
  6604    0.4664    8.0112   ((15 . 4) (16 . 5) (19 . 9) (21 . 10))
END