SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ; tl ? Stone_Relation_Algebras:threads=2elapsed=50.037cpu=90.732gc=3.064factor=1.817zXZִF! _s]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gAWBo쥇 <G n) s'oLUqr퍻3z "p3\ `j<;Z`b^AŧB b*QHkԌ 4kQ2\`XT WN1Rpby|:V}sXR(erHr\[ɘF!~0`"1CTQX}zBC>05¸Šc,gG:< c'MZb/͹378rZ%9LCh4tG%(f}Σ% de;4]uJNS+sUxd#j#ܲeQx0 3瀅jELT B*4;Ia |y\FNfyF&*^\c/^f/JwP#)In4i+Ԝpxs_O~=~b>I8 Gŷ/OݲGl^.nIIC8YY0[-EHZsB{kW+$/$a3Ű1MI5| >?"ٛ?'"R/8r C(azRT [ :scMBȠwֻT܋Hjvz,,ִ8OW>;Քrj`y[ObLҼ׫ۈ**ClhCQs夷 ҖO :L1GΌY;}+rD-kfidPM LoIث&K/xgPxwE߱F_⥊IM.eCbh>xZhn4Ғ~UY4 ܫwޞ'xܜb xC|g}gy4iK}?•jOjBܭ¢dh&mf"U#1)ъǷ!Dhcq^dFroصqq5|@+ZъBUz֓y[Rq!tkԇ`֋w 91/XopaI>pn5Dh:}"6Ln)5'^EUNěi]S6,Dwg7?V5)(Ym 4&F}չek=InE(?c#oeFx8_q<򮣊k;ϯ .GyO$U!*|=< tП V)@Q0okő.\|> EaQnϲO-p:gu˷>z׋lILÇg}9Tk;6C?Q\E-C GvVqބT%${jz#:);J.#ƴxq^.k c$9Kܤ*g۩˝PꙬFat>5hT>vc=j|$U? /0çAj6w1PJH̆i_R_~TK@Bκ2s# %K@*vE_PGHLrW3ESmt=NtlcpF IuRc5dz ./򵉾<~TnD* `/-ݥ `GJ,w[> "-UYmEG< {pM8%`/q`&u2J{ Z~_d)H-_g5tֈ@;QWGo&]a NjԔhFV1kq,k'i@ķ|ocr{M˴M6z)67" їIYM3V$G#nn-ص>+zA\ 9۽2K]|xތ ccr)GblA)uso~HC=t\xXN8EE?޲ ft܉*~:lz{c~E*҇x.r~hN ZqpܤBO}< ]4K:{{ 5/YreDU]59^z enuqgiIn(\زxQ [E -Ck8ȏB7QtE@u[p:{Oz؝`-XK+kA 8F(&G\ޏ迯vqXV(YIP&o*-|}cC$ߥ :/|%4Fm"#wwr(l|Çtq T:7`:š53嵒Ϯ7H{:Lք"<>.Zsa^H|ˠ֣F>q=SH%4cϸP<9$G0D"D1NxN `ؑ:kmPo7Ot}uC-(,< *<_ *q a-$Mh e$`1k`GC=U^a3y[yNNCOsJh1UxE^aWY T8gϮ:m*1oRAF K0 tmȾ%v5J[3F h)Jt[9yV8˥C?*&s0ۀ"`&zFV f+9wf& |U^TM>Sb"[ CP?.A꒟nݥ:0'8I`qael `%y ۊUfʜTc'A l CbV]\!s뗒x((R봮.kPU̐rGV v)&+f^~pxE@%+IQޥ]KO~[/ P })p_az8s+xE6zf9o jmeJd{赕<t\/'`7%dy u8?;[{hʋTB/zZ}4F ȠZ Sҟm*bɱ` &N)hȄ_Cc6(sZp/^?=:&?r@2;Թ}cX 9)uk# Ԩ-KCEo&rN:y ' *Ӆ,p[{mad*m@sGdxق2Rfa$G0,lv޵ hm3k g)]F~`f#\媯b,hy*W<YR?TjN Ȟr)jû>"T+yT 3"\? ]xDL̨?I"tՐoڣQ;y" 9W>Inp zb%58}-|;uº_HnWΤgFVnuvksa-`cKf c&ꯪar\2^RCQYG[@=i7m.l ON!50LaC 7fH*P"=rQD;ko&$ᜩF@~ΐ29MAAhM>e4E})6eN&cRQSTXM*Qq{"=@9V @:-wZD 2'.~8"0VœBUyG#Z>Lj=8q2jӝ?1ZdƌT( L-=Naaګ^d <F%rGvFPn7]bȻ4tϘަ>q)!tq<}vPw""!~ R6evkNSeV%هE7N$HnƐVOq`BQdn<n,Mi9,`8ۦLWI6DsA U\o%_w(' ت4Ɛ4 WGNjX0|a#)cG_Y6 FN:)iv8bTa?.X"7 _- _υ@O+|xOwiItY9V̖C 'Ze-٤ǑP1*38n /*nZ\@ŁS aSQC;?'ZmU8Meb?znf'5D3LGX)"vߐdcmcxzPympUN #[ Uɡѱ^ 1^0wf ]4HKRa=v1 %8Eu|wy7%ؤ.|ة`Йtk.Yިa{3kH>׹H/n)5l10{Q묥eJ/B>x'ePK\Ȃ99N9;,l_gT&Qz@!W\rx24k͕ڃ/CTmLu-<]ߛ'؉(p ㎒svL6O 7>T_0@i'1&`)ͩ9Jo]::J)ٹq_1Ģ ד^;& pOS)Љ¾hn JuOA.-Y-tdd2oo| ۨetηu;_`k#Ìk5]W^QK bjr1@L t6c,7̶,OTy)ch'0`B- 1||PJ㍗y, owR}šJ$6V5OޔǨs};Y {+[h^^ m^ȭ biUଃqŝDGЛjhQ!Kep,}y*ynͱC툣q)_D~v