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 :/,L ]Group-Ring-Module:threads=2elapsed=231.258cpu=439.404gc=24.924factor=1.907zXZִF!  ]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: ";r8+Apl[*1Q@N ]t !~wdM5ϠT؊*;m[gF~'xqG:Mzs\DoA)!-FO2$AWl;+]tY #q49=$5Ok$d@%sQpU0)82[ԁz@ZeS K.nQ2 0PcE[Vy s 42橞D0`-Tv?۳~ g^;F_ٔګ3T Xxf-D,rcha!@`ho)"mH?:hb"l;Km4LΒ!h{#7YBgm^m֦Iv`.B[;7*O8tM=]BF`2ΏȝSr<'$g<`"yg)R>_f;bK Xm۠xilxp =:Am&IFiu#9|X4ÎMN{Bq9 Ӻ F܃GgZR&=%'fPrXخ.|]=}Cm? +\nsvS٦!goAU)mX#!4!(3/І1}ԢXیQ6@ MH9>6B7MqǍ^')`EwgY ^f|EZe4|w"H|1.S+.{փpwwؒv!۽w(sGdcp_^SQI9E%S Dp'BťNz5g5o;}IK~#iZ޹oKPsaXO+َġBβI{zbP!p^;25#V2trب5g䧆B3>D/uI˼oX{z r SdKɪ]2}LiEG5o*- ~>"?ol[ ڧ`:=ubhҳʐ^3 T,pa+̔n|enN%ScmӶz,EK ^g 7BhFKJ TD Phŏ2bj-r+@WnJ[ C{e~:ϕ^<..H 1q]`yzet"@%vtv SȰO|+ѫPKIJ%\8\<_.#_ŦK%yBb"bkHHl;Dmq,-*<גbM>s=uQJ~4u\oXۅMl]'wvk?TId݁?g'^5h1O<}: ߋeRqwx n-cE~EC6xxIegqSCOdKH74'T18zJh\2|(GqbrNHZhQ{=^*2"R1 096 5u@gN*M=tV&PM<ָc7$0(r]Sv ) :M {/RQ྽ic8z!Ó ^!#ԑhiw#I9a!|b&Z;vݙMi%ɐ^.aLe9W.G;pI;"b&N3aj/`Xc}*'ukݤ'vR.1ׇ۶~0=iE_b0uVgҠݍ\xJ_3 7bl\k@ӹL5JL%e2-r(VWwkaҐv k8xp7@:>62J-os`ct%ǴN VveRHW^9 8]-{`é %H*QsY78nk&sSdb$[.5WAW[#3ۣ )r;Qbk~Cu -_3zx 70QA?,*3@b ;D y:4>οپ3?%ɰ &F6g=~PW|_x).a?+L :`y zc鎼BbsE`W0v*Y=mYi|o+c `q1rG֩-7\ y PǰA.@8+YJ  'ĨH1fGnT`ofPEut!TeJSGQөmN ;Z>8^V|9\Ak/u8;ibQ ŎέOA6/!1iwտƵʨ)=Ʉ4 / Group-Ring-Module*rJVV@wil{GcE>}֤jf[C15X/8;!q3,g.#N& ?$dASToY|]%ܝٸˇ?bbcjN,&SjyR/ι:gePu)BjB]}7lū .8^ңXѶG)\h5Ư!Y-]\ pr)wd*%j+ ;Ly}3s [s3'֜.S2}]e Ż,4%,#<ᖯuݮiXt0+=|w0.~11~)lH ʦgJjc~`kDMW)X PpxoUЍ< تz-Z?lܺ.#7H>e3kTP_!9A`~]pv@/%^cDgLny=(FQլ"MT9gC  2B zacȵH">päʌ`UeQꀷT+w}Ȫ' ~Eat8g59:Vs'ӎ@T#WS  7T Q%_x %"mk,Ug6oEFWmR,z<ɺ7#TqԦa$#ziijX%ޣP@9J}WG;,-cx70T,mưUW$VN(Ð2z:%S Hqĸd8+Swڐ3Q0L3xUSF~cԂ4ak7( MԶL\<~5|Oh7VY|!s[IlXf#;aZ|l89nۤNκ(1P?d+8kVu )Yq"^}' T-b\1gE$W 8\OR c*ENTbg vem+,S l^V3cR8}腖(pJb3Փ?M9M?I Iޏi%5]DєͥXdn E^HlPK84GV$.{Yf[0Gu$ȭO[ImK8AJNw@[Q/|j=k שګ&K/rz>D58ѮkyH[g( Vz;&ʧRIbqI_`4Ep܈ЋNHbLKZ~Pdf-;T $ DŽUEeIAҺƵ@=$32kh-y2wEYišlԬ<8XO-'FB^Mz9vl6vH6L+An{wVb.ǦN V2RXϦ yB2n@u9͘4#v o)&`DoF6!B!(jX$ QDJd:4ԗd>Tp0;Cb ɲ*hn9H{) HһqЛj#f-7o_*<(rl_֫7[g ,`ăreM4O;Ŏ9ZM* 7E2ioJ 3HUo?%J[#co &TXgV X~P3N Mn57 Y Ѧ^sSK?q7X5mT՗sGDh`+</#*\TkGi!/fxTw~FT*zR:2ҧºY(F(1ohh@O.N6mghA=uFgE %` aR=x' aQ …2&Q VCC nrmfF]/qn WlY14}{.hf3>ZSPkhP$Ѫo}sD 4XGebb2] K$K :ߐ ;$mʤQ>(ѺNd]OSb:JqvGa9g|c *2>7~-mKi?jr߾W3YD6*t 5)Ɂ`2l @Ac%)<( 76KЏ `T`|@_򔪲zbSjltdmZjՈ9?%G$wnYwGt $ d)139}U;?wƙ𱰷VRJ'{Axk;t&҃\HJ z?QEC34ٽ`|̔5[辘Ep?bT>pZAzޡrHiFZ2L`m }w|L +i&jV-(;@[^6`L oopmPh QPO1$+]E]2[:VRiXS}S3Ik_Қ2^V` U8 je%`!đy!|^c>6~D>PNJ>),K%?oW w4DV1m2:W^J2mСAgϜ1pU -Lb*Z~X#VJYDnG̡Ɲ4 'n#/KQË~PCtyP@?5 N'd 뎦Hp^Y;R^BE)&zW`ni36WaKaV:%ݗ?wٕ=vw|#쾄Ȍ"pVZjsO%~'^? Fu'6QƾgkpjJi vC֜ΤkXo#쳚ٜq4DuҡlN,;Vtgt`zhؗx&ek|m{$j0!• jZۺo3,bӐɐ߆0F+ fikl9ytDï!B767r?nH\9/AGP_oDBs ~l*\|z10 /PV-I$-L0΁ե]-v;P0[ wŒJNuIeqI0ԡ )W85K(dSt%ٝ֐1-T@ wl]EyP[`'fo{< ci.Gre9r%FȡZ{'A5 ,%Hb^b-yrSg]-QB4]cܝFЩTӠKh!lWJR(pgO{zgPPicwMY[ 6 \ǼNNMQ$GhXYiρ@ޜǧ}@JYD,eWcBtI(AHQ J܄E&iV!<ɐH˽K1PziEFL,&]:mן[Aaֱg\PnۦС#5 xRfh ~:@墣G}cNa0I&he=>]'de?}=GIǾ7u 5ybX~"='$O:`c\JV 6hɢV?>8=ˁP3m,Tr/{< "j:zm< :}"ݶX܊V@fiܿX 3ճ@d:0e]`#}/ Eh[ZFnCD/Ef,S`=_E#X]mΔmEqrg^p4rZ@>rT♄5Ր^HpDH&H'%}+Tfo'Yyb "cS[dz EfTtj.)t.$'=X3Aw~\E)!'˽UӜm: ˡgV* AT\+ NmNdշ# d_F u Ju/Pmx kwHlŻ hΊ&qco#3Wp0tWK-8ܟ3,od  6U|磬)ށ_T=1^ D@:wԊ)n%ZBE$v=i&Cr'%n6P+:Cv BƼsw̻1RXP+N(:=:cvdH pF^IɢQ ϘЏ$ƞaQ@\A5*oyWwuj-.]4HgV VD)FCU\yòH8I5<8nG @*W11$4rW6"}gT%99ί P)Y#-R;}MzTVcGU*ռxͪ{\o ~~Z{ߘ&E|9 Hpvɲ<>T#-|duό+A(<ًlMHr\nn$BʗSnZ Ϻb;*Űosf<N$'ڞV̊o TObSnaR#Er倏GSj^բX#: U6! Kn3(nIwi靡Hui <,q2 vIq/%ȁ^3t0ͬmB!] b(lfsNG>Dr}Z3bD8&#`wQA+ҡ Y5HVsHv,xE=MYf8QQ-κ},o{ 5OQmY=zkP .p3OޜsP“WOY]*axJ mLPs+.Y>0I$)XH>-1{Y"**|I$\/h3G(%SѽGjGvϠeݼsy[p{6Xʰ)%<2vj~qYP]ޜU?[7~.o67 pWBX`⦴ y^d3v_|hY~\>[clͮl)1M=!( Ċp4ёw314l(f+%(׫}ݙ M d n/JWwL 7ȫ|G[nz*͔Y?;ʍFVOMG!`膳}^-\A마)ڲ_`2?Dk'(DWY_ȾPD#k.0/zt SLNM~јU&{ }K_-X>.>v`ӖWd$髅,CZ5|D KFś8p Ea$9)p- XP?IBHfNP.ؘn(24PQ dH5W02ßBoi9Ҭ&Y$o 8:Lj``#lѮ$VURСڲcܭU|l\jll2.KGMDw ;cIzJg7b v%΄"賫I ?L*YK1t@}i8\aQ"&3T R 9e_hYK%6 bb 4}5^g d ~i<\tݮiF]HRG A*= rZ<=}}z4D7fo5]z5/}5x$d3i{C:ƹ=x>pβ+A7V=v1+.t,QFi$)MV F%m`iVq-XBF9LMaX:l`먞Ec`y 66쮖af,5 Wt=Fu,T2+w+k{BX8턾{J]fƿ@^!u x^KQc&==MQ"$|b&9eAs{9 CENc#Ŵ`Oƌ C+`#f0 P p/n)j QpWKDžkJI dZ#yʭz|RG7*%^ᾩ1$悱H9v%\xFn[ht&ZƖ(ioЍQ1ugNK:am?0ɸz1XHo'#cV+1b]DI@1+&5s# hMnL=zݚoKvUN9+dqi)6!s<ÀNszT4($4)8s ܬ?PRź= 28Pk/lBϺ}۱)U,ZD(^2'B۳B,䏷l*{Ct#og{S.R}.H;h:l".Tkq`q+zv}GHP,Ow O.Fk tTfI¹7;p9Fq} (2WG!>[z8z}b/u*qɅ`\xAS L1U8]Oo,0i{)έNs_>ЏvnNq(ߥ Zꇃ|A:df?4\Li;q=ՖլV@"wS>F^WE:* [wcw&Z )~n%CcR>²6G&ڦ<.( tպa -I=fU`?W Ee,\\R!-4lTgOr2xrbG%x;Z6ƈX2~ЕztF>UNSR|*ճRY%FgBR̊lԥ@%B[#L$=T-D`2z =9m# ڪ $ׂ8yA &3e6<;IVdfuT &1afi&fQu\F@~tV3/'іΞkh/s hCo";&qr N(RjEUS ؔϯ`X$s+hVqD֯*/m|ݭ#%˟Dx?[IG@LNQEe|34/L-g7#hq!IrKܽhQ{ gL<@! l 5ep=YjA;6%ge_DgLF#bơcϥ1wRo \8aV'qoIGr_2Z;mE}+@qdڻa)fOyo 잴G_?W M&$ W&*9yyUD (3MZ5&[}7BPA7͋/t(s\(t`rJ7^''SH D9S}qX=J#~_C ԯ,7??H^{ܹҡCBneop33 zW:3 uI K͈2#׃4lG-'c9Pr\x$ Zﰼf O+ ^kqzg|%@F/"7ʵ|w8 岖A4C:c ;[&ɷ_Pɝ(f6$֟xʸ6,jrQd[v?VjWE8C xn@o<dl4ȄÂUh'lL9@xNvH5|K0ZGt,Pt0MA:M_)KiʴTZ@0:XsTZ$/7Ll Q(R^ZqBBA h$K_nh@G Xi/M"KV.,&JZݰVבT10n8?b~RDa H8}z`(-< b~c5LZ8x}B.oyſځ>!"ySVSIvC wU ԔT?g,_?2 Gm"Rmre՝~N$\Tp0Oj:L/"l^xCW҆VW2wuE(p] Zn⠟ oqq/FtZnu诏Q\g&>2.jQ6 ϭ(ɜej)u6Õ中QTZ*1"HhFZʋb{hBp})$ߪ _S |{jLx_!w=A݂ OgȜ/5X} , CT(p6n:4fow'-'92"9Ȧ]W, hUm̥a_A$`$JDZ,,%Ɖȋ7IVA.zya1 o9wjLܻ$Uҟ.{#IB\hDjpBX; R[%ġ3BXZVX=\Yvy/$`~iP=vU2SHBgcR@9Oj.p[w'3i'5?Oi!~\ 7Z\\t< ׌2-l)O2HN4f1t<4C`/WkotzwbBDOWi#!0rtzHI{:B*T/h: \G+<UgHmT󫕽:x:H}v0B Zoo|2ʎ@ {] qcLpn+As(O'H!q5xXmg2um3QPJX΅f%35sЁʹ]6S Q1NQSlL#5w+2gs\h<9ꃆ^ TxvʋUň1E{H}Ud5 ̃bt0i[ILx+tIe>,5w  @-l̓ U$5hVmpP]-UfAwC+3R6ց8 #'DJOoLb[nWOg(I8/ -pǨ fT8)|;kWX LKpB{uejʗU7׆l+gM,BAղaK=u0Oy35;<ΨO=r WjLQG}YjRm ~+6ʯ;Q#COs%vOrnURb^gBmڜ9Wmiq4̦ SK\*=/TF8+/1w4?+.X_*ՙaz$o77]aX?.SdFyE>Ъ ^ȝRm#s.r|dkܾ{^ޓ)˓:V,tpuIyB~w%˝$T ہ>wUч5M&7% ec/ʁr7wE9+|iDEC~6Dx.}!XT4!I O4Q 5X=] >˯-|,xVcs;XSYM%:.g֠QH%o"/gF*>i?V1 Nf3bF)NS C(υB!Qۄdl;6oV\[ȴCl_N]-p76m~%O,`4J+$&k>~~|uzeMp *לNx~ٿC0/:,Da[0+U6w utsjkRh)Kڸ w` '#>~?HGևl> Yӟg;3̈ gb1))ds'Mf!&" L 0Q?CY y% M&S*RGݵ[=,0Tm0zsmN2iN DԩD!؛;{Qti@sZcAyV ]Z̳M*)oϟ0Qr-HPAye ÄeasbԐ'qDܷӼH됩#,]r:5qI&lM}>5)q,(&i>}b)+FH>]boDQZI;)JX*;_r5h)f_H(,gRȋkyBUQueF!rADHN Pr\V%mhe+GdZCקW>j3l7i:bY1*De)lOP伭_H>s)$4ie}ێ5Q<"Ȋvw޽Nk'ŪR-Lw Dع˽ KBd':!=M#hɥ1#J?7 ®6.^&2zѫ+ Yť8ށ$SU[d@IcAk0 um׾'~ADN+/Gr3nhw<4wʱk&;W6<$] B%@ZftpU^B l{E_\k7CT&F䮺T؋EnlSGgE5WI4+^?#G/}dal StA&g#@w763y.(]KHBPu>ϥl&_0Z2aGiUT ǽM8pL<{W;@Gzg4{7չrYe(_/Z] H 'p)H7'ҾM_9"V 7zK0$% dLԈ_hHNk$%OˢBU_I3/̞QEY?kw>{Z% 7>tIF~ +;|5PB^s6p)UOy}R.V"& +6==— eLhk[9`_=WDJ&1o{Ⱥ ><6Mʧ+R*ܔI]s}((F`Bb@mO@DzMz +$S:C,ܰ7 2cGTNo2e,߷OyЕʼnԜBd(ujP破71ZÈ/ǒέ!!ЕY` 5#zR7BOI@Frk"6N3*د>P i%pCDN3f2oXP+Mqׯ{$H4h.et/f7$OھeY7fk,Ny2 v̨wi2 kk]r aL΢L/D3ǚD!(p$z= J ʭŔ̓]/A8ڈeO "U\}S#_Bݚt{zjt*/r64ܳ͠;|c*j/J)0vgMغtJFF([5'GGZ:q"}n,D`D> suF>\U7sG;ߐ#~^m2éCi7U1篩yR~]Ŵ*p ُleHᵑ::@c61>21Bؙ\=?xZ#uٓ."͸kdD{dâQ*98 zŵVTMXmGJxa6[/S`/cGcU1FLx4>ɤg aDabظ~"9ޚ[vGZYݵ^L[fu6 ^r񤏗6&'I UĜk DX$?0z΂fClZ}M_` {CJeGB6J]Fu1sfB{7 D*|&Ü|̹;ZlHJ?AconR =IMs[$ ;- &--.ˋn.HX1mY\_[:VFnX2oiEK*FKߦ8-1@/@j z*8O; 3x7C4:9E0pR>JZ??}>n8?f/£7+2FbZ(8v9a| Stp}B"˗8ֲveJZ54@ S,s{H^.S& HOWHPҲH콮~e('2 x4sfۖޜ+;[$& Xfrf\fp)АGQ.'}>{SGq5?0,:ßZkry *,xY[٩2ª0 ,Pۇڂ~y: A'W)iaj71G 7rTomEEƗ5I y5`EOm"OW &!y%.rk !Pm\AR:~bm2a8_3@C;jiN-^)Pft@ nckn3^ᔠA;`m!qlI?"-}U߈ZyKUŏ/b?nV?kDFS=@3DJ}slJ|SZS1[s:>:AfZ 4=ʱy9A&[T)E%eGv Z l1/bwO㹤f;FSw T1U2*pB7Hu,Uyi]PxjPUK`P"4g7FҤzB&xAVɎ±8r*+m{!$zTӁz̥ 2} d=7dXYVji– _bQ3_sW?vhǝ\޻ol'ʻБjQr-cĔӤkO2U}[lGӕC^~&#" 8_tp.8r~ I|9KHqa4b:$/>[GoM'ɹRm#ӂ[vyPaTxa,Y;թ $k!&na[^cG%1D~ވ"+cb= ;ߠ0[(llP≡Ȭ6LX7tcPA3.+B`1}Af ,g{ I.}fiP՚o-V K =gȶ8W '9oٛ,k^+pjc NB}i&2$#>rrds?#LJ.v9CXj@/1?*(&Xe/"Ȳjg@=V la{ODB!t^ZDVF4l80ZE\FnF1D"O)Xpڟ4r_P̋,ó0 R C0l׫uxGÚzYSqВZ~ uRZ$M"V4 GY{P>jht:JFgT.hMs?c(IDF@5J:eQqkpE xI;B h|^4\JE_߫zX L2Dz|ݠs'oo.߼)}gd_*=`L/JaV(82>,U*I17el跚muIbK/$Q~vD@Dpo/-8ߔ4փW0 kDmH$Kcژ0]-lN+[(C,c8lv;6Ht\fߐ9%p._"Ҟ&h~'A,Knli 7H+p!ƾVY=Q1Gt0fKZM;!@2 $v5~b K,@ںeTY~#!oenhxw''t1!4ԳS2R6^o];3z:?#C( IB(M)Utiئ+ SM5s9:79ҠxV!SG}QࡎL;}XTƒIA O-A0bjF03i//Wc;6 (,u2 сp܏m6Aȋ ՙXrx lLd P܌y F׭yeM"J҃dzEN7g.WѶ?1;,ԌxbV/-"\TfWrEZuPzB8;I~ru;v[ ihfȗߊ2Ug$&|l_h4E mI`nVLZs窳z-0>r1|@•NQ[mU[xBmQZ|i6e-DUwtv-cV4wJ˔糭޵ɚt8l`UWT"+@+l ogĊxJ"k3(☼Q‹2Q̤2$j:gb{.zHM䙒B0͋"g \MBE.̜B94sfhC,2ʦU@Ft%hڠcmQzFw$0&7UKW3綁EY^ciW.Y]q8I[;Fk8~:&JZQ79R~c9^%zAsK,[驑]PpZVgG1* KBT1! Dх"|Q7h3|TW]| pit<|O-GrT} 58t}n"kA%IXgi4r0Bk 2mEe\P/ҡF['AM5K%()-7`=p]JsX~ X#\ZGrÒMtE%̷N((K1qFX RoŒu1d{4'ͦp+׏g ȎQdGqh{A:=QmlOO6Ԓsd* 'KɉPx̧gaGD&~?VqGlK׷ UA!.r!u1lhl6S\0_G<#ݚy4;w꿉?á^+g sjji0Rz1He3Iya+\ RU%" jk'P ! y 9, %aQ\L&[.uYKG3ӵ2O- s]Ř"a4Ä~ܯ=buz1:O )oq|pZߑdoQ_T v){c[(fB/V?:? C%j=9Jp+Ty >< /xio8775yaV{}ZHNOG/Z5=V"K>gBJc(6X,-kJ= yz7$UY Svhh1BϿ-EPHxV!piܶū[ 4*#p v+7T X,v"ytx#5csM[wf5'%ϸeu |J^PZq4g"ڜ''Af\`C Sצ.h ׹FۆWx^BѡV(L }L@_514W<1]qqC\k>гI)|ڥW{j9 M 5_Kѝjd7}vT-6p%4DIi'i థN:mj,~KKMrd)g7J yaRkJρqNl0 CBG e hR[7kڳp :{d(9ˉ:b=J? 9CW瞷T(~{ټ$K ,4*l}@.;E?ԠXCHxq¯m×ǔB NJ#!>&XM%XUxf= zq4gW/CIH*gKEe7m[4 aq"46\ĝl=b}[$D_8Q00W|<RxH#ٍ Y4_0).(/k 'k`;d82‹܅{ٱc萛?wX{=,[=8^WLRKVhI9E5{{ԡk<33 q:hv%wM_A;P!+m vKOw&  ĸ̓iណg ZQRi9.pK} W&:IA$j/o IHL>19AG^p>H^ߘ%c#6~G!ȭpAN'vq0h|O׷{k7m4Dxs{:Nk WwMlg^]\``uzˋ˙H^+ <Ƚmuk©l)2_nr[>/sާtSrܓDzs9ҪL99L?I%]naHTK_8Iq/{D˥>褽4mck?.0|q#MJ\`TP`~#YZX8L SX5 ~ɢϣ{*쒙9[Z0peF+҄}MA^;^hk"2'Zz\MEP>ra[y[)_8ƛ})3.۪YEp8EÜF)ߢI |c6OML+507ujuG<ތS S)v h6fq/ޝ۔9HTdU?8cF۱d(؅m]CAF[jD[3$7] >r6 券0c'}qJp[8$,[7W>9`'qR? -F`v9Lq =]3 &3(t3ܘE''Of2.wXKCM˭emkIEd$BOws [1u=Gƙ(ZT \ M=/3:y?'4$ w:ԢG[M%2yMW KopP\ĞǦن@H'ϖhUDbuam1k' *W~]PV`+ sɂ;[bh[iܫwQv\Hb&t(X3L,U|wjPJܾ7 wrOW s)>۽wdE3Cu0PX} Oد#^@FR~ᚧu92mD,6PLm?\F|Wql\Ҕn [(ZrӉ-%DNҢjz1$Sra'W ub+ez~N^5A\Arx42_,[seeĖykSFMdD a?ۇw/Z@ןY@^RLc%mփ^SMɇNHl#GY.7*W""WAa\^3+Y.fXNYgs3|ͺ?LccSQW @tZ5L(HVQ2#Oź|о +D&J Y hDj@H<1ᐙ AWხOÕZ`Pby&5 XV_pzCFӓևmG\U_YASZvs ͯ L50C;)7  m&Q^Kn ϱaa8TDY1w,-jRoC'MY0-QdpA`q4[˻|Dh=_h$'3,2OW 騬ӷo;bX?7\AehZF"pF܇ҲvJ˓z?PKW;-3^NK3.ἑ3ꄰ,L(syN2+URW,<|f5D% %J AR(l1flӗ)B8>Ƴ@\^3=@68Y\v&%>$9RLDʏ{Nv^ vS.=T)}[?3.wzq}7ZFW=E55ۢHT7e)sG΄<]KB^86V/ Ä:]n( vhW saSJ3l ~T0` v֠+2(PD٥}qed¯ĊcL(&\jX9PLFi{l@㯢8{ˍ@Gͺ3Y1.Ӄ@36!ȓ20zL 0%Å؂m @2Pk5Um{1Ӛ2.'ZD9Ӑ}P?*{:~UC=K5p2,`v&]|V^>ߩ8G 5N/YOX4t[0 A|PnEOg$0 :%uўs ŚG$q$7=E%/X#Y`[xvɇ5EU1ۮ[!$ 4f"2u[Qkó4,l*Mcx4PWV.|#3$6Dyx} @(ku3p'HbG[Լ~Şf$HOPk5Bf( e% VCk8 |Ftma˵nfbo<idzr֕I)tCφV~|G͔J<'0m{Yl3X,nZ?\(5Zp-8l }[3x[3!83u p;\)ekuFt{8*r ؾ}%%毊=<֚IUa_ :=u/q3po4,Ͷraft vps³%C'3ݎ++ޕ齮?zHr|o2@q {W P ߟA9[Y0iKNivᗠ} YVwyFԗm廉}c%v~t ?t_vsv-oFN~'gk4NPuDߵ4w)O -RNҳa%[1 5ί \*ⷑ7n;zG˶|*ܑü0S0O+?14pU-y&->V>:$f84 DZs#qHO`wW.lckA7.ʚ>,IVi67:OYw"!Fnzjl8(D2\nYҋgRQa1 ?ʤ! rq\U5Euf]!-ܢ|[s),Ȥp~ýO.P!G}rQҶ%"\‘Biu09G7≰ʀly-#@'i",7ɲ5>/W 7P6bLCKe>cOqKE{up`PU# )_IΤrܞ-frUrF ނfq˳Ύ~[•aH[*/Pd] %"s?졭As3v\E Tߑ{Zib|%+:g~XR6ba)Q#R#6p0bNhy}b'ky d*j/^jl&a*HvùMEMi {?hQ8v_27–xK*$\Hj&"I$%<.( #wu=Ro O]>5~n ϥ@UVXĒRq3ɒb!䶚p,U:)ZPlJr9X,ksv$#V^p^r,A¨f9/$zĚl\ [<^_<$sV}r{a*q*knm_#2n^䠈ha"#2gQ1G+o3X}7H -IHfQca11g~w[³<呂g݌ =n8]$$xg&ʏfvohٚ0l)CoחDJUutn8ވlLo*W#h,ĄS5uI FpkQIhqʶ(m6eA}:m#Ch9R]=יSѫQ̵'L d:aڳQxV5Xp\s2ϞF%sQǫoL^C{V/bj2849/ {V ~dSE%C~ !DFE!e2BT_b^ƾ[a_sg0 ܣOˌrd az-o#~0.cAmX@ ƁGTȱ_%5"ĢCoME4ثvL3+-\PQDSxʨy)O؎F(fܗ\bA釗۸09$)uo|YA*o<,C }$ԌC8zaJ; 9 CwʅX͛|H]Jp9 MftsuiV, Ä&{ST@g>bÄ/X*H\0c2+_}Q] ZshјꁬDxHQok=iVݢfo",Ӛ龜Q3rxt-CLHǍލK}v, 2dUͺ5w5* l"Z݌szK8f%_w4WaM<#_?*ߐ*LZuQFvs]`KILJcEѹIgQ"IG2fUIR׵蘪. XJlkM"zQiXCntGCq\Z>i) +yVގ%2˵:B7g/U`vQWaPZ2 ܺ Ȅ4wJk":xr5%`CA 5n)D/u?ԭ f V=wCns|6><5?5OykD*Nqv-m^3J_!?Y=7v`dzb꒷¤iu4dRc&+gYZ7zXZִF! rl,]ŗXi%sEuHCA D5ĝL}|;}L-uU'v*B]IMgfb;"pt(WݗYk k wc)Xp&$gdq-zl}&X>`b ,H;YFN α~q~'#0J5;/R=^_[( kTcќQ:u.wҭ ¢(^v$H0ܗ0sA9fٺ_DȿqPnpnf-7bds8vASmzJ_SfBW ?'JtvwQ"⢈`4Z9t##Zv~q{v8qzgvUt]5bS*~2MXAvL t|EˈyEso!VwD=`Deqcici-=eU&m:źBǘY Ô;j;K}e%^_djͽF>7H^ARi-i.z,Rc岫F5kŮX\C9|m2)|--B73r  T+NATwF9lx#(L4;SW-t?;/倅 chv͇ gbV2&`6/S hNq{~̯M"ƕÑVBi’p|h.jBƸ{X9C[BLeMJ{RCGt\A^25+cJ=^46I\#0Ҁ6% e*'!3‡Il=ʣێ+6CiFvʚ x~*oZ]iNvQa;Hڬ_ ;p,BҭH5NQdw䏿>p&-$FaqN 9_1Yv{w4=}HW-D*ݯOR{zlW>1x;FF!pV@>$|Tfprr?[{"CWSNaGfPaSNVv"{w,N"J`h!)Eav}y82DH9ʺsHƺ"BԎ(Z1&,Jkzܟ1&e.P7h=ڭMf;?Xc) ,Վ%paO3wGଢ଼..6Uײsf`/WANiDz^܁!gHOK 9T,Y)`22'o ER 8TK*ѩYD6P4Y/ ϒhK7Q?GKs@S']4reťprnω3$Ж^A@2<>q%GFA![П%KOfb<x}Ђm%ix^QNoڶ'm=ۀ@Z54ݔt^%xԙL!EA?^ '4ct(o_ GO`3x86a:Z:0yd,KY 5JNCfAm6'*ZD, rA[[^U pkGn1L4) 2>&Ů7 S03-?Øe`Ǣ~)q٥ZnK{^o''-YiN⛃ɥCp}?_|0|zIz,.҉c(:U 4p)V3AnV^2qEkn%XQwG-L* ~3u.̊@Hfc$/@˛ԶOx9_D? eOւɇ3JCI;,Ot4Fnͮ,v%N =QTxd[N8`W$ZhGL> В*ZU@M-/Ey5<_ OXT +[U>^サ"rl GȐt[\ 5b;(K?",BS#T??m cR2|:l( ^/I۰9`q ~JJ|^=""ǰeª+n+`p29L"5[I'VЭH+{i°B`]j[QJtV9lER[SnJ [d0-Kn듃y2jQ`wyCB'3B`kNLH1s6p^~љGg$ᥞvU;+ ?<i/0=yjw|q`Aߘ0vwr}$>h@9 MBч[늁$ b +xo%(e>C;יִ,*K3Ut@(2oE$_ih#IwJx [!?9q"4l5Vٟ) ^I4 omNiSv?t۰#f²T!aO_i^߇XT7T\`76Пs3 @ qQ"/{~vU#Eլ-0ikik%^KatNx*tIۙ9o؃KUx-\Ӱ-D/,4mM+%|q tz"I*nɔ҉'F5=MR_«\Wk)7a՜e}v2@;u $4OHw;ܡzApv ׅq 2j߽ёWJd7:>I_'8UXԱ1a-'@P( S. ,Βqi,3,.h8,%vDuIu8H9 ^4q+#)v]V ƒJj |uJ5/\{b&8U9.$ o6sN@Cۄx ?^e0~2 |u}Jz蓘(6%n0>$GE 0^6pàF .[FgI\=WJ5ő yݷpkڣn|S+)jX|(@D&A4.\kdS.Vwh,F%?pFEpUtRpx*Fr_kzq RVۂ,)^ 'yإ]i&SL ` R+D |:o/ToL2aL&0ݓֵV lYf,ƭ"ei4@MCHr :­޿mygw^idU3KQȜ.}RɉW ~jh+.J1QM):+[{ ռթ >4H}7ʋW$z P-ͱJpp0;#twrÖYYP6jhM vY4y$7M_H4B|p,", a‡6ӅC`~ΤefSe|n5385x[\3I >e$GRod]^E8u^hZ(2$ͤ',.c(LqT/+^Y:^G)KB˺q(7j)1U 9HqVڠ@y򠣢P3]˪Te<)Vyn{:7 z)tp8k3+,W;bnpzc Hg vxƄCն5g۹pa)G` v=#]vHg8_I'66Na#NV3GBӖiUƠhRk$ ݞBdD8'y= hΤ(zaçnJ,gf,*?" Kv顲o9+4ۀ^N7BX5Мo {Lz}Tݖ\d(L ΄:la=NGYP9YB 5"!̩&-lnR r6ŻART["ʿ DT`RIC CͿ'\Sxe{}P>'>vm{A fϝ$u-3qG) I&uP20gՖY4;[h'XEX,)VsuN5_ =gWzO f?c4Ip]*s)1_az]/EF;m+!U6djSnDJe0^"oVD1<됿e|7W􃵀~̽ҿrnSHa[>!_@SI F/VM=#5bz,VjNA Oki]/WCÀ(:ĕH(i0}oN\㸖י@@>\+JpFܳ`_KeGgvLv0O[֪^XtKcʒx1fw( )B-=%llW fnG)ĠvJ*vgC :'-n5\/3!q7I=}3'Y3Hq) )mxBln6v0EL*\o`g3ZT=Z:PF5^UWX%sD#*Zģ(gJrWpgiå9-MSZOXs-5.8ŶёD9B91 ?cK4^d*+R'(V$=jM!z0tRsw\Ѕqao(Nljldd"Ս) ;ovdiP(F 5Уi HS[Dz_s+v}2; QMwN_掅^hC 6/*Jo\XnIQgESVp5~/ǻ((#lNiYO9>[~0 婷ijWv@&I!w3 3k2 %Y[~H,^DX#;4>U\aq֩>kEKmJ8$8>h7XnͶm)%j>32%b:t.=㞭 Ē,1$*Y3ě 1qN ]fh;zQE~&[bg) m.X|i)7B`ReHwiTgJG]Kr+Wx] ׭QzWOkYPڝ/Gށ>~{9c_;4[KX " 0& [/#T3ЛJ;r*":;O sI28@ dٙ}oY_&_a~#3^,2gf+M%d[B^u>ײxEi ,N?Ib/ɤ;\Lue D =ovA bd^Nn,*#!Zyl 47KBtE}~ !&iq3h<|IkϞT| 13SvD-٘.Ea΄֠.MLf3s9jLBJ]94_ w!ODB+g•(ݡ;nвa )٬<~ v/@dz0Yr0MA\M<ѿ.s8~"ݾA<Jۤmw7RwBcbxF&==ǫ{ijzZZԱ5Nr4<2<}31j{m;Cc? ÷(y* ZԻ|o*hkCn3CN 389~ݐ# 4܂*ƧVVwPbB9\SlIL+3rMpԹz&E5g2n8YxÁ41ͮ# =W\[ݓKs$#zu1(}&wv2h5SmMqnE2T<giϪ}P-58sV s=nG֧TI{(\ N :Jk\`!p;s/1g ȅb+dDN'SsQ,E%k_1;GeX !ʹ=jBPJ$P0Ȼ#f9V 3'xJ _QYv3ߓ( Q#2ѵVU0ȏهK"O5oaΆnWPp"zE{e0T5s$Q$nK* ͲȐ{tWЪY|U;mR zjg(X5a0$qvk`{l+n*;\UTëÈK06x9ٶbC1/A^+<ԈVi Ġ&dmQ|“0kcKM#5JIzV*j0ƃ>Z#OGQ9PNY(T0JwU$zLC\ b 6cOaX:z5I*J<} ' (, +Gr+x(og`{N:Wix) PI@8F6I խ^rbLRzXqj ʼnp`V]G*m|U,(xBa6a朝OC)3Y8- $=;zqBkcVVAI`H?7"A̐@)H^Ml,8bQ'r_N %~g!HS$CUi$¶xVWAJT]К;،adx%DrG m*k/O<i<$,u#ե;%V"`?D8{%s\!#sG,+y0yӈ/NkOdHyPIw}Pb4y )q6Cx=WjQm4HҗlOU{-#=hA9{S1-Pm6Jy\@7)翠=|9pÙ2p)@/E}FB8һ'4TDMƑcaD>sNKCHE"r]?Q$[<*׫ aVxK7M v &͓nrX_C'%mp7^8VjCU$_lBQn?wk8ȷTTQ VAzy/sȻ/u>fs@Քix6Ǜ{\Go&Ss|kS7P&S| ;ST(aDrW;uXi!ۃBJ0q9tЕ#Ɯi-9c2`AҚ~ɭAGt,XHr h}[^wZс\P52b9R^$[;~ΈxS h$VJV-xy_ Ԩ ,EBE]RIo=ϥB.)Jzx?y*F0 T˭7| dzEXJa7`Mb^J&+p FE'QEN+W]Q7j[Ts NXlՐj Z\-k䎖(7^_h"޵iG/4>> {}r[ͲX`Lr9}F~7a֠uD5/h"Lg7_xC p(S BqM~/'y#!=Sܵެ a@z|94ON&sy.7(*2ïI9Ec6,cWGlΓ`̏rR :aE dlq XTq*RmyT}Hj(Ё~gz Ayak3v>Ȭ2(u({b>w#qWs(p"g^|Pw 7ގ@'/qU4xF 1 H