Zip Directory of prb_hotp.zip

  Length  Method     Size  Ratio     Date     Time   File Name
 -------  ------  -------  -----  ----------  -----  ---------
    5798  Deflate    2008   66%   1996-08-24  23:51  prb_hotp.prg
 -------          -------  -----                     -------
    5798             2008   65%                            1