Warning: session_start(): open(/var/lib/php/sessions/sess_au1loglgj8n3oooj0uop65kdrj, 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
p-exp {
new BakedBot bot;
for (S s : tlft(mL_raw("Program 1"))) {
L l = splitAtSingleArrow(s);
if (l(l) == 2)
bot.pcheck(first(l), second(l));
else
bot.addFact(s);
}
bot.printTestStats();
}