Datum
a3a5ce82826e89…c04477a5b5
a3a5ce82826e894d1c5cc25a3fe758ebe7ce6dcea2c2b16e45e896c04477a5b5
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#bc6d609653747bf0f7490f2f983482a27bc61b5fefa76ce34bb557e55bfd7ef6
1
2
Map {1}
#""
→ Map {1}
#""
→ 4818929
1
Map {0}
2
Constr 1 []