Datum

842e35feedae70…ad3f855795

842e35feedae70dc44702c654d8d1aa09d9ff0563e0261071b3366ad3f855795

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#87f206235180ab8d17a512aa49e37f03f61265d66e401e7fdd50c584

1

Constr 0

0

Constr 0

0

Constr 0

0

#e64bebec514b3f799785cd892b21d9828c32706a10793dbd6fe965a1

1

Constr 0

0

Constr 0

0

#87f206235180ab8d17a512aa49e37f03f61265d66e401e7fdd50c584

1

Constr 0

0

Constr 0

0

Constr 0

0

#e64bebec514b3f799785cd892b21d9828c32706a10793dbd6fe965a1

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000