int main() { return 114514; }