SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  )$| ]%]Groebner_Bases:threads=4elapsed=423.425cpu=1491.680gc=154.876factor=3.527zXZִF! ᤢ) ]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbIP(bc5}XǢjQ}f١*wZq'usڿj?]-|Zg!8W b/ iH1E/:P3쩽",]~s|9 ~ ɉ &g.w'I)0E_ Q+w5Nm;d;vo~b{^?b:EB}bx-Q`J3pj^a<#5yyB$-e_:s;4*OģGK3 JJa_9L!g>a}oLN0wY]ASm%3y% e9G^Ve~ soA4ŹX KkK3:A13WPMk2j'*$/7GP\Η`GȐbAR[w_-H<`0{O]NA͒m}H 12p,:(2_}`;hU4%QI}¦D>^2<lWbX.8q B^ q9 kf Bۊ3gLH֔;7Sly܋|at|Xs8I"4 9 - B NĦ `lyͶRKSh,moj {aQelRk 9Ǯgjj[ݓD2ϊ!B+G.`Tn]A^cGla%]PS$i$#9ُ+${" 0~ Q *e2q,bON+w3v]k$tI5=7g<+T>_0M_\GV@ hxxtHfK G}2> U%C6> g*n?o'~JYPvfs;u&1k-^68-e ) Groebner_Bases  +^F~(9KS, EsWx&JY󨳛k) ŋiF@`Vwh &./=-TY^ ~b} NV< 6M v ҎEJRMk긤1IM(K"/Go|Ex;eDNVѯ@jƲV7,2|߫λ!ZʑQtrkv9ViUۃ&[r׵;KX֞|4PI;R'b9fes}~}< yI{etۛQFFTYޱeySx)l$`i"/msvޫJ 琏=nՕ1 _5I:E1ĚZd8:‘U^aHQeKߺ?;h],NS'iW﨤UK Jq_[%R H!! {wLof-q=VAr~o0H9cEp#09^: R7r4^O~ĞD 9GۇppoE-bށ=) y,G97 Bn<(z"hY")f8ETL@vƱUE"(uݩd$򯦾saٖv,62JxiCTǯprke[fM$e(@\zM1˞0BDVѢ5V&50m,Vλ:& dN{]-V n2u]coZQ['gJED=by,#|'XhP,zGqc8EhЛ=K%OG]rA+Ȏ䖅BGy靄(+.$F!MIerbt$-[d|2Mԛ,?i#]=edz A:.^]j&k풬-S5$0o+M!0Nęl5'jPt?R+jPI]BiM_:` ذ&G M_Je%ڽRW]AweB,B3!fSBBi- !~ZN-@߃f2nN=Iʙ.@W=+t1h7ֺ?Mfgc+yɔX{R=Lބc %iS@λA!ERQ,2Zr^zZmх;=xYJƊ;¿e?׊HL:6Cx^\V-qZn- _r0O-MK~!6`%斂+V^'qbo8{qtO$'aq fxIE0zϿE`Ś\pGEv uMn<_IZDz# I6?"57\0ΚS){X[hmc Ow , gv io)2w0 &{%`||JJ =4+#e:tߴj㋺}=o; k:b2{Ol_O}MNx].dITbQ`[@mٳ{@]=j{emѤ6jL>Q\KPGEۧ;_z AUI2O] bs2kpvJiUd⻧ಚxG^@O{P8':߉ZZ=4U` 6;K;,nô7L.N&($ l;m!ۄ/HX لć Kâ%5A3b;=yiD a\Ր),`bQ>I@O`N^k2mg4 c_ePsln_RG\HE#Bu_KhF 8GÜj#>\ ̲Dwj謳yV.4Y8)~T @ֻm-M"HҚIl;H.Pm\Q E+m#8` kTQ̒yAt%r|l8;&'rٓ#w7 ·ڥeȠ Z_4IN ̋ۄs >8g]bFMa^BBH/!oæ25j[jw-;oI9rgk 80ꡱaE g4k{eئ %uRu$l@ujB.C󡘚a㋔;iȮR1$(%cG/`i2 #|27@縒xO;p` ԧ-Bj3n2qU=>@Ivj0$S|WxL){YsC.#)F9; f GBVYyq?3=3"ǣ1'?v83Bgb~av*eOÅv*4 xdk_.]~4pW&GW[05Qe0XQ_#U3}Z!Y*x-Sbhol|JGE f^8<@}+uyKթ7E!_5KJe()`60EY KV HEW0s iҨۯQ6hbVD SoL."C ŏ+E$ qY 𥧢!ӵzcL&#6Kљ_T%;Hk:\uٿFF9V™m8iz+M5˛"X,fAT>"˻ہ-Ná`ӅFk+%*`?(k =b$*7ϕ-6#cu^C bX8& c.R_oP”#B,˳}fΑ>?-GHzsz[PMAM: t9{_'p7/GpF\/Yǎ/ᐥ֫2te|$H$G]̌{Q]$s E~BT'H"dRF*h#'`>,pUFlǾ oiDy}o%oi>`,E4 0ǧ#g@[#c_mg kq]ʄ}uzRݠ}HY\SBw]pwl@ϪTkw S&wtʔ;lnif5'Y‘9C^/9x0pFd Ux@}`- ?k0{rS:4NQ,eŌ%CTw*=+@Qz,`}՝Xyɹ _Б}ɘD=RN?ծz-l=)_s|mqѾtc|ߥly"d/D`{N`g SYvZ6%ھooxvu[n)Z3 x8NOtINVZ.׽t3J  (Ni-d#/+s,*1!_v{E#9W< 7Sܬ9'2x9-w@JQyZN@@fh£øHC VѾehtK6R5E Je :ެ7)(O>D&1tyM0:½ƫ 0;g,&۞orf8oq禵5ڄH}c /sSSFisЭrrm@_F?]X^~ah򠯌 aܬRT\\#R֒hV34XGP`g }(/; Sn]t]c!iw\jnL ?2⎇[jC ,Dd4TC?X#h;rn_;IxʸRSV漥DD'LtBD΢(UnRN{7LY SP۔@+m0¨Tx<'A^x?頓YaH3gTj@Xw0*T~3P^#C1y}ZR[< s9'l Ka8smY,^/\rE&YqZ#h_IJJq!p1Ed[S1Vpͯ瓮Y 8M{*6v KxusW|\W<`]/?_43u? ^/gjOV+*{"r2#m92ߖ!cm /1'f>R'9ٱgYZ7zXZִF! w]ŗXiɟCrhi^IxDY?Av|8˱x5㤼~eOEqA!Z]0Q䢗bu=d/2Bue`*֭}]B[D{ >xi^^ZpoCD |~ăx7Fz٣._u˪Fqo},2Dz~Ua<aoTE&4+<9s!O&jқP1,Zx膓p/g k݅`:DE{¡Hr}L,T!#4K`|hisg~,}"'-Xt<b$β'aJ-D{1EW# JZPUg_+OI4A$+ UG9G]sߧfaUcn=]5*V^H@ylݫHbq'#ҥ){6Vc5W!*_J97K&8MB2ѽ|{A +YQC<@vn>CS;c2]@u>ҥR#jW $3[rC͔lHe!Ɠ1@^pF>۹o<"*= fUk3~YvCEMBOm"~~"{a/6rHfsFKm &7 ThBZnzF{(5+ Jb=Q`Ry?'fﭠ V0?h 6^Q=MF]@]=aO}VkHN*jH , ϔ,H[wBK_uq p={9=fF,"5_TY-L9\L, յqhw`,+/Jeq(WFqXb[..K.Aj1y@C[J+J3n'rh~|==Lc(ꃝ^]=fSݠd.V HKȾ~3 ykjPTBƅsZzj"cNHjep8jz;M j*;LB7aM'tn0,-[@00oΞ9ɯ?{@Ĥ;?k:MG6?,0 +A=[oS9970?u;nym+͋w,j,N%h)0aD?@ .!m1)JOP0@PdN,,|P.,f%s +|ڜߜ@謗Iɨwp%N ꆖw9w}aD̄ZUȨR;Q^eh]O/D*)'1y3-{8/ ሊW厥'qi:'Q\BJ[ Z)7{®І,R{(מf[-OUoEsBʫbLmև$T#.sQMN'h;_dU[osDWZ U50tOSIjDոi{ίk a')zׅk[AUo _NX!/c+ ńqm_&q%VξWŤqsf F=iv(S.F'qΣ@*pQIMMB<$ 4gYZ7zXZִF! $f]ŗXi%B4s6~m|(a+=yz9fz]wo.?PFﴺn{^{j) 2sWoA9Љ(?E|Q7waBr߮U⳯WTlo٬{ǚ%K`Z*sWRcc-ԉqAaY^Mm*]?XRFM";(xoMO) c9PW/X=W=5궋"{A}~]06Fh~Ju6Φ!OGq蝛|?Nœ"@TZ Az,\t*p܁Y/C*@̨Ƶr%%gTO]<(l8+^;)}-l.!઺h~I xK 7Ɗ/փb4\_RE"Wti4U0¾$$*DT4zVd;m e_0H1w,uPlT Zi>;DRWC'=oao? 덬> MW/痱V9 ?srxԵhhỵX?h]fAW#dTκ0+VoPL@04S"˟3NnVJڗ 顱|]z{{P·s!Z]fEDt.Ɨ2A%@a&j ?n7n=8n-تLoxub%Юs:*T `'>TY v?CsjNGC% {>1"n#:-.MGiXD4z4^~Fr kR:F8d^N٣ { XW"7IgL@U]5}1@ta&FW]A6PC5|r̚R[Bo YK% GYHUa4yFN%I>`kY/?g !Az=V,[cI1;I{ VGc e,!+%[D"HoM|b=6%;p zqȝ=Ҩy‹ąA_S3#a`XPj ,Ge5nv;F"6@: GU* IY! x|%&)-GeiBm Y3Kl0?C79Z>fbw$'W棫$П( :G\7𑃇mI=YRzu^(E;sSt8j}eR!y>&'66=)|ױ+-=`ՂP^DT%Ɲ?nYߨz F31c/۬F[ਖT;BVaջ#@DxYYr1='/d%OfAe ]e(}nK[EZ"պlO )X .vt7&=( y͠_$}7; [SGڠÇKY[/ *> ˢ(~3%l ga͓6%~"L_?8ya/m/a.hm8_ (VoSńw&yծv6eTƻ3V#ذ0B92rE?ėk^]"LPQ@9P< hOo vDb:doókny}(:;?\%R>z3A"VΦtA\+(_ y%hmTog:4陭,Do <~mNAY4{ j|_q!ΚB?4AqǏ|J2E0J[oUaٵHӨ\mɐξRZ`J~6wˑ?Q贯S}s@A7„!*ÄT!Jx+ W\,Sl^10w>f_e9->-{Ns5Sr𫳥u;NjlT>;OI'/ɴb`kBߑxGі~l P6bSVrt\%4+tr.hj$P2SKv|DsutV#=o<d ;IyG !}4D;ف:5-y줂/d?D[l@Re/K@E!@L;R+AԩK%ǩfV0C\4:)3{#Mtudl i`hsWO_SM;EBG*.05P7gZo>?(n;zSfX}OM`[]|NAZȟSF{rSM.a&3A૪O4uk񏚺.CilYɏ-tѠ)꽊Ui|nٍriC80Uz$f,ET\֋9Ύ8w9S^ۓHu 0#Fʸ?SP`Am^?Pi?~5R ICWFW)ʱ_  pΒ|Vy&_ׁ6>΢P2kE#ZVI,֣rjqFjVb}!JՑ>ãM>n39ы=ץBB'*azoeO[>'0)G{R4镠9_H2EL:}*ј[-EfE%jy '$/:y'l3tě:ZJl>۷efI%lDF'"{Bbn)\$u2! v3 9Pd^:`Wf(gauw o!'e+{Njc0B"ֳLіn::0cx($G0As ۼ v՜ٲO #TkEOE soJv[ $uTy6Vȣd?B6$}q 4e?ޓ1 lak1GS Tc@o?9ׄGWA\~J%* i,ޚ~ DZ~S% h{ai(0{yiU尣e+'2HP;vۑA5N1A M-YkX\D ;YÇ y-j1X Q~ln{<瓌J,̻J =Y KLVUbTP7mFqe9\Nw5=1ll):r⭮sT-u:F)PӖ\ s]fȅޏ֧*u.82?ϗ-f b!ڝť ~ qv%R{c@b+4FP^bϝ3_ܯ_x n>~yN~ݑԛchZ"6XRW~k<-]4Qofkix竄w]DPk 3%#2{2)M:orp2k9T_\Fg3 q {#sdlC)`]' ZՎ .tп*ۗ}Ap\ R8 .0=SGW|o,&<KQ(CX WHēaȿFLp!9>A=d6kJ!P(}cZk7׽bQ]H>_ R=uvAhu+?b3zT&zaa@ zə6uޘdiuXTo#"t#k8 d% l32IƨɟLb;ߚwB]/d1X<*?_+T_@D΁ZW+0/B|.m/o\X=O6jGc}6-aZCQmM'aLJՔ$T/n|Xj%y 5*nGPM7ԓ 6YqZx4 %[)-f8#=*S,8sLPEm5Er X5,/Rv n)Rk<烒VbAydԄI")ɖ/D A_S/7f"h Iy_dD8ShzL- vZ]xE2ƺ` (lx62ʬz zr+J"p2>GCy ˗CF?ΑEq<%Ll'Y>M) l,>KL=(h^ҧ~☰wdhl*,rr8>K-',ViۀQ'p;CQG<Eca.MyH&X/?VoyoXp0>vJ #>E݌Q_d06Ky>)X ncbXGB%DZh[,)!&7m3bͥlI ۿA⇖࠴! |q+G47(xw{+K>XM%{yENQ(R@F;J$T)3 b\…9툙_UP88c;]LGym;p`NnmFhd_Υ^gns`Y2#q@dm*v9 ۍWfd6}ViWRQXr3*Y!VžT]-a_ UYcCT^Š|i?" @TȎ ER;D5FD]̊}2ٮ9?\f8y  :8 P6+N ?AMFݍ]a]`^+ǝ"k~QwTa4GwVE( YwMMڸuppCϟQr_ӣ2k2șm9R)せsq wdi|yP c2W7m/Ίv:"=VeqMo\~.x&k%ٰ<6Ⱦ)g jl<#~bGfLI-К-^qrφR,4˓^F3+)B8 ޻ҊnUwMMb&E3Ha&K7gҾ2ISZ dnC8pBxuG›.B29Y εnfVJthk\E'e0Ih }@gÿa]?kYAAG:*c;laESؓ#]xkIBkDE=ZKUwUG䮁eDn=&^/#PxB&Xc{F݂1a+'g b$5>)n[ShEZƘ"C_^>k*-0YHfeygj/:;K䠲ٙ(.E9<ܵVR,R_,"w$ 2ݐŨ - _d^2C'y9j7YWg<@T/;@}Pn!ٓey鯔 ^X%5%^ (HV.SkA?1{'jm2\.R뗜a~s~?`oh=jy,N L*Qb,L6 rnR$oh,rNFy15ܜOn2ߦ3TBUzճRpG*\&!tc ԉad4oq4c]Ad9ɼ>1'c&^O{[ɐj%6Q熶4\]x]n͸Fá]<]y\ӦY6=`2"p $mPPPBR%;rARCT.32s#CFJc3|N=& fz2f?`Oټv1aW̒K?0; [i :-1` ,DL0H@yj$ ZM=OZ/|9^^"]&{,(զn*(.]Niܞ\jkXW2} H e*71vnTa+ +—$ģP)lh@/1͝dGl!(*MfC̓qu,aF&(Cɜ%vh6ϺejEtOXlwDye;}|rp[ vko!, ؤ^$% --䔃>"Zojq@o.lq|Ȗ; N3#L6HҮ9G5 įEV>g9!Nyаg5 ]N|L2Y뗬czzY!s-279M>tȭtӼ@8G X;KmI1WC l__21 9&XlA.N(˽p"4s9:OXٚm/삜3نծ N17;v4*aş^0+F'l'r-1^2r+B OLպ؂Z{R!xE=%m*,&]{YMAFGL|dSuM2F4uC10ޮT /5 AVF%d8!e"pM*t&+I&wLafe5/01=L;U\P9wQ* 7mZ%rqYSƅ #a[/+a'Y0\ə P}l{$~b'}цS6ĝqy3I06fW59k s jHaٵ iƑhg3pCߚ i Xr4l6(7mS ;>o)T 8ɱZE\Q6(Y0MEbH5oh^h_ź$m: |28ZjTpz5Ug%u\MO?Owh P }ΜIaatS˟MB+yJKcgk㱀.BOio}q=G ATjt1 TJ4e8B%YqfEgXD{uPp+A#^_,tvq[I`\y';p,x341-WOQݪ~g(7".kʟfGxVfܥ nXp@II -$^O+s ۯE>s:$݋ 'R7NUb^f.gCu6adE$Fã]<fcd_< stvR|WuzLv oIVۑ0 $t*P?mYʌ+oUq \0W0@LL & BQ\xZ*a?m#HWJ` LV'*[L&lH =O,17?1$>&px]w㹙aM/[uh{A ]29P]%RD *E?&2]R/| !Pvl\m ~?7 %WW#DM'BVsĦyQ_ h'?Z.}y* YM>AϐU(yߔP,8L#7  /=p0gUsVީhGA\B*;,d7A(B\7Ό>L_-Fj:K ]M{*cdu&AD3T&6SmƴKR{\Q^0  .qwIMJ8ɸE?@_7-jdx0Qr(*MM-{<=h/tR+OwH|a-kh"wEy: (;]=ĥBD!*}\fg=`.j3a(q> }*uDhSK<2ROX )ԙD痑DÂQ$AI08*&faIuo]3Yo794\5%NZ^ E|z?WyMY:nfMmfQK7EΫ95YQ!Y` n\ܺ/Z:e*?ڟS$ ?j5t'LPʹ,2'B۠‹IESRoY9|T}.`;˗S3̟x.5|Y9D۝WH:Z5'Ext,q jf>)23%n*'eMP(jhϓ6m ^;0 sUе濏Ɛ){h_M,Z -a(c2 xZ_X/x1~,:B 1c yhA%%c6'@Bփ/zn& G-1YW5* ꬃȢ]H>c=: ȕT'6ѬHR*C4ϝ:3E.<xGs*rQ*PQ(P5&@t4)\ q!#p$?6qstjtkZ@؃fV~](-C:?)^xqP ]q|$K/81u. w+5®uKYL>Cre#CvT EK|J/EY;Mқ_;j6q/U$d&~9wf|@[r%3O{FRtq+t 5=w02iAQut/DnE\EH?J'<-Wc|2, (*k5nqPz5}))NbX6|ZlQP5rE_scҽ m,W!0Fx&3EBW\7*K^Uv0Ey!"Á8P'$̌eA' By-ηЌwd7.Ip%b_T+7`u7ZL՟M5=\ѩJop*k#eaDGt|AJq!?< Ew}A_R=ۜ@xӀGA"Z&Ԯpk?_mْJ+" `g ;R(ϑЁcS"bfp\왊ALpj/stR2&P`OpfTîb2c`G1B) iSF5^s~ c̨&d h\'M,dU3բ}9,9'dX(WMms3 1'S[!4^D!pdEտqkxNG1(Q/u:| E Lu*f J|FZj#bj8䄈Y!iEs#^cWj@f(]-6y}:SRP̆$%0ja?z?E\e,~&^Q]5B.$rڲW˜ISүV"KTj>DFH&Mj! XU DViTEMD#Jl4g\^͔ !B!tbPXY;8~tu8Xqn*KMMbg,CzlSW5˻ IWnxᔊ~O&پ:_]hi+)J ٤M"4q_Cx<Ϊzz^VKBkLZ1k?#`F|tj9U$dE1,26&y M{:Dhwޑ#ת-͠XGHmoTٙ_2exqÆAiOD >P)O?Ie5 t}EMWhp3nS+T|d D+&jQ}peR K(XvzS͝`JJ8 u^/Z<^% `2}/]f".v;ۍ|x=5Pڭ(w) o)ƘbOwVRX]OD'dGGRgtQv>l+UBP\pKtQ1-$`Ahu;ĄMnSY>cnU,0x9-h}"N em}(?aJ;p^g4UE899 U\8g[к xCBO0ǯ'G:.9 r.qhp|1DΒ~(k*\?~3VInLFM` Qwb? [C-,A&6}. (ȉARG#Q~+j` *WpX@Fz h PE哺 E^fȏnMEbg{Ab[Lc>cMH$ig+ٚ6K>SbI FvK2iy$8/em>ꅒ'bƣSu/bV~e&uHGs!>iQ- 7=Hl:/1k{2B#{jx=4CT4H BJ 71Z +}VvƐDZr &sh]&ƒk68z80܅ھ?\E3ZbRpuܪڞop1_un`*&k$Tv,/=JMiԦ_" G(dt jb ŗ+tM շBKnuDc4࣒=I v7 AݠPz}<FepQn@oUÑ$Hv쫯ﳓF\j5@(rPfA+oQWm̟G6 W%ް#"TOÀ1M. Zco7Dkep1yxlA46ĊpsT@hw..ϊXz.-f\~ 0))85T*2zJ#}w~gi ]PvEĿ#!NoyUCT$H5 TLR#Pl/ybyuǹP;Q-*n"Hi%#ro0F"ћYV=tYwn٫w%(?kEMJyˈ tq-8U+{G/F~?u>vXA__n/aZUF10ȸJ;(ao,XNJF.#|@gzDP=)-rT94NE"ꌾb옒Y*%!7mi7;H;m#∓53s70V*vDE!.ЖA*z׻mݓ-;WڊFq~H`b? 4,76bÏ·CWeS6Di)⭩x\#O ۙE[ɀn=BCLxRb>[@P dju2[0(k9ĖhjTZ;zeQ)z'Ϲ8O0WiMN$>.nq(]`LQxERt#Nf&wIz|/5:߃~tx&>1{7}=sEzArv^':5$RM"a+ a H}Jxq,CN6*s$*8Ȇ4mCmhf|rb~6.} %l/hsPx9:Tټ^4rFQ+hi5NYMG`!AѮĦuL=$zZaf/BuE8y9:Lo9VXßpju')w/I @H޴{5IMSUtw>%UZuŪ؟>E>,xXXQ-1r=01yYj}(pnsd%h19] )h+-MS8A%_h=:&8/1NFUZepH 6sC"fL{B=NHWd_a?k>S0gSWM4$@eϯYX tՆD6Ff[vdkUjy j @|}b.lNYAS4ԯ E"&瘃nъvɤBN'-Q En[;%krj :Z&̤ ~fVF.@qB. 6_ :I*Sﶉv?|kn̗1>_ewF6n{d3~;F2Nrc271Oվ)=dmp}aANTD"{f]bgN-]BJCVTDX%U Uo.aѓ1X0mˋsHI4%M&sܠǧ"2~钭H>:VsSZe@AI0$g J}ҵ@tzr,o7lKK=`xffXPvnc@ b3jn~L36D|&J)\Ĉzw$2fy ѩMt^]K~vf(ehe%cyɣ&>tʺOO{}Tt{~&GbVmzE>J^u!лs sDVBfе7f y uHlE{=Y*փV+Id CY4b=wBm;i.1ipvD r5]qu5C ĉ]V"92Kr)ls7S ś<}F4x:C ĵבkY4! &IaO%+KcuQԳ<9HAc j$wߴ|sυ>B5kkz"D2o5oJ( gzEZ'O>)*ߊG_쮚YO(҇s L- d MmmÚ ,C,@@-CQ=n9d{^~ŵC0 Y?*nY}-Tr_,T,2B< 8!sDVa5 C|lMBJ* EPZ;+m:ltqHn354tUִP$oEBEb*Wy1B_ܧte<+@_l:lbb^V<|n`? U, @ uC[\t IgKR-"N;=PbQày mdnJ٬d)瓠,4< ÅVOI^z꧷3 9X vMF& %,hAsisV#;דfDE?J}\w|8MersSހf#}L&l^L\= (BA Q=YX7E}ЯƗgo-gY5߭iOE'T^^ "N^yV7'|N£kv&uqft1l|Wȗsf\YbhusYM(!e9 aK3n6!|{?)d8MH7Qf2i 5܂@Ιɇ'{p qa*D\jyGKz#:a#i݈I&+aH$}SK|nesj-0R|ӿwZcXEI3LA,4p^D{9#đ(QQfw *zi?+xV }ި\hKI#ΐH曲V]G] :>zMΑjka"^$4BX .Y[LU:͙hUؕ,T # 1Mc-+|gy4z]d8 aZa?s> 9/*ݤ4d\% f{Û; 4v`:r0d-&r1=CH+O9~Pȅ,Y.W\[y针lJgIR+mQsȗs@Qo6nC4֏z(1:`ʖaEPFN>IE@ VapmQ]o3q^Ie1dCȄ7&u)$2dlVM@gH*b.-W@UmfXJt yטqzn·g8%+:7<1~\}X8Q@ݨdBIϠHKjMDc~mḎ5SqOɜ:ϸY2 Ei0ɹO)vΙ.7 \ئm(HHD5 l>puW+fnC)Z/ճh";5n83>,.s>ͨ):rlny"U'.wl3~4 =pVIYO:-SG<kD{2OpۓrJdn2K4h@~GF^:Zζ&nsϰlp=Ty"8=`2kFvBw7ŻjXL @YXiiH%56u|ͅuDz?FE@Žt67vtTvͱvyA7V,7ɝ>ZZU+= %An7 36p(rf'7Ϣ,N@gTIeUL3M84m샂y邇JqsFoUס~&"j ]W|{4t &4<+_מcU#p,XEz|4js^,ygבZtK%pCo$&kTŠ߸CfXٹBj`3r+ Ui;NH~OsWK:8fC[ev4~܀y` 6^JYAZ]jh_m˫owj% +.RA Mi/>%=ٍmd'}&_wv",XgƓC6"(}b+)KnX~k(lm_UDf&k@E[A77 2eV9 ŢaX;_=/ez tJasSJ6V`V.3:>LYRPvADQDSٖ*o4ʢ]kXxvvT/q_))晠K?s=RN&3`[d 7_|xE\٬|'}g;faH{Y\IP*H_RY3(Į:793̕tt߃njZ\$Β#r ~.w~_;MKYX&Gx"c%b1Z>+ZHД2Y2q9۩5bf11lbAv&Fw~^)b@MWzNE(.r:=kbl0TF[TkڷW8C=^ K9}:ɬd S$xdUv~LSRgTF.he+f;[F8R_ŦC4)T=7unP=Brf]NPI 姙r\8lӬV\ Tɺr*XSw:|o.c4wAj]CdrN}sy-;ЯqueLjf! ԺEBkvF&2VahgurfeB_͚b_樫(B2`׀RhV9Կ2Z%ϊ!oGo|oz.mB>&EҨߛ%]UBT䩁K^ *O )mNvo̹2N(xva&!wCX)1'f@;7Jzc1Qb*_MOj2&vY>0 ƌ7w'^N!&QFȩCi ѻ{Z1W͛s!"7# g;b ~lM؟=bBدbڶx!;kƿ{@#mB_ms7`)+XωV$Ì1쵘 loDP y=8yӐQHU;A?K~p-=*!m u[J֍9U:_. @szQ&^6OȃX !Wv?~y/rH!+ YYS|NqWD~=KR@(y1AZJ^wCRn(nJ%q5:Hks˙Dټ (ၿ|Gu˶mH81.\g])LYb)F3$$+)qɔzsGA5G<6nrcUV)F.s^(=ԗ̴ґ%wz^:>o4Q$PR ޕ?ց+$%!&'X}om,R/kmWΘr$tM>u2 \N[Qd8-[*n[{n >8|/ ƬMkð@ᖝah bj:*6:TtEU畻Fr#5$/ԨF0ܓ?C 2t` XZ;;Wim 7d/DNޕ@Q>pOwI<{1ZaSXCT͇=AW0  /kIx'EF,yxubU:ؚzQpRf# )QrݨCF2\\=D\Oo$/Ѕ_y#[UNĚ_6}k ur!uO\Q9 zY]t aֳy\=dԨ#abK=_-QCɛHRNՈtUS,;,P[ojFFbtz]^d50~rSv[;ZQ?*ueXٛc3H= Ŀ.#My/x*'ƔE(0H4/E*Ygȃn_t%B)ff^9|;MvFG3UC9HD1Bl1( KXDHo!+3Qy dS>{>Ѕ 3w@ Y9zHazABE|3 5yÅ>a]#C[xsi.7+$~-||L(xɿ2̶:ٲv+us,WeiM'N aj50FN"lS!WfS93ʋlDNw