Datum

53da2c95066be2…d95e32690f

53da2c95066be2a972496a5eb331333454576a13f93a786d2b38d3d95e32690f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#079ff18cd61a1dc1134ff2c5d4eb66fa7c1e24cd32fc97ca0487b158

1

Constr 0

0

Constr 0

0

Constr 0

0

#35eac76bef143a9c83629163309b02f6caa2570b3c1b20d3a7a5d3e8

1

Constr 0

0

Constr 0

0

#079ff18cd61a1dc1134ff2c5d4eb66fa7c1e24cd32fc97ca0487b158

1

Constr 0

0

Constr 0

0

Constr 0

0

#35eac76bef143a9c83629163309b02f6caa2570b3c1b20d3a7a5d3e8

2

Constr 1 []

3

Constr 3

0

47180932

1

37249702

4

2000000

5

2000000