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  5 5@+ 4L, ]%]Simple_Firewall:threads=8elapsed=15.962cpu=65.436gc=3.519factor=4.107zXZִF! 8~S]ŗXf1-/6vR[]~~;S0ɞt {N$z`9Gj3Qt1 hԥA/qz^nVd)۠=KI "%)w#V3s˦-#y.!yRhKFubE>1C~ E?Ч#B9 8v9*(v#]lr Ā7B?XO'L*G\!})pel?۞`)ky:LmvY-nW 2.X=`Zu׷|i0!BQ<_cY.rDs;>RB!<8 + Simple_Firewall  x /8 ˑ5j^*΅y-ȴEU'\ݕМ:$tl.,0!O &21|5)` wi@<{6eMȋ3`ex) I 9m h+0)"k`0@1|$:wŪE eJ&W< QT^w>xȞuRz6JD*+@WZOQoA4Jǻ&".f<^FkֲEƌfib+TX|n?AggV$;E u3`=FЖ/u §|HlK49ERh3E|vxсv^"D]X"y!Z:t`tjKOܼ;`>:#-$d"@3}Aitb韵,ŭU`euY>W2:ɗ-.m&9~\?62 ߰t6sZ iEn7ږ>[F1G;Zf"V ǃBoWopbfiHiRQ} #'gYZ7zXZִF! w O]ŗXi%EbQᒼGÚn<-?EB.e)8?=cey2!1[Mw&`{p,P`{۫P *rޯ+A'IprVr]`4}T<9^ԹkEOs?1a 9(n|*֙\iL>~n򉈠uFvUm[ 'x Vm`<QnO@^}=7о?#_u to@+EI'I1:S貎㐕uee`/[~w0,,I`{#89쇊< Ew| oEAXg_^ ũPy!rI}%".Pt(V?2َ6'd0zX̱eJ {RX"1YnUןG75BSOa6;'O${O1q}0;usGw$Ǖ?)dB+# D >΄_JqTe\# -ǻ7݌`ꆲ,TU@1qq^gr[Q^Z5` %-wו#tv nPԴd{yܚՄ 9sFDME#%Bv~^*=Wݯh:DN*j{}g16$\Sp΃ysh T% 7XO/QVН$@7 9ֹA 0;#eо$CFX;Qtʂ 1vNKxi6^GG,O5YBJ =>4!iҁ?~ǎM{ dc5ܖѐ)0}r@&ǶAPt53mFAQZ!ZZ/ B"!&\s&RX!+Ѫ^0\ [D:ʷF foұe)Bg=cI.ϡQ>>ofX LjueODA5I~_W=MP3}"ԟȹ-Y%%\եRrˡ2uĥSC(۔Y2LdٻZ0YY>6pmCb*|愨Va=hHA%X2$D_QQ#"7N;\M>`ROv2B4ْJt 5r_NTa:?̘nm8h刍X }yd^x'e忰WDo)hlΆ|4L]yUHkkz5x@/:FʟIN}>u/19KN :JpᗢQǣ=W\qYR;.1~=`e\#I*qݿ"0{Yw[MbV Q@07A3Kd+dk&Ӂ`-V\jiY7*vv,Rp(La8}I5a'Zl3цq{Lna[J/`ADz7וZ5N< -t]g郎ˆ$ #,@gJ3XMӜN*!jkOHCSO2z*߮wDIHsrx\S> _4#-McG^htUzt p- [QYH8xGzlwpIƢW8 p.\(F^E6.A&@߽NL $73X[\ ߵ'hvn~