Datum

843a46dce008ac…f7956cae5a

843a46dce008ace4034fc8acd0aa4937e9a024d99bc1081948ccf2f7956cae5a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1b87aa8d804e8688fec101d9d49d1c30080d445021a7d2cefe73280b

1

Constr 0

0

Constr 0

0

Constr 0

0

#4528aa0c8292d7e445946532c18951a48972c925f609183c489e8678

1

Constr 0

0

Constr 0

0

#1b87aa8d804e8688fec101d9d49d1c30080d445021a7d2cefe73280b

1

Constr 0

0

Constr 0

0

Constr 0

0

#4528aa0c8292d7e445946532c18951a48972c925f609183c489e8678

2

Constr 1 []

3

Constr 2

0

1

4

1965505

5

2000000