Datum

cb6fc09fda65ac…8e050acda3

cb6fc09fda65acc198eeaac3e1cd73e1dd22603944e0fcbd24ff128e050acda3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2abffec1b39c0fbe1475e77d846c4ac272f7af7beafc30bd9e57c776

1

Constr 0

0

Constr 0

0

Constr 0

0

#0d7a862908fd3e1d2fe886e9274ee241ac8c988b5d15e66595ec3211

1

Constr 0

0

Constr 0

0

#2abffec1b39c0fbe1475e77d846c4ac272f7af7beafc30bd9e57c776

1

Constr 0

0

Constr 0

0

Constr 0

0

#0d7a862908fd3e1d2fe886e9274ee241ac8c988b5d15e66595ec3211

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000