Datum

ed76217bba3c87…16f736df10

ed76217bba3c872aadbc2560c0c7915a6f1c85e952890ecac9d4db16f736df10

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#71777c9602b26f5a8f775c4bf0ef6633531b3bffaf5edfe2eaf2dd07

1

Constr 0

0

Constr 0

0

Constr 0

0

#5f932d48248dfda03f2bacf19ae7799e9d11b8958b67fb3c611d5106

1

Constr 0

0

Constr 0

0

#71777c9602b26f5a8f775c4bf0ef6633531b3bffaf5edfe2eaf2dd07

1

Constr 0

0

Constr 0

0

Constr 0

0

#5f932d48248dfda03f2bacf19ae7799e9d11b8958b67fb3c611d5106

2

Constr 1 []

3

Constr 2

0

1

4

1999416

5

2000000