Datum

4ede62a32eddd1…09525e32fd

4ede62a32eddd19f2076be9dedf2d772c98367ff4eceb53eb7da4609525e32fd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f208ae79c4ff5781ec7883ad4779f3cff953d90a3ecfa1ca706ffb10

1

Constr 0

0

Constr 0

0

Constr 0

0

#fd33a6157d8f93157790375db4cc921154d44e744fd0929e5106a779

1

Constr 0

0

Constr 0

0

#f208ae79c4ff5781ec7883ad4779f3cff953d90a3ecfa1ca706ffb10

1

Constr 0

0

Constr 0

0

Constr 0

0

#fd33a6157d8f93157790375db4cc921154d44e744fd0929e5106a779

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

18156447

4

1968983

5

2000000