Datum

ec9aaddbe678b4…c9834bd6d6

ec9aaddbe678b43c2bdc5597baa2981014ce5cf404fbb4ae09b704c9834bd6d6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e80d2037aaf8a76c954491fc80941b72856ba3fa838be33e6f3efca9

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d1e15ed1b30418e49280105b0a2fc31ae2cf6230a11c767cc870dde

1

Constr 0

0

Constr 0

0

#e80d2037aaf8a76c954491fc80941b72856ba3fa838be33e6f3efca9

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d1e15ed1b30418e49280105b0a2fc31ae2cf6230a11c767cc870dde

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

2189938

4

1999997

5

2000000