Warning: session_start(): open(/var/lib/php/sessions/sess_21hk3e5rt0i0g1c2cmr95p8ckg, 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 lineComp_replaceSublistWithUpdatingPairCount(L l, L x, L y, LineComp_PairCounts pairCounts) {
if (x == null) ret l;
int i = 0;
while (true) {
i = indexOfSubList(l, x, i);
if (i < 0) break;
int to = i+l(x), to_new = i+l(y);
pairCounts.removeAll((L) overlappingPairs(subList(l, i-1, to+1)));
replaceSublist(l, i, to, y);
pairCounts.addAll((L) overlappingPairs(subList(l, i-1, to_new+1)));
i = to_new;
}
ret l;
}