-- we can read Lua syntax here!
return {
    ["bbox"] = {},
    ["bookmarks"] = {},
    ["bookmarks_sorted"] = true,
    ["bookmarks_sorted_20220106"] = true,
    ["bookmarks_version"] = 20200615,
    ["config_panel_index"] = 5,
    ["disable_fuzzy_search"] = false,
    ["doc_pages"] = 39,
    ["doc_path"] = "/mnt/onboard/Czajka, Lukasz/Shallow Embedding of Pure Type Systems into First-Order Logic, A - Lukasz Czajka.pdf",
    ["doc_props"] = {
        ["author"] = "Łukasz Czajka",
        ["authors"] = "Łukasz Czajka",
        ["creationDate"] = "D:20181023135442+02'00'",
        ["creator"] = "LaTeX with hyperref",
        ["description"] = "",
        ["keywords"] = "nonfiction, thesis",
        ["language"] = "",
        ["modDate"] = "D:20230407234318+02'00'",
        ["producer"] = "pdfTeX-1.40.19",
        ["series"] = "",
        ["subject"] = "",
        ["title"] = "A Shallow Embedding of Pure Type Systems into First-Order Logic",
    },
    ["flipping_scroll_mode"] = true,
    ["flipping_zoom_mode"] = "page",
    ["gamma"] = 1,
    ["highlight"] = {},
    ["highlight_drawer"] = "lighten",
    ["highlights_imported"] = true,
    ["inverse_reading_order"] = false,
    ["kopt_auto_straighten"] = 0,
    ["kopt_contrast"] = 1,
    ["kopt_defect_size"] = 1,
    ["kopt_detect_indent"] = 1,
    ["kopt_doc_language"] = "eng",
    ["kopt_font_fine_tune"] = 0.05,
    ["kopt_font_size"] = 1,
    ["kopt_forced_ocr"] = 0,
    ["kopt_full_screen"] = 1,
    ["kopt_hw_dithering"] = 0,
    ["kopt_justification"] = 3,
    ["kopt_line_spacing"] = 1.2,
    ["kopt_max_columns"] = 2,
    ["kopt_page_gap_height"] = 8,
    ["kopt_page_margin"] = 0.1,
    ["kopt_page_opt"] = 0,
    ["kopt_page_scroll"] = 1,
    ["kopt_quality"] = 1,
    ["kopt_rotation_mode"] = 0,
    ["kopt_sw_dithering"] = 0,
    ["kopt_text_wrap"] = 1,
    ["kopt_trim_page"] = 1,
    ["kopt_word_spacing"] = -0.2,
    ["kopt_writing_direction"] = 0,
    ["kopt_zoom_direction"] = 7,
    ["kopt_zoom_factor"] = 1.5,
    ["kopt_zoom_mode_genus"] = 4,
    ["kopt_zoom_mode_type"] = 2,
    ["kopt_zoom_overlap_h"] = 36,
    ["kopt_zoom_overlap_v"] = 36,
    ["kopt_zoom_range_number"] = 2,
    ["last_page"] = 2,
    ["normal_zoom_mode"] = "pagewidth",
    ["page_overlap_style"] = "dim",
    ["page_positions"] = {
        [1] = 0.9840583626047,
        [2] = 0.48158328752062,
    },
    ["panel_zoom_enabled"] = false,
    ["partial_md5_checksum"] = "dbbffc9f74eefe6cf740b0ae2c20d74e",
    ["percent_finished"] = 0.051282051282051,
    ["preferred_dictionaries"] = {},
    ["readermenu_tab_index"] = 1,
    ["render_mode"] = 0,
    ["rotation_mode"] = 0,
    ["show_overlap_enable"] = false,
    ["stats"] = {
        ["authors"] = "Łukasz Czajka",
        ["highlights"] = 0,
        ["language"] = "N/A",
        ["md5"] = "dbbffc9f74eefe6cf740b0ae2c20d74e",
        ["notes"] = 0,
        ["pages"] = 39,
        ["series"] = "N/A",
        ["title"] = "A Shallow Embedding of Pure Type Systems into First-Order Logic",
    },
    ["summary"] = {
        ["modified"] = "2023-04-14",
        ["status"] = "reading",
    },
    ["toc_ticks_ignored_levels"] = {},
    ["zoom_mode"] = "page",
    ["zoom_overlap_h"] = 40,
    ["zoom_overlap_v"] = 40,
}
