1648

   251    0.5712    5.7695   ((15 . 4) (16 . 5) (17 . 6) (18 . 8))
   340    0.7143    2.4413   ((12 . 1) (15 . 2) (16 . 4) (17 . 7) (19 . 9))
   414    0.3789    7.7094   ((15 . 3) (16 . 4) (17 . 5) (19 . 6))
   501    0.7143    2.5969   ((12 . 13) (15 . 15) (16 . 16) (17 . 17) (19 . 19))
  1648    1.0000    0.0000   ((12 . 12) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19))
  1715    0.9999    2.1444   ((12 . 12) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19))
  2073    0.4915    6.9760   ((12 . 2) (14 . 4) (15 . 5) (16 . 6))
  2334    0.5714    3.8395   ((15 . 1) (16 . 2) (17 . 3) (18 . 4))
  2363    0.7143    1.9376   ((12 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 8))
  2581    0.8200    4.8987   ((12 . 8) (14 . 9) (15 . 10) (16 . 12) (17 . 14) (19 . 16))
  2900    0.6569    4.2011   ((12 . 8) (15 . 10) (16 . 11) (17 . 12) (19 . 13))
  2913    0.8206    3.7399   ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8))
  2916    0.7141    3.8342   ((12 . 7) (15 . 8) (16 . 9) (17 . 11) (19 . 13))
  3300    0.5714    3.8739   ((12 . 1) (15 . 2) (16 . 4) (17 . 5))
  3303    0.6315    4.4756   ((12 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8))
  3326    0.6570    3.5361   ((12 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 7))
  3693    0.7143    2.3440   ((12 . 2) (15 . 3) (16 . 4) (17 . 7) (19 . 9))
  3783    0.5701    8.7356   ((12 . 2) (15 . 5) (16 . 6) (18 . 8))
  3838    0.5697    9.3577   ((12 . 2) (15 . 5) (16 . 6) (19 . 8))
  3892    0.7142    3.3855   ((12 . 31) (15 . 35) (16 . 37) (17 . 38) (19 . 39))
  4112    0.7142    2.8430   ((12 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6))
  4209    0.4915    7.1203   ((12 . 2) (14 . 3) (15 . 4) (18 . 6))
  4236    0.7143    2.3898   ((12 . 5) (15 . 6) (16 . 7) (17 . 8) (19 . 10))
  4665    0.5714    2.7974   ((12 . 11) (15 . 12) (16 . 13) (17 . 14))
  4842    0.3906    7.0187   ((12 . 4) (15 . 5) (16 . 6) (17 . 8) (18 . 10))
  4843    0.3906    6.9424   ((12 . 15) (15 . 16) (16 . 17) (17 . 19) (18 . 21))
  5014    0.4454    6.6402   ((15 . 1) (16 . 2) (18 . 4) (19 . 6))
  5548    0.7141    3.8448   ((12 . 3) (15 . 4) (16 . 10) (17 . 11) (19 . 12))
  5668    0.7143    2.6015   ((12 . 8) (15 . 11) (16 . 12) (17 . 13) (19 . 14))
  5805    0.7143    2.5805   ((12 . 5) (15 . 6) (16 . 7) (17 . 8) (19 . 10))
  5957    0.5708    7.1236   ((15 . 1) (16 . 2) (18 . 3) (19 . 4))
  6009    0.7143    2.3803   ((12 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8))
  6325    0.3789    8.5504   ((14 . 4) (15 . 7) (16 . 8) (17 . 9))
  6391    0.8206    3.4995   ((12 . 6) (14 . 7) (15 . 8) (16 . 10) (17 . 12) (19 . 14))
  6604    0.7141    3.7234   ((12 . 1) (15 . 2) (16 . 3) (17 . 7) (19 . 9))
END