Index of /~mptp/8.1.05_5.37.1275/html/proofs/altcat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	5_1	2016-08-26 19:33	8.5K
	6_1	2016-08-26 19:33	3.6K
	7_1	2016-08-26 19:33	13K
	8_1	2016-08-26 19:33	4.4K
	9	2016-08-26 19:33	12K
	10	2016-08-26 19:33	5.9K
	11	2016-08-26 19:33	14K
	17_1_1	2016-08-26 19:33	6.2K
	17_1_2	2016-08-26 19:33	12K
	17_2_1	2016-08-26 19:33	7.9K
	17_2_2	2016-08-26 19:33	14K
	19_1_1	2016-08-26 19:33	6.2K
	22_1_1	2016-08-26 19:33	10K
	23_1_1	2016-08-26 19:33	3.8K
	25_1_1	2016-08-26 19:33	26K
	28	2016-08-26 19:33	9.5K
	29_1_1	2016-08-26 19:33	12K
	30	2016-08-26 19:33	9.8K
	31	2016-08-26 19:33	21K
	32	2016-08-26 19:33	14K
	35_1_1	2016-08-26 19:33	35K
	36	2016-08-26 19:33	25K
	37_1_1	2016-08-26 19:33	44K
	37_1_2	2016-08-26 19:33	23K
	39	2016-08-26 19:33	81K
	40_1_1	2016-08-26 19:33	3.8K
	41	2016-08-26 19:33	9.8K
	42	2016-08-26 19:33	4.5K
	44_1_1	2016-08-26 19:33	44K
	44_2_1	2016-08-26 19:33	23K
	46_1_1	2016-08-26 19:33	8.6K
	46_1_2	2016-08-26 19:33	12K
	47	2016-08-26 19:33	3.1K
	48	2016-08-26 19:33	12K
	49	2016-08-26 19:33	20K
	51	2016-08-26 19:33	18K
	53	2016-08-26 19:33	5.1K
	57_1_1	2016-08-26 19:34	61K
	57_1_2	2016-08-26 19:34	41K
	59	2016-08-26 19:34	5.9K
	60	2016-08-26 19:34	5.4K
	61_1_1	2016-08-26 19:34	92K