write_aiger_diff_cells.ys 68 Bytes