SQLite format 3@  . BBh77otableisabelle_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 X%, ]/]HOL-Analysis:threads=6elapsed=271.404cpu=1208.512gc=79.408factor=4.457zXZִF! =E]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `ѳʟ\5%ĻuԨoﷳSvu$}p87$#e'c%Y_9jSvrnFYYAp-H_-47醾dvh\ic\@W5=CځiT?2zFz2쒿.#yDlgҢTaQ(p16h0U3t:ɰ_ic&:㬼܊0U E@KctFLJg՞Ϝh%ԯMN z߭)8]- fZ1[R]DeAlZpvщ8KjCmn(? LŌ:lot;a2 a :ϩjDi}okLJ62yfmX@ɢ`H_E[V4Flm8"c傎>t|βsuĮ;-|{raa?n5c1xSvp$RM^mTE` X:7|W:V?E5jCz> ֡(iC{%n) @XަXkwtdF WqUdj֯,qY JQ$zxvSȧrDʈ[_>ftېqox:X6TNXc'A6~6=Dmox :IJsgqf 0hQdx*j4vRef輻"W̕W`"#䉴h@WLsH!0e9W Ïj k*<8 ;FJ#ORb+ /wAJ|YG&} 4Vc©@q;8Эr޾o73)>=y-ى*.;`Ό=ciyhՉHyJYOE1tCo  -9eT܂l65N[e" Թm4E| <]a@6>4F`lWγc$(Q1̀pV2j|f I p,n[?߼?kL&Gxd834CG%ӂd`1`>@TlSx4_Վl&<ᡗs@QCp-4h{! $%C nK存_\CN!7᝙bGBk2RPN].(tstoY_/78 323z`ory)X+/Pi<L%#)se]szr׉fc.d;652MM,K P}]|3mNcQ0:ٝ"s6mmjWG+%wG 1h #p d1Ǯ4 0!p\? Z{lֆ('~Čg| AnjcS'Ձx8"4Zp)ozAKAf\L+=gh7Ҥbzŭ,6#}ne7YHrxЋPa\8({$ t+2JǂԤri%)K<% 3nuUx.kƞ|k9\$:ģbO; l~6ᑿ+2nkB4&-4¨ md_ē4i j=ON)awd14u&o?V#jT.&dໄŜt$:};>">s%XÃk0;%Öy^ֱ؉n]zy*(J"̳ ]]&ƒVhxO(ȸUANFsқ^RS2>C>b֛WT<_㗄:J>2wjVoTI fҵ]Yo;0;fԘKX"lΰ4^J@$sSGt58rk08 ˿뽢*Wp3f tt?P(qW)D|H "fδ|FnGekqo>߅cE3+ 9. hLg~es~y^iZ[wڜTltaFذH#w6ƾzA % HOL-Analysisƪ=,8vi|&~z20( nL(ƌ4NVlh&*|d]jG6I8 F[ƞo;/gsOքg*ciy^ ĝw~{+7myiA[r血߂Cq0; i~,) qO:30k^Q=Sf^:>\jQֺ+@}I#"G8_u+Ce~/DN WL5 ^^cU] !lsCt+yr >Sﶒ3 W9zxQitr,+o^ɋ\I29066 TJ%. P`qѷz#t*pp6S7S?9GAvc"=yԙyQ H.Nm<1Pfc)uq;o }Q33^q {daqw}jcFops>OW~4|eC6_a+ t%_<`8dJVJJlL%k]-'{V`RWy+80^rjW:L_AٿSH|HY.8kׇ 8I/j_0[JIYc?[#ŪlTp{ݲJ BpM!}${.U[be>l$ T~EpŕDv#cZ W(LP0R\N6[(uFU2cm(N2(6}b\mҕ 6ʇ焯j,13^C>ljթڭ>a[e͆F71Zɇ)@D^Q8]XtD|"L|%'~t7r1>FVA"f鵜N 1\|ҀZ8|j\jԾeϙz5)# (ퟍ L3"@]]ܼ:ճc3V|Ʋrvhr}l0wJ X4Oɘe( v3EUwry@j6f;ғ1Y"&v2 &Ā29`XZu ,41!`b ~a;ޗZg u+;_uUXx~,П\Xͤ@^=8Zz\ 'ʨl6PPt~8"se›=YsW"ªORŎlck&@DEp4:%qZ5$Gc'se^z 3ES$T`G[ZpԈl#+݆*~^A&؈U5.hEXIJ`6fSXQIĮ-%qKvRcYA8&.S 3/gsȘk[&-..ǽ^@#28ۥŐڷfRƪDv"iEA(Ɨz2~b-pDLHY7Nj:j'G³v!ݢ.j0Eqܞuꈔx5D0woBq²'Jq+֍A&>< RnZ 68&?R!;RYqEF x>apj=/Q|3ELn3=Mg*jF OΚmZtJ۾y~22ǾtQuc=Ϣ X Mo(r >KuLeq& $BDZ/y'2;vynmvLS Y92X\絽l9ga9}S4PVaюNc;{`kO9AG2G)׿+ O BJ!f~B؅o<@) G?zn,/R|ɒ=YuWps=&_)jأ}By A"^V)jrCcI`2WU% w3ׯ0ƫw=<R Q33?K#>uY&+3`pEDJ("|ٺ+$ʄ81B=09uMtǒ=^ C_?oc T|a>["^$x_<2';m+?gBn {߶[$%/Zk:0xIɨBO6.70[*TMoD>m\HO2u4һi!=T#˨˃:aK 30ӐB;$'+*F3^$7a6^3^3B ~l8rDBXŠ+Y<\ 1 ŧk)*& H~v!lR_-c{S O=FϘ9e;f^zk4J@'ZШy=WO yZkM}3hsH\EPeFpzr]w[u2 ( !t :"O&X5)+QJ-Ѽhʮb,7 ˫(?P7qʦ$YZ-_<#" n+9%|~c/$w O$sr ݌Fm9Rue ZV)􄟪лKٴ׺W|W3.!T6(vcCREhCʲ(9Ads,,bZL'22qx@cA)6U"d9ٌP08,qzbGA@i ECL FL?qe~ E6 r؟ɐ\̩X<,1 'I! rrP:Z )uɧh,e:Ĵ C[kMy#% %4zX/_PP b&UX/B aTh񔰰lGD9! "< +Z&_YCGӣhE=]WlJn*=h~FmSРT|+>sH5s1]>ݕ1 KLaxÓ`AQK -Jˎzۇ,' Hmzq vI 5G,?Byz:P #`kɇ}܁X}nQj1`O&2yq]V!^^JI*W壘4b\[J_qLk0:c,ch~ņS@C?sp^7A&~7jL5ODߠ|P}Hq]1`t ;5ϡIIδ!sGޕϺ@+4Ds`pϺmidYfWO+$2#<; !yi߂qwHL+ʭ ?0ậ$J&BQV$oF_Tz'1. *UfT3-w"xӹ",jɃ"feӝ3LnPM."f0r8ivl1Z㎊ JgR9_Χxcc>ZcHX!](Ix6ѭ$_S*UI~^@>1YpQը7d6M `^c#0T2V;I jX EMi#m׻<8{FkiG 1aw aheYڥaKs+s-eBU%;Mb{l:z ]M)L,[\%U)ՋcǏrwhS~E:#=qt &+xCh3֑0=h\c3rWRW];DZ1yy|5]f&wXRvH;\OQyY|5l#N34XmСn2]7hE?z`PjzP/n or_)/{B6-[z=/%itQn(1&byUKyZ*̳ܾf`{ѽ8]o,@x옴$ >w۰TN5ҚxCK^.`?3D3k,4H (N qS]-y ¶ Dz"DWH=#lT9B:D{1d\ZEt#n#J3\sA5ʥ|y7@oTKBN>pn9PyׂED5?sM($ |~ܴ*k!@>xW.G7zn8[K7Ma޵)mEβoԒ w5N V+M^9K ݅~LvXϭkv>nl޻B Tl,Dh l#{ǣi&(7%}hʹOha!_k"| ºY-1.wlmʪ"ʶ緔j'k(.㽃amv#yB]/;h 49z=1OeQp-@?Oz&+;XUX Ɯ^ K"=F\oD/{f^ t,DB>&f" ? rP͟t"(2lo֡ESJ<͸.d5nQGvbÚN9k%+G!#AZB8l`nY*~4G6<}";:ҋCϜd0QScLh[@&Y+Mn^{8Qs)S%]IV7]M^vJmL XZTGiZ/v8YP%"l&+nj%)xwD5_W^Ό=5" }GԈxdC x;JVkL?'TDSE ډ|dW|~g&"Vhtt-fG'h&;H+:8 6[w\9uh3+?=2 D"?4([ $jg]84qqE(%h$0DUlarc+ux8 y`6ƘX ٗ;ufP6D%@G6_ LO.\H3-GnkzjwSt` <Iz9<΅{>yANUjr: ^U)݄@Tam:#mX@ш LC}:,KLF$ %ȟ l?`~β\Mۯ-^fIj`FH/3XpZes'A֤nqJhV2dlmjNg+쑮ҝLὭ@aAu[XobcYY<엇G&?hn@[u=d娓Qk&{ր##Ln^!qv\c?iYx^'ʺDJƧ/o/1 R_ Z#Is^aLv0)gIcWŽXo\:..5cfeBy,r5E\2@..m&:HB#٥sOsB(s 8_ܒ~31auO(_r삟[bn-ޖH /HMC6!U  x譪nULo;E.`ΓJzQeZQ}}گtFVA/\%!]`?CEi`Ϫ1tQ`}J}*)n~kڤI,b*j;w{ v>ЊIq)"Aj_ 1G=-wlzyeSmrz05Ҳ2&`k-tY/.B0 lfK7\/_@,+|)'6>[;2aFΌ#L[4<.st-OuC]Mim~z=pJ Jy#_HP%uU]-!$|S9~\PpvAKn\3"Ef7By "b2 S%FX+Z#݇EGa[mwz{ 7y$Me`Gl_/"jrB,H opv^r}46{.JΗ1A ت) $/.ۅ45d:[!MR %?+H(Q(f!XaKG@M~O£ooJc0H6YrA7[i$@Y\::ZWنRq'DهW4KI-~GGJ~0̏|2Ƨn864FpxnB\4Gp{UY@4I& wj.3Y9<2%#n: b&Sǂ3@!8o&`D"ֻUK{WRo3VJ $4xIa/]gvHv' ,M3&ojHŹq86=\&fN; }`UV&N.ieQ>4굲M&H]dw#5 ŕ]R.]dfmÇ>oCɪtZol)jfV<6oi^õ;MhV֌?AɁ7P>TQ _vNf#a 0=JP:9]ىY} 6D'b9xN[B+\ls Tw!!} ![E1*% {_hp5ɂ 96^koq$"owmXy3UNKZ \_7`%.3QDK|]WGLd, A]B'T#+,+մ5T&&3w?<ߌ`%uC'D[\e}*JY|S^G4%= ZV'8(B8*F4ȹqU: Bi9iSmu/n87PߩSEez/dZuD9R-8>=E67qzMe0&rWΉYs#o2y6UIEK$ܢ s oiqeN2<5Vڅ`J'%,cK(Iho[@JA̵c[I_+oZw;,hPU$7~ &H2?[4^Jd Xv@=J$|UXbNHxI%*YF/Y;2?kfrálobs%;zi!Uxq|(CvJک.ͪ2QC@R=\?E|jncv]"=oIIsHyJwQU߃.STr#vqOrgRxF(DXKw["m ~/,ͫ{hTeC>nIr|.HUٜ=aw>SÚ^>x{x93^^#Ly>4EՌL!h,RJ>9pjHJ?c`[e 7e=k GB4$&k95ֺ~19s郘Tjpȍ3>;aBdifWa!\:q kͲdY5{'|r?rA?Ґ^>.l Kh{6UQ3PPt8+7bɏ](h D\mu*d??uevQLt&pq9t0gR"ia.P PB&j eG;}A/=4sGe'"S Uo&+4vN2isC -d^w‰;mFKLʖ) >x^2fd4{T:şȌʼnYbFOAw~tDēo"5HHYOJ* ݡ鹜(∘F{kqay!}O$ qA %vkd'GEz֛:{ 6j!SPKkKGsCO3yN@@̖.[vVՏ {ѵ&jp h3݆NRj-c; K}W@+o z mT]#T R> b,o7_=+(p/?Iϰ.I/7㍈ڞͤ */`CumQu.Uͷʐ$M;|YܑfHUQ$5 !%k;<1հq/{6aNw;戻ފiٮ2!\_s,*K)ÛHˌ 5^ m3h+"/5wj*-\07 d&J:d,s}) !9f q:v lozX0VUW̚Gh^nŧMG[g,O뺠[QhAZcO\o ZV;e ARzQ K:B(}puwk]%9! @e r"`KïY0+"oD",;xD(C} N=?J#|1L9/5;/YT9ifL,J̓ }t*VM[,t:SpBF@'Y yBY.=\%a䦢uv lQ:ڝV^En{> zG -±&U2 +ocJ)Y<;=>dzTbhI±`k`$4xK2T*t`ײ¯F`ϛ86uM?[:U,HDx3s}%ps'6JM'tzyl,E-AqDJH3'F%%SL\k"G+pVOGbKUb, ̦8=%@ *Gz糼2@G u|Z9gfdUm2i:ZyogW0@Xw(xa;(FNl ZJR%꫾*+nK^уV}z ;a2_rh nLrHLFglݞHDvWu) /SvhIdJ(Rw([^\{;/R Qer$6aHO}C vw4%: &:zStny .+)z )k8zjOxmk-G CPQhQ6Á|Ce_ p:HSN~W%7'_:V2iJFU>MqިRd>VjFrˇ{AGFRO4Se2?f2anjER.rWx ,]&'V 6e*j_SmiFq2QiCHS/O<{i"5L8 a&`2/*g̔ +uѨsm[ra4ewU0ᠿļ_ޑd-&o[J'hR>Id#'29v _{lBnr/ 'ӠGwfc]tS=n}ᑏAl@VU,Vo;aLW: z׍%]˷줪]0w-eYQY#M fA\WY`SC3pBq.1$g0Qq3EV{B =c~8/_bP{:+: [s4|GJ$ƱI\:7e :mfDpDlΥ6qLk #}^FnwݥDmC8WQ6.ns*pM9 ;rx<+=&*~7uqPQ*.19=;``_x3ޫ;Ѯ!4OiKcͩ|Ēs*X(muԱ'vw_{ձۖejɮ9vO`1ޒIWk 0K:9 9 ٮkY,M@'g[40 2-'97z?+{Ҥs8žNِR4 2ɽΊOY s6 |d5Y=6k yCN]hWzkџxmI4'Sn05rGI_'J;7u ȣz } gYZ7zXZִF! w]ŗXiɟ1˦r!cHkMeBd4C(i͒p'a@_Ώ8|&%q!Z QGJ޹ql^kNE-^ׂ6-.Id'H#o+Q :$j=_ѱ\Iiceb7mݿm`hG:: J: UYқL=%Q ~C(B0&@Y]z\e\}N瓒` `1>ٿ[iaGP10sExe{M7td!2\y4̀,雞2pw)*mkEbFfv7]h}ՇsL!b!Qx) @[MFУ(E{yJ[9ÀUɀl,@bM޾ ?|e2S]TK2v V-iVA}v?@}w6"ݲbm о)>OGdŰ[+]0^P菾z9bRy|Py4͊W{Rvg$Q{d=VUO:EIJvS6A>vyWj6ݔC /rV@}0gYZ7zXZִF! S]ŗXi%9(Ioʋe s  Л6 `ܩ P\kK89y[N l}ޏֲl۴v: mWJLC5 1(1#kERD=`!|5-dKTݞ4pEvE(&Ime9Q@8#ЂFO=(42I'R =|.O<؎oWKa8~쫆()4ܕB`V|lk̠k^.tR&bA/[ߓ-IdajP:hke ܬ]n*5nu#oOI[p8CSȓ5RD%xtqy!mMѭg nfvv]dˉ>1Bp4]66^9jD '}/~/̕Uwػ3|֝󔷕a0Αc5N0{f2ENs L}3)ХNwh*偪QVt}/!_Mftuw^=|u_:Jdh:ail6Sc~d$d;wth9^'(*Q9Z1jEdH pÂzYÈ]1N:;qRu }I$Giq <% ƺ>h4'NE>Q ~c,"ɀxe24(HQhh[kpA#i~F"kXWVA+d(o襨ĥi!Ag~ɕO >3@l1 5J:RmkP`t#.LY(oAhW[=Uz%~ MOƌ) Ev[:Ug`WF֣ilodPR;؆ ;wLWy(`xք4kQ:'$^k?M\4x K8nW@f[ g}J(5ʵ/%%b|(_O $ʘR(q*1,>6b,U%ZB]A/~ gb*{ ZhLt#0髣![7ii.W[+ Tw!p3K"开*L:rmhZI-&VFkpEcPMA4$Z^2& e,eD"Zo8Y9?% v s}M.rNۭWљ81jمL^>ڸY:x4ޮ͢R3ʧA'?*-!Ѧя1]!7`=D녁l~NJ [Ka q1 ' q^f  `n/_Bllf݀Q]@{ @?:ap};UbF?`7uЅ*AK~i/KEZk$ÿ3Ys]8Ê{`P-XgN+ʸRpY2eL9Ϲ~tNddHC7STbeƂS~IK6hH.A^E}&߮k A`֣$c$ E%пNSGjt_!H@G̍b(XX?B*ˌ<7tU@cҌ QQO t`E֟s_iGfw/QiCNܭT6b@ AN `鑩o9!rgx@냻Hi^:^NۉStAu) h/ awb@WHRv!jJ )ĉx^vbd!mLnTni+?Î mM̄h\abm|"%X諥;2Ư-ʬZ)$]5K78V7?Q%z!=4}> OcOΧz&KnPlj-L(YZCvoځڒf8?˜k)^TGb)UsgCm5ȖR7+l$mNdbn0r:VeNvClOTIT9\F6dDz(VX{g/SUdiFZB`sB2iė܀iI%O3cև9]."b*&Y*k_6 (p2cq%pd$9!S}g5U圗Tӟ2ec 3X!Z)XUջ:ufb%X&j+Չ#(%U*Q̎p5}gkZJ]EǨPcB8Izn/v?jTO3._Wmc<tb<~|rbHՊSjA1Z\aGJ_|nPߠ`, GxLKpjCktVs;㳰>\nr /ҥq=ٲpYUzR "YhKA5*Psr Ō){0!\PeR%CӥR k耈G _hA/Z>_'_nld2 v&P+1?;dB٨+BdoL)B Hx OH Ht.TYDoùa|Cli-2t8 :`HKr5mH,K$:H RY=5ʌwrG % !ṛ{{ň-*PU;;P]]刣d0V$ئE]ˆ~IlFBŎO564]06}jS"y- X@2 -,'%`ĥWHQUO '4\EF䦦)e3ݍܫ歽B=Xf*oZ>$NQذ>5k(gwTX+ڀ-VTXPIӱ]4[{nf֧%MMFV☢LdreGר3BB^3TÊ$R9('D1 ~~^%K;L t^qpculHry ΛޙBQ1Ԧ*0|x>iu_wo8>#7j/"hfrt.m 40):Uy$eR=jFa:=*0,ǧ*v*=|/Evzm͔&@p !\܈~^"4^QN& I]Bu'DENG=[MI?0j+kWU ܪO[tsl"eЪDT_j񚣔?*xss"G&cD5o{|,Bd^[)I9LR0esmpdYp!ڊ׷(Tq2Ӛ]XФakJ| ó퍣z*kRTL 锎R4 #ދ-w1i%f=x1(< )g 17j0hYOVk[c.oP: QLd mX۳#Hv^Hh=K<QOIKG`Cu4Kho+ v@^T;`(uFʩa  m,;2dT_ ܌ѣeJ s4`t(4 XR=%lu$a,gͻT~O"μ J2חo! u_6B> sNq 0&J3 }^C]sN)s>S2hu_ZM *lu ąd&E<h>W !3gboPyq{ q'GK78 ß,wqVĵf;+۳GuMd,p:bI&GAt ti; \hmuS*f"֛m퇕GGd-<پ3MbFjJRfpͳcԷV%2Ηa}s6*bՊ.‹ƤDku3M@{;a!u&l%RRM/45<|I RQ4K)^:m|SZk׏Id^sO@ǥ;sE(ʽ;WG9@=mf"w\㐊fI+#" > *,M!@1udg28FhdJ/??_P-])`ɘrFꄞvǞ_Ecs.Oge8)e)}=:FIK_Ho{Lz(l)Z5 Oji]-`/͘Ζ&qwFT 9<~ط9I.kfd_UHXA0v1"dF#%'DCG(KR6%U ]mG #dƤ_RL,T&FQ& Tim ^'Lk54?؁Ky5*ǜ+iՐ}\/4O.6( lLФ MLQG&##@|Q19@\lF=MxƓy|VSp>cE̶_at':S_:\FUgU;3OֳTT @B7Lڢʰ ;t!֓^قwKmۗ`c\#^Qy&SN̫=u.Z()`;t!ZSaʨH9J[G$E|Ox_' oہ%BG㮨:5*i-j,\B; /0BAWSX薸Rxîo$0,, ;G}Psb}Ѐ/Oz|LIW6 ]Zd'!>tF’VV|8EFR RKȎu6Gin G0g ,~$8lUDbe/aM&mݲ.ɒG]Ag<AUKYf-tY5#Og0n~NBVa)|fHޅmq́rlMQpNS0E?6G|J̑´`='^ZLQXW_bvk*BـжI!HCr٬4зnMBι9i#"xCJp1q@DIL h";4 8m"=( /_ \JP{ga6I;*+ Y9%21(vͧ ka'ګ (w%dZv'% z 3Yٲ[Gak>Ldj0x VHu)znIv:Ӛp!$K瓝(zYWD%+ :yݗa EHphlfHjV~jrn E:#D*b,5ϩ&hv}0ŦG>i!F<"9 chmp}XG$=RWLtNVb9X~dWTثH041H;7H1xZ0h/qV3IE6 }AQ{U?@/wh=y`SvfC56Fam)ԘLm2G:]"X\ #(楯 =)"pKbU2Lf 9AMBWMA$fl~xX#4js`'3| 1QSTx?Fk zYbֱ;CnCGf &f]Fʹ ~vՄD-B|tLFY&x>ByZOn]~.,nx 4A;":_@Y vHi.1pA gٜ..M7C=xW]DE:̸O髾z+B&r% !޴D$|#Zh!h1 WcW @X0KRhf8isU&J6ީ(S-IM!wUٙem!20b=egn5|#,3Xb%`sY,EV),=!ɜQcE^îP[ A_s} )1 BK@7|;rPr%nҬk]Gg'RzZ >CRptOP#DCgOˬTC^̘C'olbY}%fEc&y0%ap% 򮙾( 9eNr,jZ!qze{yvr?/Oĺ H˽@=1Z=x'qlD-ۍRW 6bƟyKNhf4P!Es q+H678.4C4tcX%]WhpR!ʥ nS>  E 1-FR6&zYD8˼h|vr`Ͽ^ m%3] +5nBj6tes-$pFoFnG0|` 伪"r;-+sK/2E@$g'J4f,f S0 B^rzb)ԍaRɣkvY- wo=3OG -vs8_FMo;?hY"FN\2A?[00 `}ĬyMt|MGgjp4Jn{qbiŴU{QA 6ͯ0ʶy/8K,)8xTmY.P$cF$BcN+Zx923qujxah񀮴_=;ưݣGv*i#B4Ht(gz`ZMdG3>%ePwN`NK/Y~K-D9T!y N:5ȥW W\.W ƾroޘ[XIX}ۤM5 =eۛ~p5XU>v ^;p8a>:NfBjMS;z8ZMൌɋrց)&.%x 45Tn_ULêb}+(eSY"6^ a<'q@D;sOX3yƤ vYH5pXm/yNJ‚4 !ŅJ?QWPVQCvdY"Cldz6|LNݡfЪ m))p+bv$Q7i2.V RgkU}sy'F/kL Jw8 ^aU4E zog5eGcӢJ8f~+{2H(.ᠠ{}¬ eIzkN-.0꿆ajgj(nuK{q9+tkKJDp#uC+_{oi9L+/@t{} +|2DD" ds}B:V6BƏTC}K o&-Xmڍ2'%CH艊_נ]&Th:"p%^ U+u˗!O=('G<6f(jv]gLPg!|>ѝ" ֝(G/W oZW>rEWoW)b O/]FrĆq=s?^4o̟Oa  TWIuWVj$bAXo]<\+n{TwzgzgYS ̅IđWn}nTn: d9r''.Bhn/L.wvCOL }c/U> Jm1|ʹ`uCDL|ŔK@}$W\ڷlӑ'kO8aMh>HO co%DiVϜDv<iagJ99:Ԓ"m;)_O#bI l[]=~2u K7P h/vIMA| #wY] :7$jPFіvu@ףzH}-xJ 7d)Sϋ6Q @]xgʹt[s_[`‚v-: _T n6^)ޕwPI^cq T*;2_)΃.rQgj5`G$,.i ؘ#"#r!ȼgn/~.ۺXSQ3yvb[-Yڐ!@MKy[6~#Sh*p %HaBk%gޙVkjKMmx imCFjvatMg Be΄pPӡ'"ǹ]pG9^u.:x AR۞WHy׵ Q,ި}QhY^'USӠ\2Y"B/Wav|(:0j)-v|K3!⻽P.E*]իen|)ޢfܦ*d 8V BupLiLYn K!G $DfW˯b3ޚ@ qyl`WjgJ6+kcEzI\-#]jHb4z SUe'0 lŎ{$6wiޕolO"Dݰ' Nԣ(2}=W&eS|Ű0SA8$ LVzUPPՓM $Nj+\k} [z6%f@0-R}-AWZC4yVO:*IUH֥ Yj|'&.G^g3n"sܩ#XL_]vc 3W~ Zvɍw |jk*sֱyWL:Sx Jkȵޢa#YO|#Aުaz3 ]ʡC0 _;xGT};[e䀬3"jq{(@˷k$2Y^hܧ37IڝNH)7Kl ûDʉ0>R~H%H}}cWjK/+$6%gN~5BAWhH$,.E |MԾijЫy5AJ9r]נO_{roJœtV,'>xN 1vt/ mv ZJЪp  py 6bvZn} 3h}׷*&7P:{-f!f"SҀIv]UnQwܾ!?\q. (OlXbOsGiL=%f*!K# )̷4o,~]CղZC(c98WWGޣyDu՗ȣ&Was $%_>d7YF a]R#|t_[DDǵ7 k$rߓo Ȅ ͍O3'\ QSODyM;`0EH!}',ar' O|Jw?pY*f NOԇ[;ؐ4\Ēђ_2F{%{{c2Ҕk UWG{#6P^,Y\T1 y%zvJ N {pD "r\Y؂;7f=e6 x҄h㪕9?hA#XF5ZYpLKBNI'A߮TĸŰ*[1<]J|1`U(a ~ `g>a؅S4lρ)ٖC]sL hAjn*M>YpD ic>$}fr!pPh~[7C Ǵoq+aH +T.Zn(teu|BD[.ijmjGbUJpij.A3nI0=; h .cA;q[Ąba*K0kϋ;οQz%o O`u>WUd$ KC˼]0^'NXxi/C[~͐N gcY"Z:-z>xvWyGd;}ǽ7D(Eq>bÂlU^IbLnn%׋!rm=vS BӱyZ_(r''9-̷j:A.4ƢMpU)u%D_73ģҸ+Uđi s?8/(h Nƪ7`sN, gW|tYJ2z.S[H`STHeF~ x!'R|+Pe; B|Exqfr9?7oWY-'?(7 lpGShĴ|V / hD~qd!}G'~.%B yŚE  ?,_ָ ^ZX'xi^3Hov (X}&?u`rցQCI0ލ\4^"T=@Yΰ2Fb\S q"+!sc6vms/1u{obPnf}(y$ߢNտoO!.v%NGRs=:X N~i2cŦ b{<o$ֽj"NBN uw"A8mdisn&35zN\f}ͩoQu󌱢`n<N霻V6Ű4`_8O.O;0l7yv6 YvM񳫄߰=[DNLm8]x]QY890_A |(YfEѸAvE  PT6daA40dm[ݼϪ,Gs9x,'zSy@fwJ.A*g'8 V8W5e`乹1YvnXl՞73-ȍNց<Do/́͛m+LҪ_2=@ڝ"wGv Teš 0ifǦĨoʦ搢Sf'FO`'BY巶9BZz|c̞B3xS+*ռ<C_Yp&L`S2|nh&m{hv#od]f@ @nzXoM:%Y u3zx\OfG$ѣ# t6A9#ҰqL9hL^$z|w5MŠR2O~ooͶuSOۨ+AC[Q5"ߞ"~Fbײܘ|3I(q75: do7YR}h8$ƵG*b42Ѱ9 Y.URŽ;dÖ(2diz?]?7oՒ02'3@ 3 @c@tB`s ҴmTX+vTXXlsZ,[,ܠս WB r!ٕ6hMՌn4N?DN C2z!ia<9])|p"'%OŶO_e|*_nTڳ}xK&9