Datum
45fdd2b654f412…f06f1c34ee
45fdd2b654f412e2ea2270e1c5f31ca95e0b91bc431c70e20c550bf06f1c34ee
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#eecacc6e47034705964ca6580fbfedf2b4c72a3625f3f652aad4308089606ecb
1
0
Map {1}
#""
→ Map {1}
#""
→ 14711461
1
Map {0}
2
Constr 1 []