SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 {1 t<4 ]/ Concurrent_Ref_Alg:threads=4elapsed=5.630cpu=17.144gc=0.364factor=3.057zXZִF! r]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtCPD%[,b 6 =\ ,}{:. ^ ʔѡ-p+&5ыU:b@ qQ=HI`ưI찉{(IV^ҢG, (6=)hjNihjc*)hD[(R?L0gŖ4}t\}"0G^2`);ay:.@1&YR\18sWxII ~رǙdJMIټhjޕ6׊•gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu.KXx>O)‰8V4~ìi]ZCZ 8Z>}zeԅ#58;=[|'lkj(x3b(b*"x%Ӌ^n0ҍ| N9Jn>ѽ|[\K mњMy, J"@$"fUPoүl澎׺Q>i^m}p;OoAkX igYZ7zXZִF! 4Q]ŗXi%ES3Ҽw}`񩋠Yvހ|#@^lZMSVv˿i&jpuo"D#6.U 1LhIB<:6&ɦ* `v@bsT@ \VPd\m3~!_c(VR7~s21(l:HrɄ @VW6!{`=;Pچj$xpƈ~Y`=@m˟K𐸩jitMVwWB"1fOy,`7'v{H\ؿI}jcod܇WHB%t" In1>r+,Bd _:Y6*W?0-WiO!TLz] w]1S?yWׯFXuD-nzԅUwZ*m%iۥ$ Wl` H>f8+Ү{)wXΠZv%ہ@fVHA0skn{|,x "sͣ sK+'k{t Cr}+xdR梗[p9jŞue@KgA'RGJёoMUzP )-Ddbvsw@