#!/usr/bin/perl

open(LS,"find . -name '*.intohylo' -print |");
while (<LS>) {
  chop();
  $in = $_;
  $out = $in;
  $out =~ s/intohylo/ksp/;
  print(STDOUT "$in -> $out\n");
  open(IN,$in);
  open(OUT,">$out");
  print(OUT "sos(formulas).\n");
  while (<IN>) {
    chop();
    print(OUT "$_.\n") unless (/begin|end/);
  }
  print(OUT "end_of_list.\n");
  close(OUT);
  close(IN);
}
close(LS);