Datum

a16eeeeb098ee5…53acea67e3

a16eeeeb098ee5e56fddfe3be2830ae31dd38c4bc869359d27dddc53acea67e3

Datum

Constr 0

0

#22

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#28a591e84843af97ec19c59bf4e83be7a49a655ff4010f131dd2878b

1

Constr 0

0

Constr 0

0

Constr 0

0

#1c137cb5666325b92c66e91f422b792f5ab5979f6eb9fe5c763b2feb

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

5507000000000

2

Constr 0

0

286041467