Warning: session_start(): open(/var/lib/php/sessions/sess_dcjkchjnr55uvg36c4597acm4n, 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
sclass SortedCondensedStrings2 extends CondensedStrings2 {
*() {}
*(L l) {
super(sorted(l));
}
public int indexOf(O o) {
ret max(-1, Collections.binarySearch(this, o));
}
public bool contains(O o) {
ret indexOf(o) >= 0;
}
}