4497

   387    0.8872    5.3440   ((18 . 1) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (27 . 11) (28 . 12) (30 . 15))
   607    0.8861    6.0328   ((18 . 34) (23 . 39) (24 . 40) (25 . 41) (26 . 42) (27 . 44) (28 . 45) (30 . 46))
   700    0.8886    3.2945   ((18 . 1) (23 . 4) (24 . 5) (25 . 6) (26 . 7) (27 . 8) (28 . 9) (30 . 11))
   765    0.7774    4.2343   ((18 . 3) (23 . 7) (24 . 9) (25 . 12) (27 . 17) (28 . 19) (30 . 20))
  1271    0.8887    3.1105   ((18 . 42) (23 . 44) (24 . 46) (25 . 47) (26 . 48) (27 . 49) (28 . 50) (30 . 52))
  1884    0.8866    5.7233   ((18 . 2) (23 . 5) (24 . 7) (25 . 9) (26 . 10) (27 . 12) (28 . 14) (30 . 15))
  1918    0.8884    3.9808   ((18 . 6) (23 . 9) (24 . 11) (25 . 13) (26 . 14) (27 . 15) (28 . 17) (30 . 19))
  1954    0.8881    4.3837   ((18 . 1) (23 . 3) (24 . 4) (25 . 6) (26 . 7) (27 . 9) (28 . 10) (30 . 11))
  1959    0.8881    4.4176   ((18 . 1) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11) (30 . 12))
  1989    0.8887    3.2468   ((18 . 2) (23 . 5) (24 . 6) (25 . 7) (26 . 8) (27 . 9) (28 . 10) (30 . 11))
  2116    0.8883    4.1645   ((18 . 2) (23 . 5) (24 . 6) (25 . 7) (26 . 9) (27 . 10) (28 . 11) (30 . 12))
  2241    0.7770    5.2082   ((23 . 5) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11) (30 . 12))
  2408    0.6660    6.0878   ((18 . 34) (23 . 39) (24 . 40) (27 . 45) (28 . 46) (30 . 47))
  2762    0.5547    8.1649   ((18 . 3) (23 . 8) (24 . 9) (28 . 14) (30 . 15))
  2872    0.9993    3.6289   ((18 . 4) (20 . 5) (23 . 7) (24 . 9) (25 . 11) (26 . 12) (27 . 13) (28 . 15) (30 . 18))
  2886    0.8862    5.9641   ((18 . 30) (23 . 35) (24 . 37) (25 . 38) (26 . 39) (27 . 41) (28 . 43) (30 . 44))
  3063    0.8787    6.3121   ((18 . 33) (23 . 35) (24 . 37) (25 . 38) (26 . 39) (27 . 41) (28 . 42) (30 . 46))
  3098    0.8883    4.1314   ((18 . 5) (23 . 11) (24 . 13) (25 . 15) (26 . 16) (27 . 17) (28 . 18) (30 . 22))
  3124    0.9990    3.9954   ((18 . 3) (20 . 5) (23 . 7) (24 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 14) (30 . 15))
  3157    0.8885    3.6448   ((18 . 3) (23 . 7) (24 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 13) (30 . 15))
  3170    0.8875    5.0274   ((18 . 3) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11) (30 . 13))
  3280    0.8861    6.0530   ((18 . 3) (23 . 6) (24 . 8) (25 . 10) (26 . 11) (27 . 15) (28 . 17) (30 . 18))
  3297    0.7775    3.8930   ((23 . 5) (24 . 7) (25 . 8) (26 . 9) (27 . 11) (28 . 12) (30 . 13))
  3562    0.4444    5.9871   ((23 . 3) (26 . 6) (27 . 7) (28 . 9))
  3680    0.7765    5.8551   ((23 . 42) (24 . 44) (25 . 45) (26 . 50) (27 . 53) (28 . 55) (30 . 56))
  4423    0.8861    6.0530   ((18 . 34) (23 . 38) (24 . 40) (25 . 41) (26 . 44) (27 . 46) (28 . 48) (30 . 53))
  4496    0.9998    2.5524   ((18 . 5) (20 . 6) (23 . 8) (24 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 13) (30 . 15))
  4497    1.0000    0.0000   ((18 . 18) (20 . 20) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (30 . 30))
  4599    0.8881    4.3360   ((18 . 3) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11) (30 . 12))
  4654    0.8861    6.0103   ((18 . 3) (23 . 8) (24 . 10) (25 . 12) (26 . 13) (27 . 16) (28 . 17) (30 . 18))
  4929    0.8858    6.1808   ((18 . 26) (23 . 28) (24 . 29) (25 . 31) (26 . 32) (27 . 33) (28 . 34) (30 . 35))
  5569    0.7775    4.0906   ((23 . 24) (24 . 27) (25 . 29) (26 . 30) (27 . 31) (28 . 32) (30 . 33))
  6050    0.8879    4.6286   ((18 . 2) (23 . 5) (24 . 7) (25 . 8) (26 . 9) (27 . 11) (28 . 12) (30 . 13))
  6140    0.8887    3.0180   ((18 . 3) (23 . 6) (24 . 8) (25 . 9) (26 . 10) (27 . 11) (28 . 13) (30 . 14))
  6347    0.9991    3.9661   ((18 . 1) (20 . 2) (23 . 3) (24 . 4) (25 . 5) (26 . 6) (27 . 8) (28 . 10) (30 . 11))
END