Datum
9eeababea0de7e…365f8e1f72
9eeababea0de7e263ba015852c71dfa4286eb11fa24b0ea76cd294365f8e1f72
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#79e0f90fb2117ded822fcbb1597710518d7a41bb9afb8337abc16d16f0069fc5
1
1
Map {1}
#""
→ Map {1}
#""
→ 5026238
1
Map {0}
2
Constr 1 []