Datum

72518b0c1b95a7…4ff195910a

72518b0c1b95a7bbb1e76dc880fd76b9d9babaed4fe46911d5e2fd4ff195910a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2e7f659f110786ceddad0fc0bcedcfa4086eaf33af439eac5be615fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#47e8632bbae86beef0abaa2fc028fea3b4054160a3cd9e60770377d4

1

Constr 0

0

Constr 0

0

#2e7f659f110786ceddad0fc0bcedcfa4086eaf33af439eac5be615fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#47e8632bbae86beef0abaa2fc028fea3b4054160a3cd9e60770377d4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

636520599

4

2000000

5

2000000