Datum

512b5ebe776900…7c04b1db57

512b5ebe776900a6b576aa9345ad01ee9c8f88ad1169d26e9bb4a97c04b1db57

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4edf4cfcb803018d25219dc20bec59d309a363ba0e5b692d92d4ccbd

1

Constr 0

0

Constr 0

0

Constr 0

0

#f676641aafd998579ef2bc8456139376364329c236892b690be12847

1

Constr 0

0

Constr 0

0

#4edf4cfcb803018d25219dc20bec59d309a363ba0e5b692d92d4ccbd

1

Constr 0

0

Constr 0

0

Constr 0

0

#f676641aafd998579ef2bc8456139376364329c236892b690be12847

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

78584512

4

2000000

5

2000000