Government revenue grows 11.3% through the end of may and exceeds us$4,290 million