#! /usr/bin/gawk -f
# Last edited on 2003-10-12 15:26:23 by stolfi

// {
  # CAUTION: the replacements must be performed in the order shown!
  gsub(/\347/,"\301");
  gsub(/\203/,"\311");
  gsub(/\315/,"\325");
  gsub(/\352/,"\315");
  gsub(/\356/,"\323");
  gsub(/\362/,"\332");
  gsub(/\207/,"\341");
  gsub(/\351/,"\310");
  gsub(/\216/,"\351");
  gsub(/\314/,"\303");
  gsub(/\355/,"\314");
  gsub(/\222/,"\355");
  gsub(/\363/,"\333");
  gsub(/\227/,"\363");
  gsub(/\234/,"\372");
  gsub(/\313/,"\300");
  gsub(/\361/,"\322");
  gsub(/\364/,"\331");
  gsub(/\210/,"\340");
  gsub(/\350/,"\313");
  gsub(/\217/,"\350");
  gsub(/\354/,"\317");
  gsub(/\223/,"\354");
  gsub(/\230/,"\362");
  gsub(/\235/,"\371");
  gsub(/\345/,"\302");
  gsub(/\346/,"\312");
  gsub(/\353/,"\316");
  gsub(/\357/,"\324");
  gsub(/\211/,"\342");
  gsub(/\220/,"\352");
  gsub(/\224/,"\356");
  gsub(/\231/,"\364");
  gsub(/\236/,"\373");
  gsub(/\213/,"\343");
  gsub(/\233/,"\365");
  gsub(/\204/,"\321");
  gsub(/\226/,"\361");
  gsub(/\200/,"\304");
  gsub(/\205/,"\326");
  gsub(/\206/,"\334");
  gsub(/\212/,"\344");
  gsub(/\221/,"\353");
  gsub(/\225/,"\357");
  gsub(/\232/,"\366");
  gsub(/\237/,"\374");
  gsub(/\215/,"\347");
  gsub(/\202/,"\307");
  print;
}