Datum

f742e3b7a6df24…f3ec8eaa82

f742e3b7a6df24580d951dce73ab1ec273757c7209bacc53945aa3f3ec8eaa82

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a44da8902ec5991301f7a9d4e1d8ff46b49af9ba147aa6fbe2815a73

1

Constr 0

0

Constr 0

0

Constr 0

0

#33f0c24ca56e701e171dda0ee49aedc396b5e13bf18ade4cd7a3091d

1

Constr 0

0

Constr 0

0

#a44da8902ec5991301f7a9d4e1d8ff46b49af9ba147aa6fbe2815a73

1

Constr 0

0

Constr 0

0

Constr 0

0

#33f0c24ca56e701e171dda0ee49aedc396b5e13bf18ade4cd7a3091d

2

Constr 1 []

3

Constr 2

0

1

4

1990943

5

2000000