Datum

2dce445986b4f6…92e6e545f2

2dce445986b4f63fbdb7df56dbb9db681a32ecfdd81a5f670f4b3f92e6e545f2

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3e8606a7b8396cfedebafea3cd01d481f9ca6e00ebe9e2fb0f2fffc2

1

Constr 0

0

Constr 0

0

Constr 0

0

#730bd0c57d052e7f720ed9c621c5dbade9f075a145ca3ed1bc3b0a17

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

6000000000

2

Constr 0

0

19861503