SQLite format 3@  . BBh77otableisabelle_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 ^1 $ ]I]HOL-ODE-Refinement:threads=2elapsed=587.763cpu=934.376gc=83.580factor=1.597zXZִF! } @]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&';Rǹ~jꙄ$&^r?U;?!> =PE.ZCV#Z Ll S<Z7FIVΚmlZ'Mp|C \uZF#@Zo +GRʒr-1&HvUra(3glc6JAɏ@3@6{.y2(l}T]fCmjnUp䓧5LilK.kPC'CW?yת-ґZ]Wδnillw7lh]81w)z:&I D bz33zRz[:2U#{CV) pds+n#^Vaŋ;Q:6TQ![Q/toGݲ3c0A 5#μ,? K *!''=_!:$a1{03AMLl^ ~]X>yN@AӴV9v04Znˬ';nƓeL=iӾGWbe~'{Ǟ-[#̫qI_5igF{w :_r*axO=A"=$)=^U6 Vn0;y_pªl[`717v|'@}~3n؇Bݥj5A[77{p/e2dKt /'mՖ*H[Gk_U Lyh 7by%LۺxCǢp i^rEI%JˊZ7v5s˿]-M9VjeOJ4m"{ªH٤ `j-%ɗ;PrK@ ݪ FjNߤ͉qh$P#a̺$OJ ;1 ʒ'|QYRf!|{[rrkXvPB:$ iKGQۆ+ $q)h"F=S_hm'5D$ȠI$e`Ŵ m,PM;f mjq1U7UZvʴ$ǛS1?sY{>$jΡT(2A2šqp0e(ܒ\DwekoRU.c 1qZՐaR|zˈ{vbޓű$@~C]0kO/h bl&{Iɹԅ*RFzi<. Vl) ؗfb{ǽt *K`x [ ?c`6Hg:AQ:7Zx)4ϏmxO{5k.833 ૧5uW|*V?VkOiz  8 Dž~Z~|P(т(S cToM ks(# (`#f6##YV+vtcWTؾԛB_R:4p> fdXo2 \'4ۺ^bg Zdq.NoE(;rCp> b\! zbT-Lp޺9^WJ <*x{Ql[}6y8y$ TR0ԏ1[Ĩ t&p\\y$}ٽQ( u}mU3 G@NfC6ކJIa"F2/_@WJUBV֛l F 0瀬|_:NNB ij6;2GLw&Ĥ.0a!9m0T&ٌ#1Q±.mGk0n9PeZP4ewUO SΞM@Øf++[D5d}lKЅ@ > ΂3CeedsNyO*k::յ~6m~4qȮ/_c5}9?aLSS{4;\E*l%!fϛLZ(nv|㊬0/G[>aO6-v!@hߤl @G+H +iگcZzZxSi#Dw,O5\l ego%+68w%o+B6f hLZYoе  9^G2}gDbuv处nXZHR!ux' xӌ$S}-xW7Siߧw}.2|P^>Rf71&(W,H}I %+{~N?deUF5.a?_~ڐmO(̀ߑǘp;;+f֭^E0ږP<_3@0D͆x<7lNpY](L~ߚ :?D1Yҁ6dФY1 {kF} oe8AGrH#vӘZpm|"1nɄ-|̷N'HaѯY`7Qc5(.Bf9? ٦+\FQ\??:ZC^-22]b`Xէʜ{*=Uf~ 4n<Wi y4ל qHqaNp΃vA,y{\=<%-[;ws -b]# T%)M{ԉ+e'bl>:qpMc6DmAɶU32tr,KPsMjM.⭾Ā:c!1]#dkjjH9b130x#P/$Сˌqt=eVxu)Y\kp>-ekȖla%kCjjo6{%lA}6eso7V.:$Ss%+~0L20m|.17%VܞeKԅbpi!Gryb!LX[agC'I,6Tӆoy62D_Vwi%Vjny G=>Ql_i7 pU#gNn#Tq}>䥌2(ryē*˄ uA+k1I"' Hcz [#dV#bQO*6mB| )`tƟ$#|_Y ;rޅVe:;ݏ \,i_ȧڏL7y4-uyY0x ٽ!Ψk!}Q"AT1! Z 5g A C$5|`ZQnنݬ@FN''o3j%]7ǭ'e߯y+q' I3QI_.lX!F)9xI[l&EWfIuLŔ8@U)|^+4PI3M$EtRs"eq j! 48: W- e(X\Y"dpv\s)|gV2H ps זzqW0_3bT! ˂]k+EK(I o=vab!UfHVFXL4*R.lRp苋⑞SE -i3hg}98:3?\Ù51roՒgN~FMe$- dwl@ PKM<殦f$+I޴Ș}/y+mx^溓;ѹ*%lxݢ*@V˙Im3!+h Vx&kD|7`.SdPW%sjSVᕈ.=c_g쩄;(Rg_B0:-tb'M&]G]գpGn2]^,1B61鸳OPCqff+W%W\2B]萌F|7y3r:Uy;$# w?Eղ.Tk8U7J˵gx_ɽ=2uOqI=nd $~|W-TB$y>ou4T)ZuZj"4h*~BiK7GOi&Q P0I$$Gij&BA[aъk0.|9ȥf]cxO˥:CX:*j5&%e$2e@[;)W+$}`Bw|َuG.Wի Zi DΞ\1nuG1q+kY8U%3͵3Xе.Lըb3ٞ 991,UGxbSa80ziՔ T6M&(%eQFD6ѹT'Gj=0u0gBT݄sMq_=#Yg8BeRf5|G4zV1X]''xrgG$:ُ{TA`薊k]HPX<99N `~ hn/ip rٲDrF:2"H 8~⼗': dĽ1-NECu]tߚdr 14yU#{0{k63G4dҌDof1Dczb|sNQfde.M1%0D.?7 2,*4wPdo.Ijl­1\ xiIٕZ͛cDq2?% 19}8v\bwZ*C)deX!&϶w`$x>q6~BL+VoCf{M S{LtBԙ3VM 4@ڇw̹x >TUjD3rrJ%oTXX+Dc;֌B2Q=EGpS >vpf/›m)PkNBԠYty瑊+EZw^8 f`iR pf 5;MWtwhG@)$_k" Cnh$@v](?up3`lWXJgyK%]=8XXEɤfFztŨ|MTl9g@.gYZ7zXZִF! *]ŗXiɟ*#; )zhWfLծYw z0dTSjAR4gA&7(P4 r* ޷W7³)! ϭ6LJzMi$T]'v]f |Q ̿B}V+!c 7~Fo!5t?N ?ا\TpzwU6$Tg"(?7 g._9Hn7VPQYl]Vk6ff(skosp//[fSBJ @YAr@̐駋8D۞FOp4N:4 X\=' -=.gl PF?v jUߺJrk@!x-_iPwm')dS^<[D&gM\$~r7h33FL#sǏy}L 5sD ^+$ny_@c]ppk'n{ %0+.=yhZZׅLT4? ,0gS ؍`AOTtIM`d>Ï{(-|r†D#;&oj˥ɜEt)PROaubݰ+۪9.ZиAtr!Z?:#~; 1p=Tg3"׭2Ϫm_NAkĢۉ*zC{'OΙ(2|[/R-G7koM9[ZI yaꮐ!e)c oNy j]4ckAJ5*zS^I[[H-!*ce/ePu,1lypy(Ƒ"b5=.;\Eyj\p?tEMZHC 75|e>?P5yLkTuJ3*wGdM}_Q+ E.c9⼛q.,ꊔ(IO۪.3+tߛ{Y ;R#čtɀ\w{+r̆!4r6$eYx1Fx͙Q1.-$k)<ɦWble41Vz$dOuFw[2f۫Tr3vz)΂]X+9(xTgz!Dl՚EI Lˑ\F  d*Ͷs-݅ä*ʱ J\)LUkZ50#z8t$ ?2>+s8,e?OF# 坓f4T{1]Ǫi?Eg յIk^)͏ڃgdv0XlKR$g*%DW46 _- mہf'txLl采<%ɨ4nK 8kIʥ(mH3gPY]\JfCK+fpv:`"$#iGȟ?b20Cn 04 |njH]$5gi>ܝM {4pmC$fH 0і1z==:r٫5" %_Qg,lp0 w# -mSEuPSnPZ~uQZ+ܘS][Ou!cXv sᲲIm QvrZ:tN/3WhB< #d S.s^^20>& 8b8$D8jQ}*-3 ! YX9p کkd#0_58k-8?9ZML=@)pNnv䔬U5r^Cmz:{AtP>̴zB?<(524F#!?Pb)fG d't# :흵nZ7΃mt/w/tw8e,*gj¸aLsטUZpgYZ7zXZִF! ;'qy]ŗXi%6Sr\ boȒ[%K}sje$%7 Mř%(atVv,0 НJbgbDu]vKxRمvi-\sj2s `nNnQa_6 o0R)O-©6Td{/X}i8{:66_رpP?Ptk>A\.%YˈPC=3eK<'[k7t b@b|ڳ.:Lc).[,r(~G/$?xTylmSqrpvSWTq |pq*=~9QdғhE䣦A/-y[ =l3V(` |g3Zؐ*8 v*LDDL|\CݖP,i icNԁdm;="gB Glڰ+#HW;C/͇k)g#ofrc<QV5 / _Aײ] ƈ/L[EXXLz3,dGt[xi;q`pYYð8yqT Ę$HAH+F5gpK}*A۱"9x!酎3!Dk Ԛ͎˕AY\!lS` &䪬_; &UC%^M]Y,N,ޏc(JBOse^KJ vN\A&JD嶤pďJ@.+I%heMp!Me+n_b]IeSPa/e *Id]<ix4\M}ҩphá 6'9QM3sxs!!@V$A%ڭ6F?&i@{ W_ pvnBrK^Ӧ<pJIWA_nyq >TC" _GʨӼH tP ΜU6&TVnl{${kT`HxzT"~fDXs:] D}zxd~/(M? |Ey&Q;dɸK@d:/_u.-#[KͶ&|~=RzюyzFlG|tRY>Yh{2izmFxӨ -hT^8vL? j]<9xB"kT- nDg_>:k]vA2<!{h $LFZt/+\7 I X`Lmc4{ZY"~k;hS 1AHg`@GK|jt8Gcʁ̏xH6Ъ`<ѣS)6zŅEey鍤9d,qT&Cp;7ިQI\dBgΓCHxrVq[Q~ԿOyF֢V>ܮ_a8w,|<#&jujӿ3(g) ۓ;V\bjUdj]ie-֢i4eHQysU뢷r:|xӟk$D AVfR4 "7g% }ru+T." 32F\ V1_Aq|`\I e%ף] 0 ]ܹrӦ+}?alOfEP2 >0wU fם,F:J2Qh|jlJho@ hDTtn[nx$}c5Hi+&kG?5Kmp5Oޓ,/dc{UnKH?4y*YRH{W@$&_Bq8Vǝ@T8n?^v^h:^p0of577="h8v2G3"W@c=˟< 5i{y e:sS "L&9aO O玂-.3el#SQPuZt>Ѻ( <n/ߧ}2ZbV{+"5/͝ȥq {@F~u.}. V U*U -҅,9_яtZEFY.ɠ|9tOl+B5a П?(ؾsb ր?BrAJWuw'Z2_6*;cGd^>0}.]Nm2pms#f/kU2AfU-Ba0l[ Dgl@ wvF_nCPYnXb"6`vAK]2QlT.\6\]LsF@A;> [~OۀU:ϸU2!X=P~%G q钱Z!&"Nz!:Ɍ|h@1iye?1hG_L{%ŨCT<%bҳ@_L. \ &:16Q(NNj%75zp0L#i/*\\)]..4.puS|s's5 h ݰʺjР`[ 4V-avAf&GP.i})_y3Bq2.l/nS$p˫4_l4)Tk;ђSvcLH]EHBZ  rlLS t^ٌ熂/Nmu2!ZHm Eׄ mN1.ۛG ^6qÎn(q +Qewa.Fl.beJBۙ+DA8/\+dZ`~ (7Al/xƻVGGp$vp$o0IJIVWƗ>0C6Ξ Ѿp( WD4'!r+4sV.50džk"W[%0ecFZ(sbC0C-Km=&6 ri6SG‚%iր$`̂z+5܁[UZMaˊ -FD20j{. XDCZ/tBݽlsI VdK(ÁWL^L0~@T46n.}vr"{{J9scs/ הOG$# "CHlzxG}F#^8ߞzWABh#Pp_Ai90=}F'OT=Zim2_%GGǜ `jB}AFh0"L6ѡ v_>&@,U'(&(-4{\~f}dP-{jw %GM}Rh( ?~v'@" j8wƂ2 'M.; ε*m?~ca#SnS ak!mt,zmNjR*|V\Dh`6E.+HH5zh!וP4h4V@ (2.l;P4Gżdӫ?J Z DO"γ _!3r}[ u/e ta\o+8$nnk?{r' IfFFa)Y.}I(~0%DA:ALuc3TAQQHaxH廍F5=j6 ;7ۧLSyyL -w$n4\Q%haśL0zEIZ;#g[g-@ '*K3#PdզG>Wg%I\_ƈf܉T=q@I] dlySV2nila9Wv ýi,pSZӍo+~KQjjEp!C3Sb]ΨmX H Ө\ eFVF?e!Kti42m(L)\n5 5]vOr<O#3]'0:l<4V݆%' q@: 'u9ha:R|L5otIbk~۴B6%.,)0X[DaGb yRLDuW1;q9(U5QJh&5~fM L'6+wdQTX*+ I9GS~CN<%'!G̗/X,hkF6σ@< ?bh7;^WgM=g8Wv< ,^ O'H8 ͞En2sx@΋ ic@`>\|06ƶ!X0ps_u0<$A%=5T̵ﻱWEM|et&㐺 p|k4X8o!JH^PN$}S/X\LI*&1M=tPYQU607 kBEjg i+2ęufQjţCw b\AMOII]=K *]hL>"W.5m$ s  0C`84xxߚNXapl쭅lnXP-4L ,DyLA^(W&C6V&|)BE]lƂx׼ɢp}"rE5Xh8#Rk(?BܰjL4WA|l]P ґGfBޔXD4 6we=>-y.? _5T7 ּw ]rFN^7H<T_q ùި􉖟 j~jR噇=WVxZ>U=8G^+mC>Byk^euB]ؖj~2>፧]U&}w- o)FDxF~5W[mIUyw 5{`כsi);ng!H5Y.URB@5b`7H> iISFm\0c,桴7{AZ=&bL|yLjK/ox;6J72RIjYj i!1}D atƾJC,nԣ1 FYH)y.͕MT : @1; WILd0SڥS)?GtH[ ঃI EeBc0ӮI`l^f3uP #Vg&٫k\lzϽ2zUͨi7SQ1L!^ mڠAF%e[V׊v5l9v@XBygާ]\ƥ:2k=UϦndqev3D2D JlS*Fǁ_C;!wYU̙|Cq**?V)KVunj9a-ͪg>8{j;*hUx,<-aad1N!`);W(lg3oL@eEIz{ S Z4{y-11k͂c#ԍ(q3<+yzw]T Aju/,V#z 5ВTu71%&\ѣc5-51L֍ēn8i>p2O$m(Sot6ѫLOĭbI0,9E*wжRz?f<;{#3'v$zEE6ؐxAR V4 `N4Fp1#|F7HS=CY|V'8Cs*4g$Uɶ @$NNJ#t#0Oq3!4rX~g)&\}KԀ[ygewi?y!y|~.4sni#>{ 7?xD/{sc%\s* %KZ¬[_0+[ǡu޸/{ϧ\g c?f"O?! 4ѷTEz\u:GgyQ)VʁX{R96&1^qo4ohLW9 6S1sO٣ ktQze0 QX,耤&7aNpVdN!y*_p/D|i~Ld|Qt}:_KyY&g $=y]G5]T3tmS"J͈AZb+{ޗ\eȅ_RЪXDr 5z]le5T.ח{܃{,][fc=iф@t̮df/bIH xa8r#}5|(p̀Ft\d\l|ajF] UphQB==kA=<Ta?Tk`ikޢF+ p1F?P^76\@S;?ȞhT)g\yePt}/ڞqa$V_| =<~/~82?(ȶg?"a@뜫Po2vF+y M+ޅ3S=|!*q.I,9^Hb:?x8j43ajSR*)F҉?6 G9t5ʡT? mW BN0Ed 8[s[S<ٽ0:~|OSIQ.irb<tFl}۶go+'ǐ荝j~)Vm6;$L2+eMV119%O(0EU'[=yԛ" ZVW͋fޅL?<< FDF CsGHiQ\$bgd(_qjt`#wdh/x ظ|@Xa3^g`4]D,3ں c20'AM|m2awL­t:aH!T?T [H9(6Iz}7S@YJdr@< q%Y /%f3Y,CdhIN+]N:|"P3J[ͼ!nQMSMN̗N̗*gV~}-;b:`] q/RlX뺎aցVRZ|M HF9.²ex-R_oW%QRD,3(b/޴p..B#/:OImXCf%l$42jҀM jBD\tz;#۵j.rS!OX(#e`<9L?E^׳N]m5WTp3ϋyJQ TrJ'tϓv`XU0nx!)2{oף@k3KŘ %!p c~/Ϩe R;WF +z%a|~Fr"[*|^ߘ$xvhrcTv)"O%[/!K;$V<16wCf]W$'Τ we}P Wd6Frd2bhۜFwvWƵ|1:mH-^(++ cP<GjfMPe' 02fx3Nl-Zz={-U]Ԫmұ6GJm^,U3Zz`-6]4`_LCK,h A..&'  E ŷEOH*[gwo*@a ]OԳˆԲN0FE%? XébjѽrBbm؂vzb=\^ԥAk'(;%?oo}6$U2/2w*Zb[~mgvd]O&Qy5ܮ d G.!Ju1 -.,qAVATNd"v0w]F@%_+ݑ{㵖:a-{O[L,KqDaK[L5sx%t Y@L56{8iڇ{ahѷXP&6YN+˺lA&[J%v%Y+J;m,Z9^nFPQtZƃ/~~"dphrFKOq|Cg{F{IErD} TM˹{+ yddHE7 Y3=.^0Rc>ei͈:Ȭ`al` Y lUZftg"m?Miaj";O~sWMK>yn^QC,"5v]<88a85 yd| ;9vlMd n'Z<% T\ʱ.6Im:VQ9q\9uHӛjUkF+i2$D2IvUp ,I+"\ApN6W^me̓SH^yz+RV5'ԫ`-R#@ ?T*<+L<+.EFjI"/r- 4τqsebH_"<! S{ֆYvif[E&]t BO? VT9IkJ$"_h4 .^N\ 07P-5*M,h (:p>ʕR-<V;:^d" y 7Jf q )awֵ`]GKD$20 ߛmՅL,"3bZ, S~#/]ϭu:~0~( S>{}e zޔ+}qSR߄'W H֏Jdol—"M]!;/jw N*}Us1Rmz{eng:Ӈ.kr@[Ք 1S)$n@Tp 袍2!"vh CS8^ >5VV:4Gy Yד*T"@)EڼiGԦoXo[cj&a[ߙ24㞘+B&'ؕpЪWO^n C-ŽŐ$]~I͗G\/GtIEgMaX|Ѳb`|®ua"0v{V>ćfSr1vɳlBW7K w)Afn謮\p߈:$wFgol10b[Y!rV:[t^*Fee)<0??8)M}_{IzߴnhP{A ̣TIH *De@.!$Iߴ<OHsQ:" * ܙ;9): T/p7ЩAB Σ%U{Pc)[k Prr$.4ݶް*0=Pw-AGUҳ.;U 9F䱱磻hh)tYj5wְb M9P~p#??OD_uL8>SOADy6T 7@ŊDPߙ^*uU`Ф<鶵`I'u$6Uz6uog/SerEzϏ10듘zuMO u~DXqօб=D >]*δsfR&^e$u7 ppپQt E=Q)"Ǣް>em |^zՎ_{2J,uƶ#.gWƙkK?k7 G0'䝎ŔOUhWܺ`<tك_U h}drFÙBQ|ȗ=vx+6$FMY{ܦn6bq"71#c:x NMш@_lɜNˤ.|TsΘ5t:iµۼ fRi MrVEJA 5 MKX3u1oӉ$/;+zg0@N#oGvJ@|!U$?7ϲDfo.}0ZfCcxz1 Mn(:H 7=@eQ\o}}itKtr' ov79" ^Αͣ _rape s:(ݼ en{L{ xR8(blCsd?[5vmRrYe\ψopRbÇ`Ad6ِ,2t%W99p!lqBYG Z(̘0'u=t;HN\齠^Ob1&#^`F ѽ]B.VwڇfXD Х'UA iʡ"<6VR!=qBp7Lh^sc2YÐzRRFݙgJĩ3ʛt9v_PݤZ>Xsݲ8_+DBkvOCohW~ۂQY~>Qa͍}V3y.iNF3G; ϣ%%h( {>A}Ӯ 4>|&U|־eГW1[f'7,J?"_] R*_4 M":aFayVMvt 3Ḫf8x {lP5BQ0ibu vl*`w4^WbqllIz8$ֺ 5~3ep/C5?cC/yx␋ Uz|i?4宲G}qƨQ-}q`L ;of?``'-LvHLJFb%RHgw: w%Wye*Ǔ}?xj蕵z($K0Pl#FkXV&g_uGbrCU.GR.[Bn# Ә@tTZNndDF p_1 ( N0 G=9vt\Rg;)4__%RO[D6Q&4LvVнWq9n뫪(fH:٣3o;뫟~ kI$n'zi>T!)-%ߞlٰF/EGI؜[Y?lrz##ܞx۷ӫ 5hWzýZev MEr]QW#m #toc.vx+7PEsfU+P{VƩ'A`Mσ!n*}vF`Mqɖ@i޿B+>bK"@I4 acH3S?gc""!pQwl`|Su+S(?< Bµr) ah.Ū#֧ܥO$qHF9Q8r62-bIW:aȽ.X'  hrώۛ[a&!koG&SܨHT KA<0O1W*cÚRe.KU^Un-õ\rT-/S@ƫOīr3K> ]@;©DTlLl ]]OЍΒ-SWH@z)oaADwX>Nȝ)E ;^$%IKUߵ)>q|ڝp-ة?G~X@ ~/"g#n̅r[ۧݭ=-' TɭV|ryra"l[VYWH~Ku)*I:Jn8ˊq؊]yq} +¸Ѫ.3 <|j?{?zOTET_Nھm!slAكI%ق*P`PinrաB3:6IЬ9PYĞL_rz_j>Q _IˉOwRJ0_ߠɌ'J%4F&ļ9<&9 .o{ݵ|XF}g.5C7;/S4H["98a>E6cMGׄLàAIyIڬxL:N>8?Wy7ţ3,uTVq'׻[ ϥAݞbtwpoץ W oT;ee5SPG .8U%YΪ, i\S/9VN*09@/h}K/f5CMf~[X`tޠ .UDcbC?{҂a!rV9y4 f_*(b+06fso0[Ú,L|Ϡv@XcAz 0M`LeLoѿdv6l_:LfP8k j?ǍMvKm@h ?T8 `yG;x9cd:Tɴ8qĥfW^#\&Q:vq_';d$ ("[7w*u, $UX$1ȋTv/s m9-qIwqO(x'Aa=oV7%WL? 8\?SJ Osw„i :1}V!u硠TQyA 2֣vk~;\*c6r9+Kܽg+οn^@j>0F t=B囌fcB)h留A&^zґW[;ʕ,JeK!jC251 e77@o sb:!i 뷡ʒ>{ hD#M[xɀH |J7j7]Dr9KȔv Ws߹Z p ٢u3? o'A"Tu{&u. >ʨ_!f%o%GZn %Aj߾4+JlV5XѴRO ǀ1/ WF%,Y3}e&"O zUp奘Pa$}crI@ q) J{[y卉|x0GcO-:_ڂ >6!HEZ8gݑ]O{P61?Cv06il۞l= t`#,^`SMY\.]1 tskV‹&;m 1?-}e"kP}l DŽتS 7AAeGY/0^02Qt5%v^IrJNY)+M%@bH\ICIjEXPkwᴴ&,+x~i5cygB#7P:fyWH9c⃱#Ѣ50gV`RnJB+sA0ir^쩨bcuyl]Ke;NNW#̱y¶-:3q! tg ei@?4WbiZL#Fq55gal$CumSaDžx?aY'́G?OHcwQ\-C4SM@z`)G.edCHA%Q0CI-G4{ZkZ Uӟv>l{P_g/ 9#NZK\9I& ɻ67w~_-@P-Ǡvjѩ^_fdu`_aBA[\&Df %m&15*1hߊ)T#wAK6 R=`nBNo P2@~hnwa $&~j]Gr] Ca!RZM[`xۘ_s->ObeA$# /N] R{>=u/zs5%-9q)s@ ^ZH#R4uVqہYՑ6x>`&"R>+7rwĸtu&, 9cN`Hop\9#<6(uN,fi5ZI yD6\ ~O_muv!F 唯N^Q+I$' ](%CxR86Z'~e\U2\;(yA[Am8xe}wͭ~Nϙ3ՉIe oՒݢF.PQ~BoS@L [QK*oX-v)D$hT+uro ֱkago0DZ4OsGga xH2ܐwn ߗ3(%l|_U(衼Ht>;Eݖ-v v+nL=5|'ޡ$g*M?=ms52G"Uʙ2YSke٦c"UgzCb<g1 lwW%H ZʠtRN֧ѓQGpKf )dW@}X-/!C"m2 dY5ч>Q ؿuzUYj؞NėK ]bOf F%+xrbJM̰ Wҍ;1UȾ&I/NMf ;DBxL0L1LUvʲ:Xi]*VgEQ2QukƟp/~Ѥ$ s}^C}ePŶʧҶ*Kʺjoq#e7?\F `>~1s|͖aR '~=Z Rc`RvZ|nwvs 9$>O[>X){O0K.&2FXc#d|'釳="FOk!aWD6X A\^, D Ψx,$R)!:Dp} @x-׹Zߎh5 qh Ƙj8 uuTo )~PbAkn> EZ5S~QVև=1@7Uhc κp M8(:\dt[NlΜ2Dy OgHsǺe 9z);LZ^ dQTsV pKn @W~Xc],nZh6_G(ո9rq|Y$'0tWF)FFbb~#Ġ:fD/aS]d4}b+_Qr jHoh kDmٝl:_ Ί_%L{KZwY.h7U K=@?[b־tXtEI[,dc4oTY Fo0)+<*1՜0o퇹'ZҎV:vUɷX8iYCxԌ! /L;?!RԷom)M+5Ee*pPwnK2]P3k(wtY+k՟T8+OD&"7Sm{bdS%j=7G^ Z$tV%Kre}Sfk0Lf߆%~t@HjiN蛧`|9ӥ4!qfFnEҜ2;zj*f(UG^5ExCoqvtMB?*p@^;敖̵e>f 4ÄN8#KT_lW5i&pCfX.rJ{*#!n [B]gn*_ T1 \`“&Ao͊J0JJ5`yeg`41bmt;/2c>7bJ-yG*2,MB= a0R0׋B|R(A,@'J6o?d9> Yڻ_mۊaB̸֙ܮ՚ :KYe.HX]~`bPRG0o2"Qxjq5-T>a] f?Tرk0),NX;B,nb6mwx^s ,4wW; GQS1^agȍy(m~01|3OݨFH׽sw,юDaN2D'C`Ȣś.\'(#G O{ yIM䎮oͣUFa5 HN'` ]hFsJ- #&فewaT:HMg^V;R\d _f\!p+5a-?:w}~8\˒(&kͷTwXatX_~%QChB  *`Unl0fLXuJz9a$riӂ_gq9~b.p֩@z~An\>e jbA@c+ƣnu[kDJZ ff BM9@7:'Y?}kW,t⏾Rc͙ETEH0ŬM(F;)sOyX<x( vfשwRкOO=}VV=FxdG۶X(k#WGcKSd|Bx,ぢNؗXg"I}`,F/|b5(aЎ(.JM)˼7њ#k^F0*ݺCToH ZՇʱ})K2~eIDcWZm 7O` a׀0]lkQ[`(&߼>2~֏8Y)XGx5An)|# XȚqʴ%$䟁-;a *|pxHݾީC$ c+Pi6&M{/ kyWkmp}"-1|l#\Ѡc1@kǎ-QK/ۋގ ^\藶X-^ 4He͉R;~;.L=ol@~n !7ϕJ^Pϣ>I6zݕ$!SċI|j(g TYnM̸ih7Q.64E]-'胾NCE TܵFcjw Sq(?-_" ЗijN37 @;mrM7sDGp0@{#0 ~o; -ScZO#"v:m(uIރ~n7?#Gѷq)aG~I&3k Vt$NaսASC}, Fe:ikt|Á8p¸"Swx|.EqJÊJڈ2=SjN<Bu܆Aā/yvމCikעhaVht_pA~agnydJ ÚvLq l C71rlԃ:8k@fqȓl05r'f~ف'W<514qg< |WC$w A5& ?!ΕK+WY_2S4  :Q 1TӕySM L $c7M>2wzM*H/17AyɛAN&aj;'KIj0l|$%IKC}g.=C{a=>p%>JRTkDZ$N[vEݸRG`oTKJ"wv+5}D,+tj,cdnkFVȜ}ZHyHyw>vK/KZ鱾 (*\7i+l?ME8!P ;ek cx I HZ4Iq &9+YfM#{& WY,ψX!JA =iB PSS S ~l!H)l.E7s1JF%S5jTKVΠ̥u2Ι2o.;~ )$׽|Њ}{)q,iqX ڻ|@]+z%%!x0Ј+QV H|2kao O"}@Qw6Z;x@dj1¦hWpW=.0bcsdNCY7 2 t;.?QD3(r 惼-= q˿o;KBQgJN!m/?,7N /ɚѱĂJ7k.|-̍m˒MJFǚ.R'vhڙ6LkȻ:ag$'&5YBQ-{W@5XX'3x K:Rv-J*YL]Ж Lf :ᙑAۯʱ2qx H n۽d6¥3&ބy#Kd3ib!zQ" ht ]>j'1=^*2H'ﶺV::pA]ŽKe ͊Xs̥XDUS&z X`ӞH֔,yFKlȔ~~dH.N߅c.̋/4\عaiL*yI%~%T> -.R3 txn4WY:3θշhbL"mf$CǸu'C_@v&Z0d;̓EEBCo8<ƙi@qzc7p맲'yYBI~mBZv+t >{1)K9bd\Y\w0URmq1j_J "Žb*H.ƈoyM$;O|: "@ӌaѓOv_dexqu!(Fuztj0/@6O ^0Vx /}7Dw9 9 it0\E6xaGҦǿ}D|jnkƁ3Aȵ!]j8_`n#j|B]Hb;i!!X>,;,ou LB?nرˠ#[0 i1*& ~\ԲvNkṔ|?~G6pܚAYpx glԗ 'ȅ*sjz+SPhmD$/@-.ɳ97<u djc!zo )q>^E(9Ry|/\`VR8o(,2kR~Oɾ±ܥuZJHX9?"5O\?tL j, ڪ>as$%Z4Yr2VeJ{V"vV[]7|"+|y7m!lc OdWpzA_T e¥"HHyg! wS}Aw+M+v/EYl .r(2H]$֯b#{}Be)6*4 9>@Mi Va2N}.#&IiX0g:K>J͟# [{w!l蔱nsڳ*k/"-St;C eO(}AFp˰X@_ߓMgBJtVߕ"#]˺;? 5#nՊ+A7N++K#,Ā(wbJ1%~WSVןUA rоTT=Ik%4\%* 8JY`†39Bp/(Uф^goC|2rVq 6,.hFGxs"4rbo!ìy_|8D}BcoL>O@5GjEj1=zh@&|$^ gw]$r3Z=+R&4Ў8MƱp |J\ܸHD*lJv[M6YBJEAZ! E.!KX OzFUa2b|,%bN =A**2XNĖp::س(*r2gV&4=ILb oSm =5z,u|ύ܆1lpLfxr\RvRhuwD]g\W!>7[AZRgBJsRL 1mp7;Oh4Qj- g~u $P?w@=WY@E 5d6y" LQE2 q MSBD%h6>(^kgYZ314f8a8b60bf74b3f6f6d83a8eadde9db0d78e71e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 cd7ecfd976d004e83400092a77101f917cf0af82 8e28730ec479a81ec4ebfdcb40dc9206de853028baf82374327f33c628ac282679caff97ee450144