Datum

d9232c0fcfb2cf…422f1223eb

d9232c0fcfb2cf5720c077f8d684091b25eccac30ecafb7147fe53422f1223eb

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#15874be1289f91e9c0be163fa3538727eaf6064213dd23b111bebbd3

1

Constr 0

0

Constr 0

0

Constr 0

0

#058d0587938fbd6cfd9c20576df68047efba2aeb12d1239cec74e5b4

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

300000000

2

Constr 0

0

141