Datum

dbb1f6ee7a2fa7…fc27edcdbc

dbb1f6ee7a2fa7fc9d08c5a2d10caff285cf05ccf2014280143742fc27edcdbc

Datum

Constr 0

0

#12

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 1 []

1

16000000000

2

Constr 0

0

50348277