Index of /mmixmasters/5_2_1E31

	Name	Last modified	Size	Description
	Parent Directory		-
	ex31.mms	2024-12-31 12:59	1.2K
	ex31.tst	2024-12-31 12:59	1.8K
	ex31imp.mms	2024-12-31 12:59	1.3K
	ex31imp.tst	2024-12-31 12:59	1.8K
	ex33.mms	2024-12-31 12:59	1.7K
	ex33.tst	2024-12-31 12:59	1.8K