Datum
eec28ac5a7cc44…e048fa5d81
eec28ac5a7cc448730277d724abb632bc6427df554b5c5dbc7bb42e048fa5d81
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#1284af674314f31924e7932e15702e7f8994feb9e6fa71b5808009f3f6028e85
1
0
Map {1}
#""
→ Map {1}
#""
→ 10984000
1
Map {0}
2
Constr 1 []