Datum
ec1c4be3a2b987…f730fa503e
ec1c4be3a2b98712a2a6346d5fc576a5599a9efbadf766fa5c4475f730fa503e
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#e3ba887ec7a20c199f8e4178983d5d819b6ad4de5333de14b1ab5cbf4a87ca23
1
0
Map {1}
#""
→ Map {1}
#""
→ 2240501
1
Map {0}
2
Constr 1 []