#include void catch(){ puts("FLAG_***"); }