#include int main() { printf("all ok\n"); return 0; }