Datum

d3609fc22ffd83…56e6b71ec3

d3609fc22ffd8345200e9190dc3e1190db410b2b3ffa4a0794619d56e6b71ec3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f13b5b7f9ad1cf9a8fd490aaa81d669b2e2d69704058875bcc282daa

1

Constr 0

0

Constr 0

0

Constr 0

0

#8b578e9b8465147b68254080d8c31cde57fe5fbef78130729b779d6a

1

Constr 0

0

Constr 0

0

#f13b5b7f9ad1cf9a8fd490aaa81d669b2e2d69704058875bcc282daa

1

Constr 0

0

Constr 0

0

Constr 0

0

#8b578e9b8465147b68254080d8c31cde57fe5fbef78130729b779d6a

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000