int main() { return !0; }