Datum
9883e2ea6a0058…6fb32d3e37
9883e2ea6a005841679f59ba76538e25f691fa28db4d1cb97c8f626fb32d3e37
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#1edd142d2ea0d6ed8e3469e80ab8dd9cad53f8a9cedeb52cac8e4a87bccafd70
1
1
Map {1}
#""
→ Map {1}
#""
→ 1268205
1
Map {0}
2
Constr 1 []