Datum

55e32d180dd75f…964dddc3e2

55e32d180dd75feccf57b31bfa39380b7ebbc25d1ff1a5c2b0e225964dddc3e2

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#bab200a07eb021f7bf9041324670965319e7b26df124160d27729c31

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c9e41c6185fe23c341ca3e70cef026ca1fb0e48d6e2eaf3f3e01142

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

297118730

2

Constr 0

0

12177688