File tree
7 files changed
+48
-21
lines changed- apamax
- tests/correctness/Cor_018
- Input
- Reference
7 files changed
+48
-21
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
|
Lines changed: 16 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
77 | 77 |
| |
78 | 78 |
| |
79 | 79 |
| |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
80 | 94 |
| |
81 | 95 |
| |
82 |
| - | |
83 | 96 |
| |
84 | 97 |
| |
85 | 98 |
| |
| |||
107 | 120 |
| |
108 | 121 |
| |
109 | 122 |
| |
110 |
| - | |
111 | 123 |
| |
112 | 124 |
| |
113 | 125 |
| |
114 | 126 |
| |
115 |
| - | |
| 127 | + | |
116 | 128 |
| |
117 | 129 |
| |
118 |
| - | |
| 130 | + | |
119 | 131 |
| |
120 | 132 |
| |
121 | 133 |
| |
|
Lines changed: 15 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
611 | 611 |
| |
612 | 612 |
| |
613 | 613 |
| |
614 |
| - | |
| 614 | + | |
615 | 615 |
| |
| 616 | + | |
| 617 | + | |
616 | 618 |
| |
617 | 619 |
| |
618 | 620 |
| |
| |||
691 | 693 |
| |
692 | 694 |
| |
693 | 695 |
| |
| 696 | + | |
694 | 697 |
| |
695 | 698 |
| |
696 | 699 |
| |
| |||
2210 | 2213 |
| |
2211 | 2214 |
| |
2212 | 2215 |
| |
2213 |
| - | |
| 2216 | + | |
| 2217 | + | |
2214 | 2218 |
| |
2215 | 2219 |
| |
2216 | 2220 |
| |
| |||
2223 | 2227 |
| |
2224 | 2228 |
| |
2225 | 2229 |
| |
| 2230 | + | |
2226 | 2231 |
| |
2227 | 2232 |
| |
2228 | 2233 |
| |
2229 | 2234 |
| |
| 2235 | + | |
| 2236 | + | |
| 2237 | + | |
| 2238 | + | |
| 2239 | + | |
| 2240 | + | |
| 2241 | + | |
| 2242 | + | |
2230 | 2243 |
| |
2231 | 2244 |
| |
2232 | 2245 |
| |
2233 | 2246 |
| |
2234 | 2247 |
| |
2235 | 2248 |
| |
2236 |
| - | |
2237 | 2249 |
| |
2238 | 2250 |
| |
2239 | 2251 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
2 | 11 |
| |
3 | 12 |
| |
4 | 13 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
174 | 174 |
| |
175 | 175 |
| |
176 | 176 |
| |
| 177 | + | |
177 | 178 |
| |
178 | 179 |
| |
179 | 180 |
| |
| |||
186 | 187 |
| |
187 | 188 |
| |
188 | 189 |
| |
| 190 | + | |
189 | 191 |
| |
190 | 192 |
| |
191 | 193 |
| |
|
Lines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
1 | 4 |
| |
2 | 5 |
| |
3 | 6 |
| |
| |||
19 | 22 |
| |
20 | 23 |
| |
21 | 24 |
| |
22 |
| - | |
| 25 | + | |
23 | 26 |
| |
24 | 27 |
| |
25 | 28 |
| |
|
Lines changed: 1 addition & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
18 |
| - | |
19 |
| - | |
20 |
| - | |
21 | 10 |
| |
22 | 11 |
| |
23 | 12 |
| |
| |||
30 | 19 |
| |
31 | 20 |
| |
32 | 21 |
| |
33 |
| - | |
| 22 | + | |
34 | 23 |
| |
35 | 24 |
| |
36 | 25 |
| |
|
0 commit comments