Datum
d4f0beadbd3d6e…932afb3ab6
d4f0beadbd3d6ec32df7fc8745ce446f5ae54487457eead39de99c932afb3ab6
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#b47e6303caec037413b44f8bbca34d882d80438725a534e3109e942f5f5ef622
1
0
Map {1}
#""
→ Map {1}
#""
→ 9991000
1
Map {0}
2
Constr 1 []