static void quickSolve_preload() {
  thread "Preload" { defaultSolver(); }
}