Datum

e8d55ae28d850d…91e566c620

e8d55ae28d850db066d118e134d3c2928be7c01e706fcc6bc5e8be91e566c620

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a5fc9b4915afc6e402a16ee1dec26082e01aeb18634fdaee392aa1f6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f9c5ffccfaa7c0e17a459a64a77d7cab26a01add3f78068fbf57c8c9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10000000000

2

Constr 0

0

24943733