Index of /~mptp/html_abstr_930/proofs/yellow18

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1	2006-07-12 03:12	45K
	2_1	2006-07-12 03:12	14K
	3_1	2006-07-12 03:12	13K
	4_1	2006-07-12 03:12	25K
	5_1	2006-07-12 03:12	26K
	6_1	2006-07-12 03:12	28K
	7_1_1	2006-07-12 03:12	1.2K
	8_1	2006-07-12 03:12	60K
	9_1	2006-07-12 03:12	52K
	10	2006-07-12 03:12	25K
	11_1	2006-07-12 03:12	56K
	12	2006-07-12 03:12	33K
	13_1_1	2006-07-12 03:12	13K
	14_1	2006-07-12 03:12	39K
	15_1	2006-07-12 03:12	6.8K
	16_1	2006-07-12 03:12	39K
	17_1	2006-07-12 03:12	6.8K
	18_1_1	2006-07-12 03:12	1.3K
	19	2006-07-12 03:12	3.5K
	20	2006-07-12 03:12	11K
	21	2006-07-12 03:12	3.6K
	22_1	2006-07-12 03:12	11K
	23_1	2006-07-12 03:12	10K
	24_1_1	2006-07-12 03:12	7.0K
	25	2006-07-12 03:12	2.5K
	26	2006-07-12 03:12	3.6K
	27	2006-07-12 03:12	51K
	28	2006-07-12 03:12	5.1K
	29	2006-07-12 03:12	18K
	30	2006-07-12 03:12	16K
	31	2006-07-12 03:12	16K
	32	2006-07-12 03:12	17K
	34_1_1	2006-07-12 03:12	618
	35_1_1	2006-07-12 03:12	617
	36_2_1	2006-07-12 03:12	2.1K
	36_2_2	2006-07-12 03:12	5.7K
	37	2006-07-12 03:12	7.9K
	38	2006-07-12 03:12	9.3K
	39_1_1	2006-07-12 03:12	775
	39_2_1	2006-07-12 03:12	775
	40	2006-07-12 03:12	945
	41	2006-07-12 03:12	5.3K
	42	2006-07-12 03:12	1.5K
	43	2006-07-12 03:12	1.5K
	45	2006-07-12 03:12	4.0K
	46	2006-07-12 03:12	4.0K
	47	2006-07-12 03:12	8.2K
	48	2006-07-12 03:12	10K
	49	2006-07-12 03:12	91K
	50	2006-07-12 03:12	22K
	51_1_1	2006-07-12 03:12	1.2K
	52	2006-07-12 03:12	1.5K
	53	2006-07-12 03:12	1.8K
	54	2006-07-12 03:12	2.3K
	55	2006-07-12 03:12	1.6K
	56	2006-07-12 03:12	3.0K
	59_1_1	2006-07-12 03:12	3.2K
	60_1_1	2006-07-12 03:12	1.6K
	63	2006-07-12 03:12	4.5K
	64	2006-07-12 03:12	1.3K
	66_1_1	2006-07-12 03:12	956
	69_1_1	2006-07-12 03:12	575
	70	2006-07-12 03:12	11K
	71	2006-07-12 03:12	2.4K
	72_1_1	2006-07-12 03:12	2.6K
	73	2006-07-12 03:12	2.5K
	74	2006-07-12 03:12	2.5K
	75	2006-07-12 03:12	3.8K
	76_1	2006-07-12 03:12	43K
	77_1	2006-07-12 03:12	26K
	78_1	2006-07-12 03:12	10K
	79_1	2006-07-12 03:12	14K
	80_1	2006-07-12 03:12	13K
	81_1	2006-07-12 03:12	14K
	82	2006-07-12 03:12	4.5K
	83	2006-07-12 03:12	4.0K
	84	2006-07-12 03:12	2.2K
	85	2006-07-12 03:12	7.8K
	86	2006-07-12 03:12	4.9K
	87_1	2006-07-12 03:12	59K
	88_1	2006-07-12 03:12	13K
	88_2	2006-07-12 03:12	9.1K
	88_3_1	2006-07-12 03:12	15K
	88_3_2	2006-07-12 03:12	2.7K
	89	2006-07-12 03:12	13K
	90_1_1	2006-07-12 03:12	1.2K
	91	2006-07-12 03:12	28K
	92	2006-07-12 03:12	19K
	93_1	2006-07-12 03:12	14K
	94_1_1	2006-07-12 03:12	12K
	94_1_2	2006-07-12 03:12	78K
	95_1_1	2006-07-12 03:12	22K
	96	2006-07-12 03:12	735