Also, I would expect the government can crack passwords more cheaply than hiring normal commercial cloud compute.

Everything from negotiating good prices, to having their own or reserved cloud so the cost is having the ability to do it more than actually doing each crack, to asking an ally for help.

Would be kinda shocking if they pay the sticker price for this stuff.