Datum
632bf4f56b63b2…f3b0d6bd53
632bf4f56b63b2cb7bcc1dad76bc596817c2ca01c60e85e1c41e04f3b0d6bd53
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#8687b1dce8f69534dda91e045c22fec07ffe7fe0a51f3a272d6b5f7ea9997cab
1
2
Map {1}
#""
→ Map {1}
#""
→ 2197232
1
Map {0}
2
Constr 1 []