// #pragma GCC optimize("O3")
// #pragma GCC target("avx2")
#include "vision.h"

#include <bits/stdc++.h>

void construct_network(int n, int m, int k) {
    auto get = [&](int i, int j) {
        return i * m + j;
    };
    if (n * m == 2) {
        add_or({0, 1});
        return;
    }
    assert(n * m >= 2);
    int zero = add_and({0, 1, 2});
    int one = add_not(zero);

    std::vector<std::vector<int>> d1(n + m - 1), d2(n + m - 1);
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            d1[i + j].push_back(get(i, j));
            d2[i - j + m - 1].push_back(get(i, j));
        }
    }

    auto make_cum = [&](std::vector<std::vector<int>> input) -> std::pair<int, int> {
        int n = input.size();
        std::vector<int> vec(n);
        for (int i = 0; i < n; i++) {
            vec[i] = add_or(input[i]);
        }
        std::vector<int> va;
        for (int i = 0; i + k < n; i++) {
            va.push_back(add_and({vec[i], vec[i + k]}));
        }
        int a = add_or(va);

        std::vector<int> fuck;
        for (int i = 0; i < n; i++) {
            std::vector<int> vc;
            for (int j = 0; j < n; j++) {
                if (abs(i - j) > k) {
                    vc.push_back(vec[j]);
                }
            }
            if (vc.size())
                fuck.push_back(add_and({add_or(vc), vec[i]}));
        }

        int not_fuck = one;
        if (!fuck.empty()) {
            int fck = add_or(fuck);
            not_fuck = add_not(fck);
        }
        return {a, not_fuck};
    };

    auto [a1, b1] = make_cum(d1);
    auto [a2, b2] = make_cum(d2);

    // add_and({a1, a2});
    int p1 = add_and({a1, b2});
    int p2 = add_and({a2, b1});

    add_or({p1, p2});
}