Datum

9e473d0ef858b2…2aa57cf7f3

9e473d0ef858b24d81d7acd5cd9704db3bd467fe08eb519d748caa2aa57cf7f3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1463da80b69b0867c094c1e9f59f5d38f3e12bd707b7f2fb2deb15d1

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0bd4f46c481164297aae20349d10f774518c44c64c76ad1549130bf

1

Constr 0

0

Constr 0

0

#1463da80b69b0867c094c1e9f59f5d38f3e12bd707b7f2fb2deb15d1

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0bd4f46c481164297aae20349d10f774518c44c64c76ad1549130bf

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

9004219

4

2000000

5

2000000