Datum
7798e556e83fc3…19a71448fd
7798e556e83fc373a8a9e6ca60f968c31164c5dff7faf46f628d8619a71448fd
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#741bbc071cb3f5646cd4d54ddec308045686524b29090393cebcd7c347616f05
1
0
Map {1}
#""
→ Map {1}
#""
→ 1300000
1
Map {0}
2
Constr 1 []