Datum

e0cee2fa8b2284…32e5a34c66

e0cee2fa8b2284a241c0c5e4c40a2ab24e2e0843aa25e9048c4df532e5a34c66

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1dd9d57bc61fbe51f3bc9a36812a3c9d749d91ed0df8bdae18c3fa84

1

Constr 0

0

Constr 0

0

Constr 0

0

#adc415c98053007a0d29302886dfd9093a630f427946b6de57747890

1

Constr 0

0

Constr 0

0

#1dd9d57bc61fbe51f3bc9a36812a3c9d749d91ed0df8bdae18c3fa84

1

Constr 0

0

Constr 0

0

Constr 0

0

#adc415c98053007a0d29302886dfd9093a630f427946b6de57747890

2

Constr 1 []

3

Constr 2

0

1

4

1999707

5

2000000