Datum

3eaa1afcfa773d…ceffbcb5df

3eaa1afcfa773db31beb9240be7051f92b912d890346ddf5790dccceffbcb5df

Datum

Constr 0

0

#f302

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#abb69694b6b7b411d1c6b5b7be87825ed050f7a5d64869866a398508

1

Constr 0

0

Constr 0

0

Constr 0

0

#8addbeca10f93567725ccb794761a7f73f63aaaac491d61869436e51

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

200000000

2

Constr 0

0

296282109