Datum

efd5c3fe8bf07f…b81c04f01b

efd5c3fe8bf07f0b44849fb78f5c12b2bbfdb3f17383b7781a0972b81c04f01b

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c208fbc03d070a0038c51011626402f0cac3d27f6084a1fe741e845e

1

Constr 0

0

Constr 0

0

Constr 0

0

#aa5f5b831ad12ff208bfcdcc2a6a32d7ed3a80e89f318e57274efb82

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

208480721