the use of official time. (E) The total annual salary, job title, and amount of official time afforded to any employee. (F) A description of any room or space designated at the Department where official time activities will be conducted, including the square footage of any such room or space. (c) Official time defined In this section, the term official time means any period— (1) which may be granted to an employee under chapter 71 of title 5 (including a collective bargaining agreement entered into under such chapter) or chapter 74 of this title to perform representational or consultative functions