// also updates when equal score and shorter code
static class HighestShortest {
  S a;
  double score;
  
  bool update(S x, double s) {
    if (a == null || s > score || (s == score && l(x) < l(a))) {
      a = x;
      score = s;
      true;
    }
    false;
  }
  
  Pair<S, Double> getPair() {
    ret a == null ? null : pair(a, score);
  }
}