Datum
a24cbe54be4154…939f0a5948
a24cbe54be41541748d2f4b085601acb1626b8ba86cfec906a49d8939f0a5948
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#3a76d7144c735db5c311a1702671178d3a6070d125666065ae7bb80cbd3f51b0
1
0
Map {1}
#""
→ Map {1}
#""
→ 5623314
1
Map {0}
2
Constr 1 []