Datum
8d7d0b9d7b8ae5…b59eacc035
8d7d0b9d7b8ae537ac1f3e2709d5b76489ce7f23bace0b8ec6d0cfb59eacc035
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#7ed6eaf615caf5ec2f21549877199a84f01a7420517dd420d1580bd00f605b40
1
0
Map {1}
#""
→ Map {1}
#""
→ 1600000
1
Map {0}
2
Constr 1 []