Datum

167abbde39599f…6d5db73e80

167abbde39599f8b7625e86d57135fdb4991f5d5c97bea098a02676d5db73e80

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1a028a42b01c262a23b6d36160d75fed67ea92ec198d3f811e79fad7

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd31b7ee70583b7163d0126dba24e87e96fa207ef5e330c97316dc97

1

Constr 0

0

Constr 0

0

#1a028a42b01c262a23b6d36160d75fed67ea92ec198d3f811e79fad7

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd31b7ee70583b7163d0126dba24e87e96fa207ef5e330c97316dc97

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000