Datum

db64f0b024ef5d…757ecc094c

db64f0b024ef5da1dfdec4f3495abff383458b5c13235ab908f1cd757ecc094c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#24f070369902cbb780b1ee3929ef7b0fa91ec545b14784d93b463df0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5571f4c71b54c775ba4634a5c3eb3ebcea8fc6172e4bcef3f6cda2fb

1

Constr 0

0

Constr 0

0

#24f070369902cbb780b1ee3929ef7b0fa91ec545b14784d93b463df0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5571f4c71b54c775ba4634a5c3eb3ebcea8fc6172e4bcef3f6cda2fb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

48006399

4

2000000

5

2000000