Datum

da54a0ea6d8600…08a20ac5dc

da54a0ea6d860004e076101fbcab39d445e1bcb76ae0e4d633026108a20ac5dc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0e58403a0698f63a2c90651fa5b8207f9c06ac373c5b4c56ab15d335

1

Constr 0

0

Constr 0

0

Constr 0

0

#7d50efe5f9b19bb652e04dda13b2a08ca255a32c386d5b3405caa450

1

Constr 0

0

Constr 0

0

#0e58403a0698f63a2c90651fa5b8207f9c06ac373c5b4c56ab15d335

1

Constr 0

0

Constr 0

0

Constr 0

0

#7d50efe5f9b19bb652e04dda13b2a08ca255a32c386d5b3405caa450

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000