#pragma curve bn128

import "EMBED/unpack" as unpack

def main(field i) -> (bool[128]):

    bool[254] b = unpack(i)

    b[0..126] == [false; 126]

    return b[126..254]