Datum

c8e1c8b5d268c2…bc40e9720d

c8e1c8b5d268c2d12e572746558f1d3a6a78dc191af9ed1817d54cbc40e9720d

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

640708214

4

2000000

5

2000000