Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/html/proofs/margrel1

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2021-07-17 15:41	11K
	2_1_1	2021-07-17 15:41	1.2K
	4	2021-07-17 15:41	2.6K
	5_1	2021-07-17 15:41	16K
	6_1_1	2021-07-17 15:41	3.2K
	8_1_1	2021-07-17 15:41	2.3K
	8_1_2	2021-07-17 15:41	4.8K
	9_1_1	2021-07-17 15:41	1.6K
	10_1_1	2021-07-17 15:41	1.6K
	11	2021-07-17 15:41	1.5K
	12	2021-07-17 15:41	1.6K
	13_1_1	2021-07-17 15:41	1.6K
	14_1_1	2021-07-17 15:41	16K
	14_1_2	2021-07-17 15:41	16K
	15_1_1	2021-07-17 15:41	16K
	17	2021-07-17 15:41	6.2K
	18	2021-07-17 15:41	8.8K
	19	2021-07-17 15:41	12K
	20_1_1	2021-07-17 15:41	11K
	21_1	2021-07-17 15:41	16K
	22_1_1	2021-07-17 15:41	3.4K
	23	2021-07-17 15:41	4.0K
	24_1_1	2021-07-17 15:41	2.6K
	24_1_2	2021-07-17 15:41	5.2K
	25_1	2021-07-17 15:41	18K
	31_1_1	2021-07-17 15:41	4.6K
	31_2_1	2021-07-17 15:41	5.8K
	38_1_1	2021-07-17 15:41	1.2K
	39_1_1	2021-07-17 15:41	5.6K
	40_1_1	2021-07-17 15:41	8.4K
	40_1_2	2021-07-17 15:41	10K
	40_1_3	2021-07-17 15:41	9.8K
	40_2_1	2021-07-17 15:41	9.7K
	40_2_2	2021-07-17 15:41	13K
	42_1_1	2021-07-17 15:41	2.1K
	42_1_2	2021-07-17 15:41	9.7K
	42_2_1	2021-07-17 15:41	2.7K
	42_2_2	2021-07-17 15:41	13K
	45_1_1	2021-07-17 15:41	1.4K
	46_1_1	2021-07-17 15:41	960
	47_1_1	2021-07-17 15:41	17K
	48_1_1	2021-07-17 15:41	5.4K
	50	2021-07-17 15:41	18K
	51	2021-07-17 15:41	13K
	55_1_1	2021-07-17 15:41	1.2K
	56_1_1	2021-07-17 15:41	24K
	57_1_1	2021-07-17 15:41	6.0K
	58	2021-07-17 15:41	31K
	59_1_1	2021-07-17 15:41	7.9K
	59_1_2	2021-07-17 15:41	9.5K
	61	2021-07-17 15:41	8.7K
	62	2021-07-17 15:41	15K
	63_1_1	2021-07-17 15:41	4.5K