Datum

1bc1edbfab6c16…2283c89e53

1bc1edbfab6c16c93cc433b7b4a1302beffbf073bfeba2152b4e642283c89e53

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3bd5b5444c41c7cf9f96a0217e6951db28cb877bc77ffb0128df3947

1

Constr 0

0

Constr 0

0

Constr 0

0

#e1f14c0e311346e2f5138b1d534723396c216f47a69949b2859e53dd

1

Constr 0

0

Constr 0

0

#3bd5b5444c41c7cf9f96a0217e6951db28cb877bc77ffb0128df3947

1

Constr 0

0

Constr 0

0

Constr 0

0

#e1f14c0e311346e2f5138b1d534723396c216f47a69949b2859e53dd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

173287155

4

2000000

5

2000000