The formal integrals of the regularized restricted planar problem of three bodies

The algorithm for constructing the first integrals of motion of the regularized restricted planar problem of three bodies is proposed. The integrals are constructed as the formal power series in one from variables. It is shown that coefficients of these series are trigonometric polynomials of the other variable. The proposed algorithm can be realized on a computer both analytically and numerically.