Datum

b105dbf8895411…bec4413bfc

b105dbf8895411ec4a5ecb9f97287429fa52169c866960437feabdbec4413bfc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#277289ef4054c19e9f0b4b4d9253efe7612bc0425f08c5314f3e3dc7

1

Constr 0

0

Constr 0

0

Constr 0

0

#19754107f2ca8969ecefd30157db46fcedc9f77dca7fec70d8dd5c9b

1

Constr 0

0

Constr 0

0

#277289ef4054c19e9f0b4b4d9253efe7612bc0425f08c5314f3e3dc7

1

Constr 0

0

Constr 0

0

Constr 0

0

#19754107f2ca8969ecefd30157db46fcedc9f77dca7fec70d8dd5c9b

2

Constr 1 []

3

Constr 2

0

1

4

1998984

5

2000000