Datum

2758db8889d2fc…5f2acfe8cf

2758db8889d2fcfefca61a55f4e51ad73ff334f051efd412687fb95f2acfe8cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f3032a9744b880426f37fe862b9114fa9a954e7b29194053adcdebe6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f4ba2af550d1a730c2215164b5d8835ec6c6e4cff83ae6397dedbc4b

1

Constr 0

0

Constr 0

0

#f3032a9744b880426f37fe862b9114fa9a954e7b29194053adcdebe6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f4ba2af550d1a730c2215164b5d8835ec6c6e4cff83ae6397dedbc4b

2

Constr 1 []

3

Constr 2

0

1

4

1999997

5

2000000