Datum
a017c4eceefe72…a689c025ae
a017c4eceefe7292c35e01822dbb53eb3787868a68d1d88b6b1400a689c025ae
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#c112f615623f8a336bb6087561392919197dcc283fd13e5dba7c24a042f35613
1
0
Map {1}
#""
→ Map {1}
#""
→ 1300000
1
Map {0}
2
Constr 1 []