export function load_attentions() {
  window.saved_attentions = JSON.parse(
    localStorage['saved_attentions'] || '[]',
  );
}

export function save_attentions() {
  localStorage['saved_attentions'] = JSON.stringify(window.saved_attentions);
}