for which they were granted official time. (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) For purposes of this section, the term official time means any period of time— (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