Index of /version/current/html/proofs/closure1

	Name	Last modified	Size	Description
	Parent Directory		-
	78_1_1	2022-03-02 19:23	1.4K
	64_1_1	2022-03-02 19:23	29K
	37	2022-03-02 19:23	23K
	36	2022-03-02 19:23	37K
	27_1_1	2022-03-02 19:23	5.3K
	22	2022-03-02 19:23	3.1K
	16	2022-03-02 19:23	6.6K
	81	2022-03-02 19:23	67K
	80	2022-03-02 19:23	43K
	79_1_2	2022-03-02 19:23	15K
	77_1_1	2022-03-02 19:23	1.4K
	75	2022-03-02 19:23	18K
	74	2022-03-02 19:23	29K
	73	2022-03-02 19:23	19K
	72	2022-03-02 19:23	20K
	71	2022-03-02 19:23	68K
	69	2022-03-02 19:23	40K
	68	2022-03-02 19:23	30K
	67	2022-03-02 19:23	20K
	66	2022-03-02 19:23	29K
	65_1_1	2022-03-02 19:23	5.9K
	64_1_2	2022-03-02 19:23	19K
	44_1_1	2022-03-02 19:23	6.3K
	38	2022-03-02 19:23	33K
	35	2022-03-02 19:23	17K
	33	2022-03-02 19:23	14K
	32	2022-03-02 19:23	14K
	31	2022-03-02 19:23	11K
	30	2022-03-02 19:23	7.7K
	26	2022-03-02 19:23	14K
	25	2022-03-02 19:23	8.4K
	24	2022-03-02 19:23	8.3K
	23	2022-03-02 19:23	8.9K
	21	2022-03-02 19:23	3.1K
	20	2022-03-02 19:23	3.1K
	19_1_1	2022-03-02 19:23	9.9K
	18	2022-03-02 19:23	54K
	15	2022-03-02 19:23	10K
	10	2022-03-02 19:23	28K
	7	2022-03-02 19:23	19K
	2	2022-03-02 19:23	9.1K
	1_1	2022-03-02 19:23	17K
	79_1_1	2022-03-02 19:23	6.8K
	76_1_1	2022-03-02 19:23	2.7K
	70	2022-03-02 19:23	64K
	29_1_1	2022-03-02 19:23	1.0K
	28	2022-03-02 19:23	18K
	17	2022-03-02 19:23	10K
	11_1_1	2022-03-02 19:23	2.4K
	9	2022-03-02 19:23	55K
	8	2022-03-02 19:23	15K
	6	2022-03-02 19:23	11K