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 6 D4 ]]]ZF:threads=2elapsed=27.921cpu=45.144gc=2.912factor=1.627zXZִF! .;]ŗXf1-) enȈA XR„į=+cG&0k Q⏞)3D61 "vD_&_fCjJ љ-p"&@ޭ|'8u,gm ++t`Sz2T 5ԫZehߥ~nRgZWAr+ocfZ/20 ^L" `|.";9fHqW=gYZ7zXZִF! ]ŗXiɟ 1FE`ui+9X#RAfGw:fEg :E<AiEN _h1P,B442U} J*663ua~7I`f+;چ 5͵` Ybx(ymCςH 6f//*9I+tFe$T𤛕 -iBΫRW9XW̘Y.W]pE_YS< ׳:Ҍ:Z#շa-o`q-y7J9:G;O3 ;C u ܮu4VwB1!ȹ+3xNe,ȃ؇@^N_KL,B<-\xK$R`gt/AS uG,ed)rjQ H:9%L*ƅqț"_ !TJ63آkdO47r/|%vd<{nL#ƒ9|$9R,=DgYZ7zXZִF! ಶS]ŗXi%;H@E GݿP^^p %;SZW`?7@4E/dCLGJ'~=En}f&;cA1:t1d*hX{~rEy]Lp##bven~ M 3B([G3-&cmL=ͻ:{ !5z/b\ juԦsP]h M}ʙ OVWvXcߞ p@6ς`8z,z$B:t+wy Ƈ lߺ(OKUpP$*˳Vݫ ;5\]e}Es{Wz{`48ݨVk f Yg%rDcPZf#r>Wٚ񡪀5 QqF:sRxMvImd%[O9M,ᬷwPe? #bծ tSF i2ƖN=a$D`>U uyyz:9e G6j;‘+o"tqO|aksSYaM`OI*)W"շ%I]?ChQB @=mfSyPY+BkEU40Ȼx6W(zi`].@@I0kHkV (XP>؛n{ ' h2R ϥPA/DRQu =:#--'K/@n/,Az g懾RA/{IZf<=JEϨsyE%Gύͫb<ȟT|wH^%7`!d6&}E]K;2hMmKҷy&5(U{-Ҳ(GwF%jA87Q 0IuizʓѸI\_W¡: 5xƩ2  bWssrUmMj܈:ա&om K,~lAMD:\h7 ]Lv h:3L`/p(˞._ f#=8S][Dщ~,!\LMً"POPL X::+|hf zG+5v( wԃPyRhbn>Ev;!&T8u)D]bMANGo~p420dXvCuZ ztu?E9]}\|WQ*M6]'@bZ* >=e]/RzFJUb(dޖhQ8-~0L'~S ˧ qK : 50dFt!CaT t@IV+/VEY6:tZ;+4Ki.QbϾ{%,6$`=n¢4v6$?aTdG5uy9B|en#s(DɄ6MC Xz9s;~jުx<#ܜĂqi:# 5 z/k65NZ>?+d YÍXȊ.48u1w %hl"[ u-CUQq!L [3b!Rwnf}:{c{+ajbPxsrTo㫗2ka^TsQ)gݳU^3灬")qթ Pw'&`ɌG޶nKl~9E(zͭ7![wQ5$Ż%GKwC'.ptZc(pm7#m|P2Ha|.UCM сKк7ð"Ꮌ#}k]-բr7EA&30`AIg[ mpnYgYZa76549763ca69f9c65d14c0d2a8e0b589af02ff1d2fed5b8463a719e2f3fe546c701ac5c0e920ab5e7bd4a33545a7f7f3a0f51507061fab5641f6db9  ZF