Datum

8cf72bcbe093f7…cdd0259057

8cf72bcbe093f7245dc720c3ee813d3676b3dde15431e16683883fcdd0259057

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2f499cd11f9dcdad2c1105e361e7b110088b5dfdf37e4517cf204c77

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c806aa6cd4e8a87586fd5df7b0b066bd5cf2a5678c15d90d1a78ccf

1

Constr 0

0

Constr 0

0

#2f499cd11f9dcdad2c1105e361e7b110088b5dfdf37e4517cf204c77

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c806aa6cd4e8a87586fd5df7b0b066bd5cf2a5678c15d90d1a78ccf

2

Constr 1 []

3

Constr 2

0

1

4

1927311

5

2000000