Datum

ece103dcb6226d…8b4e25ae0d

ece103dcb6226d0e1129ae353546a7e06b68a9c40aa2b387376b3e8b4e25ae0d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#97fb59bf43f420667de0f634bdca3a1c0154a1bf806043f31bdcca34

1

Constr 0

0

Constr 0

0

Constr 0

0

#1939a181d3231d6d8b7c01b98fccb7ff47ab8268ceff0cd05b532775

1

Constr 0

0

Constr 0

0

#97fb59bf43f420667de0f634bdca3a1c0154a1bf806043f31bdcca34

1

Constr 0

0

Constr 0

0

Constr 0

0

#1939a181d3231d6d8b7c01b98fccb7ff47ab8268ceff0cd05b532775

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

474706174

4

2000000

5

2000000