Datum

def5c41a3fa875…58b11f227a

def5c41a3fa8751f2cdffc8968be3d4d9a69df8baccfcfd8f8684258b11f227a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#97cb3295bbc41ac8b58c1a1bfed4ca54ec713f0430352f2933dc9bc1

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ae2f85b370a07372e4583f19c46c41e1eb3eb239388a9802616d03e

1

Constr 0

0

Constr 0

0

#97cb3295bbc41ac8b58c1a1bfed4ca54ec713f0430352f2933dc9bc1

1

Constr 0

0

Constr 0

0

Constr 0

0

#1ae2f85b370a07372e4583f19c46c41e1eb3eb239388a9802616d03e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

164867422

4

2000000

5

2000000