1010

    94    0.4615    3.6117   ((5 . 4) (8 . 6) (9 . 7) (12 . 10) (13 . 11) (14 . 12))
   177    0.6050    5.2293   ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 7) (13 . 8) (14 . 10))
   178    0.4614    6.4375   ((4 . 13) (9 . 16) (10 . 17) (12 . 21) (13 . 22) (14 . 23))
   179    0.3846    6.4996   ((8 . 31) (9 . 32) (10 . 33) (12 . 36) (13 . 37))
   337    0.5384    4.0573   ((5 . 1) (8 . 3) (9 . 4) (10 . 5) (12 . 9) (13 . 10) (14 . 11))
   448    0.5384    4.4668   ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (12 . 6) (13 . 7) (14 . 9))
   709    0.3846    2.9319   ((5 . 1) (6 . 2) (8 . 4) (9 . 5) (10 . 6))
  1010    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14))
  1644    0.6919    5.0190   ((4 . 43) (5 . 44) (8 . 46) (9 . 47) (10 . 48) (11 . 49) (12 . 50) (13 . 51) (14 . 52))
  1935    0.3846    5.3082   ((6 . 4) (10 . 6) (12 . 9) (13 . 10) (14 . 12))
  1936    0.5224    3.9826   ((6 . 17) (8 . 19) (9 . 20) (10 . 21) (12 . 25) (13 . 27) (14 . 28))
  1937    0.3846    5.8381   ((5 . 30) (6 . 31) (9 . 32) (10 . 33) (13 . 37))
  1980    0.6076    5.5626   ((5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10) (14 . 12))
  1981    0.6151    5.1406   ((5 . 13) (8 . 16) (9 . 17) (10 . 18) (11 . 19) (12 . 22) (13 . 23) (14 . 24))
  1982    0.3846    5.5027   ((9 . 33) (11 . 36) (12 . 37) (13 . 38) (14 . 40))
  2204    0.6152    4.9388   ((5 . 2) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 9) (14 . 11))
  2205    0.4615    4.2551   ((8 . 16) (9 . 17) (10 . 18) (12 . 22) (13 . 23) (14 . 26))
  2206    0.6153    4.3997   ((5 . 28) (8 . 33) (9 . 34) (10 . 35) (11 . 36) (12 . 39) (13 . 40) (14 . 42))
  2455    0.6831    7.2834   ((5 . 1) (6 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 11) (14 . 12))
  2522    0.3846    4.5252   ((8 . 2) (9 . 3) (10 . 4) (12 . 7) (13 . 8))
  2840    0.3077    4.7737   ((8 . 1) (10 . 5) (11 . 6) (13 . 8))
  3103    0.5384    3.0819   ((5 . 1) (8 . 2) (9 . 3) (10 . 5) (12 . 9) (13 . 11) (14 . 13))
  3255    0.4615    3.3777   ((5 . 2) (8 . 5) (9 . 6) (12 . 9) (13 . 10) (14 . 12))
  3256    0.6050    4.8502   ((5 . 13) (6 . 16) (8 . 18) (9 . 19) (10 . 20) (12 . 25) (13 . 26) (14 . 28))
  3264    0.5384    3.6507   ((5 . 1) (6 . 4) (8 . 7) (9 . 8) (12 . 11) (13 . 12) (14 . 14))
  3265    0.6152    4.8708   ((5 . 15) (8 . 21) (9 . 22) (10 . 23) (11 . 24) (12 . 25) (13 . 26) (14 . 28))
  3266    0.6095    5.4393   ((5 . 29) (6 . 33) (8 . 35) (9 . 36) (10 . 37) (12 . 38) (13 . 40) (14 . 42))
  3267    0.5223    5.8626   ((5 . 59) (6 . 61) (8 . 63) (9 . 64) (12 . 66) (13 . 68) (14 . 70))
  3272    0.4615    3.9415   ((5 . 1) (8 . 3) (9 . 4) (12 . 7) (13 . 8) (14 . 10))
  3447    0.5382    6.3493   ((3 . 2) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 9) (14 . 11))
  3448    0.3846    4.1083   ((6 . 15) (8 . 16) (9 . 17) (10 . 18) (13 . 24))
  3449    0.4615    4.5038   ((9 . 32) (10 . 33) (11 . 36) (12 . 37) (13 . 39) (14 . 41))
  3489    0.3844    8.8216   ((5 . 1) (8 . 4) (12 . 10) (13 . 12) (14 . 14))
  3490    0.3846    5.6573   ((4 . 15) (5 . 16) (12 . 24) (13 . 25) (14 . 26))
  4610    0.5137    5.9153   ((5 . 3) (6 . 4) (8 . 5) (9 . 6) (12 . 9) (13 . 10) (14 . 12))
  4611    0.6920    4.8416   ((5 . 13) (6 . 15) (8 . 17) (9 . 18) (10 . 19) (11 . 20) (12 . 22) (13 . 23) (14 . 25))
  5046    0.4615    3.9852   ((5 . 1) (8 . 3) (9 . 4) (12 . 7) (13 . 8) (14 . 10))
  5344    0.6154    1.9022   ((5 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 7) (12 . 8) (13 . 9) (14 . 10))
  6173    0.3846    5.5634   ((5 . 3) (11 . 11) (12 . 12) (13 . 13) (14 . 15))
  6418    0.5309    4.2285   ((5 . 1) (9 . 3) (10 . 4) (11 . 6) (12 . 7) (13 . 8) (14 . 10))
  6424    0.3846    6.7069   ((9 . 3) (10 . 5) (12 . 9) (13 . 10) (14 . 11))
END