static void debugSolvers(L<S> log) {
  solveExamples(litlist(joinLines(log)));
}