#include <stdio.h>
int main(void) {
// your code goes here
char cmd[256] = "timers basic 5 7 7";
char tmp[256];
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgkvLyB5b3VyIGNvZGUgZ29lcyBoZXJlCgljaGFyIGNtZFsyNTZdID0gInRpbWVycyBiYXNpYyA1IDcgNyI7CgljaGFyIHRtcFsyNTZdOwoJc3ByaW50Zih0bXAsICIgJXNcbiIsY21kKTsKCXByaW50Zih0bXApOwoJcmV0dXJuIDA7Cn0K