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 ]MDt| ] Password_Authentication_Protocol:threads=2elapsed=108.186cpu=157.712gc=4.812factor=1.467zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!d*cKToVɂO:TvbVp,J|׬Z pU\k/]+WXHퟂ:/BI-ĉ>$1Sz?ۂ^|jti%J+ ՊوQBu@Kc:JOL3/s;!C̖u:1+_s~TUOb_ݫfFsE3!h{f</_`f3klCE=1/3C}@:X5O>`9xYJBkLEVsk _+Eyӣm)}@ z,[f~lKoщ z2gQq5`XnZ:}tgYZ7zXZִF! r]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡ݔ/Uz&]IsQ2e%_ߌFGekgYZ7zXZִF! ]ŗXi%>gnb$xyJ{,DG Pd3EOc::FOb5{f0xA$1f_(hR؟כyI2,WBi9zLXHj2sLBDIbF՘w1r :VN- gb9=Xt.Zu#I_M/^;6( +|Ala* lP'X=7C\ S04qtM12=(-XTu=X%4[1j>RDJd Z.BIeN~T/y^'H3GZ7Ua]>Dڂ*B,n;sTI\սn]Vl?TS</̒ոؚTn"`Ӂ7^\a?MQx@˚ b_;bK}Eġ+=k ns8k=D^Kyl (i le5մnEKLu ,P>1D8[&fX]U m9FP#I_$_N$ʨ9!3d^1xTFݯj&³d :P&+/NETK\Q>qmkq^X!m (6eC;`kBcF1N-aJM: RC7|WJyA|I)_vY>$UČnws%rاxXPVO4aw0rK <ړ@` Am?OFo[5 C~>C>Yo& _kg[P8P5Gm ]6Ve7w58j:3MJlR@[Yْ䁒MMY,# ,pjQxP}|nw Vl`6n+i7{ pP F.Yol wD}S>RAg 89t HIȫ)P(@.µcP ,{* o >hOrF|LU_\]@ۍ,H9 tbA^Wj b< &QS9>˱gƴA+ʤFT }#/xUȍ9&3MT\Ixiߊl #M Password_Authentication_Protocol  xY`l>2Zo+"fL4E ~r ڭve.sͻFL d:MۧdH`wŴ`c0r:.NU$K'wf C'F䍪oq_jWk5-4gī.B|!jP ŌͅM_jAʉu5N3\ޔўA9_Qsd^Ւ`>V9D ª!h8?Rr SwM r)}qΈ!ԥ[}3YF!!2.^h+h79+DGz41?G#Ckmfd6ww [,pI ;C统ŬFF b[F1@52Y](fίQKoOD~E^qdRA ޷V*JJd c4 MhŸWu6$RI q<7WvNlsו<33L j?nu2ǿ `1[uQS$| >1ə)Yl,D6i z%^P5JhcЖh;{exj \q%nvż$?u}iǦ#H} PV-LTҗ.dkx?NOcYg ªHgzpJu35k2cΎz"wǒ7aZXqg5Qöo\cG\O z{]:.W=P{ `@ cA}di뺪[5w4ѭ)E"bGuuj5`G; fX|]PvjuörV`p{WϭQ~r=w(K; %} 6`BuV;%t"0cWH ~r.Q{j*BM5kM4WJAی,$%kFh&3e Gj&OO'$24B둇!$+<pnUeۊP2я6hmY~NCyggA;xb؏ժBuΡwo\2d`y٘s"qxXabJA~[$c8zLC^ҁ C*a'~&0,q 7i7/׀3:=x4'c۱MSHݶu{.ں ƃ"3 *iw,Ϝ՛ :8ngQy*|ixd퉼8dψBݐe}&j`ľiY "3!Z dvA7F* K7 ?VAW|ٛ)jd xǣM,Ⱥv*7Qkepw 7$k  GFc *Z+OC0DW-6`asbLЙ<`,Z0nw]ԅ+']c;K̬lG{32ֆDSc*`gr }aGHbe" )>o fph-U 8a|!+NCyβbVӣ/y;'e!=z{e}O7)MNH<{:C[5Gyqrzj{(/ߴD}82v!>{i;16p漞#ҏl? ׾C,3,#xaޯoJ"D5%c" RIbM.1vh 76L~L:#Qf%{ہZ%;x|>Qln֥fQ:,DD.~P=6`ln= &)2*M6\|JIwjA g)z&~h'3O7}G)REJ4&zqwVk,Dӥ{l K:)P\\|IR["" Z qyCsX meCM%W;t &\VݽQڜ QoW7LcOXChy\\?Sx)ybn4z+p˖0êӲ!DPV@4/Xno'IfveخNk>kῚ]MYEu%mʕ8E% _s~O!WM[u1mw?Rw(Lr>瞛OWF l?k;0: JoNݶpKp#?=Q8] m@G״ E[Yca=H"?$ni5Yr$Q; B/F7tf;zCTQr9od^P#Xi=X-Tm\8^4_ij #ZAS(mcZ҂՘>FeV1+wrOZ[Ot; e7ƌ,.7m mEftå4gQ2S~4uYg)??9"+OUƶϟ-gqD#h:i"t XZp-bդV t}%&]w'Nm h.6 #&hGi?az8xBz]9ֽEO<<J8yq?iE[_O7Z7 dHSޣ0~OGֶ/!5dRPDI4\/se;M$ dOQo'\+Nq _pąz/a/s^(J>+ŻXÚz5 a.3ѼaF8(Eyr3E@'r[·bgV)~+v>.&t.$ 8ҀT&H=w5vCiҞޥ Fre Ff. ܄Y1s ;~IQ7ܿtJAa4ٳ(hIPOi#DܛD2 蒀qk7e ev[6R Z]vr$Ͽu8t-bTtm!=5 qTUS=P4%Ыق=5~?0dECP.O<~'o „:z8T/-^:n@xfӤQtI +S?\[=ꐸ:ޟ')D:cv@BqRep ag gH}be8 aȀ|anHR¸7);巩9P /ZdB,[)&ef{+aRXBB7_"&3ϽFIKiK_EG%߉,} s3YZo2H;AH]H{m EDh?/1u0GO ǿE1pRGYb*Ř @yϹ~ F &:+()-nO^K~8/:8~sox|", A1ܐ ZYr)KnkzaJH(`@mB0+# G#& cȅ2e2Z1!2A)d󄎱gYZa09cfa000328a7cf411debb3878ba60d50631a660779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73