Datum

3b93e125ebf99b…22582c7b4f

3b93e125ebf99bbcd68e595557d232ce026b81f44f5ab7cd1fc4a222582c7b4f

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#dc1ad33cdf5f48e9247583dc42f5d8974dbabaf789cded3e3f4a277e

1

Constr 0

0

Constr 0

0

Constr 0

0

#c35069fe4fa015e119764bc547aef59498f12aa81eff0eae0f2bb3ab

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

17777775

1

2000000000