Datum
befe348125bd55…0ac585140d
befe348125bd556cae7531cd8dcc43053dcd92bb5a13921ebfebea0ac585140d
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#b3405219615f2981c5e56a04a56e003ef01163148c0d138c1e095e8545931f92
1
0
Map {2}
#""
→ Map {1}
#""
→ 1000000
#c48cbb3d5e57ed56e276bc45f99ab39abe94e6cd7ac39fb402da47ad
→ Map {1}
#0014df105553444d
→ 6000000
1
Map {0}
2
Constr 1 []