Warning: session_start(): open(/var/lib/php/sessions/sess_2lj65v16fhdgbtouckam7cq9kk, 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 xtok_joinBrackets2(L tok) { new L t; Map map = getBracketMap(tok); for (int i = 0; i < l(tok); i++) { Int dest = map.get(i); if (dest != null && !(i != 1 && dest == 5 && l(tok) == 7)) { t.addAll(subList(tok, i, i+2)); // bracket plus N t.add(cncAddFirstAndLast(subList(tok, i+2, dest-1))); t.addAll(subList(tok, dest-1, dest+1)); // N plus bracket i = dest; } else t.add(tok.get(i)); } ret t; }