Index of /~mptp/html_abstr_930/proofs/yellow13

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2006-07-12 02:35	2.4K
	4_1_1	2006-07-12 02:35	2.6K
	5_1_1	2006-07-12 02:35	925
	6_1_1	2006-07-12 02:35	654
	6_2_1	2006-07-12 02:35	652
	6_3_1	2006-07-12 02:35	655
	7	2006-07-12 02:35	5.6K
	10_1_1	2006-07-12 02:35	654
	11_1_1	2006-07-12 02:35	1.8K
	12_1_1	2006-07-12 02:35	722
	13	2006-07-12 02:35	2.5K
	14	2006-07-12 02:35	4.3K
	15	2006-07-12 02:35	4.0K
	16	2006-07-12 02:35	880
	18_1_1	2006-07-12 02:35	7.2K
	19_1_1	2006-07-12 02:35	5.8K
	20_1_1	2006-07-12 02:35	3.7K
	21_1_1	2006-07-12 02:35	5.4K
	22	2006-07-12 02:35	2.1K
	23	2006-07-12 02:35	8.6K
	24	2006-07-12 02:35	2.2K
	26	2006-07-12 02:35	6.9K
	28	2006-07-12 02:35	13K
	29	2006-07-12 02:35	12K
	30	2006-07-12 02:35	1.1K
	32	2006-07-12 02:35	6.9K
	33	2006-07-12 02:35	3.1K
	34	2006-07-12 02:35	9.7K
	35	2006-07-12 02:35	2.2K
	36	2006-07-12 02:35	2.5K
	37	2006-07-12 02:35	4.2K
	38	2006-07-12 02:35	2.8K
	39	2006-07-12 02:35	2.9K
	40_1_1	2006-07-12 02:35	1.9K
	41_1_1	2006-07-12 02:35	5.1K
	42	2006-07-12 02:35	2.8K
	43	2006-07-12 02:35	2.0K
	45_1_1	2006-07-12 02:35	674
	49_1_1	2006-07-12 02:35	1.0K
	50_1_1	2006-07-12 02:35	1.1K
	51	2006-07-12 02:35	10K
	52	2006-07-12 02:35	4.2K
	53	2006-07-12 02:35	3.4K
	54_1_1	2006-07-12 02:35	1.1K
	55	2006-07-12 02:35	1.8K
	56	2006-07-12 02:35	1.0K
	58_1_1	2006-07-12 02:35	674
	59	2006-07-12 02:35	15K
	60	2006-07-12 02:35	5.7K
	62_1_1	2006-07-12 02:35	13K
	63_1_1	2006-07-12 02:35	803
	64	2006-07-12 02:35	16K