Datum
cd6e30f92d06a3…201b3473db
cd6e30f92d06a3d9d20ff15c346cd5a8632b26f9b4f650ad15dc88201b3473db
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#282d36d348b51d0640b267d984ac629ccd96c992fc3bf350a5234387a2ea326e
1
0
Map {1}
#""
→ Map {1}
#""
→ 18121000
1
Map {0}
2
Constr 1 []