Datum
80dd6dcbeabff6…3f9ff89493
80dd6dcbeabff66fabe2c1f55705b2a5bee9bf6cc108504b68b7723f9ff89493
Datum
Constr 0
0
#0dfb1aa1a54ca4905be353a7a70edb96b24fac467d401457a9074139
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7af81fffb4ca5eff7c04d51043d9fe68daacacc1b25133e58edb352f
1
Constr 0
0
Constr 0
0
Constr 0
0
#41ff84ecc10aae4f3ba8526ba742c739de9d513ace95e17170b1f04c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 8750000
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}
#""
→ 3500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#0dfb1aa1a54ca4905be353a7a70edb96b24fac467d401457a9074139
1
Constr 0
0
Constr 0
0
Constr 0
0
#b15a6285c889453e0b0cc42aaa560c7e4d436ca3c15eb78df42da3ce
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 162750000