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 ,5\ ; HOL-Nominal-Examples:threads=6elapsed=361.261cpu=1367.716gc=116.264factor=3.797zXZִF! 穥v]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NLW3ȰO6"!AP3F/Ԃ=)GhP,A-s/Ć f|F:>0)ADIZ[$Zjh>w1zYDFn$ޝo< ;S7y“x003Y>D+%mC6(3nLɚ1Ӯ4<[!FcxGotX`$p3201khw1 5 HOL-Nominal-ExamplesvN+* ['ѱ* -;K^DT|M'ZBlsP,&c+֔4?0*H|RCIM7-D%S^;6r~QMha\~`RSxGc.Yg05=Y {1F_ب1Pe+d:<qc/ٚ 7b8K5oC~fyI Tњ-G'~ CNS+i[]]Pvw߈խEq4,Sz030|#K&iX',4 פ)B2kwp=56sUWzy@ϗ2r;ݑF"j~،BE+MHͪA]$޾|qw)]V194S~7^{:8sk6²2Ti<J 湦On>CWy3+)=Bâ$\+VClPTWRXuH/ٌ o3Zb7$Z)9gjW}cc| W\Ŋea=UV`. Y;IBE`恽m(=$ g(vi{ egy) 3Ȅ$O˳w>URIHY4lP\4w;Nfl| U}hBDrʱvo\kGA0bVpoGHãw-oq*q\#b{6n9E-sxw4Oi^\0H={:/M~xyS:F:y;)mGs衇R,b9 @*cj=r lE" /V_?vae#=θ n8"A!amv<=döӀ5Asb XKVs7_bi[sag*r ~LVqH2_ϵf-:~-w_{~¥,ut /+2uWR}㵢.@DE>Sry7|O%SrYK3M rFJpCLXCLz]^?lޛq,%Mq!ƓRHߵ[H(8 y M2nl38Ƹ&*у]t^CIID yZ 5re3OU4x0:WVk`}ɩ7fԻ~1B\`:Q*&Z/T$\9<#uq6Xx, 6[Ҁ ȔX ݁4mCR|C (no K'_6ĉ=VG+5Ck<%j0$YAo<64Z>?^滛5v؃1R\^ؤYW##=HCc3 PDw/h0yWj)`fD>Q%cC2&W(ټ:ɢ \V{(:bMQ%V@"EIs= ]Zօ[Y%{\&hM`yEE@c 1s[Ht\Q;0~I|WWPۚeg^;{v?{jA,T: P.Ub;ƾ#Y)u}[dԥ fŒc`1{q#ѐ0U'܇~1fT>^+XnqCL=ngēH7䃿th q!qz.&>ys8&'"hɷо_w@4:_]ȧ_33.Z<{BLY hTOPԤ:VI!kCv D1>*{eMiW>X$RTBrPe!A[,eٲ%`f' #&vhϨ,).f_lvBe2>"` X*jY;y7BΘ&Ǟzs"X!YQ;!K.)"y]?>F0~;Nb=xj(P*M>Y'X/eb]=n % K?opd܄/tRo w6`KO hC|3 }%>P[{=C\.Lt)%þ%o-v,YV\K=SZB5IgvA ,"r pSU_Ҫ) $g7QFKĠ2Gmd +ONN< )' J8/@үUA!` !b;(@MRڙuբx[ߥSJSaHRʽv_Yx/Vy~lj}!'y6Do: cjtrLLh/Dj>d s,fOxv/TEk;Yl $UY F-%gnB+iA">9HO*h/rbQ̰Mtb3Wp@u/vl={(0GŚu'@>62HQ9.[͇C*MJ(0"Qm o,Fwnف1NW9jߏjm3|)bSd]8P}=D_VN{6%\mW(0u,d5jQQ0cvu2; :+fsݎ|6\DFUmòEE-ևJ>*BTl_ zX@*s%7޽5#׾0)oTAI T6כ49foVM<;|nF"@X%C[!?\!Mb%a ^}ItB93F*{r*CtnzaU+Xt*(-u@𺟯lG!T11%EZz?kWEPZ [|mW5>6gW4e?:&P-YvV1,eA>{H- A]hL} &5Dcrq@lNj ?2) 75wV4^ xM`G=㻃~qg^>3~7>jSe/NԁK& 0) 2ڿS> MQa;FĤ _ E~IA<55dҋD̩r<2jXQJ}SMOf+S58uL.+9(9_/e`Dx޶O~qX ݁ սr%[6"-z(^ Fe6I i D6|P2Chȍ vS҆I؏BzE% NS<]Q9jFI jl[Xm}/m)dۦ0A]G/YoN[ aA <rEI)Fa]”ei hzbP+p5ĨGZ[};:VC Hw*˼YEXD(ȹِ隐r%#jyZu眵f#~쐕ιLد)T q]b5$eL2fEq> h"o7\֔5.C~]]럀bMhƜ-72A #]2mz4v,j*4\z IՁh.Rw'wJ3j3,֍a9@G\7 ݒ& N;}Z=RQB/&_hBj;G5*xh˾t=2ɑFmnol<:dاn M+^=vhbC֠UE0!怐Vr)Ѱ7orY(gdrHBVi-:dm&Ύm髓(ZP9b`TjM]+k tYz2P'{; ؚ0Jf$v [\-dI*" 2yF2NHh)p}z&dVpQUW%}p>Pi#42]zGEFZ)ī $*eg:tbpƘtn 흕\ o2j^ۭRaԅ˵sYLdqKdX;#X]^YH2jl|Ԓl3D,uoԗf-Ta;&IW۝,߯DWҘf,y_S-7tNJa$89qd!{Ac:{#XdɡF;ڻz慅( R.ed~OMf2*Dz|,$*d6JG1SF"A%axr](lA W׭朐klO^cR{rM"+ɹRK_4a0<^-qh#& h,V+TEn2}a߹ U@#ؘ+<YA73!XqxL{|cxA$P6`RkT;y>x y^GB ;{dҳ ^%)W!;d!|eptߝDrڕs|9j3)*JANhERpMGTm&LN(YF'W-rtH+ID[$jٷ-i2$ToFj`mMW= eFd4@ۙniNXqQ`<_Ҩp:

v̝U,Q"MѣC%IT0 鑅[Fh{f/ɍ?n--[Rnn`tq `y.cvDTa~6 $pjqt҆iħ!ܰڟ&%Xrˤ~Fo{(1k$c*H_Q&⫴+\-PyͯCu{qpؑ-ϓT[!ʮ ށdLx |BJ- T !+#[O4Dj~ rjȡ18tLh]}ؠIƻ|$>H7h啊w}mER-u+Rr,kSKogC{HMƻA,ER" s,dƃI[Y:I)h;J 5G!2skQs0`l/A90$@ʨ:iGtf/|Q?~mPg%;H--R'Y!*ZB-?d-1Nkn(o?^0BLgƠ]:&cХ*yTAx@2*N{٨cjTE4eWpZf1E6qoZL|h3KL1䪎Wʙ꧱"l$Ku8 {<@2Q-@XBP8c2f$,-v[(4 =>7mZ-#hIZ` C-]oRfɱu9 6v!_0ME ,s@逻z#q6y 9R=dET ~ץшzx}wf87/a_| _cwB&n0i 8'RMg$쨃wl FC1#Ewn!$U#m?gnfnLSjkVC0d+PpǑ02;7~8\8p.(ٵR\!i~L^%Y2.]t'.'{uBaS}؊y(%ywgzXQǘW=-s疎$d)^^'~aUԸi޲P R*,q2D.BrDQepp"*8"hy>E CX_X2NE?$=[: 2G':|쩊>^ _:Fw}CF::&qQQ U4okNv9̢Qgݣ *8}T1_۳PABPO4̘Dx`АQ0~z<GdBYb,TeFA'߭sMN"=I>.mIE'']@o_K6b)@p'x2 .GSC?*3}!8t}_ nyTf 30<MP 54Ee.UsM(;kdH' kJUrɼJh 1'㿦]Ғ n%Fwj`K`;+/bD]D^>w/ [+tfJ`:vg=+3Kxas#r`k쐝k0cΣ{+Βٌqzcw/bQHYJ6f*w|[K֌9+E% .Y70;$4~€}ghB$uGH̸u_|-&NY"jm}8E*VwPP, Dǡ<Yt?sQ2y[Km6ֵd#-H/όN6X0 +)O]ZQbQ{TmqlY @P4B$uik0ZSICS'/ƂWa^Vyx2ZWDWG2:u<{A+LxH&C7,F?+L'ԓ@iNm2X&:h6xP"dd":49V!P0ݷmsK))a* TX>6J%}e=g- rnh@ .)EGbE~Ctj/>vN-LhL  EKMe39,זD8Hcܬ'H-1zu TxMQ3*C;QVxTgX ) D?3BYHSlR\Ŷs^ ۶y+9ҌNBẗ́!dBOG D "D9nNqlZy8^uڭ!SA֣<-}1< nꞂWQ2-l`q(gHȗ۽vP״@KVv/PX];fe)>?7>`oiAey l_*P3*6n쮧.86l*cgCnC? %' UHm/ŧQI6;` "C+!TELIχE;|@psQL[vZ#M"lg 0gVAƶ> }Q&Ui%܎ӵbRծ>BZi[]b X~%;>+j1%GؿCJCn+M[ u8XzG:"lXCE@CqAW" ON\JK^RoiCS£#ʧzȠZ|2g]v =%\uCxj>HvH8/P:;l1jx9utH\!q@AC&b8~x$kG>WDz #o.zWe֪_8P~d ;00"'ގk+^mQ:Zs$^BGҳf)tbP j [`(ϱTh$r[ѷʳ @7;Cz*?!^˺;lU& " &~o#z Ak-x+P3%E9S,Gb?{؟'B<&, +b=\sd) !-lۦTU;l; 7fVLCܛwE]XѰ ,1Mb[*InU̯^Ca﮵tur2'n>(ϻ` SB8Bj|%6gAw/2Bw`*I sS9^ ӎ ,SnrG^ ˍs*S(֊lhts6Ngα [ E)s(ɞїWzb8XYvP`-S~3&?_5SA$+6P/J m|'#3Cr[ȫ~DWNclB PP㶢s4 LN1Ҥd}R(a6p*'=ȼ)?#=VQ4~"NKzotNJ)Ma6d]/F2ȓb&<2a6`x; _LG%Qکx#VyrTT-~<,Hjp#xٶ_!˙byyG!@Ahm!iƺx~|fV_OPwJq;|qTÊc@Szp&@M:8.` =Jlt> a'rmRMz<-pZf8,DZWΕIt`@z1Ҵ$tI&K ת)LyGdjkBiS]޵hE&p>2D%0.(Jdd qwcm~黅bf-](iRE$$lL:Vט|ר='!X' OõW]A\x/YLT5m}ar?F}zI7)DW ȱ QKQBX_Yr2G$D_mK˞ʄ\GSYohWY];|Pp} $5|, %zVOPBV}*¹b#P'>9xlX QmJpšנo!T%Yz{xis=XH.XQLĉ֢2Pi>vtVـoV>џPO$!R"P;6ų6 N7i Jf:;[x9[Aԥo.R^"G2u^fXc|r[%['5'H6rdixǃXQj]xodC ~Sq>)a!O:[f ]WB&)LdLq׹1E1e+ _}%} |:ʘ /eY3劚916g{|c-ᮏ/Ib䤰y @x "x6PHݏ'ɳ]폣j`:l%hGXY=dEENe_d ֝|Uݥ{qÙ0n7]SNyH?BK 2]YP⛝MmlBk9gSiڪ^PҞ"+hsZNg,ʧu wn,YR*Q0G8OlG.lP4OH E_xįg?Q4ڝ!vjjb>)&LYSiR,GB _~U ILZ3N] _Teޛ9^{}'3)e17Z"f nK솛O䭜@&n#VrKOAf44fmVt,8)bs:r9s4V fIS/чY4u6>P7lEv =3%^j'mhxP%"mYUN^QZ5"DbBR haqE|\0=&Kx֕lړYB'Cp8 qp^x3cn(!zE tPn˓ڹH]Z|q7WX ùx1l=8Z,ZeD|`/{twE 7kR9z8&&ꬨSm>3B)ԽԼ3? 'h/a1!?mZh.S^ʥK*m z_z 7ٺi; H%gHo+ Mj p%bW7)iEhU8b҃F6@Lgmɩ//>SVUbgc2k1*'1z,WnlS! |c>S9(l &a_Ezp}Y~iCǕˏm7#-G!T{cGhkI6/:RZ#h]#ͫ*6Hg~Y2O&, L?Y"c$)39rB Տ.GW%|$1p:o)uGK__Qqq9= L9KR :п+ẏH)l)-a3OO,#/dyItYÄ[LwJ﬈­<hP)U@BJID=~a .B͑u;D9)^Ҟ#|vo'Ձۄ8BTs+]2J5jKԥxztFc?r:xi7[k]]@>O]Pu77Sv#: ?}\Bf:FבAՅ_x87Q' ׁqogltva,AbFp>q*% X^ii[[D {`9F0hws!O_46k"jy-MYh=/8B 8ֳ]La!lXRêJεjv+a7>dEx;u] {q^3[tf'&PV? `"4/ nt|ſfb!wk~ ɝ7+/iw:x;$CnfI.8\Je2u %}o}jA>3Ґy񷰖d۞$j=SkeƁH|p\ X9}ےˤDݏ-e'!_ J˘8?)R m6F̆$;h3@y~V|sa6gbJg.xǽ qNt 㱴A8!!,WӼNVXT 4Pi`PNTZp*H5tq ߃KYDFLIX z_:v7>K` Hw܄Whݰh=uӛN=.IQɷDeOA!f@A5M~oA*a?ÁSZZb eX ?R~rS5Zz? n-Tɡ{[\lȶ҃ץFu.tC/X:{9&¬ NJfF, cwmPS_8֝ٞh8k_-jGHK][zkxF1@\vX{}LpJ#ӸE';տ[$Q]L E.yemo!(m'˃iHڪ*.lt}6žJ7BO uG͈p )_5dZlNNpR c'QƪbbiZlT/"'1Ճ#lh9ZIk֖, Xy jczgq-&SV~K:k:t1d-=[pUt7.^ {ӛB~/;M7*$v5Uh~7k9|OPi}( ɶ̽CBO <g,2:t`J¾2MË ?<* g,o8;iý9vR6[랶s~cUt}ϔPQQr%H,IOZ<{QӈgE|dU܌l&Yq+q5=.]JNĘ :Gs6 Vh9mQ:E [,vt8<ܵa (ޣ% ˅4ۙ" ]`Dk6L /v Y 3恝]nQ'(}]xBB=J]e[eısW{ ơ]@]2 ShXq!6e0 T,ɤah]B,6zԢNb`* @yN𖈮uTmB"fZrÞ*O>Ш^0.ϯB9'j$B$$%]$67$4%3#]- :!0y1MeCX_jՄpE3-O|YB*{XZ)\w7#vܖGbw\+餧N}I*"o~/(Q ːHOaM19ֻW'RAc/CMƱNΛ/2ՅdD'p#p$UU^u,5(gⵦNBoAo ƗѮ(.țYcĔY`l8b_Vѓ@耣TMk7gTj3[EsKŇk=>S:޸,޵5GۈgW$8U/ΘޥxeCjL z} gH ߳JdbݢS3ރ蒾nMwY0a^f~t"[P Vs~!q` ES:` @>D/m gGW`gD$♃cAWXbaEFf{<(aW~M\*,{2>qaѩ)AyXz[mѿ;Y({^SOPQw$6@BHt!#9>@هy~^0Wʏο@>t121=6=Jp6F3BI ZMzXukji7r5 GD\ڦTΆZjQܢnˢاbb'["M ?|wCdP4V*֣Q7S$)S`D}T 듥 #Gi!4wTP0)ʣnPHܢf.LjonPK}F~>: ZNR"˜f)p:oo{,$"(R{uӇ͑.f9ڢ_w GOGخ1J4Ӽ7A;AD$>x_`^x{S'ciyP_.>G0\ p(>7Z?5<&r #,J,/,6jhi1=Ӭixwfys;-F)- =Ko{qQcʮtòck`5ߏmOoP VY˰po<,cl{Hs[*36u&$*p-o Oi"a%1x/~M4[h#?#W^0x$pHXOYӏ=Ӎ6KNR]j2p]l!R 2G]j4'KNf/=-\}#n:=!@KV&q˒c]Vtg Mb3[{}mc.O U4|gk+9sm>/Ufz]{^K;F.! (vîQRSXkaw&m i1#w3%8ekg|%ɳËiMr)DpIl"@Bh,-eBsţNBjPI xWR'w&'._zOLf[rF@է#G+gc=d $YR-A"Ή̵юy6$%3CY u*vPd]gSC_oN<ʶNNϪ}tn6-n D k2:M2zvcĎcȡQުkD+]J[-_ap".#*Zrp<&[ mVqe/gyRww]X:խ78)_G7(&N)[#25:\|V:_ 5U񸑖l/ /u^|*˦T:xnT%|rd$izI{KZ"ieaEY2cJ[f8g./C߻$khuŹڄ=_ C^13노j.D~L,4x]nC6b5ZiU/*/ S$w=({LrΛXu9+Ɍ/ qLlVNI;Ct"YͳP^  6b1+&Gw޽IPSq<`T]1pVmGYgmAldzl J1 пn芇ƎS-lff+nb;¡Oꕀh@f훋b][I—3<6.)덗 L2^4zbg@M].ϐ uv0h@uC_|:dZ=YuKb°=YtODjs0n6~\6Z{O -B&xmEYpO'u縎}Dfk#|:œ7Ѱz^e.{o(%I5KvmYd{[R0\"/U?N]q}T VΈ$->PnȸmkD^?T)TQ5 {~$羟K`v&yIIѸ Q7.KdD.w_EV7;pY5kyGJ>ֆʋ)v#;.^jؿvbT8ჷLpzI$}LEZޭ"H>a냡Bi6Z$h%|Vh-"2,uE &r)`4~1^=V(9Lz#y>'v_#E藵\;KO

