Datum

c03e16cdcc9d16…0839b64105

c03e16cdcc9d1671cd13d3d84402ff04e5673cb022516e924ec71f0839b64105

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5549e47cc751bd3ea39c302038ed15de03593797992f85d62ec3588b

1

Constr 0

0

Constr 0

0

Constr 0

0

#0f46cf6f80fa40475b4c820d3e25d29cc7307e1337a44084ac23604a

1

Constr 0

0

Constr 0

0

#5549e47cc751bd3ea39c302038ed15de03593797992f85d62ec3588b

1

Constr 0

0

Constr 0

0

Constr 0

0

#0f46cf6f80fa40475b4c820d3e25d29cc7307e1337a44084ac23604a

2

Constr 1 []

3

Constr 2

0

1

4

1993212

5

2000000