Domain d3coqb2: 3coq B:50-96

Shown in context of the chain.