Index of /mmixmasters/5_2_1E31

	Name	Last modified	Size	Description
	Parent Directory		-
	ex31.mms	2022-12-06 09:55	1.2K
	ex31.tst	2022-12-06 09:55	1.8K
	ex31imp.mms	2022-12-06 09:55	1.3K
	ex31imp.tst	2022-12-06 09:55	1.8K
	ex33.mms	2022-12-06 09:55	1.7K
	ex33.tst	2022-12-06 09:55	1.8K