Datum

3e16d5e14ce380…a8f39fff4e

3e16d5e14ce3804f61a91033dd291710ce20734ffbb1bd5e47e27ca8f39fff4e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c1d39d72fb551395fd4798c7c837865c98be3a062f18d70a82cee9ee

1

Constr 0

0

Constr 0

0

Constr 0

0

#80fc6062db5a4cdd2bbd78efe2c31b1b3224f1fbe60a81706b13d8b2

1

Constr 0

0

Constr 0

0

#c1d39d72fb551395fd4798c7c837865c98be3a062f18d70a82cee9ee

1

Constr 0

0

Constr 0

0

Constr 0

0

#80fc6062db5a4cdd2bbd78efe2c31b1b3224f1fbe60a81706b13d8b2

2

Constr 1 []

3

Constr 2

0

1

4

1999870

5

2000000