Datum

bc06d756dc336f…157e24032c

bc06d756dc336ff4c6635277b5975798ef450b924fa9fef8dda8b9157e24032c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2ae1515fda7a6bda867a2b7546e5a7795f263cf57b7ffa75215acd5f

1

Constr 0

0

Constr 0

0

Constr 0

0

#27c1b13cdba40047b6ba5cc6d65a98ef8e16ffe59398f3b8c93e76a8

1

Constr 0

0

Constr 0

0

#2ae1515fda7a6bda867a2b7546e5a7795f263cf57b7ffa75215acd5f

1

Constr 0

0

Constr 0

0

Constr 0

0

#27c1b13cdba40047b6ba5cc6d65a98ef8e16ffe59398f3b8c93e76a8

2

Constr 1 []

3

Constr 1

0

Constr 0

0

#""

1

#""

1

100000000

4

2000000

5

2000000