Datum

eb8c5588c36fef…7d7c07cfae

eb8c5588c36fef9dd2161addd2586e53f5837e8ea732d1067c5c4e7d7c07cfae

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0c877491c7c87958cae1852e3451a841fc39813632c31e30a54f1936

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e66c5f73b393a107e301a321c5ea9f81e3d1b28a0f16b897f3034e1

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

70000000

2

Constr 0

0

1