Warning: session_start(): open(/var/lib/php/sessions/sess_u1h1hp80i1514e03ov5n6g5rli, 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
sS roundBracket(S s) { ret "(" + s + ")"; } sS roundBracket(O s) { ret roundBracket(str(s)); }