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 I%d< ]/]HOL-Analysis:threads=6elapsed=320.928cpu=1698.412gc=118.244factor=5.297zXZִF! ?S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`)G0lj_om~yI[S8K~J5q\Ug3VIWm\% ]'}V,=%0VZyLJʨ? %p\oV\S'z{GΰD3jg~.K߽)53^')"p)ž(SCW(8ÒԹL~Fc ('ī*M~`ĥϜ=10CZ֐@ lN@۱qK@ oRݑ41TXTr(!eܘT ۇhEoƏ `5]Ϊ)s{+@pwYEՍugY3Y%u&{$|P Ԅ_ouoC7=@` ѡ\r{.7z|S3}Z )L3ۙ ՜sO>^딖bT11|iU rY)%?Ċ*EMr E)٣|ł^(<[1XM[|J13tIuA-J<+{q*jv.72qʣV=M#sJ՗JfvLFaK_f)p87\̓`f4TmsȨڤ2ڧu, Hrm`YhGMc.iΤU@EgJnM^L c"}gdxŤ/泛 ",lF|*]ny0@`k{}qoo)ӯBu+ VhHTO5U _z(GS^vЏo y(=DZt3:pESCwBУ?A=4ԠuƼ<XUg]8A3H R\Y7S [_(ً ?-]o_-&Ay=諂쾘 L^RAz~i?IEk%(G~v42>NM9 Yɖ9.KMB`(VrإT:YhS vx!V3nF+4QϧZKVH8܎-Dk1BvD%~>w%d}F[okU<@J&d꣥>R6~) *‚U>  }=8V|ʼnL]ݫ@y%.5՚<%G=:|45QӶ+T9T;3Ihoq]uP`<6KAٴ\_HX<q".3ok S1eϓ4ߌ!vj 52h!x6RktLNӴMc|/T ̦=;TaH) %h1w- ,Qxk,3q%c5gMmL"  ఈ>X;iwKKOJ@IU.iQ~Jx~5%,`:&aT7ppUam,5r[^}/Gdub;vOz,aׯ[uOW4QrV|εʙ_!%Ŕ7m9ߜH4@4pၦd(Tbk =J6~u=a ?7S91X[5y{W9'bǔf{G?)NQL'csmN>՚rn2YQ-XRS2lp+p7b_P[5|Śҗot2̳qB e:$^M'|ӈOJ!ffSLB hh ӎOnwJ>`g΁ <Ք^Srڵ?ٮP}WNjy!?)A"k\ l[4SPd=mSAuʾu3(g>=m7phH'p1dV$'?P4ad^M ȑV-G8As}l꾛nsI,/IڸA)PU(&E(VKx)ǚq$MBlb|#+-=uSWw3ka=A{I<`Ъ!ETv}!fN C:>߃cziDoS,ԜLbtF*0d4;2XF6Pِ9NoEn%C%"ƌ*vC&1ؔ P.4@0@(xp[XOp۶DO/~n]בR%c~㍫~̒yģ 7q"SS= L!r-җ#TȫbExh`llnaZz;W `ӳژ8? B@ ½4EdDd`n{(3'\omE,mW݋d0p̩rWm1Du~;- #wFӁd*58\]٤,s5Ifl'y/T[@YM.J ߥKV,Tnm'-4iHaH_RQLW[wåv&qӷV(Jw\S֕p#Kqhᑿ./· ixU[ƻȭ^>|/]^ % HOL-Analysis  CeʊҖ T?EfoS*B7iA&*]9B<ocPdTgm3ۦr*5^?:D{ fi9[\[0ϣM((ktU{_o9Lw@.I'7p"+mLmd&*@nkUϱi:Q nGNې}oX$|uQ  9z7Q b*祉UF")Zn-sN!P JZ>"eMQ#4]E o2We4ى3 Ro5;͍m{Ɣ-’צ:: -bJ4;8>*>1J٢op?״o()$zR}>M;LՁNBGV+ڽ}=rfwWҜe~-o3DyI<âfrY:ȏ﴿R0Qq( u7кOtA}EK6clygm"!y "-E$&4C9X!N ;&b$4w'ك rֳВZ甧-y<7) r~9F8@qWh`֨o)xaFώ$ʩ?ί1.LW2sZ@'N⋰ {[eKzF ~$ 8Ju"Kˏhc'vVr0C F$( 3:Zs[n[7 RWc=!'8 Ԭ*O_CV)5! ՞6}kSw< +l gV*Wк8bQYe'9QQ\]@\2D.XccBxPo*Ms2l)X|XAho~២SQ' ; 鍲be*M[0 gϿ{!u " b ,9z}v@b{:$2^-o\TB e}!gHn Q Cm|ߞ. x L x՞i_vzq6\sՋs[2zChReq,/)ݳe$arߩ ey 9<< 2 ?N5 p UݴddcJ䌽ު}Κh"mu 8>c+ߖ@vQ5;Tuqm]N. j X(W QSzZSbj˅_7Rt]bПku5ռImʳNg]؆.׫AZEWL|}+'8bkS+o"ńu>HhmsjNߢ`aʖmK : el5 L0ت/DHk%FN2*ǨJЇTsC̼d˘Lzk[ǡOPot:Vi*VKƄ=sJ4MW-K?/٤bjs%~FΈ~yC$l5bRYU,,TѢiLg}R?f2:)qM]z, &N Tý@H`[jn0K$ }œsC T٪ʨ޹5J218\Nx^HjfW-F5~~o!R I~e_sFZ-'ۙK(@`oZQ }1!vL3N 6Kq`\1zYlzj*~§޳Һ$!-%j%(n![#.@r"n{a\I["}':i4n4 W5JQrTV16o֝dielĠ8{"9K7$~ͪG!#2 +bqW\DҲY_qθ>{(Sf,M -`7g"8?Tj3p]f1i5[boVYF輜~pXy[*aCʐ^`EE!`{^A.fx;{fCz;RERxqV#a/B—,9f[L&}"w,*]s xem 4|D:RZvt)R4 ~[D+ϨJkf7&2'ʣ2K*8>GW8|8YȆ?Ilj"87~ =fv[zmg7W%H]1S6؊YcqמjyQX#4%1+Z=Ô_ZGP N1^$tUT`.!wqKjg}Z}2sTc@(=}m<4N!͍/&ڎVr#)߫E!םlrDWX/" YH9>0o]7=+_Wdz(g"dY# `P@-[͵j>ODrmH?%F8$*-‰ g>Y7YE 16Y%t'$6ŹŁc<yh $mAfWdvZk@чw*ԑhۊwSpH0FPCPd:J}nX.M-_%2NE\!+pgmyUTcg BTRknʢR'HP$zg<9y$V1^xUL:Q7R]7f\4K9q]@K3j3ؽq.vܭh&m*ZơOmAϯG206v 'yu[ʚ@<` _m0~D<6BuV/ym->Ot@~&n #Ci *"Ӎ%P4%2c tNl4!K>ob۵yF)dTrY"խ Eh㦜jX|  $BBw}20aX5h0g(< sO,D zF'#f ~}j†Dϟ ;%NgNEe= M=70JGl}tzKJ]s/$YjObdHa;p+Y.kL_Rqh .K0Ң?g0\fXtMJGN3~]܈1"3L+;][iMiT7' P׮)8o" 7msZ^ZEE4ijX}'ᏫewaqY77;2is.BV3J`;0ƀ19ߨ~k̩̥TJAҏvO=-R' IFͮTgeĈf= / <(K54 tk3[y\v4̜sQX&m-I5oĻh2D2r<gA M;-4^-b/ =.Bw&KM]k紅IߟUjY?r!L AfTAO YrVrg۸ ]¶:]TʝTT|X˹=(0B&| *wmzػj)Ns-[~SE(`}k2+mVW4*y6?/VmV@s.5}IYhG-+(x ’ZR`y,8k*@\})ؓ\z}4Ph7G Ԕxٓ/oH+4~Y%r*Bj5\i/(O3r«c;Mb/;sHwu+"}6 5mBQ=[皎$=6JN< M.b3dCthP,<?7 N3QԿ V0ߍP`5^KD XJ510Y7 ZGWNxsxlFDV&_!$mqQArMyTqdמZ}Թu|I8,Ks^!Ζ9Bv{>\Tq5[%ӗ9@u3n-Iz-ԲL5DJ s 䞭} w'{Dո H$21ӟ4!oV^XkXbj>g;C>Yꘊ%PU6ʑ+deq !=/âS #@dTTgvJ`\TÄl/͎q2i 0!}{ /yygE=s/v@jƻltH+:S۲Ogb}N3O>h5aW=X2H1\ :}~j]\|o)5~@)4$YGLtMwkɁ͠RJ^S[٩%`t^.=UjRj.LJP +zy6pV[>#y:m%UÊ0[FElsg$ CV;'MrLFlO [̑< ʉ2wCsP zVcJN0-a egIS E 6 rRI>Ibn)[fv k>~_%VdVTOZw笸[%556|4"ry'UY+'~q#3  G:st9{>57=OpsnS<3k]ǾZ|n*4cJ V2?E=A+hkw֦{3:3*]g?'Qp?@A݇;/X\`pJμo⺲8{FJF.}4bx5*Ý.p) Mbb5azi)Y`SE-`"L6) ^Ь~;Rxs7g#'ugԮ[mLr_{X(BUÁ]1i+hqfyi yגP_PQ"&/s%U\|^%jbHe!P߄"1(`ְ=H-38*L$#36=O8"c̱"W0_kK4cRwNKAnm"ʱlJhOJhKAVM ;t!;O|#cѱf\}/Y}ylPlC"~Eo:w74cq1nL_4ՖqW̹SY rmL[9,A?'TyIv,wj'WdLAJB9f3@oRTڥ3|^~O`(9lUEU64nO֦-},MUI4*Hx\p\*2]H*4j{Q k΢e=Q>erT0uOVLA{ÜRI5hȞR';jBT"0PO wļ/.][}/ KܪMZGUc #D3WKbK#QNGz gͻ`9ϝ%a.У֦}um\ K<Ȝf9ƶT;Ń|NL1y\Y~_JmY "lU,hȓO更~è Jd$:/Oo ZbC0:OUB%j?w# ګJɋVQ: Kې ˅! kq ? )ūdDg9f,$WtAFkᝋ4^.vFލuKY0FTMfEDe' 's\pԮ9#b|C7h|%5KS. _B$ӏ*)F?GzbjK‚GP?6ڹNKf%DӞ֩:D4o4lyN]  Yji(Qu?&5iA0. #D-ӤgE}+ zmGރ)Qd:,E,b԰7l:ؗ cR{ r$k;>Bd3pyGeGﯻ;E~:9eC L4-I2z&?X`0R>{?ף: Ђ+ka#6']rL#LK!!ؐēgEh/33ԿDq]chb|VCtouKe=ya5kҙ&6F7gs.t;(zI+P359o\nk0h&D)G Bm@D?,%hq^>!ž)p^IGco8PMbS܈Dj޽msC pǝX~96YL7k}a\8*\4xä/E~=C`EZ -f5}+LX@׃2)//$![=Mv[I'zʔ.D8Uze[_)֨-S<{ߏk=x8 |eQ:@ &ʢ:E q@.J~f%d!18g2e(w23OHKLT/u팗<-ڢIo-[) =AxTg}&< ڏ;d$>թQcSɋ +׬jUW4 t2n^O"5oJ٩58IxaGTT4Rap6i1y= &-Kmz`!^5O(ZUFTR@psm^1.ܻrw3dOlTV>=f~RQ($,|6,Z QkV_Ϸv)1qΓͿUd1h>IpJr .6Y? ܱ4-w8X.Fء^bv:osy/jn'Q|P9Nqeƫ9. lc͸_+VwMN|E7nL'DTX!qWcϊ=t=$}IYxZI".wDk"{ği)Ki' Wp@ L?>?J*/ ?-E|ܹz@YE;εZTcOUfܳdxM )yS$T.Dug1owg!WSphDd c(`X .C.aDQw[>Sb d*@Y, >LGgV.DF OK¼Eq݂ Y4D\32}-1M #;$TAnP}vk_' [}m\lݸצ ҁp(j(b9/K^~H~D$(0uIVRc8[^W _nޭa/JB[KuPFeL3K)xhAq71D#3W@^sZjx03~/nWS{譭% PPդzs=)Y?ϡx3 Ry 6& k1YiQ?iӯ1?y**!6Oqb 7%>Ϧq)/A_(Q3o- (@=JLSd"[|c>.k249kQ_02qtD*̦i~}rL]8r.S04uO.=sF"˦l:Cv\c9% O3ږJƩhvdg>}~JZ,!yCٸ32M"gQ/M4I Vsa"K3c_7CC0G,98ŒRkͥ>&xk<ӥŷ*vȮ ! &zG1ybQ}BW>=l}uoF= Ef,K} ckR'40ɬ|\ueYf1Jc}KèS+^%>="2Ly( G#qL~zJn,oΗtui%*ʲK \-=4E4VwY_8gx HS[WF:pыC__i939YzO q~m*QѨ=p<G8{MMu,yD,T6AK`?N;ng*6o}?6p/CmƮkэ,ArdoHΘc rMQ}`¡9|q(4VM{SR*{Bi[f<&qֈ)Qdj5#L&*v=WI-,%s0A=0;ȱo;B,# qiO Js\,cڟѾojp%=*Z"/,N 2@{GN_2zN)=<5Us[@&ad%hc)z5]U=$dVksU)s mU0B0F];1*4 (MXԭ?$@Ըj@c-rxaG-;t7~q3ң㭻 uUsJW5#]x=EaNlgKE7c!pJo#lW*,,R7_O:{E)*! &`Z}”g c2a<_Lc9槴5 w9k'^@9~ : $ՠVK`C =5R+ٍ6gK&}p}J9Qj0Z}-tj"u0 ~1/#.T_n>B:PC|tuN1?,<[%JΙ`߳՝iyNދ>UnlAohFJ+4ܣdOlO9[;YSкk+✗}Z/_nSogm*KL4\B}ah򌆜V+я"1ƕ<;(L+_AtPQ4HcR > O&+R^Xumҷ+14YIңy]l]7!b¬cڦ%t%Ϣ0Npyg K)[cB/$G_f8I ?I([9 e`'hnm0n{7Mb%B&鎸tD>QӐi朗 {?+cu o(?~ũ-wvO8y^6rQ~ZFI`WN&eGߛ0%dt +á+_sw"=ohKpzml*zSS8Y [ *]:z+x~ž!ކ >/>4FKyS.ϖAf ;ˬV?ctApxf7p4l'z1u_5+#g¬G]SOOj # 1utNB2!}2?Xfy[n]4G4 nh4-5Z |E>h(OԙR H:mPAվāqm8lnzC|J3=h%~ХfI'P^6BltB~Znut!ߖ/v&;K$BȎ-nt-jGмl:F<c|x'_>xR}s kqgKqG}UƪӗU~5")X 'oA0Σ0ɎynVpapuV 8fèxo+}gy >3L!LIr clSǾ+ "&Gڶ/-Q]ߖBC%ri5z4V>YwvYojo6rxrS}إqWyؗ 1KgƄXs qQ$Ye;mAa{}+1JքR_?7<Q\u) &!iOC9Zf=a4P<{XGI8(¯4Cpkoh\;ry_ P'j$y9Gt$h"IoXve LH)[8hh0?)֊b꾘LoJN\-[48X|&edޠd}9Y4O _b)ۗ Щ )&rnF 3ͬ(Uu\uAxqdJFp0M^:C[6?Nf\UmOA=( -EZgIāɱ]Ŷ.SI9w"wnIMvRȏ~ %AFs0ms`~'-$ZH}R5a}Z~t'p=VdNap(g x:-Pٸ9~o'UJA,z5>xb!ӫGA){pyQqF$3n|"XCE&8nnܝP,f _׼ V+8=*cT\$G797sx q_1,t8[[PoBv]U:u8D3A+Wtrlj,!~ ojbj?ӌƟ/3|9}K&UN= RKS1 Z$y?+C?'sZTţ4oa}rRՒ`2T׶|NZ#PN9)?U,hO>Axsؓ TOS:"X߯8(iBSHfҶ0"@ē{ ԋd_;;LHB( FM yU[bhަ*t^( (?hU:p`(4iY5PԸ貎%8g ڬf{,_1hĤQվ}6\\?W[oΠjqj5a`-9Dwf0G`-wqls9 tZjsq>Ngސ{Ը: da G`¸CuRu g?\L)k>Bo3#$͗}YjwĘW"ǙAsDjQ M`PI g!߫d' @tbIQ7r9b!Q*!  A/s$;3cCH&u%g\r)^?|:CᗠÝ`{yi@h;k;i}ʔP!%w)ZarHl hRϦ8Tpq",'!z\KzuB_mgbtӵ^St熏 0~y';XYkNg q%(aq\OT0ڞ"T,( C,jA%$}a+K͢v^ dkGs$`@ QF|W]QU716 uN 9QhڈwFe .xgvAM:dx{l3Gv7_O#I%zy(`k=P@ X_ۋo?(|ViQ"'][` ؚѵdž NAKOʙ%ܡM]iB.~%/06U[ˮԝwub|"1ћ6ȧ) 4]D IwQ/ <=hDEw}4L0 u0@<3̮]VjD7y#ķɑv}k!%%J ? Lqh8 Du=gXEH, J@3Uw݇Q:3{14u^eב/fen S=-HI,EdYBҲ-8-ὈJ9+A>xk AD;y6MS6zR2?g7HY<79ldf!{@$MtP?!Ͱum+Tr܄# AUT5bPu3& Xqmq,Vc%.BHli~Xqkf/fө4Js#y;72o^S^ \+԰p ?7۴FGmOmx^֊<+ktK}Uxe ^*8F 0;IBjyQA@ ڽ` ~e!駇m@+ vBsaG;ҡ1SD*5y#% :QHUuxBȱjFRu1Xҳ< `11;v[+dt2L >*8z1#Yvx<#X>nT&aJMQrmr9/|^7Ϊ$ $N0kC?Rg@908q! 5-:5=1Lзp=^^96+9լZfX5M!eV?}SjT8VGY&$HhR`ugʁtqis00Z tq3Qyla6+fT3lCLJΐEmtһH$v Eu5őU=f3IPJ+QWUWƨ#Bc¶K@o8*W pl[Vxے@1/|na+lnYc(ݠ~Aa(bs'wc0sj'o?V;[Mck 7kA={x=v Ӝy58O}ƈ4v?$J@J&HSw] P ݛ>@O @,d҅^Gԕ!qܠgrY:jא%u|,A(D_qU4 941 ~Y=b Lh#NnX- *AӿO3/IAtphtӖnFr8Wv<82|Uʿrdwr*V wi\b"r|%9S%7ic2::(ヘ*ҍ쟰]]Pl6?%Pݣ*Kp"v\$T:ԏU{`,Gq". 6k<_hiv>Zpڲ mtU?!Ae"Bs"҅6'eiPu)>v79*7,E,z9nXYR(iU0*"60BH&]keMfI ,[]`ؗp>'v[ol{|Ls1ƐTAxX$_3<6yη7e&B0 72ghROHM+/.  P&,۔.s|I;۝;07f.i@5m$`' WlTo`5y&4X-\weMSAd0ľ.K Fa]fDBB0LΦkp"X_8%fO{ SF,(q>ƽO0B O _K:Vy=΢Vb_$<2?-~+VIP]9ډF5amϝX Fkԥ108m[|?*JHt",ՕY r![Ⴊ4J3]N}.Uf'bHNu,";0L01sIZ?`V='f=zTmV-{OUHc++ 1{R1d?lh[:]waF9IGAڌS+q[^($!Qba} R b ^Hre }Y4Xp.Kb4 υ2x2hx'jB!:Lcxӄ;Ր:,}Q'О:^&^m))+ymlȨ6&v h>;1ِ 1z_܉ԫZ"U,/O7^䧳4-Z Z)gbr=l=B?T͊0 Х_%ZԼJU:_$`&^7B\ť$l /uG}4&;^Ü ɭ'vn}m@=EYAcjutn V4*{'?]I-g`C!D0avo4 ,VUGʵYܭ!5sN]ˋ5#  Mo^n.o$Pzmߤ7蘩? rxG/o/:X\v*,R[Gf8GMj}a-?(SKJQ24?uyJP.(k'3Uac课|QŤZ2c/;ui7ה᥻TU z>hY 3Y i_fA鋐*SfgI/}bAҹPO 'P9qKfx1z71o>U7Qf`8X((bt\)n#X'DWͪ}tlbެ£ rPE,q ǜьʹ~U?=U7AU l `0} QVEgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4!3Kl Įlڭ)hr̨oޑRP(m,Ɇl5"wі-ڇ&*o<~ ,ܭtX1cˣ},fuy <#?E"QL*,D-ǕCEnxUZ7VΝZ+r$.A@~(BEj_,>q|i}^Q*Aj o Ixj  PT$CpqųW[l$s>,>k|\VKk@rHg+uլ,LÃY5FWYO?9_WhZL`~GIZixSJDR #|ҿvs5~KX-nˁ.nN:%ǎ iߌWw#.FG(W߱ݐ0#=U# =@F$#1ʧ~58u|lIjZQRM guHį4RƣS F&'y@`uC 4 X^.iqMV@Hl,r$VG(k5N1 v0tO]#m\-C Gbк Չ-:̎Rx'ne8$,"ܙ ^`^jr M|)O2:qJACtfL*#e"=t4G72ȆW!>64ym#>q V^#&<\{(6fsp Jk>M$2E,`5GVH^H@8l8e%C2<'ZmxMoeu' ? M_F啼^e++?'#=KLm V[Iw"qPS\1ڐ+Ǚmֳ%"HĝMemg3yP0W=VƞPOj3R$AozZҕ/+Y&\?UqPCRׅ*}JJk=YhU+ab1IsF=]-w)/$˻$~>3htN}7ž^ߟ͇>\zFs} HE{{/ c^2V:׀a*=lX=c{$qی9CZX`<2딙g6 REKV^}v}Dĝ@gP k R3 UвV'q_fZ|f_Aoij̺ ӎf7(f8yFlA>kuP~vI?Y ITGBE/"xL|a蜭H$4Up }=>i"KmgRzOAh*)0ht4Uq=*QؙzNhʺ@z0B+PBF:.js! xNd1N߁P,X@3@)-a'bPi,fp~" ![|bs%c $j1$KëR+m 7*0NyE!/[Ԭ,+N;kΜECϪNoYʗPG DC+yO53}ӥ@'P ]!fۊE!@p@?jC-9=[J of0z3^>bOƓ?͘{a-XwZHLa8|!W^ Tttn-&TRR! w0O'5=@φ n]}P'h?)1dprz:x3ߎIӨIh+nv*)v >&d݊j\d~ato2Wp܎ 4Dc^:ݍk6aKA#q֩>R7ѣpwvTyL't<.peobբ8QB:w &2:, !L{ ~6WURCRE) kH = u`L :)ʴEXwvNɩڸZC!(OpLӿ<5V_0x}cP 9;BA_?@/l+pW)W4ZN.-w&g3yu-gVb%`ZO ]#lEaӭw_YG9q$Xa[w~@%Bw@p: %P4nz 3i& +B:3E=l;gN&>8Γew>^ V~.XvE]mZHKg'w|/|{`۞w?|:=(Y} 'J0X%}aodׅuA{  3Y^X cL3tڹyR@Ѐ~'g ~ib4eh鶌[4nX Cen8 w1=|NgN@dp⪋_i[ HVq{ۂŞ4[X.Q# iXYP@vD$ ")cUpp尳xBZ=49Tt vf3*d}<$G.!tZ !lWzDOfpI' JM$Q]f?QRr4=KR5& NE2;8EE)\Eb{C@E$Q"4pq-&8hʽa cO~T 1wyU8dnL/|"i Mxo$_JɼLnǤ&ʢUgMG^˟<m<ב@^ Ÿ?fakmlK}PוּvKc_ D"@⮹\$H4zl*PyDzf4qj2"U-[Fl91]ݼ|4rd+ehm'TyTe^&S[v_| `j!"Ć렼C6iw>z 71ygY>( QB`[]]lTe'}x>;º-*z1d騳H* ^ך.kdu@U9^#I 0uIv4iC{3n/9OE=t̃&R1dI`|-{t?,@˜-C]Wt(2$AM0'b9[0Gyc! @cѺL-^3rһTvmp '%-W&qO<-Ww^P:;Nh;1p,*^c7D)n`LD>da7 eLv JH+:<zQYlPe*`uޟofrUpGekFlGcs֭&L;0ZαMn߯LtZ)Rueb 1;%7.pΙK4ztr1ѥoۈ(IenLQˢ Si+LƏW=H=U4G*>c.+ _;ʎ+\|*ہ<<NtmAJ^YJc]M@#oE/N96CH% x1/-m [~ 21o>1; Pd^ R2a uU+n2 mʫ]5 tC!Y\[Y#\&\WMˢ_щz0GE)AǻSϛtl#-pN&c_T7L ~m'{r13I7˦=U[jidZkWRY |7$MMgt//T)Ƽ[0 WTjeTj+a/^iX z4\bXADKиX: &Fh>ƫyl^$%voc8"sɭ;б IMtr=5~vAMAS(#3.k?VTJb=!j2\ڱ-iv0Hw8"R 7H?_b jPEC.";~*0:#\6eCpϗE+y4RYL  U+yWՖGzHJ)Η(w_ =LJrBWJ1 lnG I)R[QQ؃Zkᾼ #oͬ^&h %`!r zYڛltsj] [w]\Dgj[BrLqaD(~Dx-1,xŋ~2_P֚\k߹ѫ?% Swpќrٯ&% 222}$Vg ΎZ2k]Ō_۽~-FeQFy}Ӳ d7wAŠ ;zsyfzO 1Yx9;cyt,2W"/_PfS;^wG ̝ЬsKk  e5KcW#9٨lzo2m epp3ŷLqߑmJ{rr_>l1L<6^TS.Z-E➮"\xMI9dK7̰1F:xfqk5r*[*;Y|߽Oȳr-*QFPu&RGJ.[ު9ayNg +cg 0=֬2;I||Ƽ}>w+ }:="nõ}3hr)Ba,\‰ RYŚ+,pe|/LsS8"l#1zD$3GtpB!ejX 7.ð" d!pWCRu~Lgu-U-aO_.XPMզ2^ vAh~1 y łQ/"陫DX}=/8ſ;Vn_L;P.~1^~RpOKR$x S؃y~Mp.}Ú1VѢ49o$*5-YaD0IBL's4b3\&ӸAa)hbs!;5{X&F=J04~ yGka+f@fT pf.͚9Kk+: h3ٙoC9^J,|^TEaza8+~RXBb@?w+ᜭ&S.XNe^XA_՞z?2Ҳ7VPK'Y-WZ?~ezrIu-7G˗^ Q[![57^*^`W2;0x${rJn|O:_$^;`$l*xlS9yobOv.% #>ݕ9%tG. KE@aQ ~ \NX @f#b?>`ҽ^LLOrLɖ6 ΣXVd<=#(@5DFe˾IYcq4}j45 HЈ˱;0ʌ][.IAh^s1Qwtd/P?$Bex>Đ-vt2`{yYm#±ھ))ȚZ*v_=J{,?{ae? AJ>ďidńpYIz4Ϋ~:CgYD9WQ\.~KFݸ@?P8l~ x >DLqi %cdfudNjԏKZTXkPրGN `tn1K"oFR1&怭2D_;_k/ =O f #K% XM׃" d}A}q ȦFGGpS2w~%Z yFPlRjϗLٽ'x8rNpyaq@+-t`M?7ZJ5@ &%-M-Y㥇t:]w^ϸt# Bz^HKaeMBWrXe CЫKȰH5pۓ^s1A3KrJS4~6y,- W~W'bJtm&q3ЇUr>T+p|]I#BG %bp.L%K ,Y*<+7!>}LB>.;8WN+r^? \u٩ 8/US~ǠwX |АbNK섶!(, LrrDhV0 mӿǦ۴K]-I( H] ^/؝u]pt0F'/ )L hW4`m^kV@:3`b݅G ˡ69c~A(T־_p,[m)D7FY@&J"H IM=7d\InQߧjn@υעkLJvIs}օSyKMb' poޞ@F%IJ-q 4E->0~)oD=" Tzx`_(n3_TAڐ<μֆ@7Zs:VrKaWˉ?<b ô5X4l# PhQėQfGpf X ub/ f-S}N}V3/40;)H(2E/ =jټ+XS\b imq\0v xJLr͢ .uħ/Yux!6jXyGk@!*+LW@ 74H omn{ypUT*0\tUfWwDېPV{fJH^z V->@B/:YL }?/V@y02bKYb] UX Raj4jnP'a]@TƲ8s/UT7:uɯQN钍S1?і>p?N2R匯D[5'fxdu Bƶ%L,z6:]Rl7eӔ);2;W'U WΎa;Q\WCW 6Mp ,)hIb0_˞0"yijR,DAG]q:?TDѧeEeGI ժlJ.w8_3A ;M)qE-R9{TOJkyg2 ujstvaU}7'^ B e<%}{'+@#+geGi$T1lh~Q^pN'+>gFd*Q(){.@{ddw7#/oOZyr1X,*AlޏP0؃ ZoRa'p\NHfs}e#(o "caCEl6DYV 56N432.q(b Jtb>/N1ii}]Ń@)ۤh>3 [CtIM4L |,:oFa/xXy #}|mfu_.s;AܖIBu2z#&7?D_V+48 ǝ:'/lu,uBl)dGOOvv7F)M59g4 t_m`tP*lV% Qc'$@`ŪǚܿI/vVE*[VZ) eXoj~87uvQq9^~`H]S)!+HXU?IG3n5 <Eb=s]00;U"a ~3^WK)k*Q*?Z`?uL1̑tAŇ;yC$|_P[)$SM^OV>\/MNԃooo*ZwY2A{aӉ<Ӽ6jMv텞ydbjLZ$04ʼn(߅8MG(NP=AosDNu V8 b-,χo+/(7RPT3<fŸBUY~P8xoX'm+>I:܈PKVcg?,7tXGw7T"5!DDWSc]x^TY_- C:oV"1 \ĉeq)(d͆ܔ0Rav$: 1={>9(,W qWLϺ {n OԦQ:Eu`0 uYDOsXn:ݔ ivfOG Ji˓r5?-,Xk{@Zhs_go32[/ M j a$}"oGPz6Ѥ'L&}h Kv7ּ,2˶g/ޠf\Y&1O ,]z8R*[&9,WyKw"ZTҒ89O JbOG)8MI8.!4΢9\=+O#%{C6jgXo@Dg"B[방ٮC0 Hh[jܵSN)//~O,_նE{qmɞf߷fr F&bGs&Hnb;R fefMdZF 1W7!sʄʅ`k"[ة 0é5tl{jj@߃d-)-48P8Ј *$O%?*&pT̚* B!@ego| =$Ы .˞{1K|ѕ12QG8:E} bdOL].͹F2Zn#$N^qlx[.><;mwе2 yf\jXC@ K|1ӲnOmH[& \~_Ⱥ@Y5SM,H}7 0NF NP^++b0/+Fy  ~nEqOXm);K'8@m&dGd$:#w;I;6$z Cd\^09n ]([V֚Ϡ]e}Op}>jbBx.zn3Ť$Dq7偪W;$-A&[|.r^0Q^%A36zDX2w`J(mT^o5;esjY6w*#eڽUS%8A@12&BeTAŗjpWŐ^GvAՁ~S@Bw7>~^,/$Lw+zuTJo|[vx9[i -2%yg6>3S+/xNsy&/JʤXTS^TB@]@2 ` eO=Q<}@Ce] _-jcˑk0Q?C>E}N&XšLW}#zaB(Fך*_R| <P8s _~SP+A[BHωۓcB:EcGAkRhǟhAz*: s.akP<Ԯ䅈~v/Vmn|-!Ivh {2z אsk5듊KyP9b}*Dz0bR[TѠ?}dһPj{^=;`hrfelfb,+{ձqR`=Bs58DG&Mz8%ZqtLV-@Na.\@|w(K`UsKodI8B{ey7y#' }1z^5nƟ9a0/a1]@ ݑ>.U_Fgm!'<G5~ӗI R( Gg~;o=O03zAoS'ҡ2dsM-%ƷAB\`=1Tgb'a{ 1b!oƈXrP"Ǘ S_m Xwl Da=VWQxOKG\ĭ,M5­.P3y]Xt-6#j-8rq*3y4(6pa _S.sT׫r7c ٟ@5}?B[abʅ _U'1{Va6H7n =0I 8Qz7Ӝ~ Ro#үkIӲW(y=;ٖŞ8JKAiH/&ٷcԨFM] L +(/!az:a$XpR3 *Ӿ=YEhF͜9/v9FŒ^̎XҶWХD]`6Ҥ0[i Z / <Fq<ҚcbMuZZ.{9#yxJVs `5sl\%*2j ƳA7s.y-5hD"㍕5}m`":H[om( 3Z L랐gaaN$={ u@Xci2=Q­y E^}3ƄJ!+nGע0q vaLоFR'#bw=ls bGpܚ׌ h- ^/7nCX_YS+T-RG^BR_]/m 5x2)ӻjuҡ.- vz PtN3]¥y>] qc{VWćz]k,Y q%8mU,M0lV[R׫!(iѠpftχCYPtG2P1}ymVH5^JJQQ'.Ǣr1Lձ`7{B;I;Yj TSဖ`;TVt$?[64 siPr; J09vϺ#JPڦ?$K+QcBdTnb`c"VY\!l?acf:;D IYԨ*o[!ATo696rC9,5ʗ˂OT u.-Lz|5rؤ<'g5=.TVQ& sM碨$0P`,fjI&މ CU g1 $2js9cd ~PD]A؝AB]DѬ˿+\0V*k _K47s'/# 9 # `y8u΅KPydW ̯Z0:8_;G v*Ɵ !"PPeݿOv-gvb)b434ӵb9yp!40Qi}eg9qr:ߔ9bm OW Qsy+]=E+I`pۜfxGW rz,;G/[2%<ՄLs'263g\h7b5LޥM@yCC`Oټ`+0kam(QVz @& ;0>Zg ?|=o8 + ԗ:-8/LmSqRH7xֵf!G9אb}A~l9h[[r|9DMI*ny\bB|L#` v^"V{/i3.dz- {ՆK0j6 "H @"^S IbDpT+nG"J]% UpOd/ɾyNsVɰO%fuǍ>M>>1eƄ7x [}ܱˮxz"xhXTXoK0F%0Z@a&)ٖGL%z6D^9s.8/v8Viu woáYwq]|F]  m]Ma_QqG4ZX!8[fpik9ޙҰªƼ-SuL$IAJ"T&jx)$V[ZİOa2[%3YJKn/%U/j B}DP{( |Yޣy2繨!{u NgDoVX4ĵ7tb>\[?x쵼bϞԀ!T7OdǡMDb6!˯NN*:a0l[hS»xiRKR(,:Qz2 0T\ϝT=ȱ֫'H.Fxy;( `(ˬ7Ǿi({.Z>p'D=}hu-)j5bSΐq\cIp27&lC /)h$y'<3;%OVSNGBMi/ 匣rZ ѕw5nЉ:J ". r 7D p@h}guvnr,b$*ũD.``''^eξtfX^H'1MNb) )bTW5%9E 8v +@Rj(urHx$F>/.ƼAGt VKfj9H}mJ{kz R:N,T"-X]On$ Fé#/ PfUHva.;nuM]+gȩKG(cß[WYaߥߎw xF2D5ww]ej6K N`x|TcլUR `iqsrƷc]Vd9B3V*Cሽp ( ѵY"閆K^t;럣Sͳ22͖ծq.g`FwcA2</ pG= y*@6}WoZ_5?YL" Gk3eX~0v:e k98.y϶*0btT.QRvHMJa6{dmL+*0%4 A{OK HY{7wx+L;υE#= xT:5iA5b!Kh-%ۻ' }SpaeQhWs'[R2?l y\Y.Yy6ѩP*ʼniy 'Q[q6tZ/?/s}ʌ3sw?~$pcf,W8!wECJ%z-Y۽V\5rx1Ԭ !43ƔBCW E*Gx.ze` AC[_`_<_E#0)bAδe,_S7l>,ҽkY V oթ ,o@蛢(^Jf]:#S+ξ8QmCZu QZ>@ wVMQEZuT`sOpxCyߔQct'). w6bvynW΢›YFQpczB56!3UΩl@D^0KEk8}l}Tʫ4w[NP)Y@ aH֊#5aR r;2d>Ī'gmjR{Ji$p)M?<y:j8fHr?{!']0CXd.JO   .޻pZ5hD\3\P\&c,}ܖ^!| H;Wka1}QI#^4:.9w@i_g2/+j,\bffGfff@ t-`%z/T5!͡H[籭E'}=V)5YYw'p,*= HeCUp@_K@PE?CDo1 FKf%y\j%fEw 9ǁ ݫ!iZ9(1rmIDrm#@y?$#AztH`[ W+vL i`_*/JGĊHbIP~ɪȚ5[ru=aqɝDA8纡ԩ3y&mCCд Ϳf1a@Ofl,5~Tz Rìi}WU778[]͂aU\Q TXA%f`ڻ"Zr kBbZLCmJ/k+op] 8}$硣Љ_u&#۰2G8Ѧ:VUa _p8zt:D*%h a##b;usQYU72\ Zп ՞M0"$9P],,J79T¬y6SIe/Ƿ_G穛Ff5jeךHQ  N/="YBUFE=$^_E`(Y8@ D@fXtk ZNdCRG}2I#͵.d'S0L@_;q-V񲪢 b$8)\\rɻJƿγj =t.r,y ]P9K|.9PU&09'nv\ϋi49a ݀knCDcݬpFf0c837gr@jd G8FԾuݏmJFRċ{|Փ?U1Ӹqwl)_9?^p#nuHf\'ѴI̽z1هe:O}~}nW uk%5dh/u]y7DNTKAhƭF "5WbP1|Q>;-C-dQ8BF7WdŠ}n}ѡJb 9f&]yAf'-;ͫb~#|(Vbn^7u[&b$[="aKL<$ 2| 'C 1./u{fs:a[ix!~08Q aB~F3ki[g\HPA^;{`р)ۨ`+r[\|#t30ғrB9Vۢr>2vc&8b1DW}ܞhb 9܅RhSH&@j&Ga=Ss~xT6>S?1 -DK/9-1|Ŋy+O$-uﲥ#>忬a^}8QVpŠa4w 9-0rZVv'a) $:iݿがMoU8$uxR=2HvmD詯g,KK*"=/𽠼ٶG=wIq@fqsmϬYd^gT+{2wAyV}?e߻/@Au%V&ƌ^q9 USR5]^ke]A4?2{rs*;d Yk)fiYs}M"a8G.f)Ff3@.0"y4_r1{ ͻ-Uߊ6Ƕ}1'gz">8478&9=&pq/CPå]ӝ'Py?Wj2/ o i7i=&溌#/OG&t6t O༿t|skR.͇*xtrNqY/6i++5  1'>ܠOz_3&nZa$IPʶ+K`ڬ-)պOn#]W*ܓwFl=#RU)$!֙[9S[jWTglQbrklT$h=LQR3 +/'\UBYcF+1ߘ@Nq4gd8"}4g^ $ւD х g dax>Ods',$HHcݩrez-~ߩ/| m4 u{-ӫaӌ]s]ԉD<~^RY|;5m [ A0 Ie/E 5ɓ+Y7]Ϩ:l.9xk~yu~Ǥl ?dBx;HY\=溂 ap*&ޑ "Av5bw g^=:֙c3"_I \;,0'R()pψ$7EB#O!Ymɪ u#J7 ,gn]"Phsw/`;ݯkg)x= 9jM 8@{іi;?o t @ ٧ӥͶx?c{ ľ O>"TSG\NAŸ^Zt?CgUl/@Q . Y_De ˙3%1[.X2 gXpb[s>QƦȲ~6B90?q0OBohk5dF`J(77$/P.Zm^g׽ $h;[dP.Mn&9 Lj;:KzubBղU m4w ۩%ʳi셵P$r$h%6,YW9 iQ0z)MwQD|BMXO 4t @ȗ,Ǫ?H/X?؏^5k5ɸފǭ\Yu$eڹ(Ѡ- \gڤCI7/nX΢UvZ|mă9u@-d[[%0UcY.R8Gr_M=6AߢZC S*srAm$@ E%.$ay ; #!o`ӟX K8@?6T!b1ocG4ђ4h"ü>P9,iߊڮ3ҌvJ(q!"ZyP=Q,{Dž3h 6z^Ě}cN"D'^h_0&]śg)Ud_\ S*J%F]a^HC*IՍ8/ۧ&SBsna)`f< -ɫ}%"[k&\wj 8yLIKyq2ʚ6gP_ ]asVJ@G~:ykJv  @vSga<&'x/ %yp2N$C!$ϳ|x3^'n-I6hC}l&OιGEy.-,I5gR;/NWYXfSӾK,e?Zk+i@ipkE+W3 b.k SQsSZTR3Ȫ-~$+vd*Q+ZC+ R*vg&n躻V9 a27ޣgIK4 >i9.p̑V<ЛʥIK~ض6ev 6Ỉp\B*J9@@-4H֗fLߐZqx.-YM#q_l'i+fA؀SϝK5Ew82*Nj0NFXz jELJy\w!E70hY~a)Pyau nEhjH[4FP'N]7f&Yb.yzW"ԿsQۙƵI)5/zj ulUUA s(V?2%h| 9BB霪GPOD}juz_KA@>o{ƒWKg8_"G l Az#Q^`҇b_&e8op-sq+6I"Ew@F2qҐ9co4Ue$Η2umZcnoET+3GrV ǵk)3Sh@ 膇Zbzm#2#[+EQ8 MfK ﹺ‚xjē橙x0]E?70C)h<!S8i)>t~*#K[%F塪d8~jHLS榣ccJtc+j 2ڱ@I}H߸ 83FЦg\\;g 1 _Zf`K,D AN}a(`&,T+x,o:mvܫq dC$뱟g^[p`nɲ2 2(&sš4H_8p?W6 |DW('&/M 8(J䰖}q*E޾8fPx)tŷ&k?  /蔮Rla.ZMoxޖ3 kH{?,zs"RiX7HPD[!Q$kjeD$0GLƸ'7a`{Up/!(vUo+63 oCIX.泊.Y3ۯiX}u\E/˿tA氮: yσV T>JɖW5Z]H.ypp5lgP* VIK+Ȥ.K|CJiP'+V%CK*ݕXWC6تIcʦo*L8%͈]x@NJ%aGrN 'g/^g!#aН\]j"LTpuSaǨy??g?WNٰ^<1P&޴bTЪ?HUI s #NXzd۽鞃 浶Sy*qK7IS/2򻠆BlU\E mNϦ>aYXLVKddW^n=BKax -*- hQWz~ @PhzF:eb|7 lXP__MZ9}ˏl˟^r3|R vnp/$|4j=Ͱ^D$w繄uX6ksܖРŒɄ~;zGWlFWn]-˩goa`ׯPOb`$ 1$=Yn[H;ǀ} Ef}83&.Ĩlo!UuNTyy#Dq* o'|Ŭ9ޯDyXjb3Hjmb61Óh:R` LKnA2g?~N ӈ=k5h\4"Zנf7i%%?"hvV>0 Z3=R(Jؕ,kUX(ɢ' -IZ:OGNFo/h` F|Ωs  $TґPR.~ڄ8k򂰻@ˆF`!؀7* cX!XҸ*2>E7o4n'tusxEE.c쀆_"lOH&GR{%r,2R)O%En]Wގ+k<2mvK`3NGnP[h yTWb\7FCbT`\1U֙ 8|stFF