Datum
e00a7fe26c95a4…9a91c31dc9
e00a7fe26c95a4f8af5c3be366766c8a6bf0c80b4467dfda2deaa19a91c31dc9
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#bad1cfaee985b9c6c13bd9d12dba7343aaeafe4013c82e54566317ec44fdca73
1
0
Map {1}
#""
→ Map {1}
#""
→ 1015000
1
Map {0}
2
Constr 1 []