// This program is not complete and will not compile

int main()
{
   string line;
   
   while ( getline(cin, line) )
   {
      cout << IPv6(line) << "  <==>  " << IPv6_Abbr(line) << endl;
   }
   return 0;
}