Datum
0a92dfd60d672c…b7c4fe3515
0a92dfd60d672c5d8c4747f98d9750ec23b81872bae97d679c8b1fb7c4fe3515
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#8d058912f83804d74ed2844eb95b3c63bd2befb97a7dcac3b164e4c9c23594fe
1
0
Map {1}
#""
→ Map {1}
#""
→ 1030000
1
Map {0}
2
Constr 1 []