Datum

26fa59b9cc3efe…5ece40fbbc

26fa59b9cc3efeb95e044c82c76923f721983a4529d3d09cfe31795ece40fbbc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#abb62e6293638bbd661bed9bde5abc25af178d70a8309f66847dfd4a

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0f7d7d6c5e99ee65222561fdd06b17b5561b8595c50b1da1bdd24ba

1

Constr 0

0

Constr 0

0

#abb62e6293638bbd661bed9bde5abc25af178d70a8309f66847dfd4a

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0f7d7d6c5e99ee65222561fdd06b17b5561b8595c50b1da1bdd24ba

2

Constr 1 []

3

Constr 3

0

9818125

1

232

4

2000000

5

2000000