a=V0V1IaextensionalEqualV0V1F
a=a@aupdateV2V3V4V5ia@V2V5V4a=V3V5F
a=a@aupdateV6V7V8V7V8F
empty_shape
a=a@aupdateV9V10V11V12a@V9V12INa=V10V12F
a=a@aidentityV13V13F
a=a@acomposeV14V15V16a@V14a@V15V16F
a=acomposeacomposeV17V18V19acomposeV17acomposeV18V19AaextensionalEqualacomposeacomposeV17V18V19acomposeV17acomposeV18V19F
VC for compose_associative
a=acomposeacomposeV17V18V19acomposeV17acomposeV18V19F
a=acomposeaidentityV20V20Aa=acomposeV20aidentityV20AaextensionalEqualacomposeaidentityV20V20AaextensionalEqualacomposeV20aidentityV20F
VC for identity_neutral
a=acomposeaidentityV20V20Aa=acomposeV20aidentityV20F
a=a@aconstV21V22V21F
a=acomposeaconstV24V23aconstV24AaextensionalEqualaconstV24acomposeaconstV24V23F
VC for const_compose_left
a=acomposeaconstV24V23aconstV24F
a=acomposeV25aconstV26aconsta@V25V26AaextensionalEqualaconsta@V25V26acomposeV25aconstV26F
VC for const_compose_right

c9b20067876b9c36bb33e74b35c52c2a 3H2H1H0
bda6e85ecf0a433fbf6bf4b45be8255e 3H4H2H1H0
38436b8d429db4bea77552203fc2a41d 8H7H6H5H4H2H1H0
c7f3a46a99993326b1364360834d5838 11H10H9H6H5H4H2H1H0
449c28acf93f5a5231f1f9da632fad31 15H14H13H12H9H6H5H4H2H1H0
6c5b38d694523b66f1c0a319f0a36419 18H17H16H13H12H9H6H5H4H2H1H0
