Datum

677ac5c332945f…c4e75dc31f

677ac5c332945fa259190b02710a2cd7f799b91b3bd767c6f9e782c4e75dc31f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d1a12c2a597693998b0075cf54a42a1799d2b7276396586fe37781aa

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba01d6f9a05f9fccf57f168ef7addf731bad62c0902f2a0f39ae9485

1

Constr 0

0

Constr 0

0

#d1a12c2a597693998b0075cf54a42a1799d2b7276396586fe37781aa

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba01d6f9a05f9fccf57f168ef7addf731bad62c0902f2a0f39ae9485

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

716197465

4

2000000

5

2000000