Datum

28d13d233ed225…ee00a7e2d4

28d13d233ed225dc0f156232ab7c3e0032004033d69b822563aab0ee00a7e2d4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f4387b33336e815901a031bde0c8af6cd064fb2fef551c46910ef673

1

Constr 0

0

Constr 0

0

Constr 0

0

#4f91da1f74347ef5dec44335b13cb8905707e182fe1c508a97db5f1b

1

Constr 0

0

Constr 0

0

#f4387b33336e815901a031bde0c8af6cd064fb2fef551c46910ef673

1

Constr 0

0

Constr 0

0

Constr 0

0

#4f91da1f74347ef5dec44335b13cb8905707e182fe1c508a97db5f1b

2

Constr 1 []

3

Constr 2

0

1

4

1999993

5

2000000