Name Last modified Size Parent Directory - origin.ps 2005-10-11 18:54 17K ransom10.300gf 1992-09-02 09:00 7.3K ransom10.300pk 1992-09-02 09:00 3.1K origin.tex 1992-09-02 09:00 700 ransom10.tfm 1992-09-02 09:00 552