Datum
944a3fa2335b98…c7dfebfe66
944a3fa2335b98d584d8e550a3b86fcf2f2eb22c76e3b4d94fad8ec7dfebfe66
Datum
Constr 0
0
#bf1f0828098cecadae70ce8a89dc87c6ba7370be9890660c8ed5389d
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a910027e4a8ca431c22c7604dde303d76cabdc895d43adb8a8005fa6
1
Constr 0
0
Constr 0
0
Constr 0
0
#4c45c23fb7a15cf43684f3eaef311c5ebdf4e6f4b019f002f962199e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7875000
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}
#""
→ 4500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#bf1f0828098cecadae70ce8a89dc87c6ba7370be9890660c8ed5389d
1
Constr 0
0
Constr 0
0
Constr 0
0
#cf9f1b47c6d25dd53a31606ea79c8f12892c8df1ad8a1928a97030bd
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 212625000