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  ( (M \d ] Corec:threads=4elapsed=72.645cpu=106.288gc=6.464factor=1.467zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 s;1nSn1!z% /RX$ 6SNsk k?~tZKO[n05[hB0^ 9a,*SЇebbu=`/_iYݟM]0*IAagi|qR bѼ& izeNa`B&՛p)>:o'2nNf>ZQT]Hsj%ySfuC\kL)۶:d˙n';gÎ5?Ļ!Rhڋoa +T?<HSnvT W0m+lq=VM#gl䑤]pDܣKL1Y1(]A~$UmFh|[&9 ku`NhEAbuTI-k|1"}k%h:=3| _n2W˒XkMgxVĄ^aeWTӥgghi7,[sPkX\R$dZЊo1@N &%9eVֆw˻ @lk`>f))=H-vD_U=h>oZb gF^?C , ʺBo!Qh30zd"şTh$̬4^KdV(I nny{ѱOqd}ax/#_Yʷ:?'W h|(2ҵA*y,f;+\h(Hw7dDMhtsR^HzA$!ϧ3xI.ѫG͡ÄS64%)jkǨ~(2Tkp,R!iR 1gҐ4)&.Ѿr(Fj86r5|8K+ > U"E-w9k[KaH>a.W8~<(VsAj|MaѻS{g_vTᡦU~7O99LcCkCS{7x.I fk'z$ oVf!ZxJ #^YH0~jفzڮ >uqh.SunZ[j\9M;*/6jĜI "[6^7W_ixᰎI)?N(?Yô6",Pjns ᄋhm)!x=V.uqeC;"z)0," I F󐯥~9?H<ڳbL')V<͝{,U4W!D}{?XC\B TW>ByxB8Ml*&)mwN g9kCBnueKnxbkD"$BDH)Wq08;۫CD05q-IB2. q{:nDZ.Bm9ㆉsY|$IRXA#{3sr.xIU`ywi|F{3~z!j*## )nQ|7!G&d;a \P?-~Rk(<SKz .̼8rE&D5jja &0uOڀJ.tQgGLLCNyEkF1 U ~F~N- g#B>zFbz$C(.uӇ)jF#P@U }GC"f`%y5+YYXE8iJչ[ݎl\&aTkIt;r$4# C1>Hs| Ȣ(L#[i͋hń+k!v{s8뀁Ys"vwG[o=@*pXKji%=NB#=D;;E&t(g +ru:6:xPG#'s c3#131,ɪ7]'3 bxhN7S(qtk!=Ndcuf[|DzMYn'2U9N$=C-2nM9ͱQ`d'h_WuAT-uY~O?*$ $V >3¶=0R7AkHOvq9{C!2ޫl`?r֦'di2LvmH@*!W)38^΋O q3L8LNH EEr)d4iC(16.L&1b,zɁ:L%HK6 $ 'gaPLGt!Oo ۻ*n**S#Y:|쟞z`i;*&܉@apߴxF9I:1_;3+aX4 lӚݙ 5~æ [G>bzI7~S"Rǖ62*<4mFh'i[37cNt}Nگ=y2zA&ϷFaoERD=^IÓA/`Kʢ+fB蹷Bd$D/frN5Ha?!(JF]_GW9=̣i6b<9 A`n' (3Vmf:ʵO-5X'.SyߣeN&f`*"dNB8$AgYZf8c8b0117d50c24cfcb132c25b4001e93cabd1ed4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 118ecff921e0ae22b7b64098f3faf2ac0f17b4e5