/closure.ps/1.1.1.1/Thu Jul  7 17:50:33 2005//
/closure.tex/1.1.1.1/Thu Jul  7 17:50:33 2005//
/hugs_ret.pstex/1.1.1.1/Thu Jul  7 17:50:33 2005//
/hugs_ret.pstex_t/1.1.1.1/Thu Jul  7 17:50:33 2005//
/hugs_ret2.pstex/1.1.1.1/Thu Jul  7 17:50:33 2005//
/hugs_ret2.pstex_t/1.1.1.1/Thu Jul  7 17:50:33 2005//
/rts.tex/1.1.1.1/Thu Jul  7 17:50:34 2005//
D
