Datum

c07a5bfce77793…d880d1c91c

c07a5bfce77793d9fc7ebba9128a6ff8251b8e2d2138ea31a04f86d880d1c91c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b490191123eeef258a12761b9dd4a83944e4286daf10d443f0b57060

1

Constr 0

0

Constr 0

0

Constr 0

0

#3789a346c160a0fff483faaed4e459c78514aec128dbf0dd10894eec

1

Constr 0

0

Constr 0

0

#b490191123eeef258a12761b9dd4a83944e4286daf10d443f0b57060

1

Constr 0

0

Constr 0

0

Constr 0

0

#3789a346c160a0fff483faaed4e459c78514aec128dbf0dd10894eec

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000