Datum
f342a2e3594a07…b0e59bed70
f342a2e3594a071efe4cf0d2c407d3b913cabfd1ec5ad1b82bd409b0e59bed70
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#c352181efd16bcbe880138c236e4d3cba692bf47d3538f47a1ed35d785f24550
1
0
Map {1}
#""
→ Map {1}
#""
→ 4300000
1
Map {0}
2
Constr 1 []