Index of /~mptp/html_abstr_930/proofs/trees_3

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:17	1.3K
	2_1_1	2006-07-12 03:17	3.7K
	2_1_2	2006-07-12 03:17	1.5K
	3_1_1	2006-07-12 03:17	532
	4_1_1	2006-07-12 03:17	4.8K
	4_1_2	2006-07-12 03:17	1.6K
	5_1_1	2006-07-12 03:17	575
	7	2006-07-12 03:17	2.7K
	8	2006-07-12 03:17	2.8K
	9	2006-07-12 03:17	5.3K
	10	2006-07-12 03:17	2.1K
	11	2006-07-12 03:17	3.0K
	12	2006-07-12 03:17	5.5K
	13	2006-07-12 03:17	2.2K
	14	2006-07-12 03:17	3.1K
	15	2006-07-12 03:17	5.4K
	16	2006-07-12 03:17	2.2K
	17	2006-07-12 03:17	3.0K
	18	2006-07-12 03:17	1.4K
	19	2006-07-12 03:17	2.6K
	20	2006-07-12 03:17	2.8K
	21	2006-07-12 03:17	2.7K
	22	2006-07-12 03:17	3.4K
	23	2006-07-12 03:17	3.7K
	24	2006-07-12 03:17	3.5K
	25	2006-07-12 03:17	1.5K
	26	2006-07-12 03:17	1.6K
	27	2006-07-12 03:17	1.6K
	28_1_1	2006-07-12 03:17	1.4K
	28_2_1	2006-07-12 03:17	1.1K
	29_1_1	2006-07-12 03:17	845
	30_1_1	2006-07-12 03:17	749
	31_1_1	2006-07-12 03:17	786
	32_1_1	2006-07-12 03:17	758
	36_1_1	2006-07-12 03:17	1.0K
	37_1_1	2006-07-12 03:17	1.3K
	38_1_1	2006-07-12 03:17	1.1K
	39_1_1	2006-07-12 03:17	508
	40_1_1	2006-07-12 03:17	775
	41_1_1	2006-07-12 03:17	3.3K
	43_1_1	2006-07-12 03:17	5.4K
	43_2_1	2006-07-12 03:17	683
	44_1_1	2006-07-12 03:17	579
	45_1_1	2006-07-12 03:17	8.8K
	45_1_2	2006-07-12 03:17	3.1K
	47_1_1	2006-07-12 03:17	4.2K
	47_1_2	2006-07-12 03:17	4.1K
	48_1_1	2006-07-12 03:17	1.4K
	49	2006-07-12 03:17	1.1K
	51	2006-07-12 03:17	1.3K
	52	2006-07-12 03:17	4.0K
	53	2006-07-12 03:17	4.2K
	54	2006-07-12 03:17	4.1K
	55	2006-07-12 03:17	3.9K
	56	2006-07-12 03:17	3.9K
	57	2006-07-12 03:17	3.9K
	58	2006-07-12 03:17	1.7K
	59	2006-07-12 03:17	1.9K
	60	2006-07-12 03:17	1.8K
	61	2006-07-12 03:17	2.3K
	62	2006-07-12 03:17	2.5K
	63	2006-07-12 03:17	2.3K
	64	2006-07-12 03:17	3.7K
	65	2006-07-12 03:17	3.9K
	66	2006-07-12 03:17	3.8K
	67_1_1	2006-07-12 03:17	1.2K
	67_2_1	2006-07-12 03:17	927
	68_1_1	2006-07-12 03:17	745
	68_2_1	2006-07-12 03:17	572
	69_1_1	2006-07-12 03:17	917
	70_1_1	2006-07-12 03:17	1.0K
	72_1_1	2006-07-12 03:17	1.1K
	74_1_1	2006-07-12 03:17	1.0K
	76	2006-07-12 03:17	4.5K
	78_1_1	2006-07-12 03:17	862
	80_1_1	2006-07-12 03:17	865
	82_1_1	2006-07-12 03:17	863
	83	2006-07-12 03:17	5.2K
	84_1_1	2006-07-12 03:17	1.2K
	85	2006-07-12 03:17	1.8K
	86	2006-07-12 03:17	972
	88_1_1	2006-07-12 03:17	1.5K
	89_1_1	2006-07-12 03:17	2.9K
	90_1_1	2006-07-12 03:17	1.3K
	91_1_1	2006-07-12 03:17	504
	91_2_1	2006-07-12 03:17	505
	93	2006-07-12 03:17	6.7K
	94	2006-07-12 03:17	8.3K
	95_1_1	2006-07-12 03:17	8.0K
	96_1_1	2006-07-12 03:17	373
	98_1_1	2006-07-12 03:17	725
	99_1_1	2006-07-12 03:17	2.3K
	100_1_1	2006-07-12 03:17	1.2K
	102	2006-07-12 03:17	1.8K
	103	2006-07-12 03:17	6.5K
	104	2006-07-12 03:17	1.8K
	105	2006-07-12 03:17	1.9K
	106	2006-07-12 03:17	3.7K
	107	2006-07-12 03:17	3.4K
	108	2006-07-12 03:17	4.2K
	110	2006-07-12 03:17	15K
	111_1_1	2006-07-12 03:17	42K
	111_1_2	2006-07-12 03:17	2.5K
	114	2006-07-12 03:17	5.8K
	115	2006-07-12 03:17	22K
	116	2006-07-12 03:17	11K
	117	2006-07-12 03:17	14K
	118	2006-07-12 03:17	4.7K
	119	2006-07-12 03:17	7.5K
	120	2006-07-12 03:17	9.9K
	121	2006-07-12 03:17	40K
	122	2006-07-12 03:17	18K
	123	2006-07-12 03:17	68K
	124	2006-07-12 03:17	10K
	125	2006-07-12 03:17	21K
	126_1_1	2006-07-12 03:17	9.7K
	129	2006-07-12 03:17	6.3K
	130	2006-07-12 03:17	4.6K
	131	2006-07-12 03:17	2.0K
	132	2006-07-12 03:17	2.1K
	133	2006-07-12 03:17	3.2K
	134	2006-07-12 03:17	1.9K
	135	2006-07-12 03:17	4.3K
	136	2006-07-12 03:17	1.1K
	137	2006-07-12 03:17	14K
	138	2006-07-12 03:17	2.7K
	139	2006-07-12 03:17	2.9K
	140	2006-07-12 03:17	2.8K
	141	2006-07-12 03:17	2.8K
	142	2006-07-12 03:17	3.9K
	143	2006-07-12 03:17	3.1K
	144	2006-07-12 03:17	8.8K
	145	2006-07-12 03:17	1.3K
	146	2006-07-12 03:17	8.4K
	147	2006-07-12 03:17	5.1K
	148	2006-07-12 03:17	3.1K
	149	2006-07-12 03:17	2.7K
	150	2006-07-12 03:17	5.9K
	152_1_1	2006-07-12 03:17	6.9K
	152_1_2	2006-07-12 03:17	3.1K