Datum

aa3fdf691e67d9…a3e49aab96

aa3fdf691e67d97b7a63bd706da498186f153136e80daf71ab4d3aa3e49aab96

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#70ca6ddf7d10017e6ff26b266a96448b873eaa44f5ed5ac3afa089d6

1

Constr 0

0

Constr 0

0

Constr 0

0

#d8974f9728ad84ab94babec16e6c91bc9ab40d3cfe438f8bb9849f9b

1

Constr 0

0

Constr 0

0

#70ca6ddf7d10017e6ff26b266a96448b873eaa44f5ed5ac3afa089d6

1

Constr 0

0

Constr 0

0

Constr 0

0

#d8974f9728ad84ab94babec16e6c91bc9ab40d3cfe438f8bb9849f9b

2

Constr 1 []

3

Constr 3

0

37127121

1

193928217

4

2000000

5

2000000