SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   e# \ < ]]HOL-Nominal:threads=6elapsed=6.038cpu=13.968gc=0.644factor=2.317zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯y43UvKf􌹮*zqƶ0ft؆\j2)1{9f!R!KSp--^Hm?fޠ;R.D oO樇L|W!>}f -II2bLp?Q9 ,b] 'V w<8CgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ Î+h>?yې*џ5  2_I }YZ7zXZִF! 0]ŗXi%> S~IlIc臬c5sTz9\ݨo4"F\wJRˍ`)gX# /%2{O mt:K kQ5I}jJiHE~Ũ&Je:' +˫mɷ{)M1_~ܚk >I+h=5'ĂYM.=bST L?2<Rqbꉆ.JG ޻>N&;&O=9J[.?T^,. -#mǼ{%LBEn7m?T 6}8ψV"pvq>yX}Q)}2R m~>m-V%@ n7I I6B= TW,qZSţ78M1,+"Y 0uC,qSV+4Nc iX%^_Eh(Mw4e,#FzH}ZZNiV=FA#}y>Q~(~8`F!T 6щ]Gvd,7r¹؆gs}'؞I{=YHe.~UgI6D\! DuF@B#ST[aBt&\%|%彤U)sE&bH!ɞ õG4DH>шgYZa2d40cb79da39740f68cd3792e03018310c8f94f9562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d f9787eef9dac6f88ba0216c94e4366b98c680972e9c447dc70bd8ba064a3f808e52967d2b1f6bdf3 # HOL-Nominal