Warning: session_start(): open(/var/lib/php/sessions/sess_p3r5tnhppsc4hlanmjj8bu1ldb, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static S ai_postTriple(T3 t) { ret ai_postTriple(t.a, t.b, t.c); } static S ai_postTriple(S a, S b, S c) { ret (S) call(owner, 'ai_postTriple, a, b, c); } static L allIndexedFullTerms() { ret (L) call(owner, 'allIndexedFullTerms); }