../../Task/Blum-integer/XPL0