Datum
41c5f1ddb0cf06…63c4caf5d6
41c5f1ddb0cf0628ce14703ddeebd8d02eebd853c6892dfa78c63b63c4caf5d6
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#77c0e45e03bbcafc43cecfd4f4c790ad8e69d450905cf6fecd33f7a1bebc4f6e
1
0
Map {1}
#""
→ Map {1}
#""
→ 12663626
1
Map {0}
2
Constr 1 []