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

	Name	Last modified	Size	Description
	Parent Directory		-
	port-curr.txt	2025-11-04 04:25	208K
	port-orig.txt	2025-11-04 04:25	208K
	port-phon.txt	2025-11-04 04:25	222K
	span-curr.txt	2025-11-04 04:25	208K