Datum

9ec1e86cdac0aa…f85eb2c857

9ec1e86cdac0aabe3e74802f80316d34b750b89d324b39dfd9702bf85eb2c857

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3bf4c4bdd500a4f93c657b318985bd501384f46d3afc3b9449829890

1

Constr 0

0

Constr 0

0

Constr 0

0

#77fdecbc0e8c32389f04f4788ed0efbda05b927e5c24deb7548d4724

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

265274148

2

Constr 0

0

540000000