Datum

8ae41e3dce630b…eac53403cc

8ae41e3dce630b2fe6ebb26477a3acdc5bb687e80c152f262ee774eac53403cc

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f630a38a08621b7420767cf42c4a42c39fc5bedb70b120d3bd670f00

1

Constr 0

0

Constr 0

0

Constr 0

0

#21bad71337b7e1930901fa9911b1680211a5fc7a422a0a2b5f3fd2e8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

216400600

1

1000000000