int main ()
{
  
}

// EOF //