Datum

bf41da74ffbfeb…dcecb95bab

bf41da74ffbfeb3a50c5b977f5cf2a277a386da927742bc6c97474dcecb95bab

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a5cbf2d0d82dbaa724046332a7861bd0dd5d5c8ef26440b4fdf3b2a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ecb15aff12b27e7c922053e7699ed46cc2f6ece057963f99af54d08

1

Constr 0

0

Constr 0

0

#a5cbf2d0d82dbaa724046332a7861bd0dd5d5c8ef26440b4fdf3b2a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ecb15aff12b27e7c922053e7699ed46cc2f6ece057963f99af54d08

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

53669124

4

2000000

5

2000000