Datum

063f6f57df2c0c…b64c8802db

063f6f57df2c0cf2e9db0ffcc1ed176a29dea2bd437dcea98d26e8b64c8802db

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0fa95a3ac2db1b7d59964913fbfd5a83e9a80f69ae584176fd7c6800

1

Constr 0

0

Constr 0

0

Constr 0

0

#393fbd3b7a905738d286fec17349dab32f95336163ab08364be39250

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

283517932

2

Constr 0

0

76975903