Warning: session_start(): open(/var/lib/php/sessions/sess_ujm11k2pu77f51tc696de68ro3, 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 int falsesFollowedByTrues_changeIndex_assertNotNull(L l) { int i = 0, n = l(l); while (i < n && isFalse(l.get(i))) ++i; for (int j = i; j < n; j++) if (!isTrue(l.get(i))) fail("Not a false/true list: " + l); ret i; }