Datum

807de2c326a833…6ed7cac221

807de2c326a833dd8136c30fd680a5171fd31b088ccc15e511d8a46ed7cac221

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f642ca4788f6fc4da72ff926cf17114b00cf3cdffd7776533cbc76bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#41504d8d3879a5eca835edc46b5e9fad954575d7ea37fc52bcd55b3d

1

Constr 0

0

Constr 0

0

#f642ca4788f6fc4da72ff926cf17114b00cf3cdffd7776533cbc76bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#41504d8d3879a5eca835edc46b5e9fad954575d7ea37fc52bcd55b3d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

117282350

4

2000000

5

2000000