(if p(v961) then if p(v961^z) then v961^a,| |v961^d,|, |v961^g,if a(v961^g)then| |d961^b,if v961^b:' 'then v961^b else if v961^b:'.'then &unifor('G0.'v961^b),if &unifor('G2.'v961^b)<>''then'. '&unifor('G2.'v961^b)else'.'fi fi fi fi,if s(v961^1,v961^c,v961^f)<>''then' (',v961^1,if s(v961^1)<>''then| ; |d961^c fi,v961^c,if s(v961^1,v961^c)<>''then| ; |d961^f fi,v961^f,')' fi,|, |v961^7,|^9|v961^9,|^L|v961^L fi fi)