Index of /~mptp/8.1.05_5.37.1275/html/proofs/card_1

	Name	Last modified	Size	Description
	Parent Directory		-
	2_1_1	2016-08-26 19:36	4.5K
	6	2016-08-26 19:36	3.2K
	7_1_1	2016-08-26 19:36	15K
	9_1_1	2016-08-26 19:36	5.0K
	12_1_1	2016-08-26 19:36	1.9K
	14	2016-08-26 19:36	4.5K
	15	2016-08-26 19:36	5.8K
	16	2016-08-26 19:36	12K
	17	2016-08-26 19:36	2.3K
	18	2016-08-26 19:36	23K
	19	2016-08-26 19:36	5.5K
	20	2016-08-26 19:36	57K
	21	2016-08-26 19:36	6.1K
	22	2016-08-26 19:36	15K
	23_1_1	2016-08-26 19:36	7.4K
	24	2016-08-26 19:36	2.0K
	25	2016-08-26 19:36	3.5K
	26	2016-08-26 19:36	2.7K
	27	2016-08-26 19:36	4.0K
	29_1_1	2016-08-26 19:36	20K
	31_1_1	2016-08-26 19:36	8.5K
	32	2016-08-26 19:36	30K
	33	2016-08-26 19:36	6.1K
	34	2016-08-26 19:36	3.4K
	35	2016-08-26 19:36	4.8K
	36	2016-08-26 19:36	4.2K
	37	2016-08-26 19:36	23K
	38	2016-08-26 19:36	7.2K
	39	2016-08-26 19:36	56K
	40	2016-08-26 19:36	47K
	41	2016-08-26 19:36	7.0K
	42	2016-08-26 19:36	14K
	43	2016-08-26 19:36	3.7K
	44	2016-08-26 19:36	2.8K
	45	2016-08-26 19:36	10K
	46	2016-08-26 19:36	5.6K
	48	2016-08-26 19:36	7.5K
	49	2016-08-26 19:36	2.4K
	50	2016-08-26 19:36	24K
	52	2016-08-26 19:36	3.0K
	53_1_1	2016-08-26 19:36	2.0K
	54	2016-08-26 19:36	4.1K
	55_1	2016-08-26 19:36	11K
	56_1	2016-08-26 19:36	5.9K
	57	2016-08-26 19:36	5.9K
	59_1_1	2016-08-26 19:36	3.8K
	61_1_1	2016-08-26 19:36	1.3K
	62	2016-08-26 19:36	1.6K
	64	2016-08-26 19:36	15K
	65	2016-08-26 19:36	4.8K
	66_1_1	2016-08-26 19:36	852
	67_1_1	2016-08-26 19:36	926
	68_1_1	2016-08-26 19:36	1.0K
	69	2016-08-26 19:36	664
	70	2016-08-26 19:36	878
	71	2016-08-26 19:36	888
	72	2016-08-26 19:36	890
	73	2016-08-26 19:36	895
	74	2016-08-26 19:36	897
	75	2016-08-26 19:36	899
	76	2016-08-26 19:36	901
	77	2016-08-26 19:36	903
	78	2016-08-26 19:36	906
	79	2016-08-26 19:36	2.9K
	80_1_1	2016-08-26 19:36	907
	80_2_1	2016-08-26 19:36	747
	81_1_1	2016-08-26 19:36	703
	82_1_1	2016-08-26 19:36	1.4K
	84_1_1	2016-08-26 19:36	14K
	84_2_1	2016-08-26 19:36	14K
	84_3_1	2016-08-26 19:36	14K
	85_1_1	2016-08-26 19:36	777
	87	2016-08-26 19:36	23K
	88_1_1	2016-08-26 19:36	1.1K
	89	2016-08-26 19:36	2.5K
	90	2016-08-26 19:36	2.9K
	92_1_1	2016-08-26 19:36	1.1K
	94_1_1	2016-08-26 19:36	1.3K
	95_1_1	2016-08-26 19:36	2.3K
	96_1_1	2016-08-26 19:36	1.3K
	97_1_1	2016-08-26 19:36	3.2K
	97_2_1	2016-08-26 19:36	2.3K
	98_1_1	2016-08-26 19:36	1.4K
	100	2016-08-26 19:36	4.6K
	101	2016-08-26 19:36	15K
	102	2016-08-26 19:36	3.0K
	103	2016-08-26 19:36	30K
	104	2016-08-26 19:36	3.6K
	105_1_1	2016-08-26 19:36	1.3K
	108	2016-08-26 19:36	3.6K