foldedt-package	foldedt-package
dfoldedt	dfoldedt
foldedt.mle	foldedt.mle
halft.mle	halft.mle
halft1.mle	halft1.mle
