../../Task/Blum-integer/J