Datum

c1cc6051f3e7a7…bf2d6c22ed

c1cc6051f3e7a71f0d63cab35420a2b4e467c7780f9cc039ad4359bf2d6c22ed

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4a66c94423fde64114230f8d7cd16d6a6bf11a5874ccb23f17484f79

1

Constr 0

0

Constr 0

0

Constr 0

0

#b255346a60580f135838292691951caf7d174807ccc108e10749fbd5

1

Constr 0

0

Constr 0

0

#4a66c94423fde64114230f8d7cd16d6a6bf11a5874ccb23f17484f79

1

Constr 0

0

Constr 0

0

Constr 0

0

#b255346a60580f135838292691951caf7d174807ccc108e10749fbd5

2

Constr 1 []

3

Constr 2

0

1

4

1978526

5

2000000