Datum

0c2b543b294bbd…56ad251c37

0c2b543b294bbd76088bd59caf13ec66505a5c3fa5eccf525cdb8356ad251c37

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#584c02be75582a33d4318b4676b9064b248b61c6fdd1fee2e5d5c388

1

Constr 0

0

Constr 0

0

Constr 0

0

#f67dd7486d91ec8f8cbb6c66f860c90459e389f36e45e1ae97776f54

1

Constr 0

0

Constr 0

0

#584c02be75582a33d4318b4676b9064b248b61c6fdd1fee2e5d5c388

1

Constr 0

0

Constr 0

0

Constr 0

0

#f67dd7486d91ec8f8cbb6c66f860c90459e389f36e45e1ae97776f54

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000