extra oil revenues in recent months, despite pumping fewer barrels, after their production cuts sent crude prices soaring