a=V0V1IapredExtensionalEqualV0V1F
ia=a@V2V5aTruea=V4aTruea=V3V5qa=a@apupdateV2V3V4V5aTrueF
a=V8aTrueqa=a@apupdateV6V7V8V7aTrueF
empty_shape
a=a@V9V12aTrueqa=a@apupdateV9V10V11V12aTrueINa=V10V12F
a=a@V13a@V14V15aTrueqa=a@apcomposeV13V14V15aTrueF
a=apcomposeapcomposeV16V17V18apcomposeV16acomposeV17V18AapredExtensionalEqualapcomposeapcomposeV16V17V18apcomposeV16acomposeV17V18F
VC for pcompose_associative
a=apcomposeapcomposeV16V17V18apcomposeV16acomposeV17V18F
a=apcomposeV19aidentityV19AapredExtensionalEqualapcomposeV19aidentityV19F
VC for identity_neutral

d0768e709616f5754a5d703dd6fd16f4 3H2H1H0
be91c9350824b3e09a654a1ee30e30be 3H4H2H1H0
adf003dd3d7e1a1f5c8b1b5307491b7c 7H6H5H4H2H1H0
87d29f261f3d745a3fd2d9469480d2c4 10H9H8H5H4H2H1H0
