Datum

1e9fd4845c1faa…efbc858c9c

1e9fd4845c1faa437ba3ab24be83f6436cef6720b95b23ee2fec3cefbc858c9c

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#df3041f7fe5bfcb8903ce88bc12f9b7b888f2825cd0ecb3aa521c410

1

Constr 0

0

Constr 0

0

Constr 0

0

#34e579b9f2c35056072abf9c4aa2eb3d2af3ba8e3b433365d48ebb03

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

364000000

2

Constr 0

0

831802720