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

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2016-08-26 19:37	4.5K
	2	2016-08-26 19:37	14K
	3	2016-08-26 19:37	75K
	4	2016-08-26 19:37	3.7K
	5	2016-08-26 19:37	4.6K
	7_1_1	2016-08-26 19:37	3.2K
	8_1_1	2016-08-26 19:37	11K
	8_1_2	2016-08-26 19:37	14K
	9	2016-08-26 19:37	11K
	10	2016-08-26 19:37	25K
	11	2016-08-26 19:37	48K
	13_1_1	2016-08-26 19:37	8.2K
	14_1_1	2016-08-26 19:37	5.8K
	15	2016-08-26 19:37	7.0K
	16_1_1	2016-08-26 19:37	31K
	16_1_2	2016-08-26 19:37	18K
	17_1_1	2016-08-26 19:37	62K
	17_1_2	2016-08-26 19:37	5.7K
	18_1_1	2016-08-26 19:37	1.0K
	19	2016-08-26 19:37	7.8K
	20	2016-08-26 19:37	5.0K
	21	2016-08-26 19:37	16K
	24_1_1	2016-08-26 19:37	13K
	25	2016-08-26 19:37	12K
	27	2016-08-26 19:37	3.5K
	29	2016-08-26 19:37	10K
	30	2016-08-26 19:37	5.4K
	31_1_1	2016-08-26 19:37	4.6K
	34_1_1	2016-08-26 19:37	258K
	37_1_1	2016-08-26 19:37	14K
	37_1_2	2016-08-26 19:37	27K
	38	2016-08-26 19:37	20K
	39	2016-08-26 19:37	15K
	40	2016-08-26 19:37	26K
	41	2016-08-26 19:37	36K
	42	2016-08-26 19:37	23K
	43	2016-08-26 19:37	16K
	44	2016-08-26 19:37	24K
	45	2016-08-26 19:37	20K
	46	2016-08-26 19:37	18K
	47	2016-08-26 19:37	36K
	48	2016-08-26 19:37	15K
	49	2016-08-26 19:37	41K
	50	2016-08-26 19:37	39K
	51	2016-08-26 19:37	31K
	55_1_1	2016-08-26 19:37	1.3K
	56_1_1	2016-08-26 19:37	6.7K
	57_1_1	2016-08-26 19:37	86K
	57_1_2	2016-08-26 19:37	55K
	58_1_1	2016-08-26 19:37	77K
	59	2016-08-26 19:37	29K
	60	2016-08-26 19:37	28K
	61	2016-08-26 19:37	25K
	63_1_1	2016-08-26 19:37	3.9K
	66_1_1	2016-08-26 19:37	8.2K
	66_1_2	2016-08-26 19:37	7.9K
	67_1_1	2016-08-26 19:37	22K
	67_1_2	2016-08-26 19:37	12K
	68	2016-08-26 19:37	6.7K
	70	2016-08-26 19:37	14K
	71_1_1	2016-08-26 19:37	5.4K
	72	2016-08-26 19:37	37K
	73	2016-08-26 19:37	18K
	74	2016-08-26 19:37	18K
	75	2016-08-26 19:37	30K
	76	2016-08-26 19:37	22K
	77	2016-08-26 19:37	6.5K
	78	2016-08-26 19:37	5.7K
	80	2016-08-26 19:37	11K
	81	2016-08-26 19:37	24K
	82	2016-08-26 19:37	11K
	83	2016-08-26 19:37	19K
	84_1_1	2016-08-26 19:37	81K
	85	2016-08-26 19:37	3.2K
	86	2016-08-26 19:37	36K
	87	2016-08-26 19:37	58K
	88	2016-08-26 19:37	52K
	89	2016-08-26 19:37	41K
	90	2016-08-26 19:37	32K
	91	2016-08-26 19:37	59K
	92	2016-08-26 19:37	18K
	93	2016-08-26 19:37	51K
	94	2016-08-26 19:37	3.6K
	95	2016-08-26 19:37	16K
	96	2016-08-26 19:37	41K
	97	2016-08-26 19:37	38K
	99	2016-08-26 19:37	265K
	100	2016-08-26 19:37	213K
	101	2016-08-26 19:37	7.2K
	103_1_1	2016-08-26 19:37	5.3K
	104_1_1	2016-08-26 19:37	40K
	105_1_1	2016-08-26 19:37	12K
	106_1_1	2016-08-26 19:37	11K
	108_1_1	2016-08-26 19:37	3.9K
	111_1_1	2016-08-26 19:37	8.2K
	111_1_2	2016-08-26 19:37	8.0K
	112_1_1	2016-08-26 19:37	23K
	112_1_2	2016-08-26 19:37	12K
	113	2016-08-26 19:37	5.4K
	115	2016-08-26 19:37	10K
	116	2016-08-26 19:37	27K
	117	2016-08-26 19:37	13K
	118	2016-08-26 19:37	9.5K
	119	2016-08-26 19:37	9.2K
	120	2016-08-26 19:37	13K
	121	2016-08-26 19:37	27K
	122	2016-08-26 19:37	30K
	123	2016-08-26 19:37	22K
	124	2016-08-26 19:37	6.4K
	125	2016-08-26 19:37	5.7K
	127	2016-08-26 19:37	11K
	128	2016-08-26 19:37	24K
	129	2016-08-26 19:37	11K
	130	2016-08-26 19:37	19K
	131	2016-08-26 19:37	82K
	133	2016-08-26 19:37	36K
	134	2016-08-26 19:37	89K
	135	2016-08-26 19:37	105K
	137	2016-08-26 19:37	150K
	138	2016-08-26 19:37	36K
	139	2016-08-26 19:37	329K