Datum

210ea2898a1ebe…f798dcc103

210ea2898a1ebe14c12d5dfec20fd22c8485873a40d80dfbfc49e0f798dcc103

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8f5f09627a2e3ea9ed23ff516bc96e2a11245c41e8e7f34ace6181c8

1

Constr 0

0

Constr 0

0

Constr 0

0

#2b88ecd5d49f577fd23a5e7185e542ab9ca4476e6ace5b545a192924

1

Constr 0

0

Constr 0

0

#8f5f09627a2e3ea9ed23ff516bc96e2a11245c41e8e7f34ace6181c8

1

Constr 0

0

Constr 0

0

Constr 0

0

#2b88ecd5d49f577fd23a5e7185e542ab9ca4476e6ace5b545a192924

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

15238366

4

2000000

5

2000000