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