Datum

4c0f25c955cd64…1e9340263f

4c0f25c955cd64d243f6ab93f0e9a3a75a6c9228fea1444c19cd151e9340263f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#71bdd8f0cd4f2880d906890335d13fdedf125f8ea8930788321df437

1

Constr 0

0

Constr 0

0

Constr 0

0

#b6cc158ef864dcaa036e5c2b3f34f78098949ad8b00e3557793e0dbd

1

Constr 0

0

Constr 0

0

#71bdd8f0cd4f2880d906890335d13fdedf125f8ea8930788321df437

1

Constr 0

0

Constr 0

0

Constr 0

0

#b6cc158ef864dcaa036e5c2b3f34f78098949ad8b00e3557793e0dbd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

801641461

4

2000000

5

2000000