Datum

87fa8cef58b76f…240bb69669

87fa8cef58b76f31b2a9ea815fe4235dde52be271c18a779fb86ae240bb69669

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#49e32179f9b3945b3d0b85ffc544448f1adf45436d8e21f24427a3de

1

Constr 0

0

Constr 0

0

Constr 0

0

#8ce5aedd3f4d4d0f940db9beffcd631937f3af358af3144cd14241a4

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

86000000

2

Constr 0

0

770616821