Datum
396cc6d2239409…e7454dbfdb
396cc6d22394091fb59753f3bd93f2ee0c16f3804ea87e205ae2f2e7454dbfdb
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#09ce9e3dd02a7dcd9a9c1389787eb9a8bcf65920f62aec38ee4655babb4a0b53
1
0
Map {1}
#""
→ Map {1}
#""
→ 10600000
1
Map {0}
2
Constr 1 []