Datum

ea4c58ba5053e6…6847483d03

ea4c58ba5053e6e263a5e9927e4bb95f529e3a380ac2dda56fb2d06847483d03

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#75c00e0e638ead70841c244daa90e6c868ea0a4afd204620de0ffdd2

1

Constr 0

0

Constr 0

0

Constr 0

0

#e9d13c12cdd5202b73d1c547f63cb7a2e4356ea78dbe85d0f9a640b4

1

Constr 0

0

Constr 0

0

#75c00e0e638ead70841c244daa90e6c868ea0a4afd204620de0ffdd2

1

Constr 0

0

Constr 0

0

Constr 0

0

#e9d13c12cdd5202b73d1c547f63cb7a2e4356ea78dbe85d0f9a640b4

2

Constr 1 []

3

Constr 3

0

298033917

1

2553908

4

2000000

5

2000000