SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   ] \| ]/]HOL-Word:threads=6elapsed=9.286cpu=42.512gc=1.448factor=4.587zXZִF! 6]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ӊОo=x5O.7>E0Le@YːT\z`k Q-pӦZP>7! Kw+Ոg ޮgYZ7zXZִF! ,]ŗXi%6Ʊx8ةr^dc-[>$h~{d,hkޅ464ګ7 Ta +ۀ짾&ݎ["PՓ$].+Dx55]- mPΤ^^ 2tx`Uoպ-rJiFfnYڈ޶[:ؽn1bzrx\|@ ұTc9M&4~_.6a/ym`RJS]$m"BS!}jQ ݗ=jtqN ɇmԘ]Xe|'`t"&5&F|a63j$\!xÔў9U7|N1%|qD W6Pvܒ\|,b޿ 6sٰiڷL+mΣw:7T*X6%*l['U{`q`RvE Eoz]&>%?pL5D͂]W/|uLb}\hS.ByY0{O*a!yz$(1b`mw?*æZ&g!vGmB nε;'ɤozx<%?0MX%žAiE=IGK4P72}YL\gYZ116ae261dc959859332c01182bcc48f2a0c2905748f87baeea618bf8b318f4114ee7c34a4c78daa4 981191c027fddebcb6f024ef53e3329b8a2eeb450d5740e6c045807e81a81ce805597e5d5950890e   HOL-Word