Warning: session_start(): open(/var/lib/php/sessions/sess_93k1b77hne9nr6prb1766j05gr, 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 L> differencesElementByElement_codeTokensOnly(L a, L b) { L> l = new L; if (l(a) != l(b)) ret l; int n = l(a); for (int i = 1; i < n; i += 2) { A aa = a.get(i); A bb = b.get(i); if (neq(aa, bb)) l.add(triple(aa, bb, i)); } ret l; }