Datum
5a0e60b7f985d5…a5a155d8a7
5a0e60b7f985d50a5c5cfc2deeddae4d2bc6be1b06a229d77915d9a5a155d8a7
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#75bbce0f49d948601a6b9ac674675897a85e8f3bb03cd43addd817d04400372c
1
0
Map {1}
#""
→ Map {1}
#""
→ 11693876
1
Map {0}
2
Constr 1 []