#include "vision.h"
#include <bits/stdc++.h>
using namespace std;
void construct_network(int H, int W, int K) {
int base = H * W, qidx = H * W;
vector<int> Ns;
for (int i = 0; i < H; i++) {
Ns.clear();
for (int j = 0; j < W; j++) {
Ns.push_back(i * W + j);
}
add_or(Ns), qidx++;
}
for (int d = 1; d < H; d++) {
for (int i = 0; i + d < H; i++) {
add_and({{base + i, base + i + d}}), qidx++;
}
}
Ns.clear();
for (int i = 0; i < H; i++, base++) {
Ns.push_back(base);
}
add_xor(Ns), qidx++;
for (int d = 1; d < H; d++) {
Ns.clear();
for (int i = 0; i < H - d; i++, base++) {
Ns.push_back(base);
}
add_or(Ns), qidx++;
}
int hdb = qidx - H;
// ------------------------------
base = qidx;
for (int j = 0; j < W; j++) {
Ns.clear();
for (int i = 0; i < H; i++) {
Ns.push_back(i * W + j);
}
add_or(Ns), qidx++;
}
for (int d = 1; d < W; d++) {
for (int i = 0; i + d < W; i++) {
add_and({{base + i, base + i + d}}), qidx++;
}
}
Ns.clear();
for (int i = 0; i < W; i++, base++) {
Ns.push_back(base);
}
add_xor(Ns), qidx++;
for (int d = 1; d < W; d++) {
Ns.clear();
for (int i = 0; i < W - d; i++, base++) {
Ns.push_back(base);
}
add_or(Ns), qidx++;
}
int wdb = qidx - W;
// ------------------------------
base = qidx;
for (int i = 0; i < H; i++) {
int j = K - i;
if (j >= 0 && j < W) {
add_and({hdb + i, wdb + j}), qidx++;
}
}
Ns.clear();
for (int i = base; i < qidx; i++) {
Ns.push_back(i);
}
add_or(Ns), qidx++;
}
