// returns null if case not solved
static F1 quickSolveToFunction(S... ioioi) {
  O solver = defaultSolver();
  lock defaultSolver_lock;
  fO case = call(solver, "quickSolve", (O) ioioi);
  if (!isTrue(call(case, 'solved))) null;
  ret new F1 {
    O get(O in)  {
      ret call(case, 'processIn, in);
    }
  };
}

static F1 quickSolveToFunction(SS ioioi) {
  ret quickSolveToFunction(mapToStringArray(ioioi));
}

static F1 quickSolveToFunction(L<S> ioioi) {
  ret quickSolveToFunction(toStringArray(ioioi));
}