Datum

0b262b39f2aade…fefe5c8d30

0b262b39f2aadea9edb1f428249cd3a55bc20d1ec11d016451cad4fefe5c8d30

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#685c6202fa5113507ae1abeb94f03186bf947fcd93229ee691eb97e7

1

Constr 0

0

Constr 0

0

Constr 0

0

#57bf047d4e03df793695f0a1f340912bad51724d2b1a96cf23aeee76

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

229581958