Datum
431677dfefb84f…3420aaf141
431677dfefb84fb8b63763784bd028dc1706eae05477a63eceefdf3420aaf141
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#ffbd0656f14df78b0cc340160cbaf2f799c7c4343fcde87cabcb697cab11ab08
1
1
Map {1}
#""
→ Map {1}
#""
→ 1864659
1
Map {0}
2
Constr 1 []