Datum

92a3a8b707220e…3e1e8ddc9d

92a3a8b707220eae6d8f30bc1569dcc10d9fda0cbdc7a18b04f68b3e1e8ddc9d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ad408266ad8ad096dfba8a05640affeef2022f80ad8bbe48551a5996

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d7e7e4f8e8f3a295523914c58cbe398d3930eb054bc9645b47c5099

1

Constr 0

0

Constr 0

0

#ad408266ad8ad096dfba8a05640affeef2022f80ad8bbe48551a5996

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d7e7e4f8e8f3a295523914c58cbe398d3930eb054bc9645b47c5099

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

54813023

4

2000000

5

2000000