Datum

32efd059a53d1e…6b67b0250c

32efd059a53d1ee18ab8401f484fcbc5b1b978968d080d1bdcf19c6b67b0250c

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#87e1caeaf37c5591c3619675cdb9430d22ad0cc4d4f20640ff9f35dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#75f1e10ea087b09fa71d82fe0821067646729feff4173012893399f9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

150000000

2

Constr 0

0

2089829272