Datum

802cd3a72603d6…75bfd7f041

802cd3a72603d653ca49fe765cc9ad652dabfb5ca6c046ca1ba2bc75bfd7f041

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4f621e9a1832839ac926118182d8bbbc1a6dcd70428fc332b879dc71

1

Constr 0

0

Constr 0

0

Constr 0

0

#2172775582323c3ec30e214cf74f1cded86e7e5ff7b8a1a90e2dbb22

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

1