/* decompress.c */

#include <stdio.h>
#include "copyright.h"
#include "config.h"

const char *uncompress();

main()
{
  char buf[16384];
  while (gets(buf)) {
    puts(uncompress(buf));
  }
  exit(0);
}