Datum

5c050c3dd5bad4…4d5d723e52

5c050c3dd5bad41a07a681486819fbe0ea8df80ff1ac9729df400a4d5d723e52

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3b9852dba1b30f012aa08625e4390a3884b69e1e709069986fc5b5e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#80660bb153839b659443e80f88e25ebe3657552946e561cf0b423759

1

Constr 0

0

Constr 0

0

#3b9852dba1b30f012aa08625e4390a3884b69e1e709069986fc5b5e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#80660bb153839b659443e80f88e25ebe3657552946e561cf0b423759

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000