#include /* strict input checker */ int read_int() { int c = getchar(), s = 0, res = 0; if (c == '-') s = 1, c = getchar(); assert('0' <= c && c <= '9'); if (s) assert(c != '0'); res = c - '0'; while (1) { c = getchar(); if (c < '0' || c > '9') break; assert(res <= 200000000); // avoid overflow assert(res); // no leading-zero res = res * 10 + c - '0'; } ungetc(c, stdin); return s ? -res : res; } void read_linebreak() { int c = getchar(); if (c == '\r') c = getchar(); assert(c == '\n'); } int main() { for (int i = 0; i < 10; i++) { int n = read_int(); assert(getchar() == ' '); int p = read_int(); assert(getchar() == ' '); int x = read_int(); assert(getchar() == ' '); int y = read_int(); read_linebreak(); assert(1 <= n && n < 1000); assert(n & 1); assert(1 <= p && p <= 1000000000); assert(0 <= x && x <= p); assert(0 <= y && y <= p); } assert(getchar() == EOF); return 0; }