Index of /7/2/4/5/72456/72456-h/images

	Name	Last modified	Size	Description

	Parent Directory		-
	cover.jpg	2023-12-20 11:31	237K
	titlepage.jpg	2023-12-20 11:31	25K

Apache/2.4.52 (Ubuntu) Server at mirrors.pglaf.org Port 443