<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_i6o1u83qglkdclbm94vjn8t1se, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!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);
}