Index of /~mptp/html_abstr_930/proofs/circuit1

	Name	Last modified	Size	Description
	Parent Directory		-
	2_1_1	2006-07-12 03:47	12K
	2_1_2	2006-07-12 03:47	18K
	3	2006-07-12 03:47	17K
	5	2006-07-12 03:47	5.0K
	8	2006-07-12 03:47	2.2K
	9	2006-07-12 03:47	2.8K
	10_1_1	2006-07-12 03:47	1.2K
	11	2006-07-12 03:47	13K
	12_1_1	2006-07-12 03:47	1.7K
	13_1_1	2006-07-12 03:47	1.2K
	14	2006-07-12 03:47	90K
	15	2006-07-12 03:47	8.6K
	16	2006-07-12 03:47	3.3K
	17	2006-07-12 03:47	7.6K
	18_1_1	2006-07-12 03:47	2.0K
	19_1_1	2006-07-12 03:47	5.5K
	20	2006-07-12 03:47	61K
	21	2006-07-12 03:47	19K
	22	2006-07-12 03:47	21K
	23	2006-07-12 03:47	3.4K
	24_1_1	2006-07-12 03:47	1.1K
	25	2006-07-12 03:47	27K
	26	2006-07-12 03:47	4.3K
	27	2006-07-12 03:47	144K
	28_1_1	2006-07-12 03:47	5.5K
	29_1_1	2006-07-12 03:47	6.4K
	30	2006-07-12 03:47	3.0K
	31	2006-07-12 03:47	28K
	32	2006-07-12 03:47	46K