Datum
5b70cd14a5256d…9388f18336
5b70cd14a5256d769d83de5fed059b5c10d1eadcf4b2907ec1efcd9388f18336
Datum
Constr 0
0
#a2d13af2e2128fca10b758fef26e6ead9c599affb560a872b59bd923
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a4fab022d069add7088695b5ff75bdc27c6016af2d1989d6aff032d8
1
Constr 0
0
Constr 0
0
Constr 0
0
#d17e1fdec7ded68b0349c1edbebf319ec7ea13dc3a32834cc076a132
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
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}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a2d13af2e2128fca10b758fef26e6ead9c599affb560a872b59bd923
1
Constr 0
0
Constr 0
0
Constr 0
0
#dc933f6ec5dcffdbca8b4ecc9355fea344a091805a1362c2dd0a8878
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 372000000