Datum

bb78c18ddbf978…078fc747ea

bb78c18ddbf978d705916c7f7dd1a492b330f64becb9eba4c7ceec078fc747ea

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#14d9878c6a66ff74402fdcaab5f71543bf190ba629b09618465ac91d

1

Constr 0

0

Constr 0

0

Constr 0

0

#f5d7e4a57717943d2daa7c5712a9a6559adbf73fb670317b2ecfc80b

1

Constr 0

0

Constr 0

0

#14d9878c6a66ff74402fdcaab5f71543bf190ba629b09618465ac91d

1

Constr 0

0

Constr 0

0

Constr 0

0

#f5d7e4a57717943d2daa7c5712a9a6559adbf73fb670317b2ecfc80b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000