../../Task/Smith-numbers/XPL0