Domain d1bzla1: 1bzl A:2-169,A:287-357

Shown in context of the chain.