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

	Name	Last modified	Size	Description
	Parent Directory		-
	2_1_1	2021-07-17 15:42	6.7K
	5_1_1	2021-07-17 15:42	1.6K
	6	2021-07-17 15:42	1.9K
	7	2021-07-17 15:42	3.7K
	8	2021-07-17 15:42	2.2K
	11	2021-07-17 15:42	3.1K
	14_1_1	2021-07-17 15:42	4.4K
	16	2021-07-17 15:42	7.4K
	17	2021-07-17 15:42	8.8K
	18	2021-07-17 15:42	5.3K
	19	2021-07-17 15:42	13K
	20_1_1	2021-07-17 15:42	1.2K
	21	2021-07-17 15:42	5.4K
	22	2021-07-17 15:42	21K
	23	2021-07-17 15:42	4.3K
	24_1_1	2021-07-17 15:42	27K
	24_1_2	2021-07-17 15:42	14K
	27_1_1	2021-07-17 15:42	49K
	28_1_1	2021-07-17 15:42	6.0K
	28_1_2	2021-07-17 15:42	8.0K
	29	2021-07-17 15:42	6.7K
	30	2021-07-17 15:42	3.3K
	31	2021-07-17 15:42	6.6K
	34_1_1	2021-07-17 15:42	3.9K
	35_1_1	2021-07-17 15:42	9.1K
	36_1_1	2021-07-17 15:42	9.1K
	37_1_1	2021-07-17 15:42	9.1K
	38	2021-07-17 15:42	12K
	39	2021-07-17 15:42	12K
	40	2021-07-17 15:42	12K
	41	2021-07-17 15:42	12K
	42	2021-07-17 15:42	12K
	43	2021-07-17 15:42	23K
	44	2021-07-17 15:42	6.4K
	45	2021-07-17 15:42	2.3K
	46	2021-07-17 15:42	3.7K
	49	2021-07-17 15:42	9.2K
	51_1_1	2021-07-17 15:42	5.8K
	53_1_1	2021-07-17 15:42	2.4K
	54	2021-07-17 15:42	6.7K
	56_1_1	2021-07-17 15:42	1.9K
	57_1_1	2021-07-17 15:42	13K
	58_1_1	2021-07-17 15:42	1.7K
	59	2021-07-17 15:42	2.5K
	60	2021-07-17 15:42	3.4K
	63_1_1	2021-07-17 15:42	3.8K
	65	2021-07-17 15:42	6.1K
	66	2021-07-17 15:42	7.4K
	67	2021-07-17 15:42	13K
	68_1_1	2021-07-17 15:42	1.9K
	69	2021-07-17 15:42	5.2K
	70_1_1	2021-07-17 15:42	3.1K
	71	2021-07-17 15:42	12K