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

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2016-08-26 19:30	17K
	2	2016-08-26 19:30	11K
	4_1_1	2016-08-26 19:30	9.8K
	4_2_1	2016-08-26 19:30	9.8K
	5_1_1	2016-08-26 19:30	16K
	5_2_1	2016-08-26 19:30	17K
	6	2016-08-26 19:30	26K
	7	2016-08-26 19:30	51K
	8_1_1	2016-08-26 19:30	37K
	9_1_1	2016-08-26 19:30	24K
	11_1_1	2016-08-26 19:30	12K
	12	2016-08-26 19:30	29K
	14	2016-08-26 19:30	32K
	15	2016-08-26 19:30	44K
	17	2016-08-26 19:30	46K
	19	2016-08-26 19:30	3.5K
	20	2016-08-26 19:30	2.8K
	22	2016-08-26 19:30	5.1K
	23	2016-08-26 19:30	33K
	25	2016-08-26 19:30	47K
	27	2016-08-26 19:30	55K
	28	2016-08-26 19:30	23K
	29	2016-08-26 19:30	11K
	30	2016-08-26 19:30	13K
	31	2016-08-26 19:30	27K
	32	2016-08-26 19:30	29K
	33	2016-08-26 19:30	62K
	34	2016-08-26 19:30	64K
	35	2016-08-26 19:30	4.0K
	36	2016-08-26 19:30	7.7K
	37	2016-08-26 19:31	31K
	38	2016-08-26 19:31	32K
	39_1_1	2016-08-26 19:31	23K
	40	2016-08-26 19:31	24K
	41	2016-08-26 19:31	3.6K
	42	2016-08-26 19:31	5.8K
	43	2016-08-26 19:31	3.5K
	44	2016-08-26 19:31	3.6K
	45	2016-08-26 19:31	4.6K
	46	2016-08-26 19:31	6.1K
	47	2016-08-26 19:31	7.7K
	48	2016-08-26 19:31	4.9K