Datum
d4073fab843cbb…c1c0129862
d4073fab843cbbd1bff893932fc20f7e1dbff47ee0e9ee56ee65c4c1c0129862
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#8e4462b86b3976940c8fcde7e5882e74dd56bde91ab9f500b68f8a9143109036
1
1
Map {1}
#""
→ Map {1}
#""
→ 3100000
1
Map {0}
2
Constr 1 []