read_aiger_proc.ys 214 Bytes