[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2023-8-2-devin-gilbert-named-director-of-operations-for-swimming-diving-undefined":4},null,"72950:\u002Fnews\u002F2023\u002F8\u002F2\u002Fdevin-gilbert-named-director-of-operations-for-swimming-diving"]