Datum

89cbbec5d57e0b…37752acd4b

89cbbec5d57e0b6ead90566e414027cd57c8bcbf62decf72aa40c237752acd4b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#425202bf11e35f28b8b9a0d777dc5a43470fd4a8ad3d5feb30aaadd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#b5471647d67f6bbe69ddc73610da066def4021728011193c1d7f4360

1

Constr 0

0

Constr 0

0

#425202bf11e35f28b8b9a0d777dc5a43470fd4a8ad3d5feb30aaadd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#b5471647d67f6bbe69ddc73610da066def4021728011193c1d7f4360

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

38881740

4

2000000

5

2000000