General government revenue ($b)