Warning: session_start(): open(/var/lib/php/sessions/sess_t6qpfl12af9cbub29a0f27en7o, 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
!7 static Pair splitConceptsFromStatements(S text) { new L a; new L b; for (S s : toLinesFullTrim_java(text)) { L tok = javaTokC(s); if (possibleGlobalID(get(tok, 0)) && eq(get(tok, 1), "-")) a.add(s); else b.add(s); } ret pair(joinLines(a), joinLines(b)); }