more work on cryarithmetic problem and downloaded necessary piVC files