Existence proof of librational invariant tori in an averaged model of HD60532 planetary system Preprint in arXiv (March 2023)