Datum

bb541fcb363fe1…ef9c53f512

bb541fcb363fe1edc64d8dccea0dc74ae67dab2adf094f70c7cd3fef9c53f512

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#13be34f06db7175266ee18068816a6bc6647debf76c6edbebc0da7c4

1

Constr 0

0

Constr 0

0

Constr 0

0

#bc0d0273d8c53f4d5f803295cccfa13d058615eb7603f22cfb9cdc88

1

Constr 0

0

Constr 0

0

#13be34f06db7175266ee18068816a6bc6647debf76c6edbebc0da7c4

1

Constr 0

0

Constr 0

0

Constr 0

0

#bc0d0273d8c53f4d5f803295cccfa13d058615eb7603f22cfb9cdc88

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

7221359

4

2000000

5

2000000