<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_u40bbqc8ct689rsocjrq02584m, 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

set flag ai_spec_tripelize_debug.

p {
  centerHigherConsole();
  autoRestart(5);
  S q = "is 5 bigger than 3?";
  ai_callSpeculationFunction_functionsCalled.set(new HashSet);
  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);
}