SQLite format 3@  .;  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  z|N[x`cÇb%u {>z{%Ij[ǟB%U,=-45 +TrvUXV+qGъ:k[X @gCQvI/mQD 9^ HAd ټE+ !&JڿLCuy8ӆ 3$R鞖)kB5#[J}sG h궁bw?*8` ]f=$(d+0=#Τ"/iq=5[7> 8>̥2cY"X)Od6B\ʁ]vGz6;d.n E5&/DVi\ш@CdZ?iT̲Br 8 PP`[dIGvh]u@MpjDpK I׻f`<_8N]AE7[K* 6KtrYp߅~bXxfHwynSY|PKjgExJ$FFԲ?^w`^^|ٰ <4fW֨k,&Li7ƨa|:@΅ F( kXn'J20κ ~\n0c0Jn8ۿ4׍>|[ēWZPbuYj[ !j)M)g ;<'j.,PPK%Cm%$ϩSmgoZ/4-fѱllW3_⦨Q4i?ʦ747 -~ޢg>t$5I,a|?u+0۾pJtDw+ê[@%" P"=qh6-nj 8#{s[[oN6}ͥ|l)ގp$Q7L;0v IJ=3G4(_iƖvu <?[9O,޽<4{wgz !1% tPromelaPromela.PromelaLTLdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Lzm`CvvĶv& @Y/Fz H̵ Sos(E"-AWMSx@S~yDܙ#/<7r+M+4; D$>7:[3 KBj `ăBQᯏFf )޳Df?7Yוwm/[\jH7UItHesPGP _ȅZטe;QJ F?q,y/2;Nb. Y =F%Fsz>c  EHTnwY<ɟJ|ԩ"7E6Q9WK.h woPk64+#Ө(u{ 0cxҢ3A{#OQea#Xl? RQa-stDI(AHȢS."o_< H=g\+WXdK"LO#C/d/iU>Dxr+8J뽥exzybyMi@,qFSol)o|'k*sD9ӏ;=eph9klxG^3S1xs¬2Ԫ `8"Hos6'.ЌTLJN.2%Lϕ-B.\~"$CSPh@B y%g8h/21TVʕ[Cy)R!=&%J{y-$O&cv;;6~dPyAO7QTYQH D+4c{Y.hIkaS#hқCB9gcʜ߷z8@ *p~"qVD])^8bof(>ܶѕkZBA0nhXEam}:(پؒ<`\eFenC?p1 wP@\4BTG<˹&ls (:V1XJ)vM\rTsQQ@WZ}Eu6UJe.smlfٞ϶%-TB|˨Hڋ1EuU\Ӕ+ڄtaT.:͞H$?5Kcb>.eW6>zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEasrG   vJ(+%PromelaPromela.Promeladocument.tex6G%PromelaPromela.PromelaDatastructuresdocument.tex %PromelaLTL.LTLdocument.tex/9%PromelaPromela.PromelaLTLConvdocument.tex+1%PromelaPromela.PromelaASTdocument.tex+1%PromelaHOL-Library.IArraydocument.tex+1%PromelaPromela.PromelaLTLdocument.tex1?% PromelaPromela.PromelaInvariantsdocument.tex `^&r28&J']U W. SAr&[Z-?DeRAf$$*;0 13f7ed : =^zyI6{n&E!^q@ž[ 3YeNĻ+R*: +V q:`sO g~Gr ʴ")Cп@ ,7ISL_ xc8YZh,WmóheR|\(]ȟ2->XhK oY0.(j_{C>sz4OM<#~3֬OvLRA3 <2n@`bO w# R!sֵD{mIO|7 hrtO,Gr۫6Z~:pq&햏0rňY@yls7bP0,֦WJD]Bclh8, p&? A(.|#o=KV&f j wRg. QߛvOTͱ m 19@$bt{B_wണGr烎++ /eoۯx!Z+|wFl-a$7r~~sk(IY~ 7 ܏F0'8mBz^mĥ.ąĩxap;#ȤcYCcqtKH+`wE%@;gZWb-H.cg#'xݩRP':Dy+Oaݘl$ /t,a.3$$?orgI43k^c,5X:'͒Ef/ۗpOba}86$^ ri{S$&G`)kpN  ]aM mZ_gB737e{f'F0E^ ! U* f;"YA6*J`bR](r[YT;ZdYҼXNl=rQOd`M 縴c'ܬś 3ߢݤScGppB.L8eG  $rU Ow2{RcXXzCGlC=ʦWnpײ`.K9C-O}̘7:wtu*TdӅ V?,b:ER.P`/37,Z*l˪KwILuOxN , '[d=$-pedppteE̞x,]Φ>pG\NYd` 0$.\jx zJb;i!סNj$_3Uݫe?(@FJ"ϘgMNi3# # +2 dH@S-[(p{I'!KPHP}VP}Y&:B8ۚ;'gG+z{vvoVxj{8\ǝ&d [n<ϒ1#ٛeeօceRt lFwϖAڛj: elpU}}\^:-uiM_M,uz+\lD5F|c {e g,ʖnyU~N":S åD8v31UᯗMV ;po,+/j*`lˬ@bg:{oCk^d[ zq̞oD!hX0f|Dʠ Qd(MDEޅŹ<8#8gV~zgȪ $R[RdNDPAGz ƿF{P|pn܀f)&f zzZ*۠Q4= (;@fo $FjpSq⾿ZTWkymjc*GhkШp5b=?hoƘj1].aU"}ouܦVׅ;=<3rH8 b%\벒TՑ>({mюoʫL[q_m6;ً"2 l#l:Gk\E' j lQ"Y8oؙ͠Z|Y/'9aXnKu˒fH^gҶhvz;Eá,fnc3&!C^V:r'҉@̜[r+`|d\݋ zYρ -WS|?79Bfg8.EVJVA40xVʵ[lf.9IzX,"1Դ$AVGaI"".,Đ|_tT#9h{ /68i@+j<ɧM+v@i@Y@i.U}^9Es EujMUVT5dsp(t7jA\9Y4X&eӨJj6QV@~`(^ukކ+w~VWWHǷ Ӄ.lo^9DK؁*+<Џk d,ja<{?;{dbйz}L92'$НQKo]Q(<[-)cDj'bşBbG#N?)!ǃ˂Is<ݸזj 3-xe@ yho.jpoTN8973Lvl{Y|;J^nKj6M:HЫܻ:dkqR=a3>ՓuUMc;홒G?yWi pOI2y>uGL)83Jm(h F&oLe tޡOت?b? xiܡIo[9;oIS? a:;wHl,{Di4#9#wcu6JĕG6K[^wmТXTҰEJ9u)>1O2ҙD1,X`8̞ꂵA1TH]w !&NuqWn{tMt%pT3.퍖]n]\HXV +Q4Z}MfDa'LuO^mA 4'q@Aq.a?>Z 2@5>Uv*`zӢc$Мu+,զGqåjŻ䗲{Qt?:m<[!k qy0g~3u2?5p%怀 I1Kf-ZLe$@c#mH-KJWĨr,0ìGD%0woij5Z8MĔ8$(oAgHXY,0"1.S5t"J9-㧬dMG(.MYvwOԪϩ⛔P8I*dFt%x>ps?M C#uZ|Z|;נ)Nf}Q'3Ew Q#]k ѪiPm@ j  %CciJ 쀀v%$3K? 2L;î}\ ƪLR#{ ,K*pr'r>JybFMU۝kB6z sc@AƁ *d* w)`6"0 VoǴ'g^#1MޱC?3X&(Iwq(R2[ ʢq)9c{u={4"?h)e(b+H}М"(E09e MBv0hf%J xh -jR-Da^|RVSRi:"vXgD9ic`9WT3cv05Mk'D趨z1:?Sz*jY# dJƾ4dO^@(4GWe9goދY N3.,ŵi&eJ_dN*b$oKi!m/oyU !QL]]UɱR? QE_>'G #OQ'unȚ |AEIď0§jOrpLrO lyt?caAiji;>]0:?kZvd>-wǷW j?KIQF];\GMcz;4C WLTe\L;ƻ7>z8 >Gh1T#$&%jk#r`ɔKZޱ*xOB6|N쩷ľ &MӒ*yF.~EƔDqݵs9:QDU}ҳhOԄu߻xia cV,T6DKI*PUڂrTOo2ގH0rq?wf8of ~rgr/Rp軑OkWz6LtRː4z(qC(Cȁz@N]%ʎ@\RG*\TI>t9өO&u_s3ullj';p πrиǩŃG?C^yx~H۪ƌ_xl}ZO jn/LGkjVHX aMXP6E>&,%ƣzxcC[|WS,xI)ٜ}?xUbgYZH1Er rFg D#3zTJdbх&MDvNQ-*ʉ1]{Wԑ}kfl#,V4.]+We;f ɕrذ,Ɖ`;1wl6CTNWedv Aa*zTBƲׅLog@5tܞ^d+ ÿZXЖNg𻇠S>Do6Ж5! T9[XZ4(SNe~!o~xA,>NLV|pQ4X{o0X4 SIP< evOIV8PFjZʶ*$ym "LYRSU.Eϥ!+,bW*o{AqL33pvQQsɝ~ pUè\]7.еE(F:*D\ֲ#[U7nVث]Bs)lڒ.>9&8;մ}ON ԓmE"JB) G"Q@v'0EٍB=_Y|.?f ~ vEP֖ 'NhfHIȡIo3{.֠[8[Б~d& |pgd$:en nXK#$\*puimWWA` +p6oI2 tgdl|Ԯ4 #^m9rfcxQL0ֺsםq3RDnܲO SZBQB&!R:qe. {vd1QV2jwB eWVMn9,ȥg>? Dxt fO´͈3 J^1Bm.u:X P.Sy'$rZg2.u AL#7k9d\ pm5Θ0Bܑ~i8jFZH8TSQ &R 8wUb :E|P%n29 ȝKWՈGkW2t*g(> UсP%8TKF,uZ cp:RaFkRk'] Ą^=G/d XPqKGae |FEYZMS)߁sb(O/Hmcп+MyAׅ U U9uy䅊E BQts{@ +zjM鵹ŭJ~&nY-VԗH%!/ Mu*kPNQYI( ICiڷ Lveц9t/-J c =!b=kI.SlvEPgI86ZF^!7# `tvȃv{hAK-qnd;Ě(l"p->DQ񝢑pQ}eDx  ;B^ŰQ- q"}pFbn&rcAYtXj?|sr)h24Ҍ'w%5@Þ^8+~f)‰U'1+E-~21`7=Ǐjj&'W*NY̢Y2˝z#C쫷3Qjx^ -vlqm>(Mt졬rM.@%&5\>'ce:ve o}[~4;z4䕍Z] 6 ,0&g (Z h|*N!sBbE؛cpċ,G6ث7͙6.N3D{ՁCSZ ^kZw?AxOZVܾ\^)"H/pݰ* ,D#j4I!3 =k ϕ<\ ĊCvU ó{ \1(#/U5SUWj,]4[ulIqРCF`kp~n"Qo˃alW9&pď"M&!]zUBC~ B2骽v C$t׹plӱ,.ULvQܟots}]̂o[ݱ⋦tk4RVfP*qQ6ͅM@cp ߌ!\;N 0$rjwgث)/k1Fy,xŴxZ9T8mg~AyôR?xЬ^0} XkvQb!܌;7ڽN(&bKmB ӷrPd+/PUmf!|$?e/`#\y,0uRVŖ~; -oi8Q*AΈahڐC@'#NZPH bSЪ:И&'7hˈ߁w|IV,cJB2,{QƋwt,߹ Oy &1T3W7ZhCq<18,C# \*ϣ@Z-*-K=n!(݂|/WuE9߲Ljm9Dl5(wy ?ڥI 8)+>4A5m'_n͕&YnRN2GA"mJx6Q-za]QP-wpLpF+1҆F,ǘܡ\>Z/V0$ >$ng8EZ`䠘YTQ*@]b,Zе?^S^T8fIik}m:'d_Bk:,wIZ$Vj6 U- @ yY|/-ٱ.$NxVm#QK( Xۘa@ڳo)Zțw"5 $Ik*aH'6=)!^-a62bc$n"TO,/\.*R[F" ZKi\.EAn}6\5& r/k*Jq{Ζ5s>ʎG_]2`6;Jn.-io~&*!D̏D+R30dbZ38 qwM*̤!YUϊ[K]ErKvSo& 3߱7^jZǞV dyM0)ifp`8 GWU8 tMw0(ܺMvUϼZky0x"׷ i[[f .$2lHF(n^wah#TELD0Y1tD\^?0`b.XmɗTQ&zxLx ˌ,,q wCBZ`OFGxq\mfЀPՉF^+RԡeBi)ΗlJu"2^kk;4iᎈg|2ٳTR=#<9ߊvw&{*,g=iщbχOng=BM=7ةU{L9P߼iҧ0dvw +%}6fƟ3 w2hͲ,FS7 uQvM!EcyoYNrΔ"jAxe@5G!ܜzmG"Ew~ۏɶN:N, oDCmx+Vھ"+Iu`86!yĺ݅Jj[l+mPȘtGܝgerJ nZ}C5:xB2Gx ]`Uu)2S/iZ&rg`} 0$&A:.TfYOT,h5A+% ݴ!F}lc%s6hشϹ4NE\RsbfaErf {"ʕ@lY lX~[Jk_Jy-|J pYaJzOuHPS,ͽu"P{b*P[cܱlv0 C8 mG+؇-VWYHZ&7i΁vs,uF."u4 hyV*ERCw󤊻&CŔ{":ȂZ0~IYU q i}5GY.3:f?]Ɗy,z5d9A's `oPb8jͬI3o?tzIlN!#zSRbܣۓL_ ڟPKh<@ȩG!ͤg>rNjL8Z4} seZ7J8#:xMʱtrVF@Ɔ<.6o?4s :BT] ,mЃ΂E[zH9='l hmayLЙzu|R2eSEļPTܨçXYkjhI"CmؘJK^68e*QCh0\yLg;&@c؊̨ASR'.M2~Al.Cf)r]okh_MЇ_p/867se=sBsuppXw >A*~Xwgq'" AD~ Iu1}xyS7ʩ L`ڋeG*D몷B eyRA$zV(*Ub:R:+(:>O]Y la1Kϯ葉`oTz9 ֌]xs9] % {Stm-~÷a3d`'ݚFnO-6Jd2)9/i?E2nץ uwgz !1% tPromelaPromela.PromelaLTLdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Lzm`CvvĶv& @Y/Fz H̵ Sos(E"-AWMSx@S~yDܙ#/<7r+M+4; D$>7:[3 KBj `ăBQᯏFf )޳Df?7Yוwm/[\jH7UItHesPGP _ȅZטe;QJ F?q,y/2;Nb. Y =F%Fsz>c  EHTnwY<ɟJ|ԩ"7E6Q9WK.h woPk64+#Ө(u{ 0cxҢ3A{#OQea#Xl? RQa-stDI(AHȢS."o_< H=g\+WXdK"LO#C/d/iU>Dxr+8J뽥exzybyMi@,qFSol)o|'k*sD9ӏ;=eph9klxG^3S1xs¬2Ԫ `8"Hos6'.ЌTLJN.2%Lϕ-B.\~"$CSPh@B y%g8h/21TVʕ[Cy)R!=&%J{y-$O&cv;;6~dPyAO7QTYQH D+4c{Y.hIkaS#hқCB9gcʜ߷z8@ *p~"qVD])^8bof(>ܶѕkZBA0nhXEam}:(پؒ<`\eFenC?p1 wP@\4BTG<˹&ls (:V1XJ)vM\rTsQQ@WZ}Eu6UJe.smlfٞ϶%-TB|˨Hڋ1EuU\Ӕ+ڄtaT.:͞H$?5Kcb>.eW6>zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEasrG_*0|Sn ``19% PromelaPromela.PromelaLTLConvdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Lzl(~g ~dUl'`ك,\gP[K7K!w=`pPλIkGxI\sqUnf3i{>̇L5qDC(eb;=ǐ(Hj"UQ lKC#1. %WkDNV}%N \ἝVWt]OT)땀Kw[z| 2^JsT0e>B d"oz7^ps)wr1 %/^k7~dP) +m'-~'\Vti I 2 lrW6H ml#x!| 14GHfF5Ƕhx/ME%aojލZk[p]] 1cޏ)sZ} ¦[d00.d) RHP{UƜ ˠ ]&s6p ,Qؐ"޴vfg Jq3fQ,{bu%)k/YeSc1Q] Zc̟ZtEX?m6Gi%9QňhV’. c%0BYGU@֎rLq.k&9^4n9hI'@bH{dߢc-Ky9d<3&'J`sdt Q)R]gimȡx\,US{&8HLaĺ_`j-3 a#K?) ;PZ>ܯ/, aN0m2%Z˷NF:m.6DS?>~ϩ x96suj:<ډۼkאD_J`PS\vݙ7:v10*z7-(}lK{o.itx*?E%|8.zDF^ 6<ύDǠSB*.t` s4'ېiOR ŕd4hy|(6PqLXFpKH&bl^- <$:څJu ,@Tj$5MCoV sU=~rr?QQ+!6/'/K-y ^y%ad)p9|>|?I-E?UAQGQ"NtJB &Nv+! _s>5Uhl_ 7-@_Ӝ'eb!m\K[ 1 #>u}kymOa*7.}-6L ,S|p.(X۽`2P1_ltk|]|7kؐ>d>]E٦OxD?Fh r@4xrXPuÚ4zV)qOb?ÿDĎ\ށ@ [?֗%/̉+ %hS[$c*17Yν& !)J؎N斀߲c2#6‹)kc;/aݥ/N4v7+{,`/h_bA d A[]ھBL\8\'.p֣N^SB0P`5CJ xd(Vc$")j;}Aq4/ X<YͶB[!=r빐=L1Gf)sL8T(-Z 0Y3 aOtJO3""".c`pϲ qȏZӚ^ xl9>G&`H HC06J45OR |Gذ\,A3T`ՀKWN~UƖχxO3%Yz4̓} Evh+rn'hvFIĆKOV٬xqS,ig}.6ĨThŶ3P2[r4~)<ˀ؂'`vkkW!X$ iʶ.*H0}OjcHEvy  &-R͈РZZkM!$cBk I.4a!^rםW0  3h~d4RԮ~!BA'%9d->49E`b(UXs{Vmw@'=<)42;z# @O'e&}<\*4PQ͛zjr¿jFLYĞU !|2 Q\Ϫkuxڨ P<}ߡZ\7 di$fG#ً ,"ړSFl1bUTc8UuO yy<[),m  J?+5v(t9 DlC5t=0pt“hMA; #TEcB2VLkfq_  KuI;^&X~2Lyߪi[fփ[§ 02&y)@`XBchc p uwVyBOi. 4\N`rzK}ɟx 9t#^0^`w,1ϫ}-,5Ѱq"}wK`(/a*-/H%3* 7Iڼ̺b@YjU;]zaJXJ7AѳAŨFE!oC~Dj7P'M?;zDAfapb_rm@U3GOvAz)RQr!f^[Eu(֍EqzSBS"XiLwR8 W. ))8rLf鬭f95[dzf4*ЛЅՅ=:ӳ1fȮA3!/CnCeŝr9#h^p0mX`e8]ti;S]hCo`LT`_ A$YnueDhu[/,b(xi˃t2#c,x;PȯYI% c@a:)yS3_ӨQP\}<=VA쐥Gɖwg x+[aQitѡA{NkOEOK9֗|O8"[ ԠƄb X އ޻DOТ$ $1<֌H!eR[n-J%mLiW=^t;p{ꩍYn"Tnt+7 3I QCΉ.m#=9E&v ~g"7e N|yB:=pRh8{3FrDid x$o2h!'Jܒ؃!.j˃s;[4Ǣt#Hsٵv< ww*|VFY T` OxC~@nya%PM.pcbi̞㦦԰)@`FxɄd쁴MNjbߚЃݼ&F3qQ߿HESe$ 9Fa)q+#/g(>TA^מqFP3JdxauX:zhs@L8d`bpx &ēo.AdBSGGl4}w@tb_~'iJ[\٨NgOvИMG@J~QNVV+2]NS^Ч&$#au$XhsR| ST X"ށxV: =5Bpro/W5#JұrnLXMziQyk3rQ՚2p fMwO| BoKi7?i8z{.YVx03r@aJHm`ox)$X#Ț$MsENp*eA? dX@,~f3g96۔}o`%4SxF V,ESe {*]i 0^ {648@&abJr&Jv̨i4gApƲmg[rWk?HtMSdLڂH{ֺ\ˌ} ZzB-1kW$U.ŒDF]\ljwnbpXlm J9@ʝ<4S=b74b?m*+uYVj߈ C-0%Ix{Xޡ<QaУ4_dg8=zyMoceԶ" )qd< 44Ks2GD?e2HԵ?xRUs* D@: o'D@hP)2K\[ ;Ck4Ar{*](?YYrVY %y&VJ9@iH 22u3| =tl]~|ʽ%ȴ,ؚqP8Q0L_  UxgP!Z%{Pf)Au~3ЎAEPhJ::v5\7|m_CWD9tGG72vb#0ȕZ//*wnjՄWqc^qҲnb"-|A1&m-mP'5J0+t~I\- 94Ӂ ]FTXq݄L:S(j*NM3x[ËOFm5S|f۾A^s[+q?iܼQ Mm)3ϝ1>NJr'aZ!0MA&b<ih/1Ck2Ƥ-ճY+aiOpL+ZԋB=Xew2sI=6aqyP^)Fm^l\(-, +" 8iB9!9O+}RV-gzʮ?HM@(OZ`5ܘ&RF•O?9\/ n  %d4.&THP'a@ $A[/ dU|A ^ōBq |qV,y,46- #АRD+۷tжс0 s,QhID lVtm|+B<0+x[*M+/Et3 Y-c@K̜G\Ba6P' ^~Sz줪Zս 䀼ONPgWxCl'UGWlHF)~Nv{$=X`C.ӋWlsjH .^J8Q8Yқ(FƗ$J7uM)0ȫ2!+Y#K> ;<`Y5 ^tO`9Y+4rszloESwjX>Qex;>g0Yݠ{ qNz8(U_9\%=j.B<kߙn}| x ¶ PX6oI5nܑ3X΋A9#%A9`$%3apPuNTբAЛ4.VX&J2cUAP[#"umoY|*3iPEFC ^!g$gaLIfE$ ;&:6?#ׄCɡ*,F0,אAO\ߋHj;2ɚ(Gi8p:t7ޱo S>:(jσ{&8ٵW8rSkO塒DQsyќ .hZPIy!R@AG7>UF8.|u}"r{؊ڨmۺ-8{7z-mEcᲡH|"D*S9{neY2}rwH8ȟ+C/X[5-%bq BTCx/1IrwUլ` jMww,CszdDl|:A{G|a>=p@B9jYIq68u-* =>oSSeHJJy7RN\?y~l5c:mIK sv"6L=5􆸾eJWJ'kQs1x E r0ZTbۯ峎FAuhf`Srmq%*h.E Nv&ivaeOaimt5~L2!b"Ӓ)E!'yomۡJ2+'7L?O7g U4Y¨!T ɝBXPlGoj?CF?+8&dT v% A$4^ t3:NoAw6&yV|\$ Q̼c/5VQDS M; Yؕ룬_ˋKl䋞kANcsRSP!T3Nxǘq.@U@X+3\ڦv]‹`iL#YmZU ,͂>gwĴ;&"? p5@sQ&:s_ƣ=;,0xaER [߲4(Q(:jqV_(C˹TZnPP&7INa0ZViI' U0Apu2fZُ-Ŕfs6 -qj& EH6 LS5mn\ ' MfjQhjB7{Z d"0؄s[+గɆ3@֧v(nYs-0i t}X% *|۱ º(: TI ِhH_T*.o`AC? "?=|fjw3z  2RSM;i2qN%3ؐI*r!@D;%VcVSWzOI~ zb6Ǿ()Jz1:nFBeTG-QH[F+^DZy6-#Ӏ1n7=`]K1{@֩~ҊS*6 fm5`Q  P~ff¬2cLB~5{ut5f$gL더eT 8سL$G䨀Czyl]/^te~qJM)g^}䘭3+ѬI;_~_n4LXižjn%lTW *δuWBZ!p~G_a4_rO? o`^NϜgU~ᜂu4\SdXGpxǙ**홌p(wG2h%WbTaSa&p !HD8(OXS͞ ]NjjDYqojaPr7j(69+}gHvwqx/z$5vB+Z~ Cqn_Vd,wf1AE}rYf\vg! *`:D)Js! b\)HGxf/nD@]ك}q,a% B8̄C}񪱊hsb<&⠳?-18 &EXS.JA*q)®GJIhYCa7¾XӈgC |1gi6CyS1.,'I ~ Tw("FB}uܭl2 t 6(AwbU=@.YS]-ë8 I `*?W# ?fBzdiiB@ԅA3ؤer%CoZyPȖ!}wÌJs.>" Hq ʽO\}^1c UGO5'%)y_{GuS@)ZZ,Ȼ[Z(Sgg#p7(Ոk" ~=o+G(HDE}glp?Cѓ6(^ٵ.kCW̞M932α@4C՝t"a;.p+$h.I:iGo$Z߲bjkŊBҿQ%tZ+>bluU7E_*?x.2 :rq koA pSA\Xa2 ֻ.Q8@5?xbYAYZ ;+!]*@`:%)q!#"mN㬡A~p3H}IC٦P.kD'1Q:QjHdԮYKau;C*J>`l[5v׹.ۘ}j!1\lg"1;';p8M=zS2Z+b՗\SέxNN˵_[1o,p-}'5οDqGմ+ھqj&BjQ_ ѻaJ}Սn2+YQMG3E3!:cfv1id :k ъZҎ7u&Qaih^g8RxUi1<}!Ki#;jv~eګ%363/`3 \ 9 Rp S(z' <9,[s2NVs%wz,Gat苬UYvv!&˸P'$@W|-4oۅk}6N :e5Z31/,*a|S 7G";жL 2;ukU ysʦ>B6u8/uB=Rc[԰?)U#u:BȤ>P,CY :[F@WrUECo򁝏"f ERg۳ |I\5rJQ3,DBɐ^3]q(C`]vBGz`¹tÄ*H j.ڪ6nW[/?іW`PiQ~eH9d5=CGqy8@_E6̖_C (|#;ⱧjgZbXsWO9O{LCMа|[Di6!sد[lD&agR8Q% HGH-=vr?jۑRTO3E 0&=x3bS*jGo^e~8IrP6/q7ZQ0쩌HXMO{oEAb-74Pַ>,dD P狎J~<$iG8o<ܫ}upW.*[JDLZ~dk"zurpa,2Upy;~0yr=X`O$lBvҁ`*;AZP}Q.Ǩ<pJ;zFǵ^qkC OX u #-n\r~\](rUB`=pjNn1c28}9J(yOi]=}N t&5E@>/ ? u|M֭8Ζ j^ Y0PL3S`H[ Z { St)D?cU5d5δó*ے#HhhMoq(G20uogybG~ LD]YW*22E_6.Ch.M/ LK,MKs>lb0ٷN5{{m/>W*|mx$9Qu9MgYZ C % LPromelaLTL.LTLdocument.tex7zXZִF! :]A-MՋhvG"uIBm5tqr?Dy8o:sYd%TQ.==Ws\jzY[t{)7fLIOz+T JlVj+`4v\X9)zlxc/d-. ǣ 5A9 :݆ʲ,ķnk { }鈺5F13X /'-w5d[f5s?FVX7mܵ" *f& ]r$_8 _R@[U h".09x]n//P :c" \_|umOx,fx̧)(|Y+d4Uo̓Z \i&·& Z(u]|J+xH ʅtIDxOy|t_,(hѦ z M{ v蹖ׄ7V;^9~ae1@ǿF,>(0+KauS;ML}Ρ>>o4 ѻ#ai|s?s ;-LE8y~C̪KH}i21vAxDwF@5Jfg3pq?޵U/& G n9\?.{jn pN_:jʒ厽mxGʹyxsnX0Nt2\T+(,%dWO<;C,1Dvg0!7@!Հ(+gxy4#A[n9]1d ow +jipCўzX[J -BJfҜbh(8ÝcSNǣ0"mB[&mV 11l$^Z:lC>T&~BnhVA4"b&}Ǥ 7(Sh :uKâYꋖ>FE%1)!nx |Z" X H4yG7ГwJS ɕ(d{OΠidE}Kɦ@֍! vn/-ψ~ ͎T7|Q4%r}>ݭ6(YS0hAFedY)J3pM\cƠ@rGqהtZ_%r7D9- pND?J)H1ŦCM"5z Ryd:ڬ7) NF=O*)"Ƭro}rYj4vTJ_G~9H*sU@R#5;#y׳Mcy+H!1v ˶Xq BҰS?2[;RdCtQvyG+\;~I,9n#J\XiLbY{[oS$yA9(.:3k-Cx' ;|naObD0 ,$ѹi(0u͑R2UxW6`,J[uײc 8hɷg3 M9]8KfWTXm~]e1?~0,JwU+h= +Rh@!"}DB7`n­HB wǬ(&ex`(WC4Q\dUfxx@ .KhLǼ_T;ְO B=LE][_z~Pp`,Z'Kʰ0o;65y*SMs:'20)2FY/sed۴{5-?E d(?JmFJ3s߭ ÇY Bb[|ΘJ_]^0qVER8Ό;X8"(SRx!P5! ea)v:5D[뮇r@%0gwFx>YK&Kq_s"8B8?iYMh)M^ㅰ罴QtH'Ӆͭ`@Hʠ+ILi!]_k!h}@>jIrNݎVs^2i 9=£;;3k3DGu|;d;MenTIm+Z C ӰA а1nD ͭyt}p?*9ؚ8Ԥ ;fMCbJ`uÅjɉXc&w"|uA롤ExDx{pY `$"jgiF߳Vw7x0ۀd'&?xBvPbK@J*^q0#1J$$^|d7I&{GF.%2Q 7 w=|XF+=2~VyHt9E$c $]JnrB"^i"O3?@#E/PNZYotzuaPwХK"9wqS̸l\kNЏ:b3A62>BHx,§ڐ ゗t|#_( ٺ^ha#{b)]Z;%>PDnK-:R*;;FMyV,Û:H Դy#KH:1|.EfC{$>: U T A[Uڌ*ȗ4J<Oc"20ML b2"g:Px:ef#=JfonUTn#sdEC|H16;<NU /qGԪV/sapճ p<2ׁ.ЉENkVkpO͕|cbK:ʀX,V2+̨VÃDw+!t䈄"NDaרݩyhL{6';.h,_/Vo6._$U1`,']dʹhʯY9gx- =Mn"'Oq=>`aJ{f1"+Ä> iblKՉqQ8˕bvƠLKFlB I~T7;nyy^peL%zl+>j8;LH++>ܲ""t( JHx?tBKOaSɚ:"DjƜi_T07zI pt_K]^*T*AD+uxDϸ1J`FfKcvDygsE-zKN IL_B}l.cyyS:YK8`y˞]n4/PqD;-w`=x_G.MNHbn0 hQ:.rʲPW"=ȁpSӬ5;5i\;/AcO?|ܧrpPпjD֪R%ѢB>k2\ez_ՒM\}yQ T'S @.IjrpҀX3{`gcıj䷵un[eWoJw\hK/Oe1T&ebAD x*lg*0<՞0ydgTr-G?T۲]9y5RYe}Mej[MA柳h~Fa_7օ 13) ATzb2r 𕺊 ꛷1^lXEB\T݂[}䳪k?-Msue@6viA},=*A],cG}IQHBx V'pF̘ qjk}Aь;O@35 !li qsiW<񁕝 DA87ZSYGk9x]ߢj]jWBe㻼.\A>P͋#I,up֐ .Vaڒŧy tT'|I|~B NbdѲR$łPǼIيǬ:{N|*2#or%`JfT H z4"Vx#c\qvb]%VOO5""GVl;ĚTP50L'B5oUi;dM;C3Ӥv3.]t}kkhnb(Ӷ8zw䐽?91,16cɸ&i'4wT8P~+xDG"[{;a֞S*ħd"!si1臯G]'w?9ܫ3,+""JP[f,`5 gH4dߋ[8WI숢;ňAM]I+FI0:Rh3dc @ +H-N/[nl|"YF )ADَogG&<9 ~qlCKq$JrE{(J#afPJ 3\_ ӼoL<`/>6LhE p_ Wv|׷qVz!zF_RJ?tr>u-T 呵# Cm2w~%c_[ŘD6P3"E 9>́[[NG.EkmZK ZoGuqh{r3~RuB*N١/sb[M+=*LWwMLᬬ-%mXSPMb>`g1HFcINd3g'a!y#3@>]{YzYXj L!a_ rrF8ێaE3Zg[Iw__7{Z?OzXw0RM-tK}x9X7t~GVI vhK: '(Jvڱc \R9˒#ޖXOdWz]RݮuHvBE<,hDH5~b55vl0~D&.1HO9KI3%cqG I*i}w cZ IpSJicJ6@IjT_IçJC4>*i_ţA_(,%fQ' Tj}V57;.mʒ{r]!EWx7G쭭\XAŔșP7II$&JK~Lhz[5EU:چn؉Z)"]:_86#݉*Cْ]EU{'Aq3Ҧ{ItҺf#TQ<)l5s{B.Uf#/AY 7a|Dd+χ)pE֒ x80JuYHw=װK2qdҭ(ڏecr5F&.yNAs.{2Ϲ7&)j8”GVhHCL<9!qzFB#VUm!v`R1z<_D(HԐ!#)VAL0+:j/%(`uL=rwKlԧW[c܃ O >J!kݕC) LUE6f0A'IMI&l> _7V!t)mM#n%&NljZɚc:VF6RDsȍzGXJMS#ƒ{afe};RQd7Bb3,̦$lf!&މLwJZ # e+/ecGF0G%`צ܃czn .7Ҵ> ޜh ޼_.0zשW< "䄖E\]h" ~Ȧ<M+pPq),Z5AsQ°c۠ ^Rme#/)=6`U H{ 9@JF׵LF#( q +_% G\qQ:Op )wig у,zjm 눴j5„[iܮYUm^,a@-2*lw5؋Yc4̊It-jKWkv|RQL~e\O[o1!^p7tb9QC>ϋmˈ$|֍VAF=| @*kp$kɷJg~d4-K(x3g&A~E|" YIwq.xhӽ{{xp X#xwl7rb)-z\8\$Ѱz{, bhU;'JN(ve xq f2 JhVuPQ"C,6Sm,׮Dϡ( ;'Mo C83ylΝ49yiITl{3`h2!qD{y 5 6hٯgL,vsQqPQ7DMgƙ:ndG{wgGW1JBg_I: %%/G% Ӥ-G?/;X*NL~xmek&1L>k~<\K8<ɇ)`0_oңZyzbWu!U-ޝd2@ԇ(r Bd#&S`ޑt?'EΆ`ʛv"Y`'&Oɺ_J6x-7 0ZY^"D-Yz <@j<&1WxC qۮSM5HGäf{{xO!'ɒ=+ܕ' HrVinxǑJ6IqE./7Mv݄6 Q=\ʜԸÄQ&gx'$>j&pM}h$5y%>yhp`RLK3:c^-1oC ͵} $™'⛠YݽeT{ 3'^a锜*:D!PkHvA?Vm5nm[ g{ygM\ R%èS)jiҞ˔=զV v?LAĻY!| 2?!=&,/>wDpqjqtGlD fO2,IgC;ˏ B#1U>;wc68JU՟aP+,yJܡ07aZT֍Xo tɒ͙^ _"]甛,* rtzzēU܅y1ILصSvJc>b+p_[*1Lx|E!y G.2}Y8Q}3kF%nq qqnuQ vvg%s(Fx@Voa!^Yw#֩0jrrzu94 }Ξ {\چ[ꮶGG=P4 'VZ3 &|5*p>W3pʯl *؇bs7XvG+}^R0 a0aË!'Pa'#Wrgl'؆pq>|sHkzu3a?nڏqXgF#eWR0hQ1״($5@DFc AS=ߦ1L_TIKOt]fNB8$I_0߬nD5+u֠ ԿC\ZɁӢ彷A94wT$/_?w;1嫫Q+o:H%PL٘tԌR\Oֶ2vB^&kA'I|cB[v0ܴ[|UgE;{9[cH^m۰?wVЂ K]6ZxlQ'=pVo{bb(IJ٘?>Bb'f2MKᏦ)Xd*wa*TzzM$$Tz->Iy3%F(D&[w״ncbn)VyhP\XbGgtƟ DPtf V7;IS&ny Wxfb6$bL/+Ӷ^( >sdtPU˥CxKPq"] 8 We}ƹH)CNeKFY_K(xU+bW,ԔYs(TigTThcmHtSs~\O 4/ Ӟĝ/]<&yǐea2\DD?-oE؅30?Hmجsck 1 zoP$"ng6ke9FEU]N|@g6_f(!6W`>S0Mm qޢJCt߀NAw RllL֏ɠZC=G}4W=.i&'䗣yxZ\CA;V W"nG&j:[dCN僇F_UZ>0`HY/TX(}DV w^eoU1@M %0Qem'C=*Jܟ18e-UOt>  C+QbxLVQG}^JbcGp@,&F|w3&(wrV;SknfjUYCץdd ]ˑ԰&`V gU$^wQsv2SmWA#Scd~J Tʾ()6~: Tt%NʡqEtſI?l<-.rr&ʸx[J桻K]/K}ML+4Y1Ns1D#Cn࠰.cK+vc.ZB6-9Iįu Taʟcu~LxCf:?im|! Ga2!pQz$_q 3ǡ٘Kq]PFKʓSZR#)J0Bf?y~BV39A %e`!U,qhk  E `^ړfP E/(OEi.cnq&ߋ%Pr_}HJNTYt&N /@=B_x<=\c)Kډ4=R5Tf){L,ip<|\4ѦhnoF.5H];Qg>7jw \Bz%gYZ = G% PromelaPromela.PromelaDatastructuresdocument.tex7zXZִF! p;]A-MՋhvG"uIBm5LO :y[bG[qn\|3da9\%ջ Fiҭ{+d9H~cmb-?~'|Q+J_g@wtPQ&T(qfp Z.10W'kӖ]WdmhbQdK1dHHt*[:Qq\v֗"t;!̒?3Ϡsk2r r`X/ȝ1;^[E᏶*(Z^-s&39u=m\fLJRs\DJ&%ܤT,)~ Yq}BߎPv Tf_PGkJSFR*CvX3q8PLU KTl, Z )|L4װ|G~Fp^ֵ ⪦yPqAY!,SŮ<0Hh]ƿlj7Zb,Q:1-.u;H/F}>D۷hG :ÝrEoG{oR &rVhto[x,&CkM^ڕz.Pˎ͙E:~^{ߠd9qwAۥ_ x?Jhx-Tw!t8Vj:oct}{_-,LxdHOpp/)882]Y )cŵ < RwZx N:|')cE:%@۬e(C,uS̐8{Wg(NX3ѭ kcuS IfdkvakyE!WR wsFd4*Ѯ /.4֙̅B\A2hfۧ,(vcs {5ővY99e+-XZ[6v`m-ޘ]^bq*̈ߘĺ½Qmb|3`Z@Gkw,T_:;=P_\yYs4##an1+&Sf:o8b\ZŌ8lѶ[?o:[N[mΤ__y diG:2o n򆳰$ϘOIғ%*4quJqԯea(lq=C4s6UNB)B @+l j:O^/a7 y7񳗛V) 7T"[i ^sg=֜2)rH4;b){#W2c2h+CF7(OC&@ȯv~PA i0#,!ZkLܯ`aw:lK@ s0h7И~٢uJ/"@IDG<@G䨵 $scn* ɮy.:ew )󘪍!f& ّ5ћJ]#Qg$tIrBAf`:/'V_}lӑeļsj(Z5b©kp06sxooD7:Me<[Cu'Puc|~淁ctF!bv b/׋I?K͝!T~:JD!_8=0)9:<<~15$R\)įh1R[ӆ/Uy~U% s J4 EiB=Wv&Rp[E].c>Xk*рVף dc4Jp!o}wH4 ~5RAcxs1Ϥژ"؅wy;wR2xQ07EPG麮hFt$ԑ 5AqfJcjT2r#^=HMxnR_4Xz[`IlKEqƒqרNğ%T~~U'3aJcm/Di 5 >QY#^tJ 2=lڈߜ 1d{:M%Xim5Glm.L,y#J4gC`Xu7&I.!-J3G)63u ҳe{NdAկm0[,{ k"t8F{0tM o׏HwGxq2]+[r^\aܒ`0-@+?S o(P]' ?w>D\@NqkL^sH*~wt% 3+U1l髧w]4ɬ`,0WkEl \VNVJSP!RY.0 g>3?C@{}aK&$,N#^^gI͍]{mY3a3y?5S1M1ӾfC>!򎚑,CF+Ϯ0)PwTy:/,¡iwbj BA8d U#@Nn!H,d";Rj+:nY;^lviHhh[a]9@ =M̒qQ(z[Fl|8{Pz~0{T'j ;]T*4h~]HUAY=ҖeBj3E ]rb5הɖCƊ_lpms^jFk1O!$H ϓ3*.AbEU4jّI}^$t< :kS4WEx MȞHF#-PZ; 'yh,et]2Sі=*Nz1Szj%sAߢ<0Τ{ lc\2Cx<= IMHJ>a^ohAؚM켾: YG)ļ2HO*ڙ SCUe?ˀn~t16O _Yͱed]$g"D:zɼ@#Sb 8bli|İ!Ld /+&⎷BWSbJb&/e 1s#BvhⅠ Lp.q_R8jWfimʺj\i Y4GJ礒CCt}n75ȿ 9̠))f"T_ rXX&;vwc^}jf1yaFjK Wq{k~#̟NbonT"QON{$Dv`BQ/ZbL;'sa(a~4,(xl:~_I0\ޙ1zӠeaL |BO~Yd.ŗC"iPIʐT{ F](K 'tiFKATy%kjX#wöimYzA<0@X=֠8b k9R]rebDJ3DL~q,p)d/-8GJ:_'QbȈqٟ(8U [٠A̘7ÆQdd]Qeи*6>B^~kTd'݁7teM#C4cUiHz4Yws$Zʪ4ٹ~OV,Ijb4fpTqXu"NhvLá8,y4yK ^uҸޭoNU%TO@bN[V4e+ך-D!lEXћ%VBg 3V QБIύhާD?w{0τCW#,aw[ RGFќoyE۩fq1Xqv@Ns/YUFhs7'6e)E .5OBqɵCqf< V:\/+k2Y@~P_N՗6L@Mʓgro5-VNkGK~7G` 9φז=l Za Hl* Y2(t[^u*OHt"2$|.Ҝ/FNZ/2bJgx: 'Uڱyv1C`v_ʞ# 3=O-qCR(noHjX /myw5^ԍ!i1}BVgIto XS%0\db^.Rmu|QD0Z)ZF_ϭ8D+.6߻th4rF8|t@Y^SU)* 9V,ͯƚC&r@rdm~AG>`g$b=(vVg`jNllpofq`JE*൜c ߀jkYBj Y8Ln𠵲 \I_@$6if- cTEY }Z&=gwLE{Rxwf8}p]#(I&bx}^D_<QΰʺM`ۅU/! %{ncT I<HͼF#Q]Ԩ˪.Ed QC`eDo\(綊fUo!;|`B8+iU+_pDoUcd+ߕ4,qdI럳=VK1 C YRS!Ab&<˚020H,D{281,6~^K.-P^+;7o)ܭݻJq̚ZiS R(n*A2 r53z&d&w?ۏoOӜ= F%D S ,QBLuA+w9]$ 6I@~EkWUCGBΧhC5-A%t4]!ZO<X:/XǼ 1|/9Qp݆]0JJBXNW93B;zR(<V_ssM^bw7h`(/Cr68au!jtFx%rbb$дaTwN]a(z-ח`7o9z{m빻w'=Ru8Kf InB[@h_D*']/Fڃ{Evq=5j"Ы*6yfC֒~?k [~[ v)[hERR5M Jm"Bф6N"EVѶXLN *.i|K/#찮g![6@ߘXH"k<80-!08+L䗌Qh,}1^-39I61ᩫ{5R C>S ҧH>rRߑG79d@ay0ݟ厺T1fBIE *S T4'ddZ7oSOSƆNn=`f1ϲK]8㗲Œ=WW|^lsx2NxK&B }o&Rlj%F+0Aw joJNB`v]ۢ{HH1|OyIpsusYU{} 3` >iy?yҲU;Rf025W #էM!R%/rhD œHOZ&|8zSc؏vQKTDl![U^h[މ Dl {[71hKB1'[)K 4]_;xoDO\:?E ϓUB " i6/>Vyɢ f[մdCszt†%ĥ_+ޱ#v$Ale#K=`t=d003Ʈ#D0x.ma6_w2ta>,GO1$["&^e j 5ڊlj3|1B@B˒)yYtjEgTPzю}aͺND5z!DFR|}{?W95YKR1ZãM]\n>cߕYWA]ۂ;I&͞)xOwx\? k`׌e[Y~ UѬ| u,X=}V7ayʦU=#KӨM4vZDqywwcԺRڗrW."q/bfPҁ/ D4>5]A]8k'! .3 |#h“,;tuGZy\v@3c>3[1'N=y".X fW/0{/Z* j[O,yxL 7l.>_^r·?)xѻ:k4rd̈́ SƋ-~IsʣP2:h7&0xOx=NG^(Qd.|RIP8s.xPDqD-=Ĕ߸\1`7a jD2"V/R\ g6IgJ Ε0#kk(kL=Dg;1 B р;~$x|7U9F ,>OU {žpt3Ms xOY]uPWa[k.I|p+ :p@EFAǟl+ k׻>\Y741%ŭ8Em^f*74u"Bw#o󼋲X$zfK%Nvw~J|%ڟ&Rrj{م<О[64L`*x+N ;'6_(re68gLPKE8HV\+M}FK0LAMX!'y%xAqT_XZ+'85i9]Z*/5%=)r&uY ?fG5Iܪa=6[Ik ^.tQj PE3<PpMX2aW}U,G2\-@XMBx$ paOM-&TwȰs;}E[/eӗhXUDL#ťod.M0~N_M[ 6t(`nh79i_<NlA?ZƛQL@'T9M=\ TzQ4_{C)(*i=SoƅD$YmSBhPxU+/o+ h;r '+,`۠`ZPT=ƞDA=l}6X]gdz]XhEKrr+\#E(}AO SFNg4ں|^FPPnu_ڗVN/%2e%-2ٚ_Kfo2hs)8S~2m ҉ yeW/[aRC kN64I`.aMÏK,hzDS 02lYq\ 3,Q)yK/Kz {|bub~C]…tKB6\#FJJliP09ЃJ[cPc{a vXGaLغİ*edX>:7XZΆӻ9LqG_vY蜘znx`^Y}Gm٨ ~i"/tv2XbWdR0?:xb̒GK4l[o)#zR΃1jU;+[U܋Eg'{]6.)uZww Pw|d6W_UaH;#ZsoPbшP9~tQxՖ9"M/IFڿ1pV(ձ2|(:є~P`~AVO^fU|38 vUm,p* -aX(Sw})Dtw,qN]|:ۍr}HNh\R*o)9)(I9P;i!IdzFx~ `# *-:ihgSulW~esW#ߝla7ʒF&#cҬݿŔ'g9Z{]wpI dm^UZPDj%V_41{f,ř O,7[} y 9BT_{ǪZSyt|NO|vpbc&^@?5PUWk+Z7s`rSj!j$kxAOgZMV]2B=®AVgFfL$EPb܃O P>M|o$Llr*4<6`{?DL3S$h'BiL}J C|FrWL I^ӕgG{@8jpf_r- J'KfXǫ@}4oLyµ w%I󡶇Aϖ`;:٤m_H:="Jy3bO!X[ n{Wm&[<3DOHdufoE ުD> ȱjZ*MJ `O"gtli=h)?H*8Gb.7C>qa*DiT߀zH&,Ə:`%u:\ GqCV:E#ȖrGC6RĒ4 rhJx 9 #oTOd4q5DH(o+3-JmSV;=y//HejoXI$Ik+\R(D{N 1ÝqAXCo{Y!ёȨ>41Y8fRоBgRx^rL;K/fbNUғU4,21݈uE)\L?Xu@WwN(9g?c^-%!vt. )a揣K+# wcu+㩈pjOuL`w֨'q% IU;k?|L̩݈Qu*@ OA+VL(̛T^۩@,uГ Zu\G=SJX>rF4{,U(Տ%Ԉ!I QJ7Ճ"z4FA0t&(*oAH(ŕGs~Jݡ0 ;E[V&nuD1h41C 3&Z*qh012/#'EDfCh.{ŦWLԦDF,ͳƱlC|_\}∥g$g$!`RX<O kck~ƻ3_}|t.\>j!+ׯ42ljW`jWƳ$WGA0&$E0ۂwH78Be iXyѢtdA ܠ.Y6΂vC5Hl*q"`R7I+x6ZGF-췣%ix-BkMC3J{[Cg%Jخ M$I{0 *lXU9. `Qh?IOAa25I9dZTutKɬNU)?xxYMKe{=;VYW>LzU{C[P$߬]l;uS hَʁ[ Ӿ2W뤦9Q_V4Sgc6wPPјT01d-l]dh3#X%B5]*<>RRBʊOj_wB^ KtVYE5>u~:bɧd8 ʛ k"|:CR2^9[`l< \ {=L\mټ u i$A @ ^rZ*0w=[ 5e;+zʚĶ&iF5D-ϊAQffunJmMlD9xsRpϗciHwIUvez{-•p|Z"_FlDCI0 ~uN1 *Y3 ~L.?N/+QU ^~MUP}4:S1ߴ 94p_NHk0Ж|8I%_x.:XX7@( MTkQ0lra+o&_ؐ P0s_@j%Mt*샖>?.-W(D<gE &돱`9Aݣڊbx'(3qƹù'眘'l*=-%I?:P8wxHseW-@<kJ{CI\re J*IYq3B_ ;W6! B>E$Fk>גddRr&R9*qHH;agZoJ(o1hL<qZ6r9I 5H6U$^cg;H6 > _ PR}CO8GΫ,U1"EVj74`Q'=)^h!'ߨNU6suLr{FEs?74cyݙ PVqh"O5Ie"ӑh }LWZ¶4\-=A95:䮹G75˗7X%6POT3ROn-Z# w}ƓDA/*zFVƣsr0pgg.7.s"p9bMxz+-g'!ht^e~04PO@[ڃx$uD^CՒ@#cL;㗳}ASk`9™ 5`Tӹ&qKvpB:Y0cQ*>#zf"a)b@)ZϱFtSyBzn+?bO!"̹.í߭ۏu?rS.cZ_s-Jy ܬ*zv@vu>Z.яQ'5CDn0JCi' ziʼnïxpE3Y͒ؕ|n?c owgrZ1 Jܖ;mQ; Bt.2ٗo b8y/zUWHў <<{fYA·%c.⃕&alj 5Fyji6F.,}f}0 ouZyI߾,(i}ѣU\_B0Ii\˴f`}cWb9c:ێɘ ~7GBmfӧ:afy"?}wۨC%6ϳ󌒝)N̓ bc ]6|H^*"D  I* 88|m AIjAn+Rm؟%AP&ziIcBdk`ĤȾmyENw4[zLcSS[CvAås~ >'Vg$eݘ۲vJ@7ubҿ?;V% PZd4ě]UXj3&Mݕq$31Ybmq=oy(.iBKL6}2n/mA.ucIe,s9M!mElquEk*ԕC NF[Vk:2Ӥ $`OºP##S ,HE8F/K_}-#(">}X>dO!HDq{ҧLՔp>A3&N%Kmk bY.>=FjC04 v6n+ ) sL!│)_1"n!VAaE !t36u\1@y%voj2F$M=#6F/5fÅgr)p{4G!:6em($'iس/4*I굱YRG!/xm$/KolIAyߗwq̜zLp\x<;{ô.NoohK?trh#t 25| lB[I+cIvv(&6 fd.{ȼ+{a͈'ZZm2Mp~W dOˊB]pLv؅W1%4 ep]6yG"=2[kP;N=1 US75rla*7qqZ|;"瀁o.w'w+^  dQxH)4 ?U*,q5l41߂+6+Io(h+^LAMŋǸP[ =I9NƧ̈́]9BFҲ>:=MՀDIGdE]lL@JR#|EA`n}E_5^(f9yhq.KaO spQt;3Xzێ F=OcX9̲o^Bt)uiʶؼ*mRTZsC"N8ZS,YhG5(.2oa# ptUmTӪ m+'7Zfa0BL~8k!\3˞PZ??K#= ._OB>ҕuQ͢-8]S!dET>Ely9$fx8mCyE@9 [8kJt4`N% o_yΉ1MbtyUvu86.VCKפ"9VN/*TU$0%̓o,X ~`GAex)OF,A?w6햐YWƋ7ϐW~BܮMCxWɦK%&J{1uٷ{ Ў-E@2~n[ڈ %IiKWİ7`vǺ'ȮG2?xydd,Fp%|5TFuR3f.S B4F#\ l mk摒sj3٫?WDƢeF`Y-1ԟB/zO[ӍM\V(2r3붍qW<>^> V}y#J}%KH8jw uzѼȚGEͽ5 NɎ| \ncU e5^iwxHp#6/.6=&@h i;2|t\@zu>yuᙱ!w1)c-C]S.,Tcxm֗ĤPH71ņZ>"2TՋF6zm1L 51 xZT[`{| ND)c_7XXefB- 82oUZa EʠA(gRm/Ϗ@E5&&/NvФu%-{w 6c}3xeR4y1 C3ԛk;%ͦ4UK} g.,^!&k@kgH:]t,2n;'f=A5.Gh[:ۃ|E~r7`-\0D4}r(x=C1?9}.K63j,ofb^x5ԐL˲CB]z Z~Jg141VF]V?@kKC,ɧ>-$8qx^, njv Ʒ6^i9~:P?_U֢~< ް3a*c 6<58MŦ%\v;ij &u'Lq ˁS%: >BbJjLcoQ/vei#t%`˓̼?,½Ȃ_MPy$т G!O.2{]֨ s,i>MWPcB<Ɲ|iKK|. }+8[P{'fN$dУcS35?]cʈVQw;Q&[i髒͈%i9c& \L- gcz"[9&1)G5&mzK%^DWy?ы1_qt!3LUf|?dizyK6%]NKC\ֺTl$o^GFZf|'S # 1`~ۃZӽB/TTz̿P7[eM=uD*E[j6 @6_ﵑw>4{aO,v,X =H<{c33(rBS膧ӓG!Yks}j(Yto-R0GqKwsqٺon'c8~w]Vqg$@1?mGPK 0peVBw3-S y?CiK)ql2o`jU/Cӭ 6RFbE vlbZdFHgϣ#ףl*b5lfwX+E\S E2_G֪pdPCp.Ī7sQ>E1z,JɘQq9 _#}>R: 3JEcB-"&@v 3޻YQi\/Qx @Bpw!&t|;~X_1x:ՊHɎt7 :&q PO>.~4c]rP i* OK0mֲ6 u(\LV1[a᧝+Vm}yTx5R@S: kJN_ЍX|s{Lb)˖nDVh8)@޴\BJǡUOȭ7Yֿf9~I+wM{UbFeo B5A<8?"M`|^VpKzu9kt{D,j,NmxFF/_Q-+eZb,TF9؍ P2iaX_uXoaSDJ~ "byttM{Ϳ#a8σ忼tԉ[l/aބRҮ'";I | ?~R }5t,Q[nyhS̕u :9U_2gHj~2Dy{&}T; q(?bex5og7-lJl/J8`;($?~#-Vp Gbu$H0^_Eԑ+FԌz^:JcTEm-c psG-n, g5憻!ywt`ݹ{$J}#\vfEw3((Hvhnvp%<^PvaEב`a{xg$4,)6-m MiN¹C&Xjcٖ6 'cEKS˺T(G75 9(O|X:y=rtU2q>x#d^2dzrH;"aSlkYߒE1l!}@BϬ+ ,J%gwT9G :fS,uF(‚nk/FI繘x9G;g:V'&ͯ7̈́@I_[@휻>4K7G{~ #l\hN@Ic0!.;μzޜ1KL}8xVBʔ!'$^do[[6'6Ǣv: &jֿMӑ+ڽl"F)\Aݜ@{ .* wIbYTb/#+k^ͪ!TU5 ~~&r^0A#~\17B$*n}7pڊmWVIBKCc. s"58׾&LynŔƚ`M7)#7@1Tˍӳah{BsfQB&1Zzᯉ$665Hu0O|& Ss+=G]r`r0 z]<!ȅa &ApA,;r!/zC c&+v?@@>Rq#v'ϮJ^765V7}ŒdE} ֔6nivR {}{hֳ z .^"?=%3UBW^6$/ԈAr]lQG-aQ5,G˵©r4FouP^(L.pTՃAΉ־-3sz,C޹-5vފ/ F]_fHhZ$tUMbKѾPmj*pv甯nRnK{ }R5f1uWҌX؃zam#0g :Үa!:1RT+(ah`/fnrt7u+/,t'5PUF̌AڔmR`O{Wh8em70.>? !*U.z#vCC,ߵ}H4ķgj湣J ˾G_*6jr̻~ -t6ZvhXǵgc3-|L#Y]2} )pͳ\KdOUȠq! W25@VjCRDrAF F>:}J1hHN-\a~#!ס%rUVoaLV'EӃ@+ə\5mW3fyxÚMS6)dQW g.&;r`J`h*2tDu+uӣ"V܆PQkx^V^7@鎐ZItvPdbej,Sޒ"^b.!rjpFfix_Bz"sCX c|pMs _ ].Фxk xxon q#? ~YiL`0-T]2?o_<'=d6Lj4"z oa?n& pa TЇr[Aՙ^5F"n*tx lg } !Kޯ&h m+j>YT:? ]sr}G3_{pp hPΫr_Ca/j{"ýQ0ރ1W@ɛHu⵰??b xwMsԀ~֭.hc]i,T!rďӴp#W-iO.]C{ 5PLRnWqP37T< fj9"J76n= 2s|i7- mRQ+CG%$< ĩ:>JG X3gd}Db F}#ﲊMo/&9nڶmWiG idn6qe/ mU (ƃr-ljc}=LhQ0|!{\jnl箧r={WjFƂ =-KK fY,ʟD:tԘL59ƀp`$q+l >ЉR@_%WPK@ gT Ɍw*u&q<uƼcIoh=rc+& @S\ִXsa@ج:&I:߫㌅':5X E"?"R[V,w4}:!nvG)݉]qN6(ZH){ԋXq pL&rTc=▊I:W -7u${kݹHBO>a\ߛ@sQLhowQ1?IJȩmCxJRϣ?UZlTq]$6`S5Լ8$de>hVn̶vkHB]4؀uA1$1MHWF8cR݊ ,_Sh_-wE'xV"3aq . Id9JO۫%t$ogSZ}Jז T+Or^R nx,mgz&u~ ymZ]7sB׳R.c݈ Hmzy3.OYȻ+Ա'W*zpλ$|m(H=э1ӭK6ΟVIJUŬC"5o|+󳯊n ,2-5T>[Q{(T{۟oSJiO$̓W=8y22kgW 0_}CEn -5߆Y4i6cc>T`ٸKu<o7kJ?hNU~ #Wg 7ć2˸ ;yc-UUff 2)JͤO)ȯbVmb籴AXĘv*+r5ɉ9=EɎ5s<7O>y nD q\WtK?P;J&ɠe:%}-Xz < ձ{R⑷cU`͞g$z3ͨ@i; )[ˆM6(̳#|FwH۰ f1K_mS V_l.*V'z1e`mU(k.βb˃O%k6Cy{ͶRhHTyVvk<%lyː`Ka~AcED\kH*oyaA`\(X:9bQPb+SGL"4B 8⟬Od^u%*1ߺ1Y=tnoTૻփC=?\2ݰzl~<_mʀbqh( HY<]yRJ#h3tڣ%ơg!4) '٦~IQvh)9 ovpsրVƂ 04e'PdY'k!sGi 6L;KGzSpI9 brt1!#@o`٬ c#%3Sc3]S{uTK#hV=vK192~Ÿw0d#sI%#)r%Yj#<2JZ).w֊{Adj גoD1Cϔ01_ϣ%,1*1JX9/ႴT=熲uPu6i-~Ch}#ڎee7ς/"eSx~pI}]bd%W%+5J\Q*&["-:@{agSIOf\\Y {XmE1^U[xlˁ(Y9z]0SRXrА)0 (EY߳ BݧW13ܽ~?#eIs4v{ /0("msybXk(ِ(G'I5H>I<"#,;p.UcxQCAv"x&z dB_=oaa7h )*`zJO˾5w;9e~gk 1'sbzSB:2P~CKAtFEYlϪ8ď>_T{Qn<,vH#Vf6[{=CܚP#夫l}!#ZDOE%{݌5h[e'gMJaT|zk ;0Q{ * -9brQOAP^FbK7||wBx*:[RrJ^Tch{4%5TlVMhR2%mʳv'TE/\{ƪ6 ȶsy;|SN"  u ;c7ݥC;K{u\Nh/.d爖7ne,3Z{VY#:*Dw} zV0ZW4!ԀJ'$kM%pĆɶzHyp% %١TB^VixL#ˉ[j+3o5}q vK-?Τ5ZMcVo*ߎL}e^x#>ME9+7m.(' ;LQ :/Ih42EĿދF6oIltYVZp`fSt#m4;e˼1^g_O6ZS<Nj,@O˃r5rHck^Б6*XxdJ(/x^U_? 'ghCݛ 0YupJ$%K$i?aqҀ@'7[RSLІ^[Ji(s߯ p$[ Xd& _TGi#siwF@q haúwX^8RKA xѪvFdy2f | yh?<#>CXE 삳f4* 5lhof]DQ&#<>.%Otl0Dfc&gRdZ:\OlRN[<[w;α@\!o,j:2EZ؆Ip Z[hIn:T5@̓[dumZX Ch;D.=adL$oÈkD_]VM#h4e* ڡLmnÝ?A8ޮ>c,%oў-]uc8hqKQD@ '"^c 9|r▍sJ"" 7`˲ow.b%ZɶԋFf,~+cLgN:%'{7sA'(wi'b̏ƥ;+!@k=6⨢F&Ԭ[CM1 +^NE Hdm/L,w5ȮWd(S9{θFϳ_.-b4(-mTQy+1^PԤ2I>Hߎ/~D ,RD}pZ_o.PuѕSb?{24y8=p(ЕI5͜Ex>^ה9)) ]h0r._jt5} #uQ]ѓZ6^4^B!"A~TNГyr=D)K\e ǡ$5 jJ^wyCERNx0Ll]+]l/vSCDS:cHsh Ձa.9^yuqj3!ܹpϗi|{URFOSff:pJY|L4UO*]x֠x4.=ڎPQdl,]O+74Jx&q.sziXe64I֒b;J07Mo'H'}$cwgLցY'4Ev!Xdr X|mnnvrFoxR&^֑-@thq=oَtZ) 2)vNIjUc}jh@̇nMߞj0cȠT:dzN_7Qi?|bcS,lx!7"]jU8 ȓ9&+ٙ z:^b!C}m8>Q{iOc1B{{Ii^Xmp)t7`hDFHڎK<Ɵb7a?&l{zw!K.s# - $-T}1Tɞ"f>p,hAmI8 ֳ6i!0x,&]\' >-!贝)*ҋQWcV.!λa9_GTma[ЋcD 뻆IRve:JRp'姕 j18>e*nFsgtE3,0AHp{q4Ë{`%Džj-<[jH˩7B]N&cW9߱Ni?մ@. :Q_WMHds CgZ%~9 x!L lFV +$Ԧ8%UTxkKVK矑e?mPI0Bœ?1&Fv5GRvC;=7 ӗ'KAMS $$6$"D|u1FO6=Of·!gJdRYs.J2 #f!i׮ # gmeH^ ^m.|HA`jbO|d^Yݡ餱wŠj)gf^3v;*fwA9v\%$nmԌNlRjl!EYXhXR`>pz L\2?3(Y>; j [}?~Q/+(ZX(*ܙn,B * Y^uto6E+"ɦ9iBd٩6"GC=_ʷQ^f !h&_ *'HKG7t'ȶO1 Ί<~} 1t0S= kg"S9@Ɍ(ç^9=IPkxa}Vi5T޽J7YH4̍APNP^p+~hߤeϧW2DT\D(é+v MЏ4@u!C_r M|[;뇜D񂈸\N>yparnzⱘY.uR1T<3W-~eC5,o˶(d># C ďԇg8%ןumx( qu Q.XΕR㵲-Է4Y:pxCOKnv!yFUTuDoRtKS 뗎642>9j)k`rZNnG !_M \M7*xO"})˺|9b'XP `.u3HGxhU(*ʂNZϒZ؆ ]ki=ROn"3ӂku. <({<͖%H/'eqTFVF#+D;4>LJ̈́q&;[f WEED*hJ(_/`q`#3}nfPT9w.׉s9S8!Ÿ,x?l<.Ncysa+[ $=w͵Z=VT6jᨶm DNU5Ã*GU~S^UE]_@S)ALC.:ɾSZ/f&&"`@#: sm}gy꺳a 8,} H?Y᲎m[;SH7#/hM>)5֜"Cwĺ5@%§a~M XO:}*"=T_[)vqCyf2! [A]Nt ;ŜKi* KL&|]|[324::[1DeFs¾ lMȁ\q]A_pf7rn~ED!趴I̱ D"br˵Z_~y99XW{u⩖}-CZFԡ6?G &{P)4ܫA2CXR !\̾1x\-U#Ds,c1ec@*q1ەtHcD/S$A O=ED,`~ &^ϭ* ZToڙ`#HH}Q oBhs=zu:PA1t>ғj;6KW~v,*1jtälL<na",LNؘ9D;Np wؕTpKZ+|7'UWZd,D))u(m_.oSƦ'57.@ؒ#-U3GmMfmklb!Fk|T߱< J`x)BrwA r>iLCOFZ|IUN8H',]"`)<6$Mh`?Ac~׿*EtK!PA➪BFU0JB@J7!xxE4G;?Om&p͡xh?Ǽ ֕6ўaX[}d18^|$@}w[8`XjaX&Ob11!&S1S!X9tlK*]˴-(c iA`m=6&pv+2:rbU~Lte8rh&1]CDxrbAC.D!-L"1uOۘ>t?`YvDKVٺM,ӓwvr^sBMɢm?=c 5o. TDwU x 2)>̥o@#U,Ŋ%'@z7W 2#2j-4*2X&)-mYujV#D&8SiIPH^:++g !9c_[3Z2zJXzT15p)37h .7R]ו>Wߚ׫ޔ3)La2wd~#0GN1j}@`{y0mbJHϭt/(wJX0m%UbXGt ^M>^ +y3%~޺4~ɚPemcЛ=ա_GF'ք⊓O"-j\tmѹe69®gSvCQ?e?Ĝ?7 F B|x+}\Lcɿ[nT ^,ϗX:sN~a݄|Q7.F޵8ɚ@"N`h?!'-)C&+)~?*8xU`3xk8<hEJ#njD L Ѱ:/ZҰW4r c߬G@\wASU."'W27WECȄ0 SO'0QKp^45$yHz1ޫJ'2RàRԔj2-YO ksmBisIYMQ& ӈG! j H?|p]Sy1f7>+X7d^y>B׳KMi)D=nP4-udzL7F:ie@NSd_'Hȣ ,N"%5OFfa6hK-9p!䭶"e!,O%}ؖ)+6_0&#G]CxYr!ۮ૫q+huyTqiG>z|Y',3ldF]L.fUNVqIy+i yfB wSf$p;_e!3oaIuT;jda +Aey-6w%E+ŇRYd Or> +-_MɒItN*N } ٳ^'~KCVL֎#v=9z R!k~!=< _O<^磏|HF~ K_0B*ˢ%?v~|e@;@B{v#NE,ptbSj*QYꋣ$wX{ķY6>1`*V,aVE_FpcCv&rscX8s+؀L2U!v.]`~B: CV} ۪jdŌ)ZFۄG<'xrL_VHiJ]dL%#ZLeH: aIZ,]e(8ĵ:v~2ŊW e.*w@DߢrT}K+sks> W\2O߂wcT YeAB-Vn40l<4_Vxo `~C^ҹ릖xi ?٬"rĴ2d b)'2YO3_I㥾Xb>o~+dתP8ܣ)I ֬'L 8ޘuo])NBA'K3?ϕ7A(^ͧ W 뷥VJKp0[ I3A/e=aK:8bu|^<XIr}4pEv f :e'LmUހո &}I3#Mx,:P``Kbz 6  %l0svd }N~v7̮Cxq<תcFx(nvjMjyqBJZ>7I ,+|j1 +QR~!;)6ي%+%BO<]1^N LU)u#!ў?< =aLz6ƵJ=DI-\bЄC1DƜVl͝+z3I1IUh6ىmU#B?˓;Ai}8}&F"Ѓ.6k73ް$ $  H:Rxc2r+'PG).Y"7ꄽjLFɀV'p,6rZa.m o˟Y[WZ==N1rK^ NU hQtc=t=ԯNU1hAw.)/FLE7NeWSykF[?3HСû; 4SŮϿBbp tVf\!ֺ,fy8ks}Q.v,q-#rn#W9/:>YHl]Zz5wpcqm?ҚNS@f0F؈bJ[An¿!M[i T=7:wpA=+s!rjPD)sE (Cu!!~TozAqO $A܌Koͳի֎Fޘ4;q*xo UhW]2eOn@Txb3RrnDJJ٠A!I>,8 5 @ޒdb¶Cu>ځ&͢Ϫt"4f`,߰M6wC40ôr1y>=[OTԴguS9}R}d.LYQ 8$eEо<4S;:$y.[ İb~|Z&nNkKqnz9̈OdF|% zUd뤠OB^״4"FG{ʂubN^g\zP4zL6=zcZyw~IFwI b]&򊺻Ճ Շbˎ3ٯ_q/r[lu,O= ~ ݚ%0#J4L'JPW:.1 Ǵ+W\L7'<dyL^Q \  {i(Z{^DpTIPy>ҤucAzdb!|foat18k<kj\.&WAYV $z$P"H3">v#h&Ag>\5pV#O[UI7ujO2H(@lGb e)kxxC5+ )41uD-=νaB..+{X7).U$KuMf)?0MT8f[|nm"&&P]@fʊdpp? >tgj>2El:9v;(EZBDV<'S3q6G,`gU Od(qy 68p8 ]*eܦ+Kq־!aq?i~_ X_' iV躝.|i%v(1zj "4MW% j٣s_ѻH(%SyX|FS serfH!QRHXko͇8`AF8ثQvƭG'YF "桥R1R$O8l;g֣l$>1(_ݺ,⪽fZl~BCqy)ƻ9'D׺~3a*aÏK1/7Ow`L4+]d a,{|_r;WEԾP)giS[?#q:G*R~6ŝSNO_: Ə7Ul#gWy]O `5x{I:~]%6vcePHՏ$5E̿s[DsPe=tIˆ9=J"+LR7J<>o!^ʲ+TOM$Q8%Kk$ZhZ ) H5$؉iT߈C^̯?88AFwќr8V=0?,v*.Um|)2#މ\<|K|[P&tBYu1bn4>`G&}R^~Yj/dЗALk'tIzw\tޒk 5[B?:䚪7DfR ~sE!(- iEiȐgb>!c pԮ&=K/1ܵjij1+jiaq{9?c3pMUTᰪ&ε +rٟ=Y*.ZY4'@>5Bݘ;_8k*w.wtH6 M+Jvi?K& T=wlM BCrw=9b2^1o=6h!ϸNglkzvdsA87r 9o<[3VocP0]lhr8d>=r}@V2vKk`qiXfs#2 7dCoҳTr]=iRdTK[XJFZ Isq&mPKFa8NZ&7[ݕMH(!FkK@:c-@۠3𢪄}&&u9>l)Ẇق t=Y.$ cA*º o` AɈe#8) 62 H $fw0^rmMh5x'&$eZgYZ7zXZִF! ]ŗXiɟ˕BFSڵ+ԛPViXE" 5a-zK+G71`@͋8/t=P7*"NtA\RUWA .!%BsC/ti3U I`[! vLУ݀Qe슆b쵬]jI뵳n6y]V.{i? rcHpZΰGST(҆LTBZH MfUyV$Jiܣt7Y.(l{wL9ڽ/JUxz:/=wOVa'ǧj p~ >YjIϖ6PÃ[]-Dqi1]oMA Ku)),wD[N#I*&WUHLӋ~A.meE'#P<ChhM,\΋G.r=ηiIFxsZvAӺkðj`=&_<3 F,1I^ft_^I("(gsV֭(-(Ck?b7}$a3&gshg9RSi\I =/wvG'Dr6K-BFjsY54*ȏ{ spOZ{|x&G}v9)Y[XǛEd3އ`\#h=Yw-?f?B}}B`֍BAW_-|f *sae0A$ZcIVh]ʜI@fth(⃹Uz;5 p= .TrO$pn40H¦]Sb>}Yi޺5'nG '3)9 B͸Y a.X [weS!![g[`!['t‡],pJ C5 b6ˆ 蜈da-ZkkvD- flf =-Djo5#LQVjbi h q/9+18 ^b% AaQ2|5 MBhmrvzJrϝnjY곓'ꅔ(yGֳOBL Pp @bRUwKkZ½1io.rILKSC4&Iëi,CNtDU4!1k`" eTrvb0Vݝ;;~\ 16FӉ&f' \ӫkz,L{NȊ> ;Y\Qǰ,ܑI_&=#]+|cqui͖찤#6 E"wE_!`/k6֬cu  Qm;4eAۋ!wTKn$YU5h<6$qdDP t'Ȁ{qr>]|kXn;@qH<( `4Ps*ޜL<) ¥Aڤ͋_CUhȚU ۡvx̖߉QwTAy:5JK$>hݣ*MOk $v1)?+[; =ٚMJmYYV|Fe%f9n1mu`ߐܡ&=>Xa]k&2#{=Bi7ݴ z|aA(tYFpZx.-bGn8&0@ckQ]`^P:/e̥CT 蘉ї_$H4&\6P7Jx)\yv_<<+@yא12N%H[I./6nrȳPAC$Z)k/Ҋw<ܥ_LN|p|fD͜'zL7T5@@AiQ朼:9b*)@]1@~NP+m]'fmK >"7a(BXu=,)6갨xbcPݬmpe-W?tfE<hQ!@GtT;+V}vbW4V8 1:$yemOGՏ>A[B'sЋ9EƂ >g 9;ڨ+IBfyT'W}lsWFYT29kO:[D l2﷠Ƈ9m"{o'hfj1-o6>>y> bѦ<>5}CXR1CN_FIV~3SG/EHsZ)w@OuDp5:# xY#?w#C<'}][0|EyK1θ |G=v[4I >,fc5֌j:a&tuuY; 60:OQ ɦ LzaAs4[ "{ }eSvYI_=60}iKӃO'L<`󑆑`:0Gm Ѽ#mKCq9̯닅YGEsL?mꢓ`(\Hte+>|*Ieu=W} 2/YAʷw NW}~*!&p0m*`U./AZSgSkpxB8Xb@e7N$Njxk}o9|u^A<(Чd~t[Wgl.qD*]E~9nxn1ηdҐ;^vrWuP"68kt.;掝aBliNTiTgy)?Fֺ9Mm7_B Qmiвru`DD)nȼ;gY~ TA+"6-B#\'k=l_=jფY/3m;<#ۀi.tLwYɬ lETCA2*1E9#KEaH"6vձs]31(x=*Y&}vo}0(;+9[ ī! UeC_P%d%AiB:Ā,S#=B ;CZ=zzR,yZePǿkkC +†vE EΓ0m bY0p;6-pb2 ' o]١9ڛJ@i s {* PvhZGQp2*CnC3fW/l$m' { NMkkU.H䋛 ]Ԅ-C+" Qb2CϝiM5QG *}Έ,~eMjIM4 sz37/,8kv}`yaf԰hTuy %j^@~iSE3orYg e=~xqe9syǓf^y̭]TάՏ'[Pqho*n]y@B˿/r8h9_c+)j?/Kk r۴PyIr`TAٿm N;>>ؓdP ux_` iAr.lRMi<֊@;;UTI㫈tW:uNo_Bz-'&v"̣ows|QBI:w-TufX&~+*^`u( A1Aev¶|[{^9ޔ׻]ϵ-J#=NܩUP%r-h`ƊkzyDFaE)>tTq=,,GFrNda@IP 9h$XO5*=c.QNI~3w<2<~HKy3CֹI(jR6HW\3 6E,DH7Iu_6ZB.t'%Cm**nˈW# i~#(5 Gɫǣmi }<*7PqvIom^Ɠ#"՟dLptV%{6[đ SVKhDttxzGKW`قkw4 vR+ȡ2,,*8n)b!+V 7k!exN8(4:-/CTA+ ,l>NFcj+]NM}WBHHj߹w!/7MR4Э7V`VHd.ԉ(Z=#P.~fq\W|eP0!/>X u %% d! ѥmxQ=UgʽDؚDmecliBOSѫ]IۄlTnwp&i5n iك1%+Z`\۽5H2J=#M*ōxo J&ʒc+q {"= Ȼ+AkS-jk|k\k5L7J%U-%NF)/KLp9|#A8엊<2,78{K03Np-a6e-Uq %w'~^ߠHc M^0bMBI;~tnX n s y@%O?,|y_`Qt@شS&ï.$ fA <Ėx$}=.& U@K)YB# y(l\X=(Ҭ?WUMtq:Z"&,c7lVh_#p#?"g%UnqB<Lg-T[e =V;Mk{L9[ 3TJ#. nUtcﲼ 9wj2 N)p+à$OE^V0\e|Mm Sjdf7=͞KўQj&҃M%pJjA0 jqIkJ4!tt,^APҾV U0k(ϥ!*ud`AYA1q~p-21Z)4@Pɒ4h>9Y88g;I/"Z9A(^OFk:SsѶEgY /i 9϶^dd"VzI N獴MhL@EXګ(f\1@6]bVF. ,o_J>ݮ\14ugZP݁BƠGL|!"r s0yq D?&Cx )t}U]}NP)2ȱӂ$ś[={X1;s-R"-r"oUE[k_E)} VO)Fc zG^=͸{`?T$\|3֒Y59y@{vufDR s|v[fh G n%58DEz,MtyXK:[9 =lk}DAޞ#D?r*x% rQT\ᄝ>ɒj^#G]1YPYEs>stu '*mz_@=dEچYnl1ͅȜ~3?y5٘؞&#ǜ3<".clJc9fEّkev>YZӈ/":Fg.O oW~NХL4IWwjw.}h0vo|z\1JCꝹ Obn)$\Z36NN@sN1q׮ypjyRn;0Nɻa6@j[Tfn7e0#9j/kw|H{bu]*z |DA]y_U[eM C3GNre}Ωrw[emHz8XҽD2ed=J< AĆ ixY5}D+w؏PP!Հ`#[,v}VI$A 2z:;ن+?BmQ*ח {˂A,Ʈo,m(!@]k'{i3^soMVcq&,Fx ?}GA ț9S#pJGB%24JmtvS_ghO6L.6b_lo3JX0=hW0Dh3_m[dL*C&Oܟg6V¹)j{+I;T3Ճ[kzoպ\F0+>u^Ljl3w$' \sA q9Z XZhM7uEt;gAl͜BOnhP.&zD)礣zZJꦔQB% Io8Y27iۀHXvS|%PcgԿݡ f7TKg81 F}Cvvh8[{hebue%}[Z*+|nQj  ^-8ڋ8(>KQcv8jȣtZ5m`#2i%٤G{}שr͇qX@!V;6| c |s4&~n*EB{]}'rgwҳL`'Z=pyF`⭎C7ê:[CHb#&iD+izk}>̎{R x3qbB5JRITu>;Cf %_'_8^ lG  ;4]PWӔQԯE_I p8GiܨlŅ(˕Kt;S*}>U{RABCuX]`|`Wr'ڧؤ:U#`FskMZx7=FR@,MTGhF"0q107"s(W Iv6󲥬̥ީwlߛþtn0su+ûr\OR/];:|wZBE{=AJ.8L&ʰfJ:FWNwj&D+h}V "ḞYJQ(M2 LF=m`?̨ N7Wt>j|JTp_yE!7e,|%^BA }<`UdCd3/ڲqN^ 6Tͺg+edGjSfaQg0p4-I4,9SI v*^Q ycS ~`w=3l1u+A<$u9Ncr0o ![M[U|@fE,OB;g:͕x]ux|ui5^1H4y^;U)O#f26'//B :0ed5ӵ󘿸OE㧼t5M)`X%m+܍A(mw8yOQ:;!^ȗ뱍րJ$$MNÎiǗ?C,fgATⵥXQCqP4u#OH:֤>G;T&2d`}ՈR)!>IsbO+omF%4AQh/4{NO`$!ܙJ=ΈF 4AR nw j`8JGZN Uzy] õ @5|{_!vꔃG C&N5IĿ(,)8@i!T~&`#|-1i>w+IP>ICmiE_G<%b0ٱ 3CHP{(W@0D[}ĝ_1Vj,?¤< <ݞ';l MYʅ z }N=M-\vĖ*_b"Q9"μgc*AQ6 i1Iy?#DԆJȷ_tr[Ɯ-rXgX/8Cm.pFB|(ene)7]0m객ahiկH O_τ"uF \M<ᣄt5 ݱPWᣣ`>^k63sR,В1CUХJ ZI$iP !󟋮ء j7 bb~{/,CnaF]6qsZ GV=nhRrraW#ns2z,-D;Xt ]'9DN]7eo[ׅ_}GqW؄j%} ވ _l=MQJT[j^S%n'6(VFي0)1Ai(/-*mCE:&ql zʣ0E"M.y $Vym> ,xEq#”$>'{TJNe,sR-F]ErO-]Ol[,gm4=|Vq9urz~#0,1/kTTғf=536[N86-9g]EP>W^Ѓ+$o8 @ݫo+*;ϐ>8KU'̳"BE*#}#ٞ,i|6 ;`%W 8Q$kͩ,ZǴ*XaD){b9n 0Y8[塋RC^6(a!t/%s}! Xln\!ns3Bvzv20.THnV!bU2$=܄^zoYM)(^~;U(@![LzrUx~Ʃ@9_FP\QFRNNj7#-jqw з.V M$r PC >-eѦLz߁a IY$U!]p=ЁGX "-n0ǯ[iƧi F #"_xu`ˋ/#FK.#gNeS8ꍩMr1lP(P90B%ߚҞF%nx݇\O $b3=-p!c0~#Nىf. k+L9!˫4`2F_Się*ŸхyH3*ft|<35%7՜;0?im8/V#L;'̧TJgAvUb}Uڋpo[=9{Έz[|Iu ˘R2\,Ka@pPȓ'4]nWI}+@/q"uH|D uڅi2ËW|MfjVr=:ߪ]=}n] 7U4cZ)^C'x!I!/sΛD!G` {o-I97ߑ[nw*HTƤƵ