Index of /~mptp/hhutils/hhutils

	Name	Last modified	Size	Description
	Parent Directory		-
	deps3.sh	2023-02-19 09:14	132
	features	2023-02-15 18:02	2.6M
	fofshared.trms2	2023-02-15 17:53	411K
	predict	2023-02-15 17:52	1.9M
	tptp4X	2023-02-15 17:54	146K