[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2019-6-10-general-gators-finalize-new-budget-undefined":4},null,"53750:\u002Fnews\u002F2019\u002F6\u002F10\u002Fgeneral-gators-finalize-new-budget"]