#include <stdio.h>
void state_init() { printf("Init\n"); }
void state_load() { printf("Load\n"); }
void state_execute() { printf("Execute\n"); }
void state_exit() { printf("Exit\n"); }
typedef void (*State)();
void run_state_sequence(int start) {
State Machine[6] = {
state_init,
state_load,
state_execute,
state_exit,
state_init,
state_load,
};
for(int i=0; i<3; i++){
Machine[start + i]();
}
}
int main() {
int start;
scanf("%d", &start);
run_state_sequence(start);
return 0;
}