aig 3 2 0 1 1 6