[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2023-12-7-duke-names-manny-diaz-head-football-coach-undefined":4},null,"63702:\u002Fnews\u002F2023\u002F12\u002F7\u002Fduke-names-manny-diaz-head-football-coach"]