Index of /version/current/html/proofs/simplex0
Name Last modified Size Description
Parent Directory -
2_3_1 2026-11-07 02:45 3.2K
5 2026-11-07 02:45 7.5K
6_1_1 2026-11-07 02:45 5.2K
6_2_1 2026-11-07 02:45 5.9K
7 2026-11-07 02:45 26K
8_1_1 2026-11-07 02:45 2.8K
9 2026-11-07 02:45 13K
10_1_1 2026-11-07 02:45 4.8K
11_1_1 2026-11-07 02:45 2.4K
11_2_1 2026-11-07 02:45 1.1K
12_1_1 2026-11-07 02:45 1.7K
13_1_1 2026-11-07 02:45 3.2K
14 2026-11-07 02:45 4.7K
15 2026-11-07 02:45 9.7K
16 2026-11-07 02:45 20K
17 2026-11-07 02:45 13K
18 2026-11-07 02:45 5.1K
19_1_1 2026-11-07 02:45 12K
19_1_2 2026-11-07 02:45 11K
20_1_1 2026-11-07 02:45 4.0K
21_1_1 2026-11-07 02:45 2.5K
22_1_1 2026-11-07 02:45 7.6K
23_1_1 2026-11-07 02:45 2.1K
24_1_1 2026-11-07 02:45 5.4K
26 2026-11-07 02:45 7.9K
27 2026-11-07 02:45 33K
28 2026-11-07 02:45 21K
29 2026-11-07 02:45 78K
30 2026-11-07 02:45 310K
34_1_1 2026-11-07 02:45 1.4K
35 2026-11-07 02:45 8.9K
37_1_1 2026-11-07 02:45 10K
37_1_2 2026-11-07 02:45 6.9K
43_1_1 2026-11-07 02:45 1.3K
45 2026-11-07 02:45 9.4K
46 2026-11-07 02:45 5.3K
47 2026-11-07 02:45 10K
48 2026-11-07 02:45 3.3K
49_5_1 2026-11-07 02:45 7.8K
49_6_1 2026-11-07 02:45 17K
49_7_1 2026-11-07 02:45 44K
50_1_1 2026-11-07 02:45 2.9K
51_1_1 2026-11-07 02:45 3.7K
51_2_1 2026-11-07 02:45 11K
52_1_1 2026-11-07 02:45 9.8K
54_1_1 2026-11-07 02:45 3.8K
55_1_1 2026-11-07 02:45 4.5K
56 2026-11-07 02:45 18K
57 2026-11-07 02:45 5.9K
58_1_1 2026-11-07 02:45 1.4K
62_1_1 2026-11-07 02:45 3.9K
65_1_1 2026-11-07 02:45 2.4K
65_2_1 2026-11-07 02:45 812
66_1_1 2026-11-07 02:45 1.9K
67_1_1 2026-11-07 02:45 23K
67_1_2 2026-11-07 02:45 25K
68_1_1 2026-11-07 02:45 6.1K
68_2_1 2026-11-07 02:45 1.2K
69 2026-11-07 02:45 14K
70 2026-11-07 02:45 7.1K
71 2026-11-07 02:45 8.9K
72 2026-11-07 02:45 29K
73 2026-11-07 02:45 10K
74_1_1 2026-11-07 02:45 4.3K
75_1_1 2026-11-07 02:45 5.2K
76_1_1 2026-11-07 02:45 1.7K
77_1_1 2026-11-07 02:45 16K
78_1_1 2026-11-07 02:45 3.7K
79_1_1 2026-11-07 02:45 7.8K
80 2026-11-07 02:45 6.2K
81 2026-11-07 02:45 8.8K
82 2026-11-07 02:45 7.0K
83 2026-11-07 02:45 5.9K
84 2026-11-07 02:45 9.1K
85 2026-11-07 02:45 21K
87 2026-11-07 02:45 15K
88_1_1 2026-11-07 02:45 4.8K
89 2026-11-07 02:45 11K
90 2026-11-07 02:45 8.8K
91 2026-11-07 02:45 13K
92_1_1 2026-11-07 02:45 6.2K
93_1_1 2026-11-07 02:45 2.9K
94 2026-11-07 02:45 7.7K
95 2026-11-07 02:45 8.9K
96 2026-11-07 02:45 9.9K
97 2026-11-07 02:45 9.1K
98_1_1 2026-11-07 02:45 3.1K
100_1_1 2026-11-07 02:45 5.1K
100_2_1 2026-11-07 02:45 9.3K
101_1_1 2026-11-07 02:45 4.8K
102_1_1 2026-11-07 02:45 2.6K
103 2026-11-07 02:45 17K
104_1_1 2026-11-07 02:45 3.4K
105 2026-11-07 02:45 15K
106 2026-11-07 02:45 23K
107 2026-11-07 02:45 14K
108 2026-11-07 02:45 20K
109 2026-11-07 02:45 19K
110 2026-11-07 02:45 31K
111_1_1 2026-11-07 02:45 23K
112_1_1 2026-11-07 02:45 1.9K
113 2026-11-07 02:45 5.2K
114 2026-11-07 02:45 5.9K
115 2026-11-07 02:45 30K
116_1_1 2026-11-07 02:45 13K
117 2026-11-07 02:45 25K
118_1_1 2026-11-07 02:45 15K
118_1_2 2026-11-07 02:45 17K
119_1_1 2026-11-07 02:45 33K
120_1_1 2026-11-07 02:45 7.3K
121 2026-11-07 02:45 40K
122 2026-11-07 02:45 30K
123_1_1 2026-11-07 02:45 2.2K
124_1_1 2026-11-07 02:45 25K
125 2026-11-07 02:45 54K
126 2026-11-07 02:45 27K
127 2026-11-07 02:45 30K
128 2026-11-07 02:45 29K
129 2026-11-07 02:45 21K
130 2026-11-07 02:45 19K
131 2026-11-07 02:45 24K
132 2026-11-07 02:45 24K
133_1_1 2026-11-07 02:45 106K
133_1_2 2026-11-07 02:45 18K
134 2026-11-07 02:45 5.2K
135 2026-11-07 02:45 6.6K
136 2026-11-07 02:45 33K
137 2026-11-07 02:45 11K
138 2026-11-07 02:45 14K