read_aiger_cant_interpret_as_input_fail.pat 49 Bytes