Datum

74f7ad97bce10f…b92c871d8d

74f7ad97bce10f9ec24eae5dfd1d927cf82c042e75973a04fede97b92c871d8d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7375c353cad40f5c3e81321be2672c38ceb7cfe9e3d0d3d0cfb0a4ed

1

Constr 0

0

Constr 0

0

Constr 0

0

#5f3cd4ae3bb8fce69902acd18225ac411e701a584824d6fa7517ebd3

1

Constr 0

0

Constr 0

0

#7375c353cad40f5c3e81321be2672c38ceb7cfe9e3d0d3d0cfb0a4ed

1

Constr 0

0

Constr 0

0

Constr 0

0

#5f3cd4ae3bb8fce69902acd18225ac411e701a584824d6fa7517ebd3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

24945600

4

1998531

5

2000000