Datum
88959ffc8e0dfd…e00b199efd
88959ffc8e0dfd230787ca6b8547cf922988f1f37fce66878abd92e00b199efd
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#f1e05abe61eb0d6241ba2508a130ba8e75d04f6008a941e19afdd024708beb95
1
1
Map {1}
#""
→ Map {1}
#""
→ 4000000
1
Map {0}
2
Constr 1 []