Datum

8399f32d61baf8…90ccdcd520

8399f32d61baf883fe5bb80c49e8d0ae60fd0d585ea730123a699d90ccdcd520

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#cdc64362c94d57feef93805f6fa56817245805456e1fd7a3b2eee956

1

Constr 0

0

Constr 0

0

Constr 0

0

#72750b74814387b4791f961fe076966bf532fe5e520785646fbc183e

1

Constr 0

0

Constr 0

0

#cdc64362c94d57feef93805f6fa56817245805456e1fd7a3b2eee956

1

Constr 0

0

Constr 0

0

Constr 0

0

#72750b74814387b4791f961fe076966bf532fe5e520785646fbc183e

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000