../../Task/Happy-numbers/XPL0