Datum

ed259fcbaa302d…46efba0d23

ed259fcbaa302dfbdc66cffff4161d59579bbfbc0633587325887046efba0d23

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6765e18fc7bd953cab3d65fc15c119179bae7054595868ff8cfd172c

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca2a8d2c65bf0f43b89434b1e4edaf353a536824760bbab0f860dab4

1

Constr 0

0

Constr 0

0

#6765e18fc7bd953cab3d65fc15c119179bae7054595868ff8cfd172c

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca2a8d2c65bf0f43b89434b1e4edaf353a536824760bbab0f860dab4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

339094216

4

2000000

5

2000000