Datum

56a53e508f0e07…44d7025cb9

56a53e508f0e0784daaafbfba661dbab6dbea7c0cfb65d3c053fae44d7025cb9

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b04cbde003ba37d4fb1835fd6b8329b4f1fcfe234608ddc2485760ed

1

Constr 0

0

Constr 0

0

Constr 0

0

#e698dde1bafec472c5cfedf92e6c7882232c19afcada4b0b14ce2c12

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

7640034

1

1000000000