a=a+a+V0V1V2a+V0a+V1V2F
a=a+azeroV3V3F
a=a+V4azeroV4F
a=a+a-V5V5azeroF
a=a+V6a-V6azeroF
a=a+V7V8a+V8V7F
a=a*a*V9V10V11a*V9a*V10V11F
a=a*V12a+V13V14a+a*V12V13a*V12V14F
a=a*a+V16V17V15a+a*V16V15a*V17V15F
a>=V19c0Aa<V19V18Aa<=c0V18La-V18c1INa=V18c0Ia>=V18c0F
VC for mul
ia=amulV18V19a+V18amulV18a-V19c1a=amulV18V19azeroa=V19c0Ia>=V19c0F
a=a+a+V20V21V22a+V20a+V21V22F
empty_shape
a=a+azeroV23V23F
a=a+V24azeroV24F
a=amulV25c0azeroF
a=amulV26a+V27c1a+V26amulV26V27Ia>=V27c0F
a=amulV28V29a+V28amulV28a-V29c1Ia>V29c0F
a=amulV30c1V30F
a=amulV31a+V32V33a+amulV31V32amulV31V33Ia<=c0V33Ia<=c0V32F
a=amulV34a*V35V36amulamulV34V35V36Ia<=c0V36Ia<=c0V35F
a=a+amulV37V39V38a+V38amulV37V39Ia<=c0V39FIa=a+V37V38a+V38V37F
a=amula+V40V41V42a+amulV40V42amulV41V42Ia<=c0V42FIa=a+V40V41a+V41V40F
a=V44V45ItOa=a+a-V43a+V43V44a+a-V43a+V43V45Ia=a+V43V44a+V43V45F
a=V47V48ItOa=a+a+V47V46a-V46a+a+V48V46a-V46Ia=a+V47V46a+V48V46F
a=a*azeroV49azeroF
a=a*V50azeroazeroF
a=a*V51a-V52a-a*V51V52ItOa=a+a*V51V52a*V51a-V52a+a*V51V52a-a*V51V52F
a=a+a*axaya*a-axaya+a*axaya-a*axay
a=a*a-axaya-a*axay
a=a*a-V53V54a-a*V53V54ItOa=a+a*V53V54a*a-V53V54a+a*V53V54a-a*V53V54F
a=a-a-V55V55F
anulla+V56V57V58IanullV57V58IanullV56V58Ia<=c0V58F
a=amula*V59V60V61a*amulV59V61V60Ia=amula*V59V60V62a*amulV59V62V60La-V61c1Oa=V61c0Aa<=c0V63Aa<V63V61Aa<=c0V61La-V61c1INa=V61c0Ia<=c0V61F
VC for mul_star_l
a=amula*V59V60V61a*amulV59V61V60Ia<=c0V61F
a=amula*V62V63V64a*V62amulV63V64Ia=amula*V62V63V65a*V62amulV63V65La-V64c1Oa=V64c0Aa<=c0V66Aa<V66V64Aa<=c0V64La-V64c1INa=V64c0Ia<=c0V64F
VC for mul_star_r
a=amula*V62V63V64a*V62amulV63V64Ia<=c0V64F
anulla*V65V66V67IanullV65V67Ia<=c0V67F
anulla*V68V69V70IanullV69V70Ia<=c0V70F
a=amulV71a+V73V72amulV71V73IanullV71V72Ia>V73c0Ia>V72c0F
a=a*a*V74V74V74V74F
a=a*a*a+axaxa+axaxa+axaxamula*a*axaxaxc8
a=amulaxc8a+a+azeroaxax
a=amulaxc8a+a+amulaxc6axax
anullaxc6
anullV75c6ItOtOa=amulV75c8a+a+amulV75c6V75V75Aa=amulV75c8a+a+azeroV75V75Aa=a*a*a+V75V75a+V75V75a+V75V75amula*a*V75V75V75c8F
a=axa+ayaz
anullayc2
anullazc3
a=axa+V76V77Lamula-axc2Lamulaxc3
anullV78c2Lamula-axc2Lamulaxc3
anullV81c3Lamula-axc2Lamulaxc3
anullV83c3AanullV82c2Aa=axa+V82V83E
anullV78c3AanullV77c2Aa=V76a+V77V78EItOanullV80c3AanullV79c2Aa=V76a+V79V80Lamula-V76c2LamulV76c3F
a=V81azeroIanullV81c3IanullV81c2F
a=a*V82V82V82ItOtOtOa=a+V82a*V82V82azeroAa=a*a*a+V82a*V82V82a+V82a*V82V82a+V82a*V82V82azeroAa=a*a+V82a*V82V82a+V82a*V82V82azeroIanullV82c2F
a=a*V83V84a*V84V83ItOtOa=a+V83V84a+a+a+V83V84a*V83V84a*V84V83Aa=a*a+V83V84a+V83V84a+a+a+a*V83V83a*V84V84a*V83V84a*V84V83IanullV84c2IanullV83c2F
anullaxc3
anullayc3
a=a*a*a+ax1ay1a+ax1ay1a+ax1ay1a+a+a+a+a+a+a+a*a*ax1ax1ax1a*a*ay1ay1ay1a*a*ay1ay1ax1a*a*ay1ax1ay1a*a*ax1ay1ay1a*a*ax1ax1ay1a*a*ax1ay1ax1a*a*ay1ax1ax1
a=a+a+ax1ay1azeroa+a+ax1ay1a+a+a+a+a+a*a*ay1ay1ax1a*a*ay1ax1ay1a*a*ax1ay1ay1a*a*ax1ax1ay1a*a*ax1ay1ax1a*a*ay1ax1ax1
a=a+a+a+a+a+a*a*ay1ay1ax1a*a*ay1ax1ay1a*a*ax1ay1ay1a*a*ax1ax1ay1a*a*ax1ay1ax1a*a*ay1ax1ax1azero
a=a+a+a+a+a+a*a*V86V86V85a*a*V86V85V86a*a*V85V86V86a*a*V85V85V86a*a*V85V86V85a*a*V86V85V85azeroF
a=a+a+a+a+a+a*a*ayayaxa*a*ayaxaya*a*axayaya*a*axaxaya*a*axayaxa*a*ayaxaxazero
a=a+a+a+a+a+a*a*a-aya-ayaxa*a*a-ayaxa-aya*a*axa-aya-aya*a*axaxa-aya*a*axa-ayaxa*a*a-ayaxaxazero
a=a+a+a+a+a+a*a*ayayaxa*a*ayaxaya*a*axayaya-a*a*axaxaya-a*a*axayaxa-a*a*ayaxaxazero
a=a+a+amula*a*ayayaxc2amula*a*ayaxayc2amula*a*axayayc2azero
a=a+a+amula*a*ayayaxc4amula*a*ayaxayc4amula*a*axayayc4azero
a=a+a+a*a*ayayaxa*a*ayaxaya*a*axayayazero
a=a+a+a*a*V86V86V85a*a*V86V85V86a*a*V85V86V86azeroItOtOtOtOtOa=a+a+amula*a*V86V86V85c4amula*a*V86V85V86c4amula*a*V85V86V86c4azeroAa=a+a+amula*a*V86V86V85c2amula*a*V86V85V86c2amula*a*V85V86V86c2azeroAa=a+a+a+a+a+a*a*V86V86V85a*a*V86V85V86a*a*V85V86V86a-a*a*V85V85V86a-a*a*V85V86V85a-a*a*V86V85V85azeroItOa=a+a+a+a+a+a*a*a-V86a-V86V85a*a*a-V86V85a-V86a*a*V85a-V86a-V86a*a*V85V85a-V86a*a*V85a-V86V85a*a*a-V86V85V85azeroAa=a+a+a+a+a+a*a*V86V86V85a*a*V86V85V86a*a*V85V86V86a*a*V85V85V86a*a*V85V86V85a*a*V86V85V85azeroAa=a+a+a+a+a+a*a*V88V88V87a*a*V88V87V88a*a*V87V88V88a*a*V87V87V88a*a*V87V88V87a*a*V88V87V87azeroItOtOa=a+a+V87V88azeroa+a+V87V88a+a+a+a+a+a*a*V88V88V87a*a*V88V87V88a*a*V87V88V88a*a*V87V87V88a*a*V87V88V87a*a*V88V87V87Aa=a*a*a+V87V88a+V87V88a+V87V88a+a+a+a+a+a+a+a*a*V87V87V87a*a*V88V88V88a*a*V88V88V87a*a*V88V87V88a*a*V87V88V88a*a*V87V87V88a*a*V87V88V87a*a*V88V87V87FIanullV86c3IanullV85c3F
a=a+a+a*ayaxa*a*a*ayayaxaya*a*a*ayaxayaya+a+a*axaya*a*a*ayayaxaya*a*a*ayaxayay
a=a*axaya*ayax
a=a*V89V90a*V90V89ItOa=a+a+a*V90V89a*a*a*V90V90V89V90a*a*a*V90V89V90V90a+a+a*V89V90a*a*a*V90V90V89V90a*a*a*V90V89V90V90IanullV90c3IanullV89c3F
anullV94c3AanullV92c3AanullV93c2AanullV91c2Aa=aya+V93V94Aa=axa+V91V92E
a=axa+ax2ax3
a=aya+ay2ay3
anullax2c2
anullay2c2
anullax3c3
anullay3c3
a=a*ax2ay3azero
a=a*ay3ax2azero
a=a*ax3ay2azero
a=a*ay2ax3azero
a=a*V91V92a*V92V91ItOtOa=a*V95V94azeroAa=a*V94V95azeroAa=a*V96V93azeroAa=a*V93V96azeroAanullV96c3AanullV94c3AanullV95c2AanullV93c2Aa=V92a+V95V96Aa=V91a+V93V94EF

