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 d!Ll ]]]HOL-Proofs:threads=6elapsed=635.944cpu=1514.252gc=247.548factor=2.387zXZִF! a]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^rr8eV&,ZW'GCnƦ"2=gRk-ta#Z0D[R\6&0[2^y!&=/R(lvs;shr\1uau糑U2L; EڢPDoU R{ELl00Y럕.R2P$ ٘A4a6LquLjQ{5[EBDΤߴKE*B!uLgg P-ӜLj+r&dϧD(I-W$Q}9+w9ps|[t݀&~yQńήǠ2yn(J<o%JoA(*~f = FG[Nm{*Gkzt<ӲO|Ce+`.4?0 ˼bj.2x]Ho=EnUt dѮ2Ww>o'z'y|ճwEAW ! HjC]~+HkDUY9֒;]@۪UY ge/\O`2Zbk7O NU6#s6QRdH!OUQ]7bgB#!Zwὖw[kd?F_1 (~rb"+_ ?aS=`-#:}&$v4=ɶ/D*]AnS|MCM->LG!HewbA걎u-H& eI@rQ@h#d<)N醗pn#"%&is?W(_oX(@Rd/κ⪪ex`ɋ qFR,4CI|\i?vt/5KoؖцMTP6>&Yk<&Gns#W€ Mf" zB[U P|kڠ3ׄ5{S8.ۢ.=z{&kx,1p%rnEE&}^//}za7X̊6,_-<,sr#QG$"؃%K@E/orvv08ۦр.(*_-y\ٗ@\HvSQ|^@qEWi?5pN9WB}-Fik=a\g?px 2l7{YQ5/2++8zM\okGJivX v>r4(%+o'6i-AfRFt]]6{p[۾k`Y[GQd=Vr }dcQ&WzgAmԀ[թ+2zӃNZr|¨5U~׋2>nr2Uw[ ״_ԌqEc caTǏTa'y&nIDE#c5qsi%唏u/%gPS+?YC8ρxT63t>S= ,V^& h"|cZf h^  ! HOL-Proofs  xn>vNN52cKօ#XgS}x42ï&t{\)-*|Ua֟|0nyλ:V1ɃZPjy!3ώp=ǟeZj#n& t8[ >1aƅN]ԄHpsG[Y?%T2"1'fb,Ívs E#)&s+jإ@UkS|By;㟘A8Dzv"";~THϥ8Y^6ȟ0r#v?35`mHP^\P S:K*4 =yWk.PvzUs\~slYF(S+xP'كd5B"$ʟ"Nbli$pSY&}5k-9I-Jro )zPN[ÇuY6 {$g /S* 1tY8ɃG>{"Ǚ?FnWHɰɵkTooG^l3fnKw%a?Y2bZm > {9Z|FwQ; 7oJHPʎ69`0V#w6Q-k_PE,Hgp7|B]xN7&3o !* 'yw`: j;u63,3E%a*D6&G*Izl/?m+&[x +,? >gc*OfuZ]럙BHq-Wf<2*,i Y3{+2ˤ&)lܬ,B,ɧ}9նTQl?nvtOW<"0El@+oXΏ*qx n5~8?DMˢMtvq;6xInfҗ/dfK# ޯ >e{nR?o6ðɆ bQDӒq¯AsS~":F==ͥu: #ͬ Kbs&NWRҐT~D>e=LE{;G p83rKO%nC=W i^  VXǐF'nY`/lf&d2+][9R vWډ2b87)_+4%1uVi#{Ȱq!_E=':W~x*0؏e,qٛ;ײӢ--8)mT() &ہlPu*^@ުVtt/SC'1g\ixAg#L XW+? 8[Q" o=%דŇ}vPFF6F,NX@ Xj$.\ &j":$dt:؜RQA᮳\"vdU<#z?/3(^N/]֕Scb|3@R^3֒CeC9$~igs#(,'NdOIR( rqM@42g쨒t/pzsR#<M=Ui6Rj @ Uĝو*)W"vH'Hƛ('9} 7φD)A܂L{Շj?r`lU_])ɂbu7S_eBB/%OkQ\@{ a(:?gU/PnTĿJɌ(8 CyIkgA/_){K7R1X HfׇN78YI4mJ ?4̎P]_ aw'L_;R )="vkֈ'8;kAhi ogB*۟8EoH Jp $$X <瞳Sz|YTMZ#EKaA WVF,Ͽx/*k?!8X$Uv ,E 3 7{Ò[ ' Ob9*8 N ?i.h!Okcº-˼)MQM]D? TK;Df҂sÔFA Y%8{[MR$V^t 3>s/LzXv[~DGレO*b6f? t CZBb$"UoS 5g<+NAEZULpAQimژPeŤ䳭R4 (RWDRrCuOt#,IvUd]":e'd23Ψ \KփcoYo+Le54GHK\ :>l|D!%TQ /c;}޶Gi\/)rxpx2Tvyb: ?DOb'/UTU{6`8R1|K@4Q%SOHۆ"s"{g4ZlO-uH#%1k`egV|4˩k'fHocmGvFA,Dex&,Nicw_Т a!..N eZ_\hy@fqL:8V[ B젒WE<~5-+SK8dPܞ;2AE@ ir% 摆nY^ˏz돳=:-30P?]Rr:_Q&ıSccM{4v M;~'t=: ظƈSMБȍ@4݆MS1<ZN1¯,LG cr%joȉPx'حh+_,J[7 f?qt8x#p:1a/(jy󶭰}NHݜ;m>ņgs^Šڷ_z}.2A{ڋ],Uh=h&NMmf? ȬjWKߥBI~~cf ǏSq˘ |cc3_ gYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!Bs]~Z 2i93BJ$TŌ9&%DI޼QY0\ioU%0oSCh!'TD戸0ZKoK%0`b5JR)ӟ.$ )P{;WW|D'.PԊOpCܰ6MG2fYg1J( YO7ʦ"䚃C62p::' FjהYvMlyCW>Zl%izH(!N , ԂY-B]٠ark{NsʱidY1Ž5ϙ>lO*(M&bRZ7L5#? Zvy>,~^+g1|~# Yvkͣa3k|4&,Z؞Fl5ɔu$B?xMs"0LlP1:Ã-!ѺB& Y#f35) vd)O0S?,t>)lN ,5YC)\H{¢v=*{T>{:GS,Ǔ!&~V(Pv9+xJ[Cvʚ@W0Db|[Nɨ9U>*_"nAz`;*NbTFTiz0((ovxA+.mI6hfoÑkƐ`>G??]i▣k l|ƂeP ϔ4dG w2O nȪS8鳾}>*u?"-a^cBifCz<@}~ɺd{nm6qMtş Αȸ{ROu 媜U QY\;6yw +QΪY+cryd}*bgBV(-'oⴠ2.?2NDQ`U^WiׅY`fN-v־׹NةәY+DϮa.aRQM^*RWpV]Ëjc'tl|7Llm]2B"ĥ|%o{4^K@^32/ݳ,d['&=Pg *;[ [\Ej r 23?DVr 8 r :&H !-5?mkB4-6.N~.k4[Jg;mP|$hT^,xz"Releҡ *cHN_(]_V0;=u#%܈?(<۸=)ߍ`|Q<_k+~Z! v YKu[HeiJ%Z3ʥk_C~ yr~<*i*[c=e[?JNjr K)z\#&{{ٺ*LW4=$;uAit'˓\Hc[Rb\Δ2T' as@$`bb7c.]\3<w[~>6\~ckNU_ht[6 !*_ANQO S yj(ec) 2ȱgYZ7zXZִF! $w]ŗXi%@hppǂf*ƿ<9(eH--L_кBzɡ:sS%N7t7AmO!#F4zup騲anYr҇=H9kJ)ir 02x~']bW1 "ۑscvHhU+`h%r$اQ3瞸% kyK]3Q3L &Sb|~AS ܗ&ͼK sMtyA5v:VVQ7k@qIxt6i:$WB/q+TCwi֦i,8U9`]9T 6'{_}qy#L'/es-n_ؙu&ߵ(ɦ9if^Ev}oj^44fVk0ݗ_3g_ vně|ӂ3 ⃦`hpL=uV7FONynB#i'kHyжO S^O`(^מ0-{:?9GA*Ui~ï֕v0{5M9~%Z3STrppHetje;Ӓ)v`5&2blr˜&-X]tT3+鐿(L$)[eM#ˑ,-튫yeJ9fJhUݥ{?|+b0 to'3bmg{_!~gDgM?iy9zO5O842;b[%z>lTń4!Xp15lioI#]~ w0@\,uIxBnW6PŦ6qRt̺M,w yDOؤ~UCa1B +V{m\9q3H%4hˡvM2oא{|TKI6ǃZz`+to!cbR!ۚ=br6G xpTs鐳4xۛ^tR!+`b=sEmWI z JdMKl7_=y4nά!קj%[tNU{җN2ͬfHJT@bE-h8*9_G ?CZiUks:KzҀ;=2r1e+suyl;!0ml|^n8d,q@9fm$U-WˊG\_o?y54^[^Z؍=~qu(wP5ٽEp$HB3xFZȣJ#OQ(% ^ȘU6.fG[϶uפwyj7-,D e'^";7|OPu⇤҂405zxLk~2B=NagBƦ,ƔpGLݐWoEƉI|$#~|Sr `{( AYK@ Uw$\3 #:< DEvA Q V|fi)kSMUҡUTR,sd._j2ub`%t,yh$D4I2R!>86n180)CFev ] جH;뿀&1-:LG~.C١h~= PQp9D9\ lCfZH^DX펤KOj]{w;b\LiȭXp<)$3q^⸱<ӵʇyG[!R"To}Q;]N@|lbR!m^`PdpvmCS|PtBtԘXL8ڼ:;#9+d?`&C&z #0e`j!3ADS" ò'\na͐>"bc̚{Uo [w!ᗯ*f3nf3cE-bg-w :yԭDV}3M^)A 1`l >t@w @MTZ3aТw`^"N?R (&/eL@)1 J@AuE"t 3ō6wWQA(g8[ZGrRBCe7h͎xl5:ColV!;$Ď-o`$fi"FvvFYy>|W\71b]mU4 h Pj $J3P+tތ4RD^rgġ^94&" 2^gEKT"b㹜h"UuUzsg*pꦼ\ƏGc{ k0ml0aĚcBJ@wE*GkagFASQ&ЍרKXq"Ȉi,K%6*_&Nuc)i /<H f|PmpϹڎ6߁7/b 5~ѧi0v]vΣ"ʾ_tD$n3c%1+ŧ>9sRUfF̳7![e*T`gcAg4ۂ(xZ{ӾQjC %^D9,:[.%LmNI&2ysj8)_m YhWPXбlC]IJV2UbZr3n1Zl|mhzN%{+? _@헣΁>Dís88ؤCg/YO",6MM C`C\T#VA6xgͽ$U'~XZц T> &!5?x阔\#!3y9T/`Ϸc}W`F>9i~n(|v["."P l/|}5VH@JFy8u7YG/k< "?9eG]vouM- &b 9V+Wǧm2}&_Ķ ߐXX~਱ߜ ud{mn'a ƒ?J-)AH|J~*2rmѵ7M%䀝nL #~D6 K[;#s vN{FbFiQ:=̈́}cvxYOA!tpk&^8g{eݺRlpiK_gPg;7NQD$Z HoQOn J=w{%Qfuhrv?L.+v N4HM]#^?ԅB_XDS^ T$GLz=kS\S#%|iL0'J߂ ί+kx|lTUyi%m@ +C5} v*qG#AMRKaE^YknqHL-2%>=ٺgoOV)"{uיٌS@W{c:COLwa2Ҟ Ls ow 5n@lZU C!a9h"eXEtm~~I>V7X xը =vE1U :m߯oE G,VcP#bNKv䁷È9Y>H IlHVmj358AX,+>XZ 虜897I۠]nZ+r`&!iz۪w !'4߹pybU_*=F=p36ǒs*(o֍\W;mIa޹H=m,x>lIyIx*̵M1ewrvYe`|Zw>QO"0K5XiZtPs#.Py^,#[oNN ? qް)YOD~;0(I?,=G/U`OXGM pco>kyOY4+9Q34X1!$1eN-Tߴ/7GȝL8~Rnil'K$5A|wxva"I<#h'1HEdnTe)|tA priG˃egjS\8N,u-휖o,Rv$d%a;5PIQfX܃ .Qs`b+'NUI#jDwл~9gUnMrʄO: "x@> 8/.B/xumQH闱Tݙ |KLxm_1D_W\4D*An#.AT=mHui'i%i$)z}>y /}ϭ-\ ZRg/SjpְBӲݕ.C[#\Ly KE/gk›9xs)vA|h+H[oC) "ڨkvll}` *¢< 5r]q$8`*j!riJZ6&H^f?]DT)|!M3с4,ˉ|T&(鄑MGYK9<7hƲ>2JJ^7[gJ}%$Wjƹv~ܱAڅ2RB0%#BF㇪A#G.Ih:Ă6#^ϔ, g2Xƅ*\&1E&3A8➓$ Mjb xZrUjHkAy=zՈŬD9=2t+Xm˱AUsdwŬH*?a٥*"STiQbMuѨaEE|-"نbA@DolJFEÎgm@ml tNZ&Om`*|E迦B;i Pdw>ONh}|ֿLҬTצ/@A5ۋ"Γ% uF@t9_濞MvT?eXc`oJtpm>a d$_AنmK БOAӯD%쉒U+&<]ιOYע>Y9d6S@,d+tSSY=#ZO's"C2]+c3IjU-m8Y>"Q\<+H[0[ЗdҾ@a!'|dZ,5[%l_x${sѿAXT? .!uZtW\hvA=v,Mֲ3/)Bye)_Nz!!=;CSp\)ku v`97(lGQ?^3pE>A/KSva^ax5&ձۏӇP̻!/_qbz|tS7Q;=G r 8;s \YfftlhBw73C٬LXQ`{R!3t.Y/zP/UL!wo.Ԧށ&r{Qǚ,1hx>OqB#fE5A3;N-ư&)m(͊4qGyW'vG f;Zu79sS/hu?6*BWKu4T u)`DacC퇮#4q!#M ӱ2?FOÚ=|z*f'oz_deV!)ՙ1AʱC}c".e_>(]Tit@+mD9Z2 um VGN05az$T_۠L)x$ 3LG}V`0$ u&ޤYO` 9yfo(`He(G~aٷk`ٽ N+3>6[hoe6r$[9$ˇi7HdΈM:E׃ݖ`ubRN@_e=-Rl [t4 yjVP& 67N-P1["wN$CK7 &Sxy;Qɷ'pbeF%t Zce鎗pv> @Y-, v0M嬚4h8h$xTmڌW,c]"SwTEtG8(2,b}37]tc3kP?adm>eSfUSz-oM0nv_^bГյ:ZT}Y:< L%7#i[xc@ C>Qs|ggP_,d8&7Xj=}|Ǿ\Q5T #f.:E)<U6ɭA_jCqaZ EV3H(g=\tY0_>؉H}>WB0ʖÊ1 7m'aν MH#CbE26/T!fP /׆Lte{'#պ4jdFacKaW8'd}U_):9JJ#uQ"a\1SNz(fr* ,md^(oW*U{A51j"咶~''Y{n'l,s斲&'kl1"5mw^.(,O{~/1noagZgضpç!ɑ~<* M4^:;K#z&u`7VZt M1 5_ZAR|*qNVA7j0m`4@PBjn4%%<=6ʼrO!Y<^ssβgA13oSOPBrGn{ӱ7X | BC+UҪUۓjxF8\!?e MR8Xmm~2˂C]$6ʿ=VGAα*X 3F})![FLY윸5ľr THOREv{=9&aVӊ検V*㡒JWK%P]佇۩+,{8ѹ7'gN9}ELwFTpk ]6pρTVk+9Mh;¯Esnh)H372g G312F&=,L|i Pnߙg狔Ѷ1~7z.%ul BBk+[fOr599GP0k ,wn?h$ `Ya|\sicR֏O+xx b' Qua g/nQ΋v1.vֽnpc`k䤏PڷRY)p8r*,ژ]Lf3{Q]Ԟ;iN+sZ/!&;~W].xw tj/},De4 cZb&2lG6(Tx1)sz[@i,pPp~&]K+PH*u(ž. ݱx83 pkr;E"K|؞Ҷ̧G:_2ptW5XgQԏ%aqrfkB=(||Sէ,H@~ўezCNsw~blmld̀g[6xuҜ(I::LLwwƛ)ԣ9[ ;jLV> .ҩ?a㐈ҧGd3g`d<;X9xh8ܿzyQ+M˯-UVdsQMB>+o,-N}y!r.l/5uw V:mXFO䭀S83{E#EjΎ2 ye\tHSK-!kVڎR{LȘ 񫬅5hxdCnAI{RW?DU7VkWw0 p( v/#Z-HE W-W3Uf u)Լ0C`Mk@QJ.ʊA!wS753@2PŸ4cu E( d"wSrd ;sjqԏX)4v>x˰GZ>GuvVa_na %2|5 .1+0mW1=O=@Gn3ăQ mp .T#{QwG,~ϑ.,m;Y$xN^%莕Gw[fbYR.}LrHbYԳ+lϨ NZ )/l8\arݫ޲4E͝}HNH~/3^P_;6i3M]l'zafs ~ᦄN{pO U t!~ďΙ:fGD*Bɗ\5\?챏\V?f,%L%2<9ql)Qq9>G|>{Y/H~ ('?34Fr .ހXػpA,_lPSXEalʝ&&zZ5s%n:LQs!:m6z\W3B}%^ iC-fnAܧx"01!fs#_a9XF/OH/{V1=$:NXD͛ \h ;sVvנR?F4:aD Y%z=Ee ƏbՑeV?V1_u >Gd :lZgl*cf$DJÒvŒQh\gp 1ƨ}7M8-^@jdf=-I$i^G;6tPht8+cFcY:=ˤ5N$[0vY>]U1緩OCK/"ӝ=ڨGlXp4;9s+0-u}et zM ,sMg{!zbVdH;~hE'b}s81Nw`t(n[[J ϔ;nWS}aڄrg佑bƆ]:qj rjcSD|= -Nh|ՙK $\=QomHwt#:w;D-8#֬E!m9Q;ja55bzycw Iyvl_.B2 >vHoYPmQ/#W5 %bMrz<1,Y}ltuEUg]eV*-y+/`#zL&34 M[Jjl#9vGV"8]t$ le?Ad_y튐9nLhz(JO:¾юFh(Fyk;0K!:sr%snyT8c80;ChɰS*W($^|,YmȄ?zbQ,LwsT_߫H[M -o7u%8%1eY u ;#pghɱ#}&(q zJڌ#t Y<]7ˡgQ%~Gٶ14pEAz-aؐ]w\!%;!V X(Dͮlb|KPKT/OǒȞg U.HLҋp'-:Qڲk_6K 2+x~9 D]'w*|P; 7+lߕvL0N5 " R8We'N9 uXqAnW  Q{^LgQfM -BBc:nIb̙ 2DnMQCf VDitE똧y'+Y@yNqT0fUjC&WAH\1.=ZWEc$85}儊Y R-tE;)dNi<:UCN)h.Ð稜0w0?XMjn6uo0?BU Gq{xb2H~D/*[Ly@WBZ].UbztҥaOܽ:ʸ~)8Zl +GF[ټa] sQ7 lleKpEmDB8DyVn?tՃ-C?M8NOVf3b']MEE(@LѾ[ޝ>ې=#XD_x:#ChxD: yg46N{|ȃ?|`q A#;S^x +'5zLՃQS`㬈i/O *4xBծ-Yav陱Ч^Fv* r@9_qC~.q/=L܁1SNPzu8lEQ.59 V{#jND}@g+;s"B=dWd 2(yL) BqlEEhaz#V;V'$,omo"PwTw dCi3riv uZPj.>O긌N_!`@c6Ӊ>|Bkx?n:gp а>5% Fx>$O|=&K \ y-Թ7$[* r67H;eVe=>#ރ>\4m MR6K tR7kPmoӀXXtay軤n(澯$ΤՂw'XUU#0Q/*⤔44w!8lM+V$.IC[5(=;f?uis%x .O5>n0H+7m[ds0ony?60V٣Ö:4yH;³9op#b#]aeͳYچ 1淈 +Ŧ-sq76'~P@N»aI[?x@;5|Bzd+R$(|σ[%ꓹhx Ae1 hYy%A ' 2+Ɍ (n \$2,žc-˪&l3тfu"}yGc{{DP?L5MӪGq3 '=XliYxqeD!; ;ia TW|nU]ݞ QUkf컯n^CB?Ư֦8[}4ȾiYbJZ~+͍%o}K*g}#cF~{#XCaFB< ǭH8$ns.Eؘ&ʵ6&L=ii]r? DGܙAD&Y=Y8JIPt6VƔy//]sZ :^ݧWE+R2D:Y)$(ji VDUN;sl!B$mVC - E١9fgRq,_lL Qr6wǭ "P,J˟=y M#G!h , i d7fs iĉ+W@u){)S8 q(mNJ-Fܓ$X3s[aK^/W9d E;cp8Ay?; OX͛;KH{1]"e;+-g![MuBW+ua ~z?A+ xr/}ON²S֊Bpf xMն/~TI7[ 1Y%Yޤ $ɦtdISuݤB] fci @\/ i~"[Gӻq$S$7e9c+s"KY.K _m0GUm{qG 9a ű-#+DIFld,%+ܶ-m7 @zet5Vz;8ڭ?@ff+^c Di^^|]z8d|Ewx1IMi;'9!'%@KPsT|X𓐸? ?n %Kl|Ȟ(s); j}%M+_-ǰ#.D)"3q)' 74&c~; &|$- oNy Y_bmh 0ضG߅ࡁ"3v*X~Ryyxl"+`Z2ok9(-`n`hnQ)\XI/XG{o{i ieZ"UB;J@A[,yF4Տx=xejdo^, QDz_za\..J j<ؤ}gL!{^p{Qݔb.zwc}f򨚂S +,Z FSr/$j kj9nѫ(0? J"f||z=aV164xִP%k}w33JZgfXe 3acH фgvgVhƊj1 pI#5z`~Lrjx<<*8BNI>Zcpv0m4w!܍nX3ޥXWǾs!yU3sTnl 㹄Y\L띿E ԧM9:&BbnON6zAA]uG^Vh)=ӜYa d" >  2 )`zr@{[^ާ8֎*j 0cDD)_S_|UXX:Akؙ{)4x?aMkJ-*]PV!wpf&t:O$ک?]ё'py/v6J@B8\ho+Ge CzqES϶ ۼiʠV`+FIGjbZ>|pQeo5.2Ui u &z@[63#$BY[5C/S׶xXp?|WCk]۬8hݢNā~5gvb^{ҏ~XbdNM@0hOuguDl[3ᤃyÿP7l/ZeF!{$Qޢ(B C>ʱΟ -IpYnIτR;<ԫ4>S5/o"/J8Xwp7$v`OjAh58kyl )R?I &znwэl`[UPX(*C{UW3X"4ƦoYғ=26w41ŵ3P G]ZcxָP7)M"K%6M3wL]l :!gi C[Sv3]O-It$o0n`UY;.j+PY-wul\u~٭s@D sgFxpވ$񲆧&]tAq$Ls7hBi_D`ؐykww}S ?Nnz2~-<=~ٔj}ӂvaE zJZv$VٖIMQD `66ՎZBхZyq4 TGTH M,C%/C maЃb(Sʰ 4Q$8n ܳg2g^+26֌.7 Zf͎= 9{tGV@:#< RlfAZ\D1vxky~Pj"^@`v0Z zoy2,pJAXPi}`3ʋ-Z:?Tt0&| $i9- &j롒 d 4QT˲( 3L^PцvmS_."1>,-%[@v:Y TskyNCk=<6 ˺E @|J (lμ`*Of&G(@?4+}/jEHņ<eYR.nN#8XDT \R(<6Z:,O` O1@>czzf +Eޙ11qʠ{ĻLS3Z3}p !^Qw$z󴊋kޑcOGzV!vj É8PKqQQh1WBN<֡$C2:2I(jx{:{S"UW!vIeTrt"" Fۂ{h)75E݇d"]Ư`DYGi>֪^b8"/15.bOD G|JCа!t`i bl `"N'TٛՊ!q;޵A0Fh_a%u\+`^~LD/}poI*1tً Rr6K ,nBFiصC  *yTy^scl?L7mƺOiXq3eޥyUtɷ,pӸSذ.a 轙m̅34+XGN_ "jh?[Rxg -{)†} M[{E%Id|K?lE8Sj[]J)揺b~ًfY=p΍ƙ$ݾ'35\C0 ?&ZV~ۅӵIS34%;x$QC֑z4'NX*B)N0*e WGњ2qo12\[;;u_UAkA="} P"}#R 'a?)I[z3s,e]eh+^_!pò26rQ6jx cp2%'_ h?ln Z/d O^g0kn(eNU;ge ף-{觧)mCne]˺ֺ|!kb0L1K.GJ](r]ll( bEJmN+JHg13s ΍_gyaiJ^$sF0f"w|UTmr]I9&B'rwIm9 ^DO +K)1pO8,+-i^5 qJyT~!.lDzs2bĀ9L-~kh8" #n^جZsqN'B.0 %R$IZ:U^)nQRc-fD)Xa"8o)͔3uڶ]4CJQ]M\XX Ĭʧe4Cڹm}6͢(@kZ0Ҵ ݳiͫ&oVDXTQ>~U=)i5o~f~XOpw ^T?7h\jwbT , ~ ­tA'._RjNͽO4Z)_/dhT!lqyה%s iYVl9l ֋Clo*V5qbveJz8]jXT~-HF}~ KY'^ ml3؍> xkƊ"Uya3ߠ|9s9&}ռYX[[=II4. `b Aǝ<צ%{ `(w4ּx=H.W|1 8wQƏ>'ޯV+O9:xU}i:Y6WvPdrbZ:0w=\u13o SR^Ŷ<#uo?i{[~k8ɺGXJ%M4+F9 $~&j8 ̚`Yo")к ֖`/+ VB}Yf6NY"]Hy\-H[ZnB לY 18JS>i?o?icvc"vӜa67#ܽläʋU #e*d~kNFKZĪr˜<,-57)s@wܢ7W #zkX F_F;"m 2l l^[l˝46d- *5( "\aa,+jQ(m~噈PE+2̬ዱbhs+3J" PDT`9v1c=v]墦ȷ|2%Û 8j&7#d%{`-{$̈"n6."݄vƳi 8{R}sqfNS*h{30e/2d`%E57XS ֵ upg"Etīl̎鯏nv^'y5Ȍ+W-k* ⯞X6 {^ @s 鎣^~Q^=,['h jE4 \ WUR񧓥ӹ-f?qyJI<}/B/+Lg ܷHyw%Zk3>&͐Mhn>1";c /\ғ3uڢJ bFevrL8[3p=qdwte1]Ok/{ (PoP~19Vm "AhW/5vm)yGe}yZ20z%z2_,Z;/h[y$KvzۧIaGm2!:i̋]=h1O?5q^Q(FQ-/lizEgCÈYVOo _j >~m,M̩l8ff>0:8G76AIݥm8[32ڠUk/;">a:SZ3PNVA ["z ~lb}=̻J(13|_t óq*3<&Zcʄب[h:Y jӕ3lؒ6?/3YE)%mf%J)_O *}D"i}SRCѬ@ZgDӗ fg^a#)ҡvy\QYX :व4E]K,!}@xJ'K.Lg~qOwCx㡨"! Vbui"$}(O^ 8>~ֈ^x (6#m uh}u \dyYt`䊖"!eȗPKR^2_[UL59t]c, [h gQ&7҃fXF.rÄuW;?a cN݌N7O@/GrM[KV|Q+8-dShˏua\O }YWOtNd4SjR@NXrjI-o@r``%;zmL>eE_%':[Dl?c8m:-,Ᏽ]1H4 6"͆5BT)y]J9Zmїζh(M' zX6]hjۉ n\Uv~hP9 }2}qB$nPc:axW&DBaбdWH1s㽷k=$Vn!g&1.ro r [zZ(9L0'/a8\*K}nLiyw*pmWtVÈ'L3a\#'l\=jZ֗=7aFq>Y8͢ 2-^k+EY0ВY'R$|4Yw`FšYnS,ԑWIR"{)S+s#Zdi IE\)[29]ʆcBOTn <c.$Rc܎ =rlM f4]ԑ'dl9rfóJnHj u,Hjשؒ7JpZI5`5fĥ^1ҚO:#k@eNv|ec?vݨ͜ѓ23|8dfmIc:Xv$ʌJׂ ~cnYL卑`$Rko@͌$6 fzj7^"0m#dOf=X9ݿ$'4?&.iu?*K'9bX5%qX`CB&Xui[ǾWA<46Cxo c*0uU+SsTg jOTC.Ah0CC7#bqi~>FiнP=1_"o'hM:nڳO"0qz|td gU&5ޱV3n2ЫтY,h:#3 <7T1&/BPJh~kiܚkl?&4 +hu S`#1\o%w .Ni24v0 <{߱? /F<L|l.YFeXcN߉)LdD(¥Odyp-1د7T>͝wʯ6 ú:f$5 {*l@ˊi<2l^Q~ْ#~]2VN( 7t1 W9UyjۭTOk_d2ǦZGM+>~ ~Ekѱ[g9о/p C2ԃRO64!P&Z_@xiڊރ`i\VՐf-F|'\i)[ Dyu>XOnrԳN"dR=*dZ_MCz4ʱ7d RG/__/[̘X tA,0fSH nw2?ri 0UfXfJ2+dy8Dxˑf.3Ī q&H@ϓ>H[i+;0vQ&ʬ#λ6[FjdATB|镣BLY:GD=s^6tYUn#!3tf1f[Y¾7:DU( bR:W00VlVKb[sI:jj צy>tSAWqsb.g],i$Y #$ܝ*-s>*kV?W 23ȅǩwѼ/|TqfMK~w聒eE W85O\IU.r_pM%T) x>7јMF=ήJ~{\qg0Dk_~$?zRylTP"k&_挂ZEɣ>-xHkh&&X:8!=WTÉ f uŨO|Mv /9AOLI~fV'0 KXpמmto@ BtjJBLm!x#{fvJ=NFܷIJH n}9YJwWkw8n.u`$ji f]w&̔]y߷V\lE54o>;QFz|d cgE/vpR}t|jh3P"ӼH}+U!I9jۻBF83OX=D[5l[_C 4܉b6GG$BeWh[Ul6%|0»ZKjD58XVukܤG]1a T3RyjB&ӵceq.h^W1]g d3=fvuf#RtWMtB-8B_3³p$ WMu=}UkGҐBy(οEGB*#3Xlp_` ٕ1VoF; Nkō7F]w@ȦB%sF{fʳ6CG.xˊ^+A_U䶼wq|n }_s[J4`n6| Wm@,-&Ӿz"YLHwRr/݅"1 v8ikàsmݖ@o9׎Ec@D%cǰIJT4|F# jQzy|be@rDSlcQY[GD3|?RTTK'ӈG7R;//a$e:LqQ97Pk#(P[ ]}8**.a$\@JWM2gugl˽O.7EՠSokO&0e~X")VٿC P;+uw6 sj/}W IphbBU~;.7_Ǝ={8#]޻q9ķ2xhLp HJPED<)/3D;#]ޮ%.B)`2(("[WO͕߲v >*<5!"\KuF|3Z䤸UMqp @0F..GL[.O6)԰C\UOIJ$}-Wv*"KW"^bRmJzIJ Eһֹ}pAaw_:P#Kٟbϱa9Nm흸?,(p_ Uu`lµ՗7bm.9Aol&&Jm9/D9KAZ R8#v>%`MCbxzQ˦ղ9ƂAVa*k2ARب6۾$^`'yĎ,*Ȣ=Pɢ*i%<Rf?"uS 4KPD}f=>ϼfnt3g!$bňnEK#'bHցMa#!onMrl]4}ݳxw~EQZpwPL+ndFåToI~Ufيj(UcD]L},}^<mZgq$}劅_$ YLut%i@Z\  ./ݎv0BWmQ5Y]Xw^-cm(99qZBA^hΖ$$Q<8ǿ.uf(1{F$VB+F:8zlbZbIq-a@U7]Nb?+d=Qp!]\;Rڍk fRM; ? z$k̫8HƄc8wfA=FHaQ(d2:ofw*_gYZ56eaa0bda288c52359664d91a2442f4597350cf1fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9ad6c71ae2271f43724d02160fbd55fa34792ef4ce