Datum

a7b978a0f7e2cd…e3d105cc61

a7b978a0f7e2cd34ecd4fb47a21dd53814e24f30ae9e4f59f179ece3d105cc61

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0f1d8826255e871c201c91d40d9ea420369ff61b0475005cc2ad8a0f

1

Constr 0

0

Constr 0

0

Constr 0

0

#cc5ab7ae67570392761bc35c25ba6486b188fd2aa997ca0fb3b617aa

1

Constr 0

0

Constr 0

0

#0f1d8826255e871c201c91d40d9ea420369ff61b0475005cc2ad8a0f

1

Constr 0

0

Constr 0

0

Constr 0

0

#cc5ab7ae67570392761bc35c25ba6486b188fd2aa997ca0fb3b617aa

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000