Datum

74d14ab45ed49d…9cee482a7f

74d14ab45ed49d144bb5ae660d0bb0ff9953f05c7d147be02b77b49cee482a7f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6cf1da09f3490f27a41c15e645185647ec0c415e6647b74364523200

1

Constr 0

0

Constr 0

0

Constr 0

0

#57705506fe524890ed1f751da1f9455806a131891f4fe7608b667b13

1

Constr 0

0

Constr 0

0

#6cf1da09f3490f27a41c15e645185647ec0c415e6647b74364523200

1

Constr 0

0

Constr 0

0

Constr 0

0

#57705506fe524890ed1f751da1f9455806a131891f4fe7608b667b13

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

511056750

4

2000000

5

2000000