write_aiger_diff_cells.ys 83 Bytes