File standardInput readLines map($,writeln("digital_root(",$,")=",1+($asNumber-1)%9))