aiger_ff.aig 56 Bytes