write_aiger.ys 95 Bytes