Datum

255b922da0c185…5114d60c42

255b922da0c1859e6c0ba8b922db9ad5dcdca4eafc22acebc68ebb5114d60c42

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#37f5b6a01d3e5eee19e8d848dbd6f7f4969cee9768099a4c4669e69a

1

Constr 0

0

Constr 0

0

Constr 0

0

#a08da520e87b022ea6db5974e41a8f76f4b7d0a31a38d93daf9b4adf

1

Constr 0

0

Constr 0

0

#37f5b6a01d3e5eee19e8d848dbd6f7f4969cee9768099a4c4669e69a

1

Constr 0

0

Constr 0

0

Constr 0

0

#a08da520e87b022ea6db5974e41a8f76f4b7d0a31a38d93daf9b4adf

2

Constr 1 []

3

Constr 3

0

243017009

1

648280401

4

1999221

5

2000000