sterin/aiger archive