4575

   574    0.8317    5.7342   ((12 . 2) (13 . 4) (15 . 5) (16 . 7) (17 . 8))
  1121    0.8332    3.2322   ((12 . 1) (13 . 2) (15 . 3) (16 . 4) (17 . 5))
  1195    0.7342    2.0542   ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6))
  1196    0.8331    3.5800   ((12 . 8) (13 . 11) (15 . 12) (16 . 14) (17 . 15))
  1248    0.8325    4.8604   ((12 . 2) (13 . 3) (15 . 5) (16 . 6) (17 . 7))
  2003    0.6663    5.1142   ((13 . 7) (15 . 9) (16 . 10) (17 . 12))
  2228    0.8306    6.4976   ((12 . 1) (13 . 9) (15 . 11) (16 . 12) (17 . 13))
  2464    0.8285    7.5174   ((12 . 1) (13 . 8) (15 . 9) (16 . 10) (17 . 12))
  2563    0.8330    3.8716   ((12 . 37) (13 . 39) (15 . 40) (16 . 41) (17 . 42))
  2630    0.8333    2.3511   ((12 . 7) (13 . 10) (15 . 12) (16 . 14) (17 . 15))
  2944    0.8316    5.7678   ((12 . 1) (13 . 8) (15 . 9) (16 . 10) (17 . 11))
  2945    0.6665    4.4856   ((13 . 11) (15 . 12) (16 . 13) (17 . 15))
  3418    0.8409    1.6439   ((12 . 1) (13 . 2) (14 . 3) (15 . 5) (16 . 6) (17 . 7))
  3419    0.8331    3.6419   ((12 . 8) (13 . 12) (15 . 13) (16 . 16) (17 . 17))
  3888    0.8332    3.2763   ((12 . 11) (13 . 17) (15 . 19) (16 . 21) (17 . 22))
  3994    0.8309    6.3050   ((12 . 2) (13 . 3) (15 . 5) (16 . 6) (17 . 7))
  4174    0.8778    2.7830   ((12 . 2) (13 . 4) (14 . 5) (15 . 6) (16 . 7) (17 . 8))
  4175    0.8332    3.0801   ((12 . 11) (13 . 14) (15 . 16) (16 . 18) (17 . 20))
  4328    0.8333    2.5196   ((12 . 1) (13 . 3) (15 . 4) (16 . 5) (17 . 6))
  4419    0.6663    5.2561   ((13 . 6) (15 . 8) (16 . 9) (17 . 10))
  4543    0.6657    6.6846   ((14 . 7) (15 . 9) (16 . 10) (17 . 11))
  4575    1.0000    0.0000   ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17))
  4576    0.8333    2.7062   ((12 . 18) (13 . 21) (15 . 22) (16 . 24) (17 . 25))
  4596    0.2969   10.4583   ((13 . 7) (15 . 11) (16 . 12) (17 . 14))
  4621    0.8329    4.1255   ((12 . 1) (13 . 7) (15 . 8) (16 . 9) (17 . 11))
  4652    0.6665    4.5126   ((13 . 7) (15 . 9) (16 . 10) (17 . 11))
  5769    0.8326    4.6838   ((12 . 1) (13 . 9) (15 . 10) (16 . 11) (17 . 12))
  5821    0.8326    4.7073   ((12 . 1) (13 . 8) (15 . 9) (16 . 10) (17 . 11))
  5851    0.8331    3.3215   ((12 . 2) (13 . 4) (15 . 5) (16 . 6) (17 . 8))
  6014    0.8321    5.3834   ((12 . 1) (13 . 2) (15 . 4) (16 . 5) (17 . 6))
  6319    0.8304    6.6498   ((12 . 1) (13 . 5) (15 . 6) (16 . 7) (17 . 8))
END