!7

p {
  centerHigherConsole();
  autoRestart(5);
  S q = "is 6 bigger than 3?";
  print(q);
  if (ai_text("$X", "answers", q) != null) fail("Already have solution");
  ai_callSpeculationFunction_functionsCalled.set(new HashSet);
  
  ai_speculate_functions.remove(f ai_spec_searchForAnswer);
  ai_speculate_functions.add(f ai_spec_searchForAnswer_v2);
  
  Pair<AI_SubSpace, S> p = ai_solveQuestionInSubSpace_noTimeOut2(q);
  print("Answer: " + p.b);
  print("Functions called: " + sortedList(ai_callSpeculationFunction_functionsCalled!));
  
  ai_printSubSpace(p.a);
  ai_analyzeSubSpace(p.a);
}