Datum
192011b5b07cf5…baee7b87d1
192011b5b07cf5003be10d1d140ded6c7c7bc8c06d0ce5a0502c0abaee7b87d1
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#8fecb1fd13b1f4a39df383decfa8703fd930f86269d5ce7ad7dba2723689c8e5
1
0
Map {1}
#""
→ Map {1}
#""
→ 1780000
1
Map {0}
2
Constr 1 []