Datum

13b10acbfd3e2d…be373cde60

13b10acbfd3e2d2e92b3ca7f9e47656a22bb6bca529e44118984c0be373cde60

Datum

Constr 0

0

#09

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7869c16fef08e264f5e8a57b7f06af7b4b159d37c770e2b502010059

1

Constr 0

0

Constr 0

0

Constr 0

0

#18b7c947aae9ad9f84e9fe0d585f692f80524e58d591f5daef5206c0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

11477