int main() {
  ok;
  
}
