aiger_logic.aig 78 Bytes