Datum

8b203d8fe7ad8a…1ff8d6de9e

8b203d8fe7ad8a0e003c65e38b56682012dcce758d29d941b0478d1ff8d6de9e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7d6f1ca5b802c6ee0be68be7f7f3c94e4ea499ba756ec06b0ae0c182

1

Constr 0

0

Constr 0

0

Constr 0

0

#ea6396572b26fdd696e9a7c64b0509be217f7ef933027cc71e053cc8

1

Constr 0

0

Constr 0

0

#7d6f1ca5b802c6ee0be68be7f7f3c94e4ea499ba756ec06b0ae0c182

1

Constr 0

0

Constr 0

0

Constr 0

0

#ea6396572b26fdd696e9a7c64b0509be217f7ef933027cc71e053cc8

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

78669460

4

1999275

5

2000000