Datum

28c7d182e91ba9…fef60b115c

28c7d182e91ba9b7aac2b81afe5b24dfb2fdb1550b97c8d0dae773fef60b115c

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#62b5b88a7248cab4b68215732fd788e6e583bea2a66ade19492166e9

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec13fad5e1d4fc7d1ad9501d8484a6a853ac4b95b8815c99d63a8f75

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

260772557

2

Constr 0

0

97000000