Datum
778b628e3cc08c…8722db019c
778b628e3cc08cefb016b3c5809133bddd03fc1eaff23bea0cd69b8722db019c
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#2e3c56ec7c1a73ad766823870cc8186bfeaf60e023dff721e83143587ad781d8
1
0
Map {1}
#""
→ Map {1}
#""
→ 5341065
1
Map {0}
2
Constr 1 []