/* decompress.c */

#include "os.h"
#include "copyright.h"
#include "config.h"

const char *uncompress (const char *);

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