5188

    64    0.5500    3.4596   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10) (15 . 13) (16 . 14) (17 . 15))
   123    0.5500    3.4638   ((2 . 6) (3 . 7) (4 . 8) (8 . 11) (10 . 14) (11 . 15) (13 . 18) (14 . 19) (15 . 23) (16 . 24) (17 . 25))
   192    0.6499    3.0284   ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (8 . 9) (9 . 11) (10 . 12) (11 . 13) (13 . 17) (14 . 19) (15 . 22) (16 . 23) (17 . 25))
   212    0.5500    2.8932   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16))
   255    0.5999    4.2858   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 12) (15 . 15) (16 . 16) (17 . 17))
   407    0.6000    3.0332   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16))
   587    0.6000    2.7827   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16))
   655    0.6497    4.0368   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 16) (16 . 17) (17 . 18))
   819    0.3469    5.2954   ((3 . 2) (4 . 3) (6 . 4) (13 . 5) (15 . 8) (16 . 9) (17 . 10))
   872    0.5500    2.4488   ((2 . 3) (3 . 4) (4 . 5) (8 . 7) (10 . 8) (11 . 10) (13 . 13) (14 . 14) (15 . 19) (16 . 20) (17 . 22))
  1209    0.5000    2.8328   ((2 . 9) (3 . 10) (4 . 11) (10 . 15) (11 . 16) (13 . 18) (14 . 19) (15 . 22) (16 . 23) (17 . 24))
  1244    0.5500    3.3876   ((2 . 2) (3 . 3) (4 . 4) (8 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 15) (16 . 16) (17 . 17))
  1536    0.6000    2.3384   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 15) (16 . 16) (17 . 17))
  1805    0.5999    3.4088   ((2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 15) (16 . 16) (17 . 17))
  1974    0.5500    3.5412   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (11 . 9) (13 . 10) (14 . 11) (15 . 16) (16 . 17) (17 . 18))
  1979    0.5999    3.0188   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 10) (13 . 11) (14 . 13) (15 . 19) (16 . 20) (17 . 22))
  2154    0.6496    3.8895   ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (8 . 8) (9 . 9) (10 . 11) (11 . 12) (13 . 15) (14 . 16) (15 . 21) (16 . 23) (17 . 24))
  3345    0.6000    3.0947   ((2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (15 . 16) (16 . 17) (17 . 18))
  3475    0.5997    5.2771   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (11 . 8) (13 . 10) (14 . 11) (15 . 13) (16 . 14) (17 . 15))
  3513    0.6487    3.9734   ((1 . 1) (2 . 2) (3 . 5) (4 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 14) (14 . 15) (15 . 18) (16 . 19) (17 . 20))
  3597    0.5994    5.1436   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (8 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 14) (16 . 15) (17 . 16))
  3752    0.6484    3.9003   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (15 . 17) (16 . 18) (17 . 19))
  3893    0.5500    3.2888   ((2 . 2) (3 . 3) (4 . 4) (8 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16))
  3900    0.6482    4.9533   ((2 . 1) (3 . 2) (4 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10) (15 . 13) (16 . 14) (17 . 16) (18 . 19))
  4877    0.5999    3.6660   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (8 . 9) (10 . 10) (11 . 13) (13 . 15) (14 . 17) (15 . 20) (16 . 21) (17 . 24))
  4900    0.6000    2.1918   ((2 . 2) (3 . 3) (4 . 4) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (14 . 13) (15 . 16) (16 . 17) (17 . 18))
  5188    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22))
  5492    0.5999    3.9749   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (8 . 8) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (15 . 15) (16 . 16) (17 . 17))
  5781    0.6000    2.8642   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16))
  5811    0.5499    4.8895   ((2 . 1) (3 . 2) (4 . 4) (8 . 6) (10 . 7) (11 . 8) (13 . 12) (14 . 13) (15 . 16) (16 . 17) (17 . 18))
  5847    0.5499    4.6270   ((2 . 2) (3 . 3) (4 . 5) (8 . 7) (10 . 8) (11 . 9) (13 . 12) (14 . 13) (15 . 17) (16 . 18) (17 . 20))
  5864    0.4999    4.9059   ((2 . 1) (3 . 2) (4 . 3) (10 . 6) (11 . 8) (13 . 10) (14 . 11) (15 . 13) (16 . 14) (17 . 15))
  6471    0.6000    2.9101   ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (15 . 15) (16 . 17) (17 . 18))
  6475    0.2500    3.8963   ((2 . 9) (3 . 11) (8 . 15) (10 . 16) (11 . 17))
END