Datum

882d9944040b5f…e5efaf4b5e

882d9944040b5fc145c4c1e82956acc73b7529fc078b18e43b6bf4e5efaf4b5e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0a85481c16b1a51e49f4ef9f60a3680416babd8d42f69e34f8dd09fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#de5441ffb374d31c031dd6f6c044a78e737627742b621a155964097d

1

Constr 0

0

Constr 0

0

#0a85481c16b1a51e49f4ef9f60a3680416babd8d42f69e34f8dd09fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#de5441ffb374d31c031dd6f6c044a78e737627742b621a155964097d

2

Constr 1 []

3

Constr 3

0

1

1

1

4

2000000

5

2000000