Datum

b9b23740ec673f…334c19ddbd

b9b23740ec673f566f9feca59e2791b073f96e97a23f225a8a5714334c19ddbd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f749acf4e05f31592fab6051733b798393f3afcbf9cb29fb25673684

1

Constr 0

0

Constr 0

0

Constr 0

0

#3be6a19983078df66d994f0d16585a378d47e560caad22c3799a1af3

1

Constr 0

0

Constr 0

0

#f749acf4e05f31592fab6051733b798393f3afcbf9cb29fb25673684

1

Constr 0

0

Constr 0

0

Constr 0

0

#3be6a19983078df66d994f0d16585a378d47e560caad22c3799a1af3

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000