Index of /~mptp/html_abstr_930/proofs/trees_9

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 03:18	644
	2_1_1	2006-07-12 03:18	15K
	3	2006-07-12 03:18	2.1K
	5	2006-07-12 03:18	2.1K
	7	2006-07-12 03:18	3.4K
	8	2006-07-12 03:18	7.4K
	9	2006-07-12 03:18	10K
	11_1_1	2006-07-12 03:18	679
	12	2006-07-12 03:18	5.6K
	13	2006-07-12 03:18	5.0K
	14	2006-07-12 03:18	3.4K
	15_1_1	2006-07-12 03:18	542
	15_2_1	2006-07-12 03:18	2.1K
	16_1_1	2006-07-12 03:18	792
	18_1_1	2006-07-12 03:18	1.2K
	19_1_1	2006-07-12 03:18	383
	21_1_1	2006-07-12 03:18	843
	21_2_1	2006-07-12 03:18	954
	22_1_1	2006-07-12 03:18	655
	26_1	2006-07-12 03:18	35K
	27_1_1	2006-07-12 03:18	459
	28	2006-07-12 03:18	7.7K
	29_1_1	2006-07-12 03:18	18K
	29_1_2	2006-07-12 03:18	6.7K
	30_1_1	2006-07-12 03:18	2.8K
	31	2006-07-12 03:18	30K
	33	2006-07-12 03:18	1.2K
	34_1_1	2006-07-12 03:18	542
	36_1_1	2006-07-12 03:18	3.0K
	37_1_1	2006-07-12 03:18	2.2K
	38_1_1	2006-07-12 03:18	2.6K
	39_1_1	2006-07-12 03:18	1.2K
	40	2006-07-12 03:18	924
	41	2006-07-12 03:18	5.0K
	42	2006-07-12 03:18	2.9K
	43_1_1	2006-07-12 03:18	4.9K
	44_1_1	2006-07-12 03:18	1.8K
	45	2006-07-12 03:18	1.1K
	46	2006-07-12 03:18	2.4K
	47_1_1	2006-07-12 03:18	5.4K
	48	2006-07-12 03:18	6.3K
	49_1_1	2006-07-12 03:18	16K
	49_1_2	2006-07-12 03:18	5.7K
	51_1_1	2006-07-12 03:18	3.5K
	52_1_1	2006-07-12 03:18	2.5K
	53_1_1	2006-07-12 03:18	2.9K
	54	2006-07-12 03:18	1.4K
	55	2006-07-12 03:18	2.7K
	57	2006-07-12 03:18	3.3K
	58	2006-07-12 03:18	5.2K
	59_1_1	2006-07-12 03:18	5.4K
	60	2006-07-12 03:18	7.3K
	61	2006-07-12 03:18	4.5K
	62	2006-07-12 03:18	6.6K
	63_1_1	2006-07-12 03:18	16K
	63_1_2	2006-07-12 03:18	5.7K
	64_1_1	2006-07-12 03:18	523
	65	2006-07-12 03:18	3.2K
	66	2006-07-12 03:18	11K
	67	2006-07-12 03:18	19K
	68	2006-07-12 03:18	16K