SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 {54lD ]% Aggregation_Algebras:threads=4elapsed=93.472cpu=176.496gc=9.520factor=1.897zXZִF! 5]ŗXiɟH)0%ozf%Ph&sSNN[mи𱭀[!C"YBW7Ѕ.NKﯸs2T#o4}l]Һ 5)d3b58 ߘi3һ٣ZzŦ)e;VBߨ\dS&Dj|!KO1.L)PXIFLx040[ySxY`_&͊QG*lϼ?ף~qm +#%9Xg>H6Iy˺xUERS`Hg,H& D+v8\p J,)ESGXƦ ÁS:TArsrTCěޘYcA4& ik˾zA4"ܿ)o[K<8"=*Q'F<}+|rA(U<U-ܡBM*dH;5Ex :3}3Nn>[G:=4T-t@{Kx[y٭D:,̈́F bLݳFĭZDLy趩T9}g(]O% =.=mV h&gW(MP"^'Gm&\Rӷ ceL}={#DD $: )egy_aÛ]K"K1nDO=TZ0r^]c%zF߭e$YP_#i#/LA5K@DY"T1rFZѯ I&mzJ $f1vp#or! 2ðQ=:aC ~L6s ED4ժcw ñš+W'"JuvjxwC(k3ZG\{^lאbk!3[t&9,r_Ej>޹AL (c]]b~Ds{?ĭ生KK=RvźP:JlDvX=+': c FpiwUŴgpIW=)߄+]S18)iO#w"<8KzgEǾta ٵ*|qIW,{?#KC$qoS7 UGwZZJeG4GuW$'D@HdSM ?i-*^qE!e r \Oi|ӑi؄[n@ u'%cB"b )\\q}Ա2=0sMʄGn@( +ju({3s#V[0fx}G6JtlMc`vs QAl[SP\8QtOѣ?xDTf..tnYO%_zf*v:D;IOڥYxB:F"Q gOIh}ʽ1pP/uo`@0? ug s>'ɒxq{JpzXojWsINcMV5+bRQ2h \y/.&, iloY9|4HZ2|\0C̍Q5)vЕ+9^&=H>&ɨ/\yvqj,рj bsќc>*i9q73Iv&4\Oq(#s ׇ)@/AF{%/>UmM{x }\G g> "֭Q:cj1}Ʃhl!~o^D ,4rMGDYRacBLB_nѶn'w0$YSC$D' \)UF&tԊ%`ZFpَ>}< Svhkr_ST3Hgf~ *o6y4,s(`d"&qDa%3"lj9,ݚQ p$ԩք5=V"!9 ;u/|xL@EGBWւ}O@@ B.Au/m9IX).pAI=$B'9 mۨWւgk8B'ii_lTM)I+xfmXb $LuLBXd=?O'T޼ ӪXQ|wf/dx܉3CS_ YJo墵^ѷ^Po~׸]RϒtꊢC&T0eT+Jdf[&̲}`ǭ]l&JS|8nQ$;9nT0PXF;|\X(_=msa@UMzgf#",-*%J{xo> `9C)~'Ke9GCN2XO/ρc#Y,J^XȄZRu|Ajj6c{piؐߦx& 9qy;}WNܓJUWeR5sNYF}T=Qkͻf:"bs0*2gOC-o<αHMG9`~iqn\0Ə_P)1[#pi(L8v#2PT"ml< < ggԈ^Qd`;_A7V{R ~G-P_#b agy務b]ĢpU $O2#+Io ٸÅZЗi 3&\©#:X CI:s㪚E}(@eAL(ZEc.0+B ޝD)ΆDhE@4f sVdt[%J5sXs_S$XtpS$hUmmm&_V J<̓x9uj~%PFG"r?_m@~g=y3֪waQ2(ID~.ʭ/:EپNʾߋtu ׈:T~2*s aa]HwlXbI 5 Aggregation_Algebras  >v3oa^[ӷOtŚmr ۑ&DU E{q6],2 XiEksL~E8ZFڀMǽ`1שVKz5DOPS'jn RoXD#<րI/D|1, RS~Gu"k’tiBjbO` +?q/HFa_X*{RI!UPQZbbHh0h$1_'2QLl i1`)hֿsdIWS%h}e tN\W0{ziss[[ d0쬦'%ykA##S'ME^nc :6F4?ә%(Gn{k %*Pc3 7Lr #&3 u)4i|<@W=*Pu5g]vBSp"9O`9AۛJ>ggKBޥSMdb: =N)e(}{gs (sUbFe z_!Qb6 F ;juRoʅgN 5>q҉nc| aV?K޲2g=o7V`1d tѾE{P~;ӞV,RX25P)Y]ܤM7D>wỖ(OTWܹb$7q EƐ4!!J7AdF?ܼRd 'y4Jcd|'~#8*gE/}k P6Y=jLU_w$ŏ_tɁE%E).$4 =|mO^c8 ͕3nvsնOW`Ŕ0l g"X9ZdSCm1KY fsW n1J}8 *r9.dF=+8;hc;\)o:TYrU*2p!o'R{ +u7IJ/X8$^Z$ ?'8U }|{ʖ-K xHGPSoͲ\1sBqkslWz;!6wp("uw9S/q+jև]s۳xt;<iAR9VZ64LPj*P_-vdZkX] v`IB%tJz᤹߯{ "GPY9'-Fb#7f$W##JaxcاvM죭ZnsJv DJ%鯄lADw916HfD$x+{coOIag ;B?:[Bjz ;]'z;ҩ7Fi}uEwBWb2HW\"]n,>%gV pm)D :\EUާRG÷pt@%lF2s۟p89poC^טK$e% $hC&D>n{ %YWEuX[loݕ̀GO@V}&KLXlFT0áK3+7EYXw@'o(d;W5 lnwƢRDYóBX[& ϩ4wTĦ8< @XZ;q Hʃ 8)e@y,iP/_hJ-)".tYXD7nGmMu>iJi` J$[!j* =N3^p2g._" fLjHxDé;eNQ^ij|RJ!W] pQ&TE,5VmXWFw_.;"'XDgHD(P,/O;,َU~l0wkSx[V 1sx+ǟ&s)LphHc6IT[/θ$삲2]ԵL/ܴ0:۶Othup֮5]_or#뱍혃C(` hJ29&?c.$Ǎ02q#󩭭[4mJ lvI56>U7$| 79^2 BAXͿ[1Ej#jjSP:t7 Q>s#ÔczYR&2zw.f ͆8(6S68FJ+Zٰ-΢J0v%ح / yҝ48|+\H^<PuLF;CRQ^NVts]R&TH{Wi!MAՒX =V~Pdi L_ ȋ(#@ˋP﷛~4abr_2NZHD[wPSS|ݓEQrao0TD6Ju>ʤh' Ny]G0]R8}1ތ_ ]UM8q?䲥J60o]td.*.<૤Eyn,"Cӫ1ndIs Ů7Z%duvڱGaͨ+$LhOuyJnZIΊ-=yLSd*2a`|s D>)ctn] l2\n|U^p&VRd#^fÃ{hhrt0)8ݺ G#C= IP`1j-)0݄AWaN(R=}`i ]%W/|HN;$.sA/^"EnxLYHP!7m)%o>SSPW+ jW۰~UPheB:0SQ뤽SUNCs_|Ga]7k .qO 9Vn+~&LC"kHO=OƴHxe_MBGٙs۪S`ihwڼU)bnZZkҗ <1۶5~mj@.M4{M-L NϮYݥ{iD[o>̜6+FKT?h]9.?VQɨ NԄj]AzޫVQ{%RcXDJ!7lSxMЭq옆 (k"ɈcYV\@#r3mf5PGOX<T_h E{q @uūRZ+/ 擅f}{uT޷)%p%G qjN&D$pceE5MřW%j"ݘB`+)9h 4}`uH諂;&iN v$%E|Ékxoэ>5[g R!Ephb$w8:9JjًcETDճ֨˻̹u=LW *[Buz,bO{i٣3=-hfqHʡ zb[=1%Z{$ ۫pN}cXp5+WZo(_9-q}Hs Qyϴd/?nf?= mnr hB+bښ2bV9K J߄ҳ^Ԧ.-PuRɾޱD\=zIl]qG􉢈ԲAN4 C2eb ʗD94"@۵z]WĒt$B i0W5z\<9<JB1T&m$>WPHsZ-bYh *}+lA@ǵ1r J-y1^7R$ʆ.&g_rޔkh 61g
)eBE -r#oߖ+Kc ivYjw##t$ $'d{$2rb`D ĩǴwCoRQv$(UD\y9C@ƭd9h/ah; s*mLDqK[jdyϺȷy &/"@ za0.oqnW$I嗛[ܑl2!ŨwwHO#259;F>Zs(lã:@8lБR<_0_]9IJ#V`Ў$ ٔ6L$; ,ŬUC>)({ֆ"t,oEzI$S^0f4jƿg ƥ+0,k%Y]m;һ*ԂZQJL;=)˯YNyg%*Y W:CndP== nIlQxc;E<86J(i}h0m<|Ri,k5U "9$Uj/0lDgi񀺊d*6!D^|rtuԊBQ8.{W3`cm'UC:})W4$` ; ,&Ǒ-tƄST\IwBI/m*fs D!:Ug4b 9D3fPRഋ ._ߧ\y4SgcTh Z˓Ȣg3jɨIvs3AMMՍ!ܱzaϥ0|D5ɦeOpdIcH\T2ڷ]3[t`tuStt^8oΜC7bTgw%*o- `֩u樱]4sCeM|-K7CF z^ pc 1`9OȊD׆\D"YX Mi\By&Q~M"xT;KCɕ=qItzFFM 4_/^h%fqZ v lb|PG7(S{F<&ڈ:IP yb@ynRF%\u+>ZԎ~$zoSpS Q[^`@L(PPf2poP JHMȲXaa4(sxG,=g'穆OR`v)w)ᝮEu̗34c"MȫT6r9"1hl+U^Tu4I}MkCT>-ύb,VC7_;?Cg%&-Kwu>n;]"~}rKg4!KJb50_^ۻCQEO?P .=. ϶W~Xl  !43b/B3ea,"j 8[DRڂw4.2޸k.S!'Q۴yfٶWu:C$C~JFzV5;]#ݲpӱ=ComCYJJXKZF5kpv{gtrQ<rw+~5!1"M9RO1~Z521OfAlUţ$e%Kpg oDQ <O{!K$GnZ A CH~Qn72txI[tQb#h1`0`;Vq~SLЎ3+TrԂZ ׫:4LRRu{kօCʻV@f~j R>vyN-t$+z hAtYޕcbMyi-Amt~L'3AI0!{&|%_:0; ו#` #UF%QEe\yWA[xKfl(&'3dWN킏Xfz&&GqexH͐$cJx%G8jWQIà+b  (-č}O^|mʘѲJiDg2%-o1*: ٥%Cl{~M4?qEwoEr]ͽĕh݁]Pb\f(afe\YG>9m" @f[uz4JT>zSs?akY*={EӕJ\l+N A"'zW~m1j!o[J򈋕}.}L;:]}gOvhvqkobmuLa^9F%Kjoq=\g@0'^sXD lDƪ&1SA1S_Q@>W,Rq\;ox$$7;:`soKS{+T,Ӄ_{E LӐx=sT?t3tJ aF>{ ,=)?tǿ ){Kq9=q 2MgEG mJbMFn >6xxYuXghu}duRΘ ːz6 XV^BJ65Q{̅#.*Ol`[O^慜%g={i$'i2$&l\͗UΟu%+*mrSDz9YF_/F.hqLӑ^&Faz +ߏKHMv~s{]D| 9pC"\:rwBkQ7V[;QLJK9N#[J7,pdMg5f]MQ,]<44*mh p1׮&V ưV;hP>Wj:^h`c'z ׉$Q.;Z<-K\:}C܏@bixh>& $ЪnA"u3E0ewڑi tMA sb$Uz|a0pUc& S߹<UbpE)vgRΫY7%ƣedaɚOΠ8,HwrSNp˛FM] mx+gw×SK`lF"添xvSL !gD/k97~Wϩ6 Di :a{QnEB6 Fg:VsSnrB@JlҬk=@I5!8BG.44㱻=\F4= d>2 c8y+ox2\{L2ng ̷!r (5P׈40d0Hp*r)fA!$~km|X,cUݨۤ-,04!#"5::!HJeNѪyA`\r F?+ǩj s"jCC'fǤY;> 9ȱR%{$Vv>v .j>m [] rH ӉX?qx\1F!0}pȆS<{n&߻\D[d;Cife`'9%%[']KT&䊺aQJh O4K3=剡{, [R ɣ,L_=1w$жe]AБ":,@xU_ԞLȖ uQ_zucZGdFpU&iޥ;J %%T=q+*\Ct7.h2ޒM PLn:C?Ф|m-pqs jJ8vQi%ȍMXғ T48&A2y>#|/SƧ= 6N oeMM~R]ƻH;y 86w2am kБjc'MҺbҍ6s=H{얘(qJ;ŲY; @Xa.۽ iYKގlUwws{73*c#]w`Q-wPB'șw4'0dGSgf[ew3qT>'Wg1$]=`&NߏYmAS# qV ?D=tLս҇ߜSЧyq L6o)xpd}=>#ׇ2C@$<4o:B;DO/֑Cr̽ p bv13#koרZÅDrq96-R:o@lNpdb`Iq j[y X!PUi~`wDS2*>ҙBLwA=IMrpP\s萔iB,<~WxkAַ퍨*O"Q&C%X[f=Q=Hˤi>wj*C݉!~s!i0)B'ϟ9M/]tXt-HGe3e:3(3eh#̚+N۶uU>tبikߦ$%+I"Z  AA|4%hMxm0 i~^/SR3ϡ@]ȁ(FpP SZBūM)循;.T`tNwaa*Í!q "H9yl { bjx6kWheSACۆOը>x[^!& sPV. I n A96͚pAsr zE&8fj(b.=7"Lb*[ǶpFP+ػ%QŸN""{%B7W^p)q}ˈ+26ttѰFG6#w=ڔ`7»KY'{oTUxV;n(xuQkL&* =d'x ,kkqѮt%[bw>|nNj;DJ\:%: Ȭ/݌'yPMgݢÆ%z#:n$Wp["x.?vlKwG ;GƶT˂i-ʖ;3+zt>v [u x-aDaTLRoR4''>M9Ѽ)2T92ݩ ΋Jbh u]-u!3\LvId*ŢK:g*uddW Qx"V"PDsM%":21-Zg:!"="J|A@2#cX/ȚB)5(rˉՄHef)$ ?'n6 q^L~B:LXDeT'6o!|oʬkp&\%jn[y v ԇXDPlݨ'T!^->RfFR\Z85-Optq଼,2XQ5m>yE,#?@5ĭtjB,)a:922 r KP̣[P0ȘlèLlI]y+$ N鵵!5<Co"ƟxB|ؗ Qi\J˕s\*qy` I |۱ۢ$f+иHOp-88blXt;fI6oKh $ .>Nr g0^`UI¿\dW\ed)%;8Q;m:%:ؠ?ݢ[jJѥKG!v-\,R|2g\O-^,8@wx`Sw|֭;9;}LDj鮚.%2۞P8TC1y5LcYڶεC+5)#e:J`͆yx9C Qz2v7RIb.po:k"wq/tq߬~Ӑ `FYa[\]vh*\yKy :;_%Prd J)Xf.;eŽ\K\# SGrz:W:ϠlU͎$0ѧ?jຸs{~:!WHR*ϊ\_[w_t_+BɯjKń25*"N ^iCgvȟo*(B4 cſ Xg#+H",^Cw:۞hlUs`RzHɜkJ8OHUSrve;8k/ѣmU/- 4楀1<,Lcu\_] )v~{y(M)4zd~Y}S.k_/ɋiBP_|=W6L=8\OfK?jM+Ldp>>K9g5m = g Œ>ɷ:Y`P:= e%H|1l8B6Qv-9w]+Ӵ *u=v0N_jO!PTvc>uPN|Ͱ12V[D#$>Uo٫V$A}[I/k!@˵H!jCŔ*!aFmQA iZ믵V2Ԅ&&x h.]! %KA{`LKt86fRw1vTWPiك: J 6RS҈~O#{|^F#Jo>,2BguTDiULSg^Q,,x'Av $^dM$/FvfZ.8+A ocЉ &?g8J cmr'}Lܻi(L w^9d٦;^hrty \N7?T klb=;܈Q,j;6I|-u˃0=?YPVNW%}-_UOdC rM|޺i:4H> f,<gtr{ $)\o(& +OdvE#N1+FU:Q3]{F1Ha%`/I9 "0.ږ=% [߭K1Ѳ]b:I|;ֵT4!>c$j{0W{VK;ƀo:?Z)1مI^ I>aAo^UҦoV'A' < /h%j NT fU1)pE/O\_J+to+6+٧=osBD ۩%*rCoBFcYܣE ۇ[ܲSncrEgghJ5bILÏfLOkhHb,=[I ¥ haP* `%]>R0O.Kzvk|\Gdz$:(oP(p*KBQ L6Oi|UMT* 5.nB# =`mu_RI &UkqWy6e5lcvLG3ۼ-E^9I(FgQ;p nm]٨Ohs8Ximcr| й".e>I:`6c(H6vb|ت2/6\\| /U3mu_Y$ZfThg(Fɉs53x¿ k`=ڒ)4X"&{W1}M, t;3Op{CgqbȠ_ѱu#9˘uꤚ M)uaM*WF"骍 2t2OF`#rjkB?Ɗ֯~1%v \I_ =/BO\kA$q3wD[9,2LpZ"x0ɇ\N <^( vj0蔧ȶZjԡG*EJzo/zFb0r8w%X-JBOo-wuXѡ@'@8s[]'[?a$!C ȮR[ᘰϱ ;`y 2pAங+q 9%wgdS`MP4tj]6֫#1PP"`H͵ѕg&+: 潛MҷPFLXXl=} Xl,Y@r@p H :b1{(LVEŎiKLmΣ-n%geפࠕ}?"64n˳qL#Y1lFos@wqD߮̀e|ugCt,0׎Qylm̅ڷ-QG0ف<L\ kٳAFզ)CfJZHy~[a^M=cz<'SK([^PaA}l(VF) %!/Ϣ,TJTd.] ijO 8-.EyȮ'vj,CPb$ Qt~ÎfK٫~m?x$%7<=|5\sߚhՄ%j,vB8!N((+CXQ!|^`JOt E(-5d"&L+1.sIj,?X lYޟR8 )z1r,hnDvELoY?5BA[\i \epZE8Л7AEUC7s ~)mgPKS[l5ZVBtm=7*E+qlsfVZ~]Y~ԋ&rR /Y4ip̥ {&̣$,3)*=dӹ~[s^{Aor%hx= ;OAX}gfWE rp5 |?UPZNԨr ] | Za|`tۘ_}4LK!P\2-On@3q=ٱ֫ހYT댤[Zl?Z Y4ht.N;):R $~F2Βڂ#**_ CE˫;_>ARҨ]};*(f7Umӓ2lDf?͍#»9BGW^It@Ȱ; tY;"4{ñowU뾳)+2t'V ނk`;- cp>@}[?$ҍ\{([3ю H~)< 2m~q}SdI hQ*("x$6#GRހ2[FMe> e x[{ m[oi+=1L-N`_[KɥPUQ44tD^z C;ݬIv+ *i8/QܔT*Ze@Vp;|+émnhXB*YY~^0ʄ 6;aZb\%ؙIqY5hOpl#@W9jջzEf1mG UM5gmQ]^:ݒph#v>p^a]d|EpW;*~Ay%GeɛqY3y*B-z0s=y0 xcS*oʆZp$:DrPd w=π4ڰz-a5 .t9̈-nfmhU69xoX.jK&YLeEDrb8q%3W:焋SRg 3&Ca,Hmڔ49F9bұkI9T~|p]!l\*WqU:u1A~#7WF]u-/Ϥ'.1rsBCz(p@&ɝe _pMGe QYw<K"K*U zϦ<009WO;~kovpqU}0 "_.Fs G-&tdXOɈQrȮU1\XpK2 `#X{B5TO8a-^dCu<}9$r-ſwt7,F]`+Z}PAa\5M+\2QmUui =\ oC\7IYS5hú6[ O{H,}:X5a|:9Я Ako^͵?KRK/@ 9/펍(_WϪ1PЍ sýE6A G2D݈Gl_k[\ ) TH{Ib_n* ]eA$*{ Ld\ˆxyDՈ1ՈkpgI>A! 3ubr y읚UwnΤ1%K\ tqޣC=+Ͼ'ax:C0`ts[M,dOLmm xlu0*wǁ.8FobqLRqqۢѲ`M[r ;? >O\xKNU>T/ȣU[E74}%8 +r eUd0A8XCc}0P{z-kZ9LuM'7d6HXEk pZM%ؖBjM/R8-#Ɨl> I-/%:07?Gi*1( 7[9Bx!rR3Wfdi,|F;3b3ڿXv=39s"a՜ P6/i 'p)n[4{cys!8@צ@A!=_b^|]Q2ng?8Jn?ͿPB IS#龆~8IQ#0v#]/Gjkay,~L|w o\WND\-gLHEIr>PzPX٩C{L؋jyhWr>]QYL٫,|*.tqs뷊#kcTTXAZUpSW?N•2 KT`{'@YM(l2Mq0`H*p &63qY!'U `˩VҤ gh>R7~,}LT%ѱ䷝F1p۝ޜ䍔vDBlRaokh9zEGr2}3z 2ti86&An@ U]wRN[ iחݰ}.E/yLy7;{,]ǏpZbmXʷ:r2Js;5m.fr%a~=ޗg_#}}صE$]/ݒr_0 WusC0 f9Iju26{݀ dMBAp|/h$1Dv`@E8 eCIKz 9"+h܁]KĿ ^Lь@AA52cῪh1qk ERX6m2+Ʀolm ѤM~Wj/5@aw:1 (:DžV/m{-*yu aX6ylNnoSpeA| [TGYBJ[7Vio/^7 Qi1W_-1j: 76Y/$=Rdˣ&)OͅA3i﬒6uμNQ@ @R j($̀*ꤿIc{%j4R)կۨ",DEf~i!hcc1.M> U8jY[&~(F=갶)qo^lR) ~'"" #&\#"ZL'p؉U}1}ܞBhz_x}ۉVk,O1-q*?R bUn1r ӤAԭ@DP>I(XX`# 5; 4E Ay9 ЄxE~agJӺwj,7F2-/xT>VKY#D`ԗ5x~CؠG6O-mRRaut@FbA)`HYOcaNHzȵTfVvQD8ps*`flVgOtɁԃ㽓OӚwטL)D#b_ Ƭ듨ԥnb`D l_L1V oU%)=%гFPP'D X͠ү5w.&J1VFw eGBr,4r'qT}N"b}#ι\ ?ڱ'4S.Nc]ѐjoɏ5+ў9vR1eeLa-Q#pbrps#ߐv 'rC2mE\5> KbD ]&NPX% \ ukJQ6hCeB X)#{]j]$'.yTK28TQ-Eg{uN-0m_u>0$p^^$VTC\,Fŕ;x?6I%+gK|NwMe8 R";i5Wt@("g ׁh0v qm\򋋇%oşVJg{j;B}v^7is὚ڮPc髷V%խLv~wpVvY Yg0bx 6 ?*Cڻu)Y)m&a]hyGt^Za0*76hho8`,;~5&v;#_ұ>Nן%n "iE۷z2U/^lR4&c-JN~ ٶ=7  !ڼ>~|+ML[DZBۖǖV CgT>Q9[Bfba% xŹ(C% nV`99sI.zˣC+ -G%mqAz'BWg?jn,^O;^/"2 ^L 7s4E H;<.Ų|bg*^cm*_IHß96lS@W5%xw)ռH~h=*OۥX1'.޹#KtPbGj*VtmrRg޴Drjo υ'ѴvԲqs({%r׏L*f$d_Bl wt3ym:h3|.Ϝ: TGM,+BEAY#WI$E8-ROd zPl(s˺vA43F.Ym?tʤxaJF. C zM1i{+&~ZN'U~'II:( u>UxM@݈v`;&|*G|~(-S9xE1Жv ނ>&+M"u~<77m8GdWOe&4L/Z 9ϑڦo7vv4D @)AG6U܉Gx#QU''@#gb&O~ PdUXfl-gatGuGV?NZׄm# /^q.^ w>;7@͐݇k@ci'lVE֑pG1HOo =Ч՚Hgo%4g*8s{ L7xƚU~ -3TtdʈNV?<ꢲOuʦ8\fyMu|wUHbB/h.hms"Â*X8tٟ8m> Wixb;ʓBĥil4`Yi#65 %m Yrx$wrbYGL+fc=^SPqZ oW f;}xkh*ar0(~|LfR.L;rxlfEC7j}^*ęrHykm#mY#Kz,/=q{{"8 4:Q^_Q9%JʋiB-_N ?Q꿡체Lxu-I_Wfv%Z|a%DKnk#(iŀ45@U,"Vb KH $KDq[2v{Z+RH0L@%dLޛ=хL,P!~D͜șfI*EW1q[HBîs`MV`r9s2=;&᣾'mxMRxf/v Gŕ3eL ʁPU"Cyڦ'3 Dopuxi b~;P]gYZ7zXZִF! ]ŗXiɟb緒)蝯2KJ&+<EAƚ]NbO"#6OyjY6+j_zvsܭ2VP}|m0ZBF':3$yGPX + Oo/ 2#;JM+ztMКhyKvk7[U$PxjO? CC޿*d?q,Ymb O$TgYZ7zXZִF! ]ŗXi%L!l-;O3Z+KKzv 0:xpGKK_6Gl+V&=jYvRŲ{e 7eB& 0R=GLVk]zs58[?6öcC"@*&wHT5݈U4юdZA$&H捋 N{: ~ cDy=s-1HkzNw@'N$u'mjoRF}mֹh7bE*Y .gAu 〱gH^H1cURz1 Mܛ-֏v]ϝcZpA](XD#n*4n-vZ\DăԞxX I39zqg'ې,||Ew;nɔ?2gT*^imIJC@'Ua| R]| sz0ĵ: ;Iuae3h-\I8/+u T0A/bN`Qf{(Զǧ%0闓f09r}HvY)c|;=DsiY20͐14둄<3ycO^E86̪׼N&^g# '931qcG 0xXNJ@ Sz`.!ƒ=<ДOA 3L 7K,8<(<k,yֶN= :\Gb$wN"+t]5s;YP%iT9؈=crQ ˊ# >)jy*w?MbVwS?7~}H0<4Tet tZJ=5eLkp4ȑ7Ata#ZEE|03UE*xoaϥHWBŏ>@S-E0A*̴} 6ǖ|D prFP}p((tbG0kJ40gGU9$H?>bv== w2gf1.poUJmbE!k%1uܐ@1znlayficfV@g UU9܌)>g#K'ip[RbC*C~m}l㕍k\yr}ҕbQqښ,Py }>C dfH)7Oa Mhm0VR_~Z>L<=z继4Ae/4;mmYlT+ht"ҟcm {3;הM$Nd<+56ʆ~q,M'7sLު~F@ n͋WxB^Rk{?q2 }d5ڽOz( Nrz4/::S|äp|;$R"YrME^ Z`O]i^LqQJ"ƌ=;M[XKd/!xBt%CH<gQ;QsOW0Ƞw>5iҡ#Pl6-k?.'k{dY$ҡ#!C>RLepjO\>…-8=P+Ni`]8;5OW%-ۺS*8S-qg Fsīo?M--汅9zgtkӈT>]}ٙ~CR`ޤI'pޤ)0LXE!Tؓtn!:y1gR"B N7sm/+)8},GugiPduA%9a }' \)XХ.(jɏ L̝\Q%B)`p*dNKU>YiX1=28jvH}\78ly=7mp X]ò晥aɔ j[WImXT0$R < = +shI<&?)$"2 !|rd6p0nry Z,ˊ?Qjjr.3Ul Tێ >z RnCC[{߽O^eZČiمm#YWÏPxӞk[I!T6nuE"FNm,=Jhdh"vJjcbgׇϻ+Sp㗖uaSVڧe%70W> NEr]`,:#9V+;an9Sڲ?)r:% H~).!fy TMMܲ$.m :})%.|̆xJir{ZYw p:ڌ{@ `]:rX nyw#^{@ 8 Aa͡_9E"A @~WM1naߋh(Nʢ3בe/lGн55M;Qz>CP…5DO^^= h 5;oM"3OXkjWWK/hrpVYvK{xD9(X Q :2X$bM(L{OFSD YdEF׽  wD c>{s)OIN&!.PPkfc\v*Je<[+Sbp ګH14Mߌ;}]Wi?Ry7OKRbfuٲUnڦiUyJʦ~KN}ǵ'Rn+`2XgT4aߚ;'sjxKk`BvxqQo[I>Kg)!E*kkԷ K+Jɵ({=Z|TCe++x\#CKXץrƭ3Pokq0t<9fVn)4bZ[cݛ?\8)LFUt÷V(vQ҂tzG:r Wk rDT-MUCX 8TT6Q5ρ70H3Z21#yB LR#$fuPsQ{h+ )h~KV䙁 Hl<?QkR(t_??H HlcNJHDlks^Ք+,l !LxT4sX&zZr)gQ64o~q mqcZgCBWDڍoEK]$"obX4QM[_𗰄%/gY x-DZ*P]Ls.)0ε'SWحP[j{kALuWFg&^ɛDJfXMT}Kd i8ЍNSvaPǚy40wm[v,^ty @p]hBa~r)OR"l ^k܀9-*@SL]/QOa n֔TKΑsE CsCFRЖSEwēc4 ^/,G6x hh4G>0Irօxf3mʷwpeƁJ#V(1\+}4Y) Ȝ^kʭ3gYZ80bd8cc9b4fce9c570b248b77c68a436e522e2058215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 3cc12054eb661e048e3a792ac4703b0f2f7f363b 6e3cbc4a6860e287d0d71a841d0ddf0d92553b05 328695442060b60200a2af4e11bb553d026ff63f