file	date	size
fig1.gif	2003-08-18	97140
fig2.gif	2003-08-18	67433
fig3.gif	2003-08-18	106469
fig4.gif	2003-08-18	7326
fig5.gif	2003-08-18	8544
ms.pdf	2003-08-18	143797
ms.ps.gz	2003-08-18	44707
ms.tex.gz	2003-08-18	7862