Datum
8217697517329f…6cbed69cd0
8217697517329fa5f5a342dc940fdc5ffd0adea66f68a8d2c015606cbed69cd0
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#15138511223ee8852ab758431163c47e4013bf1e3df957d4e9362b4c2716d4dc
1
1
Map {1}
#""
→ Map {1}
#""
→ 13000000
1
Map {0}
2
Constr 1 []