Datum
b1f9bfd285f154…faccf63071
b1f9bfd285f15457d05eec601e41e353dd4ff409efb9d80975de8dfaccf63071
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#0df2dd3cd8a148a89920d352e318e8a32e4f1880a8b719a5cc363a741b2e6af2
1
0
Map {1}
#""
→ Map {1}
#""
→ 1015000
1
Map {0}
2
Constr 1 []