SQLite format 3@ .0:  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  , ,%,`;Gؽ8nt*q* .#lw gh,jl 1rFT \^956]ngA&#>- j{/R /':0XQ6P)|eܻ|G#1Ed osy0ߗ \~]eWы9ZC(V^3:׏lU;%CdIIi@%k,%^QR:<g)H=\ܿG4ab>k,J"X0^RVZnh[`&hyAE\7>iU6=A91ncN)ͬ:$]h}/2*H1@\R C^=IQSL>gDd4bsج(zuj\c%U@]*'PKұpLU[^bjuTOdS V2ى/t15"p]nmu]͑_ l|8ɗq;)Π;>XJu7?R"4]4&$n(#tߑ=bt8u,YӀXQE>(Ni# Zqݫw30z{tF\+Is0&Q % HOL-Analysis  Mׇ֝t=]#'eZr WG%+A OHsWp uU9:}ԑⓈ^& MUl=s R)Fe3myAp d?dl\Ae&">X#;BGaK/!jT@B>q$GgR0}4Ywl BZAd/n?RK lyU,]YSdVFZ*m \X.F/D`&F-*i*y xѸҹ}\ j4:;2B O#jx"n~_ pR1g Q4x!wG¸CU|I\o{w!\dR+=(~ fuUEj{+X)D7{olQ(1l(\onFCP۹.3O_4tݽ+p20i \3\+I̖z̒Ъ!KkZ4-__&K/bdMeutX Rj~./[ km][QYa}y`)eFRM'J9+-  7;a, )E\s&蔧!w.ƣ|X"\(?b ٯk0Z+}'b0.QLчW*4K@Pq(z^H~ HCٰm1Y Q E98> vveiֱVۄ]6d*;4sz&}lF`FOs9KH ̩@!vaۢ @I!3`><L%zqȂ(1;ea=WUK Ap .9 ޱ]Mn,=P,0zs{ti.MM7q,f i,ٳk':/=ᶑ$k$PT5}{ s.ӫO/1 "Lb&%&,i\'Vk_5jŒW\&hW'ͫ K6kYe 7rw`{:caH""1U@iQ7X:/ 55v_zr]tiZvaㄟ"! A_5V^I>ONd*p~ =&n&tS)7L=d" ^&mP?h`ߙTHw;V#bLE'yqe%;G3^ئY?7awT6(+cmV0N_ 3M=K:\QQ0'sVXqj$~m՚&] ď?n11_N|_C5\h!WuG2DjeK6 "8;d?OL^Rjb= QN+-Zq蕻VKV*̻H$CQxUPʿ#5NGCqZZ ~xa0 <@]w_Sl6p ׳l[ҹ.< dznVTe+8ϒ>#,䮯nq* !Ǿٷ= !TEpD J KNs\@C)7b?~ BJ"j"'(bh"oS٪P$=H`tOzj-Ν!yKLyU@ud?._U$çSʼ dFvwci4v}MC.#ɪo#yjOR3V3-O, qd\ˇx7 hg,;>"8,ɔp-e4,#IyvoA>7 .vt$\*~AC~5^77viKEɓ|x{aS}3@ߵ^ajq= $Tʁr(?@K(+{1½*.;7 (Ut>+骶q{k>dz-jsɒ/}TG%܃"[=tsdV'lU(J)nUo5`ðt3R.ovFK~qi7T7mdڋQj> P|iP⃌u۠WiPA ҟj-w LUHxO&z{A#>{}?[4)\I֦Ϸ %آe ԯ`I{=gJ9d.d l{1۬!vFTM5V%ӼdU.% FKgAio/t{2"B{#O{0LG܁td57Ne%+VܗmP7H{6b)?(ǬZu?F=7\x2!Hd's 쑎랴b/Bϒ4#zfJ>!eOCp#Ի_ꀿ>K%5$\|p3qnCdPH崩 dG9|3@?f 3I`OhVJWW UƯgKvS|}3W%wX~0*Euz.Ы ?_U(2?,ΚFV@B_XJmXx1wCs|s1Wb%O}ڰtQTdT7AEă}~a&*Cms`<,e&V\!{7qmfd޸3M/2 tׯ 'RYj#}#M$ֲ*KֽnIa>cW'4=tؖ|:0ho7H63:6돪h7W҅.> CfaO~ϓ4|=/~w%Nᤈ'nMͯE4/ŜT~hnƔ̿_LC;wp+#.ʕ-Vγ 4pLwq, zn$L7<@T1N v7.XwQ"x}{B*D+I/伳r( 3t=*T>iθ#Rg2R'nV_b<(X1s֮lSiLCJfe^IHmW ݢ=~eK<?%  JP*r<[sO[ժX5@AYS(ՏvKT)nз, ׵CF AzD$=KqkRKieHYEEvM @!2Ip-R:ԴOHfg x5&2(ÐtP4É_w*b"J=f1s{zKY\H!B;20 1d,"ϼϢJ~?޺ ՙjjxtɦ8#{L25jZU؝;'t^q5ǭmTg AI=qtt,QpBQ2yGgI$l'G0:L3VB!8OXYʕm):NN3{M!!h&eT2G3`3" ZOd",ϻ;?N35W7|B&eogBa٣d/_C0ZFz+*,wDn4U$lepl;nfs=-`׏wcD_V,y+xG|J<d2wip\\K0(qkDINeҙWq[GC6gT3l3ܪf [PjCZ}Q o!(>; 4^kLau7lK'9/ |u4[3rRElz#c<YYْSMM0 o an:\ev^yI0o Z-f)LڭHJf%uXr#pՎʑ-v_! #_HT<+diO{E+ʁث7xNݲwH#6xo=Z#Ipda\(#Axp"*Lcl:v޷+Sz¦Ⴙ=h }soCfv_Ov%Xtqt w꽹.rB|T 6|K@.dՆy[O!u}lgR;ahsH =`=.KnsQVe"T$4#C-_ޥx@AjXJo~0 %Da9T ;"1(8UjTg C.9)p"fHf[w-AJJe-E5@@M-MB62m R]x8ijF|;o]Ɨ-DK}_x3y;;?E.:At۬HCnk3:.#ʨF>h$ S[{֋354CЄ J,dJs_dpYfV?I,cs4Ex4=FĉM@0:c˹7t^J`ʪBpPmg.o|_B׹(LO@̡߹"-y`8ZIR%g0(\ |F ï9Q oUF +0֭Z|iDf7zOW#Fd 9Tjl9n y`o2]O4#YJ(o{d^3Ȭg T̪Ji?z0DM@_NBPd^2g|֨UUR"H*ÍJ3íGD, A; CȈ RM186tΦbYó4Y)b#f)*B;/dHpGY:S}:IP6<(* o]Xq=0u"R, ݈uzP)JS{y190OCϽƺ̜IKtrL™P"/1Nܢ=H|Ҁ}R V Q7U4tUn]PWB GPz_zu9o OjKjA YAY݈Vm s[Z4 mЗ9ÝHʟc@78(++p;Q=JmfRH^]JR*F>lAXmnw<ùdT;x:l`N#ۆA3)q.;՟$]]kFs|[ÿ.^4"ྸkDK`}vuG0NU^?ٹyP&a^MwGe?t;>^ec|4D,"raUjdSCJ^ƅ$,PAF^-!yƈ)vkP <r<@cFI'RjUY= $[9Ee%E$AUIJn49Nz =2da@gj$ho4iSN2Ψ|a#Z0 vMɌAdž]:]0%5?DXOvNu İޝ?:__⯴mW$ ^y r0w'5a@\Zhqg&z-Z{Sֲ-Kze*-Ui d10lAAI1>t.%B 6Xe[. ъ{&]!<XBR27hLDFa0U %"WLq ik3,_1GGa{Rd#QFkŁ/Ob8n0| n}?|}SIl?-[A!>#ME0qb?=ٵ퇁Ѳ68 ur"kS"[;*TNj/oK⓹~x WIc鏥}D%THNL7gR$gN2%ܗ$HmڥA[|-*&+C~EfL ~~0EUPDe)Z+w|$C%c\0s >(xrZyYK|81G!Hl`3qz+쥖Iy#Úfsm|"?ƺѳM<o"ZJ'n pTȥDx+ c -j޴04a[K`skqQ| L8  R1oKx1uЗoS0ǒv{bo8XюPJ\36\^nI Rg? .-Pd.ʬm,4jBBݱ>~: U *jҰkOd^W "(Ԍ/aS}/8wܵht >by_?W0I~mGȾ =34#2qnR(fo6"םD!eVyBS 0o(Eg{"mϩ+?TM:1?b73,Jn`.8460'{ $01]m_P9z/EBz* ݿ>6&b4rL' ɖ!E| ^=`y%[$ahm|3-M6 ! 73_[$@PJ$/XW; v$)}̒vaWO5KH8ih[593i>k%Ӄ6p4FGyz+A ls%72۽F=&}F_b"Zi_ظ±W,EO02hc'2]J} ߥbMQԒc, QT3qe-SNq>A)_muOx/a-`ˣn SVFڑjd]< ZH2|:{]C !ri22/vVr4;Pl>n oPbEhE.E>]0Eɝ3 7-r4;ǪAeD~[<7#fD^yۢ Hlo׿NM1 *Syn_)תBU:s `W;ZW@B{ئ= V#Mk~ |:YoPoD" ~rxp/vJ==P6@P~D0~yg&v-VC}1Vkdƫ}nI6E imD +/QQop@ ;E% q/!P bcJ(mPzwywa8zXm}=8EL&td3Ŏ\9iPpKJl7~92;}Tur>ӓ/8\M^oS*)>\Qek?t.Hpv ڃGOcċ>vV^kK1!iNw#MaղlqI^U8DJP{`Wh%r|v"#~Kp+zC FمH"<4D_@+4 6i Pc?XG7B;g*un V{}3umϤhs5Z)Px|Ɖ%T:/?4vNrZtg i6&-kű8@|ki2S%Hi?[ɿ+(!G rz1Bz~a+Wh|"\qLGlKiy,._ ύq+?fv:|W1[à }Vht_oGpxPFgA+nQȋba[*i S͆p*ZE=o%bOg戵r+7;p>j9NE|-Z"u@:jhdwKRc^)oЧ[. W:%#}SI|鉐 RD_1$ ņ.K>Xt:qSOd [[pJc*ƀ뽃xfBMTKL $G&Y ^"w'o^bSDQ!XwrA 88Iѩ)HRU^A08LGu?h~Q'nZNL*$F-ejs׽0S[vP~6HGTwƛ#;*{;#\QzxM$zF›%} o~ I͑R]EQ7."rQqw>E?#y#e'un˽ۃbRmjFYFc }4K!澹`r(]a`(*Io%c:* !sjϥh:)H#%[nfc0Z>GɲlOF·(_25A|/F4*5sChnXJ\T-*;Qh]2uM,'kG{g>*v(fLtFDBX)yt,F1gDN \ -*kTGJS>Fw+Qf vzi'6W2Џ?u?'D(;]MN o:S˶jۑ\WC(`RWr}̙d)sEp aZ}ChL3oXc= oʬqHPIr1ξv /&tJxKnK5߷;\R\Z[N{TJe&:h<GZ'e1_\H WJѿ ĭX5g>bn*@V ]qrǬ6$YA kLicQz܋cHy>[%01ؘ\ZŬL mN?`2`dܔIgBu|/=<efđv\D0c`kqcA^ja+c_?c2Bc ͖  BF)¬7x uev[9NIhkw(zlD*Fg׻ (+@2ȡLAI^ύ3]r!.;8k]w{#Up{2‘ת^ҥzR13wm yJb.{5pUTҝvI`!tG,=j#nO״l.SCt *I)͉#om s/vJ8)sӮƜ!Z6?$nu9[aiQCqZfKFOv7+T SO1 qI=EI8G#Hnw3- ×Tv!~+Y.xn~ˤCTyS[rUhO] w'yyU/Tډ7;$޺KFT]Jr-cPJM u #G C}k71cCC^zټ9eXŧ.p*Ȗ颒Sqz~>*U.^\kf@>o?ޕC$.aϑ*(: 1C q&ATbms=_Bt8@'3{ bAGpW75a$G_,ASɇ7(:&;.Q]&_1#kIQ9 a?߽“:}MC'f4~~V;EY18]^]e{x "vErڊI>?Cvϐ3%<5hTyJ5x!tXIfU[@ * /j^f[5K+JPBFM짥rMynO,͢,I, u a>2@ Z$ +e/ln~! 6|u+%8eq4$;2"^ 8>6mG'&M^5k{ʙP&ox7Jje3׸ZvDjxY9PbyVtT.fU4U+1k9PfaW۶DNxkPvT>>@\&KvK%g9)6 x@lt9ݴ"L# toF^% h.ݠQn ]ݻW[xr8&d0j(mD*~3pI=i6約}\S`apNj340àx᳿VMa5I᧰0>a'ܚly#())ްSkitCS,t{)^}`j_æWYԆ{Tr~*ϓj¹n2 (Ͱ|mV ِ嵜BpFŃ KMɾBBJ ,a ,֥}/;00~ܱX%MLHSFWth_>7.9),~jYreTs}5[M Ҏʧ+t5Od$4Lx}BLLk_zJ'v+ 6hZM#}/ 1ʶɐSO\;0om}p.k> sKOZ2r*rk;!$͗93RR,YQV/xϾZ[4lm͆2T;K CeL.bTyTJ6r/XtBzzlg_-`>W9ڦzE{K u*[bBc\t<h[L͜DpAB(|X[C鸸S2 ʉY͂w;_2C~!Ãr(q}hOs"Qq D6{MEj)2qK~e?c䴐 /X$KQ.-."TSTd\VgZD͝Th6F"`UWIȗ⿺‘DU~cLخf%,!kn~ avpfPIAݢC'ϧM͐JFS{<8e9X>nn-56^iKt[2Mj0,W8˹_XYcex{TQ#`s61O#TQ;BϿ_g e5TRb$%1E4G&(gBߩLV]a6 VX PRPm[J(Sl z震j $%ߍA~j?jYea|i (}i;=/CWT0eZD7O>By* GvUz'j !QG囶T_"Dt1r> [.j kÜ"\iVadΏ8{3vhiunn&v.c;Ԛm 9,$FBn':@ﺸ#;q20n'463ȓûk$C&YOu0SR(pkeQeك RnVHD߹} ^}hGVIFE>\iO,q?CERu9ZwUF"~*)G,8i%;)$s;-C^Tb-Q+"qo4o%Y~B@|Ü5Ur?b`<9`8)YoRtԷ3a{. ; 0G o#Su$l=eY_a 4 D2oAx'Oл-{^/p$vC:SG;nں1,ż60JAph+r.JT K%&;ME8qfKD'%]kR*d|ؗ,"сl7ee3|xw΍BaWnN`2E!8 on B,4C@|zMhאC]&0iI:JƔ8﷘['~`<\"{- -^V_! I '!؜7`@/ou)(;fRUGGdn_3xj.;@/ظ?`WiGF\Ud~st[|T G9A?: % f~6>7>$0nn07 Jw*&=ЌPyBw j뼹/7[oq/ B&S\T(9˿iΒ sM;F6N`zUYg$k~i:8fqd!O0>EHM4G() >ox7kd[ C5P&~sʦуPomG=j8S&44都DP%&n= P,7b̃^aCP>8$.(鉹ڦMieN?6@nӝ' !^BĖj &1jlj-Cv+]u= nP2Q;n4al+6X]6.-$)h&tJ,pls-sNZcë3JCk;Ct-Yя8e;-QDȺZyI(>7ovs)X@\hGOpƸ'\*Y96r<:GP;Zj(sfCMVX&}w'B[hoή|xY#ݾZʏNdi c=\J` 2‚ ޿Ϝ^fI_5dpJ#9K<(7 qs,l)(NxvMv"֦uA(K!v@fv<Bo` 'd)aA3,5G6~ x,y뿈C} |Pp/J<0?hhy]r= ? (1g !Y=ɖ^l}k⟔T p W0Г`L8>pݪ28!gxբﲲEice]hY4j v#$7Hpu8p%ծyg}iۡh9c+t'u݁0M|R|/7y X S>$U]L6C❣Dg o*1 h+H#2h]?&}{{trE{Nwtbxvс[n!DRYJ1T3 VLcci9T?v5יx(j"@MSE]Wϻ?CIEa6 N Tf߳p)߲ssg̖ٮ"+ Y K1T:[QOu:t`NgYZ7zXZִF! Sj]ŗXi%B#5]QR[EH]]dvV+)G1b],Zo1ݟ@-:IU$$,V(*^PP8R Jn5_!_zEA-d]+{>ff Yrhs e=5\{sLMِ :eҚ>tV2m<zVx)7Ք+PrRD>]LY2iovDi=ʋ:h`tKS3@M0 mlL_,x]K[@Ƶɠ{rK`bPwu 9ŵEW@MC<h`E%ߋB%RyZIix"Ub6P8o6(`ČG?ߏAĪ77b*0zE?q) 3>yF10CsJ(62nu#Fy݇HwO`ZS-(]2[" "V$ U[27r@f$שA@'VB_OVJ+v݁z sk ݦ$@"k:Fruo活:]ڇ-F: ̨ՒZ$c ]Rc"қM 22YlC`f1iÛ=ڌ/^qgokWƌdtnډ9>peauBɻxcYZ(lv"BP7/{ϠeA@o|EtKPEj"* O O ]^w/%ٸv%)֋d]o{i=>9ZHX`4?-9|K/EJ"aQ+[E!49:-Txv5(Y=f>Iv-_vޠ5 o$Q?n~~:Z$\;NӇuIuv8߁-{Qy2)OLZ*Fu1@{"5g<(Jgz\eo1S7KkW}tǸ~_&'s7qM:ڒk'F$tj2TMxkm BE~R2x!-"z E]xQX C8@)qIY!yi 0 JRlN};$xI*}asؒWSG .]F{Jܭ[K|>)ȶًŨ>dˑ3l\fEC3ǚ$p`rQ J/v} Q,ҕ4)wܞu]:LS@%=@OxLo^ݶ>虂h7 +{=[PgضKPކ.;a,=LoEI3k~zBzS)#%Ћا D&0)!P&jFԭMk- ms e.Y v/=½>n'z }/Ant&?C<|;,E)ԭsy÷$ Zclgl'=Jj@B ,P3_mϯL>J>͓GXC#T` ?I|w%k/Y֐ ]E87~~v4"iywŤuQp\J=bHQBۍ4wGi~!_H0Y-&Н9]݌Dfm""AVKbi؏FբޮoB{:7ayNoyjKcxAv1CJ(5&F˶"ŵrF H+aSӡ apˀD4liYEAQ6)j`Q&֮}zT> Y ܔ^k *TpZYF~Lt?Tm(mԆ,ƐlCiL>PF RAJI. v q֧=WycqbbyB^Q>C%]&4zA l5#ig➇ZZ):f?6=BpTz(1>Jzp ~'Ka`dZ2B\Dx0|\B9(jqFS469V g`zF( PF Rs`e؎XA\lY " TO9um J:'Y?5dX 'wgOoؼuK ^ 6hcР ^7X t*2ѳt1ɞQ1F|奷¨Xo'  $+L3ChaaGpǫ̜bKWCdx YA浦0$Ul)K]f/_ cqP&=ށ~}uD\\0>aNzR۔W CY vuġz:Zq,ʚI{jLėI5Ukk榙ĢXbbYX2a@m$h\waXV> >MoՈ<' }uqlR\L_)J-S9$LT߶ϵ?CMF{pW rV:DCr 'ِ3DV^|<]CΣ?/}ߝY@8Aԑt$ PrUv5 '{!8Qas %6uuФڝ۞!==W ur@uyL d[zaf=ھ_M %;_b:C}}[[0@u`q9$h5\k]  ӿ~mMח:&m"TtT$"b%=Mo&^5j9Gɳ;g(4bzf4*W* Mv p޺X"[dJE[܉n%~IE)AcG[s(wE`Jq8[1pV7"ǧ,ԺExqFcb=E(`_GæfCM4ȹ1Vt\0Pco Qjfjz=EnCT"(q*%unMEORQ]Ww#i3x(+@5-Cw-IBL&jjIGDBƨəT"EY6,"[kI`mPx~OI0%7LJݨ^YG)6~dr33yp5y2Y-YG($Mw@q0x4l}o-!ַiƴSI}km5S [r6fB!U@䵛hk#*GVP>ts1g6Ɓoћ2La(T˄@|йlױ'1)ijmv@{Z3)C/9ȒGVvQQ*=ojpu : V), H=nXUQM}\|G.1GnnͽNM0? BFNM @VG[v8ri釄֢Q.m= J&A Ζ][$ 3|5iTe7XH8PVP|EЁB诈FPqK -(}[sP$/EyFMJ#jʲC״]gM2'd m-V|wBdV?@"7=>.t*Q,sҖd#fGK"HG-c~..TjuVeb=HhZuՍjQ>Is`fE`N8Ɔm4-ρN4'^m3[~1SZs9mĹ4)z`KQY0h* VF, 73]rDsbMmOPMTvὔ61H^OnS͂cLy> YXV8+*0\j]vm:- S8 cɶl8ېrbC4n_H ZK I'ҽb+ "D3(BkveŒbi8&!,zjP2TMjf}vSWE<$R@&>tdy<\ Xfi/|pt>4%, [پhLt:(kNg Zv]jvwv@,ADj\Q&@kW -Gfz!wRfs`qD% 4D{ SRy:ܖO ?aI8ůV>±ǁܝS@>_2}#4kX@B?L#'¥ fvAyF2%>X > krN0~/LO©+tLkN䠘N#7Tn'lSƿ *<0d(mQKhO83/>Pʧ9F$Y%]6q04.(+;h[ҝ$z}[Arxgj\nص:p4vviN&I:,t 08P=e`][I8bbe<GF]1itJYn=E `B37uMoV9 whL<7eCc s~\3&iSm"DaJ3kooezX;Rdވܪ~ 7t] M+Dv1Uh,2 3 2}v3x:HS,dw8>@(YX6TNQʜZV`ʲj gƩztNG]̈́v{LDyy. .Z3)AGqlq?~M:zvU- 港#&8˶O{o R\5ereOR! \hM4Dzk4vkлr)&e0h >SVI /Ӵ^|ͷHC .k\"uJ9sIWj4h/*cӻmaM_!uʸ8K>^G S#˫\i,0C5 bN\5Y hL93^(WQKȍu(v3~}n`lC %t4 mN=t ӱ?\Mh9Sq5ްk0|`Iڙ荌;9 &DZYiIECdSK )"HVPbL#l DiU|2\o{Cy+SG$]ci/,T=}%&Fગ>h}{#+oq(Вk_#rJ%Q)*\9W-("A;h-|VZp=MS^tž ()܃[+ QFְ60jʀ8OV+R4 E$&6awpS}£@2UÄE [=qOz:^s/e.hd·_;N=q}  g.̗SkCaew})mIy̷@d2ˡjlm+ ejʉ@" tHr[z|~kt]p03 q4XØzY6D+g4<-6G#G^ όp);u0#ϳ^zF̭pTy;pw\[Cgb:89Xyc\]Cq݈Fin 1Dv5:<D\"0;]- !tMDh241WJs(HLq-ɨłT_[e"a5MXxΖXzŅ9M7[!֔ qCи{Y+:bγ QVZ=v;q&#̠×so C-(zL$lZ0F \sGQզd&&>i٥|:-حK,3cw0{ OOT-%֌/DŽH6ܛe.=7SA`f\u?X[3f!1j-Nk0F19UCNoh #vRb8GH9YڱeD( ۈ+OݩG_xt7,43"$ 42@x7W0uzM؞WgU{dޜortBYK}'NNmȭ$"ԏqW8he#=O4QUѺ7X6{Q7dK+D^ў5%o%`Y6 Göh¢i }RV Ou&kif3ZOTg$ ϼgZ{xt&ckh{6%8(Al=PY9Kp.,>0 zޡ)Q)dc9oBV^1K2I8Ñ o˫4 Z_,qMu^Q 7&H_c`d*:h'U.); ʭ6=ȾDh^|OTBlcrb5F :Fs X: Wi#"w߿ܧ:8χ)b_f.?r*QށN=}q(ۛؾ'`B@#}%6jЧ`$%3()o۶ҍQ݄nؔshvx-Mn=+׳~bNO4 ~ dqmCޘk~Ǔ!&}>$Ն;ۚ߃tM8x'U م"HQ~C26wBhMCo}6A\4@ۤK 5(ǣGT{--F.ٷwyJ_sEE݆r* Q?͓7SrO\ĐO+;2߆YzWXnJ. 3}mrȷb u0O>ijmX4l=o`#(N{!đV_QK|K^?I &7MO6ha@:zS­r ΢͈дdb8%$v Uy?Usnx):\lrQ] 6j—eT.ipl3i.% L 0;Dy>qŐ`98<lq-KԂ N31+.ߧbQ(bi0BOH@wmyg[G7@'q^J :>er#)(8O7J~PW8P 2ʶ#& sz0nvHK<>:NJt)Z4K; |hoW&GzЇGXեqDзm9YDNOfޝGKg&D*ѓ߮2hvK#jf.EgI^+,x {J|!dȯJF:dR>[wh)x*]gLP< dv=|vO=sTo;"fq:1[6MH+ kn*.?nS!}q?}o=ƷgV*gwG?L{ 9lݴbQ VS 鐕5Ib<. 2%|HkD` PPCCdO0f2H!shℌi{`-/HCsPS@e-SN.g43ηtA]'-dT ſgM/8Eat6T8@MݟiIpU'MWiF֛t|P& e&뽆kbDSj )3POA19@Ͻ#};)09-&Nq3fM$czc$""LbzM1˔u-bƯ$׍:R9\(~4v$ HsУnWU'r)|LoʑFF] a|(e‹:9-Pm9&U˜ïRȴ  T4؂K lWn;zλ܆oV)&];[^]4V cNRC&Zď#D:1=d#U^۽9"@)KxCDbfl o44 e,\"DV :Ѽ:6t4A*6-ϪMa툴׽9DK 06f!LH(5ʆ׋$G/c+;( iyVw57vUlUԂT8|"ՠEgڋDbT݅SX0{IrǚM_cChʎ[>Bb8tZ (W 5|IIMFweixVUFS1{#$S UB9b|^)(8}-ʘ*B@m~ܚuhid0 Rk^X%FB!e ŽXV}96o·ٲ;qr'SKmjnv6k̞Ќ0rI5-%&%p<鼦;U\a, &Zb#RiR Wlը[˒7T)T/U}Sۼ2Շ5>sA(ts r'WDն{Ιt4T>з1ziƫ6Y4MPFr 6s"d?')o$aLѢ#h "臶8$VKLT e|a \Sr}cQgtlC㄰h#Whݫ[WP3x3y^\9^.N(9[:8.t ,K"nYL^eQjbc!h${u72`٤%˧@nޚ\Ļ1'kakƘ^0^LVa\Y܏*!Yo"tu P ոH%"fH.rFu:gW~0fM2{tq:nG#Oia̶.ul;kZ"D i6Ick:6ެSgǮ')"OgK`Q!yVނ$qgҗ"7Rҝs*[xu[G|)Phq6a"CTQPĎCQ PfFLОϵ|x%,b +O?Lw 7vORB>8cL1N;m 7n yӘ )>s$sqBWŦ5V,$;SM "(A[91 .~Lͳ]UC 56kvf:Nhƒňe-'ZCӞw/U^D\s$Dԇqq|+ X/I;PxwdswSzڹN.Uf1}&ܷ Q>O|Ax /<;Mֱvb[1/DT+=(Aֺ$_"R,\g!#~x蠚[Cm-fq:nR|} }Z&(&LrjbBxujj ! d RBUg ޫ4MdqŋSEIC䖳L]Gӳt674N6 aa(.佄Xy3 ưD{hwuA֙}V=RhW@N%-d=sOYzoHώJ0ڶbxԵ?~"UZvk\"hf*ü;)`Cmnlrq.oˤ{wc! 4<"E*Ѯam+Pjj`J~_YD}nV҂q8A@M#J!ͫl!ݩiv2?B^O>y]lqQ,E^t쑼sXguxH'j|כb=MvŊ3 $.=A>5]y-$}W\.+sFeKNEvϸЙ7aѾu3 uCAYtAPGA`c{BP~X1N.?2y)AEV!(q Wsv ||,b|vH +791xҊ6 N,>g(DG N~Waq/vl<9UA {5v{g#] gu,P*h=|ˡU^*D3%f{w/21Ne td`G@3$wxX  \dW}*$j\8@3<)-[V\4+|ft2 > yK -V'쭓q9=M:sAj&vi+/y4ЍSD6Bl25Nd|2Glܦ]١]LpYPdܣ(~hnD怗v+0cvx.%A+!A@rq)ؘ^20% =ݶ,.1=-B6#>Oq,A:0#4?؀焱0PT1i[:ů}W$nץ(#I1͆`Bí-RaR=5&/`밂cs.pW`5Tpa71g\.܆*{^4'p;|yQu^ J:ofs#yZ;O)|[Q:dɧV5Au 07q8q;(ȽR|+Χ<8R~ɑe)*Bi Z"YmTh[sLg1CNw{`]C.4 R5uH금b}cͿ&d/bLϳ"Cr9'B8ׂtQ{8b>8$;gqJ S~Qbk aZ9_=OLLr[19-?8u*%?v+,1CNDQVxx!AF c+Omyrㄶj!W̐$|\=ddݚ.2I`coTdUswI浱Ȯi5,^|z9cb-e+yN&bOX'3YB5m(3pr+6_6'YmW>i=bV1$7 .W^ʙU'ZrkŮ_I$2&;N>~lN#d4nVKEYVd0|9h8Έ9v?H[PxI]ζW-LK2Z:g{ 1b0>@Pe#-=@B|_ÈH&n"ϗ<}%|1-AP*Os&E3 ^ ] sD m_9ͳv(ޟE^~~x0 %.OK/ +z.#JЬYt`row})ubffUK]mBhoC%m0 k!ĶiC /[zo34]x'*mW-+v $5WĹL('qH;oo1wm4,FS4kϘ.ޖv ><2ƶuDzv٘u}s#:jw/e,b[T,H-.0vsSf[q[s vZ{0z6{a拱ۉ z6ɼYJ,';o\##-B ؀V_LW >b:dQȐ%!,۟ڗe__cP*L֑,*ѭ9&4UUT9WQ%}Vi%% `'&#Aڌ445\fVa ejgocSTv+N{@V_赍|YĜ)V1=Ix!{=4<ܣCL14?wj8"w#ZwT1Prd3%k-qS}0uGETj*V3/Qnv[n~gVҋHXw]*o%/4=4IV% , $1;О}-_ǢgV ]-Ъm :Ja@5_&`B[yD1m-$K$ݵI ۆՂÚIF UWE$y$ΎUZݚ H{bӈX0$>=ԛ^Ƅ2V˪o!!'@_?ͧ!lIMy$b<^,R>!lVb2x19_j!匈μ[kllCiiqF^0AxJ\qXCt5ÍW բE$>Bͫ:~9 E_RH Uv%!pPoK0y6"+M6!aam.B&`=[ޗr(Qݴ 4.͞9 b9^okrzi>Û XWwLTE` `iY<ƒcVlsաPhdeLJE9P ycV4A,#xV_(Cvآ5AS=hLRUL1!.ƩI b\\~rcp;O;gCb=jW2zEv3m''|k%u(2MdINe8"u{Tu%'Iq7TC-` ͫIIm ; ET>O!1E~j|L'qf(%q׋ ò&NX`cG/yGSX%A_gdOrj#s\'/s1 :E}j{{i4YKÒ3)~]EPfv7h%ǿ$5Zʻs~εcCx?7#G7"^NK25"sB|ᛈ0-mhd&j1-vAgӱ/ƅkʯ׮2&?OCdPku6ntXa)#aX6 }~(CږC }vm"\j8䜕'|?(44`U |@ )]ƽ} R l,Ä?mt'Nof99l6?J Αcanx^R= :r`"qZ!H"ޭ r%Tˆ>sX $Xx9fN2 -P$ [869]y׬ l$j2fcfK" JY22+"K1+<w\*J$T /Tg'%WK07o[?Woa AydBY@0}#'XXfII*Wg@@z K 1fs۫(_K`p0Y_|Bqh>y˦G㻥NPIw2O 7t?C}3[x\J#^&dx*d )ƃbH>KlETPS$(IL1}t=Qރ&XKoZ>xBl.XVN^ K@rM:qnIX&-_P ĸca3] rV2Ӭ*J9 B]c<l WxyZAd=x綥\gL;|,^1}(_ح4ю (rRI}_Rj0$&*S<1`2젯>fOn{-Nb&W oIk9Ri gCx)M7+QuM8c>a9!E:-[-߯obo=Ȑr`5NzU-ɻpԿ8'~tKi-Y`c#P z{ܝ>@ES|K]dO##6{ dL(jޖΐ#ysiuEﬢv ̋ԭ풣Ȓ! *`Ð3DEq՛a~v~b_T^̕/ãՅ0S%b]ܘ >`k  Ps`Y>*:{!Q]'bUpR*;t>C-8=GրL6]CDd -ėM$W>!Ύ,BBjrmz43VϹ<=ftf0n({C*W)-$]yEUȦ4.Wg|4D?fQѿ(xvPy<O }=y̭45N\nO\CL.²н@l+?+zee_}-eKU{$5 JReb[:`n,9MÖviya}F|TsM*di )-*M_hnkz#}V~Dh#7DNA+o sxw^> &ތIo(^5{3#^hZfߒa3bܸN:QX.ΘЄN!3zȓ@?UtYp*iJg綪ؠBn1F[n~pF3~kLW&xղhfg-$jcg=cOur( \S7>;y!2.^q㼧 1%q]8C2MÒuLEV`ܚCi;^J;_7lu,_gOe:pgd?qt?  \7bɈg&XBPa #w*1Si $4 ёRI! 0*"\@&}BH%eS1&$# UA=yAM<bW>WZA%ݰTu礯sMap,w)Y\ٮP'e^BKJEFA]&v{"&YHjȐ(6[j]pVcx%:*AT1UNKҧβZӅ};mg{S]R ]${uG֫c$-%D/E~ÅpT I@ǗޑfWRpj־)òxaCvR5T^CG jI|/G]f$_Sg`"CGl*O DLfpƏE?S}O,60^_r1eeI!Vt#"~4Cf6[U6kR Cdπ#0}*)މa}cc֭0 9㨛 |T58mssE r'x辔vT ʏk :GpP{^P[/3ˊvbKM^uhVZH3̌Ocĉ&UMY=UTy7rC^IHh.(6եoox~}FkM^G3G,eO>b{GۑE\Rv)qeQy6܂zZfJNojeb&L򋡷Ds؎Ц@~Nrё. 6"+#'Pr if#ǂ; h/<.{IV ^&4 R jr}eAIʕӄ&<#N"ɩKY%={^n3\sx: };ΐͻCS%pOlߞ-bŒ 2.@C<*ߥ sGQkcå5#.O\W݇:Vwlq-=tݕm*ף_x$BƇ nK&Cj(^H ߫X6ZǂhiM׏6FB>;Oz)/T[~*SdaeB~e5Qڢ⛥|,ʑmiA淪L{"l vg4`Ȁ`qUBQ! Xp ҐB B4T@4>5|߶=a¤\8#S{sx7HP']GUCa`Uk( eCѬ ?D2'6#W+1ق}QeI?NE}@c3Eb&eHe'l Ue-/8v2Uʖ(݌sH&FMخr050=Lg*Lomsa 4ax :zHC~nAr7}V DlA0oD!صq(]Rm+ѐbY7)E @q<NrL?`^ĸ+b Xi$y~H :BG1Q$ /FBӣ^VU9+窏[+pe`ʕUdVpLU@ktptc%EUtRpA 6y?N'SBG!M:t7ϜJI$<A_#EI$f&σRxg# 0=\L(iy3\@.Cm R~ 咽91M3gג󴆏EmfJE_n] E(SycOA@ga! K;uWy#[`"KO79wfʥV]VQ3R[oCQ1q.(`#yty9pW(nN gz1dﲑ1Z,A+NfIp'm(xԺe2 ʝ8!_aED CJv(}$ xEiSC 榰(_:[ *zW(X=rqvώX5?}`MJ@<=BvE$v]R>B- =ajg N巒(j?0J^e? HAMő31%1:sN/ *{:sht,(C jW MBxV[x-]{r;)}(U@cUqy#'fhɷ-wMߴmr0< ̔&璊i= V줻`FR6%(<>f&%L)TE g 5!e!ehn1>7)C/@k!1~e^o7 ʤSμ -}h~6Kۗ5t6"_f:gz]&aM׫֘ʙ1ݛ/nX-L k=onqjLP _o)Hg}c~ՒcRȷm&bŸ*w)lJE0wk>ǍX$pf)4w=p(ƿt;Mv5n$m\"n,m3!ޫ\hɾ"uc2CUff͛J-8g#E13Z>JS,lfiʚk @gXth:.I4Ndr)yJYqlH4S 9ly ZW0ϵz͇= Sip͵GMV+V4/˿=#Ivv\\|5h *03 D8r8AlN޶F\}PIۏG f ʓ,^73rIS,)@Z))6Z\ 63BsDP6uH˂C-K%JF֛ƨikH*UCU*™ [P7CE$&S8z n͞6oa&!? q $ ߿M zBd}1)><%|IoR>e=m"~M/u|ȳ2ӖĀ3^IGpj%J1.t]t&P%3Qegҹik(.D/kZg@<1La ZviOq:X<;;° SwddfjGڬ|#[A W~4>q, - ,]cC}"=Xx0DG^RogK Z_ڲ} kj%z2Kҹz~i 3:Wo JVl>v.47pRRAAU-qWd$VķYQ(Kh1@yMOrLS;bXe]؂r iujt.fl;]&t,q"'z2 ]Le%ʇ *D1M9* },mQˇd3l[|ۨ2@h:+V@GBvkӋ+6kne⮲Os0yF\~xo,QgYZa5f34d5aad01ea3a264d8c7b1bbf15cfd9349fa1381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a 7c6d46e4371dddfd01328e9f87c81c7516f6eaf88d2236add47d209d2d972b110410c92aa0586dd8