Datum
acd99c71a8aff5…34a91f27cc
acd99c71a8aff5e98ffdb171f6dca9bf0b7d77030e6f9cf566e11c34a91f27cc
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#96a39827207d7c7245fb39b7d9ede3d2c60bbdb7f37968dc6eb0fa6cba551224
1
0
Map {1}
#""
→ Map {1}
#""
→ 1290619
1
Map {0}
2
Constr 1 []