write_aiger_miter.ys 108 Bytes