Index of /~mptp/chad/leancop

	Name	Last modified	Size	Description
	Parent Directory		-
	out/	2020-01-20 15:04	-
	out2/	2020-01-20 16:12	-
	smapleproofhuman.txt	2020-01-20 12:38	5.4K
	t9_zfmisc.p.out	2020-01-20 12:39	2.6K