Datum

72a4e3f71b21f9…bd26755cf9

72a4e3f71b21f9a2be9d52a6f3a5c077e059b9111b597da54a329dbd26755cf9

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#cf357efa6f47a8cdc8e08458b975ed3496ff01e7b4b44e7b58be116a

1

Constr 0

0

Constr 0

0

Constr 0

0

#a7fe412723506c667e36eb3f3b6eb53a8e70388ee6e952fe39232180

1

Constr 0

0

Constr 0

0

#cf357efa6f47a8cdc8e08458b975ed3496ff01e7b4b44e7b58be116a

1

Constr 0

0

Constr 0

0

Constr 0

0

#a7fe412723506c667e36eb3f3b6eb53a8e70388ee6e952fe39232180

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

254755328

4

2000000

5

2000000