<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_k638135nub775ca7p5pmk0f2lg, 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 TripleWeb ai_webToTripleWeb(Web web) {
  T3<Symbol> t = ai_webToTriple(web);
  if (t == null) null;
  TripleWeb w = newTripleWebWithSource(web.source);
  new TripleWeb w;
  w.a = t.a;
  w.b = t.b;
  w.c = t.c;
  w.globalID(web.globalIDObj());
  
  w.created(web.created);
  w.flags = web.unverified ? w.UNVERIFIED : 0;
  
  ret w;
}