Datum

2ed1abc84fddb7…52ce1d5d20

2ed1abc84fddb7d946f8998c6a2e2487ce4bcf55c2d7359b82ca2452ce1d5d20

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3006b2f9f0d2d9f21e86e6dee179d9f1547a0140d8924b10d256c4cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ecb1e7d227ebfc1be9b96c7c7356b5ff97e688fe56deafcffe268e1

1

Constr 0

0

Constr 0

0

#3006b2f9f0d2d9f21e86e6dee179d9f1547a0140d8924b10d256c4cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ecb1e7d227ebfc1be9b96c7c7356b5ff97e688fe56deafcffe268e1

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

159108892

4

2000000

5

2000000