Datum

8b332cd079ea1d…765ff40251

8b332cd079ea1d5fe43ea6587116a75c0e5d35c32a1d58868961f9765ff40251

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1b4200069728e2c44888a358475943c28e91bf4d406a73b338555b73

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9169754e6cfc84c3aaca3dc8a3668dbba2e97747bbd4818967e659e

1

Constr 0

0

Constr 0

0

#1b4200069728e2c44888a358475943c28e91bf4d406a73b338555b73

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9169754e6cfc84c3aaca3dc8a3668dbba2e97747bbd4818967e659e

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000