#!/usr/bin/perl

while(<STDIN>) {
   chomp;
   split / /;
   for (@_) {
      if (/.*\.(con|var|ind)\.xml/)
       { s/\./cic:/; }
      elsif (/.*\.theory\.xml/)
       { s/\./theory:/; }
      s/\.xml//;
      print;
      print "\n";
 }
}
