Datum
8b86b7d5f8cd52…46e8ff97dc
8b86b7d5f8cd52429756116f6562a85db80117b047d45f43d33abe46e8ff97dc
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#4ec0984390cfb0f0367d72fea7125a24f206a8a8bab4b3a79eefc9e0651cbcd9
1
1
Map {1}
#""
→ Map {1}
#""
→ 1131856
1
Map {0}
2
Constr 1 []