Datum

17fa12fbe5fd08…9231daa39f

17fa12fbe5fd08f11fb01c474dc005a8888367dd615a12b5e73d3b9231daa39f

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c485a4fbc3bab28e399725f521df4a4d55373ea2e82d3b05dd831fdb

1

Constr 0

0

Constr 0

0

Constr 0

0

#f1cdc469bea2e2cb4958eda2fcd202ee0e263b8afd8b289289c83dd8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

40000000

2

Constr 0

0

163452458