Index of /versions/objects/527

	Name	Last modified	Size	Description
	Parent Directory		-
	Groupoids_1.xml	2026-08-15 01:45	6.5K
	Groupoids_2.xml	2026-08-15 01:45	6.6K
	Groupoids_3.xml	2026-08-15 01:45	6.8K
	Groupoids_4.xml	2026-08-15 01:45	7.0K