#include int main(int, char* []) { return 0; }