Datum

94ce5cd4f87cdd…0ae19b2d80

94ce5cd4f87cdd37e25aae5361e90d74e9bf197208c9b03d65a9520ae19b2d80

Datum

Constr 0

0

#1c

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#2256c4029375839fccc3fbdff3e6b8c7da556cec35f7915c42a63299

1

Constr 0

0

Constr 0

0

Constr 0

0

#8b3179c6ba186a4a3fee59169f7fd9d4c95c4b10458a4e4af685162e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

35529300

2

Constr 0

0

3526