Datum
bc845c71cb7090…d8d5a202be
bc845c71cb7090542a73bc1413b4ff9c6fdfc7a1484b4f69ffb522d8d5a202be
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#87107832113796fa564f433983fad200f5e760f988848982e901b98923dc1237
1
1
Map {1}
#""
→ Map {1}
#""
→ 1093935
1
Map {0}
2
Constr 1 []