Datum
2cd4e1ed5ba250…1340c28aaf
2cd4e1ed5ba250732d24553550c6f9e1369c3a6fb7e9c8489cdfe51340c28aaf
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#24c57bbb2d9520a37d57f787d907fbf457d89a664275040bb3dd74071cccc3c8
1
1
Map {1}
#""
→ Map {1}
#""
→ 2363458
1
Map {0}
2
Constr 1 []