Datum

42acc45ef3ed8d…e8d2a597a4

42acc45ef3ed8dccb73295506c7eb3b99549cf91f8577bcc885f87e8d2a597a4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dd34e66f85e40cac737d5fe708b1918524234e81233fe9582082fcea

1

Constr 0

0

Constr 0

0

Constr 0

0

#24ba80cee416f4d700d86be16f28bc9bcf14de661220c183e38c27f0

1

Constr 0

0

Constr 0

0

#dd34e66f85e40cac737d5fe708b1918524234e81233fe9582082fcea

1

Constr 0

0

Constr 0

0

Constr 0

0

#24ba80cee416f4d700d86be16f28bc9bcf14de661220c183e38c27f0

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

274386593

4

2000000

5

2000000