#include "vision.h"
#include <bits/stdc++.h>
//#include <map>
#pragma GCC optimize("O3")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#pragma GCC target("avx,avx2,fma")
using namespace std;
typedef int ll;
ll H_, W_;
map<ll, vector<ll>> sum, sub;
map<ll, ll> sum_, sub_;
ll getloc(ll x, ll y) {
return x * W_ + y;
}
void construct_network(int H, int W, int K) {
H_ = H;
W_ = W;
ll i, j;
ll s = 100000000, e = 0;
for (i = 0; i < H; i++) {
for (j = 0; j < W; j++) {
sum[i + j].push_back(getloc(i, j));
sub[i - j].push_back(getloc(i, j));
e = max(e, i - j);
s = min(s, i - j);
}
}
map<ll, vector<ll>>::iterator it;
for (it = sum.begin(); it != sum.end(); it++) sum_[it->first] = add_or(it->second);
for (it = sub.begin(); it != sub.end(); it++) sub_[it->first] = add_or(it->second);
vector<ll> res;
for (i = 0; i + K <= W + H - 2; i++) {
vector<ll> v;
v.push_back(sum_[i]);
v.push_back(sum_[i + K]);
res.push_back(add_and(v));
}
for (i = s; i + K <= e; i++) {
vector<ll> v;
v.push_back(sub_[i]);
v.push_back(sub_[i + K]);
res.push_back(add_and(v));
}
vector<ll> nres;
for (i = 0; i <= W + H - 2; i++) {
vector<ll> v;
for (j = i + K + 1; j <= W + H - 2; j++) v.push_back(sum_[j]);
if (v.empty()) break;
vector<ll> vv;
vv.push_back(add_or(v));
vv.push_back(sum_[i]);
nres.push_back(add_and(vv));
}
for (i = s; i <= e; i++) {
vector<ll> v;
for (j = i + K + 1; j <= e; j++) v.push_back(sub_[j]);
if (v.empty()) break;
vector<ll> vv;
vv.push_back(add_or(v));
vv.push_back(sub_[i]);
nres.push_back(add_and(vv));
}
vector<ll> vvv;
if (nres.empty()) {
add_or(res);
return;
}
vvv.push_back(add_not(add_or(nres)));
vvv.push_back(add_or(res));
add_and(vvv);
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
0 ms |
204 KB |
Output is correct |
5 |
Correct |
0 ms |
204 KB |
Output is correct |
6 |
Correct |
0 ms |
204 KB |
Output is correct |
7 |
Correct |
1 ms |
204 KB |
Output is correct |
8 |
Correct |
1 ms |
288 KB |
Output is correct |
9 |
Correct |
0 ms |
292 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
1 ms |
204 KB |
Output is correct |
12 |
Correct |
1 ms |
204 KB |
Output is correct |
13 |
Correct |
1 ms |
204 KB |
Output is correct |
14 |
Correct |
0 ms |
204 KB |
Output is correct |
15 |
Correct |
0 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
0 ms |
204 KB |
Output is correct |
18 |
Correct |
0 ms |
204 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
0 ms |
204 KB |
Output is correct |
5 |
Correct |
0 ms |
204 KB |
Output is correct |
6 |
Correct |
0 ms |
204 KB |
Output is correct |
7 |
Correct |
1 ms |
204 KB |
Output is correct |
8 |
Correct |
1 ms |
288 KB |
Output is correct |
9 |
Correct |
0 ms |
292 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
1 ms |
204 KB |
Output is correct |
12 |
Correct |
1 ms |
204 KB |
Output is correct |
13 |
Correct |
1 ms |
204 KB |
Output is correct |
14 |
Correct |
0 ms |
204 KB |
Output is correct |
15 |
Correct |
0 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
0 ms |
204 KB |
Output is correct |
18 |
Correct |
0 ms |
204 KB |
Output is correct |
19 |
Correct |
0 ms |
204 KB |
Output is correct |
20 |
Correct |
1 ms |
292 KB |
Output is correct |
21 |
Correct |
1 ms |
292 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
292 KB |
Output is correct |
24 |
Correct |
1 ms |
204 KB |
Output is correct |
25 |
Correct |
1 ms |
204 KB |
Output is correct |
26 |
Correct |
1 ms |
204 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
0 ms |
204 KB |
Output is correct |
5 |
Correct |
0 ms |
204 KB |
Output is correct |
6 |
Correct |
0 ms |
204 KB |
Output is correct |
7 |
Correct |
1 ms |
204 KB |
Output is correct |
8 |
Correct |
1 ms |
288 KB |
Output is correct |
9 |
Correct |
0 ms |
292 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
1 ms |
204 KB |
Output is correct |
12 |
Correct |
1 ms |
204 KB |
Output is correct |
13 |
Correct |
1 ms |
204 KB |
Output is correct |
14 |
Correct |
0 ms |
204 KB |
Output is correct |
15 |
Correct |
0 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
0 ms |
204 KB |
Output is correct |
18 |
Correct |
0 ms |
204 KB |
Output is correct |
19 |
Correct |
0 ms |
204 KB |
Output is correct |
20 |
Correct |
1 ms |
292 KB |
Output is correct |
21 |
Correct |
1 ms |
292 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
292 KB |
Output is correct |
24 |
Correct |
1 ms |
204 KB |
Output is correct |
25 |
Correct |
1 ms |
204 KB |
Output is correct |
26 |
Correct |
1 ms |
204 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
28 |
Correct |
1 ms |
332 KB |
Output is correct |
29 |
Correct |
1 ms |
204 KB |
Output is correct |
30 |
Correct |
1 ms |
204 KB |
Output is correct |
31 |
Correct |
1 ms |
204 KB |
Output is correct |
32 |
Correct |
1 ms |
332 KB |
Output is correct |
33 |
Correct |
2 ms |
332 KB |
Output is correct |
34 |
Correct |
1 ms |
332 KB |
Output is correct |
35 |
Correct |
1 ms |
332 KB |
Output is correct |
36 |
Correct |
1 ms |
332 KB |
Output is correct |
37 |
Correct |
1 ms |
332 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
0 ms |
204 KB |
Output is correct |
5 |
Correct |
0 ms |
204 KB |
Output is correct |
6 |
Correct |
0 ms |
204 KB |
Output is correct |
7 |
Correct |
1 ms |
204 KB |
Output is correct |
8 |
Correct |
1 ms |
288 KB |
Output is correct |
9 |
Correct |
0 ms |
292 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
1 ms |
204 KB |
Output is correct |
12 |
Correct |
1 ms |
204 KB |
Output is correct |
13 |
Correct |
1 ms |
204 KB |
Output is correct |
14 |
Correct |
0 ms |
204 KB |
Output is correct |
15 |
Correct |
0 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
0 ms |
204 KB |
Output is correct |
18 |
Correct |
0 ms |
204 KB |
Output is correct |
19 |
Correct |
0 ms |
204 KB |
Output is correct |
20 |
Correct |
1 ms |
292 KB |
Output is correct |
21 |
Correct |
1 ms |
292 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
292 KB |
Output is correct |
24 |
Correct |
1 ms |
204 KB |
Output is correct |
25 |
Correct |
1 ms |
204 KB |
Output is correct |
26 |
Correct |
1 ms |
204 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
28 |
Correct |
1 ms |
332 KB |
Output is correct |
29 |
Correct |
1 ms |
204 KB |
Output is correct |
30 |
Correct |
1 ms |
204 KB |
Output is correct |
31 |
Correct |
1 ms |
204 KB |
Output is correct |
32 |
Correct |
1 ms |
332 KB |
Output is correct |
33 |
Correct |
2 ms |
332 KB |
Output is correct |
34 |
Correct |
1 ms |
332 KB |
Output is correct |
35 |
Correct |
1 ms |
332 KB |
Output is correct |
36 |
Correct |
1 ms |
332 KB |
Output is correct |
37 |
Correct |
1 ms |
332 KB |
Output is correct |
38 |
Correct |
11 ms |
972 KB |
Output is correct |
39 |
Correct |
2 ms |
332 KB |
Output is correct |
40 |
Correct |
1 ms |
292 KB |
Output is correct |
41 |
Correct |
6 ms |
716 KB |
Output is correct |
42 |
Correct |
2 ms |
460 KB |
Output is correct |
43 |
Correct |
10 ms |
1168 KB |
Output is correct |
44 |
Correct |
8 ms |
908 KB |
Output is correct |
45 |
Correct |
6 ms |
716 KB |
Output is correct |
46 |
Correct |
5 ms |
716 KB |
Output is correct |
47 |
Correct |
4 ms |
588 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
9 ms |
716 KB |
Output is correct |
2 |
Correct |
3 ms |
460 KB |
Output is correct |
3 |
Correct |
3 ms |
492 KB |
Output is correct |
4 |
Correct |
1 ms |
332 KB |
Output is correct |
5 |
Correct |
7 ms |
716 KB |
Output is correct |
6 |
Correct |
4 ms |
588 KB |
Output is correct |
7 |
Correct |
2 ms |
332 KB |
Output is correct |
8 |
Correct |
1 ms |
332 KB |
Output is correct |
9 |
Correct |
7 ms |
716 KB |
Output is correct |
10 |
Correct |
5 ms |
588 KB |
Output is correct |
11 |
Correct |
3 ms |
460 KB |
Output is correct |
12 |
Correct |
3 ms |
460 KB |
Output is correct |
13 |
Correct |
1 ms |
332 KB |
Output is correct |
14 |
Correct |
1 ms |
332 KB |
Output is correct |
15 |
Correct |
7 ms |
736 KB |
Output is correct |
16 |
Correct |
4 ms |
588 KB |
Output is correct |
17 |
Correct |
3 ms |
460 KB |
Output is correct |
18 |
Correct |
3 ms |
460 KB |
Output is correct |
19 |
Correct |
2 ms |
332 KB |
Output is correct |
20 |
Correct |
1 ms |
332 KB |
Output is correct |
21 |
Correct |
0 ms |
204 KB |
Output is correct |
22 |
Correct |
1 ms |
204 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
4 ms |
624 KB |
Output is correct |
4 |
Correct |
3 ms |
460 KB |
Output is correct |
5 |
Correct |
2 ms |
460 KB |
Output is correct |
6 |
Correct |
2 ms |
332 KB |
Output is correct |
7 |
Correct |
2 ms |
332 KB |
Output is correct |
8 |
Correct |
8 ms |
796 KB |
Output is correct |
9 |
Correct |
6 ms |
716 KB |
Output is correct |
10 |
Correct |
4 ms |
588 KB |
Output is correct |
11 |
Correct |
3 ms |
460 KB |
Output is correct |
12 |
Correct |
3 ms |
460 KB |
Output is correct |
13 |
Correct |
7 ms |
788 KB |
Output is correct |
14 |
Correct |
5 ms |
588 KB |
Output is correct |
15 |
Correct |
2 ms |
332 KB |
Output is correct |
16 |
Correct |
1 ms |
332 KB |
Output is correct |
17 |
Correct |
7 ms |
800 KB |
Output is correct |
18 |
Correct |
4 ms |
460 KB |
Output is correct |
19 |
Correct |
1 ms |
332 KB |
Output is correct |
20 |
Correct |
26 ms |
1984 KB |
Output is correct |
21 |
Correct |
14 ms |
1484 KB |
Output is correct |
22 |
Correct |
10 ms |
1156 KB |
Output is correct |
23 |
Correct |
7 ms |
972 KB |
Output is correct |
24 |
Correct |
21 ms |
1956 KB |
Output is correct |
25 |
Correct |
12 ms |
1228 KB |
Output is correct |
26 |
Correct |
8 ms |
972 KB |
Output is correct |
27 |
Correct |
50 ms |
3464 KB |
Output is correct |
28 |
Correct |
29 ms |
2636 KB |
Output is correct |
29 |
Correct |
21 ms |
2176 KB |
Output is correct |
30 |
Correct |
16 ms |
1832 KB |
Output is correct |
31 |
Correct |
14 ms |
1612 KB |
Output is correct |
32 |
Correct |
1 ms |
204 KB |
Output is correct |
33 |
Correct |
1 ms |
204 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
45 ms |
3524 KB |
Output is correct |
2 |
Correct |
1 ms |
204 KB |
Output is correct |
3 |
Correct |
5 ms |
588 KB |
Output is correct |
4 |
Correct |
8 ms |
844 KB |
Output is correct |
5 |
Correct |
7 ms |
716 KB |
Output is correct |
6 |
Correct |
7 ms |
716 KB |
Output is correct |
7 |
Correct |
22 ms |
1988 KB |
Output is correct |
8 |
Correct |
21 ms |
2044 KB |
Output is correct |
9 |
Correct |
38 ms |
3400 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
0 ms |
204 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
204 KB |
Output is correct |
2 |
Correct |
0 ms |
204 KB |
Output is correct |
3 |
Correct |
1 ms |
204 KB |
Output is correct |
4 |
Correct |
0 ms |
204 KB |
Output is correct |
5 |
Correct |
0 ms |
204 KB |
Output is correct |
6 |
Correct |
0 ms |
204 KB |
Output is correct |
7 |
Correct |
1 ms |
204 KB |
Output is correct |
8 |
Correct |
1 ms |
288 KB |
Output is correct |
9 |
Correct |
0 ms |
292 KB |
Output is correct |
10 |
Correct |
1 ms |
204 KB |
Output is correct |
11 |
Correct |
1 ms |
204 KB |
Output is correct |
12 |
Correct |
1 ms |
204 KB |
Output is correct |
13 |
Correct |
1 ms |
204 KB |
Output is correct |
14 |
Correct |
0 ms |
204 KB |
Output is correct |
15 |
Correct |
0 ms |
204 KB |
Output is correct |
16 |
Correct |
1 ms |
204 KB |
Output is correct |
17 |
Correct |
0 ms |
204 KB |
Output is correct |
18 |
Correct |
0 ms |
204 KB |
Output is correct |
19 |
Correct |
0 ms |
204 KB |
Output is correct |
20 |
Correct |
1 ms |
292 KB |
Output is correct |
21 |
Correct |
1 ms |
292 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
292 KB |
Output is correct |
24 |
Correct |
1 ms |
204 KB |
Output is correct |
25 |
Correct |
1 ms |
204 KB |
Output is correct |
26 |
Correct |
1 ms |
204 KB |
Output is correct |
27 |
Correct |
1 ms |
204 KB |
Output is correct |
28 |
Correct |
1 ms |
332 KB |
Output is correct |
29 |
Correct |
1 ms |
204 KB |
Output is correct |
30 |
Correct |
1 ms |
204 KB |
Output is correct |
31 |
Correct |
1 ms |
204 KB |
Output is correct |
32 |
Correct |
1 ms |
332 KB |
Output is correct |
33 |
Correct |
2 ms |
332 KB |
Output is correct |
34 |
Correct |
1 ms |
332 KB |
Output is correct |
35 |
Correct |
1 ms |
332 KB |
Output is correct |
36 |
Correct |
1 ms |
332 KB |
Output is correct |
37 |
Correct |
1 ms |
332 KB |
Output is correct |
38 |
Correct |
11 ms |
972 KB |
Output is correct |
39 |
Correct |
2 ms |
332 KB |
Output is correct |
40 |
Correct |
1 ms |
292 KB |
Output is correct |
41 |
Correct |
6 ms |
716 KB |
Output is correct |
42 |
Correct |
2 ms |
460 KB |
Output is correct |
43 |
Correct |
10 ms |
1168 KB |
Output is correct |
44 |
Correct |
8 ms |
908 KB |
Output is correct |
45 |
Correct |
6 ms |
716 KB |
Output is correct |
46 |
Correct |
5 ms |
716 KB |
Output is correct |
47 |
Correct |
4 ms |
588 KB |
Output is correct |
48 |
Correct |
9 ms |
716 KB |
Output is correct |
49 |
Correct |
3 ms |
460 KB |
Output is correct |
50 |
Correct |
3 ms |
492 KB |
Output is correct |
51 |
Correct |
1 ms |
332 KB |
Output is correct |
52 |
Correct |
7 ms |
716 KB |
Output is correct |
53 |
Correct |
4 ms |
588 KB |
Output is correct |
54 |
Correct |
2 ms |
332 KB |
Output is correct |
55 |
Correct |
1 ms |
332 KB |
Output is correct |
56 |
Correct |
7 ms |
716 KB |
Output is correct |
57 |
Correct |
5 ms |
588 KB |
Output is correct |
58 |
Correct |
3 ms |
460 KB |
Output is correct |
59 |
Correct |
3 ms |
460 KB |
Output is correct |
60 |
Correct |
1 ms |
332 KB |
Output is correct |
61 |
Correct |
1 ms |
332 KB |
Output is correct |
62 |
Correct |
7 ms |
736 KB |
Output is correct |
63 |
Correct |
4 ms |
588 KB |
Output is correct |
64 |
Correct |
3 ms |
460 KB |
Output is correct |
65 |
Correct |
3 ms |
460 KB |
Output is correct |
66 |
Correct |
2 ms |
332 KB |
Output is correct |
67 |
Correct |
1 ms |
332 KB |
Output is correct |
68 |
Correct |
0 ms |
204 KB |
Output is correct |
69 |
Correct |
1 ms |
204 KB |
Output is correct |
70 |
Correct |
0 ms |
204 KB |
Output is correct |
71 |
Correct |
0 ms |
204 KB |
Output is correct |
72 |
Correct |
4 ms |
624 KB |
Output is correct |
73 |
Correct |
3 ms |
460 KB |
Output is correct |
74 |
Correct |
2 ms |
460 KB |
Output is correct |
75 |
Correct |
2 ms |
332 KB |
Output is correct |
76 |
Correct |
2 ms |
332 KB |
Output is correct |
77 |
Correct |
8 ms |
796 KB |
Output is correct |
78 |
Correct |
6 ms |
716 KB |
Output is correct |
79 |
Correct |
4 ms |
588 KB |
Output is correct |
80 |
Correct |
3 ms |
460 KB |
Output is correct |
81 |
Correct |
3 ms |
460 KB |
Output is correct |
82 |
Correct |
7 ms |
788 KB |
Output is correct |
83 |
Correct |
5 ms |
588 KB |
Output is correct |
84 |
Correct |
2 ms |
332 KB |
Output is correct |
85 |
Correct |
1 ms |
332 KB |
Output is correct |
86 |
Correct |
7 ms |
800 KB |
Output is correct |
87 |
Correct |
4 ms |
460 KB |
Output is correct |
88 |
Correct |
1 ms |
332 KB |
Output is correct |
89 |
Correct |
26 ms |
1984 KB |
Output is correct |
90 |
Correct |
14 ms |
1484 KB |
Output is correct |
91 |
Correct |
10 ms |
1156 KB |
Output is correct |
92 |
Correct |
7 ms |
972 KB |
Output is correct |
93 |
Correct |
21 ms |
1956 KB |
Output is correct |
94 |
Correct |
12 ms |
1228 KB |
Output is correct |
95 |
Correct |
8 ms |
972 KB |
Output is correct |
96 |
Correct |
50 ms |
3464 KB |
Output is correct |
97 |
Correct |
29 ms |
2636 KB |
Output is correct |
98 |
Correct |
21 ms |
2176 KB |
Output is correct |
99 |
Correct |
16 ms |
1832 KB |
Output is correct |
100 |
Correct |
14 ms |
1612 KB |
Output is correct |
101 |
Correct |
1 ms |
204 KB |
Output is correct |
102 |
Correct |
1 ms |
204 KB |
Output is correct |
103 |
Correct |
45 ms |
3524 KB |
Output is correct |
104 |
Correct |
1 ms |
204 KB |
Output is correct |
105 |
Correct |
5 ms |
588 KB |
Output is correct |
106 |
Correct |
8 ms |
844 KB |
Output is correct |
107 |
Correct |
7 ms |
716 KB |
Output is correct |
108 |
Correct |
7 ms |
716 KB |
Output is correct |
109 |
Correct |
22 ms |
1988 KB |
Output is correct |
110 |
Correct |
21 ms |
2044 KB |
Output is correct |
111 |
Correct |
38 ms |
3400 KB |
Output is correct |
112 |
Correct |
1 ms |
204 KB |
Output is correct |
113 |
Correct |
0 ms |
204 KB |
Output is correct |
114 |
Correct |
30 ms |
2632 KB |
Output is correct |
115 |
Correct |
1 ms |
332 KB |
Output is correct |
116 |
Correct |
7 ms |
716 KB |
Output is correct |
117 |
Correct |
8 ms |
972 KB |
Output is correct |
118 |
Correct |
18 ms |
1740 KB |
Output is correct |
119 |
Correct |
21 ms |
2172 KB |
Output is correct |
120 |
Correct |
26 ms |
2124 KB |
Output is correct |
121 |
Correct |
21 ms |
2108 KB |
Output is correct |
122 |
Correct |
21 ms |
2112 KB |
Output is correct |
123 |
Correct |
40 ms |
3408 KB |
Output is correct |
124 |
Correct |
29 ms |
2688 KB |
Output is correct |
125 |
Correct |
22 ms |
2128 KB |
Output is correct |
126 |
Correct |
21 ms |
2124 KB |
Output is correct |
127 |
Correct |
17 ms |
1740 KB |
Output is correct |
128 |
Correct |
15 ms |
1744 KB |
Output is correct |