[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2016-7-20-football-ramos-to-redshirt-2016-season-undefined":4},null,"31011:\u002Fnews\u002F2016\u002F7\u002F20\u002Ffootball-ramos-to-redshirt-2016-season"]