Index of /version/current/html/proofs/ring_4
Name Last modified Size Description
Parent Directory -
1_1_1 2026-11-07 02:44 4.3K
2_1_1 2026-11-07 02:44 6.2K
2_2_1 2026-11-07 02:44 6.2K
2_3_1 2026-11-07 02:44 9.2K
2_4_1 2026-11-07 02:44 9.2K
5_1_1 2026-11-07 02:44 2.0K
6_1_1 2026-11-07 02:44 2.5K
8_1_1 2026-11-07 02:44 1.0K
11_1_1 2026-11-07 02:44 2.0K
11_2_1 2026-11-07 02:44 1.4K
11_3_1 2026-11-07 02:44 1.0K
12_1_1 2026-11-07 02:44 2.0K
12_2_1 2026-11-07 02:44 1.4K
13 2026-11-07 02:44 12K
14 2026-11-07 02:44 6.9K
16 2026-11-07 02:44 13K
17 2026-11-07 02:44 10K
18 2026-11-07 02:44 11K
19 2026-11-07 02:44 12K
20 2026-11-07 02:44 5.9K
21 2026-11-07 02:44 29K
22 2026-11-07 02:44 34K
23 2026-11-07 02:44 14K
24 2026-11-07 02:44 8.9K
25 2026-11-07 02:44 7.9K
26 2026-11-07 02:44 30K
27 2026-11-07 02:44 13K
28 2026-11-07 02:44 24K
29_1_1 2026-11-07 02:44 8.3K
31_1_1 2026-11-07 02:44 2.7K
31_2_1 2026-11-07 02:44 2.5K
32_1_1 2026-11-07 02:44 5.0K
32_2_1 2026-11-07 02:44 5.0K
34_1_1 2026-11-07 02:44 4.2K
35 2026-11-07 02:44 8.6K
36 2026-11-07 02:44 12K
37_1_1 2026-11-07 02:44 12K
38_1_1 2026-11-07 02:44 1.8K
39_1_1 2026-11-07 02:44 2.2K
42 2026-11-07 02:44 12K
43 2026-11-07 02:44 15K
44 2026-11-07 02:44 23K
45 2026-11-07 02:44 38K
46 2026-11-07 02:44 5.3K
47 2026-11-07 02:44 22K
48 2026-11-07 02:44 8.7K
50_1_1 2026-11-07 02:44 2.0K
50_2_1 2026-11-07 02:44 1.6K
51_1_1 2026-11-07 02:44 800
51_2_1 2026-11-07 02:44 815
52_1_1 2026-11-07 02:44 1.4K
52_2_1 2026-11-07 02:44 1.4K
53_1_1 2026-11-07 02:44 3.1K
57 2026-11-07 02:44 10K
58 2026-11-07 02:44 10K
59 2026-11-07 02:44 5.4K
60 2026-11-07 02:44 24K
61 2026-11-07 02:44 22K
62 2026-11-07 02:44 4.7K
63 2026-11-07 02:44 5.1K
64 2026-11-07 02:44 17K
65 2026-11-07 02:44 14K
66_1_1 2026-11-07 02:44 14K
66_1_2 2026-11-07 02:44 8.9K
67_1_1 2026-11-07 02:44 14K
68_1_1 2026-11-07 02:44 8.1K
69_1_1 2026-11-07 02:44 2.4K
70_1_1 2026-11-07 02:44 15K
71_1_1 2026-11-07 02:44 2.3K
72 2026-11-07 02:44 2.1K
74_1_1 2026-11-07 02:44 2.0K
75 2026-11-07 02:44 11K
76_1_1 2026-11-07 02:44 1.3K
77 2026-11-07 02:44 14K
78_1_1 2026-11-07 02:44 1.6K
79_1_1 2026-11-07 02:44 7.0K
81 2026-11-07 02:44 19K
82 2026-11-07 02:44 10K
83 2026-11-07 02:44 20K
84 2026-11-07 02:44 3.9K
85 2026-11-07 02:44 3.9K
86_1_1 2026-11-07 02:44 6.1K
87_1_1 2026-11-07 02:44 4.8K
88_1_1 2026-11-07 02:44 3.8K
89_1_1 2026-11-07 02:44 2.4K
89_2_1 2026-11-07 02:44 4.0K
90 2026-11-07 02:44 14K
91 2026-11-07 02:44 42K
92 2026-11-07 02:44 29K
93 2026-11-07 02:44 33K
94 2026-11-07 02:44 22K
95 2026-11-07 02:44 13K
96 2026-11-07 02:44 41K
97_1_1 2026-11-07 02:44 2.5K
98_1_1 2026-11-07 02:44 2.6K
99_1_1 2026-11-07 02:44 1.1K
100_1_1 2026-11-07 02:44 2.6K
101_1_1 2026-11-07 02:44 4.0K
108_1_1 2026-11-07 02:44 24K
108_1_2 2026-11-07 02:44 13K
109 2026-11-07 02:44 24K
110 2026-11-07 02:44 22K
111 2026-11-07 02:44 5.1K
112 2026-11-07 02:44 4.2K
113_1_1 2026-11-07 02:44 23K
114_1_1 2026-11-07 02:44 1.9K
115_1_1 2026-11-07 02:44 69K
116_1_1 2026-11-07 02:44 119K
117_1_1 2026-11-07 02:44 20K
117_1_2 2026-11-07 02:44 9.3K
118_1_1 2026-11-07 02:44 29K
119_1_1 2026-11-07 02:44 2.2K
120_1_1 2026-11-07 02:44 9.8K
121 2026-11-07 02:44 6.8K
122 2026-11-07 02:44 27K
123 2026-11-07 02:44 5.2K
124_1_1 2026-11-07 02:44 3.4K
125_1_1 2026-11-07 02:44 3.4K
127_1_1 2026-11-07 02:44 2.5K
129 2026-11-07 02:44 4.1K
131_1_1 2026-11-07 02:44 26K
131_1_2 2026-11-07 02:44 14K
132_1_1 2026-11-07 02:44 9.1K
133_1_1 2026-11-07 02:44 1.6K
134_1_1 2026-11-07 02:44 7.5K
136_1_1 2026-11-07 02:44 7.7K
137_1_1 2026-11-07 02:44 6.9K
138_1_1 2026-11-07 02:44 1.7K
139_1_1 2026-11-07 02:44 2.4K
140 2026-11-07 02:44 12K
141_1_1 2026-11-07 02:44 3.2K
142_1_1 2026-11-07 02:44 4.2K
143_1_1 2026-11-07 02:44 4.0K
144_1_1 2026-11-07 02:44 3.0K
145 2026-11-07 02:44 21K
146 2026-11-07 02:44 20K