Datum

4b2f4e064afa12…6ee8471b46

4b2f4e064afa122ce4000b126f7ab173284d136d862d47e2e163ed6ee8471b46

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f84223af1604b0230cc3808754d148ee9950d17cf88b56f41173c1ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#59ae7cd8401ddaf66a20790488c2c99cd00bd40f4ad47a3e18074178

1

Constr 0

0

Constr 0

0

#f84223af1604b0230cc3808754d148ee9950d17cf88b56f41173c1ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#59ae7cd8401ddaf66a20790488c2c99cd00bd40f4ad47a3e18074178

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

253274853

4

2000000

5

2000000