Datum

e38dcda22a649e…3b4cf49962

e38dcda22a649ebf03d047b2815960ca98cfd78d53cae2c118f0e73b4cf49962

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c06efd1e8ae8a75b5692971c73639939b3df9b8e9ea33c7e112b50d

1

Constr 0

0

Constr 0

0

Constr 0

0

#ff2f0f0fabafb78b708a3722103db2fa7dd02797c364eb9a57b18ac5

1

Constr 0

0

Constr 0

0

#1c06efd1e8ae8a75b5692971c73639939b3df9b8e9ea33c7e112b50d

1

Constr 0

0

Constr 0

0

Constr 0

0

#ff2f0f0fabafb78b708a3722103db2fa7dd02797c364eb9a57b18ac5

2

Constr 1 []

3

Constr 3

0

394906185

1

18532553

4

2000000

5

2000000