Datum
9fb95a49cd468f…534cd8d3ab
9fb95a49cd468fbe05bc92fb78564355d715c0d22c751464bf150b534cd8d3ab
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#86521d119e3801ec6e7b2864aed75caae64ae4db8e21a1f7dae73a442b8d797d
1
1
Map {1}
#""
→ Map {1}
#""
→ 6115157
1
Map {0}
2
Constr 1 []