Datum

f2652a6992cd61…80fe85f310

f2652a6992cd615949299c170db066a483d69f75bf3fb7e89626df80fe85f310

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9f3e2d40891d111b5f5417b801ba9bcd1c276f917da60cc4ff40c23d

1

Constr 0

0

Constr 0

0

Constr 0

0

#8dac4613a1687ff501beeaea03548794f4b8ea70c13c452fe93a1dfe

1

Constr 0

0

Constr 0

0

#9f3e2d40891d111b5f5417b801ba9bcd1c276f917da60cc4ff40c23d

1

Constr 0

0

Constr 0

0

Constr 0

0

#8dac4613a1687ff501beeaea03548794f4b8ea70c13c452fe93a1dfe

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

154476272

4

2000000

5

2000000