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 OOU'/M2)l])XU=]bxz.h4[W \')9M M]iTYl |%lටzլeQvSrhH8_ڇj[C,/l '5 e*z?Uݐd{E+ƻW/=K Nsksצ/;rJ@*:)T6I4fIu#p,~ˡؓoQ'sfdMI?$1w3͔G j+]nD!2MXpP$uIHwU}M`gXf}HPy9}W?z";jq=~Ff4mn(A3ߔ;پKR+%8Wޜ{$GsL'h*  1P",]ۭhrI% 'Pn.tAUA;Kg-ZT͡ I˽YtS<1Ga3NJ6U:C+.ؖNs>QHj.\ 6]+>˿6/q70t.ex-^'z +h6+^zLƩ`KcMSؕרܮ~Gt9JyO FnHoOkՠlaHАڙh0h@bE@< `!ZUӗg할'n>@Fa )B6Gnj jX(Ӯ"&B $ϢnP}a_q'jCPuP׷Jۺ7&7MPBwoEn<vܺk\;l+v[/+^1cn*X)}}L'ҟP/.<蔇)[xn;H ,blN;?cpby?͈{mS EazC=Fh k'x}is@'ƒկ ?Hrģ,@ZV0Rq-Y !#tiךIޡ&F<_ ã;eWwEQUDmU ԉWh[3Itep#S%`P~OPꕇR\8On2902 ݭuXPH q  YkrQP@tfyn"͵+J7^pGמcBvb3͵D?DuZָT#PQvL_itv{ȍ㐋 #\ 5| ls'!z7&| ţ 7l*k6HYfIп 0GDZ^F_s iCHA\nI?>{juS4-a!̿i>VOd_Kj4!%Y2Ԝa&DRӅĆq^Ͱoaj济8|@5G0kYWpe G؜S_J䚡JHjF*X֭ (vMԇ$1(KId62}%ANݷ+! w 4hh! Ӏa xQdaQPX+h{AM"kT2INQ"uÂZ;<;*k1wU-7/0`oa`f,]Rv (] jocF̮ 2X&%Á):?VڴR"o"Ha3Wx!&햙c<3iMhfn~ꌹ)kG_u@8ĩY SϘ)Q0f/]GO$8f(#nXأ6T\V&=_Uňh)nxmBwgDdd^49@ I(l4H+f\rZ¨b:>Gm!_DRZK&ӴFLJϰ pe촶N:`Q-{`y49vshC7^ꈭxTv\1wcYCep_dT- .))xǫriz8F?F&_4~8RQ\*3iS$~(Ga_ঌI3jQD R'$ĉMR<Mú| 3\u% Z+ 1)o9YR2'Iх~SmlQ5 td R] mo8PQ/2Mrr.)]Xqp+@DQ)Z:XVxc?yڃ}&;sæ2-s(ՅUIlbqO_,H,,a`1,Plj5#򒷏F)ԭޗ'nH%")17irB{sEУپ}[ق>>?ljqZ}RgE)CZDvDER+e)n[ @FFolH䪋W`bWq8&WRA/[9$.w-:p=MWdp6a]If^^JR" RѠ#Eh05䌨5N> k8*CDiA'OW)*(4qZ Æ|2|"Q83D.AaWikO}'bg:qZ Pٽ[H~xcK>P6ԞC?|{gRq=7QQklw]*:r>G1syw<-Otf+ e$Dc 6Z%Kۭg葎)ȇINJӈ;5٩Bn+aKPeqN =fz/Kn!+5S >Zk)w|?:Y0Hο^No"`x|͜<=H3H9&~"tR!6PcFN?% mH+nBU*aյhLŭ(>n䫋#u+&7g%FlrHX}<5{O*'ںC<%[_sHEz/֥DEe I-61St_xAЈW+ݫPE#-vzt`"J"EA/?i Y}&ÔHsɁ7걻gvZǡ Lg>7֦c{fn?n0 N\Q^5y29 jF43ef-rObZ@Fu} 6|k.m -ǓU c}|?'Q{&/ eXNϓlHXYr+v.{GuFF l.FRRFVY Jà-Ȣhxo()vJ$&yӰ!j($&"<=>x+cZ2SZlr|ErW@˄Ybyh*zAn:(3\>Q%Y#rT @xM>|ISi<+pq0=ـBMi//HkrLc2utGX Ai.qHv(C_#SsC&ĭ)"qLӟcO"KJbuxk\?FrA"_8TW\2Tz(1Vږ7!څ xn p!@5_wppm醩IgxȫuQsha$V-Yެ No^L6# HeL~*x+` Zvu%—ss|"7t5B? ZH5 WSF*1,[)p>œWݭ- J@aAo,(vw$a.x(YJ؊Yֵla.Wx_4^YEwM  q͈а}~P/qNs. 34T'lf(V {;oM#,I?RqBF\AIt Nہ(s)4վ̫@*籊PlE<U*UN f< ~"<^qok`g +$ ),ʐM8iKodKGk'@?Ozv2{SzU\_6?rY`Ͱ\W+HǤ;_~EUxʮT.qg$Hn 3y?3>z-eR"3OguISUV|8aT++P!ݾ72D0Z MeYL@-^բ\<9];"rSzδ7t6 /0@ː]u݌T@_Pɕy9Gu[%hۗIʌ`$&;"<@MЛecQZs׉ ۍplގ= v bdriÊb*z c1 "p۱<+kE4 8*D#':3{pԣ亓ܱ|)j* ,x=<"=Ns#rPj*bne1F+ԣB(M;4}9qnKC]rpfa3r*`wAbfj-.!rhL=xRaMgFÛ1-r5JXBeCGI S2gjz/rCW^C%$\U~44 _vPj,rޤPO?5̅Qُon (j㔳Ze l\4֍qNopGSC/`mzL-DH:?@M?f#KǦbNj[nrٿ,d{V _hZWmƎ.o Cjz/QOK3Ex``ʯWCqɧ&ֺ)%*ǭT>nN[D9grPMk8`7 sBJBk,raBě%dv z"=2_7[RP29nYvM\΍oz-\'Qy 0 a'EKFO* >Н%v<І篥=xRScJ_Qt7Zj,)p(-tGƗ>EbI5?.iB6!< -<߬] gYߌi y@.QTCPHm^βB,T(O7pM(u/=4 "18κWb;7-5 9,~$eoͻi77oQlwe=?eÑhK/lhM 8D-#>k~{9YXO5Wn)!G=^S BѲvUU7g3Riݡ7b:IRF5x*_ d;Uw/ܐNTUVbCA_Q LTZb+/Rsx.6x\}OXOYbH?ńL0Dg9,3}k^FIR914~4Tʢ.Zq.pHP?R ޟE" &̋ pS>:ϧd0픺XnnjY?^ʐXW;4ٍlA<uoQXM6zy*i[deoPd~_(M*" աɰ.*ӐMNyh{\amQ} ǟ_o,Q}(-fˊbrc` ͱ9 ,sk\(1=MOч6>GMۖ`G,2Tnch; ,YGsXq-Ek ?0c!zay.`1cΨoUޮ C&ڀzԙ]Z edalTD3Jk|?NNJ(% ;﻾&^a (R^7 WLsbW d\"'W$On2@q"=_n0-A4]yYjɅL χ;W› GO,^D `t,626pI2䗜LtMp(5uCF$m5HSdB1jij-~P[6MF~e*cs$-R!a'jŋW D1|pwa,?j퀫/c塮?M >jX&3>K̿ve#DžyC.G.bN%klCVq0%Zjr>NE4;uV1 C7Ԁ#:}z]מr( ~'&65UF vWA&(q8< 4?΢puM7O_J`[̙zɔLɺg7Pxw3AtUQu7Tλ@DwQ ʇXn V_`Ǒ{6%ZtX` 맗Om)ԭy3|Xj9?=*. !zuPv4fjO9yqچ D4^yrWio7ebz=ſۏ1 JJuڡ@:CM#+(;M˩s-9M*ysK ٬C*=}V$X2~0{Ը jKSsP_X.pMI& AIU̹2V(+fDƹʟEʿ׬=Y-ķRɳ_"Ek ϓp쒰:HITOD0 ҘH"8B oRהtr$Xj(Q-kc$?*kCdF-k &_77ic-U:qt;nWCO76[q9[ҜήdܰlH8g? Ĕ*<;{B zb8jx`|ю]>E,$iF[\=p+3wP#JG!ܨg38e88jـR~gNg JY՝\"[SL di( Ydas~v[gI@jjv 00 EdԜDӖβ,`}}[F̰ ^p;suy^y'"~D &WbDI6ޠ'0 񀳚 QqE|QOT<\0TNSZ{ I4?~hD}q +};$Q( ~oT "U4tD=OȩW/d=~ŷSIM35eV#ތA%N Ѯ 龭@:p󇩻v酱lARu#w o-{(tn% TٷjGKa!3dގ{h>sCl`=ǃ3e7GlQAcZr(ze) c AZB8LzD#om+#þ$f}ƝAb NS8p㠎BO eK WvY5a˾#Xn_y!{0{0%ό2[/_'Fܘ@oo˝,Qbbچ t|P#F3t܂2FfLnQqBfsصE%RR! %дa:MA.`~)# "VWG<8+Nklp0 fdkH# 52adl!̶ G!9t1I\/+0  RSI ZV!#ʢ2@L~a`r|E\Rt碯#f}+9VHܠ? koNؠ}\ahً4v '_o yG[Lv;X|+*] Gv&+@wIaM ,{*@ ^kXUţ* x|6x?5?/%2TLRzg&u&:Lh^pA>\+eM9wWm]~̮#Hc1'@{7X%E&䀇Nj:\;F6X`^A")X;fg .l۾Y@|_{zUZcRXo /{|1a$3<O<&>%Q0&/lTջ6R"(a Aa'~xlvME Ul }/.ڷ?غ|a ʮik eݯQ%|&R C>~ʶt) ҀZ8s֙ wq?X:^bްa0 9X .n[X[$:mǻ1h@8.YP]>o\C&fɥ.OA.8N =,z u~r Fž$Zo564t~ZgƟ1w߿cv 𭰮nȡ) z!i$3dR; 8nZQ*.-!qGldLsYʺ>Ce ES ±fࣳp qZS1tm%PFXAŇMXYSX7ޱNYfÝO\o ":L0"hdӴ91H?\S9*YZMu빱ZΥ"l_Mfq9zwe*lHɥe,y u= }\[odTWd~s\Hn{ׁՍ|(R|EPpL}T1itF#}>[b~a}fU S)Bݩ7o6i&΃;vyH ݍD^."aZstGd}Ej}u>xѿLN"8ؒ)crhR-s pRh 6RR4`d;- ]=fsQ,|c'jg+ }@НǸٰ{ky5 @Wi8;F~o.2G=_) 9#J_nBK T΂':!Q@a[K_M<!8˦ ΦʼnIGgp!b&nl`w󆣒y:GR䬂e}cf>\sx3[D$fXDx9"+NP;V =Ҳ> JfTt}m&>6 'iX=(E9mbHodO%?>_fz&k@ t.Ņ@R߼»f|>;aFCs uОΑ`b@%-Iw?Y5_aB|5Z @O(&C^tf*RwA]Sp;k%c>L9!bta]Gg4F:#`6Ǧf_FܩD whMT;b#,g)Oit53pVρcJVRZ6`1L9Np gYZ7zXZִF! !m]ŗXi%}cˤߍION(:c+Z \*bRECOa~LO;- SfK"M[$iȑ[c_#e AY|[%{<85lb àj}'Ofj?&HT#|G5LcΒC4xĵ7=f# ԾzTyI[pWo ltg6@MYϗEs-\_SfozIp &/;T;fmV jG6y z}2k[k %QOPpbrUn-2tOJѡ.ޚwf/+c*gF1%"!> r{ hC_JH(^NUr2rU_dH;LD%JMόh@uc>Lǿ7~7$ =`oy'2fT#U07$BO;u`GcO+e8lHŹշtsb~]H'"Z˹RF qZ(p#!9 7#߈Fwo(9.8G+UUm35Sݗ˅#> f,"|FuLfq_jIד+Osc50:b1n_qL@\\.LރdTPҤ4Jy.Tߛܹ ̲a rTcN1 5PF 5 e0%M0کQ10[E[Sd r@sJ;KN>|FXaYL4%=!>+*:"Ћe)M-v^Rpȿ YPb=2TxfBEaO˜X)1v^a>3N|ԣ%lt)tߡ` (3oƨoͧc %psXY|ΉWwPwU03.8nW-+i6R&,th)vK%v7i4k.WME>ϴYdtT]"Й/ZTam'na/jt=rcG *'qRf"C&Lmj>wqoS݂5]!ߪ/>YQ23Do]%` Qع1ORsHQ(Pq:  E'g_>hi?&>- ܳ5" tӕM%†-uNKʻo:){]a̿fj:hv4.#,IhL WpcyAq`n^K`{:70hP6)x#O!C,'A(CvE2߱ '`XV:Dx+wqXYU'`ey%o~|Gi(mxTY)+{0;8GoybQG UM˹(5y^gh+"hMvq< x 3@;e(DO+)~N =ys2Xn190Ϡ`-c3TTh=݃>>md<'j]ip^)nqI+'laTf`OI!ZwB2ȧr~FS@S\aVRc&H{ nQb ⌧Ϗ^~'Jk \]1Җ}Hq% #zI%8N扥A14WF;8i{2"A)i_ 6`h 34|!1a9_ )v fAb9 _4&vULWU ?25֑uşXG<7PofNω8t2(xE_vh. Z],̙X,Y1\%".ZX:"Tӣ훿}rFxJ: 57R<3I_l:%12g-kWDBj0\m NQ{;IMVL[?Ģm 6"y냇A@.1tOShCn&D#8 |Stn;h!ړWώ@n55gOb^4F8$Ӫ)S߷)]EUby`j[+c Hb'!TGͥBG XۉhQ?ɜ !Poɟqݡ{˥`EB%_8]xRmGF1'YIŷtَ}B樜A>}i,1|}~>z3%o2K=1{Sh4"@g $gm`83a.~^[ScY_sx.iʯW>@㹕~-g22鴱U$)v>~*=վ%+ɧHr@6B|&W ,{Hd QG03sUhp^p כFa=\BGA|`c$>_`@Ԣt􂌗A! O*ec"1RAMb"Iv뵽~=&3lJ=p*؝hi޻ۺPͦX