3157

   387    0.8859    6.1651   ((3 . 1) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12) (15 . 15))
   607    0.8855    6.3468   ((3 . 38) (7 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 44) (13 . 45) (15 . 46))
   700    0.8885    3.6847   ((3 . 1) (7 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (15 . 11))
   765    0.8783    3.3912   ((3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 12) (12 . 17) (13 . 19) (15 . 20))
  1271    0.9999    1.8749   ((3 . 42) (7 . 44) (8 . 45) (9 . 46) (10 . 47) (11 . 48) (12 . 49) (13 . 50) (15 . 52))
  1884    0.6663    5.0633   ((7 . 5) (9 . 7) (10 . 9) (12 . 12) (13 . 14) (15 . 15))
  1918    0.7770    5.1423   ((7 . 9) (9 . 11) (10 . 13) (11 . 14) (12 . 15) (13 . 17) (15 . 19))
  1954    0.8875    5.0218   ((3 . 1) (7 . 3) (9 . 4) (10 . 6) (11 . 7) (12 . 9) (13 . 10) (15 . 11))
  1959    0.8875    5.0461   ((3 . 1) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 12))
  1989    0.8879    4.6471   ((3 . 2) (7 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (13 . 10) (15 . 11))
  2116    0.7774    4.1694   ((7 . 5) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 11) (15 . 12))
  2241    0.7754    6.8284   ((7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 12))
  2408    0.8871    5.3905   ((3 . 38) (7 . 39) (9 . 40) (10 . 41) (11 . 42) (12 . 45) (13 . 46) (15 . 47))
  2762    0.8866    5.7428   ((3 . 3) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 12) (13 . 14) (15 . 15))
  2872    0.9899    4.4223   ((3 . 4) (7 . 7) (8 . 8) (9 . 9) (10 . 11) (11 . 12) (12 . 13) (13 . 15) (15 . 18))
  2886    0.6665    4.1458   ((7 . 35) (9 . 37) (10 . 38) (11 . 39) (13 . 43) (15 . 44))
  3063    0.5549    7.5690   ((3 . 31) (10 . 35) (12 . 38) (13 . 39) (15 . 41))
  3098    0.8874    5.1449   ((3 . 5) (7 . 11) (9 . 13) (10 . 15) (11 . 16) (12 . 17) (13 . 18) (15 . 22))
  3124    0.9273    3.4652   ((3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 14) (15 . 15))
  3157    1.0000    0.0000   ((3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15))
  3170    0.7772    4.7674   ((3 . 3) (7 . 6) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 13))
  3280    0.8782    3.6508   ((3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 10) (12 . 15) (13 . 17) (15 . 18))
  3297    0.8869    5.5497   ((3 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (13 . 12) (15 . 13))
  3562    0.7767    5.5586   ((3 . 1) (7 . 2) (9 . 3) (10 . 4) (12 . 6) (13 . 7) (15 . 9))
  3680    0.9858    6.8270   ((3 . 39) (7 . 42) (8 . 43) (9 . 44) (10 . 45) (11 . 50) (12 . 53) (13 . 55) (15 . 58))
  4423    0.9903    5.8459   ((3 . 34) (7 . 38) (8 . 39) (9 . 40) (10 . 41) (11 . 44) (12 . 46) (13 . 48) (15 . 53))
  4496    0.8879    4.6549   ((3 . 5) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15))
  4497    0.8885    3.6448   ((3 . 18) (7 . 23) (9 . 24) (10 . 25) (11 . 26) (12 . 27) (13 . 28) (15 . 30))
  4599    0.8881    4.3458   ((3 . 3) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 12))
  4654    0.7763    6.1000   ((3 . 3) (7 . 8) (9 . 10) (10 . 12) (12 . 16) (13 . 17) (15 . 18))
  4929    0.7768    5.4630   ((7 . 28) (9 . 29) (10 . 31) (11 . 32) (12 . 33) (13 . 34) (15 . 35))
  5569    0.7771    4.9724   ((7 . 24) (9 . 27) (10 . 29) (11 . 30) (12 . 31) (13 . 32) (15 . 33))
  6050    0.8863    5.9126   ((3 . 2) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (13 . 12) (15 . 13))
  6140    0.7771    5.0831   ((7 . 6) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 13) (15 . 14))
  6347    0.8879    4.6612   ((3 . 1) (7 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 8) (13 . 10) (15 . 11))
END