<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_f8307ee86a510r78hdod31tgi2, 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 />
static void printThoughtSpace(AbstractThoughtSpace ts) {
  if (ts == null) ret;
  if (ts instanceof GlobalThoughtSpace) ret with print("Global thought space");
  if (!ts instanceof ActualThoughtSpace) ret with print(className(ts));
  
  ActualThoughtSpace ats = cast ts;
  print("Thought space with " + nWeb(ts.size()) + ":");
  for (TripleWeb w : ats.index.allTriples())
    print("  " + w);
  print();
}

static void printThoughtSpace() {
  printThoughtSpace(currentThoughtSpace());
}