Datum

ebf3f591ca1353…4e4d851842

ebf3f591ca135347eb07435aa78c110f9cfb11fa0333bccf28fc574e4d851842

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4f5b47aba6c381ef1c2a81e19a983bb875c3dd7ccda814a76a5802d8

1

Constr 0

0

Constr 0

0

Constr 0

0

#5cc05c1f42638a2ee9380df3a728696e9dd56c7e7cc8a72767ea3341

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

3000000000

2

Constr 0

0

15373420