#!/usr/bin/perl

while(<STDIN>) {
   chomp;
   split / /;
   for (@_) {
      $GZSUFF = "";
      if (/.gz$/)
       { s/.gz$//; $GZSUFF = " gz" if ($ARGV[0] == "-gz"); }
      if (/.*\.(con|var|ind)(\.body)?(\.types)?(\.ann)?(\.proof_tree)?\.xml/)
       { s/\./cic:/; }
      elsif (/.*\.theory\.xml/)
       { s/\./theory:/; }
      s/\.xml//;
      print $_.$GZSUFF."\n";
 }
}