501

   251    0.5653    3.7322   ((13 . 1) (14 . 2) (15 . 4) (16 . 5) (17 . 6))
   340    0.8331    3.5109   ((13 . 1) (14 . 2) (16 . 4) (17 . 7) (19 . 9))
   414    0.6655    6.9786   ((13 . 3) (14 . 4) (16 . 6) (19 . 7))
   501    1.0000    0.0000   ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (19 . 19))
  1648    0.8333    2.5969   ((13 . 12) (15 . 15) (16 . 16) (17 . 17) (19 . 19))
  1715    0.8333    2.6936   ((13 . 12) (15 . 15) (16 . 16) (17 . 17) (19 . 19))
  2073    0.1665    6.7366   ((13 . 2) (15 . 5) (16 . 6) (17 . 8))
  2363    0.8333    2.3502   ((13 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 8))
  2900    0.8332    2.8028   ((13 . 9) (15 . 10) (16 . 11) (17 . 12) (19 . 13))
  2913    0.8332    2.7363   ((13 . 2) (15 . 4) (16 . 5) (17 . 6) (19 . 8))
  2916    0.6658    6.5174   ((13 . 7) (16 . 10) (17 . 11) (19 . 13))
  3300    0.6666    3.3920   ((13 . 1) (14 . 2) (16 . 4) (17 . 5))
  3303    0.6658    6.4338   ((13 . 3) (14 . 4) (16 . 5) (17 . 6))
  3326    0.7258    4.2703   ((13 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 7))
  3693    0.6648    7.8148   ((13 . 2) (14 . 3) (16 . 4) (19 . 7))
  3783    0.6639    8.6310   ((13 . 1) (14 . 2) (16 . 4) (19 . 6))
  3838    0.8321    5.3615   ((13 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 14))
  3892    0.8332    3.0923   ((13 . 31) (15 . 35) (16 . 37) (17 . 38) (19 . 39))
  4112    0.8332    3.1027   ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (19 . 6))
  4209    0.6662    5.4747   ((13 . 4) (16 . 5) (17 . 7) (19 . 8))
  4236    0.8333    2.4136   ((13 . 5) (15 . 6) (16 . 7) (17 . 8) (19 . 10))
  4665    0.6666    3.1206   ((13 . 11) (15 . 12) (16 . 13) (17 . 14))
  4842    0.6666    3.8254   ((13 . 4) (15 . 5) (16 . 6) (17 . 8))
  4843    0.6666    3.2528   ((13 . 15) (15 . 16) (16 . 17) (17 . 19))
  5548    0.6663    5.3428   ((13 . 3) (14 . 4) (16 . 7) (17 . 8))
  5668    0.8333    2.5564   ((13 . 8) (15 . 11) (16 . 12) (17 . 13) (19 . 14))
  5805    0.8333    2.1361   ((13 . 5) (15 . 6) (16 . 7) (17 . 8) (19 . 10))
  5957    0.6632    9.1234   ((13 . 1) (14 . 2) (16 . 4) (19 . 6))
  6009    0.8333    2.4542   ((13 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8))
  6325    0.8330    3.7605   ((13 . 5) (15 . 6) (16 . 11) (17 . 12) (19 . 14))
  6604    0.6659    6.2695   ((13 . 3) (16 . 4) (17 . 5) (19 . 7))
END