Datum
a7f28ebe9c0307…51c8b384cd
a7f28ebe9c030735abdf95600d2ebb58426a67c27f4e8e3fa95f1151c8b384cd
Datum
Constr 0
0
#f4a9c40f9f8fe0ee05cea036898e34f5db11ce5668590b8c608a198e
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#6eda5abcd754ca6c318d9928118e0961a20ddd0869156a56bec77607
1
Constr 0
0
Constr 0
0
Constr 0
0
#a30ec9a9dd914626fd0960cefaf162e116dce36d285c27c94b113dbb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5050000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2020000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f4a9c40f9f8fe0ee05cea036898e34f5db11ce5668590b8c608a198e
1
Constr 0
0
Constr 0
0
Constr 0
0
#7aa5b0ea19a15b78298f2453e62047d63c406de92b400c50fb3c2795
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 93930000