Datum

91167cf7eaa980…51022c87fa

91167cf7eaa9800fc8a1a90f7ed092504fe54a785df60942d426df51022c87fa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5b0496d2e43ef73393c136176e809803555299ce3511596cbc9e06b2

1

Constr 0

0

Constr 0

0

Constr 0

0

#fee90fb237308f95728db6127d4c56bd14a52835ba2664059fc4eb38

1

Constr 0

0

Constr 0

0

#5b0496d2e43ef73393c136176e809803555299ce3511596cbc9e06b2

1

Constr 0

0

Constr 0

0

Constr 0

0

#fee90fb237308f95728db6127d4c56bd14a52835ba2664059fc4eb38

2

Constr 1 []

3

Constr 2

0

1

4

1993943

5

2000000