Datum

86f2b68629b2cb…85edac0bbe

86f2b68629b2cb59fcbea0688da828bdfab2d05707bcd64c78be8485edac0bbe

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4a3996d6fa60862e844566644c9a30fd829f9b5b0cfff96037ae1357

1

Constr 0

0

Constr 0

0

Constr 0

0

#e0a92c8720e3a35ed960005d9264d61cc59f5d3a9a1c9b9c05cc4102

1

Constr 0

0

Constr 0

0

#4a3996d6fa60862e844566644c9a30fd829f9b5b0cfff96037ae1357

1

Constr 0

0

Constr 0

0

Constr 0

0

#e0a92c8720e3a35ed960005d9264d61cc59f5d3a9a1c9b9c05cc4102

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

64445827

4

2000000

5

2000000