Datum

e7b77b5051ccb9…9e80ec4582

e7b77b5051ccb9140e7826e4e7c9e3312b6462387f2f44f01dbdae9e80ec4582

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5f62e11cfd86b33371d7701f621874645eea54527dff8a37cc51e4ee

1

Constr 0

0

Constr 0

0

Constr 0

0

#a1a6f4b967a8c2a79ee44179c58783b99f192b38298eb89a308b14d1

1

Constr 0

0

Constr 0

0

#5f62e11cfd86b33371d7701f621874645eea54527dff8a37cc51e4ee

1

Constr 0

0

Constr 0

0

Constr 0

0

#a1a6f4b967a8c2a79ee44179c58783b99f192b38298eb89a308b14d1

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

257075200

4

1999960

5

2000000