Datum

0e8d5a59516e86…c5b59b16b9

0e8d5a59516e8672a71ea6215edf3898b3ce51b6425cd4d084e59bc5b59b16b9

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#43554050d4b81197d15d448aa81b825612a4fef4cba3b48ba25be4e4

1

Constr 0

0

Constr 0

0

Constr 0

0

#dfa92a4ea72e5f635349b95291ace0c1c29f7b6caf630b2178872bbc

1

Constr 0

0

Constr 0

0

#43554050d4b81197d15d448aa81b825612a4fef4cba3b48ba25be4e4

1

Constr 0

0

Constr 0

0

Constr 0

0

#dfa92a4ea72e5f635349b95291ace0c1c29f7b6caf630b2178872bbc

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000