Datum

8ae24f06d4e3f2…d511e65ed3

8ae24f06d4e3f2905252d410ef46229fb77bced760352163da5f49d511e65ed3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0e65f82d46110ff366692780815c39c54dfe5f76c29bc9e72eacb99c

1

Constr 0

0

Constr 0

0

Constr 0

0

#0f2ac29cd32d4a8485ea9c32575dc2451efd4ae5cf250872e9c3db0b

1

Constr 0

0

Constr 0

0

#0e65f82d46110ff366692780815c39c54dfe5f76c29bc9e72eacb99c

1

Constr 0

0

Constr 0

0

Constr 0

0

#0f2ac29cd32d4a8485ea9c32575dc2451efd4ae5cf250872e9c3db0b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000