Datum

a2b52d887d4f9e…3efba41e4d

a2b52d887d4f9efa1edf30939c13a24d969f70faa2d24cd72d1e233efba41e4d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ebaca0fb82e8ea12ea0a5499c46d6fe1d7d22c7254c13c4d8b19db9f

1

Constr 0

0

Constr 0

0

Constr 0

0

#dcec39e9129f4c4387016df6940a7efe27e40fa366b5026d1edd9d14

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

582636351