4215

   162    0.7140    4.3042   ((1 . 12) (3 . 16) (4 . 17) (5 . 18) (6 . 22))
   239    0.8571    2.0722   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 10))
   330    0.5714    3.0028   ((1 . 1) (2 . 2) (3 . 3) (6 . 8))
   508    0.8568    3.8517   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 9))
   715    0.8570    3.0311   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 10))
   896    0.8571    2.6751   ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 9) (6 . 12))
  1067    0.7142    3.4582   ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 11))
  1218    0.8553    5.6837   ((1 . 14) (2 . 16) (3 . 18) (4 . 19) (5 . 20) (6 . 24))
  1257    0.8565    4.3999   ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 19))
  1263    0.8564    4.5096   ((1 . 13) (2 . 14) (3 . 17) (4 . 18) (5 . 19) (6 . 23))
  1354    0.7143    2.3561   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 7))
  1481    0.8571    2.5584   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7))
  1556    0.7143    2.3591   ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (6 . 8))
  1582    0.8568    3.6743   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7))
  1815    0.7142    3.3586   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6))
  1881    0.7140    4.3737   ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 8))
  2078    0.8566    4.1270   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8))
  2385    0.8566    4.0972   ((1 . 11) (2 . 12) (3 . 15) (4 . 17) (5 . 18) (6 . 21))
  2421    0.8571    2.6778   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8))
  2554    0.7138    5.1399   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6))
  2764    0.8292    3.6349   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7))
  2786    0.8568    3.6925   ((1 . 20) (2 . 21) (3 . 22) (4 . 24) (5 . 27) (6 . 28))
  3015    0.7141    4.2113   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6))
  3219    0.8564    4.4545   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6))
  3282    0.9999    2.3348   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (7 . 9))
  3408    0.8571    2.5168   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 8) (6 . 10))
  3533    0.7114    8.0134   ((1 . 1) (2 . 3) (3 . 6) (4 . 8) (6 . 11))
  3544    0.8571    2.4133   ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 11))
  3565    0.7138    5.0585   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7))
  3616    0.8563    4.6951   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8))
  3626    0.5714    3.8963   ((1 . 2) (2 . 3) (4 . 8) (6 . 11))
  3837    0.8564    4.5409   ((1 . 10) (2 . 11) (3 . 13) (4 . 14) (5 . 15) (6 . 19))
  3886    0.7142    3.5760   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7))
  3919    0.7141    4.0197   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6))
  4135    0.8570    3.2180   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8))
  4215    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7))
  4619    0.7142    2.6934   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 8))
  4620    0.8568    3.6211   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7))
  4648    0.7142    3.3113   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 8))
  4754    0.8571    1.9184   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 9))
  5081    0.4454    7.1265   ((3 . 2) (4 . 3) (5 . 4) (7 . 6))
  5373    0.9999    2.1418   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (7 . 9))
  5427    0.5709    6.8366   ((1 . 1) (2 . 2) (3 . 4) (4 . 6))
  5872    0.8565    4.3179   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6))
  5914    0.5704    8.0848   ((4 . 2) (5 . 3) (6 . 5) (7 . 6))
  5987    0.7142    3.3212   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7))
  6159    0.7141    4.0955   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 8))
  6195    0.7143    2.5917   ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (6 . 12))
  6509    0.8570    3.1735   ((1 . 19) (2 . 20) (3 . 21) (4 . 22) (5 . 24) (6 . 26))
  6526    0.8502    7.9593   ((1 . 1) (2 . 2) (3 . 4) (4 . 6) (5 . 7) (6 . 9))
  6597    0.8557    5.3452   ((1 . 11) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 19))
  6602    0.8564    4.5601   ((1 . 11) (2 . 12) (3 . 15) (4 . 16) (5 . 17) (6 . 21))
END