Warning: session_start(): open(/var/lib/php/sessions/sess_fo6n8io8hi1s850h48pot65vuu, 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 abstract sclass Proposal { toString { ret sfu(this); } } srecord TwoSplit(LS a, LS b) extends Proposal {} srecord ThreeSplit(LS a, LS b, LS c) extends Proposal {} svoid parse(LS tok) { // drop first and last if (l(tok) >= 3) emit(new ThreeSplit(ll(first(tok)), dropFirstAndLast_noNewList(tok), ll(last(tok)))); for (int i = 1; i < l(tok)-1; i++) emit(new TwoSplit(subList(tok, 0, i), subList(tok, i))); } p-exp { LS tok = javaTokC("[(a|b), (c|d), (e|f)]"); parse(tok); }