Datum

b083daebfd01ff…5d69926ffc

b083daebfd01ffa5652ffcd368feafed572f473ff73d5b4c11efaf5d69926ffc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#864462c321f7d4f775fdd22277ab686a8e1c2bd1d69e46dc9af1ed73

1

Constr 0

0

Constr 0

0

Constr 0

0

#375a3937b5fa07509542ffe5954cc46514e0446ad7bcfec8ce657be3

1

Constr 0

0

Constr 0

0

#864462c321f7d4f775fdd22277ab686a8e1c2bd1d69e46dc9af1ed73

1

Constr 0

0

Constr 0

0

Constr 0

0

#375a3937b5fa07509542ffe5954cc46514e0446ad7bcfec8ce657be3

2

Constr 1 []

3

Constr 2

0

1

4

1997529

5

2000000