Datum
f31d3fbb7b8b19…075c010c85
f31d3fbb7b8b196f5ecb84e7c71ff5a9327ada1fd2f30c4e1bc054075c010c85
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#b8f19609738e7e3f371c5dab8cafbdcbc976e7dd807334a00af2e117c3487f50
1
0
Map {1}
#""
→ Map {1}
#""
→ 14749659
1
Map {0}
2
Constr 1 []