&cec test0.aiger test1.aiger