Datum

78ff307beb5a3f…255540b77e

78ff307beb5a3f4e4da299867c2bccd9b67a77047b9b8a76d99f15255540b77e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dc15c17008ec7ba39f4c65048ed34dde2c87bd47a2ef49aa61563763

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3579758115fc76526424dc1cee215823b678aa29f3916331efeb35b

1

Constr 0

0

Constr 0

0

#dc15c17008ec7ba39f4c65048ed34dde2c87bd47a2ef49aa61563763

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3579758115fc76526424dc1cee215823b678aa29f3916331efeb35b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

969833646

4

2000000

5

2000000