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 K l,4 ]/]HOLCF:threads=6elapsed=12.236cpu=38.736gc=2.136factor=3.177zXZִF! (]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVEOJ)`@r1xlCk{ 9虢SxʼnOH=c2yLN̛HC\~Ѽ7Bo0脙1$X҄/ABǰꚵ|P/=CωZ75oѴKQ ubCl Tb{ų \I jU'+YD…0z^uҁ)b"Q|ɉ { dL%"DzS4ivaI =cu}Q-T淿jxeUxNJS.0xzXËi{3< j8_T f?9Bz̻E˦; H\~VXJ1*x3Ԁq6jճ꯫0-,LBe'^b#_"iUD)rXוZaj(e)"Hp3i* ТR*;5j^$.ʤ[9F ڗڛpOqÎӣ{ΙR ׍N~(Km'MۚQ;.`#ŽL_^p *܍}ds0଴Ī egYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]c[e n d傺"^!;S,P#e{FOP'ѯh~\p%gKe2/KkH3<6$^ܜFu~uoaæ.Z4U 33+kdb 5TA 5jYER7WJ)hR%Ob^5YfI *|Y kD.?aYlGN);#?U#>h,}PEo8P5T!u1h'h;k64^v>( nK$"-t^:lKQFv)b'SDhv*Ŏ4D!06m@K⁇M)SfM^h~GK`Mw}Z|u8 91(MӛX.%"Qr,0:dcN1UJ9Wi''*Pb0q,%a' %)OzPӏ F[ɟALE݉_T/ʷ,f;ߋgfxoA%o~hr#gYZ7zXZִF! ۪# iCVEt",,qq]vm\Y;JYHM]ߕMNtC3ڠN%GerGH)/twJ+zA揍ވvp*@LZ/3Xƻq`tdeEH~J"#M tdx1Fzרy]ț8ϟGȄ~\LQjs$3 /iUZ)=bF7&5;1Sw}WؼZ1%6Ks 1Gh#ihM9b]ޖ~Ba<@#H,J歃)p nf3uU WxN(SV/B3(u|ˤ9bws Yt2o?_#m/":PwƗQ5,C(-CSe5/]_ $]GuLGMn'hhNE^(L?rH8BTΕ{ނuտPiL ҙ8w6'طwUh#ajG ;s߈v,rm}6•x ;X[.?\O:s{5Ozߜ!/~ jScح1ޕɎlHi.d7"Qrn|ƷW_CcF2r