Index of /~stolfi/EXPORT/00-EXPORT/Notes/085/out/text

	Name	Last modified	Size	Description
	Parent Directory		-
	port-curr.txt	2025-11-04 04:25	377K
	port-orig.txt	2025-11-04 04:25	378K
	port-phon.txt	2025-11-04 04:25	405K
	span-curr.txt	2025-11-04 04:25	399K