Datum

a8d7ccb222ebb7…2e44567f46

a8d7ccb222ebb78726b6c4a8d0d961bcb3d2e6a7ba9c2c0958ee6a2e44567f46

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#10344c24e4b679e0a07a4f2bfbb20970cfe4e777ee79d315214fadae

1

Constr 0

0

Constr 0

0

Constr 0

0

#cc7f235e2ce807d8c445cac85f671b007ddd374b6afc676621a764df

1

Constr 0

0

Constr 0

0

#10344c24e4b679e0a07a4f2bfbb20970cfe4e777ee79d315214fadae

1

Constr 0

0

Constr 0

0

Constr 0

0

#cc7f235e2ce807d8c445cac85f671b007ddd374b6afc676621a764df

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

133821759

4

2000000

5

2000000