Datum

e82fcef6df2430…d64ea918f9

e82fcef6df2430abd72f496a11bfb6d49cfd2840b623bdaef5fbd8d64ea918f9

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

264416449

4

1999929

5

2000000