Datum

b811dd7501eead…3dadeaf8fb

b811dd7501eead41a5e96e59965bf11fb27decaf08af231920cceb3dadeaf8fb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dd5eaac0aeea4f7cf143b67e4f704f9d3c6965deafc8a9cc181b411d

1

Constr 0

0

Constr 0

0

Constr 0

0

#c0e0d1133f9f641361cb3ba8dd486bca0af628d0b99bdfc66c992e2d

1

Constr 0

0

Constr 0

0

#dd5eaac0aeea4f7cf143b67e4f704f9d3c6965deafc8a9cc181b411d

1

Constr 0

0

Constr 0

0

Constr 0

0

#c0e0d1133f9f641361cb3ba8dd486bca0af628d0b99bdfc66c992e2d

2

Constr 1 []

3

Constr 3

0

494

1

784908557

4

2000000

5

2000000