Datum

add24c873ca243…e1843b0a3a

add24c873ca2433dd96f571ffb6cb567bc58fb8fd67545ee021cd1e1843b0a3a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c1ebe1036a857fc91180627742230e3724ba5f90796cb970eecb89e

1

Constr 0

0

Constr 0

0

Constr 0

0

#a951aab623d78ac573a2256e167592d3635a69658812e2caa034700a

1

Constr 0

0

Constr 0

0

#1c1ebe1036a857fc91180627742230e3724ba5f90796cb970eecb89e

1

Constr 0

0

Constr 0

0

Constr 0

0

#a951aab623d78ac573a2256e167592d3635a69658812e2caa034700a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

777075914

4

2000000

5

2000000