Datum

2ae8b03b7be70b…8951e65f5c

2ae8b03b7be70bf7e397ceae51276c85300ec06513b7a2594cc7bd8951e65f5c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f0e3b85ce439b30e84bb99a7e2ccce9aae4acaefc2d73d726db28048

1

Constr 0

0

Constr 0

0

Constr 0

0

#ef2f17f15ccf86f9f51b290c536a59aa723e206da87622b1b718a301

1

Constr 0

0

Constr 0

0

#f0e3b85ce439b30e84bb99a7e2ccce9aae4acaefc2d73d726db28048

1

Constr 0

0

Constr 0

0

Constr 0

0

#ef2f17f15ccf86f9f51b290c536a59aa723e206da87622b1b718a301

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

16190530

4

1997813

5

2000000