Datum

2adcc7e9dc2fa5…35424b5d02

2adcc7e9dc2fa59638355355e656aa3c5fc99304b9ccfd95b4726235424b5d02

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#71e4b8530ad7d067f67f7f3cb9cbf423438d70fdf6825fa0497f3b10

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d08fa5d420223b317fc295b383a6eee9fc408c398627dc085053c0b

1

Constr 0

0

Constr 0

0

#71e4b8530ad7d067f67f7f3cb9cbf423438d70fdf6825fa0497f3b10

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d08fa5d420223b317fc295b383a6eee9fc408c398627dc085053c0b

2

Constr 1 []

3

Constr 2

0

1

4

1999368

5

2000000