Index of /version/current/html/proofs/ideal_1
Name Last modified Size Description
Parent Directory -
108_1_1 2025-05-30 18:06 873
154_1_1 2025-05-30 18:06 952
74_1_1 2025-05-30 18:06 1.2K
25_1_1 2025-05-30 18:05 1.4K
92_1_1 2025-05-30 18:06 1.6K
158_1_1 2025-05-30 18:06 1.9K
109_1_1 2025-05-30 18:06 1.9K
1_1_1 2025-05-30 18:05 2.2K
9_2_1 2025-05-30 18:05 2.3K
9_1_1 2025-05-30 18:05 2.3K
22 2025-05-30 18:05 2.3K
23 2025-05-30 18:05 2.3K
6_1_1 2025-05-30 18:05 2.4K
7_1_1 2025-05-30 18:05 2.4K
7_2_1 2025-05-30 18:05 2.4K
145_1_1 2025-05-30 18:06 2.5K
8_3_1 2025-05-30 18:05 2.6K
8_2_1 2025-05-30 18:05 2.6K
21 2025-05-30 18:05 2.6K
8_1_1 2025-05-30 18:05 2.8K
13 2025-05-30 18:05 3.3K
14 2025-05-30 18:05 3.3K
148_1_1 2025-05-30 18:06 3.3K
155_1_1 2025-05-30 18:06 3.4K
87 2025-05-30 18:06 3.5K
89 2025-05-30 18:06 4.1K
98_1_1 2025-05-30 18:06 4.1K
78 2025-05-30 18:06 4.2K
79 2025-05-30 18:06 4.3K
80 2025-05-30 18:06 4.3K
129_1_1 2025-05-30 18:06 4.5K
153 2025-05-30 18:06 4.7K
139_1_1 2025-05-30 18:06 4.8K
2_1_1 2025-05-30 18:05 4.8K
24_1_1 2025-05-30 18:05 4.9K
108_1_2 2025-05-30 18:06 5.5K
44_1_1 2025-05-30 18:06 5.7K
16 2025-05-30 18:05 5.8K
17 2025-05-30 18:05 5.8K
28 2025-05-30 18:05 6.0K
105 2025-05-30 18:06 6.0K
29 2025-05-30 18:05 6.0K
104 2025-05-30 18:06 6.1K
128_1_1 2025-05-30 18:06 6.1K
3 2025-05-30 18:05 6.1K
15 2025-05-30 18:05 6.5K
138_1_1 2025-05-30 18:06 7.1K
90 2025-05-30 18:06 7.2K
106 2025-05-30 18:06 7.4K
111_1_1 2025-05-30 18:06 7.5K
112_1_1 2025-05-30 18:06 7.5K
26 2025-05-30 18:05 8.0K
27 2025-05-30 18:05 8.0K
49 2025-05-30 18:06 8.2K
53 2025-05-30 18:06 8.2K
75 2025-05-30 18:06 8.2K
76 2025-05-30 18:06 8.2K
77 2025-05-30 18:06 8.3K
33_1_1 2025-05-30 18:05 8.5K
32_1_1 2025-05-30 18:05 8.8K
132 2025-05-30 18:06 8.9K
127 2025-05-30 18:06 9.2K
94_1_1 2025-05-30 18:06 9.2K
110_1_1 2025-05-30 18:06 9.5K
45_2_1 2025-05-30 18:06 9.6K
45_3_1 2025-05-30 18:06 9.6K
141_1_1 2025-05-30 18:06 9.9K
30 2025-05-30 18:05 10K
96 2025-05-30 18:06 11K
115_1_1 2025-05-30 18:06 11K
44_2_1 2025-05-30 18:06 11K
44_3_1 2025-05-30 18:06 11K
99_1_1 2025-05-30 18:06 11K
151 2025-05-30 18:06 12K
51 2025-05-30 18:06 12K
55 2025-05-30 18:06 12K
102_1_1 2025-05-30 18:06 12K
101_1_1 2025-05-30 18:06 12K
45_1_1 2025-05-30 18:06 12K
31 2025-05-30 18:05 12K
93_1_1 2025-05-30 18:06 13K
40 2025-05-30 18:06 13K
131_1_1 2025-05-30 18:06 13K
52 2025-05-30 18:06 13K
36_1_1 2025-05-30 18:05 14K
56 2025-05-30 18:06 14K
57 2025-05-30 18:06 14K
71 2025-05-30 18:06 14K
72 2025-05-30 18:06 14K
142 2025-05-30 18:06 14K
47 2025-05-30 18:06 15K
95 2025-05-30 18:06 15K
130_1_1 2025-05-30 18:06 16K
48 2025-05-30 18:06 16K
114_1_1 2025-05-30 18:06 16K
70 2025-05-30 18:06 16K
100_1_1 2025-05-30 18:06 17K
37_1_1 2025-05-30 18:05 17K
38_1_1 2025-05-30 18:05 18K
50_1_1 2025-05-30 18:06 19K
54_1_1 2025-05-30 18:06 19K
41 2025-05-30 18:06 19K
42 2025-05-30 18:06 19K
91_1_1 2025-05-30 18:06 19K
46_1_1 2025-05-30 18:06 20K
84 2025-05-30 18:06 21K
88 2025-05-30 18:06 21K
103 2025-05-30 18:06 23K
35_1_1 2025-05-30 18:05 24K
126 2025-05-30 18:06 24K
124 2025-05-30 18:06 25K
39 2025-05-30 18:05 25K
121 2025-05-30 18:06 26K
133 2025-05-30 18:06 26K
134 2025-05-30 18:06 26K
65 2025-05-30 18:06 27K
68 2025-05-30 18:06 27K
116_1_1 2025-05-30 18:06 27K
136 2025-05-30 18:06 27K
107 2025-05-30 18:06 28K
113 2025-05-30 18:06 29K
62 2025-05-30 18:06 30K
157 2025-05-30 18:06 30K
59 2025-05-30 18:06 31K
60 2025-05-30 18:06 31K
118_1_1 2025-05-30 18:06 32K
119_1_1 2025-05-30 18:06 33K
43 2025-05-30 18:06 33K
58 2025-05-30 18:06 36K
123 2025-05-30 18:06 36K
117_1_1 2025-05-30 18:06 36K
73_2_1 2025-05-30 18:06 38K
73_3_1 2025-05-30 18:06 38K
97_1_1 2025-05-30 18:06 39K
137 2025-05-30 18:06 39K
152 2025-05-30 18:06 44K
120 2025-05-30 18:06 49K
73_1_1 2025-05-30 18:06 49K
66 2025-05-30 18:06 49K
69 2025-05-30 18:06 49K
140_1_1 2025-05-30 18:06 60K
63 2025-05-30 18:06 60K
143 2025-05-30 18:06 62K
85 2025-05-30 18:06 66K
135 2025-05-30 18:06 68K
160 2025-05-30 18:06 71K
159 2025-05-30 18:06 73K
82 2025-05-30 18:06 76K
83 2025-05-30 18:06 76K
81 2025-05-30 18:06 84K
156 2025-05-30 18:06 93K
86 2025-05-30 18:06 95K
122 2025-05-30 18:06 152K