Datum
2e9bc0b6d7fb4a…5bbc0a2439
2e9bc0b6d7fb4a04d613dc446baaa93973f98fa06368f221dafadc5bbc0a2439
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#18b0f7e540128b96642090b20cb555be9a301cb15be3a3266643ae9295588296
1
0
Map {1}
#""
→ Map {1}
#""
→ 17885000
1
Map {0}
2
Constr 1 []