Warning: session_start(): open(/var/lib/php/sessions/sess_8049m9g2lqjsp5ilp0c2grjrtl, 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 void ai_spec_compareNumbers_triple(S s) { T3 t = ai_parseTriple(s); if (t == null || !eqic(t.b, "is bigger than?")) ret; S a = t.a, b = t.c; if (isInteger(a) && isInteger(b)) { int cmp = bigint(a).compareTo(bigint(b)); S rel = cmp > 0 ? "is bigger than" : "is not bigger than"; ai_postTriple(a, rel, b); } }