aiger_latch.aig 22 Bytes