Domain d1aigp1: 1aig P:36-258

Shown in context of the chain.