Datum

e32cda545dba92…df6d5dacbb

e32cda545dba929589888fd92b1e33625d720a51178b8a1d592f7cdf6d5dacbb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#79a447f6c1e5cf838b612cd23d9875951a89baacc8c33e30ec984d0c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ba1cf910b312099ea9c41b2d4300f01cbdcd9fa4860ed7856df0702

1

Constr 0

0

Constr 0

0

#79a447f6c1e5cf838b612cd23d9875951a89baacc8c33e30ec984d0c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ba1cf910b312099ea9c41b2d4300f01cbdcd9fa4860ed7856df0702

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

841920402

4

2000000

5

2000000