Datum

c080b59bd9d8fe…44cc05d463

c080b59bd9d8fef047b3712f718b2a3d38dbe7330e26c4b4ebd5c244cc05d463

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f6d1f25773176549810eb56d1c58c59b008344776fb5280b5f295fc0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5717ee75372ab3413aef7538591a733327f2d0c7dafc6a451abc41c3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

58818106

1

1000000000