Datum

85bec3b0716bb9…2f93d30e48

85bec3b0716bb9df8abc10a03f593365b82e674923cab1ebbdf0d42f93d30e48

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5b67f76af0e415b69ce7479db8d5ea013f2e677320a9999ea44417c1

1

Constr 0

0

Constr 0

0

Constr 0

0

#68625ff4d3f7c576df05031e2eaeb7d9846485d81e8befec5a45e0f0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

161