Datum

e8b2b5db96328d…8fd5e3ee35

e8b2b5db96328dc23cb0461bcc2e76dfef5e9a9e457d4fc881ecbb8fd5e3ee35

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#01e92d2d5e6c0c4212b4ef711c343f9c345f93810420830b5f8b9b61

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd391f14c74918227087ffe09880b84591f789647296446bffd12d37

1

Constr 0

0

Constr 0

0

#01e92d2d5e6c0c4212b4ef711c343f9c345f93810420830b5f8b9b61

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd391f14c74918227087ffe09880b84591f789647296446bffd12d37

2

Constr 1 []

3

Constr 2

0

535823897

4

2000000

5

2000000