a=a@asomeV0aSomeV0F
a=a@aocaseV1V2V3CV2aNonea@V1V4aSomeVV3F
a=a@aocaseV5V6aSomeV7a@V5V7F
empty_shape
a=a@aocaseV8V9aNoneV9F
a=arcomposeasomeaocaseV10V11V10AaextensionalEqualarcomposeasomeaocaseV10V11V10F
VC for compose_ocase_some
a=arcomposeasomeaocaseV10V11V10F
a=a@aoliftV12V13aomapV12V13F
a=a@aoliftV14aNoneaNoneF
a=a@aoliftV15aSomeV16aSomea@V15V16F
a=V18aNoneqa=a@aoliftV17V18aNoneF
CfaNonea=a@V19V22V21aSomeVV20qa=a@aoliftV19V20aSomeV21ICtaNonetaSomeVV20F
VC for olift_some_inversion
CfaNonea=a@V19V22V21aSomeVV20qa=a@aoliftV19V20aSomeV21F
a=aoliftaidentityaidentityAaextensionalEqualaoliftaidentityaidentity
VC for olift_identity
a=aoliftaidentityaidentity
a=acomposeaoliftV23aoliftV24aoliftacomposeV23V24AaextensionalEqualacomposeaoliftV23aoliftV24aoliftacomposeV23V24F
VC for olift_composition
a=acomposeaoliftV23aoliftV24aoliftacomposeV23V24F
a=acomposeasomeV25acomposeaoliftV25asomeF
a=aoliftaV26V27V28aaoliftV26aSomeV27aSomeV28AaextensionalEqualaoliftaV26V27V28aaoliftV26aSomeV27aSomeV28F
VC for olift_update

d8c8e77e78f4e5f4def5af82365575eb 3H2H1H0
14e891a8b1be5241a6e4a6d3bd590c9f 3H4H2H1H0
9194781279e439e84ec7e3850af4b2cf 6H5H4H2H1H0
76eaf0aa9ec8cb02ba16108e94c7794a 3H8H7H4H2H1H0
c6d810099b2680c6ca39bda4e72e9c05 3H9H8H7H4H2H1H0
47f3ab854e48a79f7704a16a110f9a48 3H10H9H8H7H4H2H1H0
dc28425d39a5a924f90743912a67f451 3H11H10H9H8H7H4H2H1H0
80cd44b55939df455aeb6281046a7647 13H12H11H10H9H8H7H4H2H1H0
828337c8f348d04084cab444c6436c0e 16H15H14H11H10H9H8H7H4H2H1H0
a0ebb9e759847cdbe86465c876713ece 19H18H17H14H11H10H9H8H7H4H2H1H0
1f0ecb1594917b192579256ff99bdd23 3H21H20H17H14H11H10H9H8H7H4H2H1H0
e2e089ea212d702ac20209f02a33fd4b 23H22H21H20H17H14H11H10H9H8H7H4H2H1H0
