>>4838784 lb

A lot of these "government agencies" are really private corporations. The IRS comes to mind. I suspect the patent office is also a private corporation owned by SERCO.