Datum

6416d845fd074e…81dd4b657f

6416d845fd074e46902c2630217560db579c461db0b3cb95d650e181dd4b657f

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d25388ae1e361786cc1ba3a2fb287a3679f40592cf83422767f9c2ed

1

Constr 0

0

Constr 0

0

Constr 0

0

#c88c374caf571aef57448b7510cd983c43b8d09e24a5387bf76e99b3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1500000000

2

Constr 0

0

10536146