Datum

56acc3213571d4…85912c00c3

56acc3213571d408b15a03b05ee33bbdfb2e53d64dee2cfd54c90685912c00c3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a4780f1547b927e2234c7feecce9d50decf78f4a5423b6eb4e68c81d

1

Constr 0

0

Constr 0

0

Constr 0

0

#6487130733b06a68f81731dda6bf98e8ea7648a8a2a4f5fbcc602233

1

Constr 0

0

Constr 0

0

#a4780f1547b927e2234c7feecce9d50decf78f4a5423b6eb4e68c81d

1

Constr 0

0

Constr 0

0

Constr 0

0

#6487130733b06a68f81731dda6bf98e8ea7648a8a2a4f5fbcc602233

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

155526444

4

2000000

5

2000000