Datum
08ea6c16ec80d4…8b1658310d
08ea6c16ec80d4b8a9bda595879a2265cd7435d2b5a341472d5ca98b1658310d
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#fcbd2d5599b1fb40bd258e7a546c4fcb535103d8d7f1b076bab027faedc4220f
1
1
Map {1}
#""
→ Map {1}
#""
→ 4708147
1
Map {0}
2
Constr 1 []