Datum

d5b40fa2fe85a6…6876706a6d

d5b40fa2fe85a68d3a1eebe276f23c25b375d109e9d29a429b68256876706a6d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9a374c5bfd1083039ff3074e419eaece8fb784efb1bfc75c833efc59

1

Constr 0

0

Constr 0

0

Constr 0

0

#d7cebdc822ef77380e8a465f47f8e0154d0ad1051840865fa693b3cd

1

Constr 0

0

Constr 0

0

#9a374c5bfd1083039ff3074e419eaece8fb784efb1bfc75c833efc59

1

Constr 0

0

Constr 0

0

Constr 0

0

#d7cebdc822ef77380e8a465f47f8e0154d0ad1051840865fa693b3cd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

779154016

4

2000000

5

2000000