chep_crt service2 symb num  .. getmem  polynom       
 
