Datum

5bf48cc41be229…a10ef979bd

5bf48cc41be2297acd9fa42b0898b031b2f2a88d93a494fab24059a10ef979bd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a1c593f1d2e1f889ea6d520d472d1ea7a68f66213769d03baf750185

1

Constr 0

0

Constr 0

0

Constr 0

0

#8c7b38266f7eeab982ccebfae6568adc58f03c0ffdda5e78a5fc72b0

1

Constr 0

0

Constr 0

0

#a1c593f1d2e1f889ea6d520d472d1ea7a68f66213769d03baf750185

1

Constr 0

0

Constr 0

0

Constr 0

0

#8c7b38266f7eeab982ccebfae6568adc58f03c0ffdda5e78a5fc72b0

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000