SQLite format 3@ .;  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  ~+ $\ ] LightweightJava:threads=4elapsed=48.482cpu=97.532gc=3.048factor=2.017zXZִF! OzE]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы7nţ|qLAO E=WV;u'e'QP}Q?L{f1":miu9m6W}kbpx8^SMJDr{娫2|n$GBy\jFz^.v\ R!#An)"Y o~V4y FA)wVc~ob"v!#[DAOD&p[Kjn^uۆ.#ٗyJ8׷|(0l!]GYDW]H@g~#0BD r h߷: ñޤjPЃKF8OyPizVIe,٨z}?>B;2qi!9'jgla@x(tHt0*1R',wEEyh䌨9!zTcx{mXGՍes]}},}zS!k5^$It*ZLPY>Ҋ7J'>vynnV-Kt1AF+S(y1 ՜XӚƻi2|m 2,olhF<K;fkh^:OmjW`.L^ mbr8]"Z{%=3(=L@⮡f; on¼ (H.ut|s"/hM/L^ 4~ *ʰ`}3ʉ[)BVʁG).\^C i!+1{ )2("';7PAYOp/?)4…L3=UEz(}F-g,u"qjcr$T/-K%k:!eEFgKSLNxD̄":^0Rv,͑`#]u9}i3\+RZa?(r%_O7ڬ7~e9N]vSq[UNmIPRT]w.1 }xбr<\?mrn蔜5@H$}v- =E<-*ױgYZ7zXZִF! g]ŗXi%Iy'\~%"]D9%yO?:ka '̩g0@%l?Tt_ [+0 UUeAR<̈́V "B*([Fqb6(\7E:2R Z~oYpS%MK߹a*M7a^F1f\.B8J6$tWm8Dx B,y^X hEqxKXᆙN3h>̵0nKFڨFv,RܶRpKd(Af*GDqώp2ڗv!l'ՍG*lrB{,`^8A+gֿ7L28|>U8V5xMࡋvXLKtI(1Z!y6\&9'Vg0Uf-UĘ9sM36O@]x:S"T". K  čcH[aJla֞Og .hESW^K6I=E8BNv;AiIm8tpI'5#4}}9WY֣l<@+ǀQM8 yqodiߖ^E.1Kk 4p+DYU8ӷP3 >J݃&.8r-ĬVtn-r("塖TŴ|tA{%j0ye &jN [/I4׫Bt&vSFhA)J'u?dkS{oy'6a{W&gmT]@I Q}Dtp>JP\ }Z<sCtC_klȁ:TWnUi*)^04EW,"?g5uBՄZmO02Ľ>gqK{E5&#lᷳ7ua!6X əiկtm6|mD4]p+R5`WMq!5Y >XدxkPcNDϕ84 Bc&0M$%R/qӽK,fךǓTbǺqhTH7 B:'o$I{=Fj.ܿQfXd|\u{:- جMQjt.7 Xm{eVeDpgx.@|%\чWB%37͹RݣOVՆ_Ef"ЭӦ˱ ɪ 2.${}ҒH4C?cN&Bĸ`cQ-h#d&#)J[ufyٗt]\ZQWy9翁+L(&0BghQ!4:0. ZwRFXZdg)Y T8L"\gqpqi*5iCá"$4[Zn\ ΢'9imXM;6"~|Fek.%T(ocp+N'1@fBe2Dح^=_wb.hjVs#{%\HகG0Hg}o[5!z^]_M~^^:'\)@`9OTweȓeqYKUY%*6FZ8iՃ#,o2,rL{,J Ǝ[ĵnyM4͇ݳ:c#bvdhr2R7(ݹj!&鿂%ďoZv"lU7ӭG>BZHe\mX:12^|#q*$jtˍ#|Ғ%*M_lq,g̟mbmpLxzCc;mg',4U}$l:+5rF`46;4\$l~z܁$Eߧ=w@OKk- +Ḩ0-OeJ _ /0#=M>~F&$T0;P(F_ AXl~b>'KZPe~F <ɐ} /j_ ~.҈}%_%Xqz#Ov /n1>qYe }>Y"'( x> LE;iEO·q7@7Q¯sPACflM_ ;ۣ"~TSQ'Sn,yᡷ5˳6|1+D'^h08+FVz X9;+Swnw/E;)prPq+ k)ꨡ-G rAn.4Y(lCvWΡ_\l2!D4,LҕYҍLIA3`\-bpoUa44 /{7 i" ) LWƅkskqa pn9";]1 3F!Hj?KQF- A@Sw?GзC>ll2gL$"Vv|NG@}hwz³6 X7GUn ~_E?oI%z%4*(ARƺ@H,ʋJi\2=NJ@V7kU4b1z.9iNi蠎$%l:[]",L^czBjv2<&P