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 447ld O HOL-Datatype_Examples:threads=6elapsed=83.718cpu=302.836gc=28.600factor=3.627zXZִF! ]ŗXf1-q恈&!&ʁ^8J$h?oJ 7 HOL-Datatype_Examples`m:} 8>凾,9R4&6$9!D|L!JA[|:(p_ 8x21byS޵os(@v}H{avE3]=$m.Yr|ksC YsâB׬6j۪tybs2-C(YRjnjՈjԬ]mS a׆T^=w ln!N} @^zhbx'.0X=0/U.32mFMNXe#,-*[4 #~gt!t`ػߴԈR(P>lr:^ (ё=骜wH:j0]dv KA !uΧl1-?rrQʀ1T6p[Q⚱:Hgml.2#jMԢ q)Uka 7Fû 񰱠>{rٱ >(LϸL$I &A=}Ă>H {e DhXJ>$/aLuҪtECBK'hJs(}*`4ou?Ig΄_W£4oKq$ 'kH}"Z5mYo]-$Jf\:v |4x~\jLjק>t{7>}UjK0$H%8%6SB>W+%$+ DeL^X/ԟN!ym2A4[7N_yq텐#ϖ:j4v̻3l-Z}S@Lّ_((P;YA'&,@E&DiqHŻld=Ek-FDxrP';&}hfl*i-e>verʊ}ihv?oB,V ?J䁖vA,HGGPIؐ$d=kܖ'Xi&*.z uiBU}WN*J vIv!RLs@۵b@]j['oikE*f9H{ S\y0}ŀ]@pu2URrcVyK;\I ͫb%j4(0QaD8k3j)/0uӾ~VNm(~aN88 &9t.m08%B`Yp!P(v*ܩ9kKa}VuMuʹi\LT5N=>}r ݚ0f.2M[9$DTNp'1JF[?ފ]`I[tT4…Ŏ*8Bf]Xwltùq^{6s[27vhpq2sؔ*"(7zdJsGyCy;ү<u%^cR?~Nq!P[Yv#Ϩ`2hf8tUd QQ1U׬V ʃ:ؽ!ntrIAA^9A,psPDd Aokkk9:L&&}jUl`SBdqW~" r+I' 4eA .:vr*Ծ|՞ {;:|zhDrkBru=t\9@gF`䜶5R5Hq=wtR5<'X)wC W|&UOa|<$_R#ҧy"wIu>3ʍg5pyp!SL7-2Ƒw6}g†8Nl |(n>E`vo!ezK lo9oY@8@#Xe2 **nfK'  c|gыk9ɄD9)pM{aRdJ;,6z+~3*BC/}{G1fKX^>fXK22I,ns"go4N*\@7ڰQxN^geT\$ͅX #lƒY3MhpT-8McIPDyɩ9+1` +s&Fw&yk3pjDV#2]RYc-c="I;ĉ4+ Nif]6CA>Y]qj%ih? >Օ/pīGuI+q0ݭҳCshj=+2y[|mԶL1IaN Gj t?ZQZ)o( hFeC[ZV$ߦߢ.>xՉdA"ti4qjH2mJ#S?]l6x7ε0pȟ||l Wb9l%c`=X^v um λW[ޗ[nz%ր(pgg α=vU Bf9.kYPER58oRgj^)D͓d-slyBЅݢT[.&[85wq X7C2Lq1,M7S9a<691ȐgDצBLNȾNmHr% DmfXbN6p`kV|b] ǠEh\C#-"_:z9 $OwmGiB .:Zm'l=#rZxk?i &[?eU%d]I;XEE=a)4 >h?d9WmY 3DSW|ޛ."B9zoxԌKe^'W2sYb@Yǐɩ_и $<09`E+2QxD57䤼]jm26Ʋ!z:!՝f zwy,E\ /`7LA&z{@@~ÃbQP.tB(Jf`k:˒*5,.TQJogYZ7zXZִF! yj]ŗXi%yI` cSa2oIPs7& TsS^xYv 7 M4^~.%pE׋gu97f,PKF79qڴN9??JL++C t Y5ģȰi T)rBR?},fS<h]7C _&KaΓ OVx[up]BϽ9Jd߇A૿զZ*F,\ \v~X=.Ua|77ydӟ(N6ĞfpfpaQ W8w/3Ҵ8vR 9Bi=in(0;@W;1D}.b l$t˞ud]BU[,Rra&0;;A6٦եת _d1ݺ Hbc0g(:+5aCwdkk_B{Je43 a }>>CdȥrgI6ڼ@[)zO1%ķ,bl^lKXg.y䂘>Mn"a>ʾrpcm 7jƗуzb+V|$D!P(D[þKw ") QbرR\ < <+MƔ/[XiJ7=mp(fvn %Pؒqw֪w^wN{c-yJ5gKdxPmib+E㴇jU˽YB~j^d0F'QAr_쳙4d Nd"NQOSH5"TI|Dr~9VB# mף|1} ^Ra>uj@n!fk#"f$) l@I~Cҥb3*&\&0i୘QbJdEeVc 8wiT5+ڸPƂ?&,Q0o0,[<$LI{BQO`$kۧ]2Q?Sg& ~͢2V5֡XvҭtɵAp7[O@Jwu%Z\ \nE} bk{=XcQ\W4%wgDh$'!OTZ` 4@!ݚ1/!vȵCfI3ێ`8PZ*v29{k@ujxtp#7˚f4h$9crc29FvmiQ<΁Km|gGwSC4g%]yp 䙪Ľ5A/8}߅6+i^sKVTk|FUa6|f"FQ:/9M)NT,Xh5ߝ2.dD'P7`%C 8Ezrզ)JG%0G٤nfjuezpy7_^?bؽMsuEs\ %)u<)dg ņƒǸ\WWݻ Ds;Bk8cnب\inKEf>1MnA6ԦX"qV`vH^MxU6a!MZzbِ8UVDbz(8.9#ݘ>UH'r  D#M^AHU]kZb921Swhw̐YSϰ0y-h/Ln1]ͥ高,yM-*iaw:vf(~L_:T˦7FSSbǝWRHvey-$Pd}^^ί%Kr+Q Wfn:s^#ߒSFeQOv7}J"J͖b@sT|e$:N3%5c[zHfiER뉮BP2$ Jr!W'Q% aL $="k?MW Z*HQe 6[ ?VT&_  s(ta/fsO9큜N95;R|Wd}n)4o*u4̟987Ry-3i"m_gH8vf;k#fh< Շ{rp,C fLe*>͓]쿗.;`b15!_Fm$gsJE!2tS:TIuuܚUj8uTiKtN60 *_?vą[wsvg'4|Q$?@v`B\h{dl)1GV c>%ůpw mJZA* GQvƮ@2 ߀D"8n>W%]n4Pr|ޥg*: O"kE(YEK$~6l|"F+c:51o0Y:mV[E ">K3bO8KLuNlmUM14EyȢ8-&3V6Dݕl³6W %3'bc[a P ^-I+?|~*O%ڲuVUsp^ƷZ߿n'/&kYM+3}dAy%ib7K 3J v{htGRCs^ؽDOdx*:3yaGA( ZZ_w,$ޭV/QReYJ(ZSj/ʹ[ R1i3OF&̀g0s>(2zn;өSg=7^3G&Z{h6_vα3xּ]E&\UB=@sms@$wQ҇G5(O gAA7/¡줍42)t`"s Gx2B2}N?j!tLNqAYkO#QwKDpՋ[\S-S*p." 1 I^!$NxFեZݰWWkÏ{VBsX ҍͮpNb>]a*zPwHKI{X2 UOUaÜ V9gs` Cs'0ڎȍͪiQKyMu 'ek0ixucw~Z@3|&pn簾m8Q`m~/ɴlh:Nua:d%?>ջ70:]g7̏g㞔d/J0C91S&È::B|%Ga.Ԧ|a~d^gZmrX{$g`&.dޖ_X V!+hlV6hXf?~O'7. ׮}@䵔IR&>[\Xo'3'$.6$㾀ߒK^Sni?^Fۭr`{?St;q3Z+^F3X xybT8yJ1s22mJ{T5e_HyIaL3g7 3DLߥp@x