"carm exp 3 ({005175.}polycarmen)" . "carm exp 3 ({005175...." . .