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 5MҞQ]2Zl{$¦[Ÿa09 4\,\˨y?|b+ok P{m #qWtxa * AdZKο^X?dIO"!X{#Sv-LBӍER%6 6}t2+s2c} F^5觘90$_'Y^SB"&mXF J"ثizWrQԮC0ZɿpmLë)6J ^>nh(传Ի&e]`,@\LD\>l ԧVcPJb3VQpp!ue nIN(zg㙮/eop/Y۫6n]憖@=: @>gzy:[pcmp ^e_relޘ8?%׹*?-p#HMwT \h#/[Q(fy7 6CeJj@B U6N|q٪?BK"WSpޡ_H~"3WTb AIKhÆ2Rnɹ]8νUcliƬμZ z${ƈ ;D+~u>5_cQJJl\Ԗhw$xʈÝBv.gYZ7zXZִF! r]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡SkomiToRmcխ9ItYMI`Ui9CkgYZ7zXZִF! 7F]ŗXi%>g:zYh/;*V]iය_j`J=ầ^hl(Z 8\rbPL"]ka!x|mH2bS1Xl{Fw'\G݂?ÑA n?78Բ'E>{7 @שPWG:8xdOhs⾝fM c_>(vsH6Ԣi@ʆY(u;c#ǧ"{⡛cyg/Ax7*P-W x:Jiuq.QHqӏ.Z؂m} Nj._6f~%0hG>MrT$];?_]1wA#Z!\Zxr4!ՐklRm6Q/,ʸ@wt5(1`2hjO@Jk>^oO1ݰʷ+7k2YS^"ɹc~yZ;_?NW `8#ZI}#*~5N'j7cl 0w)"t$@-hvM}sW>hxbpko$\#x'y-/ +ܗ- HxPgjwqB@_?:yjs,UtyXF&oJ2maZa'Z4v E\qN:qqa6k'm?~| {b/.iZ ::cҔٻ>BVhvw R Rw5N̨FCT|T|Kfԍ~iqz Y{E1 ZLhiRۘ[Vdy֛4[4H=5D0>E<1vK~ 3zM7}__B7=ﳡ„{0 Tp=nbl/XtXG"M\n٨Ĉ#ue↍ގ眠92voKV-P}B d}o*7:BLjg馬DŽ LcGX8 -|P1&% lfKUaK(⛯K#Do2~i 2Q gO Z<=kpEsRæ+I§ҡrfAK">E!vp^—;%V]+ m ]xl*4iQ Msc h,RO:kN#"YhM #M Password_Authentication_Protocol  Jsl!gfZr؆K8sPAD  t ()WcVV̎:O`{\81xfçX*-3#\T$d!2W t=k{󄶗 =3zx2'9#v=cBvaiur|eKDj>=#< X5)ߏEΟiƦ.%@pM}KL nѿ}Wՙ`yۭ e:%K|`tMri=X2 uPAþ4zb& xNZE_,>?dVJ؁)e /k͜,clo(>9rųXzZK1mԖ;%hܧ: Xfb51W/]QlT Ͼ4Ӿ^gE&XP+q3M ūK@6[(Ax1}Q@-B>"6TC8cYÓ DS $+ضkMr#r\ m9qT4ʣ3L/mijs\/G9`L_ n6cBNrny~HnuWb滑dA5F*/vrgQ#,mWֻUXg>KśI$D ړ&5ϝiX喞Fr݌Bn' h0XX@'ᘞs&"~""f: qwzNFw["@cbG~x p yk[j:o?P ߁Eq,N5Q)GQ@0ZfpQ ;^[6r쬜fzf4s٪3L*ځN`2 z)7FX@`idzr'܋Γ5>eĆW=z(O^V3Q(wN#v;,Psyh.06lRs^8LeOt1_kЇW ocO'@  7݆0b݈7٘_r=eW)a!"IcRo}"W7er·H;vs:MҜ9텝TO6pLBMh)(BhxTHm G^B0Hu{ 6&G^rrܲjh2y_<:I8r~ 86 ĠFlO}q7ܜA =T=!Z#qCFʸoc ߲jftVUY_?5z:Oդ@=]a$VNhDrpk&c]2^WS5jXs2ՐOɊ$$)Zԩ Iͦ?kYz U#Q0F8B G]{M+xQI@y6 VՓ_%:$HdpW666̊~3 <VJ5-L_yIyiI駸A2a)K nS~WB HFz6n[{_ Ǣ*2K '$ 2Zm6_Ձ#Ej^<kd][[hkX1qCa.yzjcj ՂNz*dT>h07ʄu:63#llCNwovNHeF|ĆOAc?A ]g۰~^4^hM?&i-?zt/&>dxQK'lL)Q` a/3;I6!PofAcbmenOFTڇ"`cJ.&`OTսEN]Oo F1RxUƚ.V@W$gj`꠾1r1BA ^Ԧ$D[VͯPPˎἙ2yæ !x79b DN!LȷgW zHX"]W<|sґv4we5_hTˡg5)mp3G%HP"=\$ / ^IR%{$ݎTv00p0^^ %8aA8)X.YqJ_(ͯ3zp2}b͔$ԥ1x=Po-W$`XM<>>z 3%;/Ю [eT1'&L9PO .P'+c_gYZ84911ef541912b32d71959dcc9f2acbf5b7c2ef9767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0