Datum
f34c22c643dc4d…e985e09cd0
f34c22c643dc4d549be1d6d27dce5b15c2bfb34059bbd0fe72bac3e985e09cd0
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#6bdae564a69098abdabb596dbd815d9a3b3dec6df598032a9fb928c753fb4c9c
1
0
Map {1}
#""
→ Map {1}
#""
→ 5230133
1
Map {0}
2
Constr 1 []