ERROR: Unsupported AIGER file!