Index of /~stolfi/EXPORT/00-EXPORT/Notes/100-old-data/sample-semiold/chin/red

	Name	Last modified	Size	Description
	Parent Directory		-
	bod.1/	2002-01-17 22:08	-
	gud.num	2002-01-17 01:42	6
	source/	2022-09-23 19:14	-
	tot.t/	2002-01-17 22:08	-
	trunc-summary.tex	2002-01-17 02:13	472
	whole-summary.tex	2002-01-17 02:13	480