SQLite format 3@ 4 .;  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  H H-%t$, ]w]Sepref_Basic:threads=4elapsed=22.350cpu=49.724gc=1.7607zXZִF! )Dy]ŗXiɟ{R^o׾foq~<؛aCn*pΎqڪ& ssPlU͋+nlv|m&F1M O]]#kv5eV 5<`{Kzu2ϫD]M EEC]BS_/9&偛10µ/g&X:)UnLtUcsiWbiI>ŸډWT- yvw&,aQ+gAϏ͊I|E#$M}}ܹ2keA\)?5Lh3_O~)މ(TU[@(+픨(89F@~8"I=O~T^wdbnx_)az|]x,w,i4̹T"7O⻣5\ ?ԝ3lU5B%`6n߃l"Xq6Kͳ͔9F:dx2UPtU̷gd) mxLq ,[/}MۉqCF+ REgYZ7zXZִF! SJ]ŗXiɟi%3( d+%jh @QNn뫘|4Me>Tҩ절%ceEΥon"J>@I[f}Ve7ٻS}S#ԑ4 % Sepref_Basic 3 %Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Basicdocument.tex7zXZִF! @|]A-MՋhvG"uIBm5ȢCj L.@&=`zfU@ a\-V7yFըvajMaN?}T.^:b\vTn,}RX~-g,}S HK}l2"`*Zyq)YiމvgGF5%زJ4mf]EG<#gC;~YrH,R&yV?z4+WKEqŧJՓC? %Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.tex7zXZִF! 9d]A-MՋhvG"uIBm5ȢCj L.@&=`$=8ed5:Ij;Ut4Q;Y\n6~_I9qRW46q GD3ȵU$9 _ nM}LѝӶ0bRs>+V:NOvlyjxx@9GSՒ\ ;ӯ}.ַ%3a6|_m@>BWo3OaV5L'&$g(zl#4Fip'5,:r'7Q0l@aC$8tqhv2w=yz{#I%;'g)?mjП- Te3`K1܊y*\8HɈ\dЬcb9/(iniPWDٺ~ Vtذ "hR`^ 7MGꜹv}E=z+E3(&vKGۯNw$)ķaU /ͺg⬒S-9KpG.,s*6ۃĹiHiFAkJRt ݿofE, KiUH Ӷi9qav Pm7u+T^m}\IT4@aw{K羽{#h~F J-ȸƴjy㮂IJ7\IȹW2_,6,S(`3LpݜMKz\ K %Y% Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.tex7zXZִF! Z#FD]A-MՋhvG"uIBm5ȢCj L.@&=`Igzƥa{b/; ۫1-`pvE{_|M~m/*->9v{-f*gn*Ά;(d`&Nc"iVN(k C{|jkEic{t9E]cAɋ i`Uya8\ fJvPo#alrxR5zm$IwPæ;s,hWb7}3 ʍOf0И2af@mS$"IV[ Mr}A|fU:(zp/_\|+ 'mT:}&O}UHXWr$*7׭IL`tY ~oz4'']3؆ZG*غ08>`? -u/ZQ2[ | |mLMCfx=,I!Jؽ%3H):w» Euy*eH6F]k]8z!۲c1)jrC'_Q~3-[8J/mvg.Aʢ"0-7]T48q -d0ˍ%4`FW\wМ=ecZ]cnР}Mׄu}r i(2ǶxTw&fUiA9D#9架=5J1̨nn~%M%Sepref_BasicRefine_Imperative_HOL.Term_Synthdocument.texK%g%Sepref_BasicSeparation_Logic_Imperative_HOL.Default_Instsdocument.tex:%E%Sepref_BasicRefine_Imperative_HOL.Pf_Adddocument.tex1%3%Sepref_BasicHOL-Library.Rewritedocument.texL%i%Sepref_BasicRefine_Imperative_HOL.Concl_Pres_Clarificationdocument.texA%S%Sepref_BasicRefine_Imperative_HOL.User_Smashingdocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Id_Opdocument.tex?%O%Sepref_BasicRefine_Imperative_HOL.Sepref_Miscdocument.texF%]%Sepref_BasicRefine_Imperative_HOL.Named_Theorems_Revdocument.tex?%O%Sepref_BasicRefine_Imperative_HOL.Sepref_Tooldocument.texE%[%Sepref_BasicRefine_Imperative_HOL.Sepref_Definitiondocument.tex D%Y%Sepref_BasicRefine_Imperative_HOL.Structured_Applydocument.tex C%W%Sepref_BasicRefine_Imperative_HOL.Sepref_Monadifydocument.tex F%]%Sepref_BasicRefine_Imperative_HOL.Sepref_Constraintsdocument.tex B%U%Sepref_BasicRefine_Imperative_HOL.Sepref_Foreachdocument.tex 3%7%Sepref_BasicList-Index.List_Indexdocument.texK%g%Sepref_BasicRefine_Imperative_HOL.Sepref_Combinator_Setupdocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Framedocument.texG%_%Sepref_BasicRefine_Imperative_HOL.Sepref_HOL_Bindingsdocument.texD%Y%Sepref_BasicRefine_Imperative_HOL.Sepref_Translatedocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Basicdocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.texC%Y% Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.tex^(U4j7Aq. F ڢ);O\+7; $h1F W*ԉuYf6n @3*$}ym;ӴIc\(r7hY<θ8Φz=&cC^1B[vEPQuYʻ&3(d&K uJ7tC~|I߯KViH!U5\ (~2~zGƱ)P B) 29=>X![_cwo9ZE1%ޜ ><0½Y^s+ 7Nvo}5eB4&-e s kFwog:MCZZ pVELW I(&Cv< >}7(oĒ/Oe:$c!(1DN9l=C+xzͳ {GMIJkuuo)0wnjvUDcrЌ8Sq^Li!➅1c)^0Ȅ;T pi'j2g==%`K 2- ݌ߗx~4އlm8sRdg%qd4PFk'-<G%ޅVIV[i7k;Wo{5՜'39E? %VF d_em`{5_G0'"PD;"~T668?ߘf}JW.J4l܌g3DFԽ>,ҊLOy8όѰȕb+LbX'dskS'g~@5k~r:VJm~=VRIzџ T$ $ 08Nv:/Pb3 )nCߋjkP% @9yhԭ B_&&w+7{!-|`R!wFcf;< (ة22zD'xAO%SZLdf8E*4^<nz.t4.UBj'?mA~[-TC녓K+yap[fW Ї%B- yk1j*\!wJ3 T=4kϐ9SeA +3+A՝ Pi*XubzUm4FEp,]DV1S-|s\@'2ICAiRZb#Y!u{E#I ġxC8#GC M5#/7R6]9/*RA샵/xmRtc`-*Vǚ9`AF4 y־7TTjMn1h|܄nrI gaX0):e$XH,wZ iY:4`g͙KWʿy"2/-wkF<|fЌo&{ڧ E"GoEyP {V*ݭ;>/錮9w6c:2^$ <2:hG9 1+r񝣡vr; C;Vؾd3@ߌP>=_]ԍO3b^@ 1 )* K~FQ}ߙaAșr{b D3)ُ>zjpF'| F@jVsocdt5e4s4.u`ZsmQ͝x:\죀CYK@hVg!)rۺ`HլYӀKY9u,*iRZ͑L6/}f71鳥a>cx\~̷TQh[w#Ok)TMbԡC6"1ީ uf ]e+qMw8B6 k!ѩ{ r$3q .S~/Sho+ťǧѕLeX,9>(}KSvFՋ"p@F5fݨ.͵ieN^-<I0W^m8Zm@(Yw-%%@!> )h,=/qz t`qxQ-,B<8sN}Rbx' װBA@@ܨg`|um\+dr.S ݓpALx>Zb2IgXo5PSҎ{ S`͜9p8.Aő+Yc&䳺@ ZV!`5~.TK/2alM+*HvTMx'3()A#[qI 2v6yks-s2 v>%eJ)Z3xDjͬiHj)NM+V}7=4*h$zFcp+%}@;eAO+҆  )<8:+N1F"r/9"[OOex\⯀2bJ#jY8,98snL崙OT jY"=MkֆM|O_a ݉+]u_;›ޘ{}TPIzbS|Z{pHKbX̦Ƃ<0h8u吢>Gr12eQBY&6]o_HxuN6 ѻAsZr  [3QɢIN+;8dˇc9.c]D7XMoʣ >W̾,VFuv;\gG >y!OQ,ɢoyh2C|H^!'_cNǷa|QYĻ[YqI会/ka +*GB#-`V;PutdXcX5x匦MrC>W1/46)Trc]S4ROY?}1B +ީ{oatc@Qnݤt:8R>H2a] \4EdE:CcƷ/=_eBfA ߪ燿O6_b` (w@fHۏ}D _*Wx eCn54 U)~4 Fv5ơoJ 1@{#àr8_wmdWb/ڿɆ'Ct1D{M;oFm_R&ÈmsFaU)~'ڷ?kASu#JfSGh̳±3Zcn0GWg)K>bl Hod) YdvIn w Xif/lK&ߙRԝ0 s?"Tl{ ĦyqUyFO3L#l+5fq#Q$'%VZ~Zuzg]rDCf['0Wt.!Ȥ@';P/~AB)Uu`u-/s ] Cx6P{J_?SN{0H p=ɀEmٴ6e/nG! e*F}Z!` Sd ~x- +aZϲ"ڸCu zy>f]ܸ8p~S.9Q^WR`2Rxl\.} g]]B㐻="S? D[bMܘ??fֆ`\WJӓܩ FIyf4Hܜvx-ثG S''I[alVX5~0F Y^obW>xH%'\^2;qMh)DfOr4l *r3`B*M_)Y+'~6d{ ~?O=VHX4 P;0/LoMbOj'rHyx( xoXeSg"aw `.RvE7WE!goT!q3ԡ(g\L=|c:Lԣo54ឥSJ*Y4=ZST`:[07aY.W?äb4'.J_K.Όb^7p#ޙk..i?"&69@߁M{YdFA gk'pVͥ9y:~z#\U-yHHvרI9!֕5|x6CeVc 4\䏯w/gkqjD~ϓQZtSpYpL4q Tl}kLI];C_`XтL lw/nLJ<Ңȁp¸֑#ѷ1Guwܡkq\vi!Wp3"1bYh8u"m52Tאo=d7ƹm8 j!p"2=H˫?({-E>+5 }+9s/C*ڼeX(yT):Ue{# F5K{.ay1Ϣp8Cr٢N(M^<W?3TjH:X06VQYtȲ~ k1U tlDI∵nchR4q,IDNŜnEX48&[=R!H#LҩCD[ux-a` 3~j n>bWCLYl 2xӽL[?" Widx}8E/TLp' N7Dg<@%m L+ozɆki 'S_Vpi3;M`j6DŽ/O}i!=!Llv1Qm-I h6ՔLQ??"Zy#⿁wj_$YS{ }M?1oXK vL#0L簀a3C({6-XG< &疨[i2|{ ͡z` R{ǔLsIK*q?,U𨒙e?0HɅO4-cC^_sۀY?&0`+67G%ztr1DТ;U7Ev38ϿѶ—}M+v<hf~e~࡜lכּ q5ٴX'2)p<(#7*aM&.,4$5A.EyuFvsS4,caaNard0솨`c#=z0lQoŜNua;CGI]>{B|kc=,Ȫ 4pR?Rpka*1G~I%J̬;)pj73帗;7x,xH}g/9'"+2 usϑ 3{u\4hI`3J179h[r{%f.^c%[xŞ44gxO]o֞DŽ a.9~uY@wlRȲ!6 `dԝjY9 $1qiȰUꬨ&.*@ s?e²2Fȫ^LV 8Yc(LrzqWJ h. b;El tO]TVl` c!DܭsR$Esz y +Z@֒Y.Tӯ OX~w5M]ۣ:ւ\"x S﬏Yˑܬp҇mVxXVD0 {*]}fFXk#]KWFg:"f4[>"vO~ ĎsLOϊ{77IsE%p(,&*0O*}q1Vֻr*^+J9iEÉ]?2Ù:`Ayjx=i(mr})=7gȢ'z%喏t%G3 {8`JɭfSdh))x__|;T6bͺ'Hak>w&Qi*:MhWstHg닙L6_T]>)ɹz͞T`v|'_o %N}8tyؐ&}Oϛ1a""}sx;>#1ee~it2zUHns1Zw)TIJIc93HdgI1Kv~PlV+!Z9S%&Lv sJ$0H(x7{1t`d'*Pv< >~f\éDʋI2Qf<4L~qWpIu\;-<0F̪H}˹V9u=-7;9DP~li(C:NW:BbWy:toi~/t~:Q'n#3zodp%kya]N/"6|vR.qYF2o r޽"~@TfAf7_)E$ UEO![S>؇'bֳ+#REe("-]Z(ud q$P<&!o0Eͻ7xV*JQ2u:1rD2PEU}U FwնU4v&eܮ짇s2jI5s77ہy˗8x_ IU>*^V3*QJ&*g(Vp$?C|zq]肎2N-2ߟAoM/aSBF2PuNM2 Eze߼7P #¸pp)HFQ8Xyguһ//ˤe7N/‚ +Zi1O̼Xv.Pt!GY5,R vu`^|D0eȽŨyxzN| ?_v% geghn47@ uܰ>̋Mz뾳tFzزK{>4x+9Joi(ѽ4.͒-O/kWZ/1w$*yХyNbDc-[r`Y+Ri-YY?{; xX{誡h"-1I.R@`  Rcrm;yXx J͸1HZsm\|wn ւ}.v3Nx9zLZ<s>SSmn4׭u]w,B*)r:(:]>ovkΖy+Jb!PC: g(4>TuJr[&e[Iw'1Jjx%XYИR5wMčb ݩ.u֒"iI- J\1664qFm4K?Ih\u-/ ) fXns^B5S*+ر3K[OEF  G7;%HYn-׆+?elG{? KM}+Zױ]4ԺK6␔G kXM&[AsOe1!loZޙ#y%WcDc#^%KK81 UNfBuF=z]PVyx9o͐/񁣣K^F+={!oH<3[-椛tv"oPezLh/j@ fxJX~4˦Ԇ%Sq3̥\_ qC::L$g4-$0~ k3"܀KmVoޑbO0(I) 07lrml<_+Ո:FF!,=,t.[+]Iϴ% gC?y |F= uѯƏ~o6y({(^{PO1bˤݗ)IקƾDnr@ER#8JHKYޝbj}zhOlvPh`a%K JbxOV>Z%5Eɔ,耊ɺX&p4"ϤH:{wMmA%(pMRTz|7.{3!Mݲ>%9*~ZۏW",:9KgMqut߁D኏|7s\|TkW. Y|ER]4O%5yѮ9caεoo7I9! {Vu%jtJ/."6̦tQ9-snޒq 32蓹4m7P=(ѹջ I%'{| &#Mӥ@~Xv~ X}I,?|/zE*ycbb@Fۇ4B~vrNآv[tƣ!s7WG=X/5s8!|[ +5 ڸI{Kes0[T+> \zDi/EJ4A6#%1*Bϛ"Y!˟TDDX~%ݗ5Ù)ȠزkDQszxo{xK!ls@\Vp+)K\ɽNnWKL 2+& JϋiBI+K"ۋĬ)@1~[k8m5-҄2ghx0KU4V*2+~>~$VHlmyDj f'uו忁?^p#;ysI伫(GX{sapM ~ͯq44Jnu3ipaG#%9*G͢-qLSBY& -4j'4FC%Z҅' U.AUP* u{=ͨ Wn`:8̉>?mv-2SˍpHVU0kY{nvj QjVwOYX e_X5mI XF1XH KO(SuY>#LB$3! B3|5L ն=~7uTnk> t0G~Oʉᙐz oRfM<q &N_aa,j+a 'i"YlՕkL߀֟,tAH_ Тv M_~]rKD'e)?,{@r #sKA>b<ɹƏs }Oc5E3o>nT_MQB{ZBhǮ[KD/ EUmՈ+^Nҝ[ojFO}_y(z,j2ы ,鼴$[Ÿ [w߁R q8TĠ{C{uN7$@2,_f(@}/3/vZ'2bDf02`}) T/\%aPڢG2cW+ Vt`%S9<.a}v h2J,bew*8FӉ08-م^ ^}0)FNIՄpy߯u1^f6 dpoÓU64W-p}iK~S*Ļo -(8YA+ TfcL(7Oh#S1%2!z~X(ge-⹏]3KLΛfrácoC6աKRƹW?018xPČHR4vIrDV8ّK=:CRXiQ)Z#\[)/HINEc}=<8~FWʝCrrf#l<$)Jh K08>Y%pɳ`1u&߉h o>mCQq_ӏhNA9C dDvPv˷L#Ÿ0A f$.&|6:(7&⽎(w q't6 YN~a`O&v۪L;DWW/Wwy9o32!“PԵL{mb[]St"&9+P`)2a9(&-n7G -{ɡFa&u*п䱎ą1L5z<"iU  YUp ov%1c&XOq93 a/,A1dt<^G{!1%EJw*Yǁyp+Pt'ngYxd:n"^G r8W2]Kw*He2 `hP[Z-|d^o%_yPB{B2hçw+4gJ=B߇r}gyT< iZSp~sp7璜Qa0 t"rӬAS{7cZizZw22mRo,=JsT=-5 .pcv"0v=xrXD>ڂq8@d ;ncy/T qa)$50:'[v)&ö ~W 1p߸ES & 1XX֙!! }4@%򟌛<{^9 F:dߏR]z c;Mz.cȨXFθqa|BE>QC#^OzϰB@!Vez U:Д#*A iZ~NpZFeLsA/kdL[tr`wcoC7a2 Άqb rܽ0OC:Կ%YPTfÚdy$sg=2`{(,?^w`M3S(b\rsi-7CYRR0̗-þ?Ib6VA5B6m8Q+T'B". *^* cf!fJY sp"؇\;R !ƌab6ӏe FyP_:簜Q~^ FSڽ| ݪI8us"s' g7-+gms:$RCC½ @v]? mAB3eU>ض K64Kq[`+#«?}b-\1z7$4wOT]KohQz^Ga,.TWg,ÕKƾГ*S *t%R;9U} B >PA_i6@"'~!8CX7;-q]zK^S8Y4x }~&z,ɣܸ;)tq3S "Q6EkR VBA&rDGAg4?Li:{F䰝1_E)@ Blu}zE`Y#tPr?_ӣ24zCBM/(w0vr2ȾoghLn\vZoQ"fC F4S5iQTԺ췋YI” ep)ld׹%7uN5x,α/(;Sw 9gYZ 1Sርsbq+mxv9}\܁H!}웯k7]qV5׷dI[Ձ"DNgfD I.*xA_OѬ,v L^] 1_;q,T@#VKX!ouu01E*j%=ܮ0`vSQ͗Mؘ}){-C?U3d69EB:Apưp |{alXbZlGb|u߃+*Pzyr kG&#fx pʥF'Oj&IPg{xO33(tU?ܷIf"@\r}4z_MgR$1 nFlj#$&Z o=7H|&}VZv0>} G&Jz`TlY[z[ІDVMnaYeBfo3?c +f-Ff:xnw~"^n(VA;-Ż7a/ &ރ h("JM%)Sxca-5/gm ŧ `a- Np|wZܫ䫩aP;(d@ƘYb{'ҠG(rd~R'ܐNUzwdD_R 1F}# tEz}S@x6&!@zIL`ǧ;9? Ԙǐ޿I Eb_ B ~:>},F.0㞏J=W-[#'A' /Hx'X8=uPZ7rD ݄@&JA~-ڈAڭ&rf%m Cxm݊'m,b9-L'5 Х00aVb)e@,7€'PwvT0<0;rf̈^& bNc%]9޻wdC4]: 8WiR߳<6 3u:T| Yv)6:[EڗtY 1",a]j`'$7O /J40yqA\ۅCAOk#GVGs{"mG.ymxgVbm;4ʜd.H e 렷 j#X! %2߄nPfudX8fMz,q?=*/b]v̐`Q5XéIٕUR3wfH})vz=ժF5fw쁟xxI Rv\,9~\9<,Ua\SoEFL/sX-h_E)S. q#-40,n6 q^U$TID`{&P:b+a8[lVUtLxPs(h*3B״E:HB3 |zoi hWf>wO:batfaU:pOpۋȕ;m#}Ѹ[@۾"`#zG[?<;G3 ~Zt2%[dq+ fO1>Cti`(V9M$_4:wV`F3q=<| ayqP*sx^+#q ,,0Ǘd)<11ͪo|A[tPC(o"xU1w% 'R`?/U=Q1ޯc>"HrxQ1 (u]F Cv(fd_gS?ᾘٰH,遌2jǾ2ѡpnk>24>\ChՕڱk/e4AA(缲i2R^MH.m^zs2ŭgN<Bz㽈(>|GhO ~LCL{$fUc2Z4M_>ugIXHӧcL6aRٱ3n!2|骣.l  H\JNOBv^ہ²hX9cJ}XVK k]2|ڿ |8`D01%o9Z]:" \nrq Z_Ҝ >t͜cЬ1sQ'^V.nyee4_sՔmvmF 8;+ե|si |$X|-^OU%fa"(zBLعIXt]zo . AyOO6)nfO-q#3MSVB:clH>eF?-^]|z0yਫ=sDãw͟wD([^;J1>97u Fա`)Xqk2xp c G۴>c, j,W([Iu(>,wtz7R/lgn2v룬K=_5)^|)R2$"e58AZ8v롐F"r^{Q '͔KrJ~Ix,ho]q0%rH.Bd`ߗw~#KR*eB,OծZWH#/|[A{bg}Cgox5]wޙf7'V&~B|9J! 7equDza}+[EO^|7i74z`:|@G%`XTi@ iHp.BLjmԦ^Xdު: 8]cyTcI*t9>  %j.QRfiwĠ7,?D<بr}'%EW6 4G[!DB۽hV!Kb>2E' qs3=yЭȵ>5,WLH )T!/DHD"yr±DXֲuڴ~0_tKFЩYOȫ%txjZ.0zmvQ<,6=vCO)j8scIeFS1/1@sЈTm$G$: f]=T^=H5u_Y_o~E0OF'I0]Bg = oΥ5"_Tñ9sO*'sdp'odSc#z5Db }iuYԜY÷)#Qpv5+ @²bNjR".NIa{unN$A*z@fv3UCXF8F.5oCqH`մJmĦ뚅CUm#uL!4k+SH[VeQ;(o nhw9HC3Da.g>;6]glľܔVrA`9&ќ!e:[%X+-v!N*ؚ-TxhN+Xp5d#wyxYt]!,$zDmQ3885gœ_6){Gb3OhXkJڸz/{0h#ndk{*o 0n)]N|3T ,`'%m J-+yTpsXLe. PGwxBRnZ:pgK#CFRAMZT2G<ɏ UGk.ն;2Ec#'BvcrsoR. 3l*1$2[G6Xa'(8bF|R/KLyzxdOo\%~i94D1Tjo<>Py4U_= L|QZ%IK¥6>\t$0 ])&9Rtw1tY'{ B+`7i["FIu~7)7ħ.֣O0e"ZCyÌ󥳐/=_Y:=׊sh[}jVYHp0 C.oyO%؈wotRvw? J 4t /)ۂ; hV/LI?!Fsv G ; ?w;x7wyq 2$r=9rdJP>>^߻ZY|i?+f4~bGN`. 5ܵ1X:lI#OW`~jw e4,@|i@?hݑ1a9$)H+hM5 "w,@hvTf)@b ߻ ˎzJ2ĘO][?VPkR)Hxbf,/|vUʱgD¥y`R6 8RN a:Ko ~Gt0]Tt.@V%e#1vU*FzF)-S<23ϯc#0)?p{˸ybRrc d߀KdG-2ϥks猐Z39H^EQߩAʾg%ΨV-nyraj\~J4 hb0u9F[bd&gXB硒#ӚP2.E2I qnz7}g@葶K'7;̊"{Sae.ZD4LZ +F>U86kj;۟UV)R3o3ϳC5Г]iDE%/4(I 3uM9I$Z$oX\w뛥jv<*'Xpo /jn .jGKf(+̨]FAۥ=H;6%R+cp*Ue8Ι&Űht+r5~Lk@ rNS/<i 8WUOL"Tp;aݤ`F.RIFj&P=>8^L۲s2v^ ;D[8+? j.{xz_CV׈8oP1Q~jteV1`IYU/׶vA]5*67Wtu9((pZu*hF5 m]8o8p{  7AB>zWݱ\+$^ܩ zΝlFnV&6q1U^6^AOaa~oH9#!AQ~rC1eX533.m'}S;4RC[(Da(jP}Ζ)'_-̎(N:|BאA$A9gCd,1%hSڼ>p_# Kd&c¾o2r46kV4N46] 3&w$P6uG=k4^V(kI2rͅv.~Ω ^[&c]=>}'F*y^7}ckktX%' p9 qzNlI;? =j1Mi#'VIZ Dɕ`psJW3w8tLt]v]A2Q&?zuv>5^}=`",AMOڱk7~lAip $w:@zSqԴ}pwfKwsو~>MnE)(̻eɤque~x}ʣFp~Oa9QG#p-L6~@"V ڏtY9/NPmfܠ:0klxE<(ޘpRT=wؽ#ͪA|,ABnEdHzڳh@L!<%7fFLj5O. op:#ZEB |[_r͚fϫ$x7m<޼qJfx]@HJ9?-6qGv\D+k"6:)+TU,qlO"N,u YHuۺf}&)*9*m0GOStpL|yq} b0A<( d$z=?4&I*H=#~@7CU݇r^f 0TUZ] 䂹TOfHӮSKJ$d;xp}b2ҒeWHVRPDw27rYÏ2'椗UqR.DP9-TVk{,e¸5gj߬rMƤiHh,6\V$!Lmbϵ/^xx<ˁ-yaBA˲jI9u1븏."Ws_V[hbثK xz(,ӥpG4(m}ak\gtцV/4 w.aoDn=ieU:W5_ =x4 owjo#;m&`hDIzq4$Ac̈CE sPmls=k~}tFrū:F2lJ3dQH&rp"0CeMm)E$+"KD@/JT3&Bâ| Siv4U槨~1JT1f,/NYR l Bx60RY8g]X;c}%J)ȦS˧Pi{2= M7V@PB 6'D0ݣb<~ HC1bH|0US W&":$.) k`F8(*:VL! t累 'l!= D-cRú#7[İVHBQ<->-l){:e,K"PQnB᷷c>cDeVsQ,)y|wU^SE z2Ĥ&dKmVP1]{H_VO@̟!Qp=)[  bA]ֳ3#ǽ n=ƺeg6o?LKxZtn ՉzT`';[坡ןثNK9=SVv=C L<[ hݰLAOYnaƎu<|?}buW^!M|C0͌I^ 7JaH>N" Gؐ|۠x?t%LJ~{j/6 qbsF-2ns r[Yv`U՗?.a\]a瑄#8Jucx9,0x@ ^Le4ߗֺ}YhdS1q2QgO1ҢgA%]-;ίI|, 7 h8mu:#w?\38ft*ՎPd. ʬd 3L*Lz|YRU*VPI5+ ?r͹trg1Cc*oqP+93qĝ}Txa:p~8 nWUѮOn0N5ִA*I $526?WK9Pwym@BNx"[XI-)b8 rbQG8i:w26!X#!\kF:l<^>%Vкh؉LD}DzN $*~m(C/$m'3ǚSD2;5>xzN]*ܖ5҄F/n&*.UoMpX`,S$<xGvYuao/ђ,S%%Il"ޫ28VRGƲ8Vi}A~.21&sU,@^PS.pKpւK;c,<2RH:qy3ZTʖrBg7n]p DCl)_bKNﮥ%,V";p*"xk3EվC$ :%uJ@ESQp~XK`ZR*2FrG<&YʞWmiY~+߶L0~.H1=u?N`-E/DB%DU_]l{H6/e#- {6 l˶.]qJU^7 E[AcdYQx;]+,Rr4Jɩ_y;}D!Ot֕˧y+UlU#6D9LS(LOYERXz̤mVC}yͱN1 ٭9t"鍨~?,YKSE. ]cq[;3e-$M/ccțmc)GC͛Հ0Eـ-=:y(oҞ3)UlP1OU+|6>Ğl[s6US]DX2  kAPzmDy<=rG 4]/Og_–=6 Dci9j*5W7@wHpv߆ ]}fM0{N*^tͻ ;MT #l]7o|WAe^EVooSYOƃN쏻X3D-S97 S҈905)$%V)68*}z7Ͼ͠GBw%p.t Uk^T҃Ҳ]HS8 &s8dS@ VA?OuClB zOqDz7~ qNGK,%)xL/쯂%w歳 &4e}~rp<\yVz-ea._7TYMM}uGƯ(aJھnyX/p~]"?x gXR&liV>pÏ0N<'(}5>~Q\oKN޵%9?'dnv|?]Y?e@iT!Kpd] L1o$!hz/r0xt3SCd<5ms$S;= cD@ZRoz&'j/MpDˮ,q jA8$tnL)I{̍{Z>@&q-`,as^7Mi\6Sv&/i\!RqFH -+"/#{ bjηP]YہoGmatOvQnP ۏҹ1G.G>VHƝPN R6sa}N [䁖`1㝫,Ou)N"7XdY<"6%y0MUN.u -%wvA796$/V{~sGiTL0Sԑ( ϼ,I?-lo3]#"!Kih%HPdnP$Dg%U2+:fyOU3 *όaLn-h~. "Ys_G[N21Ԛ|Koq8m\H6ʈ?p7$pwh@gHt6hGf'`w9M錺ׄN(tiB?Lr7~ihgՑ.BB! 3Y[g>Bæyz160Yr<pyz9,ɬ7lwSuB*iS#(^&vë%]ԣ]WE$ iͯSh'^F L^wY`vs.6?yK^[hOϽANgM]Ѱf{]ǃ=XHJYt " ǐ}n $bf碛ALu*ãPZ} }=F"3m pwHs $]ܟIrP7´q:fy N>.7ߩwYhÿ P&'ej3L& kjٚs¢<l}{yK=Bhnd;Ȕ6 T+!i|#["}x)КWqF^ DܹGg@M[(Mvmm1~y139J_EHxzW)?Jg?XU| %ہR{&e7ؤ7j-ղ~ x/3-Е|V_4Nz͝v W~5FT[xpP7x:w!8P{GI|,9ȃ+YLhPlԀМ>;OFpMզ9WȬɖ[j\gWR6*ʌU`*FbW+mȋ&-~qN,3tQxw1_JSqUS^s Ok/:Rqo^ԏH0ٯ<)K^b&8>\D &خ+_k71|0e#pʘo*z@ )e(2 XoGc {D<}JZvFV+eU -Q68٪Foi$VkZ0̤"f gg'~׸-Jj*߽IwT/ R_^J^yiE9=VŰ>m jXG%x@$7ҙ,'Q+嫀4"kиږz/"ѷϷ>{k@ps~$eRa,$J+< AT5h㺻/v؄wwisC]'qoqԷ[Uyr@znU&{8U/~~XYQ"2H.>u,ObOM[)xT!Yix } ׃>f=JHg,PsV0Jjl =^槰Y$Bj@ *JӪ",_tMe}ޝ7K t0$x$SȱݪYRy*o*gѵ)P[XuN@.&c&k@Fܪzf@QQ4Bxa7ɸ!f]IJcw7D\9[.`ȧw剰|.\r?* X)N YeX6ӿGplwS cD%b97OHQo3SJHgT&k~I%"~'[sޭ >TKKMdlf >X!XGq s*Yp'3\i(W pV:jV\w|PG~dRV+)YL&; nIb90zﴥ{G,qA:p,N;aŶo6m:>LjELG zJv͓.0U-~Vbf, R՜&|H+Xi\}@D;1`ZT#A \D.&H^y86yeۼY@(pȊ2N 1~%"F 7eYԩT-mTsJt!xCzcdH/73 C+7Q3LXF5.xk GC(M&3jfi SJ<תFY?gLtkʷZkm]Q՘|u7ؾGEuqa zwY-դfb mKmɚa6м v{~ 86+`KJI\V"]RDY[FB<@{85?]fq߷#QVss1\qURjAY5wqsa'? ̾*@l&RBU[n#KA/I$NZaKc:*EDL 1^܁1y`0e4y+0^!t_E?f4 ~!T.j&_N\~s #ŲC쳗/2xonI0g$ 9 $BzL,,xԧ]_ǠoC ^BڼAR@SiAȑ#4cI_af3_au@QB vPLx i"?⾼ѣJznk,zC] oWzlc S+#v0f9KqbNa9|ooRLH{rH`U~ޚY܎4PP^'f7 ޴#qFHR ]CXݖmsz3E/]xDS%$4T aOH*43؃<vbT>I-=:|ܦ.Rˁm~uRod)(cNlY9K I~'xwO9'Q|Әzchގ=ivy?Qq\mq 5Ic=6ҿ^#yB$fd ?*=`]w$L҂S‚&"qb4Cq񓏂hQhŕdk tR{X୴ J6bD>bFdS nƚ[f۝bO}|.ΓYX݇3"=vel=0(~ CtR'a^%\@Xڮ,w9)ޔ'$|C#1@`:ZĔ+ފKi5Qp(xCu<$îUPkCTIL>fjnb,R3߽ 0G ]Z̉0jk6D h)>e r%k"]=]ϊo>"!좯r+3pt1ȽМ4 Zm3x)A@ř~DֳC`U'Y˾8NȒw;Jbb_>:BH ɉt+#Ⱦ3^ '^Ķ= ^@ Yc-7[F|(W׳Cp[6|vdDHoF'dGi̐.+18`7>D#(>mwN N=wֽ]v_(~{SVU?z/!Hs3ʯo![V>M K@ 5aFg2.$}PNN҉Z .sOSڏ߇^eN|%鏲5M#Ef/14Rjm@Yk4qJ=m |ى~Yγb *åKEZC:hoCtP@U,B qp=n{{ܓLUK.-c -ؽ{Jk'΄l/~.nR;ˆDu\ $m!&3KYAfuWpC _Vm#HpRݔ@I\ٜݣbmUMn`&^XUҀ"g zQE9clS ~lW2i#{]~LL 1H5 =b68F3+霑itGKߵVш岆T ^G#[\rc=L%~c͘0**Q<`Ed,GD5ՈmvH$}}gdNy`~cMDP^d !]NM{|y53%"xrU_}Tͪ=(B(,!T^c9ܐ.70IQ<E22%†,:`^BT՞nCYr[g 2vSÝ/Ç\|rt? c'nٝ2Uh\թx ]| IFNZ*qu5ҡQV74!c eAIvR;zKGg&b@+s٦NRtUX~-@$9ͩh+{v 5mމđQcd3l(bIðz >LEXlXtУ VXUk1hn+mWn,rRFP|8aB*.L_+o@_t)vlgG JM 7) <wW~$qx7m1/<% 7İ H'dSmi(p,`P$VF@3K'NjG`38ȞuMA,h`qϋ*Vfxx,LSp7w 4,rxu S$5`,P0wr}k !&2(vdE&i@n "EۡNx'?B\@\s9\=I7<{C:fD^j'2} z Lǜ@s<|***d4w)vb>2-i Uktyu"khJ4Ѯw[a^ np)(Cҋ-Uq6xOLv %1 ty¶H\=B1?pawaCcjs:op.ߨ+Wُ<7ɋƘ)"e2IƖ;`Y/"L$L@j9;.g &y-0^f8M*:6,\s쫧 I 9܅ӄH[TV;=fa\04*UO6n /\ob+Q`.SY ,{Y+L1$ $Kip\NU)M>:sTs}|T݊ fЉJǬ}Ptm[zdekyoW/(IDfWPՅ{]Tm5Q|W$G@$INɛbHf%3ںmF^ o԰Y,Uz?VҖ'.;<{Pcj+>dG'H؛28P$mO3ǭ^|$^u6^؆$KLT,md*t`~(*cޡ H6834bY@l5k `I>>i]k`zBI Ǟ19Tkj %.kpp[HpP] c*d{wc3WEpdݩ^'nd __P^=ZT[׭rFE!p݅~(i&&KՌ&ЦmqOPPz!tfBTp fd̮>|&q]O)PD0(x8gu &.ONf+K2B3Fp" ӝ+twR9`}_ޯZը_71/@+.-fKq4iT}Xӻը/yKZ;'m:_Y;GRP xglfpC[|!,|UT@ U ֬j. ; @n1ѷ}Ӧ>ښ DYN($~1HO}U`sjFI*~Q'tLjĿo]g^//kgE5MjR rTMQB+tJg 3KZ=Z|5}AUmu`;K8I4Hpddus$Sp/{"[jr֛! i/ۗ=a`Ȳ1[ -ϋNt <*V"Y+ */78{ۣV$:{eDwqD3?:Դ<}<jq U${1?t~NqݸB 7Dj0`fZh#.YHZE}Cܝ:yY^O|m I-p+B{;i|GoV̴Fl5X#)82S(!Ro S(HἉ $T׹2YG)xd[xqHDՕo?]eO2i_)5!NvmLp6wmRZ\KF$a};qb 䙐PTH{[hK mOЛ,YvE`(BwSasN )=̹ܰ[ؗȺYUPvaS wk,xiB~*'ݲ@b&D"LEsLh8cX/@ AUBuC[ɞLD`ˍpsTKYTF}:PiRπp~2vIAwp'ȹdfM{l@%aZ>,XRZX%}~4%T t!_*cەLe<2ψD(k (C-DdrHީa'S˳F;2@*B0`mF8˘sGiji&#Q]#=f+^; >>c5Ď|D ɸS*q@o}RψANmXD9ZbJNWMf]v*.w/0 aFd- ^TRUOetGʧ(<0&W+1f/ū h܀B#U\, 䓲X^tq糘Ƹn61J\lueCt)}kLl1{g8 ]#B*:wmEUҐb-%W`wA*Xy7rՇ1Fvj״b H䅸KEUz'u*ݠY<P`=ؚ`*I~'H;eVڬkݹ 6"w p bBp )D&z> X[Y xʼ4cvfzrmyKcБ T@v4YmBpy%x鮽i(R-zZZW$YAF+[>m5]+憂Ɉ *^58bI"#:CS G'R/ )}*ӦO(h4,z}~Vy7)똠["`NI! ڂ[֨?lzb(Vhdw8YxFg5۠Vw{.$8-ѧ?U&`#k_WrRs qw֚.֓Q/Qxa_0!ԓCzJ2pбgYZtݩस~_9T < T ۲bH?} N05 wEL1Ĩ8B$7<ھQqE'/eKx2w~g8*CYT:.WAuBBщv K&.ϒs35Y״_¹gTR(o(CЁC95G+2_ 񋽭,gbC4V-4~MG,)kKHcRV]ɟ%كG9uw* v1G1\d3~F Kھ-uRx=T[JvJ=:5VvQ\y(|a|8 Ӎc;"PHC{S+1(^[TK }vP78ox! +<7ɋgw F.&Y4oЍXj0-zk~.2U%li/go˺C?:Pȑp}˹-`UI&flsTKtpr(~*s* TO7^fny~a(M4]l3׍--hS)>u1 5[D.ȫ D1{--4@ڤoE6K 0WOqc0 U.g%iqI+wpY)K3/BNbgn5p˯`**_?iWcqJnuy4c OO~0 ȭh{Cߤ^$('g{i&Y%P;|忞H! C:.hOgt^L:U׀R-k.f&y_b;F1"')ww^q"έ\ȁ"j,y%PZfUM|v#Z{ΘT~UFH#PG*@|i7ͼT\%1_B{2BL"a#76V߻}l7>>R<6>=)U+Rơi#]V {{w:Tgݰ/vmII.P4fZba/NQzfK"{&x26lGm6|S3BKKkFS࿲t)8n%EXąh;p].2|PpHr8Ry4b3gC,*'lХĉLy c85akQ<-bmk r]^6FvpA릍Vx{c$I] }B M<|d1!@&s1u+eLB]3yjw}:6'bz ՐYZ.Kׯ2z5](w,eݶRmfSh[P DUP"|jvK(/G`;ث#[0?F*GbeȆgB߮2=2㥔\o{'KeEB`u1d˭lJWClJg%;7oť?Lq ?֙ru8 Xd*E}>>.CKeVl0HH(VNA^# C `le*(WPH&7TZ@W^EQJ^(jE N7>Vz-3Sr?fɳcΥ uJ|-!@(a:QxTsT)MZ @ &'noдf{;*)6mb12'&}TE~ kp(]nv`ޖ^a}^5v;EB;Q&xCmT}e,6 AO7E/#.NCzѭM?=I%P∡2zs#dySNm6|)h7qhaF?֨ -s $~Ӱݒ[6g_ l6 QJs̤u"lc<9aS7%SG aOڙvx>%|rxc(etoF`qMyEv$}Gٟvt/t0Zg0̫ JY 'b8d i5U0c00!$<2KL5F,U3%7s~̵P9r`1qEm :>y:Ew<|}^@|4NuV4:)s }<~{a:>[’>eb#ɁSc҈98Ba&ZbU)1S`,bW.5tnC˽*XFne)Y” <^35v_3_w$+P.w5nȱRȧ p7p EZ6ceߓ=;R]uw2HeOsNцGe{ 9DtfP~ZFsF=6)LWHyy|Ue'|a8l :*{stKƅUهfݕEK4,kn|h!"O 5 ۂFKtѲGT~Q=y^5} ygt+W" _.kW7-x /$r: yIn=_i G5a0jՈ2G ohR8x{˵V`B{T{rOh!{ TŠ cmZ!M6U6f Ra7P/oh5#R#튯ڝ'a_|F~$>p!Q?҅bbU\!gR@bgt'L'{o=B KۓʿW%jmMxj1N8c}ZG?ǁ2ھ1w]9C5|@3¦*4,֧`l u:3"0vO]i, M/r*g7q)0ʏ{D)^43 xɂ锯rbU /EӔxT`1_WڂoQЉ-XҖ"c,xHCM( |.Vh;0$գh"J&Ѷ9n^ Bcff0`ط#O.[|QrBy/C E&ɵc&NM:qaK`Z+j =3c|K(w2Ldx?Qs9nݸ|}˨fh\IPͯFd㼬GĹ4z3ٝ'F]k brqrDI HK" +i|nCh>0#}*=p.,%N9EjWGWլⱍI˜=W*g]zs(l9l^*,1[t3քS; a6]4ti؍lAY6mZpʕbUNKg[VӪ ]X,OTС2hMW$o(XY_q\v 5oϲe=X w|ÂZ;,Ugxq@Y0r=0M`tz>e (v^fova"M.нZ2H5{"ӽ:_#? dE'ÿhPljL, :O>능BnBإؿvތӠ:60=m&#n`Jt:@uH5 Yb>B;nx,YԄ1_5vYN=VK; ObO蛱y5Y1%3s6J^Ó.)S^s32' $vv9kG)) USkg0\s[-@LJxѵ2`a(`>'Jh.mNw*_&lDp`0B}] ޳󼓰2] MxX#WSi@?NJNlZP7 $[R2ĔЀWގW_`yڤ[{nÙ=/W Uy ;͔U)(L\'kz?VΟri*mIބgDwf/kdow*>RwŻ/I_8/:k_`9 /6.H\&* ۇ3Tz"k,&F\8H?,~@>twiwq>Jbr%৭X9|ϲ9o v'?aRo%v pfN.!; $'}!j@Z}Z.()R!. [+Xh=pbz!)9x`\n AΖuG!Y4%c{ۇHКoR,65ePoSf03a5uәNsE>)=6s^Z뤘`,\ХwlW^ QzX5gsTU喅F 7º27?US{B_>VZc spO됖#P1iIz[[7km4~7M$kdMw5/-|2a!bh6*nƃ5l&FziG -s7Ҟ03"r]PMZԋ3CT2wctti\dЛī$#S/7['`©^ۯ[eO_.A?~DrV !,Y_[Pˌ GfŒ"M/!m,P^S=OWuPvu0[33yaǑV<>\C E̶Qo.WNʇf5UTI]:o\ہB2A  #!uI@_LL)+Jp3' zL"ڙFürmR[t ?5x 5S F2z^c} kp X)F$q,ɈN Pj!2w5fDh}[WI ;呖-|);$bpr2]兾^֊h {1(CֵmZYZ:, :}i{eEL?y$4{ KB{!4k.R/j)A43ȐsR89C69ٷhtajUXcg/ĥeP0ĵJk?!S9͠ړPI<\)Obh GK*$C e8uB_:,!̖J) 悲ZiU{i_ T7-^`e.߆y}( +{HX!5鬨wzpXO9"wdj$jZigi5̂ ]ИݜS)c)hܑ_ӁRT*~ @W(~.@lۈ[kU(iWNLZ܋M<x5V@DzL>ӡ KĺFG 5Et:lipk H>#`<؊h$z4H"VL8#Ew;v8}dM]ntQ[򜝿GPB鐢פQIRyH8/ݲvNЊ>X尊xۖ"%cBE`E3$TxdvX\>'i ;]Q[WMܾNVz,LXH-#r~ī3L CvhLn^$)s[]{=(QxD=ūMep}+ Rrv#}T%pzV_|*Lx;s|?œa Ps^`O6YRf4a!Pm|Ft5)y7<0뙼(VxcL`1=b FlY0`Z997X)"0 P--+*@seLf%N`>` 2[9aΨ J,P(+|J"d6A+)bZASsx'T莜DSDbVQ:5ۭ|4o05B}OP5d8Nȗ}|K}>FDsD'\ʕI;o'~r =_F|LYA =r>ß2c |Ԣ6!zJ ٧T Cg+|ThkZdts|tyIByׂHm D@,X=h 0S E$' rB^o{S+Lo b݉A?*-\R*P!5eŔ)97)3S28U;4(3vj ?M;2*P`qUط݈Pc*tU6G=%t$x' ;[T߾̄JYvkygBLJaƖH?̊eV?A_P"'r,|Jݿma}2 b)Ead ['ݯP^"_BvWu8wĀn-7źĴp)? Xâ#vX/T=vnMHb7CnT L(vҢo*yP>./w3 } H ړʘ+Ms`᚝%|)` EZy}{+5rnR;P[S;ܼ.u*܎(A=Ն:O~sYDK8蠏&OA>rN )WYw:rySU`ݫDH-ׇϒ[jK_(wS-C^z8NmB'P3WAК{{?pW Cѷ?*$YSGk&;5FoM,lx^˵UJ QZU~{mϦXwZbo78߭x:w~Wm+S Vo64sTW+\ik$R*suHL zhK\_V~Yg J$QV =8ݼdq(=Zh5 >Dw<3V1ULv. Qq/`aJ?cGG޻Md&Ɋ}@5<&|8$WmZ}XÌ}8_)|i蒃,)coMA=@[BL/=?dqJ cEC3CzEOjs%U [/6]LT$EH^km8`; O n5cv1YwT\tYo`J~4 =Ut0*"Ɨ A I8R8}yP4.h6;1vh䠤~4/;2]-p4fTqѦVpy,ۜ e L>(.|a΍joY϶ Ku6?Kt,KM<)g¿~-Tjf_k5ߔ'Qd75%(!!rN{Id!']j*y(FhjA |b=l~X K1%)mJct?*<a fIlauxqFy@lKL@LqA`4qW)Aɣ%"] }z;d pvJ Vwd@{Tԣ?oFęW*/l;O^$?]-]`Y%ȉ)f?T)^{Rwa;/BM6xg#g}G/LR&߶,f7FA ¸$c P<ͦa3es3A)aT~T,kS 'ªJ\^pDdDȞ8} =A7Gv-F2n~,ؐ-~'uwNXREZ㚜mm@z]ýRM/379L[6PgP$8f7dQuh‘"mhg XCY: C>84)h(tI_(ݮ_]rtS"]]ϵ-(fAT`ʉEל[Mu5|(^DךD9zNq tB:Q=0]"m~B8qg]D\x^$a `hBz Y~V&I٘ Y^-[ZlX82TtX΢83\p2m::h(=/4<ȤMƩJNwBom)w_ݎPkk6ByĜ_!cDwLz^Fc^F ߉8f7M]zQAs¢8kg ;ժF. j1='k.홤d%-tl37KC ԌkP`>0{e,e1ZTOMwb 5>NYgʹ5(縐eXHI/[M>g]# ^c}}1%rvx0/?4 JržpMM#b[y,"CWH"`⑬P" 8یiU9'nrY@CX܊n&{'ColqV( n$Խ<^w5JW05Xc@ Y&<E4a;G\(&79Q7*>UoH/6QRcw:GH"5Sg,Yazټ5'^tTĆ/@#?*!xUv.֚~.×pd$:*M ] ,(E 6#O},rBkDkCVжpq2ArsesC^2im9 z$lבΆ.\ɖ)r'6ʙVX)Z%.0~9m\텐<:v{[li6lWÎ? !6(ϯ;/ s_-wm>3{Uu`Zs,|;1y`[yVy3ǁ+ljIŠl$4y+Y#dV\mZTM:;=2MvMJ/c_ $fA`R㹁)Pp5GI8.>Z8lCUzN `l ԁw"$\3nT;zZU:RYGUI΋݋㌈e픯*d#l$u#Ҥ NɅ+33?D+\.fu6# 蕚܃$e}30 (_þʁbţFI)נB`Bo=)Sr oc"Is a94Ul}`W4LR=*G~hSwx]I)ш+`0@qNM훲pSF}"^FqP FL00B]vbM@o j7 snR97[.2Iu),x#Ʊy^]HاQ2*aQMoz}Y2v=``Yf%zfQ4yD6I@vOFy~@:YQHlIy3EGC/ 2a^(JaNjSފLIS@7i?aH[%*L.*K;#[UNT@Tړߍ#{Q>{y+&%5[4%hY*"$K5Ŵw[O':&]W xsǸN^9Ts+~璸`[8@7t!-Ҭs'V_T3vL| >ƛ{ұ]qk  PdVT6]k z`#'쌌%Ԫ)ofOǾɶ/{t,S^ ERج|\J^RwqRp ;}64rGD?`_a2@[]@[R:7F':W/ ^=[hıv}mX3̥{rlކU|aY :2"ĀƹJZp4zf:^UœY,\nZ]cW^T J䫽g!V`~ `_eei+_̨9/(cfgwe1T(%6S(@]HФZ̞Yw :RztU;gs78\j4n>6"#:qY.u!aUM:r6aj4qvCSPz' 1ܪsS˯ٝ  IkhB|¬]٩4ˆC`8IP| +H"m&yv.8\8 kAeC +xr,P3nP]7pʩZvtx$Mh<%}d'Q])-@}SH&N [ӔlhrѵW8&l@czmsmW.LyH9|?DQj?a/ٟ,7*' Zh+vOFEk)6D}:\j87ʳ8'GA"c ? 'G0u^ ŒA]&phHd]1޼4s?9&ХxzD,@d2WSj' cxuqF?ڄbBoD6~Pngzy졦Y%8K2s@B~#k+T&Q&P g> &+y'9yfrxQ W&* YuȂ3 C!h-86FhA6˦h^f.\S"OL*uq Em#c)R65 Y5x]θaë#*Asc)vrޙdWTRf5!OY5p VL̼X{(;`σ(7zM!zQеCL;C@F}Al[:*B͘;Mn?ʯx4\RIOxfs8N"7?2gX5/cĿeہ Z !Is>A:֔&39BM\u mxAFgf$̉9ixjM PR·HIb PѲ'2nlm'~@.[{ٽC8J@0({FFT(OX"ZbRLyNd Ju QU`Ɉ]Vr&% ;y4n-#Po.s/M$[yIT!^HA{^;SC y˄}RkŽLl9z]m1uE\SϜ7ṁ. zg:?]]:9Kb{OWL{zm݅A>Ҏ+xctr7ћV3[Emh =: 41+v>ˇM 5C+ڏ2}s'',_GWDwƠu-nd@ W{+&Ey)ΒNRQ3ju9YJC]#UͫL]PLn"1~ܨ_ Nmqls냾#Xo^z-W7×Ћ͇KG V}$$ xؠ&?,Pa<.ŗ"=2K~KZڪUϖMdsd`^~6\BOz 5;"0zov~jeARj产,Vf="pY!,,S6gn[_ݕn9;'!TKG#12U.W uusCK(h<֟'2>,/pb[ HVT?Mty%~I3 )0VZ3ߩX{'.D%(b:{m-ߘhp}%yDGq=ԙI* P)@wXjrKNV5R%s&f.?a," vBF?o9g+&,tLUg944'<[ N|1ODWf/w(AicqDcc,g:^׎nk]8 hTlߢ!]5Iϸ<Su)z܇}(i:s^[\(M=JvjGZ"[u @yoL?+HZ8GƜ#X"GHi̍?q+|Vc~1=N":=s'Z%q+J{p'C8 ļJGQ|{0wƞ2ab~`nӫV[(})5jD $*OzH+Eۡ|8xGgn w(&zrR,oHZiɐN@ õ1ulAu =_Q`VX[h˔^&|yk ΉyYP=p9j=m:ێ~1Bѝ!?~/;&V\ፍ4FHC0!sA5o/^]GdH|`w_o]BYҩG"ffOml+?."}F7 Lnt4ϛ-!l[G% )RcqW[!vȱbs$'Zy0d>WK`RAӡuE(`w807Rr "{J_7z6谿\|ǗZknQB*}CjL/XO.M>{0f.s{D{wIǂ3 XϙV=:izMDUv+0!"8pI[DTS`A]Ũ*AACbY"Pob{ ejD}-?dC=`.(6ܳmˏ=c7]Vd[II7\4AmH%wX ӿ<1Wj (vSN|!رZp5&\3TC/ojTvH~Sg&1P!j 5΍;T##7b"tA`vjS: @Aa2F@py -j 'A-j+xkXd+Yܷ?KC|`p*ü¤Qz,1Eu UCdðoeƼ'1i腕RYGGǹYjKq_j`Q Եs u ~4PlMW#8}q\rKCtZʽ{0k-E~Y.8ʛk':'Ae;bW qY3e,pt#D7[jh7oF3tQ^=bb!.b¨lGJՎՈ<'vHb0oB`eTǠc=hj6Kd^Hgem" oy;ӿ LUh#BG8@Y#z }D+{kIb{&. XJJUځ:'oYMе SOQpAd5F\$ ûl_w(94^+&`":G lyԱ9W╁WL)d`NZ:%L[+r_֎ztmBE|S%v7CXY^Kֈma|L'ݸf([`4p06QnK%4H*G &hrNQƞHv y|d-<֊ QOͧ9mg~.VB"K&͠fWjLޤ|"eR'oF䍅Tܠ\mf]' ^g*|h'-q0ηgU>RʗmM: h^V M,Y,uip0omΞJx dZp]i\wWi[ˀGBdS/VCJ곲Cw6zfM$u.hx( S%.X}x|C<>'<Es >Oe;Vֵ{hVMMf{QUC!|j;G̍ۢsTPNnCН8 H h_kMX GzFh)aluhĬ>aD^r[4d'rn} LPVX8n|{]LCFN#m* ߕZ'_"-3Jkc=&S#Xі!|: al! 8>B;1`0=wlIʱ>'vNЃIzq aAaωwI&35%Z BZ$kҖ5w[^[zBܑ]ҔjuiOܗ +b1_z|A "WLUgT'eGF$!db==")8"3RPR<,k)N73/;G0LtzG05f5"j0b?Vb:FsA%F^W; ܐgM od'o?afOyHR?TG)hMDU7K8l17bAw3 %oe&U]HA"}?yTPrDz"KoP PqWS;-GhkgȥKuho?Sa\5UdQdp/dc:HH poև`ҢӨNɥ2sG+O:|(eЃb0ݱ>X R,?䍪gpw$%DAK{fPK#,L[Sf)u]`prY~JLٱm:Y&UwB$S Sh_2!GXCJH&sw=:Dn[IXӳ}ʎ+ Ͳd[Em/ 1Q>p8?$ / ۅf&Ȭ2Pm6¤4ή+8ZA^]?C%)l$sbjHK@,zRǨNP$2]L$1q)7wNlGF[oP͢C%Q!pERJc#)3.JlgQNEFC7!<`*cN{,%ӹn7 ;pk{5`yWO lڜe0?J Gءt}+],9FUb{Z`͌\K/M׬q*FZ!\|_?C[,H r\ g%Ηp8w5u63EIs)rA ̰ZJiVB0ϥqhH 0yDN݃ 'Àc~R~~hN>lAg[@[йv6eߣUO_Ζk-nd])Q>yh:9&bV{T ?RB(Y꺆:ao)5#Wstm Pr/Vx߳kN'BW"'&$⃲1FWdD:V\_`o yk M(t>z8sqH)as\]ʹ׻yC&2M(Q*{Y$j{AK[q_bQZeyJAr֘b0Ϙq–j ϹԝZFE,‘uG*(k!-njflU$U~Zހ`30bE!F+LS+_NIY!\#4q[ ,rHnT| N̉>+Hrzc2IE'ss|C5+4E*4usp&y:} |9-D8>@QʬQ?o^jiqNFZdMk=a͍Kena 4̰G&-d{Tq+㉚e6!wb lg5¶r 폯oP%Qy6%SIy~V8*%]"~F{v /I L@ݙlѳ%r7USJrrnCʬ`x!SaL~Yb+y{×DqK,sy$-9XZ?CTG? 0|ΝFϯB 2ɵ)W`Aݿo`]wWT7z-fB+b&96wXT(oo% 4pPL<3تM<1u X|J(bC_K5";:IIz_3RJF+(BJ`ڐst'u;z2[ D9WAI?SRr}1*dݿEiX* ;H>UHY᱗#XP bB/|T;f&"-Vx/ EkòPd ͎^0/1PyGZT>AP3)p&崏dٲw>_+AQvvBe3t2 ,X9]mtB2o]X "'_GoYYHUz0CG@Bٛ6 Sqg ٚC62nĘQRNTڟ`v=u% 奉6tĚDD]ra k8adAHz"hn`V $21zm4`!V)07j#o}?5+o}֌^a}նU,t[N 3ϐU5Ҁ(a2[4!~=Rȯ!iOSކ"1&gmH&>)C#6$'B1Č *sc|B[بd(foƮvnttIAZ82cXa%Q.]NRbjX1z&pʕhQ,}!^."A#8iSZjU678t>dܮW D[$xgƎ*&IEJ]&EvI^Z6»lV8бjF~7>A˪|Puvf.|:#xI= H|,)$ɋZhOb6gYZ   %Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Basicdocument.tex7zXZִF! @|]A-MՋhvG"uIBm5ȢCj L.@&=`zfU@ a\-V7yFըvajMaN?}T.^:b\vTn,}RX~-g,}S HK}l2"`*Zyq)YiމvgGF5%زJ4mf]EG<#gC;~YrH,R&yV?z4+WKEqŧJՓC? %Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.tex7zXZִF! 9d]A-MՋhvG"uIBm5ȢCj L.@&=`$=8ed5:Ij;Ut4Q;Y\n6~_I9qRW46q GD3ȵU$9 _ nM}LѝӶ0bRs>+V:NOvlyjxx@9GSՒ\ ;ӯ}.ַ%3a6|_m@>BWo3OaV5L'&$g(zl#4Fip'5,:r'7Q0l@aC$8tqhv2w=yz{#I%;'g)?mjП- Te3`K1܊y*\8HɈ\dЬcb9/(iniPWDٺ~ Vtذ "hR`^ 7MGꜹv}E=z+E3(&vKGۯNw$)ķaU /ͺg⬒S-9KpG.,s*6ۃĹiHiFAkJRt ݿofE, KiUH Ӷi9qav Pm7u+T^m}\IT4@aw{K羽{#h~F J-ȸƴjy㮂IJ7\IȹW2_,6,S(`3LpݜMKz\ K %Y% Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.tex7zXZִF! Z#FD]A-MՋhvG"uIBm5ȢCj L.@&=`Igzƥa{b/; ۫1-`pvE{_|M~m/*->9v{-f*gn*Ά;(d`&Nc"iVN(k C{|jkEic{t9E]cAɋ i`Uya8\ fJvPo#alrxR5zm$IwPæ;s,hWb7}3 ʍOf0И2af@mS$"IV[ Mr}A|fU:(zp/_\|+ 'mT:}&O}UHXWr$*7׭IL`tY ~oz4'']3؆ZG*غ08>`? -u/ZQ2[ | |mLMCfx=,I!Jؽ%3H):w» Euy*eH6F]k]8z!۲c1)jrC'_Q~3-[8J/mvg.Aʢ"0-7]T48q -d0ˍ%4`FW\wМ=ecZ]cnР}Mׄu}r i(2ǶxTw&fUiA9D#9架=5J1̨nn~ %7% Sepref_BasicList-Index.List_Indexdocument.tex7zXZִF! 8#]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiIVf." %g% |Sepref_BasicRefine_Imperative_HOL.Sepref_Combinator_Setupdocument.tex7zXZִF! 8 ]A-MՋhvG"uIBm5ȢCj L.@&=`ǮJ$ N:&?K:ڦ ;<$d3 I0OTMx"NJG5 Z1Ldu IpDS|[\v_J@_Xm["iMUQ=b-u'E4rhBJlun K bfu!/2\ɇbTznj":VU}inB#hV`)­>)iʠlǝ dv`RHj(*gl6.M\ ,^6U}c@5?GXq2V@ o %Q% dSepref_BasicRefine_Imperative_HOL.Sepref_Framedocument.tex7zXZִF! F !l]A-MՋhvG"uIBm5ȢCj L.@&=`/H!!!fܬT_W ݨt6eNiw2޿'.:ل?fgu2t EIֶhTԤe]*Î7]EG\Ipp&͒;*#gi&tYE;J7ޜO[Яh.ͤ/S~cyY< ht­XjRu:JKY  r-c3?M{8?ޑkJ ea^ܣ4qs!7@@ר+@FΞK2ӃoAA|%ԑuVog[jS:U >!;CofoMg8ckoZV %_% $Sepref_BasicRefine_Imperative_HOL.Sepref_HOL_Bindingsdocument.tex7zXZִF! QK]A-MՋhvG"uIBm5ȢCj L.@&=`{;] > qJÍYo).DCEY_lK35inrN|tZY쥝=%ԭ ͒@2.H'%)=H\慥T^9nD Q2 N!x;SRIآSI᯺T/< O~Ugr9Y[W]⴨n)uJ$l&-n1C%^iN(g}zO'K9 #KL4$ZIq%8lq?v+_N;@|$|?]>W 6#v`  %Y% Sepref_BasicRefine_Imperative_HOL.Sepref_Translatedocument.tex7zXZִF! ?04]A-MՋhvG"uIBm5ȢCj L.@&=`+IWOu,2VA;Xfܭ(Px zP) 4Ҝ6R(;M/bx$꺆; ih8hg~GQح,5;7ܽuUc;X6MtS^iNחэ +-/&W:z wZ d5-o0%2Sswd`psU;.mԫY7xX܈:oG:%1 qxLg) jh}F"Y[+KT9rw\%Ftߨ_u>5F^T Ym̆C 1{^xN!f1)x6 @ HH8v(ÇE$͕;ԐA,4s?֚lSo9|!|˸_Q_iLu~r%G;%''<&l3| 4J,36sM絳Yu}/ÈҮw^mRW|v;^.҆7?1fg*P=gfF;l&U9SE:QFSẉ{'uERZX+>IU if+H/l8_5(}Wرju% bcR i>QFXgyiڿB@e=€@ʕp@Wk[v+HJ`:[[GRÃ_ThJd(&ʵf$ f+jmJV>,zE)ԅ@-H;ܣU3Yndڢ;& c OQ66v@Q_}UVV RH>_ ΉGbSv~Rny& gy98J)L_&}ʭÈ[IK"iϞK?91DFHPSE3fH+w2li/CcTNTc|'/%jVR({ngEQݱxAjfM0Yȵ7 pZQ3D>bJsA}l똺ed_Q1h~F6Z-*|(6WG7.aoDACGN&`za:!!}f:3 h\}遛Y\eΐ+>eo$PD/cZ>rL6ovH'SC/o}l l#h gލ@s\=OۋݴUOt9iC}(.re- ԧ'HZA_dgACKѻH/=u2" ZdELxR?v(~Z:̇[@9@8Q%"-Vǖ{1Fm8 j,ԮSO,0>(k|8QwhH(ͮ42Ê$"zncpтۥ$wʄ M:<LlSNi4,ꎌ)s']l@ZWzcN0('~Sh*F6,D:F=/s +|"}ɹH 9Ks8A҉b7΁NIZ>BYV|\>FABktOE_2TSgLhLٸ e]/G;_t 6$|lJ>{ǒYLj0(3ݳˌnh t# K$Y@YrӜj1>̲D(%5SN4tZ_r46ϡ6=\ėC? FZJdzЛ>LP|A' Ay"j/jH; b,h*kjSOG AbKnF ƮnR,!ap8A%$<흔'Y]Y JbG`bpoT hW h kn09 AKIEI&].$<4b![݈_aB`)O|J4Y19<-(Y xp 3; MC2D{EL"ʝ[5bɻVW栓͚.Ήwd:2G pPu=c-eUd/vD=?ѷ+I=̱ {7"~N\M89y1*I5I+1YZXPϷ~\H veu~k2>;5HPg*̢N-'31+'[@^`r&qݫ*1X%@S?|ӄc+ RC @G^r#^$fwB%7]r.]W Vdk8C%b̻3E]c4N*b5H] H:+ \Sg|j:R"w ƅ jE +Z4}K@?65xW q{\ h̆ <ٌȾ;wHKL!8bVI~Tt0WB!^î4#)]=Y)ZͳS2-j!Jr`:o6fv}7 6b Sw-uDHk^/ ?xRFHx91aTkNb%:V^c gXD?9P }~-'M+j({,"^߭`=bHJqt :BftBSZk-L۝`(ZfDUOj˟;1)&6Arid2/Z>Ӣ#<ޑG!K`V}vM(۰XO[4BKqGiJjTZx@M.mӈN\pwLf_8͢v/cVF?0U+OyfM jaoF~r/\w~@[+U3=X}:^"L|se8Y>7q.zlQU*KsN f 亭=aNj3; #WhrˏO#MMh .^4Vzey~j{-V|@ntu"@H_nV&W3: S]Q bRGJBJ3n)zb1]@wFdca_ d  7_і"r,db^k5F0SR0CD>|D10z'yɲ>%"?SЁ\Ɯ@bg:bx/Z fz$(X NCruK;lr?i=㪵 "_h1G+1cت+yQԗ(Qgbh+4HBE"21*4$ !`Y7'4C7/Co*M,GȔ1ưS*a ?Pa[cRГ73b"Ks|'ʵ1jܱ;dr/"q7r3-/ɋE犯Wabv9( #=ֹu ҩv&ljU@%tuآPt[d6"}fvqa$)K_l}|Ae ~Hmq!4^Ev޴s12UaeǑ)6#S! cvUw*y'U% = ?I#u7,K j_xSH_OOtzK :Yl# 1Ec$#uw^8kZMܭ3br9 sZnFG[lõ#lUfSxlP(GERkWF<~I: 90ģ9s}SܫNzdPqߚ>G^C&i|z ^Yؼo9a ?;jg02YEG}n %)-SIQPw5eXC"Չߢ&MP_H2PǵdegL+QK1 ZZ KX_Ⴍ)ް {-_Xs#ZȷD6q!W+J?Cj_Ys4{~&1ˌѤ{#-i(b2cLr\lX)4-ݩhDJ7J$pǴ7mOnD`ghTx8\F(Y*MQ`rvsg d[sW@DK(o'9&T7ޑ"C`XadYzA`U,H$:mMr+- lU*Uvy9Yr, ?odL6dRQ\#Xݦ!@ ZѾy㭜2V΅I\7jkȬ? B7cq,9Ux#OOMskC/&st q 0g3]R [k%gh+@~ ONs tL33޵/qF]@BMSPBr_sgqgw%Amx%ECOļv&BBJӺ4 $_8tT?UE(( đu|.jZy_ i*%3ʣM{A*"@-`=܇r|RRmP=8чZ#񘓂yS 6c:90?6IMp\+L7*&v~"=/f]M#ZT9R%+D#G̨Ú\zuuwC ïCURc ܤHVA$(CB! *0 6EErh"n9 |y9LJ͎)H{tma5D'KpR=g/-c@ /c {#d yGo}[M96ȆFU䭻9퍨p,2W|AZTS ԣX6j,Yttv$8qq;)MJWt;ps_^!((k}n_#~Ql-EM'ZI-]n&t+5.blY. bԸ'g諾LaFEU!\atI2e0WKM hSS-@@^y&g ; ~"Z-I0?JTw箸bܧ<_)&y\*6^v@z1~Qf٠m\ cu{l ×I/ze &ó1{7GplEA{Yf˖ʯ)xř8HL| MӨ^4͊ŠS%^v<6A]yG ½hvp7@k}#D{m$^&'s9،?A{t^S S׭]{D7曆**4x(j?A& @4C̅^HRQVyuS1UNލ@] {?HrL-09,X秛h 0P{;)90 ilKㅦsGp@ M[֦#.W:`)nD>_KG%T _~6TXM,ݩ4mKm:]~,6|pԱ3l#&2P[F/Y}̐V%A5 ɗ$cN#Æ߅!6BPeNY\ x# 8('=2L&zn׷tj y !jښ) /"Q\i[~(*_4l6 Mza{]t f#waKr`{Ixt[[v,{vw^ANiq7tI?:@rЂˋuG [C~/%Zq(*Fu13\j0g^ VKʍb¶b'1@SZ!5{@H!XCXpآy%Q. L 9>#CR>jyZui.deVz( ^:l/3ôr?aP.C_d_ѣhcפr}_98$H hϟW|N{MԔ!p1{h߭cm #mS"etU=9oe(}Op|W흖`ʒ9 = e%-CϥqS$~ڨHwO7vʩnaPMA%-Qtiz{(HxXr=p"Ѥa҆Odff;*,VXI"c0 5"golti<ʺN#7Ӹ!4WM]0W-V]O~MqxďL{+d'7׵7nCs-=R oH"gy%_9y,MJ .(t߉;v.$VW6Kìhg~)^o;^=,>ٵ-y:!_jCILjj ol.; }{ڌƨ҄&W ˧*pCiYBkhϱa\ːĆ?vńN&'%r^OYor~bX2psy{q,'Ip=sP]1Kҕ_pItSe3 _$L/BfyY!hbAñuKzwkVZJQ^`&6^b٦&0Ք/ N̫'OCG2敋yAV~S_7L9>dB @mg8&<MkH}1$# d}ӚY2s>u%Ow/@)r @-)m7QR|Vxc"\wdxǴ p_-g\T౽2OkW˅cgc;lwy@7'\ui)`i'jfF+sS saaVWXEFCi`j:#d"|N|9RdMO4~N *u3uƧ F06 }mݒ Y/j)`FQgx5ˤՍ E_-MST;-ӵIL ^}ްϋ6s`\Ypo)`>e$ 'rW(6&:YP4ef|*lyÖƕr`8̫GXmc3$;~,w0j%.2-ؼ[' W3kO=K$ \D4x[]7Z&/Eԥ߭#@D>1yRY6! w?dEwUm^oRJl#j/Z{fKd(o nJ)Q8mI!U?@ݩ5e I7Op*^ύT+2B4~ 0̒rv ix6S48%7d7SM@(f@.Z& HKbL#9 BYnfPۛ BqhחtKXZz_.a3q~j Ǣ]&PF0XG5 6h#Z. &nXksՊ"u.<88 a{ܠy>_V6ȯqXJx ͸.N{ENQD L9RĎ~3r";w(wAzP`qe(uD5{sϚv־tS Vr1|k46\%dsdHA3`ާz8UK@Y*Csޞ?jD#ŲGQ"!v.LpGp 47;ZeFGiPՉV.7-9袕` UY]U55##p'rW_XonrڅwD+GtL VZ"1H*g_ FADIwI Kj!B,_ 8K@4?VUtLII{I|s0Rh:om-yHmapew>B6kiQ&]rμ3IRJ9%P@֦ jv|k^ц](#O,)c~BS@Tc7@VuFC5hx̆Lr"nuTY@'*GT;]K+c楃4`h_Fl&&LYIkEvw S4eh֨%5,_ڵ:yu=zuxCJtCj l;"0l]6\LqoQwiAc6ZQy/3T䶤W#:e@%)) .q(=bj !5x]L+=.N1vg|)Y4F:+qV&vֲaĄXF;de2>[r˯e :/~/Yw+.1(O~rl@~zq "`uR…(?LQ鼪ڵ)0}q`R?Z0I+KQIeܻ랍[s|H Ƽm{;M6>*AΙWN_a# ̸$,JO  -K8s("PotNNZjPA w\R`zKsh r2eԈpFJMsp]wxy6sʆbR[@v^I ɸgy5,Ft_zz^d}:6t}oHnddͲ`SŊr7rDj C7Jz I)XP1 ~tVzApt[Y\| _Px7c_׭n]?~x{Y&z r_W.Lоij']/[%@΀|.`Li)ȡJ}#-Y{Oo>@ه'.~!J];^1Jtka(kSY"{|:c .XyC#ˮ0ثp\!fg(X?o8=rr6}E`fU+҄LK'"Ɍ' ,@DCLN5%u0e}r^-[>INon7't7TrR4pIK""o:/z;٦㰿͜/Om3AѽImsW?8vI:64kc<YkAwMmD5ȡz`_$3|QӨm,qn,Rp)bfVwp @{$~R˅A19.u 50L(Xq&O3GDs2ߴ]A;8*OࣟɵĔp݄H kc%#CWcv3}78d Eè1gh=]-16IUd&IwZ根<ಮQ5AWi]ͳ۳KW'D5^kvZ0‰Ց*7?ReRXlkWUAmv# aW_ Cc A `,$CʋCފ)F:]psBX\+g ?q^?/lEAU%؞9R6/[ݗ+r,:2AV<=]wF=Ee"L3/t堾2dFۻמB?| 辕ᚖtB``x|+U2IDP>N;ol;W\0a0rF sv=t!7yfT$\E`a # /,V =!L7-Pϋȝ tQ}īZ ~8*;O?dxԋûL3W܋OgpaXI6qpGdj;b.xx TTG>źLQ}عΗ(''L]}}YjxJspr!- d~!+cVT >G//*P6d]s7 |z\d,wp`Q>kOd,\1ꝑ%>W0,bHqSy, S{Hκ8 ۚtwOKxJk7%_a/kZ+J^b0%gOtq3+^T iP̗ľr3|D^?3~֐xX%\d 98 T*d$űMV= $gc3 " ㅴ &,H-%BWٸMN̞6s7v= A`m1Qx'* ~D7q`^( lkwwKmtƴ/Z~QaϘG/  w[A&.f`E#`L#IE,%~-G1.lWy90r#_ºeSXq lhfNZBM)xB© C@Bt c9qG4gL12XY XF̡sGi2KCd2"f ݩqrHM)eM t~4pƺ]4h 3&6v߆v29>r Zx}xk.DJOYgDD vqUѶ`&!5V\Q}\7 cY ) J!jTh%VDN7,)U?-ۙo~͐2CaոnxJ4 ]X[dlTmyOe]46B)_-Er`Az>!>ca8\;4=֐P`v w$+<-Ρ  iwM6SřsL/*3j5 pѣArjXRtG)  ⪑_B2hX؈ʥ%hݛ'Ωo a;GU_+[:o,Rݣ>j@l q@5fUMQѲ/&W5Wezw-%dܒgxi ØVNAO>%) AH8G\\>q9_ZuUj:[#(ԽX8txmՇJh*-f]BND 2Ў޾>laW"Š(E /")mLuw2Q8 lc 0a(vfm hڡp.B j]Xwٵ+k[n&`LL3슕N0bgjGڦgf^icK ~#SG g-ebDC3.O4ccS:`_2YTPN^z8ZNyd/RR&3 xh%ڭ0\ OqP^>*'%RoW, "D]勠 omև("L@d':jԞ4C\\V 4xZ-jSmo [BЅv:C9{S@ ?dyf:>ZrJsʔǮſ'd8!%]¥~MƇt>o'6P_u4]SE֤;bPjxAuWK=P6T6"C 'o;*U8v J#xÓBH-6tä0O=Hb0-:@`(${ ~6S1G~{gCZxL _R@%v^nΆBƣ ja,Kď\19\l WQa->]U^18-|1еtۍҊ.l<ԣI,j2eCw!pL&Ґ2p#uvvn)>XB;̖MvI(!gny玍@.-IS].0@fa7hF#b{Z͑l8/ m0 ,)dæ?-<(_ *qѥDWS6,cF.MAQOXjԑ dxמ|GPߛE~K=dA[G:[f?}YAajSy1*1ʲmu e4- P欤h4_bV5lX9M ڗkp{ [YE@e*=4)J!G5$JAD/JtڮC O`^Y޷2@ 8RVr"^@5rt{"l3 ʶK^1<[!ݨ7j}2G:p?!/CPҠ60y8dUpm$>/UE3w_rwj0+SiZc&+gF_EUry޴vDOp,0K4l}t':$71i#VoD)JʥXナ7JhEњODC%(@Y٢41̀1S1~fvQ̈́vƊ99-}B01OC㧏 VYx|10-b:b5ī~# JjDWxHHsqe;52m)75":}8έa^ ?S%utat0IÛLr'D@#.:=`k?(z aB{k&^tuM= ɮƖ16ku"VF15 7y\Vly?@&9zVr:T ;E-]NɝMzi4XFkK:|v5dCEIe~I'GOtHùq!zZɩ]uk'C8(Ht>&ɦ⁢=Ne2gRB+- Q=OЛkiPFM?._*g`?)©`Xe m< &l"́3R$ڲ :ob9iQ]q>qfit-5~Ȋde"dS 6CkWL%oEҖlṯCuY3瀀0)y|J b}o dtp=VeK|n<1k}x~&ozf;qגxռiR2yV`Ҩ YV6h]Ҩ܋zDn_jlec B3,й:b'Yvpqi3apgGLWU N^^D=Bc"4ye*ixkx<ţ2]W@̋7'k6}:7vjpI݃7jֈ3@ֶl!e{k^)|fn/(Bk4-2(H#h1.MFTBWHCY~FDྋY6!=F&}J2/5I)EX"Wc̢f3DPd=LJtJ8t]KHa8Q:%kÔU J0Xdx P*G9%z9PߩLag;O|ջ_IkOW|τf[hJ;kZ٣1 {OК?!,9W( "bxiwt8Sa */NH{d7u}.DmeDsx:fɈn$P LW جyF& ,&瑋imKBfJBp)倇&uc;}x*44KLGS"yܒ/+~"%ww:3_!k 땾8f wqMHO}~D<ߧx^hIow X#f<ߣXsT%7O$즤^}Ed- A BLVhDTih["$󆅊ڤvpM7RiIgP1-O4@,([$~?A~AiFbTj<1l}Lߐ%,"ur{s^QM!\Λ@cG"fJ;nzqHzh 5`L.;ь<4 MχVk#J{}_mhk ơJą(ސ0V@ʀ9oBGn)-DjH pM^62\*wܷpbkGkWRCp-Wv3GgjoNNu; &I xa8< Db% 5ۺޏ"C+6}<8q*3|;~5]< 1I/ ,\wDW8X{.zg\e7-A5 dc {UiZ]}i~xO.,9O󼩾7"B*\88ӯ"zm TƮ$ªm²81)P9(zA,W~~`/Owh}IЂ _9E2@3ݲK,Ǔx ?pND ڑkoCdePBJՉM[UjgПÖƱEѿE:a3\~C7aWFdVV2ZTaO O4X"#VN3/ZVH [}SwQFZK:eZ'½GPלNE)efTʍ;j]B7$bvl=g`րLEpJ1 _yoZEːkuHi ۬z n -a0x梒5Crk,i3iP;׊NjUJpd$լD|Ao\͢$W9cx7H֕8>qK=,;[hƇޒsY[h ='!f PH>< ]40)3}YdNZ~#ľ ;㢾X0 "mh@Fn50ewjFuR6>POd{V]-}Nqs6@hB IgX!r\ BlaZL a==Wzs|)}=ͫ-uNw 9o9_$$l}iZjS*@f,&nix.uE 2L#Й-ӵZUZ)7ͻ}!&Bve]Kou!b<5KSTV]:ZE2w˝"t>a A<1 %|-!gmIφDYN,aKw]cy?K`<﯑)ۂO\Ǧ0OC >W<OTcy~#1N*̆|o. KEED%Fx岂+7^+^f+`+d-?Ysi1ZUՌ5X|ݝ (9m S;"3ss]ziطJ_ UȮI ((PQ.u< 8h;,PodģfS [3t2VI_{Ȱ#b޽1ID4ڤ!?ɃK 0i;Ai6 riC[nNy"@BpBk]Y7oUmgɣߥYN'U =s}/&/`js$7&wC] 3lN-4$gzbh|Hp]v3țxf= a[2|f}OS ya zO]NP5hhk=$|9ya{jq-{Yk GɒUn; US;P1 lar4nW" [>[! X\1y]G)iI#aNT}8h8)6$8LlE /CMqp\p- rӊ(c.3@'XJ$5Ip+,l̵1'eFo48[RV>x xmJIO }d>F R^IlixϡW2ܯĬt1xK/5wCJO` h87SU昩YU(%V,>u;{Pi9l]bSu֋$SD2b9`yk,xuNOԩُRHS~,0VS6܃X(є &%ߥ УS,S[' $0 8 CcJEtfw[mGd/V7z|\\2K#Q2M)֢d0NET٦Ž~d4}^A 5K34Kr'0` OtmO5Q2#Lh Z㇏ICB5"riSK8R&o,N(^h^b2l`Wne9 Hia4g֏]iH˛*=Glw`؀ .K_?-wV0[y?x mƃuyiez8Zk$Yf!`++Wcg_~cVq-d3q$hAFyvSNJ4Ȕ#4nQETJCOU٦T3&BHq^'7Uq@3R!}F-#qrƅ-FK[\ 鳥 VGFO'׿#`hٽ_M[ [4`E{O΃"P𨏫1Q$X9lPwiDhآ*؇:' hzmxIy]km Xs#V۶>/n"K}R;` _!U}PxW;5I00i xk őFԖo t̃_LS~&{-=HU/!,ݾf=TZ{%Cy˘zCgYZ!U\ɛ@"pKØ& ٛaA̽b(=@ YYu>UAv> n UrU*űE !`^X3e[5 <, {!u&RvCWg}+N!Zo:CEvv,}kjcB&dy;̧9CsvG OvEu+gc-D̋} +/|I]b"5_3 ދ~Is#h/3ߛӷo#[fڣWKn)22=ݫK NXff{ˇǃe\@jR(K"0m/p:BHL阔2ľc%6X rz3WKC賣ZAXE 1k3Pw+ x',L-~hx?RDDn& aJO!튻D& ەXPFK=oFcw@ɺXR߁.&ҭ&AR@\aRsO椯 ?͎QJYuo!9ze\R[Hk7 _\J{n8CЩ? \ղp|tl<*#Se$fSA`a* s?чܐRD(CI8N{-~rO2Hȝ}WHou5'K ΈhUL';!ZP1>Au1|Z4sdmPM9?fScZGm*U\dKcܯ"*@7M.#g"ăÐW-ڮʐ`>[_62{)*G _W~@Us.\L;9`APW`AAL Qck3Pa*2,]doDNx4 pad|bjok-GzU լ0kS?p޹4Fdsh.i!&w ^W2>V]7G@/Rz51E:`h7 2L qb :HKsЌ0&{{uA>'[^2umC, M, r|t#ɇWB@'կIzΧ]?tEwD >&oKe +| Ѭ'ՏC['Xsb%~oG]tY C)J9ش3ȁZ椶1x_Jn}7xںiXoXr*rI#CTC_ fpQ@skq-Dk )5v =I Vvc{髇 5ʍn8MhA.-LTIyi?]1Hprۭ1Ay;&q.* ј+=8Zz(m 7E.!yk@.ӗL*+ e*tQmxU a$7e9У{ y3>T=0WԐ7GlΩz A2F1W3;GC*gLY AZ u+hdA MKb3usdvyIBnҧ,v @>ekRMurH&7:֧LdvSȾ*@HHMb_<>*P4}L|*P׍j2:.@)zs9o8$enucZ5vH")#;siâ@0Z_k>^*w$,S,G縈68%ϑrs@ߧ\V9+ГR`ʃdM"KvU;1cy3rix-QZT7bcgh +tws^+S3OnDԥ/i؏0)PHǚ` vqƣYZm D&C" cMED+{:0<E9Zw”~xi9,lCd(`sHհyߐtz9c۟s␟eӻ6F0LdFGi;&|RO<f<:<N 1ͷdc}D|<県_ .H|aK>_ :Dt}[f%@q:NWCʿ.CA_YJcVB˜{&@zzdM!f]-tAJoezt3 [_'eWU92mG16W*Rl'АhT xc'&5\zFR|,V# v;0-VӧO/FHuDbjgoAɩꮮ@ex%:-3M2cI77H~0Vr0">FUXxU[~ D!xؤK7>8=~ց RW]0/K`@[$NXJ(>n Ɛԅ[V= uv]ƻkqg;P-ڏu\~7] %Ө^X*HHݳoJ|22Zػ#8QyP ;bOE ܃ A~|2 ɪ9([R;UZ M,H 6;ϯ{+x}ë7㼉ة%˾AizPBDO?jV5^=:JKdUZoD* %kꛘWM3EsLlY ٛҎ)y"^Q%4@hhnxɾ:C3TW4 T niSR2K|5gVV*tDJd1!<$xgF)77G]ֵK (tЈn239Tl*\˿J|2l ͊]Y sF_s RwyjQV=%8vYM!0};ȅH>\вZ܊;iu t y F- u.e(sZCP`D5BS޸PWڜ"fH1Zi,8YtޙJ,i.kK[( lÓM5ޠO4i*LMG!WDˡ '>[3 j6Pދ@W;# qN:A7IW4YWr`]Q{l쪰 z,Rh2o]$ML%k˼4!>PA+DaQ|f9q}WYLMAnu ]23wc{̧ڀه 6/kelڳ]S94&:E5 %͡P}>,l%*Kb|:={t$. O.%y?O)F?ؕy2[<(X^oFaJ4=4݄ 1A >_R ˪lJ.$RZԺj O*a8֙VuYs!nʟz]x\4l;x .x>hՄ9'.N zUR}- rVY7Fw#'-/c{Ob^o)0;׬y/޺pSm8t R4OM'5Ր o\Yn.%Yn %X+a.kTYM]C`h31֒b7X aNc?ftLh3akOKdN!f/즎H%!F>g6N8:aFNUPH-#EFjcHcΞ0NY٨s@9?w#i~E2nlf/գ\\]̢wοf|"6~P^4>[]{m#Ю=QPΨ&}@mgCp1\#Pt}W++'^c'n>иTŖs\M9*;2,=tn7KqvSDaNkiy)Sde ҋ7C?=֫5>\(@r>fzwˑ~rʮ3: łzZ~砞M)G4 %|u\/_l3n %)kùב깞_";;pRmf۳;TzY1hS5îD3#ip.% jW'|֤$YռvJHn1Ya_K OkK7k%=Pu:Ie3y(yn,hIK@!u"GV4x0Q„J|6Un`l(K1IJ--$p72ry<ґ-~CO74qa<"r[Ȼ}/D: aXuꅗ=(!aJI'QXAA-XMAg5^WTį" 0pf' ~cQ[CJ1Hk4*ԐaqS atNCŏ\8r0pUطhπlo~ܽB}U@;0VC"zg;zڧʑ|2f)BB pS +sC bb&7z#"EW?I'~.Zq!ҽRMdaJBpB텨Cqu) 9lj0KYY+,ӣ My\NrI_ {t?5+(c4LJ,9şϸ#'RĖЪ۳Q)Reh<7b$aAW\f߰:"D @٢r!E3¹g۳}̤dCaZ1vO`mœRweN h}x[S0dw 'vh1flx܋5DW9-W &:Ɯ=DLAaώ_PYgJP<~U:Ɲ"!qXh旦IFͮg$]J>kTj b2{;h;" .Z]0A=p­RRGh!a. 782I}dgS2ߕtBnIzڸ䍖6S֑rB:Ubf+S<9=V֦iŹhhnA GbxIki% ^W= &*R4Q^hJjk`Ql *^TC: UQY._zd|][:sVi)݊m>K/nNY"M1k9!{邹xxA|]m&I+Y^r'LY$DpʓY2׎݌FUqiOlͳ}. SZ`i9e27ы1k0U~ ^ɎSid.0} ߸}Pj,&<`P2Ht$p m:Hc0ʎ?ˀQ1b UR hc?k[x3ɒ?rտո5-R_} =dF zӉ~eM!WMUC&Wq?˄+\Uպtxr>]} ԍZ#.`OYpw\4J] zM:W(ъRΊ=՗gy0<~pSuKhҧWfa=f٢MJN n_!PLDk>nLbU 1G)Dbd^%!zkId6V1кG 6|}!3دyTNp|?!Qz29^>O%ђ[€/3 sz6Ћ?c(ǭvQhE)O)=PݿCD'#Vs'㧅H>v}WF&m4qs:v1E^&|8Aj>JH0׽ '+Rӑl , ?@kO|5`(bCmOa 8@o/3u@*EdӘ;w丏zn,5uE7/ZkH0Z:IZ^qߴDg' x'd(B@flgXd-Cس7@%=adzWLRMmG&hފqc'QM3D$DO  )P2- ;+hN෺EOw"Qt?kl}| U[^WB4L ^a*rsl3R;t@:BWgYZ##ǯ]r˹ݩUOeDr1ۑ8(xdԝJ[(bau*'$7!uIՍJ}1o?5_qKtDG\s{814¥1[y~;| S]7y]Pm[p DH L2A[nzT݁ o K(EoYc\M&^I gR%, l|Q>YMpjqTk]dcRWþX]ߙpb4΂Rgz0#}  C@] *2tIX"LVXǣ>WAk,{ngbX)oIX[ӔRˁnx,0‰ǞW>95zxFdC%2O=iOn1C'gd܎:,eD/B+$N/7 uׇNUKw@\B^(DtԙKM^I‡s.4BlnػzfNN0lYlmeȓ({=Cievlu-Ğ m H} oFӁl,Η3WыSKp{H#k)b&qu %TVya$ɺj_E*UBbl!KrG?𾩌zڤT ko&~!.V֤:t^Ei9XNx|с:P$K5f0j + 3DDW6=#bɡw4MBQl+ajA6d&בfQS`xۤd%s*F{# Cè;2׻Tn# ~xnsYRKQC)3Zb(oX,I=%YVsŬJ|I㻢OZa>jvkzlZ`bY$%GM`&W,Ϗ49Ng X Jތ]Qwm L6ѦOW*&Ml8Ի,k6lNI8vjLe%wF{Iua`R\\#|~]^4!*RXڂ΀#Oޏ>HyƗVROa9mV+ ArDr&i tvN¶r>MVաIԲ|Yc?(FCkIiLds/u)!q.ƁBeIZ(ـ݋_}n u0ۘ,Y3:$qa0cTERst|Nom w5RMM=F}4[hO?CQd sUh]pBiP[P{zڧH;kjؤ-]M9̯K@C$#ad_e* xJewlCZJ "z =H*&8Tc3[`9=Jr gH{֬?8ZS,Kks=KHȍ6R* c(]]< ){l[RA0wtfNFK "}U?'n؏`sRoĕ}>X!sg.hY1A?Y0sKgnXl M%mmpPJɣ6Bl:λg})\f8Qf삺xc'eP%vBN]ǓHRYTFdsP 'Ul>fQד K= E90Oη#nC̮&^!D'f2QRꚥ)d* WRb&&u/*>a%ll ͽ xx!x2Ndm@pp.ZyG1Ӈ|۫77g*C3!߻ՀnF^{LSGvB pEX+~!_BdK%L,f|.]-} *zyva&&j0(g.3^̹xO "l Gлhq'&I\L1'"VRRsag$-sm񵬟ML!W̜+SU(ao"_xbP堅Li-wnU}瓲%nd7lLq"ՒM^\Ht_P?Y>KwBۂl n%g7} I`:b.JaA`nݦH i6 04B)m͵@Co+0|MއPJ5.}3upKQ.H[0̎Գ)1#H[? +J̈́<ғ3 QDM_oU)r:<Ɋc1826.{78{./e v:TФ󢶫qU W5%4)s!o4ӡ8lj♤<)Ut\U]>A0oVDkUCgG99~dS\%b/- 3z9\Q >b }H %ԃTB4Qfebbyx nE:a6!(X"E Z(qak3h%P_Kf,}3Z)ܞͦ wok8S?M2;/d1_Ie<>]92燱Q=(k1BA5BK(8NGFszgos2Ҩz85RAr+ O{  @BVZSWM9WUp6vob;A>t+Uf1<* (Meg\G"' I!'ΙAr.?!AHG#[O QbAR2KR2/ΫVK|KAqj@e9XNNz!χnV?bGh!> tO{YGZtpK$t5"E(cV.zut]8 7-O#mX~}1.yu)HT<#fqUudY7;A /Th58uҵL289 lT|<~f.|5ΐBk}A >V `YFڄP%.T3p+&lyDGއC Rk?[CNZ@B:ꢜ>R-$8?p[$G8K)4be&_y(%_YXb[W"6LY컯ŻN#goAr sh-_Ym+;$n$5ݸk~ m)*"NxaDjf{+JұsՋ9ـ5P)>IpgFrʉ5sڿsFvhu-VFY>mڔ]qA@ !:~2[Wvɽ,pHm;{v;-Rv?}K`@vBc"|ԔOvttq5Gw;Ze9z+mnD !m,P砧]s@߅dkU7V*:xj MF#7${jk tOsj!r|iUmOb7^u x{+h2 j)F 8e{[~X2?wݷT8cncoi\H?T/au[HS7s$^yMn8a'E2uVLًWfB7YbUfmC0ZU/ED65c|AяRPppKvvIGc <Ů$4X{d,^5dJ LhIRI\_H[Y<=nҞOk.2#(g>x'kt#kbҴB85K"}`/9* ˝1ޛH}0 g輯TQ@84)jS5̯O}Vaq\ YqrZ 51Lh{g39p:B NwFCNs.G`Z[OmF4AGH$,j )q.WZSgϼ*阿}q]_I$3Z |ӹBMȰFK @Qn4߹]`YqL) 5ºyyyI&_4D{58:L$6jVZyj~-=>,Xh+/"nńWwuTiYiW)}Qaʧx8Fo (iy _JYά| @s7tH{2_9nn!EBbI\ݧ3ȷ!k0S RP{pF`X҅ߟý!'Fta*n~` {=w3z7uG |JH!b#m p&tPi|&{, .U!$pŢ( <+m2:4g6ӎE|&=HŚfj(Ԏe6c*֫'_ZM T E5/4N'u>a|Xrc5 q*/L 2 g6Nh: 3WD1"{Fx),/ȑ&e:f%\B-?H2_ts ͂ X*\PMԚ$W5<+^≿ ޻-{ጀW@ b/-zp'74Ybn?\J *ɾXWN|UPhQrIs/dE;Nf/WtfQK} |/5`"&z~cj=Xue\|֯_Q\x"e-]YrR>z EӲ`rCwNE5pPU*iv%"kS wP93 C'ɟ.؏l].riUYf:QMېZkst$"w}. }$X:7i=Z$3 [UK+jcD]vM9}\"$_f 9ߎܭ[M!*IcÈEM?pMl|k3b|= 8^CC9GҤ`cff<:߱Kuf;6V^ҡy?΋d%-cjkBpQ@["V}[\ɐ|1n?ސ; lIrGR2!+gYZ%a*OfŴ>Ow,M>Ug* zѥGFɃk`)ӡ|B-VBAtƵ(Y'ԑldV3xKxLdUPQ?68PN58xRzRߦ,̳䯻n s_m50Qܞ !x;P9}6R?ɽlĺ,Wx>\*[##ȿ_R췭|[n7DEhFKޮƕ''Yzc[60,5~ؑrO\)0{95S?!8c*v"" >"u1m(龁 T2(<$. ҤztXe˗/&ONE`:oaĵt:ԺTۯD$`tڂCI$zJ^N'eotv]w:'BB-~UvWO$d韮ryKrK!>P4V," )J3¢挅=oČIeHbG X5LM[YiVSKq,XE4ZUǛhDD8"^"O= QűuI)H5_bR.^/NwL:ay*Q^f5@'}l[n& C핛,zIj?,2I~5K#Pjb4WY28uL'x9^ꦍ'%qTlEQi;X#x.a+;G(anlh'+w~SER{{°Do((:W[|vĆ4^nM2?xhOm S&uIߍqsZ} _Ȣג{pKigd͵;ئrE mt9؉,2$?<Ib.uʼN4f ABaKǭ,kM 4*|(y-Mt<uby"i!;Woa1z2OIaTbwQљ@o|'\3#\դrڟ}ɟOEs AjC՞%z5,b*ksƷD}Խww !{ozslMf屽KHcLr" IU[;At AzgD:Ւ0/[x dmA$r  qtг#ZD3i&,eꐁpꙣб ^I,A_1B]4_88E Gfo}<dz"?I&˪gd_w%/֠]ũd_(OO:13cdMm!ocQwb&yy)[;&| =y ZSdܛh;V{Rw0 '4ְtUH& p~X\ 'gE |ҮBu:츫-<2x6{&=.ێ+yԧ0/ 4*b ]啚 xv1hRPK^U\MYT{;W(-sK92zm&T2KD̲~9!w¹3?ck؟>aHjXǓˇI[2  =ϙ0WAwX|ם!m4$}"&^i\I[]`ziyzն|7v1NT~'*q݅CwcToDEலAN޴-̝!o'@6mhe,,:OyE<|Xp}59 \L]zncJ@"y7+gW`kFPlujpitS7m]׾2f0sQp_ųxLe"vaM>I}P{Lme$lF&b_;9\1e8If $ G+ 1FVn/1zh UCyӉF駱3"ǧK@|?!Ov ) {,׾s0uXA|f_p5C#Z7-N|k?¥f QG纸ܵS;_HI=C 2YzĮI%!dm3]ph%0{q!)YIH1?)xĹ0fQY aq!枺@ĈVƘ= ?W O"Bֵ8K`8gwx/m&GZTMҌQfc7v101/nEK_pnS,GП)ny&;Ec908~3 X2 m$W  ?j }h}t9(/_py~!ͳ*J_]<$ t/@9YAvR ;:#x)k1d?DQ%"!1<y`Ebfmw0zVk$|ORDn-5|<}Lr']"<뿨^CUc-kH+s::b7|',!}dii"Jrzqgy,CJ&̴6M}zuKQ(p]mE A4K 9ip2U >2B9WnWaӹ @ [DpHaN qݰD0Xm=lnYJ)3.,|? c9=]9(I!iBaASMaɱ,f|)lBQ`_L.ZR,+ڶ 7Z/H3j לr&/ $=9<);$Idk5XS'z)ޔbzJ{Ʃ-1=` @F;Ȓ_9dNj翂Cx:}w"k/F[vIM~Q 8јwm)+9ZM!Sv&H9OmJ?ظ箤lE "ԑ@L-Vn;D#_#< ˆb'o<4WQmπ0 ΄wæ]VÌpRhdݠy<.bBy nwG,8TtfPt㮎>;*NLh n9H'Ҷsr8-*b @fjqB̚w1uu ;{كi{[W,4ɓ\&^:~sX0U [K Z"CȤo`-!ڤX twq3t’^ l} tF"Lm*k5؋iM!LGpyLBHA=+Pj$j5|/ 9}VH4@0Ipod}m?X΂Ψ]z&qpja2s$J ;Gk T[@~CZJ cI}@e<;e =k޾vI%fZ:K5H< P{fmn r%h"I2vn'+uHh6On3j.vO^ Յ|rQ@33vȭlͥj>LſFW<5F!$)2ɽY6lIJrQtEb:@O5)ʂCޱ.P" \ ^O I;oڐC6ؙeY X= H:hT^Pr<;h o*^8/֗ +ͭ>X٪XT+ W0yV Bc+P`\G*NU_ЍR͌ɘjX^~z~]j׳@ _V',\U nYߔ1Э==>Z3WBUF9> ;gb'a<9DbRXĤ]&t5-€m&$Y,_2O$K[_l(٪Z1^ k$SV ]O{u;sL+\;YySaVQ|m1:+k7t)QAa3ή õ Z;8->[T..&`$Y-j_[ vf1#y](Ö@@U1T R? )v~cˬ-5K'(1E24^(#ݐ]üSp~#P۞DpuCh-|$EfnìTM5%URIMg]uQ=/+޷U*ٖRͣbw㮮z{I5W[cJ,-_f8Fjũݠ&g懫/ ~Ǽe#{'2~]6SP q M񰸗f* hŃ~s9Ξmjܕ1* +*~RGr;j_qΓ`euz^kBǐݲ.s6AmRϳnpYWpWݤyáGESԐQc O/Ø8/8tb#"IJAA6t@z[`y̎.r(G8DljԵs3jc|41ǝ3a}Bz yIE9@ƍ'^5;=3"f/$wtiܡLʞBK ȿ9mޝy!D5_#U9[0q5LWҁPHU^UTłQ$@[-foWWjOᥣk!54x@n ΫˡdM!bⅦ isS+тs  PV4 ˳/rfMN@ǡs!l,65Zt0U_qSScRzݒh4Zk\maI6A- چ&}g=V>:rv*yzRX+L wmLLU[l3ìx^!ϔUe"`3mU.^_13 c?вY(\5s|ȘFfޱe R?u'HFn|tC'ur=_V)FՑ_*-:fC sx ;?̗FiТ Qٺfh'`P HUt T*V9[->|[k&qmd|;@RgGZ6+kr!ZI}VVWzm%;{%Z[`_ IcĴDcRkCiy'hX?B^VxXRڙzi˃\`;S?.{@,M:<-I7Wl`ၢVZճx&,\v&+1VPGm)G6bi304~⃪5,v!6VO/ Btư0CEϛƙ Dof?5Z݋Ynɔh*Sg ~W1IJ"l', l}>܎Ws^tl(gF_KyqlgYY?(51eOa8Y`vZAEr""q>~#|xy{ۛOW8)~ :֭!]un$P7ѫ*zm=Y_/#Mf{ʾP)fvΪUJ &Qy~_3Qg=Ej@er"ĵ/3ܨ"Mqҧe57g}\ϯ( ԪÉ0W224#oTvN:,V!3kMꊧ ţJOUDcO QcD""bh-;j`RElڇ 螑#_2{WEO[g;T9Gm$>J1rS.ŋm?&(nX]|ыSz$ͬjv9 9/I9z}ɩEa.sDC2hzd{;*|s uV0:Tڮ![ C< RpCl~#4zt`5r&y$ $`f{9-gz"BE+ ̕2%E!%)D1nEL7¾ظXwܨ=aIW@[@d^c#˪V+IzloÛpznHcxM82DKdMCFG}6RZaws_2deU ׏5,%.)#  y#L]?fY65p䶗նVoF}]ΞM"'NrC6)W`?}J΍I9 m>1?$zǤ-۾;ӭ UO^}_Eu%3?>,O0&m*e'h&i" qF ϒsIYf!p6+A_VtxVYw[ R${w;[<٠gy/V9k D KGsvk:igdz)P @6,E~Ŭl l)cB_a$z5Q-_7d~aZXa\Yϵs8 -d3nM"Y;7 wn#F? lդ<$0 MƜdN΂ͨNcgj!'eiV4D[NH&,]fĄixָbT㍷oXg&sŰ-a2|Ik%fƚ94 Tc9-550 X'~r{P/AjdFVd3oo=Xnl8k_~V=i+퍯PCCxqk͏T(':ee~kϧ3JT8k:/4iFㅡ9 - }ׁb@'DUWU:6əA{[ojqJْ@A|iI $/,H$K^ʛŒV^ 沌̨N jk!ljD+tjǛ5:k5n0Sl Y{ .Zp@;{zg5bXٲޮ-a1-s%Z`8-<~9s3&3V$F]7 q'%3WW<4[jfxwMto3PҦ[nH)[|PVjUWc9ӳ9L-,low4쒁({ʹ= NڵD Ѹ"8n=sdHq9BΤ*%pel|J6h0[L;qg6Qxv^ [6\mAng +ZD¹7u;0(}%3¬ŭV,@5 MӓNI_Me(i̱us/0ϳ[lԌ qX<+5k !GǢ"fΧB3x-]Ft81'.V,:hF. o2(e!@{OXz$VvN/q= ?Π?dH^tsZ<QXDd7MIajIP8tfi : 3'!dTn .Q0t[?lJ*19RөKqUSIR84Lb,'*7ʼnz>:|0? BtUdȺ @ܱgYZ  |u %W% lSepref_BasicRefine_Imperative_HOL.Sepref_Monadifydocument.tex7zXZִF! l]A-MՋhvG"uIBm5ȢCj L.@&=`NAG&ރFK(r22(.L ԰QQ(e=#4ijui<1#!f!%2s\3N?͹ZNS']+LŸ CG:`P' 9Xo]lJzΎ{ysjDL{j?'1ө^]_%dRDx&m wx۪(>IR烺Gu\56 "zxUpID0孨F',82HXaty 4 =sxx! <#4|GQv||*yQOܤnñ]:?2k@i<ڕʚ"ۦE:vFFic$/m/ iICU _PQ/^ K4]7Pbh?~bZxшҭ fgmY~֦KJl/.SQ$md-m4ʗ`;s <,$\{d&Q-OLm g3m4|`?'k+߫Ebh2w,wsm72IkXǜ\Y]kOzBۡ?H=:OA tHa1! vnS!uz$l(V+L^ WuΒu̸P6MVk9Y,e߆AS@`nW+ #iE6^~҅TkȽY1pAm^ZhЈM6Cj^.Yx'-wmkuAJEC**[30_o)m~&riS{~tH 霩fr" Ф V#9#x9Pzm]AP)z.=Vac3HEaXr6UP9:o8(V#b1-,/\`ټ*<&vb}5_C( ot5\y.mܳpmb Z1qi_XЋ(SH\>8b.B̵X-v#q:ݵף΃?E?jӐTc T/%+LY;E!T01xV'}ab؟٢R̖?+nT@/`MVLv5rWfS5LDGj`ʥJ,1F{U)l %]% TSepref_BasicRefine_Imperative_HOL.Sepref_Constraintsdocument.tex7zXZִF! ʎ]A-MՋhvG"uIBm5ȢCj L.@&=`.ӊf7"YnOuRNݓV7B1ZB%:"ЃP~k}B: B< 8(w&N<Vk0se@ -1TP5i_P^-TQ-q {a5ŐWEֺ+DpxkEGq)m3Me^ / ( =Rt:N,AN9{J͜[媞@zi&XS[}PF[L8 a̐P`Ul>jSýd=">ȵ*6O aF; ? sмw7ֻ譍P{n))N] Z)G\ hh ~V("v[(~PQg"#}&r*`i!貔Xߛ^et!neJCߣ5py4> Th"t׉El},,.,i)d4!dHZcLRv;(oc3?xhLР\ҫ^ϔXY7QصX*/H}W&G7:#7[[cZ m װJbׯffW+_$v[Eݐ3uث|oqR_0Q%FDgTS~{Ѐ}yp w~suS*]_QȺ_+P;ߩ\ d,lx_)}[jdv|r[O-" &Hf[L>a*g2R1Aiu3v{7VV]Uzwɨ=$G%heKe}DXPEDnu1iCihH7ⴋžPV,A:XxMM2(iʞNm`<}zR $:(q %U% dSepref_BasicRefine_Imperative_HOL.Sepref_Foreachdocument.tex7zXZִF! G1]A-MՋhvG"uIBm5ȢCj L.@&=`mh܄^8̭'Zzߡ%9۲㊭e*ydb7*3tVIJ{ԛA!Z>@U?W:@~.Avzϸ%]5D.,!M*K IË2;upsM.>nɻbwIkDzf{XƖ 0֪,HסE]"nc?l+k7#nܢ##Ql7T۞1vȞduZPBoDs&P~3֖Kȣ/_0i-Rd {x熸B+h8p\.yr;O?6@FdCMYECPx\gmSw%1 NbٙM}4#ɌSEhE )~D$ ֘5$%$<=L0p]Zc 8?7ʚo؆EÑ6 ~nܰ9ֲGho~ ϏHuRj &)rz4~+Cf#ls{!:d_L'oL[B E"f8v$Q%ٲo$#Ag@g)*D_߂9sGe@y>c-46Շ>`3O ~'k{w4XWЂ?(2![YF(P~ʀEǤc=$=h~B\&H9{jbM+_ohlsڂ g Dsr^ Snk sbƈ٘x!`/kJ<D6IaoΈ"Ӫ`ɨzץ`|ƌ#9S쿗cDV9EI@u&n;Fڗc"Qj~ouw <1Y/ 7?3If=-'^Nsb,Ok,Yx[k+sq/E ɼ j Zmp#O|I+$,9( jkCi$N)^r07pUC6zha;@/ Fd[^G~OxJ7.dO,q]E}'ey)VAJ,1ׅ&xe&o֯X9寇'[N^508Sf4zk1=zjsc_~䱽uV`0B &W*t|\u>oQL.%rsG0I*bOH~$?K4sHuH&I+g$F7EB!Ik5J(d5E蔂W8Z)V3s_}U֐<1^Xq{ֵ3xK`kƁq}$HD6g {UP1W*K7 Hˑ^AJ܄>$oa?B  ' R*簓3p؂MV)~صʂH}7dݮD+7I<(?|R:܁gBg7V)ЩԳnx nMC:U{4zbh:vZ\ Q`4V>,|K(ئ1;nxXt8LܶG51NxazQx9 jx^g%k+'f7"]c*"nTHيynzSߎ}4SdG|jUsU>J❾t?yf'%$pdxXCa.:n.fKT!f{_QNw2?f$ 2JhX rLY7Q/ᐛ d91W'RQmv=Ld}tGGxmEh!_U1kI>}6Z|-bqd@ D~1 n}C7| e{nNZ(2_9㱖|ZCyx >5 WN 21K|^{Svۏ_2F^|jU~[hbbzJ) i7.l1j:$WaQW-dbTMWy/'\Ӣ)C^>,hvh/#$,B4"kP^8>jCtk߶QQRu\KhDzR`S{[v hɜ;I@Zӌu,WIs Q"{z `\R,-zjBcפ#ķַ}5S*ןpg zqz]Hb=UD|ѲDFi.4jt.G[FFq?SE e!5 i\OC? u H-ձ-MۧDG0Q\ %SPT6E&20Snj˾*vdrl_cAAc*gbju(ѐ CUّPl-]uB)M~iEK$cBT]_PIZ 8NS]rhB:gORh}C&岢9vpCRqYh[1={x -NR~QfgFt‘B/7z)ts^@|@@? l婿B_ t*`z\LM!|oCfŤNFUiF[M>pMA͏S6 6!O#?+má^3mã,8t]d4 OⓂ  YLx[4hWz*GU62TxѠ/س9Paզ*LE{.H:)ȼ:Jz5Tx2Y*/~ݒ=|b P}A-œGNX]+/Z6הQbœGOfjF$7B/,@䚠r@v:NzJ*",>ITc>6l5Jf_шX'ZX@xsXtI9_+8pYF4adFecGdO4U֩NCK=@Wl"օlM{{)-I!_qvm>"HNajqP;{)VmWt@NqjtCw}mh9ơyI[z 3_ Ũ&dI`WA7KUsP) cֳ4"|/܎L屬~(M}k~l+'Q@)SA]i84^ o`l[@0K,)9,z'M穡ޗb_ s~k4Cޢ%LsMx3şh>=B#N4o 1MՒQvm,Ty ^uUd\^:ڰm513Le t k"y5*ɎޢV'l'[)tnEgYZ~ ܘgGRO3ޥ\k bGCmӆc+.>d9z;WSY'0sr]1B57$zV#MLEե {[;7@9XlTͻN]L8=aP9!D :|w1'Vy%#%c5\#ns?h0N}5CǂSu@Yb"qՄ1r'ȶ&Kسt `\nF^8ó^H qd䨺DjDŽ%q=G+j}bnBP==ΪωG%K)q:3% V;}f4e&p35QT09 KB ;%F08U( ܋3HrY+j2rVp ^:KDkr{ê*;@{$dti!mq0t>nMAQ I/="K\צp$ 6#Qa!-q\rZ_GU:Wr0vzSI 7¿#hZ_DUfe >w|vk ?Ǝ@(MAd*Je롏Q[ u&C&vJo82LeDCup'ݜ[( Ǩ$jgqj@ʚybr6_yPTA2ǭؙ 'IoZk2f7/ \ tmupHn >џ{h Mw%1(i<\tP}j~MUC*Jq9%7[@#(5VUV^jI˼r}` 3oN<] xƲ{M1:~N RT/%=g{$\ /K慷,pP ?~Z%}:=Ntyş9AF-#R; @9g0GFhTZ}O/E9A *[Q .p+?ϯM%e++=ENG% g %b_sDr'uJuAA}Swlc4OV} zR4ҰIb~NF \l&(PU uFxJS'I<i $n+be,E(FJ( &Y:UڔM;d(d[ņxb:|{aJ*m9eл뢸Ǟc#Tґѓ+*Ze`Gyx׼pAr ,+#R:v?NTUzk\FD7,7T$q``Ç&c}IOCY U+=˼ґ<#̭}FM/sD;2!3-q;DiqIvhhݤ&]\?@!$%$aq\U,1F"s;Ɛb@ Y uXREw^RkݬbFq#V 1W*Ѳw[@xDN?Kڟc [AX.q V3i[+f"k8 V@˶!YXAyr!NG\c@EԖpvJcn` ees&J1 --uv6M8p0Eis+\ ezNeS?f0:ֺq.(ty;}sb`=OM#.V OFщk#.8~!d4ѮJ:B%Tah$kʑMu1P,m0bBwn)"]k!"/T4ENq̷ky29 e/S;$,S9c˓'/@x3O g`ɻº+z%o6%Rc]Qc+{Ylu֝'Xo0<|]H7GQc< ˆŗUű@g? Zli$x #sɆLdȬ-,=ZL #Zˍ5 ʖr z *%s=Wdrd_ Ե2K1Xi/.+ÑҢ 3|h ǟ<;LҊQy6֏; <'"|SYlS rTyj;S[cՅIB?ƖP2O^۶ cAc?i@Dp")x#%5p`Ȁ Eu0QgL/S4TֳK .omAqquN(&'(L m:8<hu.=xhGƠ1̉GtvgLxw"}Ke. ; v2>oo^FbJE}f}YMس,,) ,%Qhi'Umǁ[*o0ZH8zeiv vB<|P6Ϟ@4t]ZƦɝLy\_š,aC5FNCέa0:!耵X͍eHzW ~{(iU6[rX̽[~X:1 }h}X Zy"U{eT> #{Y۬8jg5C\UnpQ&[QOwH s'|ĀgYkƂÅ-2IX`ob 8!݋()6$ŎqO} ~a˥OtбmҫCJ%lB셌\sы\q.TC ;Qtݝ_#,C#j6xj@)I~i_bR[2#p_fAz*#Wu^8 53u6 aboԄvr:dVme )SBN(1r"Xp}A1Z? 55D}'a Ɯh_p\}絣6 -QI?s/4> $7%g}a?\TNu|B 8A!eL&B띳@szw*'Ґ 3PI1bKn`‰_/`译4JI'\EzM3T[ ʔkz}apBl ց[dg܎/$ҰClD>].0! \f4=LhOF!eeAWHB*}>WC޽+}sfʫ_+clgPES-%k"z#4NׁŘ-W=8͸"M"Mw0 c^p@Qyڶu3i6 (^`q{t4Bq_pn6JTg.g`C>\6{E7[c;j)iM.ɛr>ՋUG*f9gYZ ^ %Y% +p"iA/B%z ߴj=čԞPpzTJpX/X(@uQ(RG-9${d3u¹;xc~?,hڂ-2_ʺ] ̝6>v@}85(ˊbhmhߤV(m5exaCY9ܒ5zq~K -^3J %'׸"N#㭃-N +Pr:%NÓPQ;$$5- KWmk&2p ewZ`c8Nb ins~gTTvK'/.4`Fx 6#eHnc<\w;."m+.j3poW@!ߖlV>s YFQS#pDk!(v>ƴp [%Tb|jR*>:~SA;A5J"mycYbS@emQ;JಜWUo%=x#N.+2(q~ӻF7h9/N01uϮNkM/ͅEfa#[w0[ZЂ^L!4Hk Ln9he379 *g3!s~,MzLL ctb/[ lXjaB*'>xݙ73Q7FT׋bX-F},٪B RU2|D4",r9*t"з@6_rd7dʯkՀk釃˙<C#  [F]cQ5'c 'PC- c ^]Nͷ|TV[`۫g.[*JSO,C^;%m-0Î)[mNfz92WDr~&`-Dz؛Ək-kndcy&ې|Ad;F16F_W;rkoj @xcīvgy8"4I:l@$$' |;Kvn1f$ևEӆU? [1vP 5@l%+ZW =()˞4F `zɼgYZ ; %[% tSepref_BasicRefine_Imperative_HOL.Sepref_Definitiondocument.tex7zXZִF! u@ ]A-MՋhvG"uIBm5ȢCj L.@&=`h }(UŒGGMVK; fЈHQ!Հ|8,(M)yPa=7kQ:>iC,wX1X8@Up[+γG./K[ZG:B,1qMlbb%`;4Ҝx9K9цyA+_8'`-vp>Ou0 /Zl=+wSi.DܕN$HeHĸҟ[,05!OW[3.HGN`-* r6vih׫rL^C`Hɳ #6/}3;z@t`QtgANò`PXlݤqak "j'.n2GjƪOj'Sa9  0FSYė8=mF]i ¸50I6NhkV!:U$q}Nk#Pdս+jW7Yȳ'h<6#ȫ轥B龚hːu:}R JlHxm-ӪX-o O2B&wvr0/pLJ,ép_iǤRD~4%^8 m;J~ 趚AylfM n4VLLhhbyR D'D0vSoEIXlbCF^3?N@/>\hLjwP^5a D |T35bxc5o8!h1YyT&q-wB)E8 =ې3A'5 js0]RxTt:Qx |@^8{TI&x6EXMEJ?S#^iPnb,b\)_ `y< ]K>^R{|RZf|iۇ^NռfL3Q ċ^ 3fDg: ]|~*+xˎJHxT񔣲MJ@#vk T?:X(Q]5zF1=14)ؘ}|U3-To|yÌerÈ9A'Eȏ>N jGIJоzVZPD}.q0J sTTec8w8eNZB2;.k)ŻP9 ]wN=Z.zv8W{BELEp{6l9YFK h y 7ծfnI-FH;Gx4(S]KVP;_{2['4ۄ[PuF;qL?9fe7{!>Dy 1S=Њzx쪥Z5ɮKbj5)8Xv7YDBoKhDb,c$a tab !"/:\2J|vǗ fF|-қ˧"5(PJ`يY^z T "r[Jy-g즹(P?e|Ji$M΂߷4fgfSg1(SE38 !UprPLoV䥄GCE)z%U4$3L5a*4 Ϛڣil`VkgAvp'a7>L HL`k<'(ʈ0 [K!CNvQac5uO咽.E隌H<̋EWº FiAEȄu~%k*(\2Qbn|u=ԂP!i0AZG'?9԰,ู}<ɠ_6m>T1.Up: E {o |eg2`m {6GP/AZ*`[(I!u9I<MۓH%rMe&: *i\_[^+IRCSA0M?۲OHb٨]* ݭ[7g"˜(߮]5ƨ[<wƠm1 yh(s<Ѐ@ꀛe3|QZK[L/>GM%r0hSߎOrJVE& @a mfaBX뭌m()WiZ 4Ebi>q $̝[%@n*IU]qSl\=m mtwH D]C^BkbE~M h 󹇖lT1)㿢ϒ}TbS%"7VN\Mt/wԽJfU ЅurH*/FPiK%ݐnQ8G)%%mpӤ7L~Y>QdX+6h_ՎQCg Q-1=)$N@n L(@~%ƽG#γr;y `JYZJ4ܡkjb. $<t 7T02îy[#SЫ~T [kݭ;#jJ>M|Rqor"A:q4*Xbk[ ^nX.B F|fDy8@> D֘M\'CSRvrcՓrhwnFD.|ůh9{3DGgYZv  |jH|]c6Jf<_6>9X:ZE ãusdfe>zN6 Gr~R 7;2ӓeIUɄler/di xw-=?ev4xܡTAlFF;n3(;uguZ荭v TDKw>AR7gvu;?FfOCM/vFiw1i2s/; :gVq!y~c<}efyA,9qq<-;PY1, %Ću6&{y`p'i7YC FGU:y[:Jܯxb-7R2MC'z.1 Yx{;֥ 0(렴{K.tZxXp~@LY[15! !u\Ҏ̱У?{1t4EX9[>jT|8-+;}?U1Rթ{QtL[u=^zI^, Y0LSBye_f+^tn`&#U~ՓW-/6P θ=JS1T+B*ݧ=^LzeᎭܼܜoS~Yhvi?%%^ P {b333jXgB^pfgi_ #q.[ŭX VlY_1偠C1:|gb/D8 L_8(f>(NJ$t1-j07X!~I8+{,k/N\.'ב8:wBN&9?kz*eG A[:$Jș"lYYxu|+…xľaS܇"}`w(D,emdoج_F`7hPI0wΤۚDAalI4ֵ#]e+VxfDٓEH)UݨO,hW#F7>(sMS~;RO'C` Tbbxĸ\KhyE8y2=V5۹+(Mr$dh6 H$= n .RR8_%23ja[jez/=5eo1y /X]ɪdfjHa,O7%C5r㯶8.Oӄ`ker$,qtZ-&Ղ?bPgAdMh&@6UDZYicO+aWc>=v̞lWDx1GkʻQ,^`[_~Fp78i~1qERJd0Y}"uV! |-$|0ЀV+e=✝ecjɰo@+6(zxKK2-{ljhY߂kie<-E3*Isd݀yF9g6$W)O>k) ]ZB } |-2iwXnn| e!ipI3i}B.<(PJ/ɨs+#7t>e=N"s?P->5\ςIF3Z8I wظR~MOD6S3Bblf(d~`I<>S޿x&*mdN'pX+U|F `9Rjwz$r c`?ћ?<ֵ!}U s kC9a)Wb׬vȼ>ڟ!\p]VJELDKק~]ͮov n ֒R'BJ1 |#T0q5:a .5U5|sY$ @_+'u #9ˣD\7%nIEoI?5[C0 !EcLI㗓0IP 4*7ڊn8{` *HCԇk[B~ݺ joyMcD*,d%2O$pt(7?$Hȧ^krPV!Sbթ1$ЋZe;Q\i-BdR)PN lMw,q5T|-NkFm!"[)f}*YQzvh+hP&V'r/<3Nuwq3We,9Ⱥ8pM0e3fF( .P!PLK˨o/l4C$:p\ N^UGS<K$u4M"o+إ|{欣{Ǹ`S74]6.J\q0g (=DtǯbJǫ[ǡL %:4q$򴐇d;F糝R)@.ҭfFZvkU- 5;g:zْ}&ګ8=(Kk_y2KK&_0߹}UC6IUL*&ˬ0|<%amx++ٙQCA4،̒5)COGwX^YǓ\1t»}O@IG9|"A3MQ!`l'E7T/N"c[JpX(ʌ2*5/9 vg\ `}NѺdt(lEc v>m3G #ޅ]_{2uk7'|m"+$LL$2=WτjskQYW{qY0\l3ukyDM)_δ InV52w{u`fYC}Fa&pGۚ@x9\*u%vz*s}Dm0>dNhcc%^Qb -a NAA˹F$W0~zCFyIV{i$?;!{?QҏlO dqrb4\M%_ԮMhL3([V;fL3Ner(($~r/gxw'ˍCZ|Drltښ`[r,!_pH',=M-Tjs a\ =N, hPuXVT=:e'a5o3iv:fbqu /Rx1׈ulƙ簎9q "-~7Yg:¸If?^Xܳ|]x5ӵw6qKrh%kͼQBĦSնee؋;|ݱgYZ %O% ,Sepref_BasicRefine_Imperative_HOL.Sepref_Tooldocument.tex7zXZִF! &]A-MՋhvG"uIBm5ȢCj L.@&=`+~jgq27[9IJݑTm.>a3lhIv 'ηZ/ nT8 / w5aeتkSA ni5lDKhtۂÐab[[W( yp?iE&@7yB&IDI|Ky[w\~Br!o w3 (A^G<_.ӎmDE+%3+WNnN厠JA!(.NHz1|0exY/+P/`,VP\QO m j`E`Z2΄%O)@%u9YvG3(W[ {8!G_VӤuG!TUkf2^PpF{-P=詵ޚĿW}B I0.+^i~ i7[|,\GvIfZΝ@-U/uSz[n ?c`,pPcNJ@[NO ^1:HɧxbNxEVy.C$)D>"XU|d\Fծ:jOg~F -{|;p(JeQ.7A ;9+axn; Nf ;< bt S(q/yBJ?ʽFF)ؓ'^5Jo))Jń%XB Bx~U·F'o*5jcdxq>xK8hNjvȿBr_x{($k(}+` S=3("(6rD꯼4cL7MlT̃ ݴ%ՏnAԝ1/s@tg "r9KMtfHR-;PXb?nQ2k>}'fM'.EHDžL#Y8eXn@ț73t#=l:gx1?S z3㓺3$Wu"DB9WUW Yw:Xq.UuE4U?ÚK˕yw{-SĢ6>%FAK#? EQ0 woo犤`s٧4f(x|:1::W'$6SWW?v29yrcw/w!zJr!Fw.AN9^ݗ+F8Z ^ vr/ r!,v;A_ Ge:ͷc&ޕ3&kTն!4GG;+t@|?k[67,l OZ2l=y9\/VJ ^3$j.Cgi_?/[~Md0Éџ)h^HOYq+%Q4G v,hZC1T"1ge'R(.N(RcK< ߏQ8+o*0Î{a jh/lY'r˺`@HO2\Em % )}6w-}LYjdxxoa%aӣ,1Ci[#Gt[R9δޢmr5L,\8vce4ȣlۿ|(.>ʊ%wE DPdN%*ܣmgd5l;LC0Bs b[5&I 1׳4+v^=/E>0"dĖ{ .7|-6O-x/+T'kn(;(PM5l9tQ]XΰdB-idI>вE.#>>r2Ʀ4x6'Z&rBLz;AxnUCmϤ[ mmω @\ѺXҰFZT?b2gN]-A"vFdy S~kSV_d)d =_-.Lzhok7\R2-ÃThBkh>@ |kͤT&/\7_Efxmu2gFG>hXQYEA | p5dѥ=EJ $c&#) idY<_#}s b}; u^, iiY%O% E/Lj6Hr^\u~5$2ѰGe:Vus_r1% Yj )>Y|\ᵿPp{Ut2%o^Ѓw[jC)MG O@e—ߪlF ]ýyywt^FikӘ_Bn;^~#wW!vGQy[e_Ak'6HT6<*f*S0$݊wP!^ɸj=0t#IPpm\T/\$s9-H\2JTA7{&\xŸ/#Y_/*g,kQFz)M26iTGW/Đkoe-pPy3޸,'2p@;&$WpnȂ:Di'pmlSҬYeX֜[DccyhLlHrFIJ-}ABxT__c ;oERU"q3 Xc; }RgpA#.v38 T=~TŽJeUǚ^(mW̓{T+?Md& |U5#ppJ&1& !͘"8k'B/tNK^p$d"ȵY*lFZR+ޤPaJmE:mGK. jB!,pU3+;%D)AwyDt;y/'7y.< *U8CWf ?azuk&uRiHYv?'Yh P+RL槹bY]Q:/$-}$qZ5ܶ#{-Bc ]٧nF2ʅ? cLW$:]B3iϋиOMz^k+_'ߌ;t]ܗ:;‹vrPbxe~+-,7 Wn1{1~"YUok,m1j0),<}؍Ka$|l>m,^n)(0[4r*]@ =.n@-{UeoN`bPTbx~ٚl$E<8+'b!OtCHɣ5#*,3+-փ3Qţ><\?UVZf#hgZc@OCh$ ukMjtϗ`T{]IO!tڮ.PMwywbhlG^.bDu"X)~1H0]Hl qggYZ8%]% lSepref_BasicRefine_Imperative_HOL.Named_Theorems_Revdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ı}2#ϞD" Dk"/\l_~Ekڛ8MC;@texGe<)nn.d3G2m>e ˖}3\@+Fnqg^V0[m-Ü5-~peIi\9s.LPPAS&ɒ}.!Nd y>vdy/7띷=I5I,zxs a`Y v(`Q ۵ P^{#Lov:Aj*>#ȇU1.x%T=?u> 1Yѐ@pDiydc4"Ыx "$=8zŜ3 P@ѝ=0ny@ntc2SQ<[~F;z`*V̭тnMzcUchsqKgQЂ-+Du{e/S 4ژ#gO ^ҟXe`<<%fX}JlH'jmLٜ믪Oη +~V wݫ !8i1+NxqPɼHyz=xLSRWnz+B8\QDqO*ubPw4Jꆜo+ڜIJnҥUѸg`+.sv*csfšT!BoxT%H _[G֍^[n].hi:coWlqhD\@dXnTC9A&E6&,D-·E^@7c)enURWMK|oέ Urj!p,&-E$w=<י "_%z.+$F"n";]6W&M]E{%)ryod2vp/Whw*uo'-LawG"26r.; n+.B_s&VwV*ּr)*M0D3%0Y *'ʒe^dA}g_9Þ>RkuƏ ;h\&DŽ7*B-{ZЇTO B{v} xt7H {Ջ_g^Zgj<*YP8者Zɴn4/pkU s~V"EQ`1y,wA(U/hUQi즢3ٗ#]I?`'(sZ;As_^eUr)^")oY+`%A!䙇bqis> hYP>ga%()dpf ;|tʱ啙R}iBCw2Sd;gW`#Eڔ zT՚3- ^5xWk*0i#@]jwk;eY L:{qIGs%T7ێTF@Pc`±gYZ,(SM8:EX"k g SDIJj@Q峋BM|kU[3PFϖ"]nSG2 -D;f Hhx[הUPj%4 UW_m YhgT'(FxU{J"dWAKBīxH|Ӹf'nML@q;d' @*pP#Eü',gדVkG{eMQ5JgqvJ#w /u?yk.Y^/y隼a% 6D^}Kgti)l>8߱-jWhӏ|ܭGM@e?hҨ,AWvRgb|\P7*ۓULhNMV5`1elvl>= h#f`{Qڐ^ڛT*Vשϕ\@RÃ)R>#ypj,P 6ximDM9H G"{2g !O \?SȌ]D΄K?sbPcud+uh0~زt;Ɋ !' WOئ (lx+R"\,GSιA>=ņƁO 癭'Uayk6rVQG"D\x04\ *3@& c;v(ي@ D}S\~3[WmMCŰARCl [T1w!"-`Km?j|oLucR5 Sȧ,YU%AbD IaS)*[ujjǃeF|ѐ >Vnc="Cbs/0[kO(/FZK?#} T &4@4o;2T&=J.T 9-Ό@a_($eN"ɴ.wp$FVfLYzE=ɾjS?qPp2$4 z^enw90S-VSO&Mܞ#? ł=U{mzk݅iyͲ:rP_P]t[ZrM5.!ΣPiTbfq TLf Pv6tP= &B$O 䠰%2RK IrggTSp;2.'"[KC/cFMa1qpTRZ\&PN [u1iM"XW#CX*|@хQ]Tt0 RJ~tA+-Խf s:~ͅuOk M7j'SvyJʳ;MB@vh=nMI> >òu)b[/8#sxˇmPI뼇tl)5HCNnrXvr;6YJ"hōB pXpS)ݾ7KusN'ҘU2EBZZ3::DpAdR,Lk9(/7SN.\٠f8(dv?dҶ7-1o+e5EwaڲÀr:cǤlu0.E|$mus +~̲݉}To̻Qn 塖X21>~n~Ff_Kt-|FF*[Ƴj5Sj[놗F7]Z~hK:~+_^Ϣ8UU|jYbzm%j~-0vVOA$vћ@P7j"PRcIH Eál;P-6 !.]VcVɖ@}DOJ}X;yɓA5$A/^yi uGDb3z rPWv~PE[ާ(>. ! N*uC o B :v˓,)hD @ԣsׯ;ZfVk%mΨ8ՀRemgY8! ZTg -B8/ tsCuNA8ЁcI%HZ]s]\{蘨'G+etźa$|}l(*zA!kB/Iν.GtP% j@QdgW'<(8N?j*th;{ɽq֑er\YQ; Kh !P͎%7,4|\ *JiL Uvqӫ<E hoM':V)"EnLIh;#!tKJ^m1řXdʐwL=p-"y;Kc}d0ŴHktQK),`]]:BG35Jvjs7hEɪRp]I:p]3UDLN!#~EvlMOMv(nyG-SCE? nѰ4UpzDJȋq//V0ҩSo3ao*g.~$*ʢ!7T(@cn a@V&L,^mVOu4u1B28pV"1>f*p}W߱4*^ !w\%ya' `>;P/ EY^^ 5- wQӹG%ě4tmwᱫ4{ $ՠ?Q9|dERdXK,K77ByӽN.FN*:!Xӿ[$M;F%FθqPL{ qVEbb#t%(Q=*RGQNOk[!ޚo{Uie١H~EuE4en++f|Z4\;t؁BvL{-ͥ)}9(O<@df:0c-!?– |_[j/s۬c XΕ.܈v.71v>!lWOhuCUϿy;h pu8 X^C ߷JS :m'mLW8eQJ6J|?ld|-q!3.6fQjcOO<':Ej >d”thyR}3BmtY-3=}v$Y*QSivG;18m*oOdf=zBNooRP2Um'Ig5lUY\Oco-|MQAMz4d2p]IԽ&O<Яȡ 8\8}ypYJ"׵O0T&| .j:@Mw+䀊`jkBjkH1QܛRnEA3SJ4wYf IZcY<.!vӦk*w""+ˎ2&Yxq0F9egu)a'3DEbP^A6!S0:|5:f֔o8ѥ63V{1YXLTvK\?-:ASHUY|q>X(m z*0%{98wOzjhK}U=CGZ=0!K˴ǃ ^EK!Ip!#7uUvzހzilEP9nEz$PQXXM͙m 3E+JL]>Pq81셌CLՃ`OMX2p خʑ8w \Q3gYZB%Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Id_Opdocument.tex7zXZִF! ๆ]A-MՋhvG"uIBm5ȢCj L.@&=`뵈8?r v6}h#e/=F.4ӎ1JӇ΃s,rj*ΕrODtunsUN%Tp}Гig%!#ΡMV(cA|h6DSmPKMg mDG@U*d36sQ5NI}1* gZ3F1$ | Ӑ冿tHHvAٷP*j kAΜ Dbzar0ho!sھ(L,_ʵS-Rf2e[$aVG8k: _N%/H-ֲUӛN@a<Ȳ7u2OWSY^ d < D]}MiAd5r Ev2°s4|+ɇ4`|8y+|k~!a?rFfUwq|?M"%?~ Θ7~gV%E)4͓lQ$H k@յ=O P+^pY$54AβQQ:q 8d!+sT${a,01ϕіTf/NڙΰăCVԷ,ۙ N&fAZP ?ՄΖ^̙8)|2OR7ghz-ikiP:3WԨ-$')MDR̝P -?Ҋf1D;dHhmJa|ڙߢGE0^<WȞ}'o7XϞ!ȗ-mQWQ )G61 =ͿR :HP#~\Q|.)Z\Ss 㼶L7t iAW&܋ {-nˏFэű4[\oOkEm磎>9R}Ҥ"ex]0*eXo9Y'&A4)yÁJ<8ZI8?8 nOy-;:1}"|_H9 D(_!N(ndb*E& FҫyDr/$z_$f׽D3.g7 "VrR`A.|z_`֢0W`_rq3AJ$Ŵ`VFB5_oW|y{+i⹥rKiV¶A`숶@2s=]sÞ1S;[ ^u IͭPh}o Fz<42t@rE -_\q6oĢSO|7۶ @D-͌7DPw#< 7e:"i9ySabd& }aRJ_E6!0פf4JK,:?rĚb)CjEkUh)5 (hV%mXLPL`-jfy*!*)j{]`.8cܐ?\;N:ShיqN]=q,D_A!38)S`u W>A~}2Mcļ[gA?O1pI?&\2M"Ӝ;y1h-N>gYZ/%3% Sepref_BasicHOL-Library.Rewritedocument.tex7zXZִF! /]A-MՋhvG"uIBm59d5$Y5j{]J\ՖY\4nGl! /,rmbn/[jt*V(3&[¹FG4wN}tKĺC̼WÆxsWGz1԰̀5ɁkoS7,K<`ͱZhg"HsFpaQgR 173FP=Ўɖp(>0+93Xf\`rH+p 5&wYY@jKfZTCMQt$G.6C/Ӵ^ԅtOm^ 7Vc%ʯ?4xjׄy]!&|~WGzR/\!7=K AF+ߣNLtq0!X~ڡ)V $>> $Vo 3BFf"N"[{ E?pruM}i/#{Uţ8c';Rgq^+-š}mx6A=d*,-͟. QxI\*cn};ָ7;D پM[(ZyۣdvSetK 1]c\P5)l GN1bפ%6u#W4*u"+aer&'\YQLMŜ?{vV)twH$cCMe[vƓø٢_˳9;m2&4_m'8 0f;)6<<7WAzFC^ӂv]{^fKaO +mK伤PP#ҨTWk0s5^߉0m,^zf$t_Ob 4Ɍ#4;?r׼DR.!'gYZR%i% Sepref_BasicRefine_Imperative_HOL.Concl_Pres_Clarificationdocument.tex7zXZִF! r]A-MՋhvG"uIBm5T81isv֋tyq8jj6yXFQt8߲34DŽ{՟fG4pņ%ڥ9e1:W8+#7w5&38]b1aPU`yaYC(V؂'vLw"PfZT:ճXG/bk8.hd$D1$q(!/דz|bL& ~LỒ$ãi ;OrO4;Moa;߀E/^٨9;gF3#/Ւҫntm.BaS[3viUXX|f" DOzVˈxup(~}]JQ1 ?HjHNQv3#)OUL J[ HXf6zh5𭭘:4Sd8ݷ6?;Ɂjb,0PnhSmְ1\_n?^y_ 9;-UR} (iOJ;bycyOc"?5iP;f*\؇kYs_[=/oęmP vdisP#ɉfVUֻ~8ﰢdv..mG%r%oe_r.5Lg@ϡJCfH2_8u ̮%ěS|M6EPf[Ky=7O. z EmFʕ֚#& Yry}J 0u{u(4B+K$<6S[ ˘VG"bi!S.E)"af"h.DiFoUbmpIt?Sں.)c+h$Џ%%\iV`\{l+jM%8vfD퐤?\yR|Nng:C 3!ҨG(a8_xNz, qəת 0&<hibE@r-r5=VyN{_l |%l%-h.{ ԧU"]랻9[j{4K-IQܣpZgII%̉1{-7U粔2VIltD0EN)Y Th=n8&"+*v"ML5Tuz?Nb6}Ng)cZa;lH>;jBjhI=FYjHRPD~y_ۛLuq NyFb9FpYOƱ_I4栈Ǵn9nlIԪg֐>L#oI"FL=HA/^SO 9eN6]tQrLu{'Ƀ :A!gYZ  {%S% |Sepref_BasicRefine_Imperative_HOL.PO_Normalizerdocument.tex7zXZִF! (w]A-MՋhvG"uIBm5;zw^ c`m*~p̂r2ti=T8#TW lȎ~'Zdƞ'AU=/~?_XKa{&~ٽBi4E:^HTqZ~>'l'Np KƅCgNt\4e ϙq9]|\g"3 wM<roG$;J?yr2I"J }YTFӆ,aV"0yj>;j o+ OL46I$^03ET_!<\:m)#CS𕸡ƉU{]1w!gYZh%E% dSepref_BasicRefine_Imperative_HOL.Seprefdocument.tex7zXZִF! j]A-MՋhvG"uIBm5ȢCj+Yq^;@WPTP5Z,RϚk{׎Z? DqwT`$ 2,kqH@zjQJB&GbTRʌMM'gq0?1@{9,猔4]M2-+LXgK:iFp%oEޯHb{YV@>EHԛJ†|uN5>[Ɓ_ ]#+A2ܖqª5.˓aa>6`B혛oŒLtY>WOv_gYZx%M% |Sepref_BasicRefine_Imperative_HOL.Term_Synthdocument.tex7zXZִF! (]A-MՋhvG"uIBm5k PZNj(7[G{N8_>nRo{[ $hsɋޟSȢ ӃS1)wdMX X`> .;'O%=PTLړct@߉fpDi!dKLSmi_RzƝXqpM;A@~/<'RET!g}DQy~!Xώ1;ϧ7xCNTF ݌iC$h["~c\dcY9Յv>pܠtȐ5x_"HjRi IhOHh43k Zl~Ld$'8m *Cg.[Q[ 3jîQSN}$3S%?5{=j/m& X3^fp"/<| )!TFُgK:$|:bNc>qstqapM8 J%Өo?W*c{\ c[(•9wz_LuG朵W&H-XFg9*r_ZԪ ֊GhϾ佷mu̘F0[+Z9ya28B!۹Wq)T>T;p^Ụf? gRy#Qw`myڻ15Ryk5غ*MMz=*\'d)'#œuGlԽ ˙;cP`9?鶺(P |_LOTKoimkSAu]j?ynW$ù[:H!.nv ]&xJ=iFVl=bjp mxXfD%R]ф+VEcskcwJO`ԫ?,nͧCA}3ܢZ0•VoPJ9 - +Hh[j(tpDeF^a>/26.mQ%DT'Z[LB< do3_.VdW:fؕ8#gx%JlA]7nb̩o\p xH~ڲ{Qu;Pg<Z6|䵦)@nVJE 2\vl=#&ƥ5Ԍ1[ɿY]`',Zߎ RgwIѿ^<Ô{pGf)Aiui>LS(W;T-#Ip;7| %FWA&ܙCH8Ld#m] Ϻ%w5S `L/TU> S]RH$=fv$ZR4LX5܇_JsX5(p8@a8{Kx7-/EITJ޷//k̘"7ȓM5W{<{6)kͽN)\ouY/W E2mr96ckpZy*j_t M;H?\0b煠Z@Iذn\UKQ|X-venZzPO](J>mN}saKc΅+)*2/fgYZ  9%W% tSepref_BasicRefine_Imperative_HOL.Sepref_Improperdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ȢCj L.@&=`߹*?gYpuQ[Z}'%\=:ҫz H*! ۞VpM )OX;D^6aK,:5`r_rMP};\oVs 6e.pbM*@TO)g^ Voqғ[ `@}2jto.R ԰)Z2OZwX">\Ry b`p`|B(]%'UI/0 2PnvukV=>Y#= :D~Bg"$%[S{~ ]QDڄ XQVP]5Q5%b=K<߲~1+mVʙ}Cm7.6;Z>M%rQC^p}QTJqsBoVmy;xiwkjl(J *RrMF}?,REN@vdS3_hnX =shUt+(]%ϜFϷi;`]O&4wzLC5/,VPd?  C'|aY~ qm\alK'3Gk<=nNJ΋ĩCJc=ϔݠ*XޤG۷J*M;8N!$)$\H gYZt%U% lSepref_BasicRefine_Imperative_HOL.Pf_Mono_Proverdocument.tex7zXZִF! ]A-MՋhvG"uIBm5F Y/$A(8SpƉnh1]Jc&G"ڈP,߫IGуUAT{č>$8,N[Eңm:F2g34KBTv9[슢JwRuȒݬ SOQ|z|@ȮT3HS2!NA-Ɲ+760~p-DZnsT}gaČg0/Qc̹3X]Jb 4oFȰ1Vb6RO|r;>3#kq̴lp iКO}v|m8}@*v<Džc; _RLT@~7шcޟԆŒfȰӤplk h1Фc Qq3E`[ڱqPvY|YU , q-o(u"0ǨHL\dtC w˵:\ pd/A۶#eʶJ.+M!RTrq,1-_SMNo?}~Y cmbGiJa(yr]QcqS ?Д$Vs:ЁP`œYʺS[WK4j@1,a8~ @4ę6Ew|'=^+'" IdOӻܖ1v+">D)V Ҳq II䅃zџrڱgYZBZEJi>n.XMy+l+3'3E# CA($SyTIus S5%__ee`gR4WUDHU\GlCz~.Eӡ0[<0Ģ %k 9QM sl!TNDxw[i8z35wjTΌ"3J_{WRQ{Q*D ɘyo~U3QD7@h%p&Xl >YtquCz -N>@6t-.74^+!#P6`.N &5 ЉV|,]&_h%RwB瀝|HN5bS%PBq]Iw)Ĭۡ\&W>~Z]X%)WǨ)o9w1]f‘jk؉AY=nR{6GwQNMCf"ni 8W-Q|-* ֕,qQO(,.踫2{[p3=} E0dڥQG4XO&tO"dXbH@0~K1S"9q0mvKq 37=zT%~6h[#0yP:\k"@`?n/L;B[f7a|g[SM\GR_a(hSr;]ʺ./u?H\KpeE"s;DMոK()g0g]KXb6-)7|XLq0g5 1ʱhh>w[/dHA]yEˏ%6'Wu\rd$9jMq n/s_{ߔ/8:mh5sWs (ԙDJ_f$ 2mm+_C%]CPb$cc" 'f;d7Gж+vDʹx"@~(vhz;e2O\A26k8ۊ*%qn-2)Ì1]KyzGO:ezg)h '_A-e8Hy^֊Fk,xs?A/WNAԋa&}ָcLݮQjzB{i'j4'7FԜ̹EcYZBy\ 3*vn'3sHҀ@R14.J Vy5QqSt~A%3`.yl/IfD,qgp< B/P]pB=րz_ʴB G48/Kw~<+톷VD\hld }Z6yC>.J+.VIs݂a9*0 ppJ5Y&7)[fC,$yx&=Xl84=y?s"_6"V'}kqt-X0,QGKʚQϦY_(_qge$yp&%f1Ok eRE2= iE:u"!"f{:jo\@!eo1丼'lnQĄe,W Ÿ =$RYb|$^&Cyo%N>}H[%})۰鞾w5K*!8$5 (zzGue Mƒf#-P̈́ydGvq[r[Ľ7ZӮesLc3_VNG aJL ڜ]1𙼑ъKE `FD`x?D؍)z`SDCHDP MG5;5a[-6/#G+h+}ݖ+q1 lf*] <;M2ֱgYZa91fc93e5b69797e343a8431fedbbcb7335d9c58c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 28ad5844aa33dee98e4062c865fb998af941b0c4 ee8d0db591bacaa5e0d32daf3e00d9b520760326 ae32f01483d79b8c881b210c86a56878c657de32 2874f0c3b8097bee2378921fb610601c7af04ca4828a42fe9a6ddca6e6c3393d889f8a5c0530422b