Datum
720e5729aa9699…0a219d5f6e
720e5729aa9699e52e177256c8e29dfeb4a199c762d4b9be9c266e0a219d5f6e
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#669f6b21eb5faa86593f8915c48abca662b9b02b1fb6ab2d6436ec1de3a591fe
1
1
Map {1}
#""
→ Map {1}
#""
→ 9250000
1
Map {0}
2
Constr 1 []