Datum

2cdad780ef2b97…eb68615651

2cdad780ef2b97c9cb207ede40ebdf4be132bd83b4c1d8b532255eeb68615651

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c7a50fdef6c16dd8f0efa87134c703fd7d4e2691309f966c29c5df02

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab7b664d826f18bb6f4a4cb1b474c0107164123ab99c641e19d5b612

1

Constr 0

0

Constr 0

0

#c7a50fdef6c16dd8f0efa87134c703fd7d4e2691309f966c29c5df02

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab7b664d826f18bb6f4a4cb1b474c0107164123ab99c641e19d5b612

2

Constr 1 []

3

Constr 3

0

132196094

1

154339241

4

1996996

5

2000000