Datum
4160ff1dbdc105…3872b2b358
4160ff1dbdc105385884c28fa16101a8d4f6485efbf0e2cc321d723872b2b358
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#9903288a13c53d5e9bc15512fa00d3e14d47962ea2d36d2d91c33e5078ae9358
1
1
Map {1}
#""
→ Map {1}
#""
→ 2800458
1
Map {0}
2
Constr 1 []