Datum
e0690916fa3ee5…bb2feaa951
e0690916fa3ee59a7030367ec3fb456eae29be5e23c2ecca14cf1dbb2feaa951
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#b4d3d020942b77cb61345527fdcdd3fc969a935d1c80d4661561b52eae63453b
1
0
Map {1}
#""
→ Map {1}
#""
→ 4000000
1
Map {0}
2
Constr 1 []