Datum

ced84fabf545ae…80d512175c

ced84fabf545aedeb46ac3c680a10f85ae5ff4163e5dafd29a21b080d512175c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f345ef8a03058d65c9e5f976341e69412829c42e452322faa7f5fcdc

1

Constr 0

0

Constr 0

0

Constr 0

0

#62f3b956ccde3d409a3af9365bedf12525ad6bcf0df2d3646663dace

1

Constr 0

0

Constr 0

0

#f345ef8a03058d65c9e5f976341e69412829c42e452322faa7f5fcdc

1

Constr 0

0

Constr 0

0

Constr 0

0

#62f3b956ccde3d409a3af9365bedf12525ad6bcf0df2d3646663dace

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

124773904

4

1999306

5

2000000