./main prog=19
./main prog=51
./main prog=52
./main prog=53
./main prog=63
./main prog=66
./main prog=84
./main prog=90