Datum

bc39b3d73423bb…5aeb104043

bc39b3d73423bbf25911eb80c5d91ace179bdcd49aa91af2668dcc5aeb104043

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#833f7cae8e562da1cdc15b59fde9e3b2a7afc094bdb12320d4b6e5da

1

Constr 0

0

Constr 0

0

Constr 0

0

#d30c7021a828cfe1fe5956f7d40ecb9f221b36b37e38acaba8928637

1

Constr 0

0

Constr 0

0

#833f7cae8e562da1cdc15b59fde9e3b2a7afc094bdb12320d4b6e5da

1

Constr 0

0

Constr 0

0

Constr 0

0

#d30c7021a828cfe1fe5956f7d40ecb9f221b36b37e38acaba8928637

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

627248890

4

2000000

5

2000000