Index of /~mptp/7.13.01_4.181.1147/html.std/proofs/cgames_1

	Name	Last modified	Size	Description
	Parent Directory		-
	3_1_1	2012-03-20 21:48	1.2K
	4	2012-03-20 21:48	8.6K
	5_1_1	2012-03-20 21:48	11K
	5_1_2	2012-03-20 21:48	37K
	6	2012-03-20 21:48	38K
	7	2012-03-20 21:48	12K
	8	2012-03-20 21:48	11K
	9_1_1	2012-03-20 21:48	1.3K
	11_1_1	2012-03-20 21:48	1.8K
	12_1_1	2012-03-20 21:48	1.0K
	13_1_1	2012-03-20 21:48	1.5K
	13_2_1	2012-03-20 21:48	957
	16_1_1	2012-03-20 21:48	8.8K
	16_2_1	2012-03-20 21:48	10K
	17	2012-03-20 21:48	3.3K
	19_1_1	2012-03-20 21:48	2.1K
	19_2_1	2012-03-20 21:48	2.1K
	21	2012-03-20 21:48	6.8K
	23	2012-03-20 21:48	6.3K
	24	2012-03-20 21:48	2.2K
	25	2012-03-20 21:48	6.8K
	26	2012-03-20 21:48	19K
	27_1_1	2012-03-20 21:48	6.9K
	27_1_2	2012-03-20 21:48	8.7K
	28	2012-03-20 21:48	6.6K
	29	2012-03-20 21:48	6.1K
	30	2012-03-20 21:48	7.5K
	31	2012-03-20 21:48	9.6K
	32	2012-03-20 21:48	4.7K
	33	2012-03-20 21:48	3.2K
	34	2012-03-20 21:48	1.9K
	35	2012-03-20 21:48	4.1K
	36	2012-03-20 21:48	4.0K
	37	2012-03-20 21:48	26K
	38_1	2012-03-20 21:48	11K
	39_1	2012-03-20 21:48	5.1K
	40_1	2012-03-20 21:48	2.2K
	42_1_1	2012-03-20 21:48	3.5K
	43_1_1	2012-03-20 21:48	2.1K
	47	2012-03-20 21:48	2.9K
	48_1_1	2012-03-20 21:48	4.1K
	49_1_1	2012-03-20 21:48	1.6K
	51	2012-03-20 21:48	25K
	52	2012-03-20 21:48	9.4K
	53	2012-03-20 21:48	7.1K
	54	2012-03-20 21:48	3.4K
	55_1_1	2012-03-20 21:48	12K
	55_1_2	2012-03-20 21:48	14K
	56_1_1	2012-03-20 21:48	1.5K
	58	2012-03-20 21:48	2.1K
	59_1_1	2012-03-20 21:48	4.6K
	60_1_1	2012-03-20 21:48	3.1K
	61	2012-03-20 21:48	15K
	62	2012-03-20 21:48	37K
	63	2012-03-20 21:48	28K
	64	2012-03-20 21:48	9.3K
	65	2012-03-20 21:48	5.8K
	66	2012-03-20 21:48	19K
	67	2012-03-20 21:48	17K
	68	2012-03-20 21:48	11K
	69	2012-03-20 21:48	5.1K
	70	2012-03-20 21:48	1.8K
	71	2012-03-20 21:48	6.7K
	72	2012-03-20 21:48	3.1K
	73	2012-03-20 21:48	8.9K
	74_1	2012-03-20 21:48	6.6K
	75_1	2012-03-20 21:48	32K
	76_1	2012-03-20 21:48	149K
	77	2012-03-20 21:48	71K
	78_1_1	2012-03-20 21:48	26K
	78_1_2	2012-03-20 21:48	42K
	79_1_1	2012-03-20 21:48	35K
	80	2012-03-20 21:48	93K
	81	2012-03-20 21:48	40K
	82	2012-03-20 21:48	33K
	83	2012-03-20 21:48	11K
	89	2012-03-20 21:48	2.3K
	90	2012-03-20 21:48	72K
	91	2012-03-20 21:48	21K
	92	2012-03-20 21:48	57K
	93	2012-03-20 21:49	24K
	94	2012-03-20 21:49	7.0K
	95	2012-03-20 21:49	14K
	96	2012-03-20 21:49	14K
	97_1_1	2012-03-20 21:49	1.8K
	98_1_1	2012-03-20 21:49	5.9K
	98_2_1	2012-03-20 21:49	7.3K
	99_1_1	2012-03-20 21:49	935
	99_2_1	2012-03-20 21:49	940
	99_3_1	2012-03-20 21:49	937
	101_1_1	2012-03-20 21:49	1.2K
	102_1_1	2012-03-20 21:49	1.4K
	103_1_1	2012-03-20 21:49	1.1K
	104_1_1	2012-03-20 21:49	1.4K
	105_1_1	2012-03-20 21:49	1.7K