Datum
36bf707d27d0fc…869779cd37
36bf707d27d0fcae681eeab325e585f2bbf7f1d4ab0b49925f20bc869779cd37
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#1678f2fad777607b86118aad3a192ebf62e4f015c7ff283d143ddc852353e13a
1
0
Map {1}
#""
→ Map {1}
#""
→ 5118658
1
Map {0}
2
Constr 1 []