Datum

22d036c1a5cda5…6c43a52d86

22d036c1a5cda58cee82f72b984d9937206e33caaa99299cc1b2d86c43a52d86

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b7b258f24f9291421ea37f642814c0479a5fc6825011ecfda1ef2225

1

Constr 0

0

Constr 0

0

Constr 0

0

#85fe481a5ac67f300c77762c4c954e8a7b11237048aa074210e6a15c

1

Constr 0

0

Constr 0

0

#b7b258f24f9291421ea37f642814c0479a5fc6825011ecfda1ef2225

1

Constr 0

0

Constr 0

0

Constr 0

0

#85fe481a5ac67f300c77762c4c954e8a7b11237048aa074210e6a15c

2

Constr 1 []

3

Constr 3

0

1

1

1

4

2000000

5

2000000