Domain d1xz1a_: 1xz1 A:

Shown in context of the chain.