Datum

90932b3812869b…f86ae4e7bd

90932b3812869bf98264b587eb97a8d97484eba4526b784f41279bf86ae4e7bd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c6f07e9005089673bc69c05ac26f7a2c83c76a1fb7bf05d207546c66

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf474c6c3e5a791f28b1ee3d0f585ce53546919a514c4084ee6365f1

1

Constr 0

0

Constr 0

0

#c6f07e9005089673bc69c05ac26f7a2c83c76a1fb7bf05d207546c66

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf474c6c3e5a791f28b1ee3d0f585ce53546919a514c4084ee6365f1

2

Constr 1 []

3

Constr 3

0

396984243

1

38275

4

1570199

5

2000000