H0X~O1k'. 7 G,YI/$iz g۷2_-[ U,0$}߸ Yf7.x5pE 8_ܹ%j_2R1R9*w:l8RIA^{}m(Enaϡw9?X#v7SG. hॺcxC#*7? a:ᒓMP5VB&ӯc3}h9eR[һLU'I8?ɥcvj犂`s*g~ٖay<`,vdoVH-t[Bg$|ya8R7uEº#|>u@,E5o6 P'HM/C%.\%# 7{ѠX SH:rL8I4m_UHfY0S۾B"pp)BP\# ]0Ϡ+E$Ǻ6N>:ꞵdtV)t.` '+>W2]O)Ea`P!enz ֽF+ץU+j N:%E"/"kO W.T4$(^z,O{FSsԾX[эf=S8 !9vbՋSox 8G!v o@_]3|2\*\4.gU%?$ +jјyn%f3Qoq ~ך?\GtCwGxp$Mgde>ʩoh)J͓saPoK =K;za~ CczaBNAc_r [bč`~s~o,mѡ%eVP]xjfFf6'?pddMAC3IxeHH) Oم8(14Zu;`gkBG}zvV!j!8] d\18VyLO1눈>3gM .RV:tVR0n-!:A.@҈m7ԒEVeӊ"_4Xvx{jjAM;SId0?ciy9` 8;MiH$yBT3*K#ww`ͳXsr<'GV '{Sc Xz]^Gq.dDU_:°&byߍ | 8C>HJ߁pi'A#&}WL"Q 8OxE6} i=<Tqw@ n'tvyuh۔oFgfi0'; 1ޝ^$R;8xE*VpmIĀi;1 s  Iq'509;Ov3\T5/Km5]:Wr]ȟ$B1K sFF3Sey&5I7 "ȳآ]ܨV>b?7 $#ր_{g|V=x H"3EnܕC"PApOp;,0nv-&A4|7%Vn kroKHT-[X*<-'z$\=%bDIT]~fwxH}. |ݝ?ҦRq1S=]пFHNE?+ ޥej|0w @-Dd $L |Fen1_Y@*9\P-VVb!$@DC*p[~QpAh:oηW7ha4g 6ފ~ BJRbIC<_^gU11Tڈe-[Z{R黮xȸiKH%@ &M(5CoqjE\둭h@*m-kTsY>:sZ0J}"D[g ;KL*)Vk_lJ$*z?i( Qw1#9/e9A w>;ypęYXdyq:%urcoHz3WOCTU*IwJ ߹Kɨ /|Ю7kvg!ab@cL-5N TVCBlٝN.}Gc:l䶟ut3ֽS,Rtu}TQMm3=!Sz`O*ht/ʺLT],r˹.mbv>Aٰ- u$dͫkASnObzٙe2JbodiK쮣􃧸xv.9A Z<%07I3S[Eq?nόX,5c8X cD9Ɲu~2 {9YB)&YC sm? jYq(H/"ON,ohZ+W8XbfC$]G(ڜ^7K|%v]aHY3?OOHL'*0 {xmb9C>ύ3[k5J wܷL)NmHx@e|qD+J,VJ`t)dujt=` A b;T#kV R-M:%~FCۢdyoTddʈ#!KC@#猖grs-G}3Coly9"%'$zܦ!$ZOkc@Z>YnPIIVҷJn'\ZY˕4 p_14=۲|*ZZK'ra`k581QMLĨJiv*O=*6GfZ'甃ZSLݟ5zOS!r SR:8A6DcdIXo]aa~{)ô㇋c?*;;[rQ3N|Oc1|HEc@xBˊfID|>v j0`)3R%awq/ np}')|~6]^U^Eм%8zo5_5 |K~3n(bCD0w -y\;=|GM 6t~+0QmpH{5ˆ]vZEr% Um#4F~.|Pŋu e>Y9jGz9 :LFd`\j­w.*I0T_I8cDΔO %QF'#ҁ| oshȊLVT ֓շɓ ^qV'l4ޘzs] U48LFN8S 늵I":S )on#n=m<)m!C!U}*_>/J*"},[Vkɰ?BmSo'kea! ]k&'Y֥ ]*c=kPk ̤ad02ŇdJ P)@a cy]]z(@Janq [0;GnXh7Kُs7~AܷiݍA XBV{F;[bԞ1U1/XӠh,۰S(Pu*| m!yO,.tyCEH }gLԌsFR\N5~"˗j"cʀBqh*i[;ow+ 0[aeۍ` j> lJ(ڎz!o~?4hP7kaziǢ[ŢLKu2F T=x-)QDuVnylHQ,jEZdC3}/J+mYRwȼ Gm:$/J%|~Q + F.Xv&J RgZ'5{k=T-|sH;ϭ-K;(NCRT<`r|i날/_YuKmox6śG%ۭ:{iŗ QB*LWa6|?ph(e9TN@V`!iqaGA[ Q^WCɁ7fA`%C!q/h% p/;ZH5]a~t:e( v8LݿƵA|b~@F]Mq1L`hsHQHLq(U 8̈U9sRzh` beu/9KպN [xZzE[G+*3-`=ܫ*mήhR da8m!Q2(m.}g]&Z:Н~*SiS-W+ _Uy`.8^wE neJ0DMq+gPۣz  F-xȺ\6(Ym.KiQZ6\B@Wi?{> o fQfS9Uݜ.u](v4 5"S i% c<6bWcmU$?1yx0$[0\S*Y1+HG2> @$$my[T~BoJr>DF-,2uS3pL ? ȼ% `S]UD/wQ(DF^姣u?q=yަowXNXslh&cOzZvilrYkeY_?/(?JȘ;G1r B{De<\,֫K .82hDJ'G{ -/]P$^C(DuqjPhX7U%Prf gv.jW!'a\6O'0,+iœ,r?'GH&Y Ivh7 SY;U/hKt2-Bp#eaggs.0Z8JDf}􇚡*1 : Dxӛ34e)j uU1`̉vSF.:*n:F%|Ff֣y(#H[ 1ڿ,!fzht'YaStءx?R",<18b5hB!~@\ro"ỦDSK؎Δ۷KUԊ&P=\y ,vJÐ-~8F-Wf$1,o6iq-qwyqm#Kq*A~wY;o1w)&vi |94Ӧn̂.I[v{;IaZNL`=9ڥ;w:O=@q[V޼4!"4؊jt-q[Ls##!O}Hm\eI6;6Hkx/a i;\T tISpͱz"9Qfјّ)u+gn%>r@ )j/uc@hO }2:w? Apn-$udTڇ"k;,<UKF[S\YE'vĦp?+%o7݀֋Dilotu+ψΓL, $leySi۞ d&+\{ RQ˅W) 0p]7E{ Xڧx'et;RX< i7YW '| ( K%A(c_49+MY~$Fk'd|#}Ppx@^NiiCdr3ȇyy5Tˈ ^:7t0\;Fź8RrlbIr+?kҗn1DK_ Cl=df_$b\DwE5Ɣ+Y#ӠHhh(f1v?Qk Sы{yI d$==o60Z3GtWG))c]tfs!niDgyI(JW_);G8|ZX"|u(fx *}wnPYI><z|tFA<ZgYZ7zXZִF! oU&]ŗXi%n;gu3'}'׮C č{oэ_TU `~MwqP.ƫ,iVCY$пSv;>)wE+`c[ǩP,h!Xeʍr n > C U0Pn yfx%ws+xl#S,>WM(xjXCa[^w)8nj]@amnث훹+{"ףV<۰_HZ S$09t/á?S^vGv*cĂ0Kp;L=)p8*N w,H$PM2 S ʵx}8g IQ4u~ŗ 73!;PqNo@1c˂{<8yOhFVv 5踅 O? V4} w\K}9TD&uѧz6ɛ+9=u^6HR11_Cr\y DzmHD Q%ٔkK Sg: $y{TzuZ5GY: [/'LI~}x\Mޏ˩$K3Ņ.?N3tYLVz%qg]8' -l,FUeLjWkaxӁ$tKVn0DĤtrwnk*$nS7(Xa,t+wrUQ'l&O锴#lȁ !v ]^7xZO=z},qg6sxrwl[)mT XUnJ]\JOT`8j~K"A>Cnj~_˟^jL JwQJ]Т,VIKd=X4fZr2,k ZZ*"Ѷys^*KFep5%1SQ tr1~S}d[jJ5{7|cʘny@t>Vu ׁ-6aWkۤ2[S;CxQs|G Ldu*$ DpoIj$,gaBǥt -aAm*,I(Q%^M!Ͳ+PV j*el}/BMTY|lE߻bC,y)&ysj;ۗXKl+EV@kRƳ E5 ?AέE+M0?͗En.K@"9YhpfBӈժ*2FW{pnۈ߄|iLCx-DlYX[ub|bzU1?/ӫ!pֶwG ̀ \cGkoRYtI2L%wT?bgVB῎[DeCj{x@ t<0K^DZXoFaDRU K]vW87V8͈3ߒv(%S3D%baJWGq\[qEMy{LU 4iqNdSIq&LN6֞у݈6Jdz⣣ϚO:$E5jy8s0LxҏBjDD|'U(n @H*Ȓ=j.2I N0'% ] u1 ?(DUס0k d\--:~*`Yq/1؂qХ4n YOVM; nUMC\we.sfB[ I"34KXC XY(~ Ob`eHtʺ .{{?P4[)tnd6?7e`oQL:{AXf'hJ: KǶ2=|44|󓫮}UDM+Sc0#Dg9 u1>qDJN _G+6ckw$}/zMCƺ}] i֣7GxٲUyAJ +3;ggA#T;P-t{_ĝ@)˴6Mz /kqΠ2r ;'h:ߎ j6賘#u >1GY}Z3*`xhѫB*hfG~duݝK~G+,di񥲗xXrĝ]7VZ\s'j]U@!.E"bL4WBlU{kjQ͉Z'pArnlFΡO' 6.D ;<WelQ!X̣Lǜ - LiiH"vQjF`qQI ޙϟIPx" ⳰؞!:ic( =F+ve!7{sl3)ipC4jQ(T}s*Zy_4u^i'"^cq-:HOmNg᤟1L;quƢRS[];G}xx\&3d k4ڨj,5{'w^F>P*BZ'F_+nD"5|;U썪S$c5 3|cHrnb굳Z>5К|&'p]65JZՂ70} \w3hc/R(mqǨ`TBtj*b?CLtpP='B=CJ}*^dg>Ŭsdh9>^TF?"pe]ޑK>d;tG@Gv @B#ٶ]8'/zݚg4>n6U},팘ex>؎,]w&ɾNmy5EE@8>nOZr?94o=95ߟNivTClTpG^ "Lsba,jҰ?8T0S(fzi7+ÈlKtIM~ ȥHG.''%MjH83Q!Z E7!k߲&ZDZ{#ΩDm5Jc C)c;Lt|Qbk׳%սk6G ٦8M~rVi%-EaQ 8QILyN_6vz0l>Y>\Kj2L{6W̧/ZtIĖz>]yfU9R;9%P)!SHeO_>,s>!/b3x#_+ Lj u>< F_f^0?WE9ɏmgY( RW9&"\Q- -*mZڲkh]WEU5;5JM' 0?C7㥜R!)02L v١/ `ةA e"\qrx^Q4;'THn{HyR{{ڇ/KyƜX%Z ZEvӢ鍊 La'X# c"yCy"Z">;9JGp󜭏mb5(/EHFT|fDqCı'!HF߱:^G8k7!Ad!H\%Գ̌KGJ3#VhQK.+Uik\$A+?5Y9$X'NH7'g1~794]ZpZ9.LǓ@Li6B̈#7--߯U)Aر5zxs,MglEimuߟHdk6CBtz뗂ńY(4`2{j) ^Ч2C(zˀKPIhsB9Pȡ|{^aSk W^۳@dIrۻ'ېr/ ,pv'O$!v6;V6Oxr9.(Eg#+m9d1@u5RKw,֘ Њmgx=h ª΀rͬ,橊F9r^5Bbv4_ 7Jy|dzB`ԦImT鬽0A!e|mj@<<{n8"j~vM:,I$FWSγo m,%7PH!T2k+Kb"õN!eQw|:]nH͵G=5fRM bXZހovʿ$8RTލ9Z>~[jnoܫPD2yzcᶛΖkNyod`ĆjNUT-A0CsG2}-Gb.I17<;]_EMOֶ+ :GM"V.բe[s:.đ2mtuLSayM&hʟa/E3P 4(V%H?Ex(]d¢抑qoTh98nD1Y:WаN \!DgChy-w27]SdO0%$<QǾjc#P1lǨB'\|yV:"M^f.ᐸnAk4jE8\J''¼ +t х\`Ky2G=})gsELea*rX"'J[C!2l1 ͻ)\ w®g;]ç?2>YFa%0+b DfXg7H&mOL< RgjoD1K7aJt|7op| *$):/<9{l|{X}k> 2m-sOrN9'Rc.Ȓr\%>&tv&GUkDHBj9ŧXGwM/60ʐW?iPBHb7Zgāl({EyXº)AK6緻(>FyheH)aΌTfn>b{YJT?>84e{-=w@TvڮcZw` !TQwxzM !bli<5 3mJJfiY}d>uᙞA|]e,#xD;F(YGV;M瘚k)Ínuyǁf^@˘)NG'AH3ejZm=~OUM:--OpwBn!GPME%985$ ^@իAWE }wG%H;~6, ?N=*+@OVXȥ2?dVBѳΏ#@U鍎_ěH>̘0?/c6aQFzʞq4 Ӛ *5hd#eD?RGUڠjB 2L}Jh,HA1HTFJ!JK&nH\8w{[LW2OC54#fB k*:rrá׀|Y+/˯>6G >5Q{z5m,SɫXYPj'q'pgг ACNߝOGӹh P:G~JP\4奄Ц&ج[I}rZYr|DW-67Fhq\-(A=|vVAyhT/eTKHFZ8B\<<2qpсv@uW_}zV=W_Q|F ,:=&`'!av^}tRV/(@l^#>C6tL},&f1mmʵ#3P,n=./<7!299vgVrgDD3yJ)6 o[FοD'dUm!28ycų"=Vib S &92©55:ͺf7^hgךjVVtE G|m׿?  %u'zU[\%KlMBip>iƔvQ[*I-rJs_`֞B<,dm^pgV3_`c gw12j{yUJJyiu*4-%e~Ou?L?atȴ``SK(r7EBt]ZuHƆf ?[}o`i%eYBU&Os K#f߾_A ZXL5)E0'լw&14gQ)b+e#طۏя"Ur@ALB mOUApOw뽦R-92eؠL"Fw9z*cVv C6 $?dErwuJ +]2'ߗrME{tNԨ?UXfjwhTE.^S+6Iա :.",*HֿjȒF:mlSw]a;['tBoZMLIP$d*GTMbCdžTwxEYMƌO'9*d!E]OAP~!\-9!D#M({vy 9e4Hx*.MJl 6]?v}jWM#aehia$pYLey`[B-e7 S%ֳ>x!հ/IT ;x>%܂ʺats[V:d4;3pc0 ɯXMӦMw8 6\]#{y*+D2q 0þΰ6:)t2?t;]oջxHk(fZƳ$lzO^;*X$f k'd,b!o*uYe/Z9t_a780/eU_ M&f%>ȋȱdqm"-0;u\PK@Z#(YQЂQ) _DӦR& PB{'!I*>f3lmD\tb}x2FM\8\PE`[1m!~TՉ8Qq}j Sɵ˓Жx=߶GndguM1_3BJڤJuo&TZvݟ%fB,=+4b)mj a9ȿ3jپMwӗه9p-`6Blz r/lտLEP9h!d:VF- 7u>ʐ2?[ĺ&S5u3T-ITScj~!n*דH͢wfu@27tgLV \yK{Nس!O+3N Q'Vh`Foukϑc8e(]YEuHM멲TsJG`3v>PȲy+eab (Kt2G1g=<څ7./Sm,CO8FQ40@b}kˀ^" kߘ\Gef):GGaZ9j\\Pm}Or i[t֤[^۝mRʹB"M=d.ձFOKfHt\%z$lYXU.cnC||E5U(r">Qu0`0 saY<@b+Q77\sb-=|C3V=Hfrձ_ a:ݶdlԙ@x%꯳.a4|h/7^4Iped{W`lpĿfj)qe-*3澪#x`aur4 7E~nǮP{݃U\c>J8Ǘ/$=R;cݤoB9F*2juid*z/ғHˈX*(ЄrgX3o[ˈu0/S<8(b5FR-=H&E2ѳ @~KWJRRr>Ed1ʹo :r| 9Z! &O?J uP|[S Xw]`hr#}Sއ[*X~X&zcbzVŔKj4Em Զ _5($㏏ԧ sTm(E<.e&CIDjUP訩GDwڴE# o2[4uLvǝ<>^37ZvCEx &ު3w}P>dŗc ù |bMa̘k{k+UU&?4W^?q5SfeB۔?=t7S[}b X?y;hf. x /=: ϖ{h H^\[e4rb m-ZH|ZK2kQӻʕ%p,jkM =h% \ Migۮ :L)]3_-3y>*XjX i% ,ٹ!1]꒭MiS(ObZ0_`<[5(u~6sHyv鹦R#iLD1RN|YW>Բ)"}]5 0%:}Yl90QяhIzdkNȝ\k{4}}4}|?v@h>)T}}a/Ǽ9\ÍlwտBB-5+=*+uĭrcʍ&Wp]:PXª Ff }=+b'n9K{n[)!ǩQ>-k^c|&*-A)i8SzSn j91J*a)h$rqs ڇ9~,EZ ep G|?(eEfI9 $e6 VȺ)[HzϏD78kQj'HD;덍 ᛋtl-MY\=mFY)C.\zT:R!U >U3|YU@3RcӑaRDJ0< 77+t׋XF}r_6{hZg>fDGGjߜqzb7ϼ4ѽȶ7H++ }^;UP3(O+87^Wk v!9EvnhG݅*֯RkJ{E9X.:(W?ԚpzD@C̖tXslMp(ȽrtoF|o)4W`LqBЄf4M2$(3.;G}- 4:IOٍ!^0^CEP,0nd&@i(:^Օ 2G3UίI4*= Z'uΙX rWNeg$@ϛZtJ?q#,ׅ ,L{º>[Kś}V;d`DCRm:w@|:XTJUyVpA6 ٘ ׂVJ16w˪DfTl2&ҷ`[^ }֥T=T ՍFAڏQ(qlueބu䋏5J];(g^lMOWY`b Kؖq52],LHҼ}"f&Msh,d$Q9L&c\ļU~krv>%T FB+oؾmqK9|yXpɈdmgyc\]?^s'Liˑƀ;oyWjg뷲j|Fȥ4bP}Z2h-'/iC-v=(hn_6#sI$,3v^߬em8%3c"`v/նjzjy>( +L+҈-6N͈:sE͐i?Tv"!l@7$E0+j#R?G V ]D6Vs@<'- E?12+`Qq &hpd)!nِdU.:Jp@ L'g f>u22&vZ(KD]/2IRL,Gv Gadf $;fA٨*-$ù[aiۄ]0z&WN靚:oX*ab${dme,,@< odI |&LeZ[.=]W" CgÆ?XߖǘZTJ&[/VT9,R _bJ UejuޑGH?T%N5J#/'"-Z#_r2QǙoėULyOWzDwnud; Up^nNP n7,(B}mLjz@5[1uL8.h3 չvꂑl` `u qGm!^v`hchk}zo6k08%ƍNw7𵈰IV͈-"wN ՝g^ءWR^ pv;FFFYgljG0]E g/F]y/]4F'h$O|:vNrbYmVnyQ_bttUpƤ/(w'va2n9+!; 1p_>]#g~k.U7"g|y>5zp,)2Tq>k 廂TKgK4'J0@O\SeUYUji'nj@3RqbD>-&kY5~f|ũh(-=B¬#gj"lkz.\rd9d|V^q˜%dRDi6;hOgͨ~ܮ/BYmg*~*y(9O?<ܷ~<Qou'C c%Ff7.!PHgwS0ܴSǞzt%;ZbhK5Hx0<~ܚM(+/"bcȞw= ͓K>"+P@/tA@z 0Hj#jgx1Ȕ3H; dBD,S6=pWꠀĽbh# Ȉ4%nq19n j {k10b(W|2pk-Hlqyj`o/Njlt{Y+)qpaCzxtQ6:`gT'Պ l _V{TXe%>" J1lՏ В˷Kkv"<=_7JwR9+R=?7 j$ӗ> }#>K(g,{/LMB6h Dޫbn W;R$)Ȱ}TgmΝ^~emp]7 |X {hNyW;ToRDq~O-=ErU9z]5U;$MR0eH  J/0bT5P^CH攒5u݃)-%!Q_!eȨ}}x\Vx*@h4Cjsg1aHWC>fQATuco^x3~Qڍ: #\9]70%2x֍gmȕR9蠝 Fci !o'ri4z<i =1  z")PG bG\YkiԐ-6,K`YIE\! `Y:7 BK?.Dc*gWOuGpI22pnz"ȡ_; nh:JR臒DķL111n"Ĉ?Y0=.05Xn7P;لVjseI;<6ޤp _EDtdޜ&cŪwlXO iE8\{Nq{bM 6CzǼ[|Y7K7򏉳odi/+-OwOL=cs X@U(K@5g67h[L!WT6_GٛƥӨLb܄gɢ5 Y/,jgrryX:g!.p v7^Ri}NeT;ݎ-OkѺƆТ%m߮P#đ'0y(C鹔 @bsdҍ>ˣMveToU MX❒΁#t/v<esS=ι=w F,|Ou$d*rvDݶbB%b)h]KXN"Ϲ2} W\ѧ\@>@w] ɘꚯz!:;tJʖ[ VGg ƭrυz~p{xs3&BO\T\P$1Ml.3&wݪsd!2*218 %2l <;k,c;_zGC okonVg (SE+L҄wVْp:P⫰2Zޒ.' DIa9$4X:: yY+p xHP >Z qOzT5H>DpQwM=-"tw`aSOzMS+ɚ-e\ю] ؟,)$itNyV%_X>w$@ұd\|UGҡ΍dJ]D* ̞γ~^3ϝ m-"F} ē)2RxʾN38<*8qOuW B{,0` gx0ΧAcm!yǕz'U`&MUT= \(NC+WVˮ /V =8\ p²k,i 9޸.?ۍc>=]mbŊ"j瞋e kudouQ,,,b ~$nx7˙J&}cUw4y3\rf*llV2*AA{nj0 FŽo>;ںM8P0yTzF1+biDȭLC]$~^}ȹ`ZR@)[񀆾ZO|DUg2G’ N,xFYӟUFh8C $Ƀ_)}9_g7OGʈtد#8J9+Y7m+q5g~S:'2 8rAjc'++B#<5SuN?* 46;a[\`Br).w>5Z>'ӑՈWv9RfwL1hr'=onɬkkߋd{,9Q;{ҾsNf8\*6q81ZńSG,8 ua)uSB52X7{_lK{}M G4,oE^6&Sa3RCܡOf3(^anVplUQ^CBڂIZ]pb%. z4HړS IOwu3͢d W{td%n6MDi45;W9kJ/GX--2W}[҅?Sl@3FMϯKXn(;_^JΉvHS0Q8X& a(´Ei8`b|? qjtA~DZe.VU)0fXRb)\Tv"%)/| c c% M8~zqHD#vᜃ4QH~K1shu ZD Odv@& [2yqˆrD ||E SYo6%3ИOoZ%bcCB]C(U{%%3[h=Tв9Gs!tE\&,fBmgKX&6iCx" )kq,qf{Njcg"NZ2Ez!4>L[.,zF__^31U=B%AZ;O/rtX.)NVxuGa2@ "R1AL OܖV9AZjWW)ZY LoZ]kx~ Og`PRà;~&L+wY“N.СJ-Ah06iN@dxdw÷tndf7so|H&Uč46Ez"^s2Uʣ,㷕;$SQȷH|u$(v`kB]5 8!Y#Nr<'0C@[ۀR#囵5-4}i%I*GUTWYcm|meq+,=p"6F$>%*}ӽG[Z~S#g%6!.;r`{>%AEuT_l7R9ob;f'*)z{Ѝ{{FLu}j蕰XRW@f-N,҂_Whw2 HcJz?Xr79>9gҋS$_9`O"[ih4.OJopШLflikâw&CD<Ex>T/wHCH62!H|M۰!O#tC>m*I%½Bn/hW+*֣"1O' 1shR¬nW^aˬG?́aֺTI&:!3e 7h kLYL<ӗª pgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525f0813a9f56a3d2d6c4109d6f2e69e96dba8c55e8 0d478e826cfed34301621c7518864be826eba704 ec63f14709047f60e32a1e7dfb78cd0f881cc4a0