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 \ |T %S Lp:threads=2elapsed=37.850cpu=68.188gc=1.316factor=1.807zXZִF! M5]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gM uKO͏ϵO;_K؟ H'i=iHq'(k]oĠE>{j{┗fK:QhFa^ ?qerQp0%QL==yz?PldZf@Qµ^"޺_}hEt!x ݊VG__z=z+}VhT}4ЉF k"zx?8iɦ77w x̥k.Ay| ègx]c"[yE,Om.,YNj6/  Lp+D;ry8Ak_ L)Ӭ%U,=RflNe7a^|e۠wL_V7ruvBQ4dA@όRNi>\Qj'y_ {5v 2UZ>m%Yej|OP#EϙrVVeE{(v5,-Yloz>Ͽ՗jCKRֆzc=T ]\x=:DY 7+L(3 asoR.&{]>0U'E [y#Sn8Rf[ lBs|}'?}l`%Bd-tRbjâLT|+dy?:äa3AgLT둗{mp[WImdormZS-̭Iy& +.MM=+XWc*{# lJ3)vJ&l5C.-oR%tJîۗ0.?u6ƴwXZ&QK.%J ٱNij`H6ɇ01[>YT  $M^Dgz \!\2c[љƜ +݀ 4`lQKO֌&1h"jW$g")[$!XG}AaswzѾ|/UZγķ=kGw(UO1 ˌOEfcSHv1ua's_~0^N6GX6W(m5JVZɂqf"TXB1XDE*2.i < Β-aPi,?lb4&`Z{YpI>f,1ϙ6Ȼ&u\Pj*VF#Ii bN^{ H )txXn(4c%U3qq' r݆W)Qw_~[9裧1VP')H}X/7oIgdˍEAޤ餒ˆ(tԔlz rt6Ҳ$͚R0 s"n~hWNFpU;?JMb'W@4=R>h FǸ5!61l&2>NX-(|,+DiaQt6_l,?XkӞ~o=~,d-;6=xe}grԘEڑ~p^߁Y#ȣJgWS3#t)pMr`= qJIr֮a:+Eu3v{viu\4"y>QQT%(SUFw(~V?:<Uj$ Evj۟m,;:$N!Xrɬ,&yB{a⬠ ]x05Bgx[wG..*驲V.4wqoמټZqn&ֳĭ4g_cx'fz(5c8Ib,Em4BIPLs/sV'0.Ϳ[v +͂v:)rTNѵ~RSqG@crd܇9sX`y^HNgcUG H:)Ú2M:c9 M8涊d@@ު֚fc^nF]nC "}o+€ Y{i?,OR0іCHuL`̱m$bo:-1]۰lw*ꦷ]rlHļ?2lZr: ʭj2ײ*"losX?r˪vgAK A%1-d6|33ѝT(-Áp,H=uLi5Lcn4# Q(߂V}@=sxkJh3Ц~Gg}9$s`!d[̈#}}EllCa$u{pAqa4>@'xG&[@e;Ӷog҂1HsH*acrfZ4Η"0yU;ze ԀчqVI{_=sDWҌ0RaS;!pC4~T`G -S۽6̚/֕F$qezU'Vm80NW&;تM!VO $6}d.K5=e_0tDAL+6o3'9>s7 `Ɔ lO0[~uPdnǍ{~b sSHRnpi a|.ڻVEp(}.>e۵}ethYo aIA@myN^@bW<,B2_ƚGZ슖a|LCB}:9om;o|T/6>=Ks~fcU2CHC\9T7G(-}zk=p.3i [x)}|eh}‡{P@YhXC8:Dp`x* lmQݒ0}s0: MkX'O%"ۮiΩK"!`W\G$bY` /@1g REs&Rfa,TjP&ަzN1؈qDc/oH}ު!P.mt's瞒SiUjxc$š}+73nį7b _3IJo k Ezu4~RS26bW6`r}? #8@A^gᙝy-7Y a!{4w|cM 7}A7ǫ]+mmmDlAP ߃ ;*ӆ̡J#FnӤ{l(hf\‚$ZKytp|MI7+.9:(c]ky&|}X30Yc&à+6#TJFdٵ}>JNؠ&;y#RRY?ՔrEfG6Cڷ9p%RTX}CQ̷ *Q! чϷg1}=}:=x\ˉqdYv|iT6ɤk KW4;EgHlk2(fin<&C+W"J\DK:zl.$x/Euw{8%r"_W_;s%=c욑3*WF/wcJ@7Ÿ@D_+7dlʝӜH+OlC .6Mz x$N"1 ٳ7$QRx.Y'9\@OE$|x K;\&qJ%~ϱ<5־cP$ElMH`fkʔ$,)u% )XS'Cm}kR|Ahg+jPn-B.o礞\&v)1llRh~9 +-1 cW` }@MRw,ntA՚ٸӝvS"пiT5}SF&QC]!́ZOh@o, ? ج ,S}oރ' Uڄ7Z P#-~%ep\ ʡ)җad= /rB_E{0:y˖6 UJ'9&`%m${:߻'^tf jf(ҧIva HMknD8t"vW ʔ0?hNr Z$/e@g$mʨjEik׹.M'&~mɓ GDÊ%nћ#JVLkМ1l!/V574$yjkn{VZ~Wlx9TIi4O8Z?8D'rl±s<1/Sȍf:_F6$_|bѻ{jgyjd NoqYBPE|K)jP<ҭr$:{srßo9qOM 1)VM0~#Oy c~պl(s:H cu*nVW:Eﰸt!E YZ24kCaVDo}gҏdFPY \S _xh"JD>"xbڛe-{ XB[ HDbA^=|6k9TwFÝ%=҉д[DZkpr{ESC6P녩/{ar=39 D&SU h@ hJ7`)IWЗ̇W)r!R;`SGnȜ. u]l|Ll!4$k@LI`6o lDK,gKzADy6$IJا;(̗1APJ5bJJ'v0_ĬZe+VEHn{-,δӯ.gYZ7zXZִF!  c]ŗXi%DQ) y=qr(ә&hA4r3b1r/}G! E'iʺLp"dh"UʎtF˔%y+GkiC/Wf;'eVX+&ek `j1;z1: NLFd$7aw Pm_iyX @c8 tHN> [[#?&9ssU]diT_%h$T|ي@Ux7" ?{y<Χ|dahs-`1o$F1m(tT%$N@M7M Kd{J$8-Z$`PٺtY 3}k~?FՖ_Ư 5IȢ'2PڊB;eŸwQx *x91bC}xgFʦ(%}94fۥGQl #:mH#}d+YŧҹX{kW/Rl$L5! CLs.ƹ Jlb,Z@u˶>&w&k=2+oFBtYNi 4aylu@PlXrܮ.o W2'YrZшjV?"5}R̭F%{w{>Q_(ۏ: ]_B` \} 9Ԭfn:)P6aZcXɥ$Do!kZď!SvMAoKر!R^]D1NkỊе9۱I8mҋ*'Ւe.XS˛3E(wdb{fʉG7rzTi)?bbaS?Bd[6&"X uL^V/ix96l5,7-zR ʀXgyME&\eԾ >K@5(7Yo93 \v^uŖ ٯ=lk_t0,Ǘh)3/V$Q,3p.H]!nt{1v s ZY(]j!{.LO řDu3AConlo* J\S ȷb!2Gͻ&,1= f̺2:5bDMHX֍,J79fp9 Tۣ]SY9lzUú6ҪՃ)osU h[?СoB&ֻS9J:==; ƓP½Nhbpe@\U[cov(F6B f됲R]ƦaҾa.pc/?*%(yΒK\ڣ`47ˌ|-ddp͛)X;g싈hj{ PQP  Y|/_`FS9ؙ)/XDpܨ>\HQL8  nj:e\B]I䖌o5޿c;ÕO^",cCpD{LHj53~|FI_#аf(ʆcRWl'CiJMBq!R[/{¬eT֚в(! aqcɯ1`:q1u pHomr"