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

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