int main() {
  ok;}
