Datum

bef94b715bf076…1edfdd1858

bef94b715bf076467bddd16fb4154dcb0c9eb41823a8eb722d2c581edfdd1858

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1314dedb79760c76d04d6af39648d0caf3a46386dc0a3799a73b9757

1

Constr 0

0

Constr 0

0

Constr 0

0

#4a9fb8a7bff33ac18616b6b7f2acd1c88180eec0efa9a747291578e6

1

Constr 0

0

Constr 0

0

#1314dedb79760c76d04d6af39648d0caf3a46386dc0a3799a73b9757

1

Constr 0

0

Constr 0

0

Constr 0

0

#4a9fb8a7bff33ac18616b6b7f2acd1c88180eec0efa9a747291578e6

2

Constr 1 []

3

Constr 2

0

1

4

1963489

5

2000000