apV2LafV1LafV0F
apV6LafV5LafV4LafV3F
apV9LV8LV7F
apV13LafV12LafV11Ia=V10V11LafV10F
apV16LafV15LafV14Ia=afV17V14LV14F
a=c17afafc3
apply premises
a=c17afafafc4
a=c17c18
a=c19afc19
a=c17afafafc19
a=afV18c22Lc22
a=c17afafc22
apc17
empty_shape
a=c0c23
atestc0
atestV1LafV0F
a=c42afc23
atestc42
atestV4LafV3LafV2F
a=c42afafc48

fb8a48978f14658e15570aad0f9c0741 14H13H4H3H2H1H0
eeb336f96998f9dbff29f72cffc35db7 6H11H4H3H2H1H0
e53e46f3747e6cb219fd10d9b195536f 6H12H4H3H2H1H0
d752c30c90ebdc7f125f03b6bb40e750 6H9H4H3H2H1H0
66af1ebf20158390f1d7c1b8e546f2f8 6H10H4H3H2H1H0
ea58048cecc1832addc9d2e3f3244f6b 6H8H4H3H2H1H0
469c72050b49a34ba9e570279bf97da2 6H7H4H3H2H1H0
b80d575238742118a44071f000221651 6H5H4H3H2H1H0
2b49abd5125f693bbf8d1fd976194f2f 14H16
ab2489a29813480564f006b8c7272802 6H15
a73484c5bcc3090b55ff7a2f2e8efca7 14H19H17
a85d8c11b45e7968e9c8c43f45ac8df0 6H18H17
9103be987af61fb4f1b1026d613aa55b 14H19H20H17
c3d6c04afb6deb53b3a5a85770ecbc4d 6H21H20H17
