Long term numerical integrations and synthetic theories for the motion of the outer planets,