What fraction of the NASA workforce is civil servant 
as opposed to contractor and what are the rules on
reduction in work force for civil servants?

eg, if say the shuttle program is terminated, how
much is payroll reduced and how?