a=axc42
apc1
apc0
empty_shape
Na=axc42
apc2
iapc2apc1a=axc42
a=alaNil
apc4
a=alaConsax1ay
apa+ax1alengthay
a=alaConsa_aConsayaNil
apay
a=alaConsax1aConsayaz
apa+a+ax1ayalengthaz
a=alaConsa_aConsa_1aConsa_2a_3
apc5
Capc4aNilapa+V0alengthV1aConsVVapV2aConswaConsVaNilapa+a+V3V4alengthV5aConsVaConsVVapc5aConswaConswaConswwal
a=alaConsax1aNil
apax1
a=alaConsa_aConsax1aNil
a=alaConsa_al1
apalengthal1
Capc1aNilapV6aConswaConsVaNilOaConsVaNilapalengthV7aConswaConswwzal
a=alal2
apa+alengthal1alengthal2
apc3
a=ala_
Capa+alengthV9alengthV8aConswaConswwzzapc0wal
apax
apa+axc1
Napa+axc1
Napax
iapc2apc1apa+axc1
iapc3iapc2apc1apa+axc1apax
a=alaConsax1aConsaya_
a=ax1ay
Na=ax1ay
iapc4Aapc3apc2Oapc1a=ax1ay
t
Ciapc4Aapc3apc2Oapc1a=V10V11aConsVaConsVwtwal
destruct premise
apc6
Napc2
iapc4apc3apc2
iapc4apc3apc2Iapc1
apc3Iapc2
apc7
Napc1
iapc4apc3Iapc2apc1
apc4Iapc3
apc8
iapc5apc4Iapc3apc2
iapc6iapc5apc4Iapc3apc2apc1

232785e0ebbe4da474f8a2301a4f9666 3H2H6
805c36433c1717e5757e162306dbb88c 3H2H1H0
2d75908be8edd9603936a0978db2b1e6 3H2H5H4
5b59240953bb2d1a617609e80d3c058f 3H1H17H6
44988c7ec21dbc47b80c675d750c1765 3H1H8H7H6
e03991db12fb3b7a5b9e776b3df382a6 3H1H10H9H6
94b9d5570ab6838eda113ed74e400ee9 3H1H12H11H6
44c843bbd3a13ee73ba25ef79a4ae243 3H1H14H13H6
12539c29b999eb2c11bad07bdb46077d 3H1H16H15H6
05acb0a44a5edfafb6f9d44865d36d69 3H5H23H17H6
fd3a8c8c175e1d142904847837053ac7 3H5H1H7H17H6
3c5ddf4280923e101cd2921d9164dda8 3H5H19H18H17H6
ffd267f0a867879d0dd50098f27df67b 3H5H19H20H17H6
448abd7375a57f8ff5e5d925040f0325 3H5H22H21H17H6
3b9c7cc8279a8418b8f6185f5a362604 3H26H28H23H17H6
155ed087da60acb1fcbd0c38059802aa 3H26H25H24H23H17H6
ed4bb1e3ff08e1e87a8f7eb23d6dacc5 3H26H2H27H23H17H6
08f3cd41b3e37b01b8a9d957897390ce 3H8H34H28H23H17H6
affae91a13bdb84f5817172ccea70ff5 3H8H33H29H28H23H17H6
bc66f04df47984a6a44352995fd8a876 3H8H26H32H28H23H17H6
c0786b6d0f4d39d19e73b916974eb4fd 3H8H1H30H29H28H23H17H6
cf898b2acafe23960c9d641e074fedfa 3H8H5H31H29H28H23H17H6
bc66f04df47984a6a44352995fd8a876 3H8H26H32H28H23H17H6
c92ea86999c75a22629866d4b2854bcc 3H16H40H34H28H23H17H6
9432ac4a57fb2f7d60a315cadd2ceb05 3H16H38H35H34H28H23H17H6
5ce3b43c6f957bd10af52aabaa4fe62f 3H16H39H27H34H28H23H17H6
e1ef20f3f4cbeb1e00ebc27650c1a7ad 3H16H1H36H35H34H28H23H17H6
1e16823b7e931f4e68a5f1fe05e3a05c 3H16H5H36H35H34H28H23H17H6
8064c675de64dcd65003db2e443cb986 3H16H8H26H37H35H34H28H23H17H6
f2e165ee977e58767067fec6201a4c23 3H16H27H34H28H23H17H6
b05d12281be26978cbc294447a86e79b 3H42H45H40H34H28H23H17H6
70f0bda74cbec40f4447b18226b93ee5 41H1H40H34H28H23H17H6
28d4f39cb15e8f3e9d6ef225e7b75c55 3H42H44H40H34H28H23H17H6
70f0bda74cbec40f4447b18226b93ee5 41H1H40H34H28H23H17H6
0f5837b293bb463489d5aae4041b56c9 3H42H26H5H40H34H28H23H17H6
2de73e9075f66e0262723382d6618c26 3H42H8H43H40H34H28H23H17H6
1b04016661af436d7c80d7cfeb1c1dab 3H47H49H45H40H34H28H23H17H6
67bbfbb5a657ac9e5aae0b87ae57fd5a 3H47H46H1H45H40H34H28H23H17H6
9e88dd8a9aa2b4f43826b8e67ed3c0c2 3H47H8H48H45H40H34H28H23H17H6
67bbfbb5a657ac9e5aae0b87ae57fd5a 3H47H46H1H45H40H34H28H23H17H6
9e88dd8a9aa2b4f43826b8e67ed3c0c2 3H47H8H48H45H40H34H28H23H17H6
701dc86e755f65e92d621f53eff34958 3H51H53H49H45H40H34H28H23H17H6
ce707521774c3cc1bada4436f15774a5 3H51H52H1H49H45H40H34H28H23H17H6
0ce368c99a4ec21cc03a17989978e466 3H51H42H48H49H45H40H34H28H23H17H6
df04ce5a2d45e5dd54f81ddc646f058b 3H51H50H5H1H49H45H40H34H28H23H17H6
d0ec3b7ada232e7135a44d00159ef24b 3H51H16H43H1H49H45H40H34H28H23H17H6
0ce368c99a4ec21cc03a17989978e466 3H51H42H48H49H45H40H34H28H23H17H6
