Index of /~mptp/1147/miztmp1/proofs/sprect_4

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2017-03-30 00:40	108K
	2	2017-03-30 00:40	8.2K
	3	2017-03-30 00:40	24K
	4	2017-03-30 00:40	63K
	5	2017-03-30 00:40	132K
	6	2017-03-30 00:40	2.3M
	7	2017-03-30 00:40	10K
	8	2017-03-30 00:40	6.8K