Datum

e8fc232ffc0092…22c779540f

e8fc232ffc00928e7909c727d288efa81d068d145fe9ea5ac663be22c779540f

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d17dd039b6d7ac059dff9f0edfba3dc091e7e2ecc1d84573a1370bfd

1

Constr 0

0

Constr 0

0

Constr 0

0

#15b7450cc3ce077200f5fea83545cdd515f70b97440f97e71425383a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

7500000000

2

Constr 0

0

1