TEXT default1.hot
  HTML ghostscr.htm
  HTML tarski1.htm
   GIF tarski10.gif
   GIF tarski11.gif
   GIF tarski12.gif
   GIF tarski14.gif
  HTML tarski3d.htm
  HTML tarski3e.htm
  TEXT tarski3e.url
   GIF tarski5.gif
   GIF tarski6.gif
   GIF tarski7.gif
   GIF tarski8.gif
   GIF tarski9.gif
   BIN ~wrd2230.tmp