Datum

a32c431cd0ed7d…db5982dd83

a32c431cd0ed7dbcd9219719e941c0975e85eee0f4520daccd9fa8db5982dd83

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e75b032b9a3453c93054d504be05442569758a6e8355d56d85016efa

1

Constr 0

0

Constr 0

0

Constr 0

0

#f11ec49c78d3e05e6cebdfd62a225963441c800fd70e92b220c0adf4

1

Constr 0

0

Constr 0

0

#e75b032b9a3453c93054d504be05442569758a6e8355d56d85016efa

1

Constr 0

0

Constr 0

0

Constr 0

0

#f11ec49c78d3e05e6cebdfd62a225963441c800fd70e92b220c0adf4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

672080

4

1997454

5

2000000