Datum

672fa6d416fc80…8dece37e03

672fa6d416fc8068c8335a724f34e5fea5df82156088beb1ebd64a8dece37e03

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5de2cc233a7cffdadc48be12e8d12a9f7b8b08e8b1e19e5762ffa5d7

1

Constr 0

0

Constr 0

0

Constr 0

0

#a825fccd2b75349c53d4613421752211250583a2c411c861b2ccfef7

1

Constr 0

0

Constr 0

0

#5de2cc233a7cffdadc48be12e8d12a9f7b8b08e8b1e19e5762ffa5d7

1

Constr 0

0

Constr 0

0

Constr 0

0

#a825fccd2b75349c53d4613421752211250583a2c411c861b2ccfef7

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

259027786

4

2000000

5

2000000