import "hashes/pedersen/512bitBool" as pedersen;

def main() {
    bool[512] input = [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, false, true];
    bool[256] res = [true, false, true, false, true, true, true, false, true, false, false, false, true, true, false, true, false, true, false, false, true, false, false, true, true, false, true, false, true, true, true, false, false, true, true, false, true, true, false, false, false, true, false, false, false, true, false, false, false, true, false, true, false, true, true, false, true, false, false, false, false, false, true, true, false, true, true, true, true, false, true, true, false, true, false, false, true, false, true, false, true, true, true, true, true, true, false, true, false, false, true, true, false, true, true, false, true, false, false, false, true, true, false, true, false, true, false, true, true, false, true, true, true, true, true, false, true, true, true, false, true, false, true, false, false, true, false, true, false, false, false, true, true, true, false, true, true, true, true, true, false, true, false, false, true, false, false, true, true, false, false, true, false, true, false, true, true, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, false, true, true, false, false, true, false, true, false, true, true, false, true, true, true, false, true, true, true, false, true, true, true, true, false, false, false, true, true, false, true, true, false, false, false, false, true, false, false, false, false, true, true, true, false, true, false, true, false, false, false, false, true, true, false, false, true, false, true, true, false, false, true, false, true, true, false, true, false, true, true, true, true, false, true, true, true, true, true, true, true, true, true, true];
    assert(pedersen(input) == res);
    return;
}