Datum
e00cb14e4e26d7…3e5a51ab16
e00cb14e4e26d721d38ecf23bf8f09598b2e60128f4d83ebd1a6a43e5a51ab16
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#80adebfa35ec0a018ed25a9c6a51208f6163b898fcd446206af2c04d7bedab90
1
0
Map {1}
#""
→ Map {1}
#""
→ 18004334
1
Map {0}
2
Constr 1 []