310de6e1216d843cf472d974e90c29fb 10H9H8H7H6H5H4H3H2H1H0
7d666617dd988178de4330dce881e331 13H12H11H8H7H6H5H4H3H2H1H0
370406aa1b847e4d1dc690194453ca7d 13H14H12H11H8H7H6H5H4H3H2H1H0
9056dd19e892cf659c74b7e72d4e1df9 13H15H14H12H11H8H7H6H5H4H3H2H1H0
56f011bd9640458eef810b894a912c6c 13H16H15H14H12H11H8H7H6H5H4H3H2H1H0
63d0a382863c306bfcfae9beda89a0be 13H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
41d96de2f613d5a6b6aacb68fa26b896 13H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
fafa54d85204c0837061e7d6d51479cf 13H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
95badaf44f8762b2d82c540875df3286 13H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
1cdbef41b0336f90724c575da9145005 13H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
de317653017da60e92c3d1ab290b9c77 13H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
f9eac71725bfd0d5df6301a6a3118b48 13H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
fd4c40304e7e7738c7423731a0fb3e62 13H29H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
61ccd324625dfc27a3718be194c529c3 13H30H29H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
c928e9dcaa0c00b6b87de2cf7db6efca 13H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
da9755167caff1b65322de07f26f3fa6 13H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
98ffe6f8a646bd817afe6f61b138a94d 35H34H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
a8d8c5a69327063d3be43e53aa473b4b 38H37H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
4bd10978db99fcef683c68f56220e724 13H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
8ad759c7bd91bd6590f4701ecbdc39f2 13H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
929ed3aa76f65d340e3d0317b2452d36 13H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
330268ca1f06a02ba412b329f92d05b0 13H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
ed9f8b9162785437b30d4161f0bdb2ea 13H44H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
b8687b0d000ff3f4dc03aa34de85c0dc 13H45H44H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
e63f4222360bdc034be78f1bda98123f 13H46H44H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
24c1840e7f3738f4299b040f7b8123f9 13H47H46H45H44H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
739be53418d1d3c7317cb2ea6012d7d5 13H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
ff91bde31cb7abfd5427656e21dd33aa 13H49H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
0fa883d26a6908d3300cd04635e62782 13H50H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
6156a5e493cda3e062175065bd2eef0b 13H51H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
3ce21f24b1f9bc2d1c7e05e7aec54b8f 13H55H54H53H52H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
b12c341d033c9727c7708e524268a353 13H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
06937da03711e56a4416671df90ef8b7 13H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
d76fe15675a9a248c0635890baf56374 13H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
8d937ef8a2692fd3e395a29e03a4c777 13H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
ffbda3240be502be9143466b1361c570 13H62H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
53c29da91482f21e911f97b16227054d 13H63H62H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
7c2fd574bdf282f625f3c49ea577d0ef 13H64H63H62H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
9c6b5a6156dc1d59182e4c31b70e4034 13H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
39d282f15ba621220fcb8a164133b219 13H67H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
e6e7d9945fa11233daa3fcc8bc520a96 13H68H67H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
637761d5046f883fa3f533484866dad0 13H69H68H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
33d23dc0ed1557f4c7837ac193ce2d59 13H70H69H68H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
fc3428e1f352eeb6c6d81bb8887feac5 13H71H70H69H68H66H65H61H60H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
88bd32ab67d84d07f21192dc91327e82 13H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
cc755d2b978a907e4950eead090c3a7f 13H73H61H60H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
312b721453303515b75463d24b46f0b1 13H74H73H61H60H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
495ad036c2fc14908763dd81bf6be3e0 13H87H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
79413ad5807cc655feacfd9cde8381ab 13H76H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
bc01cf70ac65a6fc9e4ed4948eb9aaab 13H83H82H81H80H79H78H77H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
b4f5af198fc0d51b911f0ed9d24d41d8 13H84H82H81H80H79H78H77H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
af57b95b0027af1a347ab0d93bd75c25 13H85H82H81H80H79H78H77H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
89ea855b86025e0f5dceb3c82808bee3 13H86H82H81H80H79H78H77H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
7dd52a600aed37c35b2ce306c438074d 13H74H86H85H84H83H82H81H80H79H78H77H75H72H59H58H57H56H48H43H42H41H40H39H36H33H32H31H28H27H26H25H24H23H22H21H20H19H18H17H16H15H14H12H11H8H7H6H5H4H3H2H1H0
