. . . "Any hours, including overtime and holiday hours, that these technicians claimed to work for the Department of Education were billed to and paid for by the Department of Education." . .