#include <stdio.h>
int main(void) {
int i;
for(i=7;i<=1000;i+=7)
{if((i%27==1)||(i%31==3)){
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglpbnQgaTsKCWZvcihpPTc7aTw9MTAwMDtpKz03KQoJe2lmKChpJTI3PT0xKXx8KGklMzE9PTMpKXsKCXByaW50ZigiJWQgIixpKTt9fQoJcmV0dXJuIDA7Cn0K