Datum

d8196d5b40b7ec…5d6fbd3072

d8196d5b40b7ecc4feb2ec703c19d40efd45db3264b2e5e95855d65d6fbd3072

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e635932a67d3d49dea9a48f7788f55c6da0a097f3b7ece89aeb4f87a

1

Constr 0

0

Constr 0

0

Constr 0

0

#1a79ed29fbe2fc2af5db254396eacadb4ee35c512add78e63e540588

1

Constr 0

0

Constr 0

0

#e635932a67d3d49dea9a48f7788f55c6da0a097f3b7ece89aeb4f87a

1

Constr 0

0

Constr 0

0

Constr 0

0

#1a79ed29fbe2fc2af5db254396eacadb4ee35c512add78e63e540588

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

508390072

4

2000000

5

2000000