Datum
2a0f96fce0c9c7…14cbfe55f6
2a0f96fce0c9c7c60db6d51bea12988373c308fbc7dddf1bf8f96714cbfe55f6
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#f440433809cd7e2c952992598a4e6cf09080091c219a54c92ee10768554a4b18
1
0
Map {1}
#""
→ Map {1}
#""
→ 5234441
1
Map {0}
2
Constr 1 []