aig1 copy | AIG Models