Datum
09b1334da058fe…7452aa7958
09b1334da058fefac36d63bbf45f5676ffeca92d70542cce1710087452aa7958
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#a328ea8d86652a4f76647a7486368ba7b6853aa0db217abd692666ab772514ce
1
0
Map {1}
#""
→ Map {1}
#""
→ 2124912
1
Map {0}
2
Constr 1 []