PART 842—FEDERAL EMPLOYEES RETIREMENT SYSTEM—BASIC ANNUITY