. . . "Such amount is to be determined in accordance with chapter 84 of such title 5, is to be paid at such time and in such manner as mutually agreed by the State and the Office of Personnel Management, and is in lieu of individual or agency contributions otherwise required." .