SQLite format 3@ *- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77%7d< w Refine_Imperative_HOL:threads=2elapsed=304.151cpu=483.572gc=18.540factor=1.597zXZִF! V)]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{Ydٵ;)꼑, $(1\h `a1Q'JNO\ ,@Ab`}rT[ M/ŏ6Si2`x< 52ްr] vÒhxǼ*Kyn(zld<H NŹMڊhMtN)y}jfFh)\hӧ >RӮk5saH#MKX$ &v/YAzIQ,I:@͇bιF(ʦٌh=#>H?Z< ) ?1ƨwdJ۠CnbXp.iu_Dzc9Ov5T-/Wxԋ '+]0˧`ks} @2\EKO㌎Ց؎j6Z%%xp HLƵ)C~k'Xy7jT8 ]G1+(?,h E݁ J$^EK: aCl#b\yweU$cdbrc}xa3*)_[o}W‚0q8("lߩns7P֒F\ I=X?8{DĢ1gIbإh]6;"|r=/e :8Hr ~AAQq@Q M<6H%"䦵t,ozX8٠h-vsՙ^ 7 Refine_Imperative_HOL"_H*Jʙn($z'7p_.CpA[c9$#\U 5{ Xr*a;DU̔4 L5PnG-V+_BJ?Oke7ff*ym期Ș͔:'63Dz hgU*,VP`` 2)nڕِ^}Ei}}Hl`@ Ty),,ِ -ȢW 7Sa"R=0n<’?!E.]^~` F>(M>K6;;6{9=[Xɳs q#ӑfIJ'Po0ZNOS&Fu;tz#bVi$RP/c|񧕅F?ͿX?LڶpԞA@@XK"ex SÅf:oiG$H:37uE0Jm is}w׌ oLA%?>Rkn@̚_?wћ'K7՗8o%r懸'0+pX7dDt~lX#~IPa-D,32OS1h/hPc/^F}!O䌵^8߁ZbkcFURrUGl=L[3 r\}x6ʏ. 1Bᕞdp/W;T@0!7Zl[Cr!M?E'1nb@%9'UFz^EToimOq7őNED}(XN`L[_PzH2/,J=qMAmT-c˚`)YQpW қU9ٱGMvL)w }yx: c70Zw|HcCr1qrNP `a\?ᢒ㽼 Y [ [GOr|#'5t4z # 1Ι,%k=̶(;.(`p˃4:,t{/ ތҒ>-v>YsN.Fǧhsj?:جqN ] \.B^BaًT+yHwb8s5=kj qffc_;lFܷAS|ۚpLߚ)ҕ>DLrO?C浌+!{N.YXXrsR).{&@X]KeDy3Z N'9pM_+>^ m/F M8@m0zɱDͷ #zs1ͺc;Vi#u JlfӖ2S!J?y~.ҋļ~M}:h6xaᾖ`.α5jp40u^ݥ ;nq Q2j^ Qz;yOɞSΌ=1b쳣*Ncu*8.m\whF2^Q'@Łp͸2cW3;] aw^sp18#{5|1(p*;%[|wrޙ(P홵uh  YKX~o!KՂɁ6>mDt47V Neq- gbO Qree]N3 /OOuнGu[]5@\E@߈= O2'tPBS^HwUZQ.%(Oc2)cΓ% ~ \_گ hT0$SP jAQz,;Ŏ<$27wW",㾽KŽ/6{3/7;cYb zMRزFZ Q%4h\ʸ  .⵨,򒕟o>P_ aLz*նoDIJx76)^͞d]MN%73 U) s!y 3z8H]]NKP151)V3]ï"ɒ]e^*>;}2@Ȫ H.,1uJQq2$Ez| Of3A%!PӮ; ' aޏ6{ 27IIY)>R&?PU`nX?:g^ڕ@@~+pyAu.mr1PY7񖆩6N`ГU8u`H!x 7m\+l}Sf6f9eYd8" pyP0rU# hlr3n 5%A$QzbX7+{@t' Gxq))0.Bz$XA(f$> |jc839kTXjrd^Z"6#M:\kXT"DqCs!Y*& !CwLAcoZ6U{;'Kb*Ndf5ډ96#Nj s692.L;Sb*y(@)?S>,qMZXu .[Kzvyt61x3c4Sl 7W5zކ%`~嫳/ V~3CG]T~(S?\3[F1ʙఘRW9k(4d.gs!(U^D,d_6٠9>_n2DKB/un(]0|73<ְٰp|5Fl_f$~ Łqs)ffP^)t]3Sm|qz OjfQrkRo\{}mcYb>eUfG9ȌsDۍ%L{ N-z ݮj3dǥkp}K?g Pbf3p\J>J -:Dr@v)#@3WYMHʔiN 7o83PDB[ /ŗbb=%}ǞH G拔od+\JE9Ql $jY4'&8Ɩ9x:*g%i5 |F9K\P3l9 :2<655~^>&dV]x0֍v yuyp׉d htZ&4 j8Ee3H3D J iH0c{q wu6em9vP~x٣}]&fkaIy*IGa5q ɜ:~*@{Үg{y'[3؋ mccx\3<" RL?k)u0_G;#m38jQќ=V}Y*|N D95qEح([eܹ5YCb{/z-Jrh2ݼ7rz5iZv!b_S&x ;*Tz!g\H=Zd/AFUd y3'nBij{HFN-t^iY*jݨ*W͕D^ڗgu:<ٳFd3o7%" Ox@0}|Xz@6 Yϰ@sSG0RR~lm*E/ f{U_Z ː)~W2ͣkez_iC:SryU ePBCx|.Jn{P|U>?Ez~fZM-w*Y1uB{"!`{e7y訟9QE!탞7$ 'WS Am8LPѤ::[Ǡ=Db^ nMo 'lR^̀$-!GC[TEp }$!wy@N dq Z$-|jXvŴؔFVM|߄nP&Fэ5f4(V%ꃥ(_Bs]^ߜù7Fꆉ߻ak(,„]ǢZή- ̔{M^ĵ]b)?ٞ祬A%yYj)AͰq=@hLl8q'Τa(ċw0*X'Pà aSqeC'9Banz괝:LqG*V?#-GkḦM7$a&`8-L3/\[ïa4{}$z~b ؓIZ#\ q  oB{K[z3B}]Cn܂_<<˿ >RIʿa(#Dl9Q9uUycs_QF3/6ūq'L \H~܇WɒQ L2ĝ1|[v{v&D!~`^EYx s7'7X.ehDf舆Vv:C釿2n U$t}N $3Ud]{a 1zKxG6L>ls3ͿpNʷ\݀tSMY@@[p%کNR|1r~yFsԓ>tG e=$4W\M>>u Ojsntt?GMڌYuuctmr1͏Ql{tuv`b> ;ZeB2 "bWZz--0oko0߭T0T"H5GI F'm03>짭-B[BjBd_B7-r~f7ر;q60,' &/+?Ʉ$@ QVq4H(`jwр*r nj2BrŬ%|ODKQoD)x['srp5k42^Tl, F4x]g7K!_t߲ǁ6 }USEQQ6R&-+MhF3!O@tbң C>SIy>{yhӼ?fxЍ h ZgL:*{Aŝ d5/],0Z!9]س%iK0EV/׭E^C0_'A7 TT^V#P ۲N$K!Jx<+b5_Hdě܋L5ٽxqs(e7gZN`t" zZ ;^`d29`߬!{ָa2~G6S@@p?KC[Uã H֣͘]1TvrYioPrte.T4dov=l}n"ssʍ!e ƨd2% L9Wd681F, + f]OhW@ FDU`0PqzeG.eSX!eR_-跃{9 @Ju]H+1Ē cX/O-4؅Ⰶ qC V_}s  ޚ$rE|"1GM4BU?Y U0oꊅm]RZ[Gg{,De0;V ֋Ecp{(znm<vAa(ܚ`䙗~/Bp10;,%^cMvmjpo,vAn^C({V f>Vdk=ٯuaf > ܾץ$oa S}k1.QSF>4#1UbRyۜYiW|xjpj)©(d eX8: ͅx}eNH"7Ʀe¢D{1Yw *WHnj;>#<jB57(c1a#&7P*p+ m`ИhېUz91dDmö-TG\3b ǡ뿬.To ܶo- R=iZ!7ϭEZVH`(ƕE:{[?Rx6<]ϴ!kxb/Sv\ɎFfq5۴YObTG$7.' yH6GkIvȹ_>ޙaB EJJNjZXBN~$1_$U/5<\p52]xR@ՖEΗ ̰@g }aJ{{A;X18]^ѭ<74va_;A2کP$3ڲ軔h'-yq ͤ͌R\ĮI.9Qv^T][DſJ\v jAA9G&Y04U ;xߛ|Cy&ч]xڷSWO?k uY R냧gP,`n$(u YUnoOnl.+9hq8k#R0vȼI5Q-&(2W` ,b9&:;LEBa:Djƿ@W+>P4 ^ZqgtpFi]$_!ʁUZ$aI/Q<%\u\s,G?~LztoB_"_k?ҞK1`ͭ6adWs:E߭\OSaxfƓ7-c\)8e2,/96Ojܮ<,_o஌bV2rX1}`XL) tӋ(샞rkUA(Qờz11K)X0mj+`08/IVl/`׭tU5Ylv75r ~S,èaµ?ι:`H2tO1i0˵WALҕu`BWjRA?UV[rHt\0.zn4Ўzv.68^ēnnxZ Lآ;$##yؕ-`7d5ӃuvC ~);/|Ozbgā 7x ȳF!u<[6W O2e Mj+6dXԤ"#)j7'Y(UǓAj#*^^ݚ)!Ψ -0Lu{adH9/ݜIh#2\Dڐ%z'188=z_9u͔=75^'EdWA3WCz½d Mu&+Tﮁ/QL,Ŷ= RF  hVm5=Rm\ + 8Tщq˰G4]s>W%MDP1(o\}4I,$6H68D:ycjw9$ڄ.i,ϘI?5LukG ʇBع,Y 'H?^=A1B!N\as=䨏\*sKi8DE9%cDv_Ÿ2d<+zz[4en=`hץbWSRut5@f7+S+ /v]+!T1lI8P o/ITNLv0\XW)`/LRAl[&\zܪX`͛b_iKh-v* H0! |C -Z˪wS\;!ox`R"1(ҔaơTľKKȳEEKL,RN}qzbM<{4,I!3)'Cu/Dzl cdCBթ0O ㆫިwc{7 :,;G[֌}=:]fNJ]"JTɺ5%+8dQ4\eTxRQp*X!Κ€<Ͱ}C4RhB&aE^5(%L-?sFI^dR#tmt`;{ aXhݿ~iG6!S ;CVs%@59XaUG!l@`sۼ쨌DVr\>w都\.=7]Q|;;h,p=Ъ?MY3W/Je3$YE](`^Fr%}ŹiX"[k,) ?s?@|j2YaBN6 o|?#v9Z4 yõ0c1:J55ra]HS{_Hg;-e f=탅%Gwx(S(Jbcj;-R,ͼLT]eLl?_@=d1#HSiJ{tK_qtk =[vp?̍0(D^͸olx9lY/nk,O@Jkg0?;I4¬Ρ ,]Ɏ/e,PvJkA^+͓~N*odk;ܮ9s0؛o>-M `eAGvɽ̟LC\L$ii_xBAdO-c~{ VCaA .-DEN+(;fX3:$:OCāxL#+d:(rnZp-Ĉ% OUoH&5GD=%P΋vFZg[:Ӥ$V".뵘DmS_9B|[;ٔ0/ي}Sgߦ^^6BPHu%NyQf箌R'|acەD*Oi5 y3xFwae.!0 VqOD\WlS27)83Jv>jrAb|=I6,ſ /fwaEZZpN^!t$Gn;)N*bI&o8Z-Gт$r$Hڂf#YArl 0tR^& 1|(R3[k{uRS^0O 8t2 _sAI/ 4Vb\lj$ɬTW!5C,fIWňW4|;=isL%*s w!l%̐%᫦5qfZ(CxBF NO1a ^|Sh-*~Rrt`fh D~÷+B'~R M*H n{[j>ju"2SRwrՑAmhv2 i¿pvXari l< 5DdЛpG.b֒Cf%b{Pi5pPE$z.2T}\-=;n$/13i 7blF',muCy2-C6yow:QQ&Obe߭iI1EȖ;`ewhcW(cDTOۺ0+]ˁxLsYX9-qnhU p9<3k=꾘›/r3g07StQP^3)Eڅ\NmZ w>vU4)x%xF-L8);B#(a!F|cvk{kV U18aI!) 2sCICHTqEy^yQ`l93NШr EaQQ4.~GD#ڼth^Z[+@F^Ұ^ӯoNԼo`.hRRW8/^v ]6O$(ǽ914vo'>/9YB*b5IUpɨ;BSCH Y ITHsSk5@i_|yCz#|~- Yź!ڪxXDŸޫ)JFlVu~]@9Īa_u>1djOQ@]RvѳL 2x-x `&_1w6G#Ln^wl佪k|\9dKp(3H:|m1cz wa? QF涭p̨鳈^mEt?{i\ U'Ω|8VAgV@zƌFGt"X@;OGaoY::;kDf]!BoEҐ/D((1߆4kdVm\Z+m'H= DEU7x:P?@0Vvjny(7I>S˟9i=0rTꢕ-JB- gxWE`D;lY1Fp;eZ d):yU#/ ʴB|Ԋ0s~0cۄ^ph*, 5)E;? dn<}dQ w$q0ە֘ ԯC[<6sѣ WvMג_9\]* 2ڭ0FyjK"Y3 4d$"gq~9;E)Sɰ4*3()86MKM, 2lU?e]6'+۬Ǖ/HYcj֎:5+]n!>[+(%G?(j*ppdCU0 '?TwbS@Ďxv23o+J|U,r^Ndt_Vf;V;c2(̒ rV4?RRٴ4HXKCDm$+,t$e! ِ8Ybxhd/d.H<X ٸt~fϚvFOy=4'IZ"/xH_/IKg<7CpH#eg7w/ݧ%iC0Ҵu7A6E;GM{;#ێk ;=YL l}{ұ'#ow7RA3jkip"ފe/58_(eb2uh\1M 83ݽ:>whFYʼnqLGi"3Vl VGqxB£+N_q\I@9a}+ DnaPnsБg>еi[}lMZD_=EH#; ̈<j m<`&J>+_i O<9͙+`9|OlE K(Gv`+˘,!gJQ]&;ԆzrC8B9,feMJ.3CzJObm}%ҳjNTz oa^!fyoKM,BuON-^'ǤJnN2xEvN .NZvHp63eɪ]vyZ].Z mY5{LA<70+KޤN͙? VBm4 X'C}b0$hk+tRj;jhQgS_ER|$!h ]oEC# et (eMqcf̵_ؖnFPt1f]@X}>G8U%D("J1!]zp>hT3Rx{^UyFzٸj?ی>A)m;e g˶[ '@@ U7 &ӡ0]0*J9Dεiہl)UywlT'_K@( r^-WӸw6S `Mй$pӦ<\c*Dy)UZq5!JU_C I W;.a%,G Oh3\y2 ,%eY m B>+#0%C=0GT ࢀՓ QվaIe̿MALܴ!=U ](w\1MtJ$mu-BqZ4A1VW6?O!"8;$6| Y@q v}jS4djXngU U3݈} u:1Z5o*:ilCuLkbncq۵cZOV% ,̲2X36E !ؒ\X뒌ZSj~[N<:)]=k2(4YyI9r[—lN<g}bD@V-ik*wi<]N%>Ց6nqG#!3P#"Pr@xꐜMϝaX*1T~&V|jyCk ǖT T F%oߎ4ԑ?(04\!b)@| vN(4 +mJg 8 ReO۟05 E[;4Psi<e>L:|[Fd)AGIf++S:1wrZ|&Oe +"dْ4̺:c@"$0J+Ç7Џn."ɚpՑ$kpMb>)Z ?U̍=SfT`pF7TUnh:6+mnDЋ|ܗM.1~"є㣻l5zF5D :ʐ'TgQc  Д1f7>IIjBm9g Lիux|>m\!}K2+abȬY̏Rk*S>蛭K,B |ĪȚ\]m_NX m֥e+ Ŧe PGF ɵ,XGb7:; <,ܣ6%\&|Trrq(ؾq"e:U"@J5Z.aǙrCn~jNyk=qM~ 02έ\G˨?qR21Fໜ͈Y;1D2δf YDg<t'i&:nKP,:JvXWvJ?';Oeޠp*I+gmD]q [CHv&6Gzup[m\ƃ|U_rn{&.^[-)g;>UݠDTgl̀N8O`b.!0m4@}%YTÂ^+ޓЪM1:4$'T,@yTL0?U8 A!m{0X;9'_$Oݪ$ҏ\S@ ?DA kJ8O>Y0PWl!US#`YZ}p/_Ӯ'ߍ%fԈ*|AəCr)Y6ZWo@ q?w'GĖTjG~+nU+` d)@_pA,]ji Kq̵ r @Sۈp`+pi̔4G:n'{1ߨU4Vac &/;}]'Of2Ъ=(bt-Lj5U|-@b¯giFZu'!0@h\j^#)G+ cSPN)kHLގ,J {Wz8 z8_"NXJ#݊!MSdYk[~:S5Ȁ/ 5 )ra8.'6_8)I6:~(JG;񃨨#`vSmo Xu-DQubt۠~SچXsL/.$1 ʣhkb/ǎwy=JQOO34ii J@g0|:6JF[%*\zGdDAԄʲ= {6m); FD[%Άks;&hg|{wzrVj4^0vQ16htcJb"X_;F1"x9P@7Zd/Kˀ bص:QjY_44/sjQFLOKנʪ@1*3;X8yJ K̞3fq>%Т߸|jt!u[gꚙ t.qp$r ? gr%9IFy_S M"(2Ȅ˭؜~Lhwn{ _筮_Y1k?ePJX4uog@Fa+lm{*L63)7-M2#Yܕg;9 $9{Wس=,yz -+P9_ K%'abDIKz*g= mmLJ?<9z*!Rlۆ|s" V$zl]/U(\|1Xt`:Ui4:<aȨ_7aC}A>wj@?r/sQ5n-ԂA5ܹyN27*?m4fdR}%7])L 'kXes'Q e~8UQ QRiϽS_ap.eL@\ bNؙV=tFO%{a0_]͑EYs㸬t-cyB(l bC~3Zuiy9 r!c>b凭KW}mlQ l|C+1;-è0EŽ75xMi?}k S};!ſ|p5e琗5SRћ#]I"$n VU0$c9tTǒJ,|w{2x&|*Y@'љ{T̐EN"o%؋J7QbRe91pnQW*U*u"lrq_Z笩Rܓw1fs. ߉ ;GNLIx`);;.I}*zgB !xPO:4<&s5x;fPяC'+9sRb$MNEi66@"a^ʄN;JQFZ^sj&` [瓨R!s;Q{cn}_R6TǍ\S`[(b}P7ѥ%`Wc_ok;ٌPxǗˮMcXbwG(j y fhFGޖoZ/8ŬU֗V '+c*)zr^g_cErTatu" xa3xzx< ya*՗U5`o?RsԺ0=g8֪"tX=$ר v ]uU2V.<^љܱ}>'ϫ tDXn4}7Dw8Ohc<-;_РLQWcڙEq:{1Ix;. F!τ2(xE9DZd/i)Kϴ&#cr09}ttaU#ohћR6 K+ wl8kdHCi/) EL!m,a_ef{l&.? 4(cEMg JcX7}shpåt%Խ"-9[KKVK;HR oww=Tg{,Us0'G1 evV](*F),vԂ64lx?%ea;\^s% e6>rn&+u$(Ec^PCT5:k]* j? ;Mw%Xuܰ&^i{..ڄ3mU6]W渞,dZO0D T~yʅ{ 1.Ch̡*=i#K?x[ԐZ1w}0Q[񒑦FhEL&q&F%Dڢow%#IE e= LKeš.hxN0G[P2U@Ku 4 |uUJeKyik Poܦ4VJ!2t`?i M @ފM]u.+FSJVm9&H0NPdSg 3 Qb]wGȧN{usfÕĺNU5dy vK_i^JnYv٠+ۛ"ny &hր nƒFм$Rv  ؇5_zBټp]^/ߍ`n1fbrz9 f۹y0| Íź1.BD8҉ŬۑIgYZ7zXZִF! 7]ŗXi%Hv97$!NV#3_ mdY~U33M~ ˤ]bOԜjfO_T,][V  miZC4(=EۘyP3&EՑ'l^i ڂ'+:ۮC^0k.H4։=T>:]bf+\Q$[$S jR8.-YN`XG9fc{'y G@_~ 7;6=!r=.&\v1wp0+PϡaHk/r m(dTXij aƺ':ZE#(]zlPV]QQ";9p..v:_fz aqFc SO!8M!7U∬Y)-Dc$%|wp6xzncݨ𘹣PYmτI>]" ǍK`f{׵9 @Z80/tg(Uesq!*zOGY7Wg|C39U^%ŴDVvF9>18^hLHhoj^ڄNjs }OmYϣzg-m&],̌i;Q1H~~B+u(XOqg;O7Z4gI r P,n") $6,Ee !uTD=+$Z~uɭ=9MK]1HbΠy|5>c,{mdmu/ob^fΖȐe te+lWCRa'%hWZz.R0gaֆ jkOAQFn.89ߛLQhL<0eN-L`\> *5(7X|2P?nVk9,#bnNcs*ܻ+[Vpd#2:`'`? jށ+ko9e~/-WsZ TqsN%X>^C*d(ښ׺en1|=|*}:M)ZX#T: J~YI:l2wG;o7ėdG Mr?Y=awRaS8Tx0a݁*ȕs,sg~8Jզ:0eӋȗVO m  bWEo'C\Nb&_T U: 3gN}^Yv ET3PݫMXc确FAk{D b =bl&$1Ga]K6:3Fu>&xK6sIF  A }XL'W5 +>dsGRL&Bx~-<[j72S4~jq~迦{6Y:V{hi ~ֻ)OE:NXI'(z{/Kkx}+]?:I^]4J "|1 [ 7|N/)u-mEXO3|DS# qPO!5 &ڂ-L#gPv'`!~xt# `JF)]4l^Ḡ,%ko쟃9iRBf?֝<==b >B)U1/lf=a#Ё- 9 c_?b9&v~[m,j V~z^T`|q[esh4KN%Nlsuh]nm'řma:%QQx*(c#* F1o \L4J'˜!\$b2Y^ w <|ۘj=AJϣl=rS]` u+(Qv|1&:R_Bk#jlJ>}!Ɠ\&k IxD8e1}?"2 U E.G& S6;+G'm[DM8AJ nqyQ;XD^-pY~>3g>qG2l.[g7SsZVծVW)Qk,-u"a7ۏНʋV *ߤmLZWS-2ð9WfHlRo+ه]b4 <CpH^2a|v>RخOv+ Йe,M|V猗8^^1_^v^z|0] ,T#)NJ^FRєMML"0ƬRQۖDc8zr!O2q0XVhs|  n:teA|וeSQuB_K?V$.TNv8rr1aO/q֛F#Q+57R'T-7T" ๡ - 4ybdY@Cz,P_ON3*3qPv5N6.}"׫?B5 rWϜZ rF{"V[OX~ϥ]jT}v&_Myp|hYas$Q$ #[`ipqӪǬ OmzHBK߲X5?ԝgssΝ,EPXp4aM*NF @'"֛?}GxjWf\KdlƘEa4-JM y=1 ?֣f*&S ӔeMSKx~!؃Emmn`*K~#cH*TT/'QsM0=9so'9BMsˆ ȴ<+i}sdf"M ND" i:?eo]B!9 &OY/ґX:>`@O̚KeTBm~`K 681F݃ FJ@BLe+`~=Z7 6S3r{;jѢAeSSQ oQN\ zL"Kz] ;bЌב6RF@2ԟ(VkWiS N#o De1@&{nܰ|w-yi);^ GLiA4ƹ+m>@ #9ŗ fC0T<i\Rb~{j)~FCLØNǢCX XTPT0 u^C7$h-)5\^v \4ܺϝ'$8Ƽ\GefJ/BP=%j sq3*H¤~Ev)\.`k&5kr4ɫG4dJhe![2)llb/@.|SA6!EPQ'NYŌ畖kֶtAz.P]acH,E}W|zEWFf|+`u"(nQsv>Q{ fnH\Hk[rLuK FҰ\=g4( fGtV)IcI^Q2psR娠2n=.Q[Bel?X820hE?L5l lۊe8lAі4Z,Hĺ-/SMBàͻ/ars[:0Cϗ7WaTI*Nxi6Y$5,qI@ZõOvOM"VyJ4QN[EX8h2y\b)]B쿂*޻EyX_rW?o/.{ ̆1U).CX -iNCmx7Vdyۄ|WHYA+-VUvv<"!aGbi]іP;I仾F=߁,GyK^e#U8X1I&9ss F{`Zk^{$ R>E>K5779SQ 3B|J;4Vf ʅvx 2p dIE(1W2J`KHq4DǢNz;Ln8 |h| sdBd'{U굡IDy"R@aڨ:#cV"zXL~ *Ҭ$b(J//ƭ)[5k, ~Hqv#ћv>Yc[y&~.ρU0BKyd{-쩨sV:%ʵ]l&Hً$A_IUCm"B"=߶q٭jĤ~SRڞkvZԯWƎ+ڸ&Z@B,-{d|x|>ˈVqxhZ%gZK}1p7cUE:hJX>:$Q o_l›N$C 1栅n"a+,&cꄓq.w0o&~!nvI뾴c"Kb7?u>RZF3]n{'O_jV8KùX9QF]sLו|_xi--'hu!#e$F:=Y2 8LM#IT>V6v^_qN9zz] ~ ;[wN ~a;eK j1@c#,*k{ k`el7eIO auFؔ G`Sco-Xpz w4Xt*6 9*3Sa.^`HA-[|B+ 9'^$i   ;*_h gŭٳ,:[. uH[w˳?8uC E1x1SX;=c֯%Vy,(28*B 5SYLya`&ֺRAQCxyM0'gBTt{L6yE8kIFe1eqrM^twEcWf=HՈ>vP([Z:вmmaERɶwY:찵W0V% ' af􊫜;=<˹MZ[<[ae 6!ևi_3 vRCj'u|bL ]⒞@*T۔nE1m s"b%TX}_)W6ZP#v (QܑNY~o/'ϲqZMǀ;;kvWI7?nyd"ӴJUKwZ]rZtA@T{埈K7SYUu@ ~)Ȭ$'xOj$bG4a`w֞m#(?/H1zF"j}g+H4sfhzCauwǍҞ*Txb`6=_]mʗpߓR}$0$Wy}(!Rȟ׈^D9-*Sp@%yzG=IkrOh*%gA>1-)GfDz9c ( /-xB|]SBa֎O/z-t'μI r q~8/&mP@#!6]S[D& Z $b~% S{$Kj\Tgo4aR_V_*V2 \S|4Q=SHTU,w>ow@`~Cָ:] $}R.mipqkl׽; 'm6情C8ؙf6Y-vb]O΅&"’f;IADz6BڼSJxN^fX$DZSu+Ht_yG|\E3JqďfqfzwցGz̴E/5C )ʶwܒ#zª NsW8xl{ѧ^&e}>Z~3:S{ }}<Q TR:oK}3(-9ק6XF/sOiAOuIPrR.|, ;th-)agoԑ'?3}F-Eq>:pu1bpΩ I:Cumlu*Ԫqc18`Oe_?: w|ύrE"`3->q;uR>:50,vX%uY)$\@ .L!ܙ,AnBaSYQj 8Izt> 3Snv)!h߄0Yjʤx-}ɽ_'IfH̹c[ܛ ՔՠvdnH΁)>OLh"yE%s9=}.)8ǩ;y}b?k5hSIPkY'1 ."`裵F -`5jcӺKz}/.b݆{+ГJZٗew#K 21֜ב qm/#8ϳ;Q_U`BDIfIZ!xswY _\UPgiqkr:D{&2XF1%9C̈́DYTzP_~h@jያMX_тRcM}j_ea[&\y["X:2#KWuM !;4 H|H]RVw#| ld!e`)MNVI॥ےxy,ɲzW!V%h:rz0 tNݥ1qC׈ !IaiՍV8@:yPj,:;nF;uYGqK^9<.!N?i&0FѠ)U<5MrL ަ'xK#)<0k3 #;汲εY½\X>`G|iju-KG?F[h5o2DoGFPʱN "$\RW[$ƮW"[PK! s@LG);Y̆nb-63R872](6?oE_"DŌ ,KڴevꖫTU&8n["/ 9ͷk; MX! 5~R w^kⱰEzOG#L )9?OF) SbSèRj "@Z\+|͍9PdO3sޱ3O`S^Kz 8I[[31E/\N!60Nr愑C^@Ghl E_$|:AQbʁ{k&|IiPb~.ro0KCCO7X;ŗ8OqibAłTN;1bH4ìq=3`փKo_I+Th<.]ߨowڡVa&L- sʒrj*pu%zۊ ^Ԛ1XJؓTT I,`:kw9ꇬSE3/R( ѿ/1Ml%c۩6LR@|O5R20*rF*AEц4w<1 .!E~a? ΀hpaɜwAq$?Lʪ͠ůcIqɿ&C9R2B++\nb@-t%ϠŪ52ӽIiUVGPo6+1j+Hr,#Kt[c+<8.RMˡ[hfhvwn~bAQ0f ykKl}wr1nRM:y!E݅5LJidE@0 UʏWQ P\z+L!$sv#pI2H3"L\9U9%+uI5J?p "4m͕XLh@ucc3.%Mu{5L;~ /^Vn[EC=U#/,D'gէH9PmPr\ǂOy[=ވ}F^$vAnwUac$2 \ g/ːFͮ'\ʸ쐅ct >)&k'4'o6iŦOiǎX6":#ٟBSIT @X|Dh0$5:"C옓ž<e<M1åÀew}cUQ!ְ ?ߋpML'P΃ï%pa']_7d@}W݇ ںQh=YCPS̖-_qv08 '0fGut'T=7i kx@;l]nW2J"Bcv" x.sJݚ^v)HA.D> vdAYg<dsLt$U.篊qE X%}OXvMe-Dmm;cl܄e|Ge'4&Y{<>GnZ:hI(纐`wE@, @o/!T9) z _ؕleAo+Bl=$hhPOm .A0:dz T+#%c5 z]6gJQv/I%3K;+{*dľ~)zLݛFQB㲘ceHK}t]akYOa4'^22x>Hη]OE{ ɽio<ոع,] Q8*=ȉ`X-@'Ö\&D~5ZuFyBR]pءcgV ̇FNdkt+R1cu_Ѕ-)ZcI6%ק%O711k/ b%iy=KC%EsaNt-u64g_)./P9 = 㲘08ejt) VP%93]4CB7{*ц\\qhI^eۊk3gdV @p ֊0!ىқcޗحRMdE>^4*XEkpz8F[ yGXÎ\Q鶁VPI]av8Z$ aF?)KT>A7Yõ`A:SIUgծd+ߝl `LDo- .Wv$ DJx2ϦKn7^ Dnfe $*2(tpP/boQ3sZkFRa aUXDL|- &MsG4;oPXƿMਡ$`&:Av[Yh&!q:TfHdzx87c"D\h㱼oz7auhGe\A[SM.?~[N_zVC,/+ľZ'OAQs uxN$