SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  $5l| ; HOL-Nominal-Examples:threads=6elapsed=362.342cpu=1364.404gc=119.632factor=3.777zXZִF! z]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&hƒ ,Oǝ~̎`.uϚBں4hb%EѐN_|滎M=! v>Uͷ:(j9Z-RgWazDP( WO9 ${ 9s5Ⱥ$HMr®8;_{MO5'YanUi0AGҶh| 'aΔEKNΓ[]wyql8;{җ. 0ZǨ?s8hk'%)rjKj'=㙒tkQUDAĹz{zGgx¨@Žpfp͗!F94=D,VdNlMCIz#8kqd4ɦ;t5k1ȞdvR `lmGxmIF6\@$}U|AQARN6rR (٣2쫿/pvCr?~MC&W+ G eLr&zcFVx55 a,ngՍʭ!ǻdXK?_U,)Ƒ$ͷ*,7`U@fBk{>` }8A>|CCveMh'>⧾;:7Ҋj\Mc0vjT ‘" ̔1&dV={ω p 7 BͅW{PF jY]Ub[r\B-aH*|$A0&pܛ0I*$Rƿ5^"ע,;K&#tL-J-Tlx@]հ =Hآpsy(mZݟN[1ݝoV=K#}׳N}r|$hR/KѬV|eJJOQF?z^͒lES 3S G CH8GgU.w$ǫ Ϝ^`+{G {8I h;D1zMGlNfQL/2C#u'-:`+ZZZt?yJ*j*vwu;HS5ne*)jYp9-༽ UY"p'VLw\_; *{2Fho|-1J<]L /GʴTX쌰c}c3`*ȹb@) -Hk"ۙINe{”r٤J cz7fI VyrelLHߚO]4k$* |:>~)ۡ6]ʩkZw9 }*x*|(ZՏau`h%<< ]իRj Rh T*Bf&dNE .FQ|NcwƽҌLhc˂Z~.Z ǠB.k*QO.>,lRIkSRE}|PK(8Q@ }-8pMVG!Y5|;9R,rɐ^h?K'q*%BzؑSZ:T;ʓeY(}_7kә0}H\SZ{8Ζ_ceq Otߡ]s=Ls!BMɪi|Nӄ%8+{mRC -k1,؛27/D=?8`rܺe&[>\fflOqf z^V0pBOw6K'j8g&Xv~i*k \(*Z0HIK=ِ;9 xP liilQzDdSQ"_%\K,Ҷ88 -g^|:;]E}DMRփfֈ<}&1`-*xb uNLz+믱x> 屆vQEڷ2M77KE! xWiVE:C$#_UГkOlY2gAVGVPp=lɣtJF3SFX$pBZt/GrG)Dȥi<+Ū!h9 BB'K@RB0ә{:=Kt:/]g=ѯyֻMS\pfY`њe` l?ҧt}UmMefDKx}>私[s-hE]VS?l0Ɇ&Yx_=PX*E4S[-T' sA%]v}H6z% [3HN$q \5(oJlR-wTJRV:y?wGtvG5@e4MsX/?|+|EAhV[N 'j~fe~nTV5krmFM5LZ\Hx ηHbQ=}: Vw 㫸K1a.P!;u+ HI.fۉBf;Wt"h(Z{'cNHy2Ap}Ry ƅvpv%7F[i<TLC="fJr֝˷\ò?ޕbj*?4;]LIIc S"}?-R3o׳bY3,[9٤LWBL- <Ö?M=1)7P!bsBpfwr=bxrp@.`-x(v C3>#<_ 9ڌBPJsO7 }?+]X찥?0Kg,|k-Q BዐNgW+%P"ha0 MI9Nߟyd[T"[IN࿒abiq~IxoN ]MuCa+tNh~Rxxj$K׋u&}jXcA'XKev#5Tx8+8pr[]n_Z2`rBfqy3G~~ ;|%So+f$lqRr[@[::#x ̸F뢍'\ \HgLbr)Ҵ©ʡIT&vCM.-]ZG+Z4\JTʟ'Cg1 f%>n*W%L]yzi]mz( 1U;y<͡0wNfs2((Rqf x? .l;˲PPhTm75郭=)7{ f96zS m]2p@0ꦆj_~G\G|@ye`+c Z0)3וua$R{$(zxsN_1Bn @4X1\o[ |=Hj<:vIn=s2i  \,"mI!ϓP)6\x[Kv& *Eogţ: ٲ04쏖K6!/yD?Kw>m}rˀLwC8~ne&DyH\}MlpMªo+ ެPt9uLoqeRυ=SL^Q+֘NLImp.V߼ V" L[[b3CQV 'eJ˞e&sݏB|8u_1^%Ʀ}5 R|& M꿎DVyt ;?->s? &NSL&9:vs,q땙y]7Fcr@=w/e[nG$H sއ(^4+2ALcvZ2f)(ct6v9Tėkcymdx`#WjZjihq MV[@f2˯>bFjϛ7G]u&? +|4 ̀2bFv9uVP98_6= Ghm:+Sjj3L~ 4@`c2`'~^78oMhA;=>aPYFeZX3m\y++EB ~œ!1-n'v8IAo }E9c4ʈJK}$Xit;Г4~#\`;SkWV2{ ` zy8IbQ*m!Zrk4 *qt̴P\dG9{2\W]h >:*Zs ,t5!$k*U8Oȭ8Of 5s{i>BhHKw؀EȩIY_"$Fm Q(GI34%p"'y &|qm>0~m@QRRڥ. DH0yt.(Ic^8ljR~ ?Jx.ӊ 9}=, u#=c{#MA 2:x9'B+-!-8q"9~!5=>|  S ڎN! iS,2-E <+!݆f~`NZ<4ij9*pQ vb<8w<-Z9\cAxɃ@O m23NRW - F=]*];YHMvRN5VTA}BFg)\6b8%_ժ!>;J@kG3FTCCPO |i dI'Q)CO1=󹙃fNZEiRI&Pcbӱ9p{s,۰,–8bvq' hӱj}ECE0-ծ!&챫 zhN=N6ퟖbݸ8Ps$zdzu9l$I4h̗և"8pmn@oV|ʯ!3( ܛ5̶@IԎW! %+. GB 0>xwKr&s1oQ ˏvimnv%iuh5^bOhy )hye&^Tvr)r8TL{a>2~;h!{LnPUC0t^Öt;%J5kx>gsY=5UED~6ZZy/AP 2A'E{9?WV_tPP?k(kT2Fu6M>20;'n?Ҥ{/W7̢1S6 1d2;%PS5*P}qh2U Z%ZZ]Q_5ޕt킭b%de>/'ds$7gc_p'`"=).@LJ|.CSi'q9 _gxn~*P!. >T[1+5^G,?<!0v :F"A#B0Wn0~%=ݳuUv)+wOjZ} vO$QSbh= V~g9Vw--3ڌ7+(YY$~EtJfWafq719}_=*RL|*w{=<[5sc~`;y4-Z%ijug^? MbZ,ɇaG<%\ q3r!wNcD? }XIPXx0*SVVBqKy!F#NrWYV2_IZE_uN#[\H4HNz:B4AY|:` +A%I^1NR4^*ATx(qnCV{ъ'mAܞ; Eޚ^>Hox\Bl (.JRk/IO·-֡9NΏʷwYS3G)hƍH4 Awg8txxA?8r\ٻ`; l _2s4o/OϯO7GhT[bCˀj4 mAE_n,ZBW e`ݨ@ >%'&/E :xzN0)zVrM@ݶyqf4 #sN*ŲxS 2a|O;~CID*1OC+|˩:44WE!ț-3˹D.vSO]GRP}>E1T)u$}(q0W͊pOY !MKZA)ڒɱ6pF Y51ÊFEyUH!ih(%țΌ8w\p@૑ ~&ϤqW䘡3}vovsyz5p%nm*>ױm>B?E1 ~\74+N&U`Gh*` 8t+;d&ђp8<=+ %;& i94ȓPVVE}m3n;+k~+Fo[kK&?4 C|y&g~ic*  %ژh&_TwZ"QC\Cm1۷}vzVV~IEz&q 3,-A|6Rz(OzsnpynV3tQ)G/iPzS=,XL,ћOȐ,a%cL;x@YsHZȒLl ~m@cT@15ȧdvev1\OO/~FcRGuSe8@EͷTdaءaaev`BSR>5t#l7GB*p P|hy-4^Ld~sAa @O_04@8ʄ Ζu8xV}Gx_{Wp+YvyTi߮7.NK[M=FЪa;L˒s,&jbmNzp7('jTJ܄[%](%ĶDMI'o΁_9D(;U;P[wm_ )/eCŠu+yV*lM[CPɏr}@,bqA (GϚf#h*Zy1?-ÈB|o$4}+A$׷ceik1)ͳ)p8r-dKFDڅuWr98~:D 58obLB[_<"lk:\9X^ՙ(=3^h)|S~1X+"+S/iX{]R`^#m :Z^O/8Syô: $9H!T<ێNt;=\Sp.e pGX:#^$_s/`p 8eW3%MIϘjY9 "cخ8)jvb"{$WFsQCXf0v:)#+8+zb{t MH)~ zLj2xH9NdKA 䳄&A>B11U5#ʇmS!MS&e}ڦTxa ^f\O2rݰ?(l_g@sn\U 铄|-} ]!Td̂m##^)D-?B.ԍ lhe;͏C!m6Nʤs ++z+%u<S"Z$ZQ1u̹{9 D_]$Iq9汀q=mtųUAኘr}A/xYo 3*h-9'3wrTI>s xGQK-2LmлڗQ"{[`tm c@d_n)Pxwgczp۞jZ”G#oٶ[{5 -5j1jU9[|] =]fyK=-TnCp<@#t >G,k;K&_D(S0bHvԾ}FѲ6Muwzi#~KG5rTtm(}~KPM\譖_Im.㐮p2f&ZE{~Us0F8PEqh+EfP0AˆD|Dj´7M4#aw fF7X'n[OO%"PzdfdjMu_$vs8*NT24\1GP$ ,Ye/hed;9ToyCpt_%iS5Fޭ՜iZƭ%E~B G`gCT[mygطpﰠC{ΫI o4QM4s1nI]wwت`(BtC k觞aSoUq]ôs$`vuڡ'VdHeBe|ֱ{D{W5HPVJ$:nVoLٜ::Kve̴pg_F.`$>lcxΊJ{;^HdgI^ $~<ĭ]#>qc% z")b0z(nDr ~hTvlk{k1o+\|U6'lC}ċj-c(;wQ rjMkn"$Ǩp>sCӐL>[J0"=<1(|o_&]PE;ٛV1zGxVHly釹?!I\ʓ>Dk+2NGw nԽU#F, ]drNn}:OX l>'VOW Uw: 5ƛ5znj_\.1n RӥN\@@Q0S`e̢ R8C,'fcTE!C % rwS[ĄohY Z+_S-!\?p`+N= :O]ց(@ ~p~>IJ_1Ij :~jedr%:jՈA&SVXuj^/Hdr=aw D#;̪"g7Ҙo/ 06{ k8pD9O <9a%U];fBy 7_j[KžZBnMK]H{bXTup|JjD ҹf:H6"!zTNo=V2[m2۲ )8XzoR@$MQӠ/ati^m:W ¹(u7U_9=U#iEPGRF2_!{^Ѓ*ZHv#ӣE^z "3U++t2\Ѣ'RF&k{{M \v*,f7rB9#{I8IJp,Nz2d:1%p\elH*LE9 zZ:vO\*^lĔaܔ؃D u; 50)iuk},/owwKgٮ~lN#zO=ONOOz`@@E[aB3#[>PeQ^Q)oG Lr~㭪Gpg ݿW?aGa ])* 618ᣣ6@[o8 =aF55;~Wߎt_җ1To%#5y$?-R1O}axo"9=,RM4)RڰӅKwEX97>'z"4#+sY; "H;0"SBއ0]& д?ɠ3m_h𗕙!4M!U^k+ ΐ"MBlOU|df[Z[ $)P9eڽܝU9>-]⤁:!X rmJMΔ,q'fV]?hȳ_RLk%JUX`[ۇ3 mJk)4PŽAhۖT$&d|aٹ4YGE.y|<WC jܢ-GxM.Wb.(OًM"#~@iDQNSkuE?ͧm5H& d{#[xm%gƙ7vFJ6T{_!. ا@o'D/"t!:{Z J5:DEkȢvD 2H=K|}t9 ZnTh'KFH{JZK}9'wvc$$%!%yI{ofۛPv]0# 6Wc+ "fH7*l]5c%,S3O `ge˦as+]$p؉-%!rnuBx0Aڼ.`t@(U޶CO&z$ڍ?`<ݐ̃mIo@S9x`])٦ a$6@K%$%RcNaOҺM] -yIAOP'0m·DeI\[O[1j wa{vud~%})ៈˠ{|ԛ+;ַ_JzKOo?`yTQr!%}u _Ѧ`ozN'S *O/u n.[o6-PmIv5|,wӹ06&>>ft/\O"6[jOOd;5t;l}G0`,Ғ2@LF )c*Q֢R` #'XQmuxEYLa0L)m0Dvx-j 7 {.6y(JעV"9H!o{[6Lne_TF}KMed%S zG+Sx]l{[_rq |RAFx'Msi>yFm௖q@DT cZYV{'^׵w{K Tl6˂!ݱ o HMP6V*hnKčNRAQih՜n|X>Lߐ.犕H.p_#mm TMJS^zHI&q䏙sƺč2< 0i*HH9Y d‡$G\ohR/.wk-ϩ&&x$41oOEKCH9+JȔ̎N\ (`c~ @k'>vGI#<#bPMvfєɚotj}4X!\qZ%Y¨B$jި[Oql+{8H)nJ[F~N۶jęeW0h>&ۏ޼5ROKfv;qS+5KfJHwԔ~y:/LkL}0Hm2%}H~iOAJUy=lAR#I:y* 8cظf]H.qIvx>ŜHy~YpdFgq|}^0:4Fp/ "NFxs:rؙSȰ/AC{uE6(2H tCFhe_8_ .v%嶥@h@3Yhe'٣ ~jKSE&AGfk3ր[ߴQ"֗Cȍ֛dS|{qP1M:U?ȰVD$80I= )[Y}=OCRRO@Q*T67@]kË]4,m[y*q̻,G L5JpZ>c8z"h+I:Wk?i o3ɏOU} 0hB,X+O"Iv*Z5sKt44rg~MǎXYWϻ,kgvdNŌɈD`9EUBR![Jl| F^1Pd7>DQU",@0Q ;(!)iqv |κKօBޱᔄ<]N+VQA3JH; d-)8CnPXu̺'&Z{%CWA|zߋ45/aт_bzlF/E6[kY`Tp(H#qԺ?C@zzٻ\fj8W3\Y5TXمP!}?e߆@*T~Hg%f_@-M!U,4ήN&(<̳Lװ)FD^B%^q7 ):cpdzƠjБ~W> RgGe.oB- ZS O7+:%gKh bRՏes27 PaQ4Y])ߨY],-ϣCPy+Ig UF˛8u- h:R3`> TW&:(UQ&ai03!:qfC v/p$=2cj numv)&(o8:In~V~R4X%Mcv]8 es&a,l,oMH h!]t-dNlN,:8z#ZΎ&heMSj cc)ǿ:,Y7*ZK.aBke\slc"!Y7B^wJCR#vf:ԭ΢(~i{)o**!b yuۇML!sst(>!ph$Vg>f!GHE?2DI2hSf 'LkV7JRǢ+F̶H(^tS¶2P)KnWѕ})Jg؜\nVڨoy i@-Ƌ:[Lٱ+*7컩 u0;pH\+%r5iU5Dh?^a o&nNV4J,KiG>4u+1|Ml׍#>vS9M:Uj- Ӿ1|p8-tZ}#CB${A%8|-(abK_AgKgI_3742z5J!]7H75gG*eoo_ֆs-axƤ &WA9Mڰ :7:?>$PRLa hikRZa 4 Ex~/U"dlC"f.Ӻ^j,洫Ŗ0qAläW7_,eyF@E@ xJGΈz7̬Zď,3 CRP[)DɷQU Xқ lG4J]l Saop{6^nJ](Eo5sc-]loX0RM?/, MN\M`t˾YCIU_@_-%b5Up.28jh)}Fox@؝e"L4 g%uӘ`A"ݚÍى69s ga tC~ơGuM8=,ЬdAM}{.槬U$h| Kq-Ǧ1yqڥrS71=*`" AT׏$CxI*-$kt"iꞩ&.N`%>m]#^A{#dU?Vɹjw6\70e[&HjuSNE"hCr0qq}Zua~^L\-K$G#VJZ!Z,0pEE 9̸ܲ05fs%) Hjs(D\GB$ owͬ`DtDX+vJ:OHOSc=QK2+E0R2a3n x\}!5<>Rt_#6Re,m|99ۙtKu<5$WnQV_>$ުVd~Zje8E3 a o;Fu)ᯥ\+okI?M[pa2 (OIӞ=wjg=`{vĸk3:um !D*L@Iϩkv*/<śjƃb G%+ȸ^DmuJ0e倈Ďh FՃ5qaSDOМFC ., 92<̺j0w7ּиywQYB&EsAg`D >kY`~,̘}`tt?Zwy=I[ ҳV1Sp)mk>`ѫz͗YQB ڋl#5 [u':Ӛ/&HCf>e)s_,oGvtŐH^G0Zd_OxQ zU>c@1ֶ܀ob}Haj6)ݏKX҇> wayjA8=UTNYz{ﲰkvɌ#`cw6"[OS5N8OwxIW@C^u'G06Vʍh|+g O{=2Q;-EWb~Oi0l7,s&?JSAȯ16|K]wg(3Q0&IPJ*ˇ[jѸ\>(z.+zG$l.l52^#5sO;(Rdkva+U9@JcyLE1E`AܔQXܵl hR+Kr 9Ѱy#=މd=|yI=_yDub }jS_G?ӕ~5-DcNAXg{OkVō(LЖ)sF(]/C7agIjjD&$hPQ"=LwLx|7B2͑\tb3\eIb;i8r9Yf0}-5p}#N|Z|LA#pҩD:"z@PCwM)LF + &^:Ei@vĂ:&0{Rz;|Q"c:/0mr @矗D CY㫆a):If^3qKܤ` 8>RV}yg 61ylELQ5h5ZVhA` ):wӢ /;cr֘ҕg@"ĚȑT oNրi~t<8bh&8v~ c;n,[Sv1IxƛU쾻]ǹ$L35,(U=;dBD=.&^U1:Ra' >knv5/Owް/AӉm-ds)N' $h:謁t#&JuЎvj^o?}zvpo$]sD"VD[a4r/VK]Kkb [8YCSPad<רjY9!u"iC) v,j:%T%lzC-_@7[\GB쁸Ԭ}_6 }̸NAqQW$b!Whg,/ HqY|-kDz=M>lg( ^v哟CBzzZq/"O3= #hj dZvD泼i]IʍHg՜[a&˂p%=3{! 'N֥aRsk_Y`lcKLH1($QX hqxYFNFyCֈmD>g<_O2wϩP4Ew,4^;>ş4\H?qI+Mp@+ =^̍'*˶}+x7hmOm8?+S3P AξXP\ -!zFId+z#h|)yXyBU;8s_1E`$< APdѼ>T,uep0ͶBt|AU;O[:Y|!s#4\}8ɴEi%5?&]K!yz@$ "bMh8\ChΚHXŌ?@߈ɤmó1<N>6MxlܥL01qWc3v!0m`]#(dLQA`vmعԢ'j_ juQZ)Gs)QkvWt  DmSQo t**qztN* !Ɍ n(^ ZlH8]gΚ~tR #cIu 󢦆VKw&sɓ'iY1*5kN"v , /H7. SSq&!2{pa! 195Iܗr'>JKSd6!|nZcץK0NR32lE;0mtջigK]uHZl;Ec"+TF zv'`)!jֻ|v+q% ^9ɷھN]:A .}I /ȈY]%9h UeZ43<0O4CPIKt+w?i _w`N=7.G 5,4f~!ٻn?$*Bn^E"$آv9pSn%2M8hK] Ynԭ(KP.^ߨ&f;tv%.LAC>1M έPy@G&en7b93r Su|rgFC0_0xߗjV9lƊ@EOMQp-KN &Oo Dٻm(]i. Et"F"Կ V2Esk*R?/0f͐Ű6` <l)$=2Exǒ{dC䳕rM_A!ǚ4D 98nvnae8B@JfTT@Ҵ~%qA CA Bdļo D>IiÃ8Xͽ~:C-! ww%JNhY EVS{M b: ܨL zo+ E _ű{^[uJ2*AbP,'?9(@:Œ/8>\j'F&4S@Q碟E{),+geu}{dO~xLcۡxiwg)tD \Џ@"Άch;!W#ND9?I5ȆXŃ梺kia[W@XJMQY~c*@X ZmutGXmy_,Y.ޢ xS?Pu+mDNbvᖸ?b%HG[Hjc7mgM,_'ם{31̉v6Ɠse{ZcC:/IVibȘ4G&ˆsߤWkA4`,bF!W|*, 7xq.coO8h:sz_rv*ZnX1V3˿C9Pꨱ[ZON,vb 7Buc೽ÝBD<'ّ 8{ 6#n,va@\! d j?k}]"L2IO>Mx!#>+=L 1 n RBD3[ mz<ʶ=WtX]W=uNHK[,okS(`K4Qhn[Y6AzOEՐD +R­;k@" I+hYҚ $`d4-cԽ2c+)mWXxtpk|dyA1IRظ1H!շr?SĖF_Z |.dY#vI0{MA̐hwA-O}PhSњ[/]{$_O| 䥝!ۊ|Zhlc+ރ}dF>.0 A)ڲ/g;#ֲYD- 2H`M=w N, 9NSwjA#43o䢢di&l7KS=%i5!b\Ɖ /yxqpdRpUs1KP<]Ja 9jb՛ONխm~n(ҭT:ґx dv1.S-}i+H]/=[` BgM@ҖۤH68ECDP:jyk^\#0 |v;d OiOAs,^?B'Ǩeqi=Q9*85t=6/-*ϚLڑz+rW>%I*W`1ZT 5fܗ_n9+;D`5rMܕcvKՐe&!P#kΪhwZhٜX0Ag<'4[}S&ry.&WJ|Yh]=*g WCQI65sCrޔMw;]"eLĘ :i"UG$ٽs1EYI@&Fu7k EZ!-f .\gnF]o݅/LN {E?qDžEV/m4u-h6i]]btX#Ʋ=jGbd[4Cp&ꓽb0zs>JK9rY+'o* .^ E$Rn(;3l] Os+t_;Qg٨?uLK%|@X…X]4p_DRlV;TKAOy?>PXd?xϐ{ rO0ׯT3]fyrl{ ,H-b/dGdlyyFσ{٫l5qJ~}UN{]ne#sqF\,<,(>aOwܔDg$V[Dێ M;)CKpWj`/~jnb锬^}yt(˜i_}L>3t,ts>;#BnqFl{&1NFJW!>!H T6)&sWCID&rs@'Ns G1:I󸐖D2] kDB?HDk K< O=ߚJݾ  'iNr!,WE3Ps]=^w9O.%w nWBc i4kcqtfO:|o)%c7LJZ|`NO.{?F̾^Rʍ)R8Qod"TĜjh˞ɷ}H+nvgS/RaSP] zt?W!bMn! ̰)(0Qywbbk Lwe"vHr-G%Mք[ӈYZKB& .p;yj2 Wȹ/C;9{ '[8!yKGүۀ7q0 tt棇k}{.)\ꓡ܁ׇEz$KmWRx9nUȤz|\Cj}~gɛƖ&} 3XS 3כ¬Q ލ( MJN5Vbjݛr^3A,5܆/K0\I@ (-{ fh/^3`o#T,5ʺ!gC>6UBF{G0-M6E |3'Pmsn&a j@GK1>ufggC\wYT-Wmщ($oAG){@* c&Kp)+jCW1-݋<4TGPxbigHXǔ귽njЯ8 ^482'h'77)gP/?VrGnfdD[(Z{t)DcQLqE ی*rcM_gzk,TdK*S=%fRw;N@ x zIQ 6%gdR%4i)JG ҄]ou_ 2AO]`7Sr1LmF8NZ>fAo#tݨPE&m3?yJ0;p~"͋c_gGɄ|xpc2S㼍\憆>aa덹UL/Q~Z(ý06NӺ /Y=Zy&\ HP5|[K Owk`TϿ_ WfXKQαzf[T*'QQp9<Ě}^pʖNR&t'Jg~fY02{=0L7nx׼C)O"B1,duc6`Z6D0,@fWQv]v;x qsJ9\͕}죚Ć:Ef4V#}2L7|nu>WZzQS`Ru;x0]_{A+ g|1Yn)ظ_O徽zx_|/{nrgP]L.BWYކ&* t* <܋wOBDNA|) ~p"ߺs#T G7P:iȰH \<0U3_@'  CGF0YsQHIUFUk~%mbnE' ^Pp^A:jE[Lq'x 5B+aUǐn\Q4z yk$Cé+R fCVpaS\ࢤCz֌?3SŒƒ J]?Fv5ό{GUiNǠ#Rr^WBE8U-&džkUo<[E:G 9Z쌹ۿ_΃a> :ݐŀmb-x4z/ٲҨ`cH~4q/{DZsuŨ "OpzL٢p'2'J fM~[ܒ޶mdξ&F(íO*r՝HĮ:=aFTǤW1Ui}s8``3MZ|^*ˬx[]L3kUkRѹEakrn*WFu%j]ѻ3!"N)〝MtXN;H&iW!1@x Em&ł)E9#c% <k\S$ToQ0;y7̜rBZ-"N'͕((~L PK^hN:ua 擜ɹIfNAUj٥KgsGYȍn{Of%-k4ӿ"'L 侅rr>N6wE\Nr BR5tĹ^'a 1$% ȀI*TDKeAq|XORRd9Bub3G}kSkԆᔓO.fH܉(]Td$$=^b/U˙n.oE\CEPũAtTQ4ȷZe%UY:M2p?D8^}a`hS$3'ZӔ~L~1N]fdXˡ]kVPA}^)М=N]e"}X:WψrMyd S AP. R;T!Fw(̱ם ^x%}wcA' W2Kyz{㷰p ^sYi@0KbJDkM)``e{C0 +saW3UA 6JP[ d ?ͧq0Ɲ['Ri +i8FJ[Ur?N&ɣ̑'` _C?b!q2H$; oJAbqҀRTX,$FW%B@7y*RZ6utWgin=mXBoMwZɩ4XlFVC&A0Ӊss8Vvv4֥LOA$=6~_jtpu@Uy'VZ_RN hf>Rr 22짘 Ly0]1%=k#(:t /枱gYZ7zXZִF! q9U]ŗXi%B! Tu r9w]xM"s񡟵w)/ny7b+1(8(#2YܤUzѽVǶOi,vIGWۇ~9(QTj<,g W^dԝE6,< >Y +;0ꓮ#IV.rCh/}v%M AKh>ѿY@&qOpume)톣`:dB?߾Ќ&bhyd nኖ3L 2ihր`G(Ў, ^_97SOFSqFV\ErKPyz;-w.]\ez<~^=أ*_' bUFGi7ֹR;QDj#*0Kәg n8(2 =ݢUvK <3ҥne>?jh)b]8}'"!8f9ɷp ]KueiPaf`șm\ba76g6!MwL鈙]dqBw[50^ y K2J -Tu/(qMp7vsI%HBL!6aB4n+R\`$>53 9˒sa>pf Lc$NtWRU>.8&sR=}*K8 @8i D" qV0 (z&tCf]CHA&~wd, OJOIuPrd?}Es0ZjH%z{xVE v\:"v&8p^mIc,r5_i(]o ܎Y^I_\l AuHfhP ը+WI"(=߀f5@syLRJO`iԀb/>5!!٘S*zj *C1Ƚ¤@/72'g}m߻Po+`ҵwYwUfIJ9Dıt@##j() IہNz 5UHs 0v}<^sOkJ+T~1urNdK<=C9@N(yHZ뗍}7n}*NDV2 b25r%Hl%oXK8uR]6Z xxuo [mPN#VVQ4 7}\ԧ$=0j%rcDv,Q+2UBH,;V֖dFQ"g0S<76JI%x"8JZB@GӞ;".2+~H_1vyĚE~qj\ IR" OL; Ռ.1S jr3lR(6h[?ߍ˶-ŸJ7r P$D Crd.cfz4i`X`Jǒͱ 4v+r 9]2+R tsW{xh>*OrUydJg;Uv%>9矘=>oS+٩d*M7;g༐I_X=`j)jwknol@\mL,ʬ7+|{qN,f#0OxT$vyǔ lsD}"].Be&k<]V)Rٮuµ啱탞a@u3;<L;H/=֙@^!ƶR `GkaW];Dߏaư0xE.ٕ? JAk=rT%p 9WS 1%qhg9Ħvؐ4~qucE'Ò2!jxqɲdG\CxxZ-+8[n,dW.=b@^B=B=h!GK`x;} $ύ9žHzr tL:8uOvDfugp! xs2>DkʲoZY \9aʜ-qd9p;~$_s)8́1Ȕ_=D2Z[` {~aU5l;+Qv){ONUZv h/A9zWZٛqTMS%Ǻv1^xz3xQw/瀔Qh o?U4d"nsR;fLQ!Ì\NaʩVR 4!K@ rh)tX[bS+@[ 'XZv \4WWơQ־Ӗk060;hT j4}W^{T>k +C=Җ vCπk±K򧈷!#~}ã&SRd{ݟY_sZfLN(+=RKdS[5vz :y-Ee-GZV]Êg{ջHt{]}/ݨlC/QUaEg@1] .T ".{7.T T:0O[4 5ݿH>on`V$^Wİ #z`'A6Vr-t :W?n Zc7%-ĎX:RQܮ X/\1M1"ϵ8~>؞9;o74mP`]|CS6P_]v8k7ΒEI;__]ht<zsj,XE->Pw A맅Cm.%FL!'VH1?HrVPp_79!  N8J1UXTz ˿N%-2.79?=/16똄4?WRȩ& $JPf1K~2ԘG8$r.u*F/z cM,][Ȋ*žG (|'UASwnBzrp01.}G?X+KQa1gO[z+Z?7 &4:y[\99J0m̍# 87zL13mťԖrzjx/':4s EQRYejqEǐ݊ L IhDENmrMAlk购 )N<(sjql]6L:j w]Pl)UOpӐa51!MO ] o-˥0u=?=a6z+̄N^z7qi{Qbxs!d@rҏ"`{Ҭ(5$̯P\}d\Δ]}8Ige5u)EK?ؗ { LǬxxͲ@c#54OȲ}l.&#JQЖa>y N:"!oNJ$u//u6?L[ߕmo Q&~ܕMrHftev؇[ 8jJũ*/c)OAAw <9YP|.unk])"m/ m@{{]Fq|kK}Òb?eQV,CG.tn_KcbȾRM.>=dF#2 $Ph|dzc*} IH+8glt6C"Dw Wc18?*Vͷ iT#VvZ%@mpp标wt~gl/YGZ!րOOeڢfK& i|eJ+Ä0yo@'1yMrZň!# }juAHd,u,RD޾%KSu{|cv8tƢ<特uY iݕ0imYWظZ_O$oǜN0m뾍ӱ)DG^4¼H$D?Y0epJ$Gm%= f ]5FQ>ƬAh}fa3<30R%j,u L6X]sdŴ--1QR ђpmYf,|/~+B2ecwfHi%75H 8&2).0.<4'vh 6t$iRz'P'pIO1}Ϫ/a^]ec);0k` kEY}hfyԫW1]h,>E|yӴY\ ^T;I8RJ@1Uwe ԗnF -$}TfxXc5Y꽗Lv5(J9af K*]*/c)a 74b/ xk_W~=$nh[@#.nj,"vB2CJJiDP8FJS%\s_nmY,TTlB${d~%cޘ]4-8-Jg@7qw1}Bs,}]7 xYo Yx5TSY^i&_wA4kM}|y(JqH0nTMrAm0w)Y?z[}%^MWqw$׫A*$ЧCeEDB]F'!i*MJwOl\\"CO9Y]S].9' Vw媴lfG}N!&g&) @iױؐ0 ?XcIP "xtloM癌Ω"R= $[<3x(by@gs⎾@b_Eؒ$zq=T8CC"ӳFLOAت,k+Dj"/ vAOXu @_3[`6֒KP&,@^'D Ll[9>|N@\ѰhߣIbJ W0ɜ[@$53t|l ʗ(Guq>r_20.6"$)φXx&oyN$AhVN@() Cuݎi b*a)q,3v(`7\9:>Zê `~oG+иm2sӤ(ϸ_s@z"ܯc5u(<{y P=iLfqu=ьA&Q@-1Q% $^wBӪϺD%Z%^wizI #L)l!^[?'S0qv duhDT4'q&^0Qozmg&lر>++"݃w* $o aG-s$q0;4=ɳ[W9w+N~SXmX/)QE?7g~ 7NVWXCa~͌gN"&sbŸTĘ[ːD`.f4,tW,D^ʢ,ĵFNDxRbS۳$n@GX _ô2ߞtLow^j͇h]2JK7J_Y\fOLb呈X@t0̡) v+!p }i^JD/@2`\y|d~DH f}R V[o@.(X6RݻwcV.iNcc`H|"I*b (4BhHg)?c 9!X Vٌ U-HD-Asy(n)#'& ` }8VR#k~ ^]M-sT. rE8e)+: dX>#lfڏR44#wa+ӅPl!Eg> kJV2mPyֲeדU/`eb.\$ۖqz8TgvNz6l(wSfT1eGhÑ5BBA *uݐn9XSA ܝ#G]r?>~!B4_ x^s;_Mqe6vK7>S{9$\2y象mΆ%&ވTpC0;\!ؙГK< clҗ5-_0`J(JG{|(uhWm%"_Ch9OwEY\sӌ0kEǜbFgnu @܂p_}V c\H+qG+dVEJ D2`O4_I.K;<zED Pz͟E\lכV7™(F^ b,К®!!YY :<8RN cISinG'J\4#nP#NxGC -4z|a gZ^x Sj]RY跕EMxr>R1%ܯ$'\~>I 2,@ (M0JܢgDxF I2;r{3WGӑqҁ ZYYd| $~LgPgu&t1&vOuY &Ay=%=y4Ks'gW-x-xZ[9׵X22"wF˙1ux4g Jb:}LpYa;*Tio{[A{&ipUKq*7v L]=u.cXerK2w:0WQ/ ܻJ޺R72r02tٓUAt~YK?&gh&ODsE$tǜ{lINH;ak457zcShTN%*бHX:uLږ9QC&@(73 vҐ H=k:&igƟ[Z.9:N`>IɯE'%MJdf)\Nzl/O'gK#>X|˜ z+:~(JU|9BYTD6k>B!l g"&1Ջ!q>&AA6F~s4dr6s 㯫EifH)T+*Mh?Dթհ دR|CPW[̳ODUy \ $T4_a\xlȧKwǩ \3 #]o,qHwǚC]Цy9dr* ucD{yM}?ʫvL9U'1wj\DL#W0 7(ɁAEỊ0!ek,stk%f&v[^P5FCY44fgFgV5Jg::6\l&=>[tp"r=qeU-B1q,po UE{ 6ഫ8b &͇i'pu'"9kClqO{RԍꌢVeW>דjt#؁wJ' k@bMΫ` Ǭjꃯ/4anQGa'TjD9\o@8m9E5-1g)ktw\L7UW l*jsI9WzuG=GkuUMU"*|_0x} 5΃\*^~1wRk)V㫦%,ґ w¬7k ^:3 EfP(:oqWWОz-dU 41WXY!P85F_a@uH%s!696p<$6kƄa=V7o7/ax-4 PLxpƍ"LW+1nHzj< Kh\(ՕOIS5!hiІ ԙ؊"ʼn!qݙW=g𺐱T&DgɷY1R}<}t􈿥C#Q1~-sn79ekdI: ~ϒxO=u 뢤FfNU1y{F8IP c0xYcdդOχJ)"p&bC?!VYlm"B4r"LxlPDݳapD̘ +ֹ)ڈ],h bX{ܹo<Gqv: 9ܦ_4sJ߲K'7A߼Sټғ_g e-䤱-XDN_ =^U/͙ɍ1lohktFt}B۫`_rע65K0 J~wY"DgI&eK>mVv+w>JezBP#PDgRev-y/QΗ7~#@0 WbPC sIҌڧ&`y}{d&_KoSϓ[;-Y<:v:-xw(W{̟<(b8qzjܠR4~f0҂p-̧L6pӸ$9ADyCq$jfopܥo e<ձS8Wsa~֗]1bBu+yOߞ+9ԊϷ#c0#L]RqjP])1Pm0~So VM*=-2c{IrJANSߦv ٽ+^A,) xSscVY``uD;IrêL8$A%O M {T #ׄG<&[Iò)To9/T5a ˲K|SW ~c|X H> ֫" {(P-h@3gF,?^DFEg¤?ǚ&{΄8Xj}T5ث0ޤ?)]";l}I 2y9xDnu%&M9#܉xI)ⷪVަpB ƮuquRټlck)b ~ R8=|K#i 6/ ʛ \*J %C1#`mb|K7gΣ_ck^>lK<)Kj%/I[B@ &|ox1%hŪ͍X (}}oEzW`&|szr>Cv>ccPQ1^NءkVMRv/;S}V~]nK%ӕ i a;h=*A-OD' ܗ˞p9^m+&(vh'L:fyjcdP{SA;XG'wl1 I2Q/y7Ē[ďT'ࠎQ &|3 GpR}]̇#޻[yžBwMUrK׉FO:i1bA'H^NK\gq&&w4'.I ? `u ²*l^9i Fb`yzXF*ǹ7H_kĢZ{O Ӕ:]o]Zv.d{r@$̳5땟f btF}2ɲQpX| ,JghK=uZ}+hs*G@#2pJ%LuhokqC@2nᱴ'(OEdNIVwvAUp5K)#{8ɚM pv",3k@GlcĤêPu2QRǸPBl4Z%)j(uh ;[2:;u@,JF=s(5C LzgRg(Ui =TEt%`7#vjӀZC/ƾZjyk{P?`4)/Y+ClV0j@rc4ٿiR> 2nB_:acftl$3HRvw4)gyMK e{gf^?ƅ&0fu|݋CI-7ٓ<ܙ%萙C ɵt~ X 2+Oj( hy ^%9ф]/Pmpӡ=E$í7>~ 3rFk2_8/񫲞N0SY} LA%Лwr鲋9e JYګ"NRDN|ΤDؓ fFGR=~H(05RM.S +,7-l'_fzB%׀>$fqϩ ;E It}j` P!.X#t:H^Ez1y V&_MVqx!_K=YD Zv)\jP"@܌_p."awr sKC+00ѷlCb]Lґx:Ǯ|Y+"r %/ODy/(GYXY-ߞϫ#`gGꨤja]#{S8\LGHh^5qBadjX%@W0AW(3I,QK}ed)A5*̜g]TAY$XUebjQ'T R| ٔe U{nm=ǒ^a]\hoaCJWmC3>\U iݏ6̣_=4Qh$wfϬSj DK^w)wt t_ty"Y@[I9~7he3X,k) |&7R`;sA\䐔~ZБ*ߢT;\CfԴBċ(tK]R.eom'ԺS+/BӪ_byq#'lΜ:u - ۤ Ư[BrYuyWѦYɓWEK&)Fu(ɞװtk4x]V@bbk3];pNn8ڔcͿ5~Oo؎:yh*T]/͡>}:+$pH| Z#ڈu+rD`(' 7uyi!TvQ ;r5\;M}McE.9tݚJ,^)giB9vŨTT>EVs˶[&8u:8E_颹gLX n'LS <$`(ml ÕWB(O `wV*߉I#~~>\!thahV'2VBbJ 3{D;T4ܷw,P8$?35d"I%WmWjC0Lzo/'9&[hN;,_la?EW^WuYj$t(曖頊s}C{Ԉ71J[CڈцY}$vZS3ounk:ČL4~Z32q4 /Ceo3#X:ᦏ}a:z3fb.s\41cK_Mwh{G ߨ*˲3ÁAXou$T# 2#G~da<(Lju &j.[wZ0* ӹoWݜnYRȥ! ᢺ蓔w#Onf; +|0 s`pOˠ1:PTn&2 fZrlyr=!yjuC~}#1ET4@k8 C ռE_]Չg<|f>8Zp8~gSAojf; YU˜\x', 'Ҿ zf/57 x5Qhǩ\p=]`a_ĭP~X}e@ zUX cѱMaffj~%%_||J|*+Ez"n7mywr uF$ifTVv_fR6'zdxC `IL%FMN,Nϓ{R8fH):ē׼\d}8`F 5qc;oSB;mL䒡 JC`$ĸ-:5;͛:_Gs.eh#ybihLSA"m=$VH7 |x(} f/GfBX 6~'w*hOFIۤNv(ؾLJ3J&[p(4%%yS+TV G0p#h㚏4}xP gC-^ U:UyE+" [6ͳgǛu``ٝB6^#!q[',%!bH2 jBj!ڀ9 {+pl(ecg}/mPir!JۃW/_xYkH]'3˂Y>x8Īkj9Qǫ0SK73($3+KI߽!1,qۄ6vUOh'-YRq0Ph#$/vFrQ՗ ]Ko>jlCX;s}t?CfEFs+,޵VMB4 gq\9qFX њ ieÅifEW( 8Wuic8`+zOC-Wx\>r&l 33&[9Bn1 ՂK%íMHre?bĹ&eyqt^+\/IAk&:4/ۘM!^8g$TcK6gU ٙu|F4&]Oj޿ 2Q"o=P㝖DĴ9M=1\izd*/g:>%g@0azvIJ6`$V9żS!`Jp9`Ð_ ˆJ,Bep2_sТC *gq5C4xCqZkߪ".s;_@>k=(~Ӛ;xX6o<U任:ZtQϜ{> )st#:bttki55'/kEJX+?0}Τ>'#+ 3bnKC `Xlz nEsZ91Wdd\3=[CY/o7BPojaNɶWܪ XWPش"[\ ҭ΀8B AoAJ\qG-!)GSxvs] =64kMɶRcd#I(D!a`!CE2uWpOQ`'Ѥ35e|NRRM`E$a :\=GDH|=J|jFmi2*H86YEe_6|uKJ4Υ'd_$"c{~nY`GW*K6P(ڞ[ܞyDt,z]7S!ɸ2d qJKz&ɮ ܄HWhnl] -sV|*2:yƈM=eޟr#{U~6}-T y 5d ^Uq 0T{<2" Hnf gRw'N6#i}]hwq졑dzJtǫ-pEuܟne^Z<:δ2GRGe%ܩP_1m!=-<H|.6үj=}|.{䘆)in|-kG8H+(o*t~d[ bt~C<>+l]D;3Oz Puk+fWڌpBQg!c37,Ot~#*s0BM?fgY;(K~o!RɎdWb.\DRJ<+~syC±!lKIW8AjA,VTЕ :Ì!ߤBͫƠGD6 FRղq +_|Um 2{ϱaj?g19^Ɂ-Tދirj `Wr3Q:w9!OP^落^m+dѺkXiV~۽wzΒ!|&3Q.͚r^w:ߙ{.J1>W#Y _A4!c4UHgm"4zv>({Ѫ8=K<$M]ڊps^X9k?r4>/R<;ާX; W1h]k`(Mr'_#9}w E$ub`׷3n_ Lwo_&Zo.&rj ?')> E`rG# L3~( \Dfq?܇ؼa+=?+mo:{WdL0aW° XNg֘xrge!wtn>!';  ˅JqDRQ2*@nbmvԝԁ}4rȩ: @p_ΦڣhT}Q 7/w沰'W<pYZ%T~BW}Z 8MJ,l5̘`PMQH6 ӼuQIwz>8ȋfAc9\¬y,pɋ@uV7xHO ʠ9<`0=ye(H9LC?5ZCIqD q$5A9),yET0jm[p}6m30NWU8i.tYYNF`\6S<uw$ü,d"Wb$T>9kk {v2Z(%v5n`d鵾>Uk >}j) UZݓ{sk?gMZ\2(s@7L9KG2A 1|8匐 I=5:WT6 f9ЍȍN .Q:rj-&]lL${m?D#D(EC*Ш35X=\²+_sӫ1^(gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525c90763e5323c8c923883e8df2f636567e1947d8b ecb2e6c68f72a748f2069d4edb34b11a113a8c68 b689ebd6019b5ee138f13a15ac02f899e34e6779