// A small test of basic reduction. Should not reduce.
int main() {
    return 0;
}