Datum

b076ac0b865488…4c8ddee95f

b076ac0b865488c145cbc9ee7d3ffda5994783580b958e749e38b64c8ddee95f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#96a08d27f688c85bcd77610533c875cafdbaaa452a0a588365874fbc

1

Constr 0

0

Constr 0

0

Constr 0

0

#ea5c30712ace22daa37d00226c3dd8412e122b2c3c0da9ccf322c21e

1

Constr 0

0

Constr 0

0

#96a08d27f688c85bcd77610533c875cafdbaaa452a0a588365874fbc

1

Constr 0

0

Constr 0

0

Constr 0

0

#ea5c30712ace22daa37d00226c3dd8412e122b2c3c0da9ccf322c21e

2

Constr 1 []

3

Constr 2

0

1

4

1995737

5

2000000