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 e' T, ]S Zeta_Function:threads=2elapsed=14.225cpu=20.644gc=0.528factor=1.457zXZִF! "H]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪADТ$8HEҒX2qaKf3Ih6]i'z90LW _I槓HoB6YQ.u%N>Ai-ƢV7iO]tf^ch%LjąSmhؾE*6ٟL1dR.g/܌`A&UO5, O7cWdP\AFKul êBJb`\qkxrp$Kk/B,E7XuwS>P @iu7.H+^Ů.ӗ@/ÿ^Q[l7;,7%K)N3'Mw;Ȍo m$l\=KSW\jN>]KaT[EI^6݋9 1t!s0v7zs 4B#D#?1\1m7dowmS?܈ EO"?՝񧈅t`r(S ~R[R$BH0; hz~P}N[~0lj/š`[k4[`׵u\.-} l6XӅMKvu8+Q&:Fw7v@: bϹp@0n*P/!.mXT硉.3Ɓu"26ѩ:䶫ӳ ^Yqv~P91P6Q؆ؖH՝l.k>[x 6T bL(yw;.F[2qToGD GrLn濮:2Jl?sPak}(Tچ@T^H?&NJ %Je1f2\%kJZIu=~O 2%_e;B= si72*4bf٣95TsJY<ؼC`;s@XK:Y[5(ʹoT$Fc+")y XہR{j<%8ӊuTzon?yw$dw13kyB$T| ɱ܂lngYZe929added2006e74b4ff2045c761249a8bc28e0cadf620958a483c5d99eb8b585d74e10e62aa36e9 592c3e8fc1a619dd78c917b8e580c01545553e05 1d8dc5a6f18b5891bdad33aabcee6ee4234451d6 bc605195cbc5d993d73a1f3b746b83fd2dd52f34 ' Zeta_Function $'C% \Zeta_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)Sltu h9o$\])B礋cxE\|HS0ᄛeI6, ^KXW)?T=5|_e}YIY&=qW6AB=AGPes3Rf&ZdgI2rX+/m RI~!hJ\koKex&{Np{qUM=4C<㩬MXv؏;x ϑ=|D+syѦ_ˋDR*kV d2Enieֻio#Ј&ؙ¹ssǭ Mf$H$\ R]2¨a:g$ʰΔ1?}$0uЍ4x߲p*L9=q.M\y{HfgY`v,TL#f#O; ?0[Ř<$17~ Ɓ.nN6&Aϐ`OYzX/QT5|K#(qo4~9,8]x`If{"<^O!_/XY-HRp[4v|q#11v')$4 n tl ys?g C գ iER6伖!2}Lx֤|ԛ X[Ǚy,_^ZxB@9*륒ӕF3\o !>̓ ף-k׌DjEqu'cp|4n?_qZ~V1hR!Iׯʁ(j;dnɷfvptP2R8< ^Bo9sʃ *QLy]e_mO^Ҙ:(s-}e'k>~C~fRUOJy-+Y.JeGR,f]KEge_a* ɲI&Z(Xn2_b9b'9鳃djS'5m „ĤńQE̷l1*iuz-s1,âN)!D\ZeKQN'+8|Ϥ{8s]Q,o_|Kc݁@vQӿJҾ)X#M*4Dss)вW0G |~7ku)N n$8 pSEAp@]^<6F}rhxaj`#wvpYVMc0#. hG ô'S}ƕW Foٯ,<_}P-E?s&~_wӑֽ7MFr9STai  =2jMs>cI<@ x$#^q$~ЊԊgsOrB !`tR%6D6 9'C% Zeta_FunctionZeta_Function.Zeta_Functiondocument.tex'1Ơβ;0*Me#D½8Hv4ٍ; 3!=%|-& Q@[ܔ Eʘ!@sNWvlϯUrMjx31#E!;(Cl5[MKU!0% YM ]>>-nv-hW n^MV+di/jXdsKX !7CoxaDp5߳.j'<ل`]f""*?Vh$4۴M_OG9O̢-gqzwu-ItXO VДMJ밻ḢEX Κ_.` w+Ɗ}1YKZp PPs>T'=K*ojWDRB0`6~Z-1!R[n+vVˊ\BNcӔ=LoBV n9v҉d$G+Ph㪁v<Ժ[ԯ&z5Kr<*H 9o\X>m*VsuT4ٙӋKm=_+ %(q#bVKP'R+|5ϕCtXgR1'#z%gjzRt$ j5W$ₑFzR5$Etbm b<围z.v8HQScɚ݄ L_kⅰej;ICwSgxט{'o̊M#8?Sk ĐF)ytWk =%^-7u_5<;s=5.--}7y z=8ENPU%A:cX~m9Q0Hq3+ZY5LG}H:;L/'4FrH*7e#;+`A|9bЃWD# _N>H$OJ-~d9O(}}kZ3v_+nft}NMwϸl9I")oR #P[(5Hl?E=w 3گ8h~&S ûO? d1c2-!Aia@<)3TyC A VC1L3ՙ,/5'U$=౦H~,loHT_cW#1]`˸v>p.=ԯ [ۤ1ACh^,,-:Y(=d %6|YSjٹU_ QmHv9Y+$`6ƏFNyAslUI8m8KW-]iG(X-v-c1NY)vg3NL()2W`Ј¨Q"Zl \8KJFGKx XٙIbw NdÔ@Lٻn hK۬jAHݥ\ jb*o͊g1;UImWۄ$r: v喞}unENVT3ۊxXUQz6IjX&DXE{~욮~`ʵn8YlO>Y#"Q VŘuDDyen Ma%a᱊44]װHtAFw ifttLJD/' 0޿n\c[okh J#_—+>Tbwl1oɗuTG O|W۰# >q!rB\AG -7m r/;ppb^oVgY2ہ&CBM5!]J"@d2YA8 [\6*1nAѳ1С$$ԹQ5=ŗ< =$d#:e@*'dD4T Mi3PiBK9,a'XVػI% .倬kRupPHJh27y ~4kzXʼ4@qٛjdY+k_g_sѷf0Tj 5$FQȺל2;"̪xpDסhcW#vnJlpZ%G@CST#v/HN*#P1! ^kYВ;^ &ּC`E J+2,ZF@su%0xЏX&@-&0xBZic^5oxVsdx; %EOk|Z ( #dxؖA<T/잩ӑKb$ M( %"w.E9=֡Y =_^65Z&Eמi] ]el-6ksr1 pZrx+h͹)p5;ϫЂ aEL&ƠIRM}rihQ͠#QWum\Xɩ=ʢ#.zm=\"?}.p]] {B@ׯn]@hKKSDlj PR_G*W.md 3xm:#:hi3(Vwrzl##wА]b I@3o?tCNY$-9Լၧ@#SG:=Ȳ~\z .Bop,ʨM5rjcQмȖv"u1^x17sq`A#_ |u(纳֝a5N9g Rώ[GY;GֆF}E"N`TVk?Çnk_֮|%%BWT`֔ݭݫ;8}qMʤIV$`͐ W Γ/t4p6qM 36>[$(? x[ D6OCB WlYY(Pd 9i̍ڑ1K VU[EoW2pF[p-sȏ\Jݵ9sִ}=4m.J5{œOWy`{Gk~W]j[O?Hv ?A׹4 #gzO&A+T5Ӌ~=)lQ`\<*ѕγx87<( >Pd_3;N`-& vYֽa;jJx"HH,&2D ͐ ].kxׁ77Sj2 oSTYxVaPƆGರy??#]h \ +aׇb:";Pa 6߾SGvO!'TtI9Ȼc)[@ 6bopբB7v; Q'5œyǙG}ْDR $ZG}W=@w b猬Pz2@4ԀA"0IxQeҁeOsZ!|?)6{q$-S3YDR#FP6k$-BX#-Cv%Q]BNѯkɟYBڦ.^J.>O=aB?; ) yHd3tӺ785_T5^cK2IBZq5 P;?Ar]TxGQ*X(L+(օ'o+A*EagsZ0u8 :6ЋR}\dHt8ZxMlKo2z΄0HBcex;(ׁK)ϊx)"vʾ[Rпc[-kx5AŁ \YEhp@=\n_RA:HYI w6x0 B\9HLO*|OBA]e2,GR0Oo[(tN};-AC#^h"s_ B(mPa`7H;#i;|ēl'xU rxÃsQޤTJ wyM8q:Ц/-}n/M&eSWKTob._ܯ&6Y=B@sxb- o k(R=xeqo0q)95ٽp%tV/4mx%dair8"ۺG×.q ~Wwv,2CN @1=K\ wa^7jjQ}BVyTMNһ!X;TZ mһe1׾ӳ%e3?((v;$@u!@̲˄,{g1YXDдXXܡpu4A?Rte׽g;)<2YsaIvUH qy~"Th5Y\ի Oa4SN&B1Sb k!H024(@By}NAKf7LMdQ;Q޳Ykn/QlA-ѨG* 5T qXco_RSd7&vQD}Ew@C7cC\ a,m G@NMASD[{4E)q1;Fq7 ?(D*;B߲mM`)A&`[qy5Y0Jngעߍu+6o ';EN3(VRΧlSZ Yۤ-%dyH"Q49wf ӫ T̄+W!tť:VT 391 KHOf춦ΥY.ɬ8mJVjGJ #\ZNr99٣itRJfWDߔ(9DBbͷc+$6R+Wfўh]}`}kР \&X{]3r`wC*B,x ObJ-uciQgX5k1˥jb :ؐbeR *˵.WP32C9:WUlLؕÃG5qs,p_[:AcNzo0/gr9 ֆ l>C1H۶̵\B,.22?gps9YH(S㾬T {K%T5شU7):c\ƿsg6nLP%FVBB5[RQiC[ \k\r|y\:^sbCYp/r͚Wfk`P^o>6z 4?Azp>nM43PɻwY@E¨S3AV c51-40d IOVs@ ^w5K@\N$> a~үx[J>jφf=Ob{%2Ӛ|gw. 4Mb{t7HQž*.4}c~: KqzEqқ1!o`'a坵rK_w3s_,ǻ9ETc Ո2RւltEJHJeY^mT,|ȍݎI|Qjs{FJ0~Ȼ1 E%P:G"Y-._rõTseЧ6&G& IZ_O9ӜS{zmC*͐CMv 5S~% ҫܖ2ܦQwcFŵr3חh 0ώƂ^ u@*}-Q˴Jf4@y@= F=λh|qϬ'P7_5%@IMɤLKRFYYvuglD껓?Yhnn˵'QF*l`أ% v$=Dz%Qt&GY)Agw-#E S~eȅ<K O @Qp\~BXyL)1m<O,gpS Qh\DJY^Tv mJItLTDYJb y5~A8 V`R9/"t:Dys 9g19Rqڨ#K 3[%R} xx7b9.):S\s*cL лP8EEpaNM_]O嶤FahLkougo1Y["ҠIy}eUQm[ ?Sj`W3;_5l  z20$ӡࣥ{QvLU+nK[ 5-9O>>\uJV"x1^?U| :w;8vwQuo׊Y;YxB޸cj=}@E/U%h b>Ę28d4J*C sPQyqE(᭪.8@q0ty2_Շ6.>f|[˜ J?xQ 2:>pHҎ;b.V\M_܎8`O`z;gaa"vbM$kF?b3f9i@gujCrum% _NkpRR[X 鉋IČ,S\F?ۓZ0[z9q4.5N_`kzڃK3HC'yܑ;xVDNd rV:*L"1[?Lԕ`'*YG҇9yƏ'n5W V*~fI#>_36;ߥ1g)QX92&rFG4[Ŵ0!0@wCL(alʏEIHÞ(g'_I>iA/&ڃ97B2=QvHiu~,JI*TS Mv),rφ[:M߾7&ePn^l^ZόB(seK*g9](δ$ EZE{|!Wv :`i -0@(Wu8vn xBP{aD )}R1K ߉hNO.\&~jojxlYqdH/6I<6B|>'mK4qj<%_ #@yh}=fPg1aErux[3ɪ.*_7o -hIACJS%-)ŪtІ·34&$#;REIxaѵ$C1φﻆuSc ܴ@isÞKvy5l9b)X.C+s*A)./j&Q[vJ=8/z!|p bv+Z;ROkV?BAPЖ;Gxޅ v4NԏS(,]PO6JUTB?EZT?g~E<+=[~æޤy>앮B: 8r[n޶?IDtH[H{o1M0!Y3m%?la6<ͣw-* H`=o;ʀerLQ^vEl 3` Ӂ |+n ƶkpɖ#ڭs :jc,`,J g vnѐ>"tƖw%e[|9\OΔ(\> , 9i;RYUuL^ВtNZ?ѹjddmId+>kȷkYB1\aCEj/S3dMm 5rSJ{Hk(H<|}l|^n#X"mN:卧>, zK,d}7(([yLY˴eA?*yt6uuvsqòMѵnٵ1#jrZ$ȧ7@l,뾽@x{VKЍoBr<!.Ae8`AVm!E# €UeYd@R=rfK:ӂd*)ش%pDrE;]ʋж֞Kn. SZAf彿qEN+vΜ-_ &nP ]rQxG}вk`R\t| ھLPh> gw]^ݚCLA_.qǚ cyړ71(0gYHN) alDBEfוGcCHǮPn*2ySB6K+^ϰ }Ă$}^]R\QEM$-0zѻ1Vh:V7=)^YQ_˴˼.K]|d-2pnxfhnq"⼃z9aR}n yOoٸ٭8ݛ3ldvXQ394C n ÙZ 2ZރcGRU} `.)jjedS_3>C:.-G'a+(K6ð, uHSS,ӥN9C, tAt8kIi݇eH)?xɰ`^7.@oMTd?*ؠ`[ub]0̠ҙ%&(e|(AQU )ǷYpS؟?NZߤl!bF89o|"EuX,:QC?]i_.HD 5Kdpcy@'+tA/,e-ok;;"}={y8C{Zǥ xGZH2i"P@* dIlߥ&FA:Xp웇;Nh Ipox/S{wɲ~M^dc߁ ixJe90eKMgyVG rI|&rWH<CQӴ}a3vא"}{_1]PUp4m:yDu]t$= 6x:^trLݷg~rsdWm6!|l9&=gtRDQ)iZr9eb`g?JF/5TjXh2 +DyMd'ڟ@L8&gЪru3gM)m#DXO(`[DmG)esXUؑd "ݡM-_7PNf'0 '-t12?C3bVw O]FbwN4|{ QNj ^٣3nO-(M"ހRKLI|zK_ =ʬۺ%^QeG?"V" ]=\&Wb`W #X0ܖ"Ykqk>@B:m6Sp_9$68\jFK,0jB%>fwk_qۜL7P䄔 7.<^ɷQqdmԧɮ_'0Q'І nM'K-/<4fC? |`2anc:Lx׉`I yV|Q;}'T9ۉX"q[dh5;⽺ӵk)$'x^:K@Md m[SPzەRw7 ,//7s$aI r&'l#6LWC?5N ^$K%ډƊHo2|(fv-]l^"_-7~T,bI%̯bpj\$Bѕ?Oί+QTx^KZW(y>YV }B\<5wFJ5sf:LwpII$ǡ7}JjnႰՓ~TxIyX^V))66̀f\bS#15h9"?wR6V <36ghfh.ɯhaCH:LϴowmeI{$Œ>\dE閪 Bb` ?p &:N׊=,eri>7Lk S J+wqHs*Dda7I>d{yܬxxv\j&ֿMi$ze6UL(⽟YDcb<.|C ;)xpn 6jε69xhu\&^"|қz"GOF"wY[ QJUY1nL"n_ d3}"58ZKT>c4/N_0{]B]ʀAIgN؞nfߦFlc÷o*A^ o?(Rс>P|{,9 j =O+ J4Y0v~W.hn?GE 5&iD7 oJsʂ/|p\\vqﴴz'f2MuAq<*Ԯ LV8t`tҧ.Uhe}̉L}ټ~s5r{dViX.ZB4]KوVo(,-m&R`k( A킞>Kl~9K|s%/=~bwжX4Tu#H Oyt5vn2)!@$Tȁ#?p\#}]9# }X00D1$4υuc| l>K[d#fm|A t̔ZK4c4:FyMH g|o=Z5WaeNn/Rs;39us`xϷ]e"- Y%rkWG;I`N𮩴 c/oKh1%Xdm ?iٽԀSW=A ]HPu% [ܨ}V՝`{԰5`ֆL/{j+Zy]E+W,deئٮ.uV)3C@?F@:\=+2 h[O,(Jc6dOk3=dYJ0?d7#uz& w1ζyP,fe; h_Z}&MA[@l 0 I3F;JD TxO06ްvNLOLDVۦK{p^M'6N _0}TV]޲fB)B[X?/%e$Q,B-]G#?[i)s(d`5LT#&szc˕2KE].rF&i, sE9R`Gy+tKc#IqcH%LoIMciyh$VO~ugsZVR0m0HP.Kqu2دo4P[UZMμO'PG1j8!<-(A (#3MilFvK7M AGve٥0Weh(zQJ%(*nzмB&ʘ(F.VP*PI):m,>N)UWnxaRӌo7GkFi߁c72fWJেg$[`x y*h3I:K1'3ṱ)v^:U:+jZ2ϨxȣK1!tLRaafABӐy Agt$[F!Tb[^ڷ6G޷;)_%GvҎ7 ȏkX۪l:-xmONDz9'WచaV. D=9 ̄= H*];;rt_pک,z0e b JY ^\0A2nE4a`I6'l"c0 Rsok)KcBx7ߥ~n[EQȈw>EL`ushnˋҾtbJAYך >SE?Pܕ 5ڳiJ+(f ySCRu<:O\q5 $0N[; <A[JаZ(hz@.R@ueڨDt.>~Yv {F0nlzZ$e xr75(HnAwfkۿ˵78{(]cض$Xe!+cKB͋H;$yw@Lno0AތEʢ=tJ6qx HP{.(-īdxitKevꪈ52*L۪?ѐOA;zXSW>c^5(Lse›gT/d-< œUϦmDFOUEjQYQ=!̨V:Ъdsx5L|&cbiڳ?jq6H;}m}gy?2WX |&(Zw") i  5콸Ag zG{1VZs} "[5&:Z(ZU'F#1dÔBq=ڞ6aWaϳ$zUi!g O8FJAN2k wS aWE 1W.inp#{0B-1lg$S O畦E͊n -pF@0zFEqipg(JB?xÆ Cf~֟RjRXE[AbqX}\-,2t'rԨ tt%BLİZ0;7*˧s5PeO:ǴjZ'=ʪc4jֲʈȉ9[Lfy};ܵ"B8-mp0S Lo񠢮ᜨOT' ojK3S^9AέX(7"H+DϜ3<^r@kH4}?ZGA`P+To%qޫC_4ΐ n!tlr#G-&ݔwix80!4s^U3f nE_lCϟCr? Bi?!Xu)TA }D/ͻ!Ng Hz [d_,eyslt3"[tpG0+ߩpDQ÷+ o~)Y{ r([|dKԛ0XYs"e*!L"H]V.sjqbiQiΦQ#ir]9",*0K4mC=N{q\N.YXnSeb1wzuAj^ăl{ji=c.ꪊ$@'M4PiV.N:g|L~?+勇 اa݇VHyBQe-KKd RwRF1&%F eȬf9=֬v*OeX+V{6iZ,bK!34Zpbgq4spZzp#X$inzGUz)e_vS\caWlCv+O.qШ ՙc.il"硰Nn,Fa XD#^;+.DfG dI¹1s9>;._bӀiaƠУ`Eq+P͂M6;ctmGŏøl\14mqB);V;U:R% X "~>&ѳE).fH 2#V,l>xX2қ%cJLV;?>;?vGu΂O;WLpL\,iHLC O>7]hڢh(qdy-Z19I0Bmj!ȩ>viק/MI{DuDSGhjd#A` {޺xGT԰B53cYCPVoŔxJ2waG8?XˋN^QY+no$UG2EQ~0:<Pm"MG}85w^o5N<+~O2zzMjJ}aD~pƴA ,GcgE*WJ#E|iM+7 CmeFO{UwֿS2M"& : o lr)"I/w MmR{h9PZ<E .brqQFl~1oSRK ;eEt0f0 w:x1X~iwӐ/)dtrT`ʈ:\Tq0R&i ;*b9 F7]t$H$@k+ =+[&P͜aX:hcU&Re"HI'ez\GE $ +M'SS$]~ ّ^h+uzywQtGx |'VR<.UP$aܫMn ݪ22"n2k@)z'&g!:5HD:޿9Jjn!E3'FecX#O)x2P.9R`ųۃ:ҭ71(bσ썃'GF|aIA! uf~0ݼRމ{ozΆlIsqaZ{(xdV3PLXlЀF=ZRSX.+}sZTرYPسϠAEPeN ]jo vxv'|P /GB~y(K2RuB+9x&rBGt$= Yi5h;A8o\SN Waq9"#՚G֞B.vYǃ2'r^U08RTWm|8qe%+1xʄvm!P(zU%>cl\hhmX"' )s=7J{ uO@I.7xdiCn"kpIGGD!`<{G{(1I+#t3x"i\ GF⻥ -;zx\gɃxJHFVq?8zm .z`.L-!jT:E2u/0#<@uFٽ9eKphh\O4^ JZ Z'[1J襧9]~,o%6uZO)SzG/b.>/ZU|ZlR^U>!:u k>A#݇Jsԙ`%[$^M ðS&% w}~I!-o\};+ex}xsd5eBpfgPmxBHƯFrS&oK]YҭD7k -2dN' I+ k&2 )o c[R״SRS,)třd1#.)^?%`){_ʹ/Q;͎ܮShޯ\Jf0kZ՞ę-1b4\OCd8].93\Z9E X @&^1!P8m"Gxkxv0<]ײȳ6+Nzb+8ejYv*D} 1!BdžXwBNMR$GJtR1Umf!/ĨՐh j39嵥2$b˩HsQsbaGSEKQshVG sѬ?Ӓ41ӗ]:0]\^F`['WR s[ZG s 'AgX[PFJ*1:2`E'9PqSp/i(5@uaiQD9M9 ' *ca'l*7ΐum6[%x:HmnHöCNWB`ֵ#Yal81w"R|i!ųs.ҀEnS6R4 =q~*Np =Ki?biL\Cl"vB!mV;[j_T@ww)FGAMvGMܸC_Ճ|?QsbQW"@47P9dW6[,@h,`qǚ=b`:DmyPBuyZh>w5_O}=0B˷#v` Dל?ƻodFTqT7enrPkF8-U'mtFIҲ^xlFtfPE-5)o"LJ(L{F0<r]O8_ƶUn_Z΂ YL^ɢI#KEYbP0 r6Ġ&vnb+U-`:/p 0M?L&9aK;u1:>p oEێǃoRӺ+bḧ́B@Te,7:|hlŋs"uH{ ʱFaY5l6H"Ff` jBv7XXgS^u\0{[k3X%MCZKnXPJX{fx7)HjV ¿óaۃzI7c*DC^ZqASV,5N{BLKkg4F5mf !ތi4H)2dM&/*lMjx8o2PPZ?\ ǜ٦eo^gңHG$_.?bk (ݑ%,P^>d狕|t6'DBH\l%s<Ͽi ĊyPWܷ.,{K*!AƎ# (D;Z/' b2݈g -t r e1"U~t 6fafё8MVPt1;nJQc-bbjM5j<('f'@N5~- 6qRW\;럄8uZfXIP1x1;y77/i&|FT/陏*A#\ l?=}4K0>d>CVSߛ`l#!4W%ZH ƊN.C' \IZy/,O`g\X@jlӏ<({]2" "(5gb%PCU@]LRt)XjKfJ\plJ=WCs&AJ`FDfL5wb0E>KbtWB 7\c}QJ_. )h~+S{D%&1Pj5yռ5s.kXvkwxdaV0eҊnkQg{"b 9mfӨ#cS'cVv'=[6 -^.7ks1*W%&,N;G[S7.U#\WLnYj5>)jY&!C`Kx_4" ?=QptlnN 5;2"g%eHdd}g]C׬8Ij2s-9HW+^clg3ݤI^63Sɖӌ'j'lxN z`yZpMXlW@/1]&"7~U"8ߔ\ xQMVf{f  FdRPmn =.u/Lc֚A|[]u-rse89؂Z꿳92[H䩉0q}IaA)WFxn( t)Q7Pe=zr!zZ];Ռ@`JȿTgTr<#H%:Q6w6ѝOjc[_ʏ7kvb$FI宲|!&x.[%TViʻ}P=,:MB{wJz.Lqdel%k۸.}׿CgŽ/F Meыh7M`7@&ILagO'|L J;%JoWNk0t,#+^`F57Z8Hʅ9l<0?z%d% =%Q#n(fo+hpE$cp] 4Ev& 7";?&.?gb^ߘ$ʯ@+7T]{~!)'jm;.>7  1 i^\Y0E.* >n{4G<)cUc? T>f, kHuM/1!TnKQǬ{$D u45}cx2lb'~I愹ݳ_*id7S#W5O(J ^2Yk]UKq=ԠaJx楕[v4;+4 4=j`W+ȠX c@hD@|1GK(nH-$+[l]C:hDJ?X:m<!/rB[ PӃȪw: N]0j:+]E\8FA6:܇W2ֹ£ el uA { fgd@$[/JCRS [%n#Vw7D$L\+,;R v\ئ/p-.4~g S7)͟۞ k$3sHX0=t_E -+L.jҁ~"MW`~Lo9DPt)wNQYJT=lKϯ+h<2cEyͮe6~ŜYSٖ",28LӛSyjy]yk`@(JAKz>S̓(d@_90.Mj^zK#r'9˜ kGZA=5[d* %V:@z:x;_kihY4?}뜞;}n0'׻Ȗ\'N fYg)Ù8a)yS)ٖ*E@Qۚ?Lz)Oz7g,5Q8Ml b+ixhVFf}*[{Pޅc+BIG'j? 긒Ҧ-zCK,%G3^V0gXtP%3/? !tPOl\Wcr_ t{oFmwL{px-mOD[L42KpN{GG9N*.RmȔmV}xl}5FmkYt!ͦ*1d9`^ԸH0AP=4$(Y~qirp_btʕ +F_ZY o4#܄Mq* ?kvkInl2RaE&DCcr Pz 3SC>Dtx)Ý_m"/2ӚUp6 gǏg_edDtpN3Eו?:Z($JWBճ7۶6ևwAҢ×T&lVH^[8B֨8ח6YOp3\ qYb&]w~gDz&+Pj8 pizOXRAc`H^ ٣H]uap*^QW2@-`O@~?Sz庘KJ}Aa daA'n} "`a/"@;Pce'^,i.qSA~:c}/JF Ud0@k֞x?SCoavF s=;|A(c *lw&kUw39`&,/w% >Ur>¿ɹ3O O&aAB +0Fuܵ.@?3/݅2AgdtWTaڼ謮"WJݺs=s*6}݂\JϖQ{hk/77Pޝ$90pۓ֯;V8),GᲜ5`FU06imhnIx=v(]иcQe~;TlWm" $"шҡ8 f1ݏ IZ:P砘jv]Cû`YBҨͱ>ST(/P2Gz:xZf/WV)Am/ y(u<um 3 >Ng?XHu>!gNu|?̓W2h.v} xǥMf*ܼbJŃMBk.E꿵XhEmM>zX:9& \Y&nv}8jWdbnʁ*g$_f=Z+j^'Ѷۀ{RJT,"e*?~T#" :fjbe2UnCOCh-ē2hQW.3#% =/ ɛtcjHrt+MHPo慣G} LAcA(Q‹ ִ pP0D2'?Wx I@ԱsbEOrCJ6w\û: ZHXl&;g4ݷb^M ش:ȱ~#VI&إ|]M;_޿nrf0>l0wKUǖȵ8bրry'8q>Fd WN+>ɓFh1o=H.Q: ^J3)8ސv}(}[cKr; ]7C]S^TK*fDc\{t fI*0M"GAy>bIh~bcK'sR:5J:%<25z枠e*DT[4W,UM;; \Y CaP[+%GΔ*{Cs; Hc4X?xB!X D 4&߆8~t;b.?ep|> G6c@PmOz\xu/aL@ߠyջ&q5 wng #g_rPѕeŀ b.3LG";$Шml1'x9ʎؤ[N*>`L>U9 +o=K-ר b)ŸDh='bPѪ65ێZ#4Zq`OqomZ֓Ϩ?6G7 oG,=6N0t ć\wmQ(Z ]|x0&Mz6Sۉ$*Kq Pe*R^PЎd>יfR? ”:'a<RݱgYZ