Datum

f0f322f7aca873…dfd1e93d73

f0f322f7aca873dd169c64be4561e94e8aab0db64efda8f70cca7cdfd1e93d73

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#74d1360d7cd839261d057643445b42390e53f046d77ae7d96b93b272

1

Constr 0

0

Constr 0

0

Constr 0

0

#ef2c8a286a9a6c8666ee1afe56137b2cc95d6d0b173af615e0e30420

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

10000000

2

Constr 0

0

127542900