Datum

e4032bc5364b3f…8e670d0b31

e4032bc5364b3f121f33867662405a89bd82e7dd2b70d91c3e41e68e670d0b31

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#59dc8ff65b9674de1a8c4b3075169fc82fb963a17750105c41586a7e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a266487a7fff04a6771a07b523d435472c314792dbb1488293e5c11

1

Constr 0

0

Constr 0

0

#59dc8ff65b9674de1a8c4b3075169fc82fb963a17750105c41586a7e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a266487a7fff04a6771a07b523d435472c314792dbb1488293e5c11

2

Constr 1 []

3

Constr 2

0

1

4

1999212

5

2000000