Datum
edc67158880764…d7be4e59e1
edc67158880764fffe3e48389f2bcbbd56ad0f494eff084e15a9b8d7be4e59e1
Datum
Constr 0
0
Map {1} →
Constr 0
0
Constr 0
0
#f28392798754a911c537192d014c0383646d4fbefec3e97bdeaf3f9243c0e173
1
0
Map {1}
#""
→ Map {1}
#""
→ 8500000
1
Map {0}
2
Constr 1 []