Datum

7ded9f29c2eafc…ce80bdeeac

7ded9f29c2eafc0420aff0bcec8aeb3d90a8567b89f010c22eb308ce80bdeeac

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fb4d5adf4ccd126d68aaa5b3ca9f6e91c5e604f5117540c7a102dce2

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec1f717f97dda991c7e6d97b71bdf83f33daeb6bf93c121350c3e484

1

Constr 0

0

Constr 0

0

#fb4d5adf4ccd126d68aaa5b3ca9f6e91c5e604f5117540c7a102dce2

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec1f717f97dda991c7e6d97b71bdf83f33daeb6bf93c121350c3e484

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000