../../Task/Hamming-numbers/XPL0