Datum

72d2667b45fcb6…a3280fae07

72d2667b45fcb66bee2a67454d66edf899d40c5ff444783f046448a3280fae07

Datum

Constr 0

0

#1f02

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7e96b9a51cf3d986be83cc9d2f63308ba221a58703ac39cccc522558

1

Constr 0

0

Constr 0

0

Constr 0

0

#e1762df4b20d0f02665a9bb93100f07c7a5cd3cfb9f4900f8163736c

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

238697972

2

Constr 0

0

24250