Datum

58b9f6557fac73…dcd14e2201

58b9f6557fac732aed715a59002da33db85c8d98097f244667c24adcd14e2201

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#80fbb4a7c465585555b08b361aa0632d06042a49c6b47a50229404fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#10a96f7d050dbcc2ef8f831fe36d289caa7ce77f650156ffad8b8b2f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

450000000

2

Constr 0

0

572607342