Datum

a3f39f72bf7e61…70d474e86c

a3f39f72bf7e61701313f520ff0ecd77f104ce52ec60170c8f6cef70d474e86c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a12e024881edbcdab3fbba9fb0dc574c9ab8cdf48940c78a82c66ae2

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3c5d47056b4fe8a814d497d55b3398f6cb6138e431ab05577d9c528

1

Constr 0

0

Constr 0

0

#a12e024881edbcdab3fbba9fb0dc574c9ab8cdf48940c78a82c66ae2

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3c5d47056b4fe8a814d497d55b3398f6cb6138e431ab05577d9c528

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

326361011

4

1899727

5

2000000