Datum
3296eb00d7900a…bc215d178d
3296eb00d7900aab378b93cbac4bc639aa8644b8d05f38c1272775bc215d178d
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#d242f98393eebc00b0845ae07f78e2f25b7734eb20925cb94e5fb65f8a674262
1
0
Map {1}
#""
→ Map {1}
#""
→ 3250000
1
Map {0}
2
Constr 1 []