Datum
4d3bce4fec76da…0539f9d500
4d3bce4fec76daabde28b6e90761748475b954d8139dddc13d7d670539f9d500
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#3e14c6b9e23289ddb2e2d7e227ef2beba5d290205fbd15072dbdc85ff513a778
1
1
Map {1}
#""
→ Map {1}
#""
→ 6830923
1
Map {0}
2
Constr 1 []