Datum

0bd7b84ead3efe…59512dd31c

0bd7b84ead3efe2cd3fc15c76c3cbc4320d15d7236b95c648522eb59512dd31c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1e782c7480c8fcc987c8d85412d290c98261ae3353db9819a8f6b93c

1

Constr 0

0

Constr 0

0

Constr 0

0

#310c092e9e8bdb7960fbecca7c9720cef17327d5ec39feec82619f8f

1

Constr 0

0

Constr 0

0

#1e782c7480c8fcc987c8d85412d290c98261ae3353db9819a8f6b93c

1

Constr 0

0

Constr 0

0

Constr 0

0

#310c092e9e8bdb7960fbecca7c9720cef17327d5ec39feec82619f8f

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000