Datum

ec58dd05b03994…bfcb136cfd

ec58dd05b03994a7f67166842a75d2f05d0820565c8741531cdfd7bfcb136cfd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b47da35d885f9bb6b821951e4eda3da2aa31c24e06b0a1a7b489a2f8

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba7d786bc6054ad9648493ade937a7247b8cd267bf107dac48be5b08

1

Constr 0

0

Constr 0

0

#b47da35d885f9bb6b821951e4eda3da2aa31c24e06b0a1a7b489a2f8

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba7d786bc6054ad9648493ade937a7247b8cd267bf107dac48be5b08

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

58345504

4

2000000

5

2000000