<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_pqlchnaenor4j604nvk1rscjss, 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 AI_DefaultISpec ai_defaultISpec_value;

static AI_DefaultISpec ai_defaultISpec() {
  if (ai_defaultISpec_value == null)
    ai_defaultISpec_value = new AI_DefaultISpec;
  ret ai_defaultISpec_value;
}

sclass AI_DefaultISpec implements ISpec {
  public Lock aiLock() { ret main.aiLock(); }
  
  public bool ai_cache_hasTriple(S a, S b, S c) {
    ret main.ai_cache_hasTriple(a, b, c);
  }
  
  public S ai_postTriple(S a, S b, S c) {
    ret main.ai_postTriple(a, b, c);
  }
  
  public S ai_setMaker(S maker) {
    ret main.ai_setMaker(maker);
  }
  
  public L<S> allIndexedFullTerms() {
    ret main.allIndexedFullTerms();
  }
  
  public L<S> ai_texts_verified(S a, S b, S c) {
    ret main.ai_texts_verified(a, b, c);
  }
  
  public S ai_text(S a, S b, S c) {
    ret main.ai_text(a, b, c);
  }
  
  public Web ai_blob(S word, bool verified) {
    ret main.ai_blob(word, verified);
  }
  
  public L<WebNode> ai_index_search_dollarX(S a, S b, S c) {
    ret main.ai_index_search_dollarX(a, b, c);
  }
  
  public L<WebNode> indexedNodes(S s) {
    ret main.indexedNodes(s);
  }
  
  public L<Web> indexedWebs(S s) {
    ret main.indexedWebs(s);
  }
  
  public Set<GlobalID> ai_invalidatedWebs() {
    ret main.ai_invalidatedWebs();
  }
  
  public MultiMap<S, WebNode> cachedNodeIndex2() {
    ret main.cachedNodeIndex2();
  }
  
  public Web ai_getWeb(S id) {
    ret main.ai_getWeb(id);
  }
  
  public void ai_setSubSpace(AI_SubSpace subSpace) {
    main.ai_setSubSpace(subSpace);
  }

  public AI_SubSpace ai_currentSubSpace() {
    ret main.ai_currentSubSpace();
  }
  
  public MultiMap<S, O> ai_mainIndex() {
    ret main.ai_mainIndex();
  }
  
  public TripleIndex tripleIndex() {
    ret main.tripleIndex();
  }
}