The abc conjecture of the derived logarithmic functions of the Euler’s function and its computer verification