Datum

80eb71be5effd1…d7ca5f80ad

80eb71be5effd1ea34cf3d21e4d68080ac70f012b0dc23ef818050d7ca5f80ad

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7cfa409418fd24495aa77d1b11be078ceabf791428e46b204cd918c5

1

Constr 0

0

Constr 0

0

Constr 0

0

#5c0939727ee8e674ae26951e962e63e908299f67fcb61608e4cd6f9a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

23213435

2

Constr 0

0

4