[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2022-10-22-jernstedt-varjasi-set-pool-records-undefined":4},null,"25990:\u002Fnews\u002F2022\u002F10\u002F22\u002Fjernstedt-varjasi-set-pool-records"]