Datum
39c17c2e94a3cd…373c94b35f
39c17c2e94a3cd87cef4ac8b3cf0cf0e029dc01fed1ca5f9c7a31e373c94b35f
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#838f7194b6f50abbe17b2bb137c14e4052321e85049111dc9efc54a60fc7fd7a
1
0
Map {1}
#""
→ Map {1}
#""
→ 11376686
1
Map {0}
2
Constr 1 []