Datum

f2bbd56dd1d02c…16002971ec

f2bbd56dd1d02cf66d5de4d015acfb490938400d834ae43a64158d16002971ec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a8c1686a9c2c6898f87608a0a687bbbbae3c2c0f9772c578eb79d983

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d31f1de59e1c8129fc8f7943fecf9abd9a6e8c7f1afea7031a75cd4

1

Constr 0

0

Constr 0

0

#a8c1686a9c2c6898f87608a0a687bbbbae3c2c0f9772c578eb79d983

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d31f1de59e1c8129fc8f7943fecf9abd9a6e8c7f1afea7031a75cd4

2

Constr 1 []

3

Constr 2

0

1

4

1999991

5

2000000