Datum
83e7af4fee5ad2…46f50f483c
83e7af4fee5ad29caa5eb226bb928c2acb2a1ddf20888a87f8a47d46f50f483c
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#94470717241e0d26fa50aa7d253b2fce394be925dbcc060293566ae560cb5570
1
0
Map {1}
#""
→ Map {1}
#""
→ 4000000
1
Map {0}
2
Constr 1 []