Datum
668e34f9bddcd6…d88ceac2ea
668e34f9bddcd685a8384723091c9b5dbb48bef771b6c7da724994d88ceac2ea
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#96b99fc77be8210bcbb4ce7da66dc25568b25a19c4f0cfe67fade0847841393f
1
0
Map {1}
#""
→ Map {1}
#""
→ 11810000
1
Map {0}
2
Constr 1 []