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 XX%' T4 ]S Zeta_Function:threads=2elapsed=13.752cpu=19.676gc=0.548factor=1.437zXZִF! dD]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ{W 8߻bBrXNHs9d>_bb7tתQƟ4Ǟ鶾qlDk#}OoK1:BMD&r꯿ 2nl.7!pdbo2U^{fC*~kLR`)Us"N>:$rGdyluT֖sdGRO&pQgT}ա3VgՇQ/WݹZؖv8EVRgYZ7zXZִF! d]ŗXiɟ ؁#dԗm.o8S0֟bɄ,Bx(gE]le RV r/а& M̌Q{ԌXdmgYZ7zXZִF! S]ŗXi%; H0) vwSkr.DS4i,b4Q\ߴ_Ƌ̖'wU='"+:%/6ԉ92ESk0ڗ2t pPpxvAq.TPSq:8nqۉ[CmM/@~ц 20eV6[ylڧ`ufy߅+ ^,ϝ*c*H0vWE*!ZmYjICol×R>roI>W-` :d*"9dI(>muw!zPCs i_+H:N9>Q#0?5eB>]Cy5N\c:OLG`ȣ6 ²SMzf?dlH[J E,Zt *M_({X#sBy 6`72GؘP$ϫOn Bq+ppz4UArE={Pk)pnV٧bu pѷΠKm7R8#YRw&k,/lM^{B mW^d}_#" <`9V;ha+T{&4l {VM '{-n̅RO)"@!"$ۀ3Dly*+GJ/ʖ~v~pM㷆pm ;Z2M_*VF_X5xr OBJY_6~Ȟ:ا=,KQG3H֧)>@}99=M|ԌjC .RJ  }gYZ215d54996268aa62895dbc5b3dbe66446d1299130a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 bacc1248041afab9f0a3dc75e6ea8706a74dfa20 ' Zeta_Function ,'C% lZeta_FunctionZeta_Function.Zeta_Functiondocument.tex7zXZִF! 畸]A-MՋhvG"uIBm5ΠצcɣR-C:To,Y b*A%."Mȳ|"O,*JX#6+ rL7p)0k^btl?V V=33+Pcþ:T(^/iq6y j?XgMk$߸ {iܢ6$@3h@ÇʩsAӥTy rg51֦ѱ&ܡ}D})J(,RBM2)N"WC:H1[ ':RVҼzPOiWΈ͂+YVr!P"h79<=B"KE9bR{%owLRwk_y" '@ü3@ZL<ΞFu>4F8+Цnp@1]bm|;s \Lȼ`GOt,;ES+Z Y4YmԞXAkϣBXɂpW;"frun+5A^{U"ȝhPnB4l)Lў yS`=kI;9 bhtO^ᔙN\ >^l1?w%@D\z\'UCW>VvamKg~8{T;2Ju:d~i ]dЧp"#!(&Pf9`͝PEѤ+ %[+=(8u dFY|-lwF r2Aro9_?z Od~lg-;hW<`''?~Rw(-=o~]hT{]ֺ[D TTOx(ڈk"ҏewF.m)(0} Y;1KR/i:*4Dj6ڂ"cB$5,ӇkBbO4FW/!!MByܽb{bЃk;T tMF'19V[7ֳ*X{+MPӿ&H.ވ$VjKth87 ޽"NsF@;M}"`1+IL+HO{P~NC\][ >6`8p o1Lz';ybGl=ba Ap#"ˊT޹!j]( 9'C% Zeta_FunctionZeta_Function.Zeta_Functiondocument.tex;øEYl;?EmGyEoeb^`w|wnʜTO9RAh Uϖ+)y`h3ߨ>`큊CtBV -/(;@٠',\\1H6@,(2Yj;2]~ɻN=`6`U4nВ^ƶ {u1MUͽb4ab^~9?&2%m20 ZR0IZȆ_85t+w#n/'Xb* d"pj:7u5@ lC;݇ /FڑXThƍNn4t@a* f^L<O}A9v*dguQdY)PFA^X Ǻ]Eb{HIr#:zqDzϕ SK5Q*v@Y#go36g+Z呾8nv;T7UƾЈ!.c Ѝ h'}߽YMfԛ{0 `Iz$a~>1zYyO0θ0A/\xSG!& 3P))qH)Sq16KtzċPSqC2wd?8W2`T6^jL$o ?dxO?jۮDl~8# ׎o!324Ŵc2Aks}E ahrLly@c@ٰj#}  GOdߘU Nn~MFepo+ͭu~}Iו{li1M!%-,Ca+ވ1Ӣ$?RPqw)bezDRb;k'؜v Es-zSh-юKXBklp*F7oLv]biŦ Fg6K5B,:Jf:L0ڎpٵOV)~>ܻejy +t2˫8tnqR%vv;?䮯j98 E7)PbM5J8f™`-Q4RdKJH#n%:F.AD gDG0RS%$dDNWmَ-QBY(`C/@?9w|)U`l |:Ѽ 4Esw3 ѐ=Mx5i8i˽DG}x}>R 8rU5w [Z*p9tmIJi`%j;鴝MO4}n\qeybtohAѯ A.8y4,`)Қ+6/PIۯVmdx[E,ufI۱a $0/1SL(~} W]՟/luZA 0DHEN¦1 \u]&E[8?xc@Vq.P` Wni;fIo$SRfM坷Y^Ci\C;tі-U5x$V )lU@L%@6AzUCDR<&TX} 66ulxk,B۵ P_qXi.#n!9.ƗF5Й70s0檻r S~!9+әu8$)<:w~ulelFh>[6 eVFEMsb̭_GdGv+ĥ_Rz E(JV(JT,lk;C#%Z ߆\]qa0 _fB"oWɄg[zLT,[:"3"{6bφB 97`aH剿{=3\Ē3̏-Y_*G/ kbO<#u6N^33zm* aT0̺Dţ^y%?:JDs 8! 8 p@O5Z,u!}eVJ=9<R;U0\|..gRPտ/qC4_8֣5Kq:]OДP6HԂ@ I](|k#kcQh;Xܼ%n:u>s4-2O,)4UJ)Pvצ0Gny/r, >6 zIzRR5)ip(K D6(C.yޕ2l̨6I׫dRΒ'I THLZj;?s=c.f'WX-@iGnx;!G+On&ݻJvIˎ lvjU)/Ǫ}QsO.}su /k2Q1p!pDȃ5g P\ӱ2LO!Zxfw[GWO/[?׊磛گ?V2x࿄0Ph&K8!RTcV 60`hZnME~KE)EЄp9)#2¢ vV ~=k$P)wrTy(ͅYրR4B'22x¦rF)":d4,uB,iO6Yq5vH?L *UH&e3` |pm;9 D-#bUCg=]1`籨? RsP_OU=nDܓPV0#ڶ;t/n8h0M7\hehXY9Q]A3Ɩ ȵ}r~+׿Э pq/ Pq ޅNHtNhdXnF^*SpU~*~ڻ|ʰ:GúU%ꝲ7"vPpaߙ^+W`rEeAQ.7ZqϙG)grkĪv'XN1nC:H3ǎy!V@_`A1н=i8`E^b|!2Iܰf "o86e+@?;._ӊenKIl!p~=zXIBAuyߢn|71`\8cU^.s7޸ TZXESQ1 '3xiQ}9]`I{gQJ[]J81ӃQj y qd ݴt1r," vAN ڵ DgIm`3tBxO;*; O 3֤zxFd#لV`܊9̧L[XanVù3gX$K?וCo9!GXpgԳ'(P(ٹLڟKI6%$!WO,&cf VOQ_ص%4Lj_3ҙDxN s(M旻}?Jy?om= XA2'.(` 0x\:"7}]R/#KV"چg8;i@{z]c,UeR>%7k0?6(dQ!+ʃI %~|>^z)V'i>2!LY7gDs}% je|T".+qq|. sQ>,Y >YߨfJ? )%!dU橕nfBGp-vUKQ(8CeScn#$`S#ĞYdgK*@yqDνF1~oef5Xu3lӰz 3[D`u7/#!~$> Y@',J $u*( cM4W4b޴t7_6ȟ`t?lJ&=~ta/m/q4 hS HW}F}M6;B5C(ʮg R iU&4l~n٧2x0OsEQ1s n:~y{H~ 9wja)&N\kπnʘw= +"ns9ovkYlaftzpV;FG{Lea*V̌ŧSEnbio\ ;_GCsѮ/JU] -$ Z}T к6')\P'oK~d`}oda P12ZhڕjgIR< bӐVP?$IGu񚄖t)Mݱ<,cndq| \̳ M_R7oT!X3<,w-bt2fmKa=Ip1}-{y0S5O^k.1D}HdOrNh-NIRb ߘ5Wy@;g_x[R>Fb9_t{;kA!puK-p(aޠ' ?$ۂq7o`ERbayĭ!"3V%+qD@(lE7Y:e낍O +HL*=@R!Yv=]L3t 9gwH|g77,EdgǏ'4Fh0X6 HvnOfV54xW[ܯO^Nw/Q>|Mԗ *_Jc@zR>/MjY=i<DMBfFsOpB"0jE'G0|z,1 ;ny&i$U)&<{r>Jgc]6ifRx(a#5s\myp*W+<|ϪNJ%+~ mR!*oQՖ_F:&8cxA!@Pd= u)C&x'M͏ݎ%7Ror"Ř{kDcixgɏO~ fб(љ qbɄ@^@^7N6| tE'r?)y !i܊ 8zJm/,sp{&Ԧ RĎ[Ns|H* M(`S= e S@OMXFd[ދ8Q^]{ 5ڈ='M1Mc DU׹[B#r0\03tb"LCbu ";:3.WG);l/O>{-=40-W;|r0Jw*}IK]ʉ|IH8S=7ƕە8[ QI4]o6 P>2F7F/ 66> ߜ}#-OȥHY׾_p6cz{PSISuUv&dEy-_,uDG̾:Oqt|{'c rͺ B*LӃ`L ^{ ~MhXHΡ$@Bsԣe.'V;ϙ&%ΨۥDo: ݽą9}0B)4N}xad8u{s-Wmʝ2`z[cDS9iMiȠ7 Z-2C'8Nxv'bNOeڎ"%=4/r+_e n<r] 2eG,\7hov̦JT=qHF 0iXf,ca"Ca<PKhMSBf Hv8Vjw>k^2Pem9L>y}ZMq{Fbta6 먖*A+ߕa4#4{k_K'(?<ĻА"+g7nxަ(V;Ddr:~DLq1C3|q!ʊCWHDrXo3.ط P.[E谾Z7r篨LnMzvŲX|#Ӷ H〸EUij tCXžjiRѯAR/g3&c̬"K /bowWlql9F7:cWWLuqnZ@l~/ ggy^PUGLt vb;euDfz{zMNԇ:.ircj@x򋊨 kYtON)mA֬K*LEktw YTd/%e3Tn 3`P/JjHB ~5q}1QlڑTFIr^q85.*]&ar@4w`&" 8 mxKOK"2X\6ky]B?j&L= k=%Q}Ny?J*됼n/tIn<}1ں"TIzwc]bheAq[ O ДlPjf ˤcR̍@ub5.Wm@[*NLX9J!bG N$p4v{5􍞺_Pmh,AAMI>%˲] gT9ɲyoRiSpY}}[Ag XU@j:5K*#ƪ+Vxq't=9<,<4Zx^orYuOxZs[Q[tWx .,cst4G_".߹%F2,i/U[y7ڵ{#CϺ$9{Vڑ M$08Fٹy5W:YN|'_! uNh&ͧ :!%*%>(~EVS(]8;!&y ?h(>Xj׶eHj;`1;پ/-jK?xjYnA6U 6+qb+MߣUlI 3H/LUm-B^a.c(n+$ψMJOs XU)ȶ!,1}c­Oל OBy=y0[FOF(xI~c궿?_;a,=@le!XS>?/2.uG W-Wl_nD,1 y[[V[ >(];xTz FH@EkBq ֍02Y1I+4?h f0.}\W4CxzsA\i x^w<6myG?jQkS1%寰a(6™2dZ_S—z ݥDf&D7Ǡ9[0=rAN[znfؙZ r™^ 4‘Ts ]3vO`MF`ޟFb[~L$퇤!51^\'9sz0BTΔ2p+.haxvDH'~UkvII-xۥyK&q Q5630ҫ\Sұj,L|dma!TEw~dz{/kyyr$IT(S9\1e˸*]I{{ϐH)=1iW-sϾޥ/])JLIMj]h-c MTQ45=?Ppن6׆׈?_m3$'eLvHGK2W}QHNfe %Tg؂eM5mԒzs͎E049I7{Tk\vX&/2Vk:R!=YoZێԢBLзr0Ϩ B}69a;&;xd 9}2aFF`6+c&f!>#aeiG;`)8)p HǺ.x}Z ^t-^|xL( doG:z& QalM]χ@W09轁/OVxA(X4j[Ц1RP땔VGbG)0t6yQ2z9n%lePCN'2A=RiQŅS6AJ=87 =FS|eTY|d#:̒~θvG+ D=`BpX3Yl~nFngxߥAh,gF:.[W~K)OX<Y_*A 1OZdO4a!\ߓvn= dB kٝдw)b=$7eTN?G+F8F;HW e/difDEKBZCKz_]3{BPKK)qkև=O .m:n hcHS"UnV%k~>dו%/n5B6ҸU5|Уo9*KD xM@7G=_Bq3y{(] {vz$0ͥܛTRTnHpN Cl&;88i`B!'A%<[v@bcX2UU8&1`@Jk-P8r\/xZr9s9)2#(rdY"\@̭Y+ LgWd˧A3x]4Pye/xQ8o.5lP@D~+'~hqf4H8H~&A$[h:pfj|B*!kH^P~3>?LL* x\: ]_ h`[4YO*<؆ޑBB?c݃ d>۶~e^ywWSa=oe:A5e ?A}Gk $92) $U*[ ;z1I;l ?ňȌG(/zb^)6J$-L4Vksrܶ@=SF*v !틘f7yO㥗&Wq@2A8&% Ish_'!" vr}$a(H[t5u@~Ughi^sw/KK8f9f5F JcR,x>U>3aԬ-~:8|a5oxc\mn2c–b롡h]d(X>痓xb;#AWl --;Jb$8.} ȡщϤ"Q^ yR@[sjd#YGFW = QĶa,1_N1XXbQj..\,|ᤂrק';-[;< [:Ri=x1Vju/& b 99n|]c[@\mnq&0̀PٜŦK(ȍۓ+y_yiSm}"'oi\}wԼ)1;;o2{^kOPWC !bTӼ8QImk)"۫e2cM]-^󊹓x5Wr. Jĩ)А*,G_Ik%=J7թv֕ ÇgsmM7AB/oq V$ME;Udl_p"vV ;Iûm6ڎ%=Ka A"]?6%ڮW4Β?nlG8/xUC2Hr@x7Aҍxp0[6^+C]{dI_uY!5D8˨#cKXp9*VSsw>Rߟ"@o(Cp{ iAjLd0V) d\NÓLJV/Te|_f*#ib*QZi27^ButR*aZgԪ^,(K@k?yN+%r*0N&ɧ eV$u, _FзC+JRh7ǝh!4 `@iNP*[$V$%UFB%>JV,R6})ri&:9% )w1_HP|hm.۪=tWp4;K9Ӽ-#Kl̍~C8(n & _ yygHuhݵ*8@_Ui#-iPc0^m/\@m +9KHIrg1V$ܚCs2̠E%y([D5땯\{8t}襲f?Ne4nd$ʢF(!t\ 티2jQX i 2i\-}5Dd|Męl'_3QQN]7 1Ne.;gL0z=1(un l#DfgϸAXhGx]k{aSV8U^2|f@AwalJѦ|{ #ح1֕\%qY{xv [GہaEJ \Sc=j6HbC^#0YBQ;ܯR&@BkIͽ.M$/ZVn2٤,PMHp(!VbMXzҼK:kzlb/X #؄-D ˲$;/fԁ 6%>*s9}BMr X~addGS.&~A@1SnJFȀx!NI?=v26m^33T E)w]7.ljqvrkN46QOvq+=Ra* TX" *8f6|:,ѕKd s+\ (Ev NZ<~99{6Ք}kE0pxb/%AuO FEU~VEJD(ޚN#aZ!" w t? c%[ve(oM@1F:l"a a6 Nu]R}|OW:*o+j1#lMU3g4 bۀWe0_ P-5 Y'9hyF W\v7cⲉ<6_;sZFZ Q YmEfm{;WtnN\2- > Ȭ_3fx/ԀbHA3##W^7=VԸYQWTʹ}UAxĭ!38:73m hlf0"o4%pgP F 9V¿-$,k1= 7l贻Ž91=,|N, rWFcn@%\prO KOJ(($4g.Pu*Y}ߥË.@YȅV^ C =cY]$py8z:-ƴ?stS?{N Knq([0Y&Ɛs<_dVL}lr5 @ҭ[]|Sh:r=Xl3?٦˸. M_FH]F !=(kq!¾W8wz"wDܡ Gp@6Һ v 7CA7^|*SOV2 룤NaS`s# eگ[[.d;$K ֺ_@*b$EE9d}[?PBan-* Z t֨ L. /:6_f sT1:Z~i8hHP F|({Fy %]YB3J,Vl07z|Sx(ZaJueQv2|\Il|M_v 7.'MY}ּr~r tGBǙv$⓫B*p X}1\!n[z\m 1qGM\*GqĢLO\A*ex܅罐w;_j(u;9/'aŶS5ʥyHÞOV_2nc,z. {P\O_KI=$R?EP,>ZMшWUy8WAAT:xQ='V+CkKqeE'(AxLMYӒu)~fQ;^׋NaL? gp7/Xz|o wweUnAV#^6b5ܒNe/r;Q|R7س97nvІL'~a`hYYe[bQCmBR!Dؔ [y/\O|or=N ʂgoZo##f@ ; baI?+6u`Ha0JkCك(m.ג>~)!NvSN$B=! 6 0y!- H7o0 e]≟TrPJsڦFJ6 HT:RQ,.GݸLEa]ahE: ㏗}ՎB"-I.`\!| G*#B\eE2R$Tjr!y:' N[`_6JhGCShF!h;ԍ{1u5pȶ,"7˞{#_:g:rUB\H*ؓbH^1R޾71KP͖4r6E# V'&Eiz10HŔ[ZX7Ň796nt(*pT9:-( l'ol9C=-TxXM=&W(xM _QM'RUKxcdhI|3 |T "s<0D'lxCLfDcm^PYfT DOeiBhL⎅RN/ ^Emoof'QG`2 }GmLPEy, 03դg\K]hEV!g84Og+J"}xsN+Sk.XM0.?n/_ABBE^B]PJI8%.ut~1Y=e 3kɃzHsDevPAH{{E[[zu{k67Gdz~"-.s}\,, ִ9貼aQ$ қ: H)ګ^&,CM11#8ɔb4J4slƱ`A%t #KssTizˀ_h|ɯH a,0XP؜`dB8\b!T%]o,)4 UR?;i)DɴJNIs:,IZCTl:ci Hd4K| jL5jpȀE v#| _NtaF^r/&2˪(^(w&9 L)O\ ^f+ٴ~T  yB 'ߦen ۜ2b\XOb L i OY/P-kD 3b=e7pʨ rK[~̡'1C@U`C2d"|ڽ0!JMDϮi 7y3O~&x"MF(S5'F^O"2ӛRU?algGO;JnܝMv+*t'IcFDzaרSǢ'n:h݊H(1%tK. SdTԞ߬I-uˠgYi}wȞ}+ }  n ZWv@ZLF;,ʍ^+3ńOTD!|'ѣh}ܸ\1qLjW7J/X׾pdrԜDB2M\(w㎮@1kzk[ c@۔zT/wjO8#/5ԿR{u>_xهd'P <d=jqV$% 'mLvղO wD^3IY\qrr<`z(mɆ +7|)˝ypn'E!j@Le]%`$i!M.ϼj`4.ӊ@glŀW DiVvlƁV3ر`.ȇshE+uZ 2n3)On~^9û!v@IW^;tΒ2'D PE1%|o?!Y' ΙGCS6k>,lէnnaCi1.B Y-VLYdɤllYMAIƻ]nM#b7aUs o DhڎQ7lb g5Oj^RHfC|Ee7ЎR;VoYu3l 0o@90mNp ưenHKГ1\t{[żl)./fwFb0" -,eR@"~s| ɦٳU# 3]Ʊxl%Mh2l64&S Prܣ bn#oyCʘ&mB ʱ*l[m0`䭛a:;.ʁc?HoR3׸$DE=> ^_OFfӰsd%pyXe=pf۟ z<?zpHeƋB}RT㑄 @erKc+W[~ %<b hA ) .ȚHNeDF1N)D`R;# 0$Y?hj[Rdw1aBeڜ* P}WL˴MQ͗!i&_ߕ#w'亅s|iL@s}˥* hƙ럠U$re vIt#fgQֶ7EF nXcm- ߣyp֓mc7+퇒QO$~ ݅-Ù!RbzemJnjї@5pߺ3Џtw="X.;=G-9s.8zhm6QϤ|D~4m8H%"r=\,[:_7TG$ ;Y>GkLĤ;$VEdCޥ!]Psqpͯ >YSS$0'/|+ G1]brdg*Z[VjG ЧMS)\(%=俙*k*l~}OtFiWw$+5[j 7o+-m$֍=ALt:؛)|! kՄ¶)y]Am>{NmkU3S=ڼDl*4*\n+Т}ymӜnq*a$QuTv%hqYxٔwPӖ  N),6Da^&s =BlytQf&ڇcĪ/^!@0f%/0%O-2x qy!@NJoV39pXˌpӂUwׯ _RaT 5IW"׊_KȻ`F9oZ!93$ym9 GO0aUS a5hR@ JRNȞL:\H#gа KZG'rYgkvCG*eba5l~_=jΉ.KsygER,zw0hP%s( abj=D?,#F!@E\0sli.Z ~NHCB! o{jO;*;9$?AN;? Tk,!Џ,3}2m`&{\+)3TWpܛR{ U+מ{W0)`y(Wd 4@q@-#+Js`&(ɽ!bHzySeZ煩a?,R2gGf7 SFmȹ:? )pf k先Str;TD*+:H nq}򸀄ڔe7ڌA^|=Oa5*?P_L]0>qT(|*ct)eh*\U :mu?CH8n0$EE ~\CS<(awN7)~fӐYʋ`>M7wt\ko:P_nkNPs*T0Y8L{e=7@}\?'-f%-|XBi[ge_w !:M?']|ܥC$s^y_WN뙦>!S%,y=vitq"wVFJR@t0e}D +8St(1>K^ T"D7䍦-L.W@K%LNrax)|?OB!̈W0d {/kc"d:RL^m jYo}qp-QM>|5ȋ$2ٷ2b#1q;$c݊~K)u<3/hfHʥ{~$%V kzI(XSƈCYMSMsZwr+ga8ՠ2UyBqrkܖ?o*eje 9_E嘘VMI:أ*^c29"qPL;duL$'ODEn6l[}pEr #d`I؟E&ԩ/UŔ\quUNxDQ `^4¶Zŕ SA"2Kn$clYy?)}Asӡ+Y%Q1h,JM &.VeebN[VILMdfa+~rĄ.拚96Oc3u"H+SNۭY[ҙ`ì$Z.T ֱU6\v^7TK%"::㉝ d TFG +mɩ^ǖ[Zi`;c-jGvNI u A)P*$.C_{-R(XKf@q LȚ."W)m"lVRbo KC,WwG98`ԭ_vᢓ[.?lxSW%~s%K 'k?;'R"`od|%*,! UI_ 5 C*c({Iv<ɓxz좃)b+4g ȡrir8A ӬֆGdyĞr4qvL^>Wm{ə'l~@K&,7bh;p]zh^&3^4dj>J љٖ~R w"*̘MoaZ `7zz$!◙U CMdXOJ7<@-;Be9DluauنU{nR4TçڡXfKoACt] ۨVm` D]9P):u~9QGc\K-DAʾ#=*[2尛m-;Te_YQ(x?ھG*WzX%bMvZv^ʥ|yNA"TNe[Ñn,dž - 觧tߣWmlxvy+dTT#%sȢ&m m'/e>+daŲ1W9d5,f2iQ A{y52L)>~W,zZa  4\5&P(0DT0j tI4֭Xucw˦UqΡ>T dA~ԣ.>u%GpD;EU7Mu! g(.+qmiems:*;br ~>Q!5 ?mL6&RYN D$UoMy(BU 6dRmpsiv}߱?H mspYHTBXYȅQV~[,,㲻9BB1XoA '߶T ([@;co*2Kbh+[Vh[|ߠ{!Cf 3c$e7sI(-{8R:i5x S"=?=) zZ(.'d41Qa Lzjnnl9t(j7 i\)m:Ԉ\;Ү7nߘ]w.F;FT5Bly3j^-q(rQϧvZYm.:bC+7c5*ث|=zD+4: XF*Oٓw Cj^]`9t9#[2] G%e ̍"E"/ xyDB̺|JL9sۅkP Mb/h (2Hţ[^&܈ `Q/!%C8̑6EG=&W]}f'?er9b(}pٮ kA"#6nm+iZ somv83RYEi\w*ke*"nNl,IyٽΰYc필^%϶!{_y閴m3#vkn*òVP Hw!&1[q~̞EC;z7zچb.taR E|NOz򓦱JT*^n;v~xc{3 >),)b3*]]T$ޢ?L]y3?"|@s m)2^²N+ovvG7KM(#M=-7>:E+Bq h&ZRx(3&WUlsd @oH/BY@zWm[P/D=\w'电:=b) dA*п)nIV=!!o +Aua_`Ye9Oy^]M!]zJ]3r _vN^>qqԁÁD\2'=KVXn+2xU[y "0r0蚉@o4К r%5gr>Es61ߚ$ՙ|kEM'0S! "Vb0N,TKD;ҕ3(#A n߯ Xg'f㬊)G3]kA}Uta :'8omaɸ<./˲E7Xg8Lw`(VknI3p W %^ڞSIE޺Ԏ>}C?glA`7kT7)>&.O1';/&7NhԹp^;5\((j H|`v x|E3~+̡t+ݤhe杧EO>g5#W% I-N]HC|o$+8 Mx&Gq-mjCU%Y.eL3 >C!Ʉ6't,I_lol,7yǁ»K>13ONSvo+)CBC=վ~mq/|/=㟘 ѥxLs@*o5$ێ "^lX9=9 "㋔kFzUWֆXIȫ0 XpR,wj ,xłt\*5?<I_gM`0-uN-VZqb+r33">3:VZ! { Bݣ-`U?X=.vAJ ~L)cz/*})ZS ^{erdVU:8/A>Y&) 0l\,7J2] ozgхl7h@wiHvy#|TէNKhBʸ쬖| N>T3ƺvh>NꝝDnz?)ɪb7Ƭѿ^)q3E(7A+4%ye1ۢڊlU/K @,XC*Y&`הRQg5Z*$tT O]\w 5;2Ad3crN,tĜo+@5ڝ o9oپ^”N==Ӂ֥'{fT-h7GjQ(ށ*cLo@M5h-ׯF=~.-`ps33*sfȪ/ʃVLUZ{SÓC4*ǚ "B 8yY;GBݠg2Oʘ1!ө%u`l&,H|,6ZԐ2%Qu9Go]ʴ3Iٯ}o hy .RU\A("[^f(4I,oEU$trA/8ldW;e0İ!7 "`Żpc 03ȪdHyq%_dj# g%:WOhcb/k!T#^jYF<&& Y9a޹"o!71*C[p8dz',2oϸud8;~ }@YavU*eGO=-PaCL3=ow3n8 Ԓ#W1(@>oߞ' P,&˾]tڇ]>4O?Jsr)4B(V'nMܖ>nF "}{u5pd>YBk_zv[QP/B9- QP^ };Axgf<#U^pP YtlY4үRoĕn!іR8H,:75IbkdP: _;7 9 -ektg!6i<(n‰2"t9oa"55Э4C HQ?ha˺BSD673,MwfP=ڕĹ0̸/4-ALj*@@+nq(~w_'TЏ5a7Ci; \. vpF7ɽU$iand!q*vY\񌍈s ;Q]QJΦB YAI%LoV8A>&<od(&\^6WhzSȥ v:\+"z01 ~T}ɓBdP-Oˆ䌢:75j$ъW\O}B\ңg9&WAÆm:i:#JVY5UX{9Eʱ(Msv\UsF@r$/=d2_s-{GfM"%ZR TD9yG:Y ,^"+@:VlSOk yY.ɚ5 5`<=lҁW_1CBU#Zoz3cߪØ&tI^ܨH8p.>(}(kary?3jndܾ\oYq<}Ρ"Q] ˆ] @@ץC:Mۭu<^HD3-\~$T9TC?A'~Qد1crdW"X>`<ňOfl.$|l-ض~ԶDOUeZ_Њ#25;2Wܙ K'AzGBx?,xMqwQ(`e͇Kr0͑|-\u/b&]w~g׆a0CmhSƚ${&V$֝W"sBDg'UEeBhd1al f08g %r~١N9cJ({Ho1_rN'v;~9ay;<|8nLRcш7+r1{숽k%"ʡANf>"!@"&4DSД0II,4>+6 x ;Zvb+h"d1B2Y6Ez8U!_]>QMLSjZRa兯:)JXL yjŔ3 UX+ka~Hr㾗Z8Gm6lDʰޟ`yOJ FEY f o(1J>)BbtD\<|*krӥPMp c~!LR&|*#b:fT] Ӭ^- n$t@ ʝZN.RC˲Džw9jhxKi6~;@{^+#6Ax6h`|Gpf 9Γ?A|2 R "qwM#Uknճ@|b0hiZep(kDf=̫L隆Cv<[ 0R{vV\?>yU&Qn]/7sF*)yoۘ)|8R{ oˊW[y:r7S*{33r8 z < et.)TL0N26O:T݌/w%鬋/~1Qn4V({[XFb$ZϴQ 4ߥxE%32Y@/|J5>AEqV f$or:i0ށ}kB* =R>YEw#Sxv' 9"s>IH%kwjR=yGyGZM{VmG#HѷCIFuhcmj\ Z6hرt;@TZVN$,|i^1ukc 5$r\S\Ģ%f/-k|1Vɂ7(V%2V՜V50$[pPH?( ̈́կlUߠDxCL+qFe 3w'p6~΁2`%6o{In@䠉N mO&83X74)n4] k*j4z)3yBCP}RuQo3GԀzn9#v$*"^IS2IwvQHW4/% re~zs no0`̀qկyKS#yBF3E%eM [bƴ:ɺViTʸyLTzcJ,yx-V`fk_[![pc1^|#a,ac{gr.*#sD^2|pDeʛȖ^Y2Z0m7'<$E(oW(VtDW㴬@e}-?yKH`Т*gn]9 ϘώŒ;l IP] <&(PBBŖ {`waj9)O~)pfsͥQ<(ja-@?LlV30HcAfe!D4%ɒ#@67NN7RՒl;x'cYMWmi R_¥\ȦyMB y\[dbCBc>HPeVXL/"Xi}/z0ד7QQ nu9GIB 78ٙ!u?}zDA#k:C^1^@tIeOwK'{^wos<[E r+`+?h! Ժp%D왺4,$FT.QQSHt]Ul{o(_GuCGEaqC56 l٫N]peZ 8_j_o-Sčx02&WFMz--ne?/wlZap}T`M玛8 XMR\wvl5a@!%> &k3&,V'b{Fhͅ La>W֥ 4=B7_u<; D ^1f%} 9U/΀N)hsx> Px6:Iʊ&uFӈNMo/kGA&zS74쳼8)`TRX?8m>s*銎["=(L}ȰwluVGYY-;CQbg" 4$4Msd}w|9YOnrXa &X8RV7yDh$W%8n$!jLSSnR!w[slƆ, bBLlsS+mIa_b`|6 PΦdI1с9X^S>Om!М4V5=r HN+Zl8Uk:ő .oФ<t3k(nP$r^qh+UcHjl&o>pLEӨO$- 2 =obtouFә~@vZ:JU>7z is8 & 4/ {OTT!?ǜT< DCf f 9 dB哮8< $!7F#ZE|#29AQo&}3"C 8 |Jv=agQt"K|rނu%R73_~9Z@Φq1uM{VFV> z•6 !p"<1%aеj_:xZ+HȹxDWyGhrFTm־8ӥf4oA$Ew4Ֆc 8SpMoeERhCn;˵ +NmwDBEɸ*hɼ_!IOё86H8. k;1O5GIf6ۛ@QRo>ERyY+ ;n3dGB–.@JܟShѷM| .ฐ>p׉H&Qph>3ATE6Fa.b-ۓ{c5G6a#]c/\¢&=F '