a=azerosc0
empty_shape
a=aonesaof_intamx
a=at'intazerosc0
a=at'intaonesamx
a=asizeasz
a=at'maxIntamx
a=atwo_power_sizeamd
a=aaddaonesaoneazeros
a=asubazerosaoneaones
a=anegaonesaone
a=amulaoneatwoatwo
a=amulaonesaonesaone
a=audivaoneatwoazeros
a=auremaoneatwoaone
a=alsl_bvaoneaoneatwo
a=alsl_bvaonesaoneasubaonesaone
a=alsr_bvaoneatwoazeros
a=alsr_bvaonesasubaof_intaszaoneaone
a=aasr_bvaoneatwoazeros
a=aasr_bvaonesatwoaones
a=abw_andaonesaoneaone
a=abw_oraonesaoneaones
a=abw_xoraonesaoneasubaonesaone
a=abw_notaonesazeros
a=arotate_right_bvaoneaonealastb
a=arotate_right_bvaonesatwoaones
a=arotate_left_bvalastbaoneaone
a=arotate_left_bvaonesatwoaones
a=alsl_bvaoneaaddaof_intaszaoneazeros
a=alsr_bvalastbaaddaof_intaszaoneazeros
a=aasr_bvalastbaaddaof_intaszaoneaones
a=arotate_right_bvaoneaaddaof_intaszaonealastb
a=arotate_left_bvaoneaaddaof_intaszaoneatwo
a=aof_intamdazeros
a=anegalastbazeros
a=audivaoneazerosazeros
a=auremaoneazerosazeros
a=alsl_bvaonesaoneaones
augtalsr_bvaonesaonealastb
auleaasr_bvalastbaonealastb
a=arotate_right_bvaoneaoneazeros
a=arotate_left_bvalastbaoneazeros
a=abw_andab0011ab0110ab0010
a=abw_andab0011ab0110ab0011
a=abw_orab0011ab0110ab0111
a=abw_orab0011ab0110ab0110
a=abw_xorab0011ab0110ab0101
a=abw_notab0011c18446744073709551612
a=alsr_bvab0111c2ab0001
a=alsr_bvaonesaof_intc63c1
a=alsr_bvaonesaof_intasize_sub_oneab0001
a=alsr_bvaonesc4294967297c2147483647
a=alsl_bvab0111c2ab11100
a=alsl_bvab0001c31c2147483648
a=aasr_bvab0111c2ab0001
a=aasr_bvaonesaof_inta-asizec1aones
a=at'intab11100c28
a=at'intaonesa-c1
a=anth_bvab0110c2aTrue
a=anth_bvab0110c3aFalse
a=anth_bvabw_andV0V1V2aandbanth_bvV0V2anth_bvV1V2IaultV2asize_bvF
a=anth_bvabw_orV0V1V2aorbanth_bvV0V2anth_bvV1V2IaultV2asize_bvF
a=anth_bvabw_xorV0V1V2axorbanth_bvV0V2anth_bvV1V2IaultV2asize_bvF
a=anth_bvabw_notV0V1anotbanth_bvV0V1IaultV1asize_bvF
a=abw_notabw_notV0V0F
a=abw_notabw_andV0V1abw_orabw_notV0abw_notV1F
a=anth_bvalsr_bvV0V2V1anth_bvV0aaddV1V2IaultaaddV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=anth_bvalsr_bvV0V2V1aFalseIaugeaaddV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=anth_bvaasr_bvV0V2V1anth_bvV0aaddV1V2IaultaaddV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=anth_bvaasr_bvV0V2V1anth_bvV0asubasize_bvaoneIaugeaaddV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=anth_bvalsl_bvV0V2V1anth_bvV0asubV1V2IaultasubV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=anth_bvalsl_bvV0V2V1aFalseIaugeasubV1V2asize_bvIaultV1asize_bvIaultV2asize_bvF
a=auremauremV0amulV1V2V1auremV0V1IauleV2c4294967295IauleV1c4294967295IaultazerosV2IaultazerosV1IauleazerosV0F

25db3adae45afce1b31eafc80e58d910 1H0
7b9957625a8752dcf3529f1cc194cf50 1H2
ca6b629110d83a9ece1d04e0ba4fafec 1H3
07f29fcd3585afc057c547f51edd6362 1H4
c81684e174c23edd2cbf13c13e424f82 1H5
1d39e77a37338f9fc70df9aa78488804 1H6
1672d26c0982151afd64e599cae133bf 1H7
73841131369604fdcca67cffd18578f7 1H8
ae2d94e49a2eac79db316e4fa3d4543b 1H9
a6db8a89e6c62bf75f1efeedda80c29f 1H10
a7ef5140e3eedab1db57f0743c14223d 1H11
be20529075ed693e4640eb6d3d01d52f 1H12
8b5a8416789861d5cc3956ea5ec54748 1H13
2408ede6c476206b65a62bf95a5374aa 1H14
ec2a007227f7cfe2a7d17b3472532ff2 1H15
5d877b4a3b3dbf7b3aa1d1e69cd26d10 1H16
311a46577554119ed8d9e6bfc306ebed 1H17
289ba709250d425b8c29694406c010c6 1H18
e2180af010489c918a8388aea97626d7 1H19
59d05b4181039f6946b592c29cf4ef3a 1H20
97d09d39ce93bebe961b3209526d9955 1H21
bcc8d6c160ca2cec8ea78019fd76a4de 1H22
d9c864af8ccc09fbe5dce24000e994c4 1H23
7a93dc15fc9d019ba2d5e0e6c63b830d 1H24
e06b4dabfe18df88e3015981c6dd661d 1H25
40c6180ad8b1fb8ef60845d76222a9b9 1H26
99e4ab83406189e46c56df69f7e4a46a 1H27
71cd17af0eaedf5783f525863ca39b38 1H28
4be28b70499cc12a2f4f7b912a36c590 1H29
f1a69fc2ab93c96ea56cd9a237670dc0 1H30
18a36f0dd2a65b5fd58ba4304c4ce298 1H31
e5eda182638468a04b30f7014ef3045c 1H32
07a94b65515a4defe1b1f7ae9e18725b 1H33
e438daa8bac0cebe932b68e761e665fa 1H34
904828e11c69eb1833e6e4ca1e6cefb9 1H35
534006f4920cb663aaf79473be43711a 1H36
a3d13f971373be74c6c1dd82b97f6044 1H37
c1cb3c77becacc45885e94c36ca44f59 1H38
96c8b61906319da32003617f9a92da21 1H39
37c28a1b7abf9bc108aa263f06064a11 1H40
3b080a20d366cabde7e8f30a390cf224 1H41
646a56e0a018e3fe8ff02c08d4c32cb8 1H42
63ac67690ae9f0d433df0f1e81856bc5 1H43
fdd35227945d3ad2629ef2c80ecfcf18 1H44
d6c7e32d65378e31d1fad17210afc6e8 1H45
5214a5099cc0f396eceaa9530f2d148d 1H46
1dd45fbf9a8326796f434b670fe168b1 1H47
d15dc4df782b8b14386313935a3e15fc 1H48
774dbc40803c046fbacf100c920b67e0 1H49
6bbc8b3b2aeb25d105811c1977a25c3e 1H51
aae47eec834252565d3a9d6ed7b1a9eb 1H50
d8d153dfed2ccad8fa295ec311c05f34 1H52
28e82a38bc19fb97308c300dddcff97f 1H53
5f15db0fb18391ffd2eb70c7ed181ba5 1H54
1f2ed3a50cc33769aab1a94ac2103dd0 1H55
fd6e719191b5b6942ee0c0866f72558f 1H56
bac7db423593e59f761ab9f5b432f0e3 1H57
275ccc58f002c395a3f006aacfed538c 1H58
ae3d52bcef5e2a2909acd907b22bb035 1H59
7add2d228596cef2679551a273ffc4af 1H60
2a3046e70311e50bd9c45f139ff6efdf 1H61
85e9df5322a09bf652cf80f37d26ee88 1H62
c875918a87f565485c16c6042b984c6b 1H63
5782bde2f7b4760faa56d51500e88a2a 1H64
c69abd1114e1ae5f2451b19dc4c40727 1H65
6ecf90638d8c644f3a21870aee04a75f 1H66
652aa51acd4413225d47352ab9b2900d 1H67
0d69517fe20723e3e679ca38d35ca42c 1H68
67d01021e873d832517b0f3d23bcaa05 1H69
ad33a160cdd23a64d6c7c4edac0ba3fc 1H70
8ee6b41f3ee74f1c4fea9ef9e84a30f0 1H71
d1c6620ad19cc0acd1b8b47ba8383268 1H72
347811e19832880791b03534619efe34 1H0
cddb1f0c29de74dc0b2c7d3c3f1d819d 1H2
365786b9a9a18a599b8b3937cda1ac88 1H3
ab9f84938ed63b1a507916108ce66706 1H4
ec6416f6779d7c7d55e18790ee0a1e8f 1H5
c74dfe6a5f6868bbb7d43076113b8d0b 1H6
3147b0e133d3c3502e46f590a6e6676b 1H7
0a813262ca9d912a51aae9ca378fb0f3 1H8
74d28bb46a706273e3e15b48d6a2d1aa 1H9
df19372d9ce932101529b64ea09f569b 1H10
f57ca78eb78bb941f68947a8b6b11f77 1H11
9ee02042abeb75f98b3c20181c3d8e98 1H12
8c4a8c0f668ae61c6390e755158e3e9f 1H13
cf71d51693a81bc8174bc110fbf42e7e 1H14
a539a886b729a9060981a0baaa1c64f9 1H15
d1c977aae332318ac24fcff80ca4b075 1H16
217126ee354f09ce492ab62bec41dbe7 1H17
98b3a2ce03b2c8e253586aac184da2ac 1H18
4c5d0e3b65273ef2ad2bbfc079994739 1H19
942c73a0dab3073e22abbd9558dd5dbe 1H20
37e7f79220dcd99a73cc88158b199e01 1H21
4b22ade4eff3e9e90f782a6a90839871 1H22
fa819eee3a54d4b1d2d67de7eff833d3 1H23
8ec242cc6b08fb4cd1f4c85550a5e5c3 1H24
a2d4449a852b9ebf6308a0b1c6894220 1H25
b96a232c10809b1d266ff947a943208f 1H26
63b0a8fd0b36ca274a7814ec4ccdb0c9 1H27
b3eeee1f1313608a265021679f370592 1H28
c1df0b0f71a6fde2c27511f30a0568f7 1H29
71e03c0645020d2c12577f8766390b5a 1H30
13e4b535aec00ab9861018441d15d6d5 1H31
fbd8e942ca40a390aac78b4d70541b48 1H32
53899d232dacc81e270cab4623180621 1H33
40bba7b8542c52dc724d532ea56efbbc 1H34
2876da4d05c8b7e7b11dc37b2cdc363f 1H35
aa76d9d47e3f8ca0e515a3b2842e11d6 1H36
d2cbd687a20b1b98a3871cccdd941f7a 1H37
21b8f48b562e16df99eace7bf6b9d309 1H38
b1994c20886ed3d94c5175759b32a63d 1H39
141c4794d7d3f607e9317572be80f7b8 1H40
7f7651a5078d603d4a96888a34367fc0 1H41
34fa9906160515220f8ae3d68d4bbf03 1H42
17b98363c90e438f0e5f340353a86bae 1H0
79d9e7de8d62cced10b8a798f95b6024 1H2
30ee6111041dafd34d8a65b0a6e5164d 1H3
3020fe83d231b472e29d5d3586d51e4a 1H4
553a2ee669a72d1995adb3e62b8011de 1H5
8a0eca390aa0b1c813c094375c94156e 1H6
5c3c5e87fb63f942cbef88c95b8a79b2 1H7
efff3d01aca19e5e9721046dd175081e 1H8
b684fa584aad24a79c1313661ac197db 1H9
f8b62b296ab6b8e822b3951fdf1c9639 1H10
d127395fc8ee2df4cf7e6bbc78244a6c 1H11
a2fb4094aa4cba9035135d5a50287037 1H12
f6a151de86c560b03a2d36cf6f27b695 1H13
cba80b7c4b86170154e52f0a2bbc4eb7 1H14
f75bfda2d246b671e601d2a3169af6c7 1H15
0fab111c82213d27b0b8c1b02d65d387 1H16
c97f731ba130eb72d4098f14b9cd13c4 1H17
8cfa7fdad6f83d7d51794e59649bfb7a 1H18
3d2330ef6f1fec8d2c10c9863e22df2b 1H19
764058295c4267cfd8abfebc98d16499 1H20
7a238ae20024897d70ad3536b91e5639 1H21
cf527424521f12331ac55851dfb1de48 1H22
e7edc0bf2adfad6bf4bdc81032c5f17c 1H23
b03280a56a85a9381e98bf805d8af224 1H24
9c228c61fa12b9a764b9e5fed14c8bbc 1H25
07bbae9382a91237239f7f891718e65a 1H26
0ed901bf7e52a45def56e0c3dca6ad30 1H27
a6fb8a417ee9fb21ee5f9deccdaa9343 1H28
2910f13854b0fdf6bee9f1c6ed1526d5 1H29
147ab4bc663c99ce70a64ec852aae696 1H30
b9a271d640f5c01fe34b41cc330ee154 1H31
8919b69c7bdb8cfa550fd7cbb26a7bef 1H32
0e4484763a84caace20532a306e44ef8 1H33
f54cb359ef0b1be5f2d38fb027d43489 1H34
aae61f901c3dce90cbf5933fba821d85 1H35
78a2ba24418e9e8aa7d6766a03f4fd05 1H36
4fa9ac3a6862b386f2744ba62c670365 1H37
fc779426a7a8b45f212ab5d6ee2e845f 1H38
6c2b3b0166ce5f0d37520ef54166559c 1H39
5cf82d954e1a5d3d510463dcf8d48dff 1H40
9bfc1763ef64d33cd83a8c0f23d3590c 1H41
ad7a3da0a5143872755f224005dedd83 1H42
e1bffa3db98c9c150b1bacc8e7ccf14f 1H0
8a9c354dee53c9497689717d41f775ac 1H2
cd5d4fea2fe899ff7c0ad3b6122a6483 1H3
876280083842d13175b5f396f3790ba3 1H4
2f0846b7b9a623c7c1750ea2db55b736 1H5
d7a97d8d63faa5f09a9cfd0f5aaab9b4 1H6
440685ed7d25a2d9024781a6d06f803a 1H7
77b2fbee910e0d519cf8347b535ee971 1H8
6016c47aa6c3355c40c8af3f675e9231 1H9
9532c550e9d8e2b52c5bb361957c2463 1H10
153ca5417bb71c83b36c5aa950f98911 1H11
a235515ad647beb6dc9164b93077cd08 1H12
e44ac1a928701b814dbe30ff58bf93af 1H13
e4a2e72c76a4eada84c6b01c091e452c 1H14
eb3a555f2af64bfcc0366fd18de54e5b 1H15
0c64e748618f7d1226f1acb4ca680972 1H16
269d2fc926d02e8924e3537eee975f88 1H17
bc8dc1e03440dada20039af1b1fe140d 1H18
6d3fa87a26eef13f13cabe2d27802cca 1H19
8168efaeddbe1eb777a302c9f2c9b0bb 1H20
74219f2d3b68abab9b5b69b4a45cc2d3 1H21
2e8bcc5a542eaa4ed0e3b1886d4e9833 1H22
c8d60939e60496ed7632c0899ac2e741 1H23
329c900bf5aed8cf875eb2bc4f61bee6 1H24
467148716fbf1d21e0a1dd7f5dc1f0a5 1H25
dd3801fa9ef17931a6bf809a72ed8fae 1H26
ba838fd600e1830b607a5adad48d41e6 1H27
437d86703cd142b8458ce0eb41c5c663 1H28
d1d18538c6b83bf9db7b1fdf19ae9dc2 1H29
85d0d727ab35bd7a257d149219c27453 1H30
45e4078d180c7a429e4feb65a9e07448 1H31
6ac452249f68a24999b756e7179373c5 1H32
529a539f6bbfbbf9306f6ba1940c6cec 1H33
b92d9f96b970e8bd1cefbc6c9df14d26 1H34
ce86f32ab18f1ba8191be374ac546db0 1H35
b1cda51cdbaf179b9098a119fb3640df 1H36
e742f03ec8bb30813f538b6d085e3b85 1H37
9364e23ec30662f180bf0c4034596169 1H38
8bac1f6e50aa22997903ee803fe2b918 1H39
78e38c4ba3a88a9b9e4a2317f442f747 1H40
1ff723f2a73f5a38410e92489aecfca7 1H41
91d47ef3ca89aac28b7066e2a49046ac 1H42
143e856a271082b34c43373db2cfc384 1H73
