int readint() {
char c = getchar();
while(!isdigit(c)) c = getchar();
int res = 0;
while(isdigit(c)) res = res * 10 + c - '0', c = getchar();
return res;
}
char c = getchar();
while(!isdigit(c)) c = getchar();
int res = 0;
while(isdigit(c)) res = res * 10 + c - '0', c = getchar();
return res;
}