Datum
f7bd274e121bdb…b8e1924906
f7bd274e121bdb2d2f0bc6175d43a03a549bea0bff577d7e570e92b8e1924906
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#84e2f378724ec97ff685b3a8d67a881945c357e6a373c5a62094b7aa02a772c1
1
0
Map {1}
#""
→ Map {1}
#""
→ 3820000
1
Map {0}
2
Constr 1 []