Datum

979a5739aca255…4eec95fd0f

979a5739aca255cf9a46d281f53b3bf95f6fcb66b56652ecf7a28a4eec95fd0f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#866f4beb93c972d95cc7b750f144c4220d34dc0ba92a3c5fc0aa578e

1

Constr 0

0

Constr 0

0

Constr 0

0

#8a337b12f1189168a18533365771bcf701a036a8ae507402bb7baab1

1

Constr 0

0

Constr 0

0

#866f4beb93c972d95cc7b750f144c4220d34dc0ba92a3c5fc0aa578e

1

Constr 0

0

Constr 0

0

Constr 0

0

#8a337b12f1189168a18533365771bcf701a036a8ae507402bb7baab1

2

Constr 1 []

3

Constr 3

0

182891141

1

2187

4

2000000

5

2000000