Datum

523f0588e951f3…c011a671df

523f0588e951f355b2efc10e86ea67ed7cfeb062938d4355adf40cc011a671df

Datum

Constr 0

0

#0805

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#02c774538948d8db835ec8f750f10c1106865706f0081ecd22ca394f

1

Constr 0

0

Constr 0

0

Constr 0

0

#d8b332ec3c2c63ecfc1ec8b3e321e806aff28d4db8e4a20c07e667c8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

20000000000

2

Constr 0

0

887244032