`0:{"digital_root(",x,")=",($+/.:')/x}'0:`