awk '{print"digital_root("$1")="1+($1+8)%9}'