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

	Name	Last modified	Size	Description
	Parent Directory		-
	2_3_1	2021-07-17 15:37	3.2K
	5	2021-07-17 15:37	7.5K
	6_1_1	2021-07-17 15:37	5.2K
	6_2_1	2021-07-17 15:37	5.9K
	7	2021-07-17 15:37	26K
	8_1_1	2021-07-17 15:37	2.8K
	9	2021-07-17 15:37	13K
	10_1_1	2021-07-17 15:37	4.8K
	11_1_1	2021-07-17 15:37	2.4K
	11_2_1	2021-07-17 15:37	1.1K
	12_1_1	2021-07-17 15:37	1.7K
	13_1_1	2021-07-17 15:37	3.2K
	14	2021-07-17 15:37	4.7K
	15	2021-07-17 15:37	9.7K
	16	2021-07-17 15:37	20K
	17	2021-07-17 15:37	13K
	18	2021-07-17 15:37	5.1K
	19_1_1	2021-07-17 15:37	12K
	19_1_2	2021-07-17 15:37	11K
	20_1_1	2021-07-17 15:37	4.0K
	21_1_1	2021-07-17 15:37	2.5K
	22_1_1	2021-07-17 15:37	7.6K
	23_1_1	2021-07-17 15:37	2.1K
	24_1_1	2021-07-17 15:37	5.4K
	26	2021-07-17 15:37	7.9K
	27	2021-07-17 15:37	33K
	28	2021-07-17 15:37	21K
	29	2021-07-17 15:37	78K
	30	2021-07-17 15:37	310K
	34_1_1	2021-07-17 15:37	1.4K
	35	2021-07-17 15:37	8.9K
	37_1_1	2021-07-17 15:37	10K
	37_1_2	2021-07-17 15:37	6.9K
	43_1_1	2021-07-17 15:37	1.3K
	45	2021-07-17 15:37	9.4K
	46	2021-07-17 15:37	5.3K
	47	2021-07-17 15:37	10K
	48	2021-07-17 15:37	3.3K
	49_5_1	2021-07-17 15:37	7.8K
	49_6_1	2021-07-17 15:37	17K
	49_7_1	2021-07-17 15:37	44K
	50_1_1	2021-07-17 15:37	2.9K
	51_1_1	2021-07-17 15:37	3.7K
	51_2_1	2021-07-17 15:37	11K
	52_1_1	2021-07-17 15:37	9.8K
	54_1_1	2021-07-17 15:37	3.8K
	55_1_1	2021-07-17 15:37	4.5K
	56	2021-07-17 15:37	18K
	57	2021-07-17 15:37	5.9K
	58_1_1	2021-07-17 15:37	1.4K
	62_1_1	2021-07-17 15:37	3.9K
	65_1_1	2021-07-17 15:37	2.4K
	65_2_1	2021-07-17 15:37	812
	66_1_1	2021-07-17 15:37	1.9K
	67_1_1	2021-07-17 15:37	23K
	67_1_2	2021-07-17 15:37	25K
	68_1_1	2021-07-17 15:37	6.1K
	68_2_1	2021-07-17 15:37	1.2K
	69	2021-07-17 15:37	14K
	70	2021-07-17 15:37	7.1K
	71	2021-07-17 15:37	8.9K
	72	2021-07-17 15:37	29K
	73	2021-07-17 15:37	10K
	74_1_1	2021-07-17 15:37	4.3K
	75_1_1	2021-07-17 15:37	5.2K
	76_1_1	2021-07-17 15:37	1.7K
	77_1_1	2021-07-17 15:37	16K
	78_1_1	2021-07-17 15:37	3.7K
	79_1_1	2021-07-17 15:37	7.8K
	80	2021-07-17 15:37	6.2K
	81	2021-07-17 15:37	8.8K
	82	2021-07-17 15:37	7.0K
	83	2021-07-17 15:37	5.9K
	84	2021-07-17 15:37	9.1K
	85	2021-07-17 15:37	21K
	87	2021-07-17 15:37	15K
	88_1_1	2021-07-17 15:37	4.8K
	89	2021-07-17 15:37	11K
	90	2021-07-17 15:37	8.8K
	91	2021-07-17 15:37	13K
	92_1_1	2021-07-17 15:37	6.2K
	93_1_1	2021-07-17 15:37	2.9K
	94	2021-07-17 15:37	7.7K
	95	2021-07-17 15:37	8.9K
	96	2021-07-17 15:37	9.9K
	97	2021-07-17 15:37	9.1K
	98_1_1	2021-07-17 15:37	3.1K
	100_1_1	2021-07-17 15:37	5.1K
	100_2_1	2021-07-17 15:37	9.3K
	101_1_1	2021-07-17 15:37	4.8K
	102_1_1	2021-07-17 15:37	2.6K
	103	2021-07-17 15:37	17K
	104_1_1	2021-07-17 15:37	3.4K
	105	2021-07-17 15:37	15K
	106	2021-07-17 15:37	23K
	107	2021-07-17 15:37	14K
	108	2021-07-17 15:37	20K
	109	2021-07-17 15:37	19K
	110	2021-07-17 15:37	31K
	111_1_1	2021-07-17 15:37	23K
	112_1_1	2021-07-17 15:37	1.9K
	113	2021-07-17 15:37	5.2K
	114	2021-07-17 15:37	5.9K
	115	2021-07-17 15:37	30K
	116_1_1	2021-07-17 15:37	13K
	117	2021-07-17 15:37	25K
	118_1_1	2021-07-17 15:37	15K
	118_1_2	2021-07-17 15:37	17K
	119_1_1	2021-07-17 15:37	33K
	120_1_1	2021-07-17 15:37	7.3K
	121	2021-07-17 15:37	40K
	122	2021-07-17 15:37	30K
	123_1_1	2021-07-17 15:37	2.2K
	124_1_1	2021-07-17 15:37	25K
	125	2021-07-17 15:37	54K
	126	2021-07-17 15:37	27K
	127	2021-07-17 15:37	30K
	128	2021-07-17 15:37	29K
	129	2021-07-17 15:37	21K
	130	2021-07-17 15:37	19K
	131	2021-07-17 15:37	24K
	132	2021-07-17 15:37	24K
	133_1_1	2021-07-17 15:37	106K
	133_1_2	2021-07-17 15:37	18K
	134	2021-07-17 15:37	5.2K
	135	2021-07-17 15:37	6.6K
	136	2021-07-17 15:37	33K
	137	2021-07-17 15:37	11K
	138	2021-07-17 15:37	14K