SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  $%t$L ]/]HOL-Analysis:threads=6elapsed=336.052cpu=1613.700gc=96.484factor=4.807zXZִF! 㼚O]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ]VVʠ3 أX=8d8QƎgD<1k=jTs]uJ2aj:)=]c|Ae2Äh7lirKRI H$4YyRGf5;lДn0~&t,az'r2J%+q);![J]jG{?pf z0wZ^#?&迭: R--O^}Rt7Dd0ƺ}T%Cj=Z % HOL-Analysis  L&8> =cE_ ݮ.qE6V ]Qӈ,Ijxm0!O\^7^M1+7:ƈ;w(^ T78ku1zSO9b6b߻f&38Vb]^4#Xξ]m+^|\e4iWjqc)GK(f|3 20sMDx 6yBēıyeJ%ͦg6I[_4l|(妜?Mt97QT0".Utjr12$"C>(=(6(3 `:d6rr+S"KIOnJ@_n̪as42LjZ&KbE 0Ub;fIΓ^tck`A+(0wH\^^ H=ᤈrZ]vo#B1 8N4-Xc#]ہk1_ Oi ME&է_nQK Mz/mevObe QO#ZRߔ;I/<^鳕 yAC*FAԠ1QV=i~U}t!MғSw!(H9Kp Nn3xJ&C.TG~j히W\oJ;͚dG/IWەmi@Be~_#6y'0S7R5 C$'j?-5t~G@R{G̫  =}!2S窪Yd&.+ ^v DnO5^<̏PAkH٢R 㺗CvN&9wUa gXx\!QbOM݃^-5KK'jڃ GK$t*;O;d;L"}tu-u'ϸyAARZUi1sKn/R0]"XuX(WyUJ򧝐z|ol;k2ש"6,lVvnJp랲IЙ@[e2` MqϬ7T@+nX->`@c)c.^ ,5&oz@14s4xIK@ / )>LKXA=Hߌ2ԧ6b_u1"z,xX@Mϴm@{r2QMVV.0ӯI+~f:@-勅ogxd>Sل_R+^xZ[X}SKSSZbܟ {8*]ɓkjT@O@ҶG#_^-nJ$SOI8k7Ҥ: GM9*6·P(&% Y/QH;<˲"t fh^z-_F >^H{YDB19j,YŖ^̍\Qy,QF? Bո3S?5-p>WbOX%Y՝E*:0$Ƈ+Ch7%2c JÅ\ .#EaU6":1I ȘbYcZD^YqiVS PN*pw ,X_a6zh[l=kqdNP@esGSI7^"I@t]+ ѾSr{<@"-,c̜KQQ("v ?`w+ 80W5[nfgN]0^CU(h #4BxǦ26bevTT{bphd[Qֈ9"'?`lcY%-֫[{rP g平w0Y]D/'ꢊVF?-( ͮQ:pEb<@7:KV! G~P<%}c>3becƑه\f"zYXQ_dkC09c{ҋV1#!HfPu'\C{8ȫW2^?݋D<2\õWޞ%%e2Ba$5] cLVdA[lY9s?BkL&TI83_ r#T1&M~Ze:LkabLI Dga ʎ9k^;zڡgД!-ݖ`qQhQ?9Ѵ̋MӦ A;&wo[zM8Nk." 5:x\5]rȻ5u#'0 ':(2 ??!ݐ2(ìv6g-69)heШI[Eb;u,0 is@^z>:hAj2@ g{t<{ZP>뒫*(UYHuUP=c U.fghxqd,vڀaLh2naɢpy>Dq+oUyzi(8Hl3.Xcx#!30 6hIqԥ(nV[ GaD>bXv壖_Ƞmξy؏{${|ZJicWu .Auvj܃ &CVWZ@M )E%]Ǹ/[|RoX*& X(yOН=' P`;0Cvf9*2Ur0NOx"(aTNo+Q׍2 셨r_;9۪rڵIcGFV~"GA#9(MB>ku 7 )j$m..шvws{MJ{ƈx`b1wIs~.[/Q)~fF5@f\ *{}hrϮ~ZZHq%U =q Κ<"TK uD~q:oabBhU6 o/[|O $:7f޿P\[=e6+.SL|j^2߸_Fxg]::G?(xku!;4)X@xzMDI[(8]prۯoxvMRq ݈wRT68%I8>]!crJ* (:`g2[ !2#UVI]pEj/v)Yjr_aW$p3\~L)mwqނIS)DO'BP6ttuK2a` lB )<sR/̆YA7N8:?s޿b:)/i.m߄4+1t?!4?rC'}%DR `㴍4ki82]( aʅUqw& A*}s@]isAePFCp xQA<3яU;gj+[aXH0ŀS6e)~!8 28s7"kBe,$A/̿i?x[Y{e}i;{NOߊ; X38K7fڔ-,[߆ho['',[C"?Z$@w.#& #BŬJϝ#1/0tڄw*M%bXe"`lsse@t_LpmO4H0t*l]p &j> "Sa]!jj?N{v|Z_ͮ'czb(DZ @O~b\z0 *@O"[qCKA`*%eIi=3H&nu&r{#T{O_ UbvtW $qCYSK $Dm#Hc};7|.l-h.1GZsJ|(Z\;d#飲`(Hޢf ),Q[(Dw|7L^s5I$,no3&V7Ak.U,<&t֗L"vF^Q#J /| a*.Q?l";i"<1Cmjv5Oɢ2ARIYY*NUF] 3:*Wjh9ṴπÝmye $)X{w67Uy5&ްddysN?V!v-o7ﵘ9|㝤iIyw*^/yoޤԸ- 툩53a& ZB-(H irڭm5 yOqó7ף$`!& QO\3ҀN؆_+;I/].4q% 2QG]N|br}ߏG.rjDl\Ro&ɊC7BpC)ȶDFޠ˔b @> nJ~2YBjc$eQD!sݹCOI0+7-Gzn8xr {^_2 s+qvRX1T_Z( ;hp`붃Y%\rgC(+Լp8]7B.'+5d×ȳR\1.fqĥ֛`s<冴5ƍ/U")k˴ ˜)($/q 7ꄽ"m"']>VXO%ge6Wd\כtS' ;wn@cG^x~9Cl`w8S Qo,_i-2dnP]vuHrNJj9DZ.V q=ce@ Vʷ]!a!%YʡMËY)3ihbۙcj :`f l{6QqD*6Gm(ey9&ՠ)}6F8PBG͜glH F/9(Vs":ǸS'3&8|gh@jntEW8p:y( X_Ai|[jo)kuc##>_n+2Bl]؛aL_#[q339V{+4<CPɍ~QDnM6:ģM_EˉLxS&zQZUA<:w4|x`^7NVoP|o;Z^2Jn}/l㒛1JuB&:=04] OH~gu~y% < k{ # ۫AA<*90rފ7w)"=SBȿ%$m}02GL ǪvPʯ̥3)%2Џ A}IN#h3M]IƇW$xHHF,_+#XX#hؤw&[o֞SI1v.&#误RCZǧ%|PՀDD}kXNUwXHTҾ7eW\Cܧ2ӳCXV&Up|կ@Q!7RK7)oHb;1(/zgQ9 Ɛ;gHA0'&ku|m՚J΍rL[wAUxPfmy*U%PYv7ӆ7Ud hccUfϧᗬh]Rso9DN!HծO7 >`s [uNNJ}>k ﮈd W}OnVʠkѦqJ5:R|5&^&;tKL4|ޘV *juFК.I ǹMz6 "]j)rkX󋉧3V7}#xUZ0f9W:c&CȺv&)IDTjX ؆YpsId^j^EM`.}6&ӯ,V(^!Y p/rtDbp.w"GXO-6h[MWO*N"aAa(z睶% ^ٍR21opęp}cN2! {XĐFBNS\=_94ZF.$KTqW1R;~!n$ln<8n}GP↉%8Z?4~K͝?gznҁP#;̈a`>f>fhUg8rPyGĥڼiҨu>Xa;0LY' Pz1W2۱%\;t*QxA-pjT:r!ʯA$7@a?۠PSԚ-ES߼zpg+sοP:}VDX+ĕ8@e ||'ngVLaFa sӫ: q N6yTo\wP14f w>D-*o0U=NHd&wuO8iӍqIu*8xЅYС6ʄ{k-)[BHz2NsEbڲX92 XzCurV=H)*On3-Hfwh+/#H6wVP'#wZg 4\r/p5Ecό#&NCA˂Gm-0IEAH,HLEfHR2KCT)at A35}2< +f,'@>RՆobgqA@O!GT8{/u:MWaQ}BI9X.7ioP D k0ЫM9U/EHyml-iE6#$F]A)T zL"T]Hu2~P|0M+M㘿)j=uHۥ_~`v/}g`;W(|Ewm*'9hu`\w&5fKFc*O)f0iqRq:a3 MBw?-H>MR| (g \ClLe`J>-Y92[8.9HCP\[yd+5$_N}f^:ŕ{h*zZuuUH?12!%nJqlljHM=b&%ؠ22jI!*~;2sPdMϔy=I8%xNK܈%ꍘk)Z¼]) pxQ=v8c,>6!U.#k6Gh*ҳ D`@㺑CĞj.Hj!͈ڰ}=  fW`w+Rj"5 9]Ew7@к$04|>#qʏrh݃c;ڱbcE"l9VSNkDcd.}w6MyrR;1TO9h gb_{ #?IMs6f eut_^CILz30g#+uX?)|9 v-=fhpEgsn~ ]Dqh) _4sS^WX9;-yдB–…g.'/kyi6J 3梌`<@kwJU>fݰr!Y?w3$~9ҷ1H@ @J\/>pEY!'5jIMH=+ݾNmꍇeme7;Q=GP'36r -W^߈9zԦE[X&y[D=݈`)lgsvd E49ȯZ-ϩUz~uxcb<ӊUY,kETٗȧwoX^9SXhυg 3"*Ԣ(]a&hfRq44T <ſ*dV벨1d3|BcZۨտAbɩ9$:5ߙѯ`Iiޝ)˯(#vwʏֳ~g؝5 ژ芻3փ lTK1 ݏc[$On^7C]%5W"NE@T;+5-FCN> %  Te!DC7}@*u*A#NmqcFi@YāFݪqvԢo}笳5 6Љ# ZD}~6%#>/Bڱ_4OH2(e(:(c˟:u- :=qsjP 8Go_>)1ERȘjD6c7}"ɡ6@(F6xX=0~\~5ngP~]Dc/z]F:?_#xCkp>6룫:dS{lبz6<0U LJ>Ftq ̿ƿv%L \Y` H+n/%en6"|#M9huJyq$Wlލ=2m|%\BmL~fbl`=RBSw :BAco9_IXD:v3{*\IͭN\t˦Y sL^:P>n@DY}Tr=#X W3B@grs KhwuU6WBbGXEv%̺\ @0̴}x-ʫma抶3{hDd@$l"3ChF qaӥ&ߡzl |"3ݤ#|38=h>}]͵A"$Ըm|IȆ9aWyJML;Њ OS %ͺ+y 6#S?Jޅk NK.S+Ym'_Cmwq~blfoAykv.qJ NJp]T[]]/&bj>N7h+{ɦӒ]NatG(h`rF`~~E\AsRد]Ojໜ۸RR;ugq¯Ur?I1uC#f|FZ p"/ifE=&-㕒_t0uVHX)}BPC2&$ K|]CeC5p*[?^Sf˶Xs6s^~[]"$/*ڷnقJ$Suv.lzyZ%M՞{8ĈGjEjn j v.%I=z=a ^RR^^:UUlE 햴<^ZT hK6Ӄj}a0WBk kD>ξi LqYBW`~D; > L1`T4$$,㝽kI[p½oxiu{zU%xd蘨P&cӃa98*gS-2NlJ`M`a3AǽjDSS+4/ G03o'ZwpׅTQh* ~vPs$; a- n#HDR2_̈>>vdc׹zEs{ F},s'2-gcS_y W9y4q-!X?:aN#A@ ."832?!nIK 1tZG#+ 6Y]O0G@Զ7U8eͫavǞSKh、5mhoLn0@^5Hb!&8 fnC@Fu:^؝\xՊr>;b3HV;^7F 82Cߏy{Ā^LWz-:9v82&O.OO;U211bɷᜱ% Q;h/ 94|UqQҿ42`jq,hDTrgʷD)I HQ t]ܺ:\SP{W?h?Vm:>p1ui7hZwtX-rE؜MSq6%:30N;Mh˴2nR}xi`x<,nlRE>'!D0'fmɪS|.&ƽ5|h4kRGl2D?T(4p$үlȟ/Jj{%ia.V Ήt3Q5'pX@:| O=ShĉL&xNp~ԧX BݞV&͉b; F~x*8j)pcrgݽ-3:k;Dv%vF- ̽]nLD -3@$!AS󫱅+q z8*i3SIV¦᩻L=5&9Hd]eEC^o (~ % ƖDIarfL@Ka ! BGBd'vMvuT~1/+q,W@(uuyoڄr 0 #[UQ#jw5ADi/jټr#܅`c#ߘs;ϛiwm0. žqdpoR^Ii1c&v ,iTIF50ًNd1@Gf|3~u k\uKіy R~g=4112;F8Fj5g*u┃i=;KGdދҔ1Nɜ]M Oj/ljgL$ ] ~)MVAQDmE$C_&F'*/YЙe> h0!;pOV;{ w3:Hq,%qQKDeArѮ .D+N‰v%`d";{<HS}q^;*%9*l$h"B?Ch>*Gk'G l.s I=-*+4\ֻJac6TAy(896*[Wl?6ϊS{oښ> P4LW'rvvb.ZJ <]~`EF16HVJ$],hvxqHm'8ՔVz˭lm^dO$p Ħ.}|Vi`M0S2X!qNv o0Lx,`A.ķ&B1[&əMzn,M l@oB37}dz@KRB0BV[6A/K 1{³L8!iZvIꕡ!ܿ#'!-q5g^?0 g7 gmF>=ўT/K d0L1J14; {9V;?V:R""EE+vjo/z%q&YhD BBʁ_'^[bŖ\}a te(,̍0?MxBpA硖na} }.'zϚap'~ +qS-=#ԫ0.o=o'NyMEl8X⧎ 1Z!ׁgB7jA'2̈́j%߉ɅRNǦyt4~$Hmq`J0!M^$Hᖲfm@^Bd[Ky9G31qM%GSIl5<*vB'}x8?W-clND&6䐃cshID2(0jrV,͈Uebm.  ;eJN!Y$x يqNaN5}qQ )?0:Vm NϙſF+=p>/pAF컥-! +/A7antS8#] LiZL'j U6 *wdye}vnvݿ' 'G|3"%+VQБF%<p_r+m)zm:Q~WI|2NhEi$K&D(!d.zB&:җGPm?pލ%*]ⷥ'ds j B4UK|ayaJ?b=v0yIP,<:Bw} "uSb# 3s=W͹Zm[|K@tƻ#J<<O9|:TSL̓h^o['wrC7qv0^8 uݴ7MZC8Y(6j *2qlrfAAPh%X[nNVM7^Y*:s1>u6Ŵ:p<ǵJ?E_imxǝx"=1 JJEO $Hbv\[,BܛA[CsjBgy*+f&gP l]➢ֹa˱x)^%snc"b(|TS{Cˉ+4pV 5o D_}O6wR2vC#7 xSDQYއTj;PyG|s b}(|Jdc-_t[L' b %"ѝw]L\V %Fq1*2Kr@HX!&Q ]YCNX+'-F` 7ղ3F#Z&Z  97g#~jJzpZDZ萿*2΄sDbZfP1汵I'W8‡?4zܽᐑD\ͼ\R1^Wy[8VDq~Q1:CFw'>[=O\~DGOJV4Yga-CT"'usT3ÛLND4lcsLWXfPB_hSH' %K/d67*QKݾ-aY<ʃ|yiq[t3jaض'Jh]{,V*pÞɸӸꋀeKC %nүSb2 1 "ݦg#C'k:5kI-K+XϟgYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd4R Y: imļ 37sE{(AH`@~w0$>7-%r=CW7}A}> /Qzs_3h.y#LdLߛxx2# '2d\uDbmmԝ2[jޮyYp. לSy|m9&'v oE;?%wGsW3z -l#oM9bW&«u *{kN!N;d0Y;9Q Ai:̕ДzX~>7~wqxI-z BA5%P&ȹ0U=$ *2\#*=E?n+Y ^K e#~bDZvᚴ#ڀ-uF*J_H?iX&m0ABj #zmE#+ }??/KRs D(9pBhK0"sҬC׭(vZb'QR\(MM 6Ӫ h荨q3 ?ߚ}(C/]8=n̗3.D1SWKadYۉl*KdizSC#'vt^qRPs(O B ;Q_瞉vjvj1ʺЖx_l]xp|~/n]4k^NI_ue>(Aȍ[ BI?}w\#y@G47҂kl_6&t |28/6AGUS0絞ya+L*!¨i>B RdI/8wrJAYKĂ)yҶNX7_pZ5ZAcz %2vɭ{>ώ-hty*&I>i;?ƲU͡tBƽ:Ye9CһICD\9vM:ux::B0Njg_]cc? =%-nfkr3]-,QN WS.@_srWQݱԩ]`ݵbQ7_q?I&Ħ)wDEw <[G=s;zҕSٿ˯d=8p4~X=1)=I I'%}ee b4B uBQ}t0ʺ'tΘK"[@ltj y*:+h8WT{p$2Uҝ:r4LEW^.v rlb 7wu۸D`84J* shD̏b5au#rp"j#ŀg,/Ⱇ*U|DGd5&(u 6Kv$ߕzxUO/hD'.C,^˧D@oƚnzc/#? zY^8Gl*鉕[/S}BFMmA)C %6%h\̔(h=v[{8e}IY(F%݃V!UYÃ]u.[V<=] "5-pLĵ4?Η1D!}Zk 7 %㦿b^  $Gx/߃0}Oc(1>APÓ؁+;}?Yuf8xJJ6bBo8+E'.V& QK9Q ]Vz(Z3-d] z %c;2m[ jtVQuof$cctSy̢~p_~j  s({p˒B ֌#DeQ+1/L 0OvҞPOJ-oJ<㻰!BP5wvp_ 7pTS=PDhv@.$0͙zGr-{ Ƀe_atSpcfZ{}ΐv">ʺzZSh ng[<VȞ?1Mъ9tOGXoT9GS'H;1g9Xs&K1>vWNo4%_9l9Jcf"*xt<]݊%$M0d[z*ٰ 2%w)ꃪH=?CHJYO'B~h$+@l BZj$"=07n*7X)Җ`("|q#0Ry5bkTs .I8TRGk&ޞ  G4PX6<c R}ցه S3Jg$?ྂ j>YRԣ+d8`-KiÚ3AhV)r gsXRdY#Gmd/ɨA_^}٫ ~lIY6HḨTETs+fle7 ʱ<%[!)F69s_8҃O/^99PY.az8t `\SHk/.E1`*GL˪‘g8ImG(oAs+nm]gq/[8,[f7yRSI <D^P3>OKA"(MytșA:>FWB̢'u`.:tFVрsW9]ޔw$\:@<`WW}[h,JdKSD ,P5aU]gKU~ HKQ7rm,:ZcɁҝ1 ^m5Lx nǔj"ZD0֟{qu?TU {Ͳ/c,sG 8zz-,Ռ0,䔑q^-Ш3Ӓ-1eHjJ%{zۯӅ9"hw ܛ5f$>=p2Gq8#?ڻ&M|7)ǭ%7(Q^s2LZjtblm؄:B݇O4LImϦW^IJh+D`2RR9GΣoJ#U$n1}\$ Bk/{g0F,0J `_R%ko$`;-W0G-T4Cc/)0{.a-%; cߑ QXCR=wÉ,,*@@ԃNʗѿ"E-$UM'6+^k0B$zDM2듶[([)Ʃ|]–-se+yCnU-O+W}.f)-;)hвm>mKs!e . n #tRzlO dI3ȮTD!F^C\C;/&u|v&$Z)ˉ0cjNNc!qg֨^;t#wĬ,&Š_UM-[:dã%*08yl=Exr a6}uwFn(ZYmf{$:k!^kjžn|71%-h~)^ ^ΚC[faca$r*$QO~G1%T*8<"9#rGvv>A-mWU'W(`gN~ n}\ȴʃKzNbCaNtL0Z)<կ6rpMN^s0`Jl~ |的iwըv~|}x#B4u T k#[)]7ic,]kD;'7/ebYrPøD3fxqdʔ13hX^ާ1O%9hGj%ӌWs.Qy)VdSN9?_8?og5>xv$ Z,B\O'/%/V(N hqp(wWP=K˥p\BWoG*%@JP#Y Gа;Oת3^*sYճ|]4")~mIP4n~uȉv*mDCxf~˚W./>7^Yz{tZn"SsmX#5QAD-1oj/ΰz5 Edal™kCl/0mt}a R| (E %<^P*'ۜ Vccx}ƃ%W-BKBGZ8 Hq&椖g2I}B{,+O]ZTzJm'EGOK#4|Õ~Xjrs Z80k!SB+2%]^Ӧ]'B&tD? ne; (]ą\`& @$ >D*s B>A< rlCOuVL4d#;ZƑ2!v?҅h_f9dǽp؂E51JKS`ϮB]͢j/a;w8RMf 8$1NBylj|$WKFؒUѼ3KQA !GQ(<+4ؑ-o_0~„1}Tj㩑Ҵ_ 3)ZP61xI`=ɖⶇs90~BC8U. HjĴ^,J쌰tB32)ZVܩW*J:J@>cS_1C+Zq+53fiDEnKP1D3jv*׊ؚ5iV=:5hA ȶڬʏ aI-+ R|j{zw[/jsȨEODBd{QFܕӂ68~娀>pF cb9A ;Srͺ qJvXn @Ƣ0ѱ>*Ds$~^v%"+ɭI i\׷zED5!kY򫜒u\ǭOR-uie^k!+=w5s|hǠ%~M6BCo{Xb:AQOXbl'\Zx+31p]vjB|+X8doR^{U,T?s<؅:ݛ/"j}1Lw<۟*PN@fU((]cܫtI &0|@ +yoqF_UB E,",)㷫>.hbK@9 9}?-Ɩ#*UJQgV5LJ\ϓzQ+)d%f)Tϩ} k`M>a3w] 2y3֔n\W %HC!NcXt} &Æ#6L|V IW:w)"m..oy'⺣hF!tJO``S! w)Cc@8Jq73GJk@`0e.ث NʼnMIiES*eՈV "tʙSb u +p%bpJ58h&9vt5ET 8$egǼz(䣒J>eIi7|]E3yHȻ0Cה/5.ջ 8ҊԀ&HevqOL/"xS1 MUd|REd9Fz|*`% {,\nNF|C Y.cna0v]!| ƧlW5U-oAJ7} Ĩzm {aŸٸa(7,tJ!!˫d iuǪwGaZт) sϔmg]zMm@d{W_@ $$tog's'K@}T*@9ճ-Ȼj&e2[SBwIGEס"d[ iZ]rK:yg ^L c=onB+gƧ40+q,w@ Ob`lT[U▜Oj D/Rnw}'˱t%CK8*Z=6Sh',ahЃ M7DȜ|c_ФڇQew8%ӯ h`nȱg$$8U_s |: W&ȁ_?g % f{H |Jjy۸ĉV}-H~ ]0ozEvmFRք!>b J~>_ fKg9&J&*9$w亲u,8F1M3*AnN MKZ 2X?7zY}S/حG d[̣Aڷc<%V>V޻X19>D`!A ;/cl#Cg)8+ {rVNb*ᛥ2;LŶ1$"1Ulntשʯ'[ּ,@najQx?=,ͭ@0bK<GU:xQsv;B6%MmNࣱ{qO 0wr»WLZQ`Q!B9Ԯ(Ը'F㾀 Xm*oLg~P9Z9If= n(]+=/ߘʈC[{J"%<(ɷ.[D0a@P1\cr0~U7IveiÎqq'KEKvHV 1JLiz ij9M >:SjνRB͍bce>0(2U',ᑁ>0GKt'ɛη{4"gF$"b뻓ȉ ;M<f3}o Z91&,o5~5#g`?VpRΘmvl{D׻=tXw̃onm3Ia>lk9]?"@S$>[^ UZho"a(>Ey ޽Cm% I( B9RrtG9=$0;6/|G ༻cWqmbށ+CF^kF-be",`>Ŕ}q8V~~b{^O qN Be܆:xr|9WvO#x6vuhsVJ7;R6ygӎ k G(r%vaR@_-N,VCYmFdcڸIwG'PK[Lj.;>fd7o~~SpZ%DVS;/l|ճY62 qY3۔hlIj]j4| 0ѵ#8WD~[/YBX2aM;]<0Q;jĪYI?t UNX$4ZgxGg?CY@&҃p8e "*pzaF 'BFΌH-g`0D*g1c`m' E*Gƒ`TiPUvOhBvt; R\enpM~E43R@Il?Y?yQ2O{fLٮ%^=`qupJ}ءP#Q3T~X"<,:i FIĺ <cNҮH?¤~f4]źL3;>4ܼ^`Ӣ`VfWӺ V o蜑kM!P6D7΄l:}&uKv+tS/;/J耮 vYEQ~/54C( ücpwpv A9M,T~(*am ^9THAbuLV 3aBc@|n(nʸK|\Z맲~Ce6y&͇并VIJ, WD8kŜ>ÉQٴ"Ãz)V5m "X"V~1oBkE@,Tc;oԱx"=tu52lw&7PjB -fѡ~o3ϨOLM_]Dx"U,D,yZ^7ZdM8gqubJ@Z 5Y'72Co,;*ޢ څ=歹n]<@m 39qy?bz \ [ygKQaAem( =cOB\Ֆ6cU&Ȓf#B^QV)Jܘ{9| ! #WN;sI_13I81LMz7v q>.ϵDMۖei *;?Mmڼ8ˌg ӡ9$$WҴ6䑩vɜeH鴁пj_18ݥ̣6 4(9TAPJ Јfy2w10!솚Lw Q[wGLtط>3M2[w 0i-bńA#}$Z,1dIa;>XF=gU`&FZb]*t*(+d/@|uh> Ne5a UZq5 p =հY R3)Ɉ7fnZqڵkܴJ t\Wה9Nt 4+=ENT -oʱIyLUuzcq#Kä#QQ/#6űBjи[ njv\E.`Xվ9㐠A>;^tQQAW|l.Rxp[bʢkK9![6ؘVa% 6~B}\n8;$(bCH[YZ8-Yq'$ -w=,P ?Q%a3.?,IDã=5ƚ=Oy zbδ =a(e-p$Rα_SIY(Na;#ҷR#-?Uu> {/+B\aj'7 zė.$xFoKY 5*<y ez 8 v7)x#ˀ^Qhc'\5\"jʾ%h'lEdƮк^5V,n[F\K:+ X|kܒ\TP>̇ 43~wv~T8if/xĂ|fXEwc sc9Ͱ2;F` @17Q봪w6h|<|bbE$H a՜qg9#ZVؖ&AJS[ g7ŽA$ S>KiыL\M6ˀaX$4m6fyi]poaٽy맥!g }Z|3oqObMShe3n*&AEbsfH~ҫHx :aByX֛5@ ?"x|+t*/*%H4}ḻpC2 :s#p% Bf4AdV哺$T0D3Hv8YI3m7sXƇi n$ovZNFNp6tm4/׼gipX!9pc tPoOQbB:tk:S᫞ 8-2\[w C_]k\ 4\5Pra/P0U12)oqIr<ޛ3򴓰Oسg~̥ M0l8-F%G)'@np K&O5JKuOZflY(蝅 uj}@<s8yG#j1K/i& #!}cRi_& yo-7Zy2OkJa~eߜG}fv:Vv4WdZ!ڣ8meyğqF:kP=qIO]z\E V\'> %]';j׆eS#~~fBcg=*|".ͥooeȣɠ E:΅wH̱fAMy(PRP V)^:"Q(0]b| H6'N\2a|'kJnye*,3煝SaYOLDſ-hJMp8L'yҫxW ua(LWb\R8sqBubU7AɍX.Oڧަ0 nQ/gؑIY_Ȉ`f-ݏpwP$dl-Ləmf>}w 9ɤዬuPE,i!@+rd]];I5aPPTe 9%=n _GBMxUazJ7@#'M[9)aL}%ڲW5W#8?([G؝E9sM(]ҹP'13I qsRnJpS+L,p'DhAh"NᔲFXBni*nbh81Px|K#(G`eTĭvfQ=7 TUjջi1NݑJ@E˯9#}Ly5BF 3? Fg{0=fvץ^̻e-48m;&=l:["bu䴍$\wT*݂j" ԮU.MgX3V gg~XHA31E_heq!I[rNpb(^eZw@nښ}U'Jq'M&WmXĜ Ռ?MxPNkW) l.3NMNSD+ds qiǠT~dEtpC;_GǤ7dXo=Zfy9{L&ﰵgkFד]('y|Fjj_Y]^;$ 0-13CmR{>PF%\߸Owfl-92"9OwqﻶcD^/a \qIv5nTņ 30ҒϢq8?uh G1u(6^PdE_Xx>(G{6zz¹Cf~0d4Nb/F[7e/ m]`|]IRe" kRrl4R g0VB+r*wEm+QғoF (tJ୦i\Jo(e}F7,-Ct-meOȓW!J禬4S!rU|<WIrڀ9U)/ѪVH,m{LK_͞!%3O_$GQG$څ8z틁-7j]rXΊE1e@,,i3 zj:2u! Ղ;F"7Wb;,㏐mxչ %^lD03؞~Bi8TZ0 -&&%f_m_G|׌c3$JU}Q|JMDD6qx\V]!_R]nUE 53gBԤ˰y\DrjhFiq9[~.wx(z{j|9֑[qmZCG{xYfN:,dJ6,3"!)0_H ,бƞ5ʞ]KL B4b9hw7V'QҁI#*:.YB.:lIMT6^^ϞGL+\%G{IRR 0vG/]os[en^yVIZ 5s\HT9Jyę L&R%' ͟[:D.l2eu+"d5`΃2}f?WĬR/@}P Ekجd0ת Xfj$1uy&"3 Nz7-c#mG|cu΋ov ;z!X*nQR/']-p(x"K(ƻV{e с۷h NDL{;e,ݺ>]j]/k?z3-f8di(6Z^ْ1J@*fwRedyɻ ٌ#9DUM1 "Ӻ5qB?DODRaA<3\:M+3߱eI7Ú~' i=?:F㥾O"Јia;:rM;>2VH=}4~D]LsZlw/suUS:R-|}^m!ΉŝfBk3B'ZO;g46Y"o{sG:*ăN4n 4vc.ݦqǟ)B .Ammtj`2@#$6F>|+%l$#1~7[(0IJaHGsSj!Nr ^4JЛ: s5dqȜȦ\u? WfC 6gT\"J6`YxA?J`)0.?@ ZJ!& :DH# wg } nh7Ak( C^?u7roA'up gɱ 55?tgmy{@2hp`4[$-^Af<>'7P9NsQ&  oU#ǃaIYq{qo6Ȼ^u5?ϓajr/ǫ$3KP{[-`si7Tx ʫVVr$9,:U 7t{Z `ߧ? %!4 !!RIjIZVUչ *+JeŸK]|+߻}+S5Rz*wCuSw\,U numؚK:4iX>'#/-cRYj"+բ$9+Y+^'(bm R/z9бP[֜ ]WY9=Sg!@:oBV6"‹]Pp2.A&DRq|nd#H5<7TFILnQ>+g0"g,ۑ[\-HNK ,FHAT/lω"ߴTLAmXQ|]A8fnfb89 f(}i}mRPb?ɣל;r 𹭩Qh`Nʥtc957C,%]V*U]GxSGi֝t ZBWd׋֫aĔ%( <&i,xќKb=S1)׀  U 3},SI?0h$ 2 dl-wk@Q+-ױ +֔ƏZeA>`,<#%{Mj+}pYxdZhiTKKl\Ab E(/~3b#6*ϫXĨA;eH}i[Wkus9;[ f$F> *`}nQ]h#A\xAє~2 ͪ%E],iɷYDC9:- d5o%oiYдPb6 ͩ[ĥ1gJI[XQd'Iv)>?!a(} \n;4)| {ĭrRCPIȬ, l޶ !l_kmgwI1NytL۷1Qm|h|<&šPq-9t/ݯ?{{u@YgZ} .#M[/Id~ٗ"3z"zz0gyØ3S;[=oIQ;9ontb:ԅ Ƀ^vՋ5-آQl0/< P9g|'|rv|c0˨lxHb3;VmM.w[x#h"y3f1NKUr՚Iot ׄ[S(qӜPUKɤ.C9o րv 2{TVYȫAyW?%ʪjɟQ~ȭgk\/.pߞkՙeubAﺇ6yH&tJu(fhOءGΊ&ΥGMq29  V0$* N; .}u;mfGրᛩ+&9gx,[0vh"S/]겕J>:qWӊIj?S`ka.^h>΀'qnT+dhb`r#cB[ 'FW,Fz rop:Ό@(^bYtL>,_@ 2׸CCd"n8j3twmms=bTJl뇿 fwpZ~H Xۙ; ylKT`[ȁ|Pu"I^,9K:%~~4?}tzqϬZL"ÿYu9Dky'A+3Ļz v(a4SfkHU@A  X_l1}El)Lp}R'gPXSڡ\)$,=wJωkCb]hv)՗z"I03>VyVU?Arb@ 1A ׍Ԙ Y/0L7YN(>)*U.tClPtƑ+`wϟ+;q,Z gBrw DP@iGA{V3V;6arRo,ƽ^o7[{9t@x'R2)|~@wӵ?&ᚖN XBKO;Ԙje3ʘԻ=3,|kk#ϋbo5*h2٪38֣\&eQ<vcZ-V3kd˻Vc9=$)a_leBwX5ۣ$^>gt 9BU 9D/ ; QԲMv NRܲl)njX&<v<<`@(uk"AUr:9*? JyR5^^NlΔ =!Q?CS|ZguWY!'P+-.7%]w)\9,9i?{U8٘d|~a \oGKEhj U3yqɉ)Fv('cDbKm YJG|.?b(Qx,甒?r;M~ҁu&fr77j0*kF]|eQ?yzW"i[慨-H[!jO  g }M7¥8l@<#NI" _z j +q;WfpⰘ`blʍC*vx(8L?]H_z7 7bZxH3vmOMhEvF'}8iz8 3{{@bΏ#W/nGŴ xǷU@2=$HgyBȷyJ_ۑ9Gs 2t"}Jkœz'2QfR#V,6M;cH"txRJsE狹 uQ)WCVoM_nh4K6ۊVF12% >\H]˕Ȫ K޶e qjZƷ2]dGi?7:[ݴx` ;#^=@ 6(RG]vb%#J`=#3]spE{Kj]L߿jQ<,;7O5'g…gJer @.λ҃Մ1T4DSq.-D>og`?X]Sk r]2 "lVwטhص(fhn~DgGoӸ)|..nHc m9T!_dGî$9OfڼHZcA=P[cxׂ5,u{wMkw0vt|>mJYȑu u6+t)p {,/Kvcr_vOw %8De.s[)1.ѕ^ʌBR'bhONP 9MQ> T^G{P~\lJrJ9q]@xebkI."iÇ/~;@KVAyc-H/wBL>򼕼W i6"9Tq3KDL֍ ^;i%m;F T j K"WgYuP):&D.#ɽDM+a(hjM#/B:>9[ov>cI(vדܙg]{y2ܻ%6sOγrjSX2}ճzO^* Unu0z|Uk4(ƥyX_Ũ`퓊v6LuG.s>aҽqhs\AZfrY=oΥ>*3/ =o`F޺0T׼Кp~hx PE^ VR6L@8ޟV# DM%aBݷ˰ο{>Z;,wsz OR`!F'ݢ&V\n캬 Hl`r-\&?%j3>A93˨pa_@HQ_<${`omdDz~eUOE'n)AC6K(Bz:I S>R7KY?ylȿVІR+ #p뻸I8 6sM} 6$7SeWlk4R+r'AS{4!KHBϪ`\3 .)<ѢLa@ba}Aʟt4D'=SFxPȏgOzuY,lFZΞgmZk4bȨ2O4wyj E3`iPDg ;%:pPQ).Ч\ӋR\DU$k])Av S<ˆ`UtOy<7|Ɋnu-'c8u*j OtѢO7E_ ExOB=5jSګ*. /La"IT&)߁%- ÆkƸ tx{ OSCRPF131o2x*! hG >{u+ V;MGfL׹dyRxƯ;t.F&j*eNI<"\>\Na1Bz?{?w_$SQb璜yLjGŒoms8؟\VdQ76c )aMuSRy?o}f/}HDD >! |;CL퍔 , *dP6CeӊFB3 oM"q2/SsxQ 'G(T ! lĚ_IJ7&kl|pa/;l;^q7>D7eU7X;(6TrOߛJV xeL7Me:rHO\wϱIw`r[-1@b ȹP=DYhԙm_4nbrNb:"( Hx GlO}G3e`/cd:.i9}h9AE )oMCڵr>yv]Kd\0 %}6=&¶Nm+m#뷅>Nۯ%b6 ڥK)$yE8=In!.uaug0#:m$@Qc/3 9`g&Ct&wBT'_" B7m r=h et.a%>?9# (tc,5uML+OAa#&9g322)@nEzvќbTCIY1DZ!pgafQBфbX`-T< Ul*h4%2M;3t؝lGQ IӘH xE`lf)b Gn8i^]RIʫY/Crh+yDot9L2e #꠬|6Go V+0oR׫_3rn/!}5?-^Yqn\l@XMs挒zCy7ƨ-/$"ǹK\NKݕ#T^j1駞A<͡oNg A8Пa@&dGٗ޾8ZbIrH4A1PB;chT? #ş݊)acBVɐW߹AZ6:bw[jo~'?zy[bya֮ב_N 墴"D6J>Kb FW]{Cr6_ P>o ɞݴ!21P%GUDn6ۘVh.g2Jm/ߝ((o~ DXQXP+@HfDg_G>-)Vk;*J]I&f׸;E VH*MOS"?DJF_^ws}yygZp8 {I=PztK-hxtn6P3;R:{0[mYu0W$F`F92(Ϙ82YEƐZU`V(=8~p~p i5i,eL0gO亓  ۈk'07*u*Ȫ(ZޙwQ;=!J<83/+6rb>}m;`X|8!~! b\)A1w`DF871sEH1Cz95ײU@7,Q`s9BFMzgpqwB9*]K?8=Dž!UA>|GV-hƽ6] 稲dlZc.dt~J~SWeK:4/(:_s[)NpV*ˆ G P֞ћXP鲪ٵ b"|B0}[}m hK:v$S luW~9,Uz/f)J. ,pZ$7бȑ}NJrYVuYdH( b0_$jTsJ ;MUj!NpɕD9Yʡp> +Eyh V :~:n\ISBʩgn@pM>0::RE ʒ:YZ.'Ioes!#)hyɝ^ʬx SP~kOBe9J(3OtN{R+ѽz* =;%ˎyu"~m+E KE0YgDz Q8LMh,}mT&O%FamC/?YB*OH{mEW~we]Ϥ6vWU#m^%S/͚mvI\c:UU[#@\cl19 FV`[? q ډ.}-g`"vR-n~G}a[AO4ҿ?lNٵ0:niW>d{J2هge^~G+}C3'qw.<)幽@L^ay;Yl=bȶxO#TPzzy>=ov4G :Q`O%VSޣWW0`؜^͜Şvmur,_ػS8|B-^H)Y=QtcZwl?-@WXI{х%HƤ<ʯ;PS0ECC}>'L5їwpP>U%-2vK#[[\K pprM8/(}Q[U~*clV X+{\(mєoiu8aX<Uq epZnetj$㥰.o\e9c  h_@N=~ּWfV'sf{U3u/ŹI'ߩ V<KJ8jv\5 1"lk p7cƕe\ 1H&ё s"eI'e23=㩥 ;tLRZ#XAMVt_løh!S]3M F:ȝAX0 ygEU>?k`i.ZC_\xk<윫ki_\P2'X,xO 9Ηg]hOXJ)`cQotN~cGb&iH;*_Q\IcY16Ju$Ć6kRo,hM ÂOpD`#jl Uޠ3^p9.ST$3)-Z?ɱ}ku>j@#'EOpA_3a%3.SS#H7F+5ژNMV2Euc`*k7.kl|Xsv.'w~ڀWviz3v4ĩu2QNʝ pXp`0Dӟ!4o6W>w3HUXH^bc? 2phߙuBپ1 geVu1d ] n4/$V7=?,0mHȿ0M4.j0MƹvBLߝc3q]s|DCKlEѸrPPPr`S4f6vvuT9ޓڷ^e1PN2"ݳa!>Ni(A VF5i.Ϗ<*QExDf$Q\cP%,a6>y@]4 U;$B@hndRWiQkPq9az <%r X xT/)TK.w㺋;j*C(˧V%y?usؖ*g0ajͺF${ .C(ey8dKR3&/P").A}p.s`˜M%ӘVDy|޹SoK$r3njGH(EӬa` ѝjC~6+/ofB[m%@Z݊&zG.9_!f|cVQ#-By݂ ftF(ɹe/`7C/e6BN^(Aw+}XS{_^썈 Z,8#Z mn&bqjވgȽbV&ȃ" 2Y.z ~2pȟӖ>ɒPӀ^{雅ꢷIͩ{XKaSho~%6D>8WșqA!׃;.؇vfN݆;Z#Ie=W"tL{ߓBGz>Y'pR ˘ al|>9|&"AD ͬE[oN6i⌖qyyoԪ"癉HBNeX n1u-i4x8&Mz!{lk._"% HW|xK q~kξ+8¯ؘC2Kcfj<~{KYMSI)+ayXGnF 5rMΚ p AZpŔEthN繈& 6635^xt5{D.륽.kGqHR'J%GSLǴ0f^'3`I/{0)5MS K3[ƫY TGX;de.M@:15H )Ui CZFM2)Ԫ:$-s/L+b]lwey җf9R0{gݕŃ,6=Ͱ A&`/Gb]SK hO @*"`p̬-q.:5B&4mpYlA«Ib 􀁍OL #XFeJ] I`C쇖XIX'\B\Nhn%L2~:X~ kڨL+VKk.Sd S)M[ J]k ߽\M*|޵i \+4W7_ G!i62!m&'߉ŏg {O=)zi=]CÎY< .RQ|:V[`q@ZĜTQ_ۆ馡ٹ9*d.AUp8k KZBy8oh+˼J u IXPOUg RE]ED|֠ /)|JڊڥW_[V6[GA.b}FL8]Ա?bci=FTGMe(P8*d%nh^1`l) S85,1HWےsƁ@oġ @eHRFrN Kuh2v_fAR췭NM!2̝)v!~BύYOlh׵=@Rpj;ogԫcs[)]@`N֔idp]JQ=GR_`HA?63OP|{[ksE${Ekpp~YN/7lK,LOƞb-;)iVw:?1as*SaQg1ݱHw6\~9 4QZHhC]l=B?#uks%IP\G+\|AS.J 2n;C9OpʁerIc#rTtar jۼoRq  y.|0O 8LFf^bOy ~7UABS߅WOɾ~5"֠ldyK&k n.+A7ʑ:Er91E2{ݬHƼEXXl1ZtȈ\˩ }(Q+x1m#&E?xɾ'auAUT pjbɀ t|X6a= ݧi#\$B嶕Rh fKQ?J".ܰw! C|KWD?\@mGktMKKe{F* Φ2G߂ܒo1KSbd;? 0NS SSƸGxx,9(›RKPϨ%8剌"O$oF#K S+>FQbk3 ??sV- ^5Hfh|vrk;99:Ͳ+Wi 8,>13OOվs+3Hv+pX]4NŚ?Autiy3YulVyF̴P>7CXK,wi~VQIB% Dž$ԞkAVh#@h7Gȱq-b2Fj:ľ4n3dJK rsJ:\Czu 溙PmM$?NTI,gR{3Wvy ͌ڃϱ +ذYiƶx\& ZGp!NMI!-,x v}W$QvIvee[BNBͭb;-sɴ l]J9;sεpAJtL;.O+5/r,4b[ow8f _,%v7K\w S3:Z*`&Dh\ */0B"Lb8Ps5I޹QݴeZweSh"<,+ɱ$=^y848g1ܙeT>ھK|I#,{_aŪg< :5;9h#GgT ID0Z/EE1WދG`R8R`T08 n]~;^|BkR2!h_RvI˾FrvX;bgFZ=M'A=r81/t+*~#Zx̎yڀ kC*NYO\hB P<ҫ>4N"h\`(:v5Œ 9 gK0atO'4L^Y`9fmqI`^&L}1=Fn$P oС9՞ol:>` g9ͱ+JN'>ADxOiYZWy(fwD~S5ޑ?#*$3N6~~W W\j W\T6_Dc"6U,H8fj)B98С Ex g28 v5|xn=QطvY 䊧ƻ@+T8v:a4)LJJAC?|\-ŹU6n`_,jg3n.yɍvBpٝЧ" uba1Pt_0!.{mĿ9݉*kYƕUͱꛃ"Tß>+ۣ5U>bHD?^3SZp^WFxMAOsGd;xc`텮 Q>YL{0yK`S(sD&! mMhP!CBd!O<^OW 1v$xZq_jD^Bk6jgYZ78bc5d168ab388210b0cf968d9f77f63ca73fb6c895b1b1b83f37732e07998df22f424d780740496 2191c6665e759bb2ba1cac4f2b634abed64702be2e65dd14e536e00d33255082777485a775a559d8