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