Datum

5207e3a9f3d84d…fa06e3be41

5207e3a9f3d84d4183edf2cd31e811d2907fe67f6fc7511a3df06efa06e3be41

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fc33ffaa752407fd389db486b38b281ea75a1b546ea57ff2113b3b28

1

Constr 0

0

Constr 0

0

Constr 0

0

#f416bcca82be5f37316228e9eb0fb9c2667b739a2b8538a6b75ffd46

1

Constr 0

0

Constr 0

0

#fc33ffaa752407fd389db486b38b281ea75a1b546ea57ff2113b3b28

1

Constr 0

0

Constr 0

0

Constr 0

0

#f416bcca82be5f37316228e9eb0fb9c2667b739a2b8538a6b75ffd46

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

205442033

4

2000000

5

2000000