Datum

ef3475463f9f2e…0a86def0fa

ef3475463f9f2e4bf65c103684165a506bb42b9750ebfb0b43a7490a86def0fa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2ab3d0969b59eb26a7714e88020a88edc2feb67a08d88ca7bdd76709

1

Constr 0

0

Constr 0

0

Constr 0

0

#30c42d71ac20dc55b22e86519c0585f230f6e6045b82833880a5c58c

1

Constr 0

0

Constr 0

0

#2ab3d0969b59eb26a7714e88020a88edc2feb67a08d88ca7bdd76709

1

Constr 0

0

Constr 0

0

Constr 0

0

#30c42d71ac20dc55b22e86519c0585f230f6e6045b82833880a5c58c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

571602660

4

1999997

5

2000000