Datum
b5aa2cd5b284dd…bd59d3fd03
b5aa2cd5b284ddef3fe4fe7677202fdc8673930e7b0bde94821da6bd59d3fd03
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#812abbed248ffcbfe51104c18c5026df5b3f06fb6f9c5ee2e948e90f3c991b31
1
0
Map {2}
#""
→ Map {1}
#""
→ 2000000
#c48cbb3d5e57ed56e276bc45f99ab39abe94e6cd7ac39fb402da47ad
→ Map {1}
#0014df105553444d
→ 6090871
1
Map {0}
2
Constr 1 []