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   k;4L ]]Stone_Relation_Algebras:threads=4elapsed=65.475cpu=131.756gc=3.340factor=2.017zXZִF! O>C]ŗXf[&RT[8wm-9chu=Ou*?1]OkFm&*~MyHV)\Yqæ`w[*K9߅%02ZLL&mBvEˉ.i; \X)Dq?4`VћW`ֲ֝:y]6lL<@kۮWTM6qd!+i/Kp[!Z PBuAt =i8ڤܹ?X=ܢiReUI*H)Y0nMI%&Nk*gDn7bs$?u~+1Z uhlJl;AO`(e&AERYɟUqd6R]pXOޫa($+0іmR)2o+"P3gDzEqft}b&M'%=lx{wF̫,ay5th(dnn0 Y#"^(S(՟YߨlE_Z0nbqs:W6'fpͭ7LMgI?FW3h3%<ڗͤ hZ{R2Ʃo뉸q%S%.%wk8V,4r %ִ>soUABYDJ>172Z&):m ?Rv3[Č(%-2l;WF}6;>jOAUmIHJfQa*QAW,I6o>Q{kb"n\q˦L>D܎,g Ƨ|F"ց6Ҩتvl3oP]:;~3)t̰֣]@#-~y4 -3p$4]j2g&UB#F2 L4E |nj( жu;NIh)0>)M2ȻWMSdr#zs ˈӿ^'<`' C7~J1nƬJ޾=w}n(Aafe.~TgUH<ݸ8nƚLc+|Nc>'bt kc۲ヘe5MQz0)/GjCĩ!~I@ vnZu> Cne-d3ñmY͓IFOMɤS|B{=Sf̛OE=n|ʳw>ąQ+չU$傑` .=:XO^6eBw> zLpZ P:IDF 0^zV=n}>G( M/zρU+ZUt]4YKx* ls#w7$ꈣ+-CTKW 7!S$|u?:SsϟM_JU}z摡hOܦGp6澈XM4Vl96,"BncN' 9Jy : QmJNgYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xx0QwUQw8W&'9 v3 ׫VV{EM5{lc]\2iz;!r3Z)Lus貂a97X\R&94ISbUw$oQM->kgYZ7zXZִF! ]ŗXi%ES3OZ> bT!qQ8{mRL!8`:G>\:ZEOM-9d-EG0Y*MBDT# 5烃۽2Jy=g$\$Cˮ*ȽprָS $ H}M¦^w-Z ˄PVuBQ£i=O?;jR)5 A1M}s3,gT5#w L?.L_i$tJ64 D+ )s0eSU& kX]M?McsAaszs=4jå=&x/Cdlă ~.gv}QQBx " +) \Ao jOC-$u`Qg'3*>/^A*Y`Վy2L tU  t+TZHFkF0_?'g]u6B#kBzEU ux z*Qv6wzO$(,gBv7^5z9~n, qFOZjFdXQ'-ܗIIv)dB>?GZX0ڹO#8oUI|z1 oO0`Tw2s?QRS_+2jQ\ \k`7܍~vZ)—8QWw}]o2d=D/Ϸ8uc7NFD]~L3ra#)ߙ{k|U~Sm5s8rů1FލՇɰ;cp#:x2*y lZUpEm  6s[ΑQfnMh Uq#o7vpEt2tEbLͦ 2 ; Stone_Relation_Algebras  #o)l,[: HnZeU ܐ0CJg*َcz%ٖ`yn_g[j˄q~:EiJns594Z!ւ2 X$,BQ E 5 ^LqI4/bLdC- Fገ%*"=ʲf Z2)m:]/TT>']o(1/(# sF熭 c:-h]=Q4'OѨn);ĂOن+cq>b6K:WYAh4#KHij. W5Gg#9gI#ҝST/'uw>/4*f. B=,l|ҤC*ӄta:n$@_o탨]#tdp1V1_i>ܾxƘA)sK41@ʗ'{}Lc6xө+#j'ԡ8\dQb9Q^Ѻ-?N ys@V MB1=>=?EjPY+l3Zrm&7L7>&mVfVLq 5\D'sֱLy<("Q' ھnŗUPcDgE|r]gmk=aW.ZǦ/TBt]iUOB^x:11 4Hf]O@MӭdcՀ_3H10_ԀM1+k*6IJ'10zPdy;yw{! _y.,O-w5%yby.AXm3s)^ JZE߭_ )hwXT$㕆:|6NS8{k`;MGc=Q)O\ H΋DMqKw4L8WliEUO2KXg[*潡mL\/E2;?U}ȅ\r?Aᧂ `xyBdr^W~3SԇFAJdP҉Ko"Iu.8/LF]&.DB"kST&c-`YC91_;6s•-k$]Gt wLd<t6dY0-}xn*z`_g<$ 7*3ůpkr%At{?dU&$ĹwN֔thHȅ`6.qj]USrź+-ZqQ7%%!ɖrV$Mhf^)d[dC< {?7]چ7qWh?nY:\*k۷MG8 ;}g:?!ѭlWGBůsz,Av#˙t;ܓow&|19=܊ PN ʽta+Lyw9)N>3q^_xVs9#vIs{+T1hk ?~/Yb%?U &'6plo9H@8{+`{[ۚf$HdXEϟq8n" a]ޣ :gZd)pkܤ:}R { ޮ0ObFjTܤOZ7#>(xz]nAIg/+}eHwHr{4fڝ TöZvrLsxrj)xvOI97e9Dd9MHh<,>3 ]--ٝƌBbs_W#7 ly%Y;v&g3IpMrpL칩BFd97L=Їw{ @A=c1o9t#bEx=@M#_xuzT ̜JsK %.v8#RbUrrlJ "iw@ ƫ@E';M͢7ԋ :L <2<\t@7qoHГIb}Ԃ ^㟥`lE1L));*}xx9'oL+®ʿ4w|"[S5D靎H;R9 od.?ȴڠ! oCo9*"ST/>N-0Aǖai ;v cEי+3=Lw'NVqQ"PPΣ@Ff*}9/(KREԹQ0_Ӹ$Ag+F=g_7gN; wH:fpszz.p}#S׃G2[wjh:+9R~Ԙg6ircc$QaT?#J,骐y-2f*Q֦~1 }u-'o{f8̖k