write_aiger_diff_cells_proc.ys 74 Bytes