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 @@!$4D ]]]HOL-Proofs:threads=6elapsed=650.734cpu=1544.556gc=255.336factor=2.377zXZִF! x]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\+jtzaiGO,yO5̺́pZWAbeq %'8[.altu-7f{p)I:Zot&HPSe_'PW|*I rb$9Ԟ}@σb%T!IOPڵ1D` ]J\`Mo @(& $M(PrǑٻ%DP Rx/ĺMwz(}o."h(}B>4$z nSG]ø]Wk~Ii3wA44Q'`0ljY! Y g;JIla6N'uJN8,hRxWɖvJgl$_s_Ƴ?:Q ,d )ECU^Pܑ?Q^Mw_LEjE"-n4TʭNS@t.:H q/cur@_*zmg3;ð@ds앸(kNH?j&O^m-?(z6k;rH\OxwsQtȳ85_f=8D"1Kd`=~zAm F̢CYuz7;g!W*r8c]3I LߕuĢuנOco4J(ͥT-5f4JI88 1"-6Y^){1dRk{>r\V[ & Lu+CF p(^\p3lTnB?M<LYȐy; m*e_5)6 C7̠N_f%#STq?=i?'6tQ4n;+@!߯Z{֬ڜVħ8vwRlyyQ)ÜeZi/L=Ճi,s@yUt"%WwH NZG- "E[b< b~̣p^"MIN 3?~sAq$jmt{>}7317$|Rg4]-ԶxIC!!Evj߀zd lF>{Z9Q`BIxme+'7Syƥ2ҡ +mey"JվbNo pDW!H_܅65KaWIP8vueRMq"&Bs`Ӟ%&ze&FqFC8r83.!ńX9ZE4vV-MnIVl'<ȧ9(/ j:Td)%OA(0@O9FWk=DTSXCP nY6ؠ'+𕪂kAWK:[ 4y1:@?3- Œ?[/ Eq!ia3H4K0",w;z#(*=5Mph w}Ūz$kxW߮ /pp*`6]Gxk9rxN7kl?7iy Z 4z[妣"wa}'.s;2,>ؘ޿pZH} Ƌs<),siuA_1Y;JX/GUo4AB4* pzntx}YuOzoD_n;$f>g"CCǪhfۜN˄JrLZ~l^sX1M.,o倆/Wٯdy|Vuſ9π!A%Kʺ1Q#TVE¨_C4 g M7ID bBW4ghZW*Y)_ |5p4-1 8N9{0Ja`%e͎}7ȴ.k-*I0G/Nd+?ﯝn2gŃv{?"3C 0]"T+߭ Py,ԆGG%)t'[[0enF:Oi0.Wx c|OD?}1eq< 2'Ddz!7)<2r`H71fU'm?px,x|O/-k=\ 4M{U ˠPeBݠY,8BWEMntnP~f~3jXژNP0/LO}ZXMl @n-.437Vmט2\C+!fI%Cy`Mߺn;e4ò͘Rܜ69QSr:&qG=03*T7)uVَPF,j.7jHN05Nz;q%dۻ?]. & ?{QaX?:{p>E`X)4A`LFڊbIG&եS1~F{|%lc dE0Ud {lTi.U6*H' @D_/ک4ky2P+0)8v)2|~Ӿ< )?D1$>Et"[%PG2ɇ5.u^̏;tsM 'Nイ`yxH62U@UF['N1O%zxWsjHIg.|<&-挎5Cѐhi&-c3MM"xh%cCz>!_> <>FYrŊP25!G&+%trNDxͭ~g:˹OA2ŝ=&& |@ $-}1o*|A)(UNVvLQY2}'Yw \#ZAC&u?ȑJ UkBfb$|om #}rPR1]M >WLر?0:C+y}+U@h~ aW8P`"xj#A 5P(~P1xdM>|0tVFP)N挔ɮv;?FUX zPP`e]  ! HOL-Proofs  -ufWHأ;fD ɚRδ;V%|/A=,SrK8Sa}U#GFҼ X FzNݑ>螓t]ܙHms%H6ى`ŶVTzP4Ll*=A889)`~4TY0r@J2dVŜ^Lw5Y#v"V?$`IMzf6/w1f/3m_EjIwi4UV'b !)q 5> ,{!biٞ~]v,Cˎ=1PL\T"C7u_I-90 uw-K2R1A^`Ɣ:?K|4 ~j2Ҹyc[Ռ݈?G&6>x}G'izעF΃ZjAؖB?$@w^$e پY }">=J(R1iGD|q:5&`n=fm {x2M;//BcD$'f`pdq%ѐtyViI,RRGFO"-ٝ%nh "~A="A N7nqH #G T}.k;`Y(0}10d;mfBv!Ԑ&-sDZ(0fw$>|cKm{[4eLzza{/C ؼ-T,Qiq9G7pb(ch\yI[EFK>B|nvUھGzk3Oi|=}]_XN䟰 2)!ʂO[ !wj(ٙ]^QqEDLz9></=|Z+7i}:MHޯ%#{.X܄tVK<w>p _0F,c`]<. tmަxFT;|s9lb$sݹ趑cYh]),/ksN.PBH0I'K2fscB&AHD 4*ZLh42xm]EB[n#utvfYL87@ ZoL3{l(xkqĸBb7hmZ#ӛ5lWw`3wFg G+Tvʦ0V^ e '5 nB Q}}}0_e_Zx"œO5yH2?0C8[3FJУyCs@ÚW*.8w|ր8ْ[ ]zNҟ1~<h6*i%*{ " T#x3+c^3!+.w&O^7dEP3l<gX.@PxKS/Wwjgåwc @^LhSr[Ta w c9*ÂD-΅aHUf> 9;\/ې6Q&Y6In[oT X?qF|!`8q@5`od+{lo%r's(}h(-xcD`#[rst^"c+`=y$8V!j< lvk+e-\$άC6G:sv#SZ*Eva7?sZ+:> > dA|w:RSxFW| C!1.#NVs[K. a!D6Y& lmS>e-x2M+/DUBI2n_|A` cZdSXDv@ғUYyK䛙OR- BC" ;2}rц[rUu򩅦{ܼ9DC㉜ yM3tŎ_P&{ q3d*Y[xPk1fxơ1GJ.;De`Eэ$.&4nye:ϊ_kmUTuJG[5Sɋ'/.^ oVR:G7qs:Vu!1_fgcsmr{B0qL9Rz=\t_YGQ;{˥q_ im nui`adx#f^$*ҿ۶ā*[aE Z0vL7ڒFyI1xֳш~TdDO:SЇ4t#y/;==CYR1e++v} ,nv'<|*Lb٤K{Y߅o (рd74*<(y9|yz$2:z˱,Rr}y_7<sKہ廩%5Iz%U?_$Q^xpM۵ 8K7aMB)7L2f !Xg3e/ygYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BgSM['[Ui ͇w)SH:xG ?*·jB\t{ff%i|" #)qįZ UT9 >ޘfNuRyS ֟}7OT]2c.ӯP+)?R_Xl!DDg4|:COB'u<ɇA.#2>5w_3a,*8ɉa߇/(~ræP!K-uiht7R+X`I:7!%"0d:vTc!ZBq1W&<+KUժpoJ^;qŐWۿXj(4LBQJ (Y)In3g 63hkw{DaI{Gg|O˨6Lx&GP5X}zѴmOW1 c3\!,n} 8]7V-URq7; #S*flE)`;C̪De 8Ȣpa,,Gu*Я9ꏼ"AY8Pj,Gz!֙THx=K8o~ʌHڳ<:?MVi桔g e'K>#96&<%3dAV@=>!'پ?`P,G4CGcf]LvƏlo^:\&BhöU&Uu1@ml(+6C={Q 흆*jCRA,+,2IMPiyd{8V6M(pkWQYWvm ӣ[ono_٠ZzVs:!qYyM9!Z<X6dB.FgE>p֐}~Vk/Т ?>+jo֯[x!(O_u=悩np%pt\WW%̰tUȕ,yuXQ7I#vi6AU+=Yr5Xsh6Ds8HJj6畇.AiVHR3Ýk 1? (8L>dIL04rp*{>EnY-}1Tc(0>k*}'ocCuaZa 0Ɨ5dҐ+#+0x\k tItg |*%oQx"~ـ!#nEAŦIf"ن ThU|n0@毼3uA߉}GmJsGK)}r{l&n2y}ѕAT:ńjDP.NcW(wWt/ )5bR=2xCEcz4 }32I>)KkRdw|З w/Qnq3ziXkݑ#l*&YWfVba7K%D-Rϛ>x`G ]WpċvގxXYTE`*DGltDVEDA*q6QyR>9ºxQTT-MoE\׉>HO]d- )ï~Dv?盠y$Ӓ_)?7yѹ3Ħ .@RS t&X}Y}LW׷ {̚b3Rh?(3'z-pX'A'K[sa 4y1,tw-p mq Uc,? H&_-!n2Yh&[$# n$ sc[6yÃYȤ-6`d-]*&FFJWtÊἉD9Nkm?@G8+';HD6w~eUxyHGoyuTĝQީZ+.a_å=>7yv-XilPVH+m8#I6QD" j5))_T p"RyڿL ߖ 3OVa[ûa։ƾլrj6:_ S`PJbġc>;*Oۿ‚bb3o{w׮AIvǤ!=<"3',cDt U8_U3!$8Z>}5KVHRжPȖC OXUGo,tۉ*>Gc|癴/޳@X|/4ܭxPB17f5Ee>qWW#g)L_5ZyqH4+ '@7!p-;W~o``ȷLMD` czb@^{3UAf64jG&@.'AeR Y"@Nk#j߆ ~Nj4y=ʘ kP^z4PVRcv(b+0Smm'T֕B2G@]q(o' ѡd(/UD2badw].%EDqDh.}%I?1iJx Dp}{Kuso]//A KRggO9Rm}K"Nnk~R n@}G^FFRJ IQOa9*F.l"тe_3\ VH6kjU58-|Nrg.Ԭ>(U$ Ow9ppXT 8A[bMțƟq0,G^;nKȉ"(ħZ KHcoGVS40>Ra M3EzeiEVs5jc.V /^/q_"#8j=.UB0VR ;>0/ [cMT6V?,%,Da@0F]fyfn5bٍϜ{8<KCxE~g@{%0Ҩ"O]2ɛ?)jǕreia';4f.jx1pfO[tl ~q~ʿUކRJP&KLxٶO߂c(6C|2ۚgα(oF͸GJ`*M(YW{\ڡمHD"XaH.olǀ[cr{?۟&Ѡ ڙgY!>>b7q ˶! MzBhjቄe)0y]di~ٻ$Db,Y'|6:ꍡKfvarl5A W W[TՈaxY\K`gp>})ivRCB"$D5zF˛6\` շ ;b 'N#zV>KVݴ!(6Qi}Uah~i;e*ר"Yu,9Hnh 9r|! y qƥ~mS*2] S }[(`T.!nPmO=P{+I$K0M|q+Q*=3d /)Y$:9)E,Mk8*@q5̐_G\w  U8EO6Q9:,َOT'6QoN;9QcWerG* gܦ y.d;?FXVS $sVrM{tW>4RP [L٤m}4{s"=e\k桋3I!GizHOύn mV lm?dslmI[$QYS >MO 72] u*QG#;&ݓn}#mS"F4 mLqQV6 8X%]{Jb1AGnyN'xo?plr,#MZgd+.`ūM \7Êaɞ;鏊Wvm<#6}=SHI􆅣fX3OTs*a 4L"{ FJ[qy7XVɦ2Wij{}k$f{qF>Rn* 7Ԋ *)KR-(x=T.G_P*7Ûɽ* 6Q9}40cزuėMaq[9U&C&Ne1Xy#XRpҐh1',=N!x CGKV0{PUͰ s{Co WمKjI\^XveV.Cc#hgo`40rq6O&[G9ZЬ&E^r.m&O rz_P*ipE|P)dT|6!9iQ}JrzNA'qDZDܝ6eKno,=zqP8.Lb`E9+|]s' b;ӘxNe*aܩP3 f2\Qk0."h$\xuDV/#)& {fhY&hrrlH,~Sx Kʸσdmv!㰄%'ƜVM` zf3.* Ҡ+1E\x+XmHEOR7!RYyQ9uޣ sI#<]~=XS?REXnGo߽-)[4 8H4kdT=Bh05V;C{sEXTjk`sF yIP{)f8}!R$J3+nB+m}I :Slr_Z5[*dOK"}UU2wR"|‘d\Q}M?]2628 \BgPO ]r&m"H盡*)s<ǣzc5%<@hvAQ4ќ%V~4~ U[hV~Ϟz&}4\{i >F6ퟬV/YhԖ܎[O^^<ԛx`?/wPg|׫3JL۸[<59heo\P0jFkBNX^AՅ 2ɳ:?Pf:~y]&ԖÎ\T'2p<4 PdˌY{B@͐޺0pwtؒ4FMKKH!xkG"5_jzȠ9'Lk"_HYhH޹\RĸK\p7X7wm e]MY<,m%߷P'LirCp#{B \u<7/+Jau VJP pD+Es,2;FÈym5wri}H&G'+o9J%MDY;D> >2V w'Yy%m(Ԍ 8ɚcr؎{4cH`߲඾O@n{tʻ2 6Dž=wo_3 =潒H0Ra:%X)ĭXyrp'-S/p|_j'UGs9vx!_A ?**ELdO<溜J8q9yhĄ")PDqZBo-=\ 0TalK6up[@qcHu0ޑVVPîm*LC0 SKZoEE!G1tWDNy#a'Dh\sκ-S bXpX {20.~OI%~50av"}Dq]Vz/C|dxB^@P ')Ɨ֯`ufgn_iK;5:jkXiqzq;29ijCDJnÍ$Kնdov;5qugZ2,kwlgU>z Rj D O_ )޴eP9Lѳ`rlݲ~s fVhf]5Nf8N}Fs:ꏸVD\r,8 Xgr6NCf( -zWj$A<(*܋lCbfHv:=mPg9iyk2 FLiPfrR<lroOaZ&F#jttw8NuoyhkI3Ћq0 EgB~s@6Bx@ԓ5<$:|{Mʗ&)pye*;"v+طV%9MS2 pL儌!l]fdcX0L)h=)O?&JS|UD.& nj ;r4N~@S/hB} G\rs``!Fmg߁`xzΎYX~d]2۷[x˜Qԏ.*Wffmd+kvPYƫ|88{D<9E[߮&%Ƞw!6΃´]bpϤƖL5Kyu9VmA(%j2p^{\'PPY`1n:=_^u?nPu?µ},|us h!Ʊkb0OҴ7Cڥ:@diUTB5OfF[Q?l/2EdClYߠ^M,]F\aHXU7w b^8٥^_>NtYK].4g4G0h&`ȄMC׸`T]o1d|4pLQ xegjx is6Ȇ:ɂ' nV*R C[Mp+@PO@4'<{*bՌQUv|L]-^#K ۑi$Np rD&霞 :6.tŴ_?Jk ]Zqx3l\>t0֛h V%9]#:tBqB"b[:+xR3vW=7]r_^R Rۨpu9?{KCA/b6}s?^I;>xl-r` C t~{]_@GuDkF*RU&vT,pFqw`筘C"|O:ó?uOm/ =<+xmqcI繫Ж5ypT dJ,VYG7 κD]}b 1;wPkg+4*mD<ڌR/Z u[ ;ʑІg{f@@VeU5pCCq2-¸mMxYj ڪgF^3dL$NAB."E.)J |jeNO4{rgRjY_$ 2\nmMd*]gX˴| !onxľIZfwZFGOɤnԗ(z[73oie?@.wYebNBD'ㅟ1'Mʕ ^b } YF6r"=k)?׀'kz83jPNVn ܬ캬{̩̈Ě-td7mwNw'!SiHjCyis8 {?_Yi`vrV3;5_e]XR v;Zn~q^iW3YJx5kt(hG9=s!&R.M +A?D!ĮE16٥P:*"\LڷկSs!Q|}R`[70|x~t3}TĮFg+k)>}O]fUT'vB"u~Hu@+{f~`0jۂ|#;!\eWFnE[4ڵ}zF)']\(R)Q^ݞ>oBQw)-A!΁;]`HUѥ9Y)V6LrD5~)dfnUpht,T~hYM'. JAeNުX)@b5?4MAER8VSQZp97P ᫪&~ owܠ0Ρ(K-BfNC׈*H|q-sDOZc6;gpqHnB)n+ѝJi!f4wkb9\}]PBtiy&-[vٿqPySTˇ77cL_U.7WݖB<͓S!:d?Jo%~z+xQz/zCe ;V"}u>660"gπ lÞj[hc\[Cz[ ;HF# %9~O,̹>F*ܷǻĮv0[撚JA+Bez-٠Tvf6S-ހ\S>oB>H{;Wc vf[H8ĪؠR _@5{K b/܄"Nr Z'* @M1<,[RR> U%3쉵r*a0%5fL $F>Dy*:zak#[h BuOߛV*hǞbf5v'b di Q yϤe840I9C)KbHMTD kp./rNyn3?<* ɭLGk$ F܄p/f\,^-qjA]43̡D/Gon3:FxEX8JSwap3[\LO/gp9Xz-Iꄎ}3j(557?aVl,7PԆ1 {D+B72> Ϻs&EA]}zxڗˎs{oȯί1̑B}4Tj!|!Q9cީ.9{#jT3|' x)ml AL:۝,u2h+b3@D$YGYt)Xb.Ǹue=p&~z(<(j1 OpBZ,N~fg8#aNYQ}Hjboѱ_+˅k1uPO5dՑFGGܚ<.<M7PJ ƲLOuzt-fM%6sL  5z>*=Hb8/u,6eZ⽚g.loFUD}:D)\WUconh Ɍ@(8JB lPԕ`|OAelxl*͍Dk*W{d4hB B&\]%QY%8<<I;JfL* ĥKY+?ð'2*Y<Z GT7{8~?elapofSk%Po++7>d%0@”9{!qK69^Z ld dtwH$K0s9s͌TzZƥca? jx3[an }|yl}w8߃{609㦗eזUNNk9ߖUs.ƾ&M[Ǝ 6k_}06޺;~Edד|sz,eG_ܻ/ W]6fEtα >MvqFIҢM#ydѭ>;-XW|"LTdd c"H=|m˟b%*U.ޡ`ˑ%tנm%ND}6d^JN+(`tP3w-e M0hVt0W!Vv It:?[ -"J=Y55}+{9@ H>}R$TG-Hf/PJ?;;9{1xƔujKl-TW4MWfEp2&做qga @IﺈF;[eŁLU_z%8u\ߓ2g>ؾ]¥[kv??ѳSۘӈz(0B^3`KaVjQ^Q[•XNK%5 Ni^du#p"a@ `nelS֔$Z*FZ_] 1KQHP`T.4~#6!A+>md::-I;."2w[2/өr3F;<d ݼ;W摑$5&^/B &~Jp7PПcaI(JG )m !}VS[@k31b.N"˓ uo nsxmOAs>N<\ 3~l/IP#%pJL / y&vBp.T13Ga;Dߔ7v6@b*Ns'3d?%v5Q;zԼB^a3T41 ʞpXXYCn8NؗLʋU2!Q*7>綬,[bP=o ]a^LC&~2RQͽBf(Y'9MLl>6#Y ЮCJ#|~noOáYA+s_*+ ]fu>ppa)Q)ha1k$.R0۽5^o:e4슥Wah #`$ qi :-;S1E:P.¬H11LDרkkUB:<5^{VXƠcN{׍eI%&ol03 cL.1RLfw[tM^٭@ePKND5J 1_V9 FGJ !Mvwu>Ѓ #31T | %[b&Rc Һ~?3ftvԭ|&@ψG*nC-_e#NP'V}bN0\P }7WTKZȅymJ̃Dm jkEd4i3(FB}m6(={5t`4AĮ9ny,p4W?yJi4K@x:m;VՖ0-'YX&rp@V'}fe ~WFsP;G)^(mTz!ްV;UkoC@SlaE04S)< '*+,7H|-^ /}خlGՊY%K'خ_]uL%Od_oTu$ji!mo6c;fY u|VTc˕M[^ 'ށG9}'eUS,՜]\|X6 dFpRUOxȦaj *V^r&=)JMFx@&<ӻh_%>f+AS4ee x?0x#甤|L"&5o5#kl1.vEϾ;/-?8wt;J7)ߎ~aSlݳid~"| E`w;ؙO/uDnU^p xXL$jP.FRumfeNE|$1D^$]=NP3 5{@߆aGl)mQEԫWC'{7wFj2SDVޚ6UfjuX! G&b`&q~q{)>ێފh%[A: a2` (<ȠsBCP'pc]3kg1]$ǒa²zᳵRw?B5Ln\Ͻ( %i̐(~yuR->+oN ֠V9Ka3&(ACTUGvg%Irn< D+Y mo8p0 t-:Eel0X^ @|+#مVuneq.6ʈSD"pJsR{!>Hg+.r; WK˽b.WW@Bє#]@E`gSSDЩ*n2%?U#ʀ/~ 1^hװ2^s a( Q-c@/b}Iz0Htf`Z<"R<5:m[fY4<}F_FL#-z~Q, pj5~6ܛ9ZkMw&J1%LFpZ럆ZGw~==q `nvj|E1Ê8f8PAf봉dR7@%X<<&{|qIg<J\bsiqL h–QbdPE#z1LXs*o*4ml@I<#xUHzmZ`vVo B:}W%v7|aӾDm`EO3`da'dX*Ȕ3F%vLX*XU+8@ d,* &TMXun[S{eBg\HX>UU- L&\PBñ ']{lX\g`#*b_I5pv B:׭_մ<[ \sS~ (ܪZ9NWj2B*cYO{`+d R+Hk>vrm:@OͿz8{ꊪYNGڝr^kӣPBkfMr?,{Eq-5_$ib+XFpu=H,K".ԐɘiSTk<@ "U;Yfymhim8RMTztn&sE1HWr^ڜQltUX´L :3y@k?R ΁<Օ5ґNR@O&Ů^S]!X ͤFΉTZo${q[B0ʚߣcr8 *TMwrKØ} AUt"uK0GS)%T2j ,`>ᢝwb.U.BOH3_ʠL5T0Gz;&h?(\VfRU97BgFcS !Ym~1Àͭζ;̍oF1kks˼@ԧ7x*E\QȥIviLثh+-1a&"`CVi6p1,fWEOD^|pDu54:A鹔i5hT>ɰ{[HFnczg%ǻOY)0s/|[}qJT .jأ=IjU#>r6^y_a+m[LQmyk# Q}Cj$._[0 MW\=M*F*TLQQ%Ǿਸ਼nn&Z6i\9v %]TՁp$kIKt cag}ĺ_}vM+(|sG7 bG5d(R/DܗhpҦ!uuT Ɲ]:oQMʳtBfgB\ AM -h9v2U BlZ/Ae@ %&G`b1;E=8Q#V\k=*qe|b̉:_l'v&\/Ɇ #A~ɰ Z~vދ?mx} tdc]-s"WO&uDSN}uo, 0lKmjR3^fTo%:z(ýar^BǪ4ONVjsk~7/عG!͘Gs { N=ڶ ȺЁ } X5tuE+6wI;]fٸ_wn*f[{RݰInwDX6| tikRl咦FȘN>1˔NNp-i ˇ_!P*\_c{jr,Bu'X9{Gâ MMEL:~JRT. m[;h v* K8*#,6xa4jr2NZfzϐ`J8>MXw` ˬ̉C9 K`{K 2sh2^&&ޛ 3=X%?&qޔ`6ŬXu؁d-ġ]7j>jpQL.bEW:jyЁ}ێZ4]ymoy@6s3~dh4Gz39?S~gW3|IKv3F&.Ű:rr{8:LΛ4[c"i'Kh4驕۝'A0 CP?uvs-0)I L=zIz'D@4@.$ 76%N`V% K$Q|Z($ai3J\[ 0^*/ з\ꙌRYd檿<KR f1Ja FwZ,dV[q `B]ԡV CAJ# 2(S*&S#`x CXsX k7i>x,T*ݩ*ZqiͭI\yW1xt-EεObҾˬ29IӨe_*0յt&d5[eD2Tx X{ SM9VX7.y١"X1mgVsfҨj 6P z [s$w;"f&y-YhQ جFn@s$Z'}@8KIx7O* v`3^a0J7Rtzx5"+6!nѼ`c<}.N=p|ݑz'n=]> /J'xudPآĦNWcٰwkF\c6=Hxl*#uKxV|FVg= ڥٮzrp?l} J n\)JI^b8:OtcyKNLc6ޔ]V^9xze}{d ' ^iڑRpMSCbxj}]7;O[tEmÖ`7O6*[oOa-|ȎAĵ8-/ʢu) p^ |_~(xyML<47qP%%`~[ v{AMX6&vmV^gh=amZ]yT?g@H(r.E -c]r J/{"R8hdDf%eZ.:6Cc6`*mƏE}nkGć9'ZET]CoTcbf c5 { I#| kEPmAc#"֐~X|;!0&RV6ġ+R1YkGOZdUubrNw#tjO>aue)ncyxT |]%Y-6whXrAklW5鹻ܡa͜ܐ0ѓ"ōĬc]Y/!jyKH:'5e 3W?ʛ!wmmYo" ɂy]*83ae/=$uc\6 ZG/tpRɆLiE4nGzŊ 7,!}{25Zh .)1u5(A߰IK1e*K/Uk% -mG^S0K>!+ې2ya#]Ջ*>/'=8d Kr3 r x";'1͙/1'޵%ZK3<1K!E™[>b [5FeBh 1=Kf0<ڞtfPb2,I/zS;i/|$tRa|rSoNpW4JӠP=YSqw P8ۿ7dNhUSboҒм} X/ueЃ.igYEZ5m E߱":pE4묉Ȗ{wpgLS\ }J~$m;SpX @_}? ?͒BHRTHlݖIh(ͮ0_r Z`Қa WA)a N 6{fXe ϥ Fyp%oLC4fA h*9*.=|4WpzL4 z}2 竾Y&u(Q0DG0E`:b4K{}[*48$Ȝskm]5VF״y{C]BSI m7Ƌxg(l:>47V$KAqϭ&K"m!zrҝDp+J/Y"[cהg{UR}y#ך/?U⏟L%? ٮ;S\p[7:r7y+?(/` 75fSq` ' h\,QvvO,~ޜyɲ< E4 5W_:'LgIqӔ qXF)嗡6l@SGu&@Dr|8lb\J۳շ,CvȑŜ :RiC2i.H Xُ50{\c|XBgpUifD lx%Kag7-n0;DzNE h.z4SGNߴYNqzK&Bt(`D@ʻ=zusF0+v *pf SQ+ƀҢ1t$= ֞#VظFTu'XQR V Y KsTk$Upny]UQ5_shT rDLV?Qzb)a&]SbYZu J8z'+kegV=]BEtװ{%&kU ca9:NNX؈=/|6C٬W37A\SKea@W3L@z岴n!8qe-B;&fs$rmh4+;s0+]Hyqb0,;>Q"e>cc@Xɣ]eTYhxl+ռaJ`݌1tRFah- Hb2c 0'MsDL40, J]|h-fh/4(l2:ލ9 ѹŒ \zwrϺ3j9[=}aڤ󜅷x̖ USF﬩mL 3wZ,h0YEg^x幑H7͜ck=/^mշuNfد?b8>eZ{K++y^= LF^KP3g3t.D.Ic ]PA;͇ Y؅ɶ(7 &UmϪ{%%D5yGI~,ayN#sd -_&X{_Bv޾3&3~-ρGF%һ7 [# f238K=zzC` d_2!y?Bj(mUSv7B5u\r.4>`T,^Y4{ a:3Y!Ze/{ޕʹ5mCeq3w (""ZΊ'm~_p U#AX]3٪P 8RpYk;6S-]jp=L2[O^sV'yM;%s1st,밀Z"bB4e1Vh]rhse8(];ߊh_.m|ϯΓ< {H }+ QA.#OM~ޝ=TPh9XPۈP&B3$cPUnW*2My"!TunV(Mj y{wA4w;)oxv/an$yGf# TpTCA']f q"K~%EdR)ʃ` o̢K( 3궹tōQ# ua eRdɯdЅz` rUK4y!&bℋO,tBjB-iYOP8AŒ9ڃ3q(gp`.iQVDJ9iH_ȈL6DO PQe+Nܒ"v[WMw`B3F:](ͰŧBP^?LehC0g_-o ]JQ30LU܎k{YXFKV ޵(`h.L=(F@cH,W=E䋧caV2qBEaN<%#->8\t-c\TQvak+ 3G'I+{VlrO~ :-y< oo5Yo ΋y/Y:j!Nu-y6k,-|dGHgI p@bhLRX$<;HhUT/scIA?g}O2)yVLaJט 1NS@.FٚA$9?+UyZ!7>j.^;jqk#?352~k)WL/a>иs6 Iqdsn9θU6:h /ՃsMQ}MPW TNdSɃ]p} -Fr'BRoxTeq5{5XK'2{Qd[|y[OTMߤiSTfL&k}qs{f4`j?l劑"jly({[n WTP4QnfRXӪrM[(dbk\?`HZ' :$7cip] ݖ'&xVw9Ū&OZk‚Wc,⛁L{ǟ"JԖ?%>7 ?Q$--#8e6@0pbJA\uVYD}Vۓ[Ϸp:L9L{G(oq6bOݍ~[KN͜ߏ[UpW$RLLgOy.5jxW$>R7}kϑCMẎ`OE]g—H!+u;{@¹NX*1-/ĐS11 UG2:eGIǚ9 /:e4d`G S:c. ]ph[2{*(e\=E H FKoÄ>&85MK6 HaK z92[aW MI Euk*HcP zPP_ĔKMxFvKP/%ۜzg!g248ʑct'6,I <2]IcIBg}y]p!7%I:jQ`oJJL ]U>DrR2C}Dwkd nG'e,KӔrfZa'yȎ_5v =``ZJbU줋fԁxڍo*sq FBTT-Ae=8g؝){;!Cބ2W^OFXއhiAP>SnK 6}M+k,0WfAYeBO~oȚ*WU ,f h255P]JX.tsw= si4jYPR1rw*4՛4S3j7U+y]hٯ5w0Aâ!E\Jl6"tNS0kK#,ܩ<Ŋ/`)jM ;<=$)^!Vƙ@lx*'o7vBfRbKC1yf !kDDl$qz(f&\|N=K"ϏVt [Uȕ,7%"_J[)Y/~hj'!Q*yX9RrXA eVDQRtצSrsAh;`C&Wm6Xڬ rP-qLAzIߙ N zv.?6e̠Me@2XG5sSg~S†ƞZV)r)ظ B 0SNXv1{$Up;Scuv(vdVsr=+uJ\E%WlDZM[!V2hP)yӼבri(c3`.Nm)#$l"j 8 S":H(B.y$g)? $q:x/<-}ON!?l㙨Ӏ=Z0'Ia3uaWEپ;:i|6#άvY -Z!ۊaնL.8[jf>aS,蛻#L}|ʺf_klX\uA2O2j5k츎SѺ;yg:DZU8"'$V6c !r7WIJgd݁$bYk}lh|cvg w_.JP~yn[~eLHD%r ίrTM ~FB2*WV3̘eAeBJO2~w{-lЛe46@~#$tt86 #Al-[T%MT-abۘ+jnA^D:MxG@M:>Kl 9Do,fmUΩJ&ҁ*goov ːlJYGL))NM-ӆ{"*u?!ۏb=;\ |bW-_LNbÑG&ђVIU uZ8()t?Z#MkɚD4:Q?p-7s5pc'.x< )xLg9J5KZ-N\WOetA #[qH~v5w_$VQx,|}3q0أ@" Wubd_Ͱ>*`(z=&<{v9||aݒtՈ;Q`{4}ۅJa$B"|uJEv|pނ*`p*5D~),Ri,6}l Ѫwߊ5 &PEMoOc ,@$R@Z?3a ٙ,i op@+%C61 ?mmY"V [(W4DSb<5mۦy+M'Ug@stl*PqQ+d1 |3(SjlÌQokg\H_+?,j)e{;7J33/)Xkm(>p0740ȂZ,=#g'UIqSfrYx$@D?pA]A?ꔊ!juߌ`>#^2 H`]儘 pN;܆bsn_S鳐^C?]5:@qڠzAJ.2xpZg00a]`.*GE8ļD`?Q han}V Gv*]*n[09C@qgi膶;ce('q[y?~e\3.]]{:iƔf6tY=j.^ ́fAkVPvm >?d@X[v׎8,@'!! {L)L+(خ 1h€™MM|r^-(H 1D_$#1l`0W/ZP:s,9 Pȃ:e0c.~ ^Qt7B"y .p$g݂4fHP:t sRvWT>zUp (N4c(@ t Ҝ$ J ˖ť*KN2X]2R03"Xd|k./1 ԩ_ ŕ#rˀxi0#Y<-3Ȩѕ]A: f~սUփ.l a[菹v%]}F b@2(xnA4?&n#"~d:`Lx<Ô֟bկ-S- 1I'ka5v]5ži`w~#RVyxjx7m?C7jc6|Fvب8 چf+C+9+pEZua73Nƣъ<@gGSfӐ`g_ 4+JpU"wNkJjQ^M:ӽ3eUF߉E6]cJ⽩upzXxX|^\_-DЇ͗Oh&8)3A;F!`4Fy,s-e|ΠCGWʒW>[5fX ݾyԞA2ZGS րw< -kEu"Tꗽc#t(%sVZAFm}<O26;m5^kZ]j"; n@6a; ESWTL cXJoZ7Cg(V*o|xi]ՌhB\"W ]fg8X V<݌S׼ ~W&*@8K:HC@͞HX^ 'ڹC78th} Kth5G*,4td؈T^9lynr]܁u`}*?.l1{wL]wx7v`!ò\`0R:aCWEqCπWXq^J/H ń)c\YoAT'BAnJdxJ]׾0*[Y+Wf-AyguPj,XFZ[AD"9eDwas]jfDYxXsgO= TC]rbءbDl+1EgYZ4e729f1f62d233652e8d2109f0ed95ba477587ca6323e8ae4a2a39809963028663529f1011d7a0dbd2f816b6c0ee973c488a7cd97d4777a93fcce2d5