write_aiger_diff_cells_proc.ys 83 Bytes