static long maxL(Collection<Long> c) {
  long x = Long.MIN_VALUE;
  for (long i : c) x = max(x, i);
  ret x;
}