Datum

ced80f2bc9b9a4…05cb1ce7db

ced80f2bc9b9a4e5ebdf354db0a17af1de21f1ea993e5e556bf0b305cb1ce7db

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d5113d9fda58f5ae5e6c70f99a3bca807ccac296d7cc95500b68fa7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#e8176ec63c839f650dbbbb47d6e608d753939180f2bc4ad0948be18c

1

Constr 0

0

Constr 0

0

#d5113d9fda58f5ae5e6c70f99a3bca807ccac296d7cc95500b68fa7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#e8176ec63c839f650dbbbb47d6e608d753939180f2bc4ad0948be18c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

229808424

4

1999997

5

2000000