Domain d1aigp2: 1aig P:11-35