Datum
f5465343d7ad39…9fdd62a0ac
f5465343d7ad39dbcb36ee9fd3d526b68ddac3b8fcbbac6a30ff779fdd62a0ac
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#4f417b5d21c189f089ae8ad59cea0ca6d373a69e7d4cb807dead2b566760fb79
1
0
Map {2}
#""
→ Map {1}
#""
→ 14279579
#dda5fdb1002f7389b33e036b6afee82a8189becb6cba852e8b79b4fb
→ Map {1}
#0014df1047454e53
→ 30531890
1
Map {0}
2
Constr 1 []