Datum

fb663576307f57…3824e3907c

fb663576307f57f3c135bbd097df03e44408290a2bcd28a78c5dd23824e3907c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5874bfe98fe5cfc35a87be79de443f7f371eadfe6812c653077231cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe1e9215f3ea6ab23ce152ba8637ae1708da8ac98475423f45248d8f

1

Constr 0

0

Constr 0

0

#5874bfe98fe5cfc35a87be79de443f7f371eadfe6812c653077231cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe1e9215f3ea6ab23ce152ba8637ae1708da8ac98475423f45248d8f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

79935349

4

2000000

5

2000000