Datum
5216fe2d119643…dc3a4be436
5216fe2d1196438b8a2e80ae8d6e28c149707de6fcbcc29fd771f2dc3a4be436
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#8d04ee017570b56a518659c9ce6e9afde829121bfac1312a26634b2df7175977
1
1
Map {1}
#""
→ Map {1}
#""
→ 4260339
1
Map {0}
2
Constr 1 []