Годовой бюджет не равно стоимость.
Стоимость - если сравнивать с компанией, это какой то коэффициент к обороту, или в случае страны - к ВВП.
Майкрософт посчитала нераспроданные мощности Азура и назвала эти остатки «одним из пяти самых мощных суперкомпьютеров в мире»?
Они сами дают в иске дату - октябрь 2004.
Я сомневаюсь что тут правильно учтена стоимость всех природных ресурсов.
Я про это говорил https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(nominal)