Datum

a1e03b586b4bd9…5a6bdadbbd

a1e03b586b4bd9efdaedca8768bedd384e14b9482ab9302db006195a6bdadbbd

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c259b5260ff7c82cb66916ff90b379b23a5e8fd08d21fcbe793ea359

1

Constr 0

0

Constr 0

0

Constr 0

0

#0e66048b7e5cf11e6dfc9e71dbae37c1fe9943dc1a452b18e4ac54ed

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

80000000

2

Constr 0

0

360427404