Datum

34254551ff9b31…e7559e761b

34254551ff9b31c746c600b2bdccd7df679cd32609fee048d64128e7559e761b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#02de284459a6aaf058ba0a5d44cf789a5bc8197d7fa3a6cc6e420157

1

Constr 0

0

Constr 0

0

Constr 0

0

#db13f400abd878cbb8f2d5ebdb905e6814e07d76b342552b755a5299

1

Constr 0

0

Constr 0

0

#02de284459a6aaf058ba0a5d44cf789a5bc8197d7fa3a6cc6e420157

1

Constr 0

0

Constr 0

0

Constr 0

0

#db13f400abd878cbb8f2d5ebdb905e6814e07d76b342552b755a5299

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000