Index of /~mptp/8.1.15_5.94.1493/html/proofs/simplex1

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2025-09-07 19:21	99K
	2	2025-09-07 19:21	53K
	4_1_1	2025-09-07 19:21	1.1K
	5_1_1	2025-09-07 19:21	1.7K
	6	2025-09-07 19:21	11K
	7_1_1	2025-09-07 19:22	17K
	7_1_2	2025-09-07 19:22	8.3K
	8	2025-09-07 19:22	9.3K
	9	2025-09-07 19:22	17K
	10	2025-09-07 19:22	10K
	11	2025-09-07 19:22	12K
	12	2025-09-07 19:22	29K
	13_1_1	2025-09-07 19:22	3.6K
	14	2025-09-07 19:22	9.6K
	15_1_1	2025-09-07 19:22	2.2K
	16	2025-09-07 19:22	4.7K
	17	2025-09-07 19:22	18K
	18	2025-09-07 19:22	26K
	19	2025-09-07 19:22	12K
	20_1_1	2025-09-07 19:22	3.1K
	22	2025-09-07 19:22	123K
	23_1_1	2025-09-07 19:22	1.2K
	24_1_1	2025-09-07 19:22	2.2K
	25_1_1	2025-09-07 19:22	9.5K
	26	2025-09-07 19:22	4.4K
	27	2025-09-07 19:22	4.9K
	28	2025-09-07 19:22	6.7K
	29	2025-09-07 19:22	12K
	30	2025-09-07 19:22	64K
	31	2025-09-07 19:22	27K
	32	2025-09-07 19:22	11K
	33	2025-09-07 19:22	25K
	34_1_1	2025-09-07 19:22	2.2K
	35_1_1	2025-09-07 19:22	8.1K
	38_1_1	2025-09-07 19:22	4.0K
	38_2_1	2025-09-07 19:22	4.0K
	39_1_1	2025-09-07 19:22	8.0K
	40_1_1	2025-09-07 19:22	42K
	41_1_1	2025-09-07 19:22	2.3K
	42_1_1	2025-09-07 19:22	7.1K
	43_1_1	2025-09-07 19:22	4.8K
	44_1_1	2025-09-07 19:22	10K
	45	2025-09-07 19:22	51K
	47	2025-09-07 19:22	14K
	48	2025-09-07 19:22	24K
	49	2025-09-07 19:22	14K
	50_1_1	2025-09-07 19:22	1.5K
	50_2_1	2025-09-07 19:22	6.2K
	51_1_1	2025-09-07 19:22	22K
	52	2025-09-07 19:22	177K
	53_1_1	2025-09-07 19:22	1.5K
	53_2_1	2025-09-07 19:22	6.4K
	54	2025-09-07 19:22	39K
	55	2025-09-07 19:22	11K
	56	2025-09-07 19:22	13K
	57	2025-09-07 19:22	16K
	58	2025-09-07 19:22	47K
	59	2025-09-07 19:22	95K
	60	2025-09-07 19:22	103K
	61	2025-09-07 19:22	62K
	62	2025-09-07 19:22	43K
	63	2025-09-07 19:22	77K
	64	2025-09-07 19:22	246K
	65	2025-09-07 19:22	48K
	66	2025-09-07 19:22	72K
	67	2025-09-07 19:22	80K
	68	2025-09-07 19:22	67K
	69	2025-09-07 19:22	364K
	70	2025-09-07 19:22	69K
	71	2025-09-07 19:22	648K
	72	2025-09-07 19:22	25K