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  =zTD\ ]I Promela:threads=4elapsed=173.733cpu=345.772gc=20.8007zXZִF! I]ŗXiɟ 9M7x (! #!'gEsjDžrh#KycqCL AhkoUriKx.R97P|l2,y L!?)xN>g.U6M6Sg QԤ^ћn&"x6 o݇>myO\=QG)fO﹇{+}y)&\qS! +_.v a\v!#}#tJBxf9n2fl&nG]ځb3lF$]S1Md8~?cG:]Vơ6nvZ<\<ȋTZmtkm5#SŘc9;"kE"$זM ˤrÄ{9ls=`S2Vw@l#9ӭtE?E$    Promela= 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 $?% lPromelaPromela.PromelaInvariantsdocument.tex7zXZִF! hs]A-MՋhvG"uIBm5Lju4\Lྸ0$לk>zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEa   k?(+%PromelaPromela.Promeladocument.tex/9%PromelaPromela.PromelaLTLConvdocument.tex %PromelaLTL.LTLdocument.tex+1%PromelaPromela.PromelaLTLdocument.tex+1%PromelaPromela.PromelaASTdocument.tex+1%PromelaHOL-Library.IArraydocument.tex6G%PromelaPromela.PromelaDatastructuresdocument.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)ٜ}?xUbgYZ 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%gYZMr1Š3U.bÎN1͌.ڦ\9( Q&~%m+(6*<@ Kv8t.M./L C W=aS];BviRW2: z_<7h`q(5%49̴c 2(QC5Vܻ 4%6:6*'wi(A &Њ@bZ sRHΕ naZt-:lڕa`8m6,{GݨH5,8!nw>62bc$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ץ u 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 $?% lPromelaPromela.PromelaInvariantsdocument.tex7zXZִF! hs]A-MՋhvG"uIBm5Lju4\Lྸ0$לk>zf #w(D v\e!*6/!!-G:"شk{gc a0΁JA_{&:uy֕6Y$~InѡƜߌT7sֱ[5ևhKb%k[JX=B D:OgcEasrG_*0|Sn i1% PromelaPromela.PromelaASTdocument.tex7zXZִF! G]A-MՋhvG"uIBm5L?1<ymy} xǙxx9LxN5o5yuJĦp!7;cᦟZ%&9S%f94hS)HW?rcf@J:btWK~㧴5<בx?xF˲nꍆC ^~Im^[c&fm a:vŏj)%:~k(>u%)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Ӛwgz H1Er 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=)!^-a7:[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>^ 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  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,{bQY#^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\tO`LE'΃C1RumwC2?3F'g.:|ŚW>s Ҥ@Y[n:R=YeL>^>2Y {e%?J-dR! ꗭHslbJ,q]Rg1/mLh*/gJ*78㦗C_#w>nu헥WS jʁ";_ TT[jAmZ#<8DC ظjUjfBww]$z7# mpcHۧ[ 6Lmjՙzf> v <4B0`5x+a!V \E:>*,J1ыʚ#ӭ|ߏҮ'F5ifi!5ڿ! AZ'Is)GuIĴFHeK"2/MbS%jnޢszgN0{== X_Lq+t=#CuE y(\ƃNa .Jܢw] Ġɉ;̢y:3=mۼd0㈅Z\Pʭ)Ή&U1;ٜ8.?ՆCbM!힉Uufב=l/(j/DZvD'v٧ XҒW?l:Fw r'X%fgUk꠮q = lYX+0נ/eV(<9ث vt)sL}%hyH'E8o_JVC3bhDzj;^s+nN#) 0W2N<[V4)uo<>s; 4d+A\;caA5xH!{:QsBGz'êl3+HY ,)+mgA eѮk`t2*hTLxPXm/61d=uHquu{>&rq RX2i6Ysۡv?JǶ4Zmy$:cW *Mg1t>&=NafPy,'8UVBu6BA`#`^uiE;@磽:n%>( x֪T~C*gYZ7zXZִF! ]ŗXiɟ˕BFSڵ+ԛPViXE" 5a-GԥۦWZI7RW2Y![#.-~)Wݕ'<]r|+`y\{h=My4!mF!K SslCV rojCʠդ >xzD?νCy%:jqs;-(s3ۢ2s}fyӜ(PqC!_ +LAqe[ZlNTKaGxӺgYZ7zXZִF! 6]ŗXi%BzMD0Wvw*L]Y+kg2BY=[Le2ʸ=kHNzw[ oQ#;N#JRo 5cIוzB *yYn..Ohs5@8m \[_=:͏>n4wV"Pi@񃣒FZ#+\&`)M埔)W~s 4_gA8?_.lդ OlvP q%6J M:avZV\ (VW-n? ۗߦ KJ#-iAdilL,ܷU?#XiF,JkWzy$ݽJ4R`Z໼>rz_H|H堒#ӳo^8<4Y>&PeQȔoXƔOxb%U<jiJ{&P{6b(: qcw{ץy-a,xl& Å,/h'{OלA'RL1wa FyJcAxk2Rl$ߍEyJ6t|@GN=LQ ?O̕o|,tLHz6@b[:\SX&II~|$wgp)2@ ԑd%<+_FC^}H,Nm~x5ޚ}n x~6pp&iÈ]#Nb0%ط2OޟSp ?M5 {ťu@?`@;1H6i b lԪ E {nj)w9v㇓'Qf-HyZyQC2©$m+pOpUUI 39APs'B E09Qd[ T`u醟e2"!_mNJG~4}ѱ0M{C/:1H{4xһ{}Z8[uޠ:5n=c[C)U Z+΁f[BRb#~TĢu6XKe|'e}[z嶸(`yBӾP׽87vG,g^J{^#]|6uq)r0#*qX.vj}j@k{EC OzRmzu"Aazp C9GDo֋S&עlxj杫<|P_qDqf.1?*7O=I0e\܏qJq qOi|gL\K$Xd쬟sg'[7t1Ox)P| !W] lWAmN!PAyzBqJG[|X"";IJy/.i:r{ͦMy l|vGUrEul)x9hk2:K>aІ5"ȒPt8^D~*9%3kQ Fwif/3:\̱tMzS&obYo*4 0F[\C ֱ!HuE,1Y#{)?~2t@fTw rl > I8Ǚd"J}~q8ɫ ua} ȼWPO"ujɹ< CCN3> J쀿P0scilG}׀mg+pN,Mi C@: >⊑[hU;D5ᙘmԍLNn7)d!!9^[Gn<!7m vUz<}7/ƮkD%` :lJ>HvJj#|{~:㗌J}5ٹ/_O|`J?uyd< dawmlFI8cӭgnw>v|~'yRy= 9X,PQXY.wO&W+MoD(,u}T4JU]%YbeNم{9s1E_iZu!d7>^GFҮxc>R>׬XeU83,:.B40[LX-fƞaHl7s7P:za[GQؐ6n$7:Tf}w#0 d`Ëoh$ΊNpJqոU0Wk1 FԠ!zFTBK5eeNk; .cljZ||Kx` dFӴ50ٖ[ ۣrDv#5 {M2nkȌN`W$9!)Bmfu w6BBq.92ɦ}g}@⯏ ,TBJ5|/$kwW⪉f >Fa6][-qrEG x^˰kQ˽)V ciZ57U/-Ց7:nKbܳh#嚾XoG?1@a _*/va7ÒCJaރoT}d2)^o6v@+4̑ˡd`fl+ʝ|T4~zUciPҭrWe}Í(10Sl]罥1n|s1tŨdBWY` XoS&rm:gxQp60진"V}]X4nw}tTl^\Bўv,CSaPn*XMEq `W5aks9L n~#6{G9!onRoFJ=)&LZ8HM;*`K\q9N|+ݥCЌCY ZYO*< |YI+YL;KuT* a NheJŶL4uSWv|JO&! 9pA2'yF10ٱ~휥~KȈΡ;9flL7e{UPvĹń}eDƔٵZ|Qmq$B޳z "IT&"`!-!ݦci1$ q_> ^_bW}Zf:8np0_|./WW-&qGwC5;]a$}p)dN2 WzK@hg囉3ۨGg;gf0zh`Ji#0'MbQk3wk;yG5qݺ gJ jGP@rh&uQI҆RV'<ݒ6ڱ+Fe ;l4Umu8ư>5ⰬcVblMDi U\{$Tc6pIfiLjD4]r?=x]9IND%3EP$U¿ˮxP} ouKFBPQ}W=c4-f@@ SjкQ0Nʳoh/Ԝ#7yM2ș|2WK5%Zy ' C/~}_D"UsNn?e/?Vfoȧ8}} ^PJ!XѯglwS83OJI3;u߮&M +|r*M 4GX񶢦BT@nDzWyj&xi'mM{=R3vyfղO 09ul>j1ۯŴgϝAR1KopA+| QS8ɡ4ig=CS]Hx.< M9VL@2w⎛ЭCrBeRIc*+ L2f0p'vKFfy6 E|R\l7>z9X M.WEy28=M0+%JmBŁMmF?af&|/0SF`Q/KEdrjҟ‡ŵ5C)S\Ӹߎ&vøNhBd3Gz<[֚nf|d=l^Xo}ƞ)8)a]QT309rVw+x` *P\v%a`i#NEj/(08e`+1p{4 ѣ1,Jn'5&};c`yV$صҘ$59?d/XQ9O@)u+N@!˽'X:1 pТ#7jSe+NhTG͇lv~Y*TY Ɯ_ /cK ꎀdp<]S|L l!)і%7"Q`O rEnC):qƖcAW[ g H1+yڅ)U鹌a}yQkS 4PxoFk@җ$ƌT; /9eQ}@ z_4u S@3,#2˖V|abM+BO'@8#LeiR.f~"*;E")} $)<̖̐)#ǣ`2(W-&M1QLv).5{No#ً#qFGM.ݛ ~R6ɞ;a}B;<_=UsUNxtq8q/uch;6}>(L/d8e!Jeé}2 w5N?mIiT{.|{E^wn[jWEg 9* :j ׎q=\QQA`K\ᤛ+DQU  >ܟNԍOȳlZxzh^XPlb+9\~:`du(CO ޞ)׉jjc{<<}} x!.S? ? ?m:oK2!94&S7@6}*M!UD#dmG&{nbRуY%YBCt˻Ҍm{qF ֊kAP8꾠t">3 Oi/ Yޠ O$dbWRHqpwg~尕lq8 r"s 3؟Ncо n>죤>Nj:3}NSftc;FTYoIw-d <͋B5C ,y54MA^_ʅۍϲ e0[(US^6CΔIS->>j\XŃw#!M!fXE w"%pa@"J;I5. 13sQڏXQ!Yt!!ο.z|Y4 =a(ֆ-fUVj&UEn S_)CIP}ilio$H 6[]5&u{b]VbӢF?-j1{|' R RD舳s{+uxQypY$9 YhHiUAtZJ/AWsZc芗 amOɾ;#3]YYө_P^>bHDsLD\nVS[\"T;py6,˳?Qc@ڕ&:xd!Fg0dPջ7aڝw7U{D^r*9xK|f9v\`/| wt{>t9I AzP^%%=l<3 {pKmno|zcv*i@)~I}Zn0?xz'm>85S>TC(IJi,9{Yz+!Ko(g@DkY;)g2k!{|y @g^U 'G2i8F4{Qh1j`L$bY"6ծbWaye>AwSDd CE+_.G>*auTeB64ذ_<CpyqsJ,^NP2߽ty@JGNN֜ǜ=&ՃO$)HkMWYTnԢ"5W]#Z&iM}.@knD$w@X<6:@)3p"̰z]TZn#,Jh&?uqsx!o쳏SEۙX#" GW=qٹ%ɿF=#234䥠oE5ByҮSI3YT1ϰָХƱfuI ikGBgs"#ϟ lIJ}&:)܏/CO1\07S6#~02ǰYt`sJרX_}D0?֮K˖Mh\D'şlEpexѳ<*9YAKRGLBUɦ D'Bqk.#$ {j^vOVFRPέg :ePG;8y:,-4A+Y&5G]o}f9|SbBG=W0B{(K^R:;k@$)*Uz&?ׄ Zo*S>I.  ,Iʉk`F(!dw Vm([ѴO-INgJ ǏA]dL[z\.+(b1Qoo`*;| F?XK'rP3f¼r+LLu)<،ZTlV! QWņA_3dԛ_-ƩmLڋZ[Pó|D\ |~)^~GVwz\,1z3>2ĩrX 'Q!ּMTV5NCMc@#yP7 P2ŀt,PCw{i^~oHe|q7x m՜#o66߹\Vo F0 Rp8 EGCHG-p 1C_>};1&ҭȏ ]{`jnzµޢ%)˟+m_6$s8xSS#9Tpmͮ3'5HۂE@O;N+v %F}G}'=$H(ZdEɀX `2şA-` EXEFfY_jK fw%VS%&eL` }TL_G\gSQzjϥ&vڮ ʉJ mJ> Kcg#_ZKصֈWga!?ӹrk TEp1_ҽ% ƴ[`մ5EJm_ӶKϞPmW`ϐ^ZױC|m,3(wҸ<=&tq*Uڐ9v^2{5p2b)&RGZ wOܽ&YBE,xX: {~NlBLY%˜cvh9ӦLi@RLzz`xMKB'3)3ON*9ɧ9 tS H:>W>>c{䜋U`iyߺpjI,ڽ uo^cIDZ!;Z1~oAAӡo0~@^LIF[^ 1&)?xQoKg_Uf3 [K05e+?Ot ntx%Qy2ԞiKt`76F}mAH"@t;حHP8)'Qm]Taz }Q[E`p@J4"CEG9`6lT~'}k"* bW74swd{*:s -jsAsE͖8\g\TSV;y~qCXX!%Sn B[ONVK`LI1#r^C>G~j-*ֈT6ٲ!Ѷ"^DZHLttXn@X ɰY)vS-d@n{M2+tdg;ʻ<oNScGn?98BR!CiG0'!9ߟ@\'Pľ _m aGVz|wF5oj髦fg>NdN> ٢$MLv[)T#9Ԃ{ái\ƚY0ceFfU&q0j<<>Urg[ۧ+V "̛#{` g / dMšR({zFx?wsjF]`g!Oʫ8ڱA7>a>RaTV=z0Ա}?LwC-V/<+d˗ X{R..;DqG@p+eX2aYd{= (.9A,:1'gԐC6SwdZSIf-d}w$'q1GUF Y~tɛ$4Y[U#9rnB)@E4v=!:YKqwN <  1(Ҝk?l:S0e*n~ri- 5w`2;͋L@h0Q.FkFd.Q73vJ4u[adRnmosM0A[ʋK\M( _5mK7MMtl[GďP 'oՓE*E\"ɯg!!͐*nE>+̹uah=[엏8sod.E9yZz56S!3ᯏ6zZ8`][]g}{d9n`V0R`$%8T BY\q~` dx{Jb?1AhfNK? 1 xs^!P*p]{MB&*Z7_o(jR]q5݄=@w&u9-GX@ϬP `kiTTWg& O  M)*r 9zh q 3DJ +z =+}֣S7ĠWf V{Y%:rZut05be0JIm=4/;Wb-g7ub Y ]`l 0C~!->IT?d|2'3; !ӡMv]W߭`PbtEZT;Ge"OdH ߘs7pp/Yf[HE4f3Lҹ|d8,Î0^zQޤ*;G6vz%zfo؟a[Y` 첲TKXF #z e`k  g}I#:<>Pȥ¼7*`|@m1:M#pIoo*NXI,Ɵgc@!%. q|H5Ӵ@gy5v-a-(s4#Cesچ;v8zJ>i[nY5ji!Rj AO\| s#1)ye}]~EL]: O@&^pgp-U j::U1; &>].Da.q*dqw?ThD1f-l"Po/:vQ*v=U/"R{|pN p? 2Klۢn^m?(̓{ OYƽ'?=A<p;j;GaNN@qݢ (9¼-P][@߅#Ka>p4sO`3S5esڪoFq 9M{*S4#tއ <794ưy '~(яƌKO,i)+!C/"*0y<[a>CR{=#utx*("Os\dF_x ybK[&ݏ?rBECۉɓK΂e+T@_'9쵦W! UAWIv} ǘ~Z$gkq">J'֪(+ yŏ/mԔVl0kZW\I/,W2l/+0o9+Cj`Ӕbʪˆ>Wh8d7|\7:1{S o-BRr}zoEI`P{b(0Eţ)&( 9uwu way֪cZHFN#Mg+0/ V;HQ%fx{r-'H!.stJzbɕlM?2"sRiQygǡ\P]d>Crsp3ԜֶŭEW:cO:gAР'lp~rϴI1l7&>@[MӃZ<̋I1w.@NӴF6F4;ˠ9A^v6S| &#K$ xk>w|#IKI\7K SKBI4er5<8g tAs`yCK3'كG@I^|B#2g_N e=K75ì;!@W. "L-qЍܕoU?L$n >qP\hGnR9WBMG-ʔh۶ؽ!@(z4/9"h3e{4|ւiB6㮧e[;QT`/ +EHtܱ{t&hEkCM̄0M-GTghO5#nl XAf׀+̜r߼DZ~ WhP^t F58]PPxOe7b Pb|*Uh4@5=<װzkM} S h%o\i k#ʻFx "5)\Ŗ^2p[3 62!PYILj(1[FvG! ϣ