Datum

cdc63d4dd9fa49…17ddff7609

cdc63d4dd9fa49f04d2cf42b7fedaaf9de47fe58c92eaa456c76db17ddff7609

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0de88a3a80bc6fa7a706b9e1e1be8b856eae22c61fb0370fa6e79922

1

Constr 0

0

Constr 0

0

Constr 0

0

#760e2927667afc84d1cb88740a9d8eee404b9b09a7ac27759f134767

1

Constr 0

0

Constr 0

0

#0de88a3a80bc6fa7a706b9e1e1be8b856eae22c61fb0370fa6e79922

1

Constr 0

0

Constr 0

0

Constr 0

0

#760e2927667afc84d1cb88740a9d8eee404b9b09a7ac27759f134767

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

70319071

4

2000000

5

2000000