I'm surprised that running payroll and pensions for the whole country would take more than one roomful of computing power but what do I know