Generated from

http://fmv.jku.at/miters/hwmcc12miters-aigs.7z

See the README in that archive for more information on
how those miters are generated.

This CNF files in this archives are generated with
'aigtocnf --no-pg' from the AIGER distribution.

Armin Biere
Johannes Kepler University
Fri Dec 21 11:40:43 CET 2012