Datum

d2bead8f355718…85d128d154

d2bead8f355718d182d7484ed794169a3ab53a0d8a729be1369df285d128d154

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2d86a1dfbb386d9ee864898c669e5c122ac16d1053175c7030f01cb5

1

Constr 0

0

Constr 0

0

Constr 0

0

#b64e18219375b6ded07c46ed7eafc8735a366b6d2cb7c71edcc0d5a4

1

Constr 0

0

Constr 0

0

#2d86a1dfbb386d9ee864898c669e5c122ac16d1053175c7030f01cb5

1

Constr 0

0

Constr 0

0

Constr 0

0

#b64e18219375b6ded07c46ed7eafc8735a366b6d2cb7c71edcc0d5a4

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000