Datum

79720915e2d3e7…879b28ed9f

79720915e2d3e7220163f2a20e9286be888c7cb3d21bdb7db17ef4879b28ed9f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0d4be0ad7df529963b184fdf0a4ebf4bf745aaa55d35e66775b24c34

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca4976aab829c71851bb63487e5bbd3e92365c28a7741caa98554bea

1

Constr 0

0

Constr 0

0

#0d4be0ad7df529963b184fdf0a4ebf4bf745aaa55d35e66775b24c34

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca4976aab829c71851bb63487e5bbd3e92365c28a7741caa98554bea

2

Constr 1 []

3

Constr 3

0

560660230

1

31925

4

2000000

5

2000000