PKZ= .| Memoir.tla]O0+B2wiH2$ j1ڂYTf}}-σY:1rI;q©ki0]P \+KԢc@!a@DeToFc lT;.1͈RXchtHۛ CiBjN0rOHh\Pdvq{/?G/9o:17vЦURhi(Q rhw^cQT.mS9'6ڷRZĚ(J6O*Ka\ځK ٛ#y'mtg.e5lmס%AB,$AB,% 0oI/j4rzԍt4+^=XEPKZ=rg _ MemoirCommon.tlaV]k@|ׯطXjiȃ]JBݴ'yTn(ݓt$Kv(Ʌ@͎fggE v~k/.T) < JLJ5A !f'( FCqʤ`R? S1ccN6Hʱ 딺5?epd&˼PB`6ņ'<f( 3TO>`_ O'*5ظK3G߾nU&n U4ܺ=C8KVeL¼4^4(ŖALhbR$ 31JkUThi|#:ˬ8F0O9eyXJ"HLJ+&Ԛm et1vY[50.X,XOa$ aۦ eÙ8[f)[ _eo_X~q}xs:?PKZ=+KVMemoirHLSpecification.tlaXmo8 _o]>,%HCb3.dA~$;KڭhM$E '%|B "P{)Hh4#`1l!f+V5VNBGT@âј/f2-іbxF5|Q2%d[6 m,^ zכu=Y.$Q6`t bv C6pkw'51ͺTr^ Ɵ*21=n&8'Bڽzq<\l85ǓACN?ܲd_./_kTxcfP=*i; 7%k^!QoȢL?}rgo[ٯ[olsۙqC*g<B+# r3 PR,g 3% B kd!FϙV X0@V΍+`vX:(Vmk{Z~$N%2PZ!@‚l>iE)ƣjq/$^8Pu"FܢF,PdDn]ecQba} ldlG=} .-n 5ts9#PY:U2ԥ]tU>B ::3WFZ6ܥq[Y'CwhJmwD['lŻ|0ȏ5hdܦrzlx\ƣ7bC{a;;ĄBbCo۸Bܢ@N2E']B1C!}߁94VW`|U.<רg]yW̹vnro>>ӈ"6-}d۝N+٢wLCv}u3X)++$rLi)mVGxlCX#)kAӯQ0#6EuYV Кg{c0 ^y[a rRHւU*wB,j#fLi߾k_Êr8?? _{*1Yb`( UG{C#XOʵ" T`m~c%@k>i$ס@+m0wP3[dpm,&ޒʡmC=$.to[p'q62saiT3JW8MZl\])3tx΅e~QZ1!'lƥ\m_â:IW- "v_+#1B8P|FCꍕ:c"^*Y\84;iMS/W^1x,MJF.EYgxcm};,=z\VE77 vj_j0$q}:|?~gJp6cBh c)4K V5Lbp1Zoٓ&o^HQꋟ3 .YcJ3ɍE~^<|Ǔl6#Ww J囷BJ4|M%\+h)R.d*+d-Z. hA*)@p84N*qZ—DUVV`Ɋ=fI4,drŇ˷ nv2y߾rrǗB>]mP4TO ʷYF5~"A׊|:ִ`En,Զ,AKYZ >[>SD&b>V>X~D,3'K uwx}&f+PD u!Nj(Zi4ܥk GJ3|֕FWgSYleĕR6^('2e%`Мl$b㫨喳$)Q5B/, Up Cw>-+| *d}lmFi@d xjbAJTM0M̨vDվUbXOOfrAP|?x7v0S3n ]$/ث[M Z&sHNk2Dҳ$^DyV,  c%F&UIz؈@Xĸ%LL`[Ps{ U(P6dk!.N0p!`RJ +k 09v<8ML#lXQ-"7D͇Uͨ`7zh,*tC"n~on:N5B%EĦ=F,B&QŞq5fZ}椢w\TMCQ*!aN"nQ-_๜0 ?V@K,WP6p֮ pѻXr֖wCg˘Uԣ7蛨3={z77W횏v'@;yJ#U?vhEЛ_z+/ =W _xD_rʊ1#hCcGo_1kf.T ~gxܿ{8PK6=m91MemoirLL1Implementation.tla}isFwE?!A)b㙲^XY$1j6z4iƬʺ,FQTDKF%ʻ>}4?&d7E^Y-lYu^,'O?vu^%7|ȒUYfUR_5Ȓg&VRY^U u~utf $Y/YIg2'%0&:ȮeuR:jZe/Λ2 d~.gg Yo7yU+\Ί\l~uޜ, Xl9I:j%HsYR(] p}ws,ūvy9L|RȔ%E%E2NWYRt$]Q5\%JK2bH.-st|-v{T~rQrKFU^ ޽9oеx"y9"[?yo=a=N=;?x"ze~ s?M\2*߾zs_O_]mD9W,2yVKBDb6F^P/^>qq9m2I6ÑŖLOUo2u6挙wm(l{/v7'?6")C~“> 3b> _?137ϊUNeYg;t9y~se>#/WXJ޾NXho[}YtGD,FB8M^ mC~c2`so)g}{ q}'łudS^db3:.Y-!EbwWm;ܺdB=z\2`SUk:Jn;xo2EoFG P12T2Iz9:a1bMA#+m;Vŝڇ%p ێ"WM-|5L-#gLk犉 J!UY X,H&0qڜv㔒0C7xa:#R7-8® P;pA𱥫U.MB6l/&͗sroh!gh +'!UpOLr81>0l %TA>wQem6?E>'+<2c|;8+-nrła 8DvCEh񌊑gf)Ӭmi&U(J1l?#"],Exv2- f*uIBqS W]%<ySdy%q=(q׀pMߤG1|!{)f `-۠q t^l~U?믞,k~c8ip<_βfQ{CiepE9ƺ~G,,3Z.7Zk%!l5ۓ19b9'"ܧ6@5$ (WT(gmgxpٙ>-E~7d~y8E5y攴 ]-'dyA艒pyBƒC8m2 p}HlF ]_aKy@;G1*ɴ'J|,Kg y*`O tᚣߓf 1) ,`ۖj_5CFMvh^gplC`#syďokN ]p_ݻʤ,-j.pT :3z|vH^Nz MW}u}FdHfn=f5ʿ PIs?ӵ\b4J|)4Lqad!mu6RjJgPB 8 tHTyZ^Ek౒t]3V"C %l!zJV!uF,L)Eig);}bEz`X"m^ XbP[AH-F кW :;;=V6-1۪PQdMF'ۀ%dyh껯OC{2e#|rWJ >Zy X[jma˵gm D 5:cX_\^|ejYsqgrzQ7?ҳ=JWeWIVD O<V˯|sF%-}^leؒ术](ώRJR)_e^3QC9*I_h`K%YlL9ZՀx@513?Vx"c vtqL)%;׬ E[]@r"'LơWHY%pW,_BEc&aJmKP}:S$QU*ReO4mSbYMB$W$C9>;:oָ@e a@GiY4|w KΛ3rշuɏjUQsr=cҨR1cEbD/=_9tqWuKu.d9!6\ki ߡ;I"C.Yv쐌z+E"JXWbv&iO@:u^y^Ut"IVn9o_Ol[x=svn)sJ= nVWbТ${H__Omr2EyQ6ij$UV_yT؍X]NUbm!~ o@:su&hnCE+]p5qį&)]FjӎrFs;X\庪9y4/nOx<"IykY >]f;S0fOCw=w- Cg/~hLhyHz#_zsSA.9Ly{HsuXkصLƒ?l<~ޏ5 m`{_F2'$!֢mezl/=lϡ&m2&>gENY8tG}ѺҵaY1nc9 j*9djCLa.R1K 1B I:5u4b #H:lDGW&ga>ycW cJpx}n~ Q/1!DK`r}6+MJzqF]ScmYz}d]B*cB{ Zۜ[^\OP:ᄣ\ oM}!@47FƱt)͊(%N[)ܿ,ʻdt]x R,cX(6'X]e*D/cw~mdHJ,Zˆյ\FxZĹOjV>6d$60tÀT9mh}Y<41բT!Nlieb (+!s,|= kp&hma\;~06{;ӯ5׆bS 9^Lzg`t ;@։p(`Y$mѰm|-ͳg`6Y,Z6s_LffYL;5vtنP˽=V[܅ҳenfZkB&٘xXw< :XqI0{ه1M }Z/) gg{Oal8E f~P~q&4C=߱ Gr>ީɜj2`c*X|a=|A#H!<1 {+BJ5MXm:^W*^"H%n^/0`afZA9=d "%6ϭn2G`Huxyhxs}q{%86)˯XMCǧkslG~\7UWڪe&Lo߈@f?@]1I oD}m3ʥ]D鹲ll-1 C麭JOѵO-mEZvN;ٻDK+"{zv?! Ye\f{5Pc7,r?Z+QGL_@P,/5rO64Ŷ9(l,X* bC{j-1r(CnNgr]_ *BO嬮RF#vcڒhOn{2;lWR{/Ӕi1t!1ߜKR6 0lD$|1M&BYvRm/nHivsKWf:wGؠ#N5 0?[׼qSѹ\\Fwُ8}\5?%rGNֲQl涊 siR`^UU!D`C*Q^>pؑ]BN8m _X_ASZd+ߣۖ#Ht,.l7ozJ{R{V9\,t>J l^%D=Eдim4}E9nzp+jVUTÕ-cEզgGU;|(:(u]g%e6K{Qj`TM9qƢĩu T[ֈ[@N3H\hxFI^t\ZiUC[xԼZm;6Qȼy:[lM7]\1Μ  F 6@vK r^"2omZKp4XBnlcK5 M\-aYzsi+xDz|,4mQ˗Vךy'j*s'&<].:-̜WF5_(7j" nw;l,E:ľC4&I\]G?n meg΃fځIh>BhιBm ?B#dy⦠ccq{-m<%0ДVuӁIo彘^͟$Oy! Ξ!mkcF:>ݨGڼNNS i;٠fTTD[v&{p4e;*q8/jQniY$ =a{yeۀLd^B"cVh\ wh6R_k3??. ۢ;V͂s Bj21Y37Py#_;:!oPȪNiߛ3/U؆xO8#7l߫zlʯQwʎ蓌?ۦX فue%f -dFx8_1> gtÿd!I6Aa=AkGc +:|'1!MS؈&|ExH؆xʋ:c1!|bh艱鉧j/{"N*} #/x7g0x ܐȗ`E3e[\2{Xg\Z% /ZlM+vqlmdZp^jۖ篌1 RZ=6uy]Uq޸^n>3{xSE RIl6aڹKOz}F-Ҡ94iYjoZ· IxУfm6ht|^Շ=RF-Ң1Kyl(||rgY@4s"Z~XC"Wugaaſ|GߴnlaCV5El t:Ib$evjaSIu2ޣ] :3fҮUa]vYo<|8#8dBWFtۺ ߮5ۯ웦-rnnڷMmX>4^zKctf)LI*Sq,@09o,l-e]%pOd0&b`+L- qOZJ@Ǧ*Yhe<cvh MNxuQyٷhs@! z`f\ZRYalwYZP^:1<3Wܦn .Pb!VG&6ޥUrQ ;)L4ql4E$·ѩtw[mycڛix\G8'P\⊢vyF\c^JFV>,)X8-LT9Uu_kL'몑oخ6ۿgd<.yAc)jdΚv n;aq;6?DVWat &T B)SẉJUuMфߥt$6]ԆIkbq5h*؝V#Ջ3Zqc놼л@w 5kBƤ[Jm8똘q厂b]:W̢Zu׬p^82JL9\|=ܧ6:Sb#sI⬑?4W>9L'&ٽ|, E~ bפ1`^(zʫ5&92)) 2d8w=gs)Ft NSy #ddĩ0acz!Ϝ]Lx#wbK&rɅ_m&Kэ,Ơ)nMloB\UUX!5Sq2"izw vN64p\dWdQlo-,1v7[* ۦccڌNz]75VyMǛ|5 4T$ohcXZ#ʵT4$8 ole%>fUGi{–}7뚋ouLf\l[>l)Hf08 .}`Q sDCto9^ek!EPE?raX=~WqmVa `>>=K_Qĕ_D&9H: `ݖUV|br'@ƶ|]7J=S[n0MxXs~8Wp"LCJLRd^'>!ܻ.nb]` %hs\R0Lla.y3nmsPX2J'5ś5([Z[D=x sn#(b,r\-4!jQhmxʽ/*BH"bL l zxKOÍ}-^9m-R''1.Ǽe?Vz}Hytltjqpb)wvAGXT`X8o| 2Cz^ǠF7\n78s&tL؄XcxJ!8=`41g>c1< QXţ b @L nē snޡ'Iel_P*4|0PgqYzgýk`٭ ]Pa}K1 dG]V?(.`\lq縌Ќ9s o'!ƒQc\ f`b6hxOp<y.D!˺*r"A( N~YnN)qOR|SeY9, [;}ߝg2/2Xs;ls%}* gb%t!a|MIæN4#"3Y!y/62: V|\k~Vud $=/<)Dd%QBh<[4@@(Mbir֣=RN +{@C!t-~`ll,8}e0 +}_I-F~ @0l=!$`njE76(@1<) 8Fz~>HJy#ݘ+g=K%`JOsHl?K JiSF!4&~5S*> [+lBm;)JGL?/4A\+Հk3D4ea—m0XKGR9F{vy8Ok1p N@Zv܃hOTΞ35z簀mD|j81*M5<=wΖ6G{;8[rul&|ZJl' 34W*`π^ωPŗyVj凴DY`:p]f>c|xRevG~E/Rr3㽽:TT^eIuD0 ha^s؞ EpٱRKҭ߇FUS!fM]%40llly΁1Q0%Ӻ /rI ysU4nuUӹ2AŶ `<}{f9ve蔩ԻYe 2^C!My]/hKYp bO ݟЇ$;+Mc 1+Yp><*/[.ˢ2Q@!-xZufe)F^r]A)} 9\ G1iW$XBiPөt'S&`.sp1dPlH_ k2A$?4y}tSϐWӔ?ԓ/m&;*?l?j{i]턕vZj} yޡK<}' R(I-pr7RiJl91ߵ*ǯz Z y4` [j$%j({ g^[?]Ek$sGB0.ssc5c(Msij(ckPOÕ.ؼFY6sB9mQ?OܜƱ$ըb(œؾ%ݔ˂7 mY:v6SEs-kv9dAZkd@+csVTFk 6՘>۶0A5hpa a{ CcO6?fmS1'фRdX]wk _|W g]ץڤ-yҕcn@u_x2M!.)A1H>;@ qA yq1<#t ,7ikb&8SMk6-Mk#kFwA=fkͶQ. 1-*u^} *l9~l[x5?ʎfujcr08D2F(/B!B9 <|Lj`Ȉe'cs`O&d^s1'hZ#A6F8LCS#.Aa#M`a_XX10,&gcrQJx1&uYcu~ h4x6)S%a(N=i{ ( :=qyFd|wD>Qb3BKSQ$'6I g&䣚6\MzulRHoZzy@r#)# z umE` 53\vd^7a:34zsm qǣg hPk=-ڪ맲wЪ\\K~X~>Y4WkT{RyJN))E8//&UɱV&xOWw(#u:o fXz"?_e򗠰(1x'KBӗh(ф]%b.J0#j7_pWs#ѯ-x J8 kmNxԦ=J){R8HtfM6 O?PKZ=/hntEK#MemoirLL1InclCardUniqInvariance.tla}kwƑw cϑ-9։,{Mɾw-gED!fnOWuÇųbUV/^=__U^rVdӇ=pmG@^uvoEvY:[k`&\-4{!4w/hS,6"+l]^RUg3 42(r?/n&P,'YueU\Y٪z[䧥3Lʗ޼E6uu!xbv{ӌߺږ6\۹wyӓ͟`zQbߪY\iyQ\gU(l<[ vͮ4HE&r^gՒcfg5 ȏgo "?-Pv_2qNe~5ܺoX!1;2 DRۦ ^\E7t7<2 !⨿YU2_O39@ 3 -_TE>AZ6tY7- s3Z4r&gB6kmٷ.MA/v]T ;N"u_@.E!(x u8]\l^x bN{͢p;UO=\"E ZyRV9Sl=!ż\e4srsF6CUMP}A]7sW̰OkrLt@IJ%>8wp{zj4h>M[ێfi^כ $bbV Ċf ͷO~zq65 g]VĶ7ź~WH*p}^ QONЊu)~)?7ΛrX=ʾs'{ )]Ξ>F:~\\WF,:VwU8T{tǺB(@ԭ:7ῥnm{/{q1σ==x}+K3c!6WgO uFrp!w7| Qވ\ -LVpO7OI!n(KHp9Qn#Bg~S9?i226tXxkZkvIcf f/6KVPomĨЏYW;;q-M64q&rK1RF3۫'~&ӢT ȗE6 ssa'mǽڲMBAۖ%4n uOU˘}UCihfO@hD_:ld3>s[<oK'F>MxY9#Ms+5nKJRzlhB'=5᥮z!A *uBZlf9tDV|{:uTvS}^zsmh:R"i|/Nd 6sqemf+}=InMN^󯟝dONN^,{g?~ ] 51(x}OϿ} *cW[00]@h5 h\NNÓ1fy-14"/ޢ"eߌhpEdnyQDy8q-Rcn&ՓcQc 8iED&jr>:'H^ƭ ni#u3WsLA}LTNs1MmO4*P[g je夯O)6@-g172u O_A˞u.lUUK!cse)/Rb`9؉NB7~p,֔]Y{Tt;I ; r;'_q%"ED~"L5W⼊lE-VoYM 9N),(A ,Sःw'w)pNg8-hw'g4;3.p2̝yWٗ>-, 8iL_l-5y1EĀ$ 781I8/u:0Ѹܱf!cƙ"c _JX~6= k΂6D0>-)Z2jTP+%CܾL<۔E 8MZ+KbjD$-lQ|bdpZ 3tclBUpHzdOs6{@ճ7ԥ#d03)ȠeQ`, P1yؼ$FgkY|qR,/ k]@=@PƤv$??U9r;ŷ}t?JMm}f8ɡlGA(2rlx?#*a&Іkvkr$x@DA./6uQD4K훚t-`0aw00RvzsXNhjrv/s,Qw*t֠m:;-<''ϲ/?={_H3mo֗ueCl^R ų(GRw}u62׺Mw%jѕ 8%SqG{oItuT<~Bf>HW~a0f)ЃP~ \h;W(sH+U9 da޷uq.;|kG_bwCn-ҹ\wWROPeb'?RXQwhABL/Ra51\ɳ.iWAaMʵ4ǐzCAˆykeQ*bmH; A9tIfL yWkxkN^}xq:N@6Ƥ)`K.r=R?*9I UknZZY]nZrXB46*U: ZeZ&'!Ӂ^6-Jg J&}"|2]|MXMaQ_|pAv>4nĻX Y'*4ZyGysqB=bU5 MXuֹ^u֫duֵj51>VcM?2@uce׮1177wD bMIauS $'k՚ju͇-3:v3 5>C=lst{GӽQE%tLlz zuw }CEP42;C<ٱeӊ5q-[ CK&zO覍K\ИТ.!4jeN /}*CF|M\ m I8i{m}dRqևtchpRihJK7İc c[ڎJ3AuVfYd haRœEW*ZYb` :Jh?-b: M dh *,8/K3)Xu/c@UL&ۢXW-R?xzn$q $5T 'tV- f$=u!&&J+1fFj >dOqA<ʆO硡 c+fxtO8ϋb9YTx XKKҕT"l4ܬ~ Xжk.4t#>ꕩzo$5&QV`Ӗy[_ n0g"X) =7Fo'hhw.4chc| ơ>Jg#xc 'wWnD=/ !@Ԣ 7# L4;HN=M~v^lѰS)Lj cxAխjIǤߋ1 ˟'K?1#jiXk,ڐtKmCrG@jҪ Z55Ɏ{2A/ bwژWջ MWȂ B/r 6$FXX-bOw@ (,` A-9{@(kzz.vml%%q~e#sl d1(+l#Cj6-fR2{(ܶH0[-_}t<L0zvyF`y4&x~]hcР32eb1h8/#~T)s/0\˖ƠI9^.gQZk11dA6Y ߙ6&un1^aF g9˗@IOMjo:*wc@s*=GUfk44@y[2!փBEPU'/NO668e~VB3ń&CRU> J QMP]; J| T|MEj,Mlw2^\Rt ,o\&#"Mr͍Aܓ=MnC%Cq"n1aC?4awէ@Y Ldn6:})vGzij*ܤHN1I3FB$D!#a>Sn~żhqE[gk^Uĕ]n5F`QW 4I2)h= |ik&--uzGm|% mW|T^G:{,0NN**1iڭH)(]ĦW`D4Vkƞ2]q!pb@M=:$ V JV>+.\"ڥjf}(<~Zw~Ó}4K?^w41sgy +f TA*SlH Z  (uvPN;K=ʬy2m.6 ]I9htp ì7fkR?@/|i'k¶nO&=,UT6@?D=>k߸Ovv:ghUI?^MMM# /_I|A5wdjдG$f+5Hl>)IS s V PLї>B|9]5@kiR.:;ϗo# MU)/a]wbUGZS^Pٵ*UTnBpYam4|>ygOX cIbY|~UƈtŎCT1^E-}A-Pġ-Ɉ-ZmRkxO:ٛN~h?Y :=%3)tbIX8hjq;gptM s6|(-Uf-#sK-n͟l=ШW\p""b4~[B;L62Jh.3?ʊ:A#qah`v9^V?mHP**k' /ZnK\mt H-P-(TnXcW.O.am{У9-aQ:ߚ$M}X!ehb74;b!.)HPDmj1h(j 1f mf3eЭFCB8Tv#^A00 95򹉶;27FCK6dEV{A@nm$#H0x &Aݠ- FLs_<Oɑ } o$!$ΥmFOuIH4M)h4fS\)8y%x] V&جʫ"h[(ΰsOI屸Pҙ//=Lmjl,iޖ`qnBmEXGV̇dRLUB '0ɖGk2ǣ[ӶjnGX:Cۮ f*BMrR!(r6>ᨨDp*_l P|\ 4 %G)&A۶Єxsޕ]EKfS ɛ[~ =ǏzAӡ[62R8s rfMc-+Mș *5{&(kֆMU*MrQD;`pĠ'>k{L!5HN6.#}FkYx/x3+kj}hV)v<G@ѸQznKo7qJB5$ ҂:~ml <8OSlcG[ iqVAvuh:#s@8!4ٵ27i܀8չt}' ^@uiׂC wǾ}Md$5 N:f=muKҏF ZRԝzMl{EhhЃ7Ə@ܵJBQG\ }EFC#xnHh^Z⻁+*W}a{ 'vu;7C/㉠zɨnN0jFGfFFPs1Ӈ,%B{eLi(ߪt Ak#þP[Yܸz$}r.x .*> N 0Lrxar UlYP]1%5"l} RxKL-byE#0:KYzLG.S¸Ûcv& {h:m(n~Mm*̸ 7r`+n+_ *DUKIX14#QuVp9޶2Ou,r-|. !KL.#p7sA1KS!rhGvh:l% n?&4T\D u ړ h/`.6+ .}U*G`.Xi!K?d4%FlqE@-OҚs " cX\%t0 >N)ޖ]4qm{ng:HI+rkصܯJfձL]wNt<׀:ff@S)|4ǠAEHt1n>tcӏӆ",TIo`yu հh)P8o:S<'$LtgD߁x/@;(c<;P$ym]mT{?mlhB$l(G/ۏl "4[ 2+}4esIgXHh۷E\8C/R ˪kq^ o/nԢnkg0ׇ[/|)n XGhBqhKz{mje=ZVeĭCgu13IϨ Nܔ@KYTqU)M pU]ءЬS6hD #uǘ{4i7Ҷ lJ 9Bnܬ⏩Q7C;/ZZs㞀"3(2I[ΨwcSj(_6 :.*@t_Azsv&4B֓;fJm yJч{r|Ӕuԯ'b"m2R|,9m,iqW8hG=t o?Mͷ̉&~Xs eNIs*0꼘UE.d|hj64NsX;kI6o%puB!"Ať&hrdWVչ5{-vn4C$\ kqr!EVvx )pmOQ@hO5%9ULD12:Yo h$K \B0~TSl^:rBf87uYSZ䥜+R-; T% o6m|hϗ &N+ǤPC:kih\%aZKrO- SL>-xIMR["k,,rԇbԪX:'vU. Ԩ ǢV_TU|v?f_?9y6B -s.V`}1To{жi>4T[\hXdQډ,s=gaݪX`71AQ=Q Lc%Vku +_YyfnVeF7_"1 ]1 Y3 DZsB$ ca\ #Qg(%a7д)Kv±I1 c˭wcs}Pۛ cQ>8~P;|D?֬1 Fkb. ]&ֿ`V$${?_fEL#뢸oԘ]/$<Z*ICS.J0 t\^@ <+"SNoXhPqb e9)ʪCS,/T)9ֈ]fg{D[ ޡ{?InZzB4{K/_ E=t#Iv]Nv ӭ.GjMI&^3` (n*}9Qh M҇+R:ۇf+{5ڶ͆ӥ!l<5Q2|4UF{&4sK9s\R+oKP E:CQrJ!Bm ye+C t$CT~!j1~V|!̄%7cS|@duc7͇F HvY)~ ,WU!k&Q[6OoLB$Ih3}Ըm$>{KFuu,(dgcWnW=v{t??d,G4 .vDg^lb#j~c7n:pnCĽH6.ALϷZ2pznK\h3v{#iIp 2_?)hI&+=g@`I4ZLcm,B~LcW"LG4I4afH&syqnjDRY3ӮT{sml-҆i^= hۭJgJvq>N/mޣaQ lO ύVF:$ E4z;܂Nm\]`gX:` v7@.;8jZSRҲXiQ3NGHBckm  и\퍀Mțѐ%pʼnmNXp%S:$TTCJ햜X']\A-B=R Bh%VsBd" Ř3$|^j l\U,"]v}*#PFb51Tu 5儱hck#gAnw`Ҍ4 ]XF :'/N_%ؐLMl:/R*Hf^hyh֚﵂Ry+4!:}elʟA$= wkbسzū~HB.wn!m(Tܳ4IfA_tN+oB+w]؎ tuMp$E GhXsh636S_J4D78q̨m>J2فLE$;Z-oCPdmoWr:,= qqqd9YN]h.g9Nǰ\,;);-rAR,Wv[e[)YNg9,d9YN?Xik>Mrʎ>i`"*rS۰ubyHjh2}_Ȗ1,u #)}6>tY Aӑ骥 ZXqO5}/1>7|#%5;]2Vӥ&azleA@&˼.>J؁$Gmh2?B"_7k0 Rnt+645R&|K BR.” x,$Ӆf%r hiCl@Qlr"@cqw7DЄX&i?<ȃwZO'{920Qu~uRVg`~^/-1 ҦP9>()@ Byɉmj5eC<̴ gP5Y~룶E!UN#ɪ#JZk`GZqTT-cHtpbuz-C*QI6 3&wxy@B$yunރ^MTBƎa̳͜p11Oc HJ&D%ʓl9>^ beThixJ]\ ,yW:;6Z(*t 2}Z@ZEBý5BhEh M_͐so1=.7B)Bcf]4/lj5EBA 9ś;">lb6=-fKk0|. RU- 开J`"6{kzޫ|f|93c9`Z!^EOdu~VmSt>bqowx3g5xDYƽBۅ{Qs::7Чў'x7)4 +DJM5jH$BfL O hP*vJ!Jop h7x)A31%U _:LA!S3iԌp:{% ZRnzz~rִ$QSMuitxyXg=d=q&Z<2ZХM\|xm܃JtO~zꎼk*Q-RY4t󡭔}\qIXV)zz뿴.]Weq"a>З҇AKQo jU\Lw,Epqo``&ߪOauјO2>nZQYD) MkHBXeP4IRI#YqZdi ȋkwL.] ^*k*@ˍ +d+u-[xւX$^^dr !kRmׂ 9N3z0pҺ{E+w`ˋd4W=-͇%2&㈭m>+M785mrW6Qm0pF (ޯ-/?Yom@K x81N*Z&aܻhZ[!I|$Q\doZGҡׁAͭp?iѴq]خ 9,t̿gHБ/з1vL=lmh/#&4VƵqOl͞5T|9+4fB31vK!D+ UջzQTyuLN_ZA&ԹZE"az8 kë &s;_)!j&Vk[ 'JwJŘJ:ڇQDQq:Q,M1;|G> =>9D0;Գ$NG<UUmļO.ٽ{Ewoӂ#eh@UxqPӪ_n+Q(}e㩒D/ode~Q徂VKY(͕m2XHzP.͉7){||@`*`!7Y C?rR7`H*P@`Sw{"0]Xz@( ӥ CJ`~YIo*"޽ǢPKZ=jqOa-MemoirLL1InvarianceLemmas.tla=r6 f-.ɺ$Wɶ;Nޓ"+߽~_e3\^UB'=yhckI%Y\Ղ$2]*IyrU+rMt,2IK*rZ$EcYN$fyzI8+R.3R=M5YNW~ѳv(r赝^^eLn_9ݾ|ɰE?}:z&Ey{(Ւ^2Â\tnů\="%jyZV vΗٌ\E)-Ў)|!YȖg ګ:6-V]1jB{t>9~]TUřкbmD “e[t!Ⲋ ?EqdADX4]eTU%I\3XBtv8(sr4_]#&fK \! hAIoWl->6'rZyE?$/GI>I.'ɯ/TH?Y'eo~MI[Ta,3Ă>~$^dcmU(Z>ۂ%M^۰ğ)<_#/H^vprʘG!77~~%osjs]ݨpv^$Z B$oGr&ԚT֎Џo_5}?tZ[UE ww.Mn02{9ʉZ3LJ`4z;Og`>6AM5] ;_9i7ڑ\Ǯw߻g7{oo̖嫑~Ki/^l\S6ʉ/iy~!61$@..6PG`R!}_\ RGT]Duτs~첟{>(CpmAcrBJ$a3#hg&L|MV2*IȜ~O-56{#hlH|xw|)XdT8t{KEi;Q×`M_#JSr7(~=NF4Wze!×:|yo;|9QJmY5)+: Ѫx3 |X4"`tx/Vkh9~╗qߧE2)ylϮbpuh6QU +0 6>禔?Is3Xhwz"zFb@M>ХTٕyÁ$}&T)v"P/)%B⍉m{l/։y$!UE@BoB +(-,.JQȾ\$#Z`d r:[dnߕ57q>0Z aUWdV^-u<ٶV%HE[6#OO8ހ>R.uJVOe棪Vdqs$4^JFf6q);UEY!8/j%a@?oӜ|ԄߠX=-eU3yҿIv ™f'zk=1Q=em@[jF揗 4p)17%"bjEIg\JU`f"7o_38dq+x:)!boʦ5BE XY #(hm~Rq#2Cv>Vt qmcBHWm36ETRv H]$j ? i{O1@c|Xc(bɗ[f*[w&dYtΖ™C)Oؠ`V8QݦW FSS1fLЅ6GZQD/ɯw)]([ۇ*VI\Z"C!\3Ej"Cҕ3?m1d @o -F,0b.q4;OAnVȺ,;7'Г'(6x(0QER.1rX<._W~2J,<*H6aB oCcHh\.9]>wAm}\TG5"],xbzˆQ!#V4Co RQS|*4}gaM f2 *O#vb,o3I+J7Z~x+xL|OL5 klM N҄N&6]vܻcǾ ַҐ4T/ <1oc]Tmlx\V[Kåg5&^KzC럶}$1)s^3 :{T?.cCbb0EhFrľBC?W(Sɍhzȡџ 6?\)W<isA:WݐNBSiZ'i椆 <:AdATjD,("9PnS_B,cwשa9ahzLw;=40IYog`].XيߤYXh0JA9j+(/!S>NL+$iY b,]|R/%YQ?VCNsjj;}!/Z <|/R$#n2/ah.=߱sr퓩N]*F91g8X,:N"K]YvNB;$"#=ӂ&CsaV:CBZ4qaF'PvRFλIp1J xF(2 /ڊ*yYHrJ҃J|it$RT^%3*ǍHk=ʬzZ (R=7lӹܪ6LhHcV< x&c| mpѕ mXѕ lXR+Z7mиlSte;C(u«D @ʯXٚ^05ÞRe:bEϧKD& #m1Gy>>'1ΨH@'%F?brUA;>9z`kc`{\[کUݫGԊUZG57LZRb›vzkׅ)R}s~vCp'˦1˂RލxS_a5ݬ x%xOd]q%'ڼfRP) }@kPdK A NK{N.`#W#" pSʞ#ZwZS#hQsjB<(Ea{ofA,o|F[Pqp!2/$͹Ggnջq384^? &yQl 5s>GvU XrQ,J qZ^MM0bؘnE(r*mPCllB6/5v!zwOՕv/eXI0@MUt9934rcEԺUoKS}5Au\;qhBb01үt -Su V-=)-[h;L0w憾w#R|klYtH=cFǛb@g8F ?SJ5x;rgĦZ<앍P4d@*BH== M2!a|'ԑd{Nn )1Չ;g:ZU}\7BVm;d]"01KbX7Y {x>d񒵐0L dcytO?\-WrN',%?I- K7 ƺklbhh f7"!}8]ڠ]ԑ;UIwAEVsxj :$&sB`-))|>Ai,B$x'5jt)VB*1}VN/dy*N;]dOCfrMs[4=KFKK ],"/@Ôa"’C46ˉC0MX ilHRcmڌ1 q\qmֶ̓mF,;St7r謤+m&q(@ʣXP AЭ;̈́  3);k`Bt+f&Thۓ ֩7L]CACChܜ·Pghc `j5 t(j ݧ!r&y"ɳ%qa~+qu#5Y1:ַc}r(lcv%DfꧾD&7XhD&ld2cK"h(,I]8CD:yuڴY64eDGӤ-X=)BN2Bd)J;',WLx㪒 Cl~&rc'OFز>D#}xSnρEmHgbJϟ[ᙾT yHL#Wߜ?tNdĄ]Q6F (ziP226LN&5{꺼"Rk-pCKh$釟Z:ҥq$1gjhWUb`ufE껢Tx1_%O=7? [?_UR}ݩWE6c4}FW'GJ=,qޔ(`\b^'6;)^!H]04q 2y"{&LxJ{EfEܨ Q ͈& ) _V&ԁg椶3rk2 ATks`>0jH)s} L +c :" ɬ։.9ESjBd#\9W- &|YSN\D8/߭4'y3%zF30m*@Qa2عScrovˆf^v^ו a]i1oVlkecRBLvR= Zp.ZNbIr !E|Ŭd^䏩#@*/ C: jMK Jɯ<#&bd-yt3$plDЅiE'1P|$]H[]eERgfwd5YrV 0 AqxE@܄N50c!%!6 r^B־smex"t_! *C Ӏvs.d{{绌8l? AgvCQjfPR!n0/1A,L6e𡠍384n!emBhM w%BcK&4?Q*іV84e~T9%D'x>LhdZHm!!ft¬}`ݺO~F c!=cҖ=ʞo1lBc*ͧ:Ilhgm= b}"ƁE`ς K?8QViD+Pf&XC!ڱ零`_W* c1hCcH1~ͅpqV/68CTFqzj٥Y7J2[2iE;*DRwlYyQ*o 0%w(h oB )sfɖ*{|YBF0rA` e726^?34jEK;Fh?ljAx+.mKh g_̌ 0쭰d"~1\8,8R0ۂYIUyBИU~/W̿րc մ6h|RC.7, @&%\!)̸>c"_C!ߚK[^g,!23XkήYjR b:X0f1ThhC28rD4pp/47 Ԙ9֒ % +lAa5ϑ~gsX B ¢,WWT_kK)٦69@,n~LkS|? ͐!EjlwzHMsUSbKWt% 'SMW$4O{.E!e's N_k[B܃EBg,Jb[MPA ٧NE 'gb~9}jݡmW6Z\b׀tghh:B$s&m}%JL&LhSUg@cHhvyna`׊mlUµCchqB.K-\+TasL :wF0п[^^-~B-,lɤƭ(LhhDWBcQgȀB'?ҽ`䢬r&犨6X5MI-":Wba>29o|NI(oE(_q'(Xi=O[YdxQD+vRDY.Q16jXͭ[ Ͷ77lG1vYݢ$+=#pv 卪WtRUqjqvٽQ[TG9Ajb<b AYݛiŊf_6Ʋr@ 8Cmckk7kY",!v sˣTO : *41Ӊjk{dU1 5W('x"\ {.y%xX\^ CB̏o_P ^]M~ݠIc{;yn*"9\FF=roTM85aBshO޹DI6XІ˰x4E5V+Am|fH T-\ǟق"riE$0&4G͌e-@sD"ExC~ p׌SGxpct֎*A8e6ce>2($}M?&R3J0Zn8s5x3%-R:&S/>|xw|#Cs'iL;PKH=^'MemoirLL1Refinement.tlaXMo6mN> $E,z02D5ΐ eiI̓<>߾Rl xRiǃlhdsER.FL"-4dfDDϷ*f4eoh*g!P嘿mXb޸!̢wʳ0)`ƻH$暋L}>tϕr7ʳ5L 4ah݋ReXAiJ5 E~ V !̠φA"x7x_c%W1TP LI"@+ꂍHhO IH!M` ,R5䤙rdC&/ ߷O2ho3sσ*_1rFҔinD: /Ed  Q"*{LU\Sl%l=Sv9`vЌSdkq)ǍpӠ"LdG,\HR)3H X!L0Nj_l8h44" Fd0&),MjfA34Tv<;΄' #I0b˙9`Q_u 3̊G*Ƀh=\J:P-TsbzX%iE챓F2hc蠙; #\@7|!VGkC 1P? *'jNP.XJgPi᱉H?Pth?/ M8=ؠO0 Z?>m(PʳZb E6hy_LRŢXnxdsFX%ܖ\ r+7@Uo:,j&Setxz%QVP> PL\.w_>䩾 j;.y EFuu|ܠ>;O*UG2Ol/}]*5ޔɗw g UzM6zg50!i!EY*ᛎއ;͆Z[InCc$TW]ga"I\̓Q8JtQ[R;7#{T}i@cnCT6lkP ƜAX[1P&UpeI1 ׮ G)lك)-lKLWԨ pƨTf>3bBna3Hn.klPKg=gzmMemoirLL1Specification.tla][o6~7xq1L6ֹvtˑh`4%Oosxx\%gm/4]$įGE_状1oޟg=bޟ ϊD2W䪡-jeoɔ TT\ 22ej|9)mh7!Q$ZTxOp|Pgkv^IO!ePɳo %g:0HbZ0_~O+x?><79|[DjAoZNVQܫw0-IQ֠+[!-}mrpMHB2(+$ҏǧb@nTw]'g'_l^ہ DqIAq!0xnPМ-@)o鮬`%j#U%,7g3/rn)IdNde 4UZ! ouB2j2{No&\ka,+8=(+?X+#i: KR b!ւ>2vk"nTtGnoIHP$,/'/ []E# j-"~fwO=/.϶Ô7gxf_A*ξ|Oar@ jyۤh @~|oo쏐@NDZWH5+XMʝ\Þ^zk JOo#r FjEFPBs_r#'N&ad! iV\v6^n#A6{D7K~x `c,ikldQꁭQ;s5'c;5+Q]'~~ *S m7zRR +&1҅Av.; #$@ɛ+:!YS,oM{Nd­dAтh7 {ܴ~V;|GT߇IҵE7\y/zK@z`վ@[j.qԑ-7+VW :5'w}ޛg9xN"$<18޷: 7J ϧ{1G@N2g)F[=< ")'RtQv˕F+UϠ*O;L'ZTQ@RQ_/ŠHfQj.}MBĈ:Y7_ZIJ(DdAh+~9Ŷާ ٠6h5l_ES%L9xs`%m$ZRA%HJK,0]"vఈE9SJL$C*bPD&ߴ}nrLr9r\׽eY!GQy-m u9EIRۆq4Z,Ce?54 Tu:D):V'V77Nz0]6ZLhqϤ M~La9 li] /dլlHr mFRHr͑u{pf1"8\eWևo-6QۊX .YPAb7jqEdZ.ɒ^+[eo eu^k {BehgoX-ZL.%l*$ }`WoDOU_(CB5NP=1hYXWGѤۀ@"jSéc.n*Itq%HZYE⡑fע* +ʹy]I/}$ܗJ\fvW4cMK{ɔToژ,jjO0ō%^Bpv@w-"L#Ě!*إ ^! Mk6OoYd)Nse44'^-%"vn$&[>uQ.GxfWf< U+vf)T_Ƃm.tnTc(*(LHY,Bg]@*V*cS羌bsg{޳kZc(3ɨKǸ]Up.O07Ɔy\2fyVߊǽoK4uѲs NiMDX30I-+?tΛ <8Ÿ߾6[F̹RwY\CyeR "n{~wO^{3 sp.kS4 t#f{":v/.C>fjySu‹@%0m},] +[qZnklbޱ3]#PiɤO:0b}NSwg{+deMň _DH0d~sF)bF*U(hˁ7"jV.l nWMKB5_R^L%d׵1n/F:hoU@?;kRl5y#:, 0/,%h\v1O{ :7EzLh:wvIV%"a|l>'#ݫsmF9u*ՊX> '\**T NqIwD$*'66 ~ A9*,1QuD:t.AlfAV~)0$S PDyA]2zՅ3fSw%{}#8>}1ggwQ:$odfB],eǿ)詃,Łǂf* SGhQ˿ ~.gÆ*dg@p]a#X h싀wG#oʸZ,2(ҬvHA{Wd4 us;dEÌٕdViNz@q=6Q'g.,r.2םg,v׺oѳ)n*:Ō*/Řq?8xlAwb2ߨJ!5*;5vqBIE v1hCyhwk6t$Lu(1WlPH-  +c;,l R{ʡ_~ sʂ9I?Yȕ"Z'UU=Ѧ -/RO6Wu!~ jnZ}3sȋly|bʮ_aN?pB>o#4Ǿ7BLyYʞBob+"[k *e=JY<0 ^my#l2eSkP`y>tutFX.F2MȐ0L.r CK_?'uPBٟ%OZ%xie{||~$b'Yi֖?vUN.F!.V+_ۇOZ?T}Dܧm??PKZ=@2?#MemoirLL1SupplementalInvariants.tlaW[o6~ׯ8o:;[X4E%P;0h8"J.%RS,ypÁsg&nf7sTq}ss4eĵ3͙3 $FOBbU3HUlB[.1 Tod ir1%[5F(`S@ ްGxZs\Iicؘ܂ Y⮸%!RF3O $JgZt+ b<(1,Xn4YY?r{U ن  9δp;Lm9X49=:2I X]wvrw̳o.(S(DlYgm<%Y "bgD(Zܧ:LUF޽I vU9O,YD8WL.w3,enhz. 8pn /K W{œ\ &꒐Ψ)Q0 4yMW7-m%)1ң ViqF#aHfU4ӅzB;kvwN>l0>zgG T 5F ⍈N2II'ףv2߽;~;#t0N@f|TfyFLűu{H>;N\7טxi3"DoHn5x(8dHCXpUc=aਖ/~ŽřS:dҞ+Cw[O rq-$'"/~"j R0!<,'2t>8wN<'L CquA kz(X R Z\ @~7;%LSMg zUH|kG&TikJZ5BQ=RIkUMogt~ +kD5 ݁,(gNg q|෩=gL#jc$Ne-efgzIKsYߞ-GLJSּiW<=Րk@K5aD$KKY-cuV!- r`B.cZ J*Ia\eb!cT kPiQqJupLA)M^r =@ bҦp2'w /T^1W,:cF\a3Q%MJ}`"!E(䃊 ?]cJX*2E`ŇT(D7T"rY-byxґxXe"}`j)e ڮ.`D`J)76iSݧj]M9r8_q &ޚ mΥ$[@WwfnHi׳hnʥ%G*'[Dnatϊq7sP,MnMLt!\|}fRmrrΫԸG*6(OdN$.r*S^R7aQْnj!h Qh2xё] &UC߹/꫎XwQJ5ҸZ>Z"wQa5#'|)Oj/ rgwGqMkw~õީgG 4pRzSdF'|瞨\vGnx6wHi55TzJoPi5oPiM-AKoqXtsu6nx }V@U?e_ ~2a@U7s[5@0)pتmۥ#l/h}##)MG^B6/э ?MHi\'Fs;:U8ϊ]T.B _㩫+< '!m֞hoUk~چ# it]{#9u'"rUhDbhX< "o]TݥH |X4X |ڱ'>ssVTՉf:M(gЁ;CDŽWwP#m =V@27>Ҿg[ ]v4~ph`JCeplZ-2C!ڴvvp͝٥uݷw? tx8=h4{kWdPKZ=8 zMemoirLL1TypeSafety.tla][SH~hY]_!)HgHI1VHv`Mdɣ +[RdU5 w>kn[{{{{AgAb>Csj;Tw5t14Ƒnq F! xd>++G5_Q0ãbVݵ[us: jsaȟC @>'vo-߶]sp+|Kqٮ!T$v)5fI_g;؟9Vo"`sJ /F;l?.BJvжd`vpmP+&#xcehc&s~f9SrWBP;lh6HApDoejdMQkhDnמxw> kߛR5((lfC#cdU&qYP@_3 䠡L-3S#k6Ö=0T%IV{R8lɟ째[ o(O8oߥ!( zvn5k1/MAW()j|yHF7Ɓ,kL>= G{D?XPAsKp {Ⱦ&h9QF :@cܐx0p@WbZH4P~?BSO5^fټ^ b{I,.$6@i7"%!YłٖBPtVxo7/IoHψpq3$?muڷ i fn(+?7S0>lŰbOzgTHS7s4YSק} ȨTT!u=<)3{o-B, tDW>PPt9J Z ?})e!d ^ 4ma"KgfmQ(q?!!9B߾՚@Q7όhI 'R?`H?&&xQ,麀Ka.'} ѩ|-Zɸ h4c΁y%hrK}@{|^l|uiQ|^Xs&:dx- KκQLS{O,]KX$,?"T]nSֲD͊d5I &߲o&Yu3)AveԀO;CgH$v%#'}3~=}iO)Mrٓn=\#(8r{.8cv<: . LFwSKlzΙntY;J'QfsVTЦ"i%OmoKS0%f"$+nWh**\h p྾&zl_[H7N$i$%o'( ##/r?PJA`,F"~#e&(Rp~qADA"x\˹crш,vo[xޠǗjQ<9~*/툞 < l^ ˨z]=Ʉ^c&3v $VNbJ'(c&0aI XΙ]Иpc9gbK]æˆ@̺\Oi4 ?#nO*̷?A?AfYހU(˹=rFmGٵѝ2Y୤G^ӄп>ʃ+0gW멈Ύ~;E7A yEd0QU=G[XJO bJjh r().2jDGsݓ0t;SΘ>\woԡd,fgiِ3>,1T)Fs۱ [\ h+ О[ e >gY }_BqvҲVvy>Ng<pi-]e\lMeū3MEepM׺G UN6G7TvR֠\j?z<~- v׍DPsطJR=Xݢ\;i c}$Vx^G;-xeƋ臢׀,@O eX FI>*c37)AOBGk0m`W)w Y;3B_o)hXVGj+H5Q93uD3Kq(~/yNS^T(n$@ iT`Q ~iR@gG/q̍QcXF~ujvo9|>W{[>{>>DVhVm0y^M{͵.޾guQɾ^ۏ buyJ̫5K}$!~d:*xxll|k`d 'M6d=<@yr"6JipE&u,M(knY eHq2fl߸]=a4X4;z20Ip9_G0 Ftj  HS4JFE׆S1$wXش3&ViCv*ZڷƋw Bri+tkԊTX"Ie\VZWie| ou~큹,$=lFI},ƕZՙ{&6\ +Us %Fw&2o7;;Ma٫9`\Z8IN4EXgH">-͆&K9f7f:RO[l:&QИZvqӯ5Yt74GH`A#nE]s17 O}3qhV3Y^!"QC[3ZpjCK"lɵh,XDZ+[ќjok-aބc|dO n3 *V.Vu@|@_%Krm6~/t%t%4۫67-ߦשz( Aquqb#UܷSBoN?Mi[OG[OG[ůSn'V >/{,SxrX$b=^~m2/_[v fbBO]yѪ]$%1U^(/(DUGXElT_N.0䓩?k("E7UZvB[]݅yPFw"#- I*5 W]̗/(5"hkUDӅD biס謱D?OnRĨar?)Fp.ۃI4$DƧuם);ms<`VLTNqm]ؙܯI96N0F(M5|A \]5܌7{IΡ},;Sll%*yS Xa1Hhhѥ鎮S `,. ѧX!CڙC{SX۫RBn`KnUi:-K7Xy ~UY5 o[RE!x,O۝1jʘdxkkU1VYWٓE[#d̍2ӝ&\k5MEf "2꺖RܲxSQ162^ߔO6.yS>ٔOG-OZ۵)ȗ %6VRv[*ݺHRJUgS|߼ ]*M|5;.oEq`L(3όe^ikbŒ5?*.UUL9b!p_KT->%˜լ<<>P~(d:}GG Z3EIjKCٻjӝJ4ȂAC kü&v Ro *H4k9^K ' >֕tr |gvYq!9U ɩ?;QYeK';GWJUrn"gV#黣MߒRCYDS2,R$.zRDc71Kb)jlwa Cgiqhl X΋ENℽ>#@4(fA> 1maᜄ'g4bm,1姂BO$l>@[uh!c*"o§MO?>>u:rtzz~rJ?w6*]s'hzT9~1yz|(!=px^[CF`/2%R+yM2h4SQhnҸ1'"^eB,kR |؉h{~g[N#?/'?Gti\NJAmu=̊"<ĬCWk-ݖw&#`E+|~g}+xvJ |<ԢUum9;`]Emܽݑ/nzgeSήBw a!F㛆::Z)wx.;Mr Ȏ,aˬYrKQ@Ί9,}@X(a.,Qr@'*O+LIhQXh߬!VV 3<ȱ6>yC>5 vS*h `rJGvc{So=%7~zc8UI>QK)9g  )JV;Mv ҽ4+O9t湃vG8[. [=RmyZz#K;I]i^u!;Jm<6Z/c6t41C:x9˝Ćpu˗gӦ:V1,62jeyr>%3,rDkYFX׷#[rWSI%@a.T]Z@*Z*W-ݖ/yAk^pK-ѲWa1~@|W^ަ$6%Jbehi}a -O> oH^DM[ h; L6l߾{+?oCh5(՞޾[*3)& cc7^oF.RI*([o@#Nw㓊gM"z#}UoqC4)66a*jV1w/z`PKI=PMemoirLL2Implementation.tlaisG(?LHB!#elњ-j PڱV*AP7ox܇{DdVF6L8<>o{ab,߾|5Y5yO:>ob1]rju>Yu׳IO.uj/ӪQjfh썓IۜZ|Z/j0;:8ƃ?=>o닋I[d*5ߝmE]].&SAFa=[5?YuGv3,/V'g߳g䤞Mޟj?ānf3Z7o.7ɲ-}XsvuH |hrVk9d'qkQ$lYîy(W5! 5wwٲg՟/ޑ26zqYzVn;דE33~obYMU}y\gM͆ᔛeUג̚jͪدis `' GwT.7Y+,nd>'C'?tcl&Sll:?ֿ @t܈%)bg^\6 <Ѳ]#kpg#hRL}ݲ%ہf>] pZpMx_g{F6]On|1G[8'PJ|ȭ J :|Hh/uuRl8.)8&mh_Tz, m!=χ6.]6Yjo..ղ9>7&<- g SQgo( ?zofcǑ _ jx/wr*w6P_w7^V;e kF8lP_QCP esw<7T[8,WoOf)󈘂6k?4j9Z3y@ d~zX-ş'u=rb &, +X ơ)XŠ?_3³]`pZ%{_z|\zzĞ|Ϳ4g79jy]$רs_8nljzgCr[$7o?-u^?{t(WVkr#El,^e8&)a@>k4;+E0L''w0s爬 Z4I[ί:6|ս]Hw1|s9@<Y0) !blfRs;9"1}v+8tumhf7Ν3˺Vf;:hпjO;9,~ep;iU=u豜j,#Y@{Bȑ )E`Reeav@ BPj^z  meV*/6f-{k>c/>-hTI0#H2b\Ȉ`3!ZTv"Ā8BDe\`V_V&M %μ nq=NZ&WÅQZa`pG ͇t( r Ja遌 T֙J@&c_p~d.ꏕ'-6JA 8=_\AO }$`| pA][T8=VB6 oG,oĘɨmeՃOe&,gcv[CZ-hbSTpxb zV$vk\ ZxTPR *]9!-0\-/|&o\;cbHoyH~[upX{ ʆƯ CO?,Z&Fjɷ ZeA?χi.d;l)k0Bi7LbP пsSIG RvCj˨5LHt@/'K%0C@cwю^䳈K$i߿J'3/!1ԧ0 Lv@+aRIyzk*mUǮ>;,a}!;t{#H: dذ0QH&U-UQwFQk M{e9L1O$#Dvȃԕ>*6NRSV"YJe=GUIέBC۝T k֗SV vmc(^HZ˯topU#&?=6E--$n%R E-p*% ĉLG\^K+oI =z9qE~J,V!p!_;uhz_W}y{Z9͇ٔ*0/|S y4`g!W"ŶmŪzq`;rSa/EvޘCTN1;ۡ1hNHSMGURJ $xhL 34v (QFH`T'͑% {DEŏwTTE"n(׾}5dHTT\ Ornw!QўwQ0hODTx,#Ex_9FɃ9cJcMqN(Ż sÅ9!xE9Q rANBTy r^N.ȉ rqzȶb$e?{1.‰|u!N8PSᄓ'g8gz=||_b|Sy߅7 ?RxXM uÛ`=_@tf& ~gMvh(+iݖ{6qUhVpS 34vۊ8R矷F]Pտee6ǶW2[|ds (gS(x %9OUd)F"%FEGϸQ[1:."sY$ );bjRNn O `bYN[w+<_AgGt |Q1%^N̚軷ؖgc53BT?-O5ӆvm99[u-h BV%}yWf675yIu;~2c2 4&M+x 34I` M{>l#Ϧ\ME@9zF@!}V}d@ 2HR[WQ3?ݲOb©.4efyf2H yZ,Lx "ψQ.,0 S:jOAZ Wڿ͇uU RM|"r%+9;9;y^_yJ24pqr-tÆv{9>Qyc*z`꒖>a"/ F|EAQEK#?8:'㮓?_@LiW7ޕT1rˋ)Fݣ|> #gW8F~(ZQM_oY}wteS_S{fռ2멚_[g |N5.'LW௬!C'/f#6hOwݯkUhA':/;Nԑ @*š}o=p ~(D&tz Ziؕީ~xa= g;&Trv38.mN۬Kx_7˖t^UMAs4o;mK ~|zukzPQu p0Ay>҉ ]^.ڈFT ,f+1{痻z s{c8%!}|O>6/%+#_'Jt_|.(N~|dh$lyP)h1٬|dr,Gش>$pUcn5bC0B C)~zo~sŇ? Zh}\ ǥHipNvQ.&OhXH) #4P/~L ^WAԯ'thP3 Vz8|Sm CAÞ@6ccec( t2Pqh ' #dq'J X6$%/]KnKq$a3 #J]F7qJKv\6FHU}=kS;4t;n{.>X%4~e| ظZ߈&p2&O sq1/VϞY<[L΄MbQmfr[;4L71򭁢9FwBjV扄M}ݮg+qFMcT9c}9cӓ?G'o3wz}^.3>U,?f~%/U` OO],SD>%{2&Qyh"⾠k aY/#xO g,crȱA{Ye&xLgZrWR< pOQW ޥİ)Cca$zA1紈ʝh/Drҁ<#m >mQ ALU"2xk-{ Ґ9ӯe{@ݞ5:y3~iz1-{$ Ii8Y|K25RyhUk BW zfucheG9JttP%$Xܤ飡ibP'S@f+W(J:. EM2^ސbU헅PoFa5/H0'S~A nn B%%EV'dsPJLn\:SlI~v!!XT2]ˌxJ?= V=?w3pV08uL Ss>ʡţ@a&Dn$ې" y@bJ9DycKz5ڑJy--q3 ]OQӆ|yC';XΏ0)NDGcn"EJJ~v=lh1-+rHE ),PFQ{a,3V\h f.rN'<뗠i( % xvIpm@|hO5z &zde&a|;]hJ'G_ ELa$YB&ݏ}h՟˭T`d¹V\3ܣeكn\x}vvLfÍs1G39id7_z+ 7 a_Y'PkJP,l'3Hhe|S>OUGuTlr&}wxISaJ[|he+KZƄwo1c^w !n6奆F/gB!1/t^> b4@-3ڜ2m`q?FGխAZpTTBgC{(nEC^54p'⯐Z]J6X^ј &50UAˈ`[F)^ m' >+&/{UY6^֒|h*~FV&4Ui p$Gբ[ߕ[Pr̛aQ C0a݌Ź\0|~th>w>~0PSsLأo {īOC[q-1bRICf^aGۉovEv 0kb8c>9gJ~4B/ k뻌: ;a$J/޽{{CZTrHn Ě3ŽM-X5#f1„,TTsu@b,aQVb{ɞ P ;RL=tA^օ1@|n-{AqBA䰓)]6P WGyOo- /Lcb}'ln~bKhqT051ײ^r"V4;qf i4 ]h6.REXkg<&pQ6"t+8g38 Q#%Vq2 mHY3,KwUPuZb~w'i.@QkoX2HAtir˷A NEK>$?jT`a3Z|kJ)҅irx{s\aҕ9X=C6$VbC lBB(bZT?&Ae}DpͶEgD1{ż6X2ކJSr mCMk<-t$ p2IJ}qLiS!sb(hp?|m*j#'䂜4/=S}g|)/tj3JeJs˭d`祹9\hu<%EZt)7"0_ѡˆkg\9*F⠛.^nomG $el%#@,DiM"]&NBE0oOݗ$O:( :o>WILf"8oe䵭C&*Fx:Q: 6"NJpaL%(f8ҸRH!.gC+3nE:3Oû5H#UP+ThJz2Bm@-e{[Vw,ݓG' η?Dt tAwФB bې& ߌY%zjƳm=hͼ]M槲S>cjS`埗9@iV3/WCc>]yLlRf^7lvZHͺ(8M MX}x䂑?^K6ܓ|BZEm|u%sDpHsCy aFѐ]:o'2 @,#6uڴ|1aBM恶>? Kn\aQ9}a>\Fo AIOE,YQ9Նf\#élh߰ 140өndS{&Sۛiҵ⼥ylC+n5"@/'KUOY4O&`Κ*dgې"䷳FÂZ02gn,#"I[OC lE#1>oc&UFɅz#ݔ1=BJvOVdœPt&6o9| 35>t#=-}@[JF9I9NأVq@ ˄mŴB1yRf *LUIԛR_~B .{K93]MWLJQ{Aug\,]H;n 6xQ! Atmy,gBa,+ct8\h&È~FhB.* Z˒;J7Ŧr̽&Z # "ed_ *KC9FA:l֠ijVg ~l%v ˊT:VSu>[r[޳V4Vu3Ԯ~M <1hBøى9p-#2 I ͇é5uqv0juJz01 O2w:0)Q0P?x~!P}^9uQ.2X Fz\PDF4mijҗU}b)XL&n`,*9Y~_/AҢa}1|m 27g@lk-nbNQ<컛T؆iYNz:%Æ.Wg V;`Ma6Z*a0SD.Kf6<+u"ӃnKBĔ@|8č*dPG?pXʹ=&/BмW-R .]'7^ԗlgP|1WtwR7Z]a*\P~})_>(@ɍݓ?O6_7[7MS|hŲ*^ZqqiUļOs˽W] ((@bsg>  ٘T| _<FV6sC~3]ra>UjxsrK;&(dO^) F@~Y.MfH-:;e;f4vv*(ә烝dzg{,J>sϵ{ RXPX|4BXs\3:84 bVFR܉aAb(h }߉Tկ VXۿ eSsйuedw\OfhOSs6e_i~r 4|Şj>=[OxP_1H-&Z*L2mZd Mg?҂;NL,\-猭W! M}N慫+G>޼` 5y̯W-vTjk2%(o 6G *7n2mL d8288GsB-z2}=H$D2<#FYA+f%o177ilY5 csA?}ŭ|,tS nd>ބѡ!:)mJ&2A"%$[;vq8bOCFY]IuXY i 0$Ț.4q${+w>QTTȕ٢ĶC,TrX TJYM %->^zݨb>8:'@PHXD4MDX`P . eT0ɀ]+Pi׎h,=azXۈzS 4/,@1JΟϳYS Θm|U,=GrXqz!Gw9-%D2|E'nBד ow4Ka8UV!ZL˯GITbp/$QwBzCO:I!3.!!-q 6_QHpPX7ԩeANӑ{a$ɒ 7 F&7D`n2-;2K>+#䣌҆uaYPws .M 3g(2y3 ll<?yu|l,D:ȓ` D85U yezdيG̯f)~7ɩ4w^7YuVMu9<Ak4/VVwSww>D8Le,HRVcMcYv s,a8y@&"B ~ ZZvɢ% %w[jT<퐺]b'_;tHjIyG@ :~YH 5iD_!VZJ^$ Ӡ2 ѠXOxLCϠcp:]0\̧zu];†0Uwsu}yC;.Iz"!GGf/ĩ zMeE=K @[#ʡţs̰"G(Rq  2ȆAVQuoWL)(JN ю|DUṚo1IoETWUs&6!ϓCq"EzЕ{}%s.a[+ヂ,z7?"/`}E5Xs#X`m_)*3ڿ7r7P[vOiU'AYr1\8 8ɖ1˯D) 'HWjAl[|,ȴ+5:TP Ep@  = _pPRʹTîhFc ͠`ЕG݆>^TSh}ڴ{ k3uFQ-g2PyObR-;i&-Ylx 7^OԷ.d E}XL\4F(hI2BGT|Rkѡ #ِzX di8g,sZ9R5ݚFup9Rh(jX*BO~`R,*y0F?χkpݐ IB=mY_L\Bv_^6}r91pJ twT- PuK尡aAzΰm>}r?>b.Lf=g )*!A?OtCA۳$^ȰBG*Ezӹ KO^ e 싀][y$+_W\L0򓁝6\ pEng>=;6Z jG}-e\zF\MP/÷6_#P 6x%Nm#@,VhI} 2ыc$ڍ`6ݿ#٦$xMZD \'d.r(VM^;l\b`4ah#n#RΛ4q;)…h0(mz!!ZխR[ R3T5(I#U_e= iYOUm6hlOzl;Mz]CWP4&RA›⺾SY3ʉ/srSտ\Ӭf^T8`}T+U3IS&ٯxȑJVinB Yǃ鰡 /\0rC, {c{@H(^dyn(O!l(Ky`ȇ!Pfd3۸N/ո;F0LT<Gca=v{@|Ծ0[ƒo AYqwVu Ozn\Gn˃64{0$:-fAb(h`fݧœ[eLw*ՈӬ&0è:eI+yInmv?x/=+ x_"bEQG:CKPZCs,awMDۛ s,/r̫yؐ x !+aBD3fDX<_k^a:9Fqzdz4Šx8r2w F 6jyj´ 1NU#BBڑS# a4Pu U9Ҹidt |hA>tcL0 Brz e g[f#e2d@u@lЄxbd$>-\fB=?2fs^ܻ4mCO5S i at[t~Eu~$ܽn!26!,`mo^>U_8U&F*v앛r#w#U&Ljѳ1;F}&.MHʍM+yNlokBRzJ;~vxo(hAƤSQCCD28ׄ&1K+qs~^% X@ֈDB?BhOamBWI 2ouHM^rh~*bQ:`Gba+Rt10OdBbfJ h.f' 풐rC2O5`~D25೰ a̛.l`,mة;Tcñ:XZLE'AD J%B8aH3@9^u6!_` *i^Z| 8ZTͪggBF.{XA4I5v ZAHm&YPY"1%oZc%1d* iQU|6 )t@ 춅(A-!1"JRhW )9k0֑MV+Ft@Py} ZqGQZH4@XV/CKߑt~;|NR,xlGKru-hD3n5U+_JΠ$pc@~ ҋOCYݗU74m:lh"ZqXCLW M#gbJMZll['7`>:p ķDGyt]U4&q44"Gp`/xPSHߗKx{y4X>|hN캥4nGY򉜚WֽF"-W7R>L,#ma2q; ܸNh6¢>y+콬Hs9+}4xU$k؅I @{+uϾĺ ǵ2e/3ښWln9 eQuXE H#]V]VVyEWļZ{.[+oжE]]|?ﲸph%"ǀet4rq:ӥXX2 ,ety w S 1,/._uY_)8ʇ Zon~X;$uI iEQ}BQ@ QE 0=2feaHS2CGWsvߡ!.w`6\;Ƀ\mJ #_!VZ8lISˀ`:ڂ1r)wݜ֨G35PhfmިC zOXp&_0[5SOvpϵ M`]݌qb䚀se"?udC3Z̮Аmܻ{!pdaBΑrPPSxBǵQ)D Y!n @H4DաoE %19B I،Zm hE \6*CǪ(4I?Kni^`':, 5fnynݗYxGxe+JCp _^7 I#-!u"29! \yC:2QNlcVAŊl8saS fְZy&|z$*A覍!fk!C5YBt_Z8(9`5GWEJEŖ$gKF33DM,1t Tv93#I0L W:@ ;@Fa s_" c԰?4v C˴6cؠBKS?_̦Zߎ*;I? ᥿lN?4IFC)c$*n2%O=7iDJ Ov@ }#tHVئӛzx,욺ёcp[} QQ%=ٯ諼y~]_Ҭ~'=0wt/kņ5hq3lh݃4aAb(hT{t>ah*)H6nn׳_~2 岹b=K(H}{ ?ZIN|{#bۘjS|mLaRytxdž1Aŗ0jNk;g7TA4¿3<[mkI򱫓z,L笳z@/mo! 'o|/op}orɛX}/?v!#cޒz~Ӈk"ѻÅަCCoR(yLYZ{k΅eûsgpJ :LoВ&>6$n$a?]シиOx;OZp]gv!r{p+ UYv_C0cU;2OZY?X)dq%+Nκх.4TՙeW%,#*]5ƿEg{LÅf:= zAn[>&?L͖ĕvIZ7;om:lh C#fOuy: 76r} SCjkf-Vv!rpaF1-HlǁH[tUa D@w9֜<,7I]3*3ybEZ6!9~)K;hW%t(TA}votE网"hS GT0CPM)ܒ/Reɱ5&؈CWU4Ȣ\I=\ޕ/KI\E?ɽ|8{HN~0)Ixֹ<0~^Y \Yv;dѮSĠIG?>L>W2עEP#6'G=Jc`r+(z2xj0mzWYh)xO&< l%얌S%m23n*?'yЬgD2s+U2ʱo8Wur{p6LA42ʡ[Gp{Xii[` ɗ 싙MrǦ S)Vv˜N%Bpdtmqƹ%-IgP39mHK[QVB(f(=jVk0*0]1177il? csÉ>Ea|,t` n>ބnS*ڦ;LdTDJu!"TwA,q Z(uX84 Vܷc\ѴBG%Ш(XBz~>a\2>jvxs$DZذk¡+ m!+,kkyT&|?G7j7"ď HYІf$]O*+ O/ߗ}E\*ai{ÛWLXjS s SzUgS)pjGfէF+O@pyu"+k» NQ$#F crh"8xޒ2*nD<׎8<7ULNS+`nqK{?`!5=:tjz Ȏ7E K2a(ZԒK6z 45{-0l5E׌*ohk%\ bF|hzI坁Wy}-rm/EI8e9ӟQ|y2IV֗/qYx vI}ÏfbOxR47 *ܛcoCLH]*w '7lpOҾWɌRF`׺Y9 a`^3'N}ZnAw 'sOD-]@ s'lC@|dI*t$Иy:[OqFt/0?762hMAe"K{!._Qq-;eNjМ<$5 䛀(KyÃ鰡=Q9C-yRzFdײg\ `400rM`ӇP\q aIg?NQZZ0s{ٜ~=[T2DѶBc14zLQսM2;Wqhl/}eҧ +^`:zf;2^c;@D$8ڭӽDo֛%*:D *r oy{k3T Y^'"CAsʜ(SF_7PXcZ hh]b܁@dDۈ Fgi#-'4@m0Q/#߅3)|2H S{9cK =W<+ 6ILc y*a44x5(_ɶ6f-7̣repJDZw~(`T# y49HjܳoxR|yEMսnzn+޼ ug 7 _wnO'[NE"!45Xwہqueb>~dG~RT:ѻG pǯQsjd)@)g+̀/< qݶ:?A0KETxw[.M_7L2M.4 TUK!vX<20h }oC@d t0'H< jF-nyepohIN6DMSt?<8v*tn6bDtfgl8voT&8X_S$M3 i/U;[ 7Iy2j1%,i=hh%J/h8+-ݰyY){nKD4ݍU"Eo#!&4#5:nŨ.!Qy#m2]o=0h[-<狥͍2~Mojy vƥ>3F@h;F{!L}TI+UvNrY?xWOav`؈pDN2Fq:xk3&Γ݋%.bɋ5fk/"O4GnV{Phz")"$9MNoI#-nU tqfu:ݦ&@ K;,yY^BaWZ&͒VfX+c" a}Kaw`2TC֌ݚ)cI?dd {ldH.qDM9`` |S+F aלK'ķ-&! 0c 0z%96(h9c| clIh5:/5YgIƷ l)IGBp/F*VZU@CSa5/MF/ 84I-y;E|BVd2"7C l^["hĂV3 bL_oTcS׿$g.ʼn =1AO4VkX#Fa ܂i`BR8EUءaD`MA8IpG}"IH$>\UD/iOO8ȡbjn=%H,h0 89Qh bm9xoF~hڭ0Aft 4fft498 +L`D&@}_VIv v?R{ncӃOf<"=I}iW='1"ixD84s\ղN?[%yƉN^Lqp!rJ5;07IcMNqǐ* Fmj(R8&Ήqt4%^ LVIG<^#_<J2U'U,}r>Ih+kR+2A*[%I4ē%@)Hs|. -+. SF)NX֓i.zWTޜ5), ͉%kcx8f@NjFDt!b7NUt~\?%@wݵKmjW[Uu%. N~\\srQ/!_u^3 S"hOEZ(U֤ظX5#lg6imEP.oɫcRnƗv02et[3|Dᥟ4Jg ^r3pn2+E2Ywh '1TyQ øME`yzo|7"Mec2v308{ 6>4Qvrg6?2 |Y9Bhңhȅ&Jq;,JZ ^rP8H9>)&E|n_m/.k4%oJ5i(Tg+ؔbRŦ^F!sTlb(7vD:o>ka?, EfI,clP km3iAB쪑jn&PFD#҄Gǻ-hiJ7n_ΤGNN-9G'"g>Y?QHO%}6#uo|ʣ }K C/:"LI=0h)Oە&Y|@&dQ#Dfs%DW@V;1ɵjb$4j\M&O](ܱ 0Ս1msvYzM4jAY* '*3|L7*]&ܞiW7לolư˵ _ȥS]iʳx'ƅP20&)G)9^D!vVBMkj-G hjpc>mWj[Y` T1Bhy36[iRJr 8#جrz7T6%iy6a-t^˕,ê_)'CIwUj%')f)(F$y 2ʇֵ{}h m:lhOtj獜No˦_Mutlne8u} "@ݑ{Ru4ͱy\~euQ\=>@C$c0S2!Ǽmhܯ,x`&Tlz6YL&MVoCk@R[d\cviFmC B7ooU0C]/ rԜ+fLd;5hV+<*:rU}t!#5E$2 F Qj?s{'(M4߁G2hpE֡1/@I]tOR6xqd3n@tg΂.a{6*ߒMАÅfX1 %m_ܣ䆶CS9p~Xi`(ܾ_َ#aW٪eY#!@o;hZGR=VMJ|ӑ v&B&O;=Dž0%_pIj~-weJr>|4A4j]@YQ>QwדQCkB!=R5z8\nnapk4/SFPtWΠ~ £Sc:5Wr]CEFo?Ža,f9}ovmK5Ɩt$2DK$EȎT[AwU&99*lc.KMK21UU?WvG獳@ڠkQ Gy6Z;Jƣ(n-;Z H\'$@eߗfÜQkPut'$m:<4gSE5%(KLW8[/q_Bl}WY3_0|X͋V4<ˋG*XFfÅ&xrI l;r.2恇 nd|{LYD:3yƱ#I8JS<ʋpeMvQ!"M$J f6F ,$kY눫CDmL,;lwl{k q%a -9&^5)V$/#FiD!3P| -χ#oi [c (f(sq?'D@Q 4@^4%X@7йm:lh`d _BTH}/9)*$N0l+ [h.-%-'"` Rd'\6 E,̚=7(PufXF`ق>to Bh20hM &Ç&U!SPƌߜAo(EځQ<5JJ5';6X?FyLa*Я#]ڙ\M3wP(q|k_v>ʣ#ψ#E( sG P>iWa$[f>fPa] иS5~zgNj 1ݜ)Sl_7Yu˺yC[_+4.ga3O壹Єe,M T#fBÚNd[=N} :ޱ2$`/wMw.4nx)k@@@{n:K:p~e[UW k)z gOh;ä́!="P*] pj9DbYKOc>85󼭟1Cq ywT xͲG^_Eާs{PtîT`D2 ;&iF #?Ӂ)n]$q pSC1G4 OFڠ qr${-C )"i:L߂=M^5AЮ5TS>0h*D15ol*ͲvZB{ ڜp 4&* Oq 0Q|J'zXtS+$}ZEA功)(CS(6ۖe#P`CN&lI.Tr7mEؿL>RvYFLgϪiNXv%,/'kr2)<3hny/ s6_Od(>.u؁ѱM19 ydI\$F$t+2!)rl6*0L!N囐6V nî liN6f`ff,T,Q V6XWbȊ6" .1?07{_^=gCF$,_(%8 l'< gn3F_\nRNW'! YZr^Ҟ4sMN!4n! u2ibXz!fo뱀7Z*}y"x$xa-w-a3ebGGfǹQ% b!ELNOfvrVK}be7@(gKqFbD#* #,@8 =ʠ_g_ ]Xږ%rEh)+st^idk!'Fne vsV8-֮OcA”߭2z[H!90"yNo盳*L%>Gq&M~+s=SE}h}1Rl uƙʥ%§V$dVo7)yb]༅ CWi.R`HŠBT&{p,VV[ qv;rdE~dth駻Qh6t1*hUqy>V:Dc7?8~qFȆvB3Kd=D !iVSЄ ZMuɲ OmDR,7a0+,#JA6cDbm@XBѦzPxL*͍T ::JSSQ>yl6ZY?5>B;Q84bx&)wVm ؽ̸vobO9;)Š(|MJAcxfߩP_MX{HXՉK 4ޖˇg9ˎv$|9.=Ɲnl.h;ns#T#"ȻND͆ mkb`5>S3O1H ]J#4NqBS8ZZ1bʈ{6ޝ 9l7 MCoɠ&_"G癥~wQ:ks Tu:]%}'b{P+)G R]x#@S? &;Ta&)~PnLzJL:)FDF'Rae1胋F& yFT,S[es^V9jzPvY l-QXό-i?-O!LV;6_V𶰜"q V$ѿ_n\D{84p/DD4TLhMדK4:@h .]M ? `,D 9qACN,7́f: "84." f0b )h쬢K9B0o拭8N)ZmyY.> HZ.~:D50x Z/7%ƠÜ&NMBQ\=}#nr}605_LÓE>n**?`=ѮY,;|IF 0 <s/i6d[Ѕ8`#KbL Dz)׋zrc11tMReA |UsA|nP eڴj1ؚ?oB׿Ty4Q{!gD^tr=} r(O2rH 5%ZEx=DnИ6U5QKA [4hc=cߓcYg7?‹TӏFY*^/CU\,*ݢPr_Ēݱg&A7_ʓs32^!SgX匂 iO FfT/59 U$ldN;5:>Ԛl2$Ui(:qfH/:< @Qvpbo2Ad-,rI&?@44 &Qq,jutw<` _bt+,*tf] }14⡚O ({i(S>S ]A V}ԛ{}ĈQpQ uFbs*y ~ V/3M up3Jɰ^/h:e q1u0 6>4ޞ:ÂYlU3婵847d־~詷lJjihe)(kudxauK Z>yQf\NIAK;)aT7hp$(1N`(zSg$0>L#[i`|3;[`ٻ{xR#ܝإ@M]=]Zr%x@z/DZ-TTڇ=[Ô!vOD CfܥPJ[S+y[h'9h$EL}Ƈ_ǿ—$q1<}DR/Dc=埲+4~]C 3P+~^/Y!D  08iXa.H?뜾CBJXUQ+N 86.+;@.;JT@qʉb;qz7_]s ({Px>P۬I+D},1mG8ٲ&[N&LVfAn?\hz,fqMЌgp7Ōզ'ZRnAڇ$p#p35seZV8|{tȋIA0[FTul kmqY@u酽$cZUχ֤0>(z%g(^VVݐ.D8$S-y7P!/ar4e? 3 0F-.R]_Fp`XNrg(?cb,Xn>.gf>0 3(i6KߏPD#{q]gڲC.b:N@*4Nsb6.4a ̈́g#<%.0~=IA)j Zi! m [ 2O;uxI£NZaXծy9NV[DK^buAKE(k xo9bG{ȧDB A_ F|?@e6"quNۗyW^bR5XH#qL*\ TEh۵vCc8jY.h(#|N֫zyaJg7J)!<50hCNEFnkxBDx *%Uct7{NgכwUj)ɻT[Xk%rA!wg9  q9nΩw[zFz#V0.o.! v1  ku$ŔOuDb.avdt_pmYd؅A kD# ɸilv,q>#@.xL>t[<,^ S'!˻%MX1E?+:'0@c| . Ծ :4"|E(knbBȒ qfi~GGߦ nz+Ċwu} ]_E@%t;Зlq.+so/lߟ,ȼT;E.ȥ˜+sW$D s(!>-d"\ v+pܬeD:䦺j5ae3_W֨f0(g]cP&!ju/uC͏9|R_Ü:1>8 (~oQ9/SK:2"t`K!x3꼞] 6]k 3CU;&p#gĭffDf>e?yuȉ~z-T;w0F.*mru@= мW򷐺e }زU&ٍ-Rą&]Į3I;^lgMɀ–M+[GM6yEzO+F}`ƛQ佶%K 0lfiI.͇A;Ae #vQьe?Bom |8k?<[HrD@禂eqa98 *'O{*Kz5_#x&/~FFy%:~f%UX1*젒~C18-8yBҌ%2Kb}ɇևS`ݭIěJ}3&{w1!J=G$Zi dAb4>FMܑI[ɬ]ħeӊ%8$Yd":o&qIY4xm洞h$&d,J3%&tN%F**PY:^h"̯FXZXSoχ#1dDJTp ilU hBog40,кzYdZ\hA)S4Ӥ@S:}-J͇&LƤH s%F̴Dncdm}ձ*I%y vcLߗi3{iV֥C?nICٶ\ƖaMզ6fcRyXBB%ï.&"_U G|xO@@,unGfN6U8|hh}@,Q #LXF~![/W7ז͍eBG1Rn_ @mGD9qlM#G@^)/B j֜ z6.4K!1!g#ix une% ‘g;9Bhmk取t> m!PE{5e ms#>jY/׬Y1u4ް [C7 q f=!hZJ{3XB+ċ%+WlV0G#cX8::"#ɟaȆb^-#pmǔ~'=%y640ns%O BTIZE .Z2M M.VY|5n[-Dā+{ή 6AybŸm5"!Jc6=ARccӗ% qtI-zˀD.ܭz͞ay~@6ed #lAm Z 2Ux17`` 10`0s7qhѯ c<,B3cQsn40j3!{7pgQY a@ (\Qgđn`8!>/?rzc=#XX0F \^dsCW/bJXHN餕9H|¸{sET2J @<):-DrDsÊ3DHA>[ ["C&`VȶTл٥emaiYGqY39eˢ+v(0}}-/I(/jj.3K&U1F;hZA@s  ^(4l/|2O# 8g9Yߏ={fb.Hcme5d?;7g" L&PHƘWA[5-5Ajqz.8qe~̥u-(MG)tFU`gөO  kK4Qar# =att #35+v[\pofU=S{ehi1Sn|6^vRtjjZK[՗j645 m!6xi$y_ ya~h?8K! YOrKR^;JB˫4|MID'r%s S; h5]PMU&6,S au3/b%-+/G $4޼H7@>Gn=2SZipKJiHɆ}=_\WH 0rdlnhcop;;&-[0m}-Yu98giPiuʢjqfLBMƅ |9(4nn, Lplƥ^iN8F06s1T!+8|:V$2h@.lb]"dp^uMH0Y %,GQ 'L.0LL7R4I8t97kقUچ0}׌\΁Ve^8_,/<77x[YN'p@Y\^dQ`SwQ? v2fz٘>TLD=X G^_EާWpaѤe7̪3 = e7MCM%]箐:l܏wұq0?#ڻ ~Jl_uVb5V_7+`(vW@z;o[ٔ뫀c}LJC*JmҲ˵j ~ˉH,噩+N,7zYD7rZB@v:k {D/QB1; wozm"U%d>l!4mC@ƒ&Հ@dЄ}7/k2TN*FկFX Ay G|7>{Ued{sido\[nEPvĈ d*fWTp|ZjMhGϊ{ȶYz]X thB>t5*r6c!jӹOxRWrim'Ƃ?!PʽEj1u ?օF ۉfG^궳yQMK1*r(꿰[z-rLyAh=IH2SKLY)澗WKF/(z$?W!y^mRce Y@SRil9_~n#\Z~3$xzE2tBs^.BVmQwZQwV] iکP /[@*ֹ ᩃmÔ[&JL׽sRrվ6S(mpġ d %bg(4X#g.Lȟ߬se9n8}G".$xyL*nR TC<$b/M V-hx7~r1\e$i|cvCczc=Ox'P}0NdPNէA>5+z|DN%{)YP!sr7!AT$EF%\ӄLKZ!-n+B^Jsv=}3|]A0?vEC͠0|6<8Y0hqɎV3s'CeWڵ 7=(xDi/`҉֫84.%{DoC#RB\3%eh@ex&c۲l̴ȂU9mpF] tQ;΁6`n&p0ٳv'x3p5`_Od R*yfxJ&T]|v;IjZ#B Unny'g:n84&ORʄLDB˕P{K*Nh,27qVxZ,VvRiRvJm۰'xp3[.Jʲ*{(y 17K(r\ qUX~c 3 8gsfbDq$po ;u݊RwQxC~Ϗ.p)8! 6;#!-uuyG;HJ|ŁwsTYغگk\Gqq,/ ?L8ۖ-lNP]0k{bH-F1vKIc vgѥw8`#Kbb(O`ZD2zrc1ʀ{bxif*;~dQ2nVk B~ڴjʔ=63 p ;*$ IW]-dh O's7EP0]xl+ k9`ղOC5^c^id yKO-ʦ^k^=9欎q|vSAv} +u?ǖS^@TSV|m#X崕`6cA ;lfBxQ)٧+Z*I+u@=5L<\4!0{ RCݍ07l@w[ .$yID) Z=j6CnX+&|4Սvi ܖM9SZM$~M{26gRc|tl֤:ѹ׆#ѰvIv(/y؈Q΍UڱCGXu#hJ!f 9Hcy)4+*)9B:>)-DlBLQ&ˏkVE2.s!N `/NyG6vl 5@qyvIx(|ϬbI"?߁&BmMrH9OG?-쥡$Nqh0˃;(`.E)%'I0%Ard;UxJ[i :=Af܉+0hhR|gaD (/&On<-K}bx֧e@d 3]^)%R()u($ͭJXLZ}SQn;j:t`y@6Yl~>CF͈C3*VFV9nv3.XZ"*(,/w2Tj獵cx{uB VKAd%A_aOsܗfsT+Φr2m2Ru-hHmJJ_&}ZB5Qьl$}7>U_D!h_129Rz/c&Xh %d@ kscZP5s6!w Ev7ss09=rB,v\b<>ͩ[m֎eSlTc\C!;ٿd+965 :{Ӡ|V~BOA;1 iQ/ 3wgUy!7:3`a᛹;M0ʡDj3br ɞ$$Df5Aby>h*џǜ(Q ɓv#jkj2_*i'-p~PȖG8?"6"tdWc F"c]DWY|vyߩkE!R*Őٟeo[@/~ȵ ?-9R(4ZTK/7afE <]&rcG3\"JBSnoϹ/YxFK*HJAKփ7U2\.C,e](#4sxle|ә:\N77pmt-g[2zh}MsFK\~3틺bbߣ(0dX<: 2Ǯs?2M#إZ' $L} 8Gn%5Ҹ\#ƪg_苠.RpH$Be i@/ 2֝@\F>ơP<V]whJ'm$ 2foE@ iMVouX{qîn+MB^oMmg= gDV/7e2ՂIQ\yƑASo7ʚ0@̴%(*͹actqN >zzA )ͳPf#c̴ XLKh~iR1 c1#'mCc9wMc]ܷJ&jI}3_v{'&8QZ/4Lui)1m\ؤFֿ#4ׄD=UdLG++#_sQ!2nޣDR/-؄d!8+W݇8_`rPt PCQuGvGn 9EscKyR-%X3UG뉥mt3)oÊn n;F7j-%`=^[Hg0'kqRv }P C*!D0_^9^B-fÑ9vhh}FLS=aqꘌ6&7J\i44377a?)DD5:9h`m{oY_HL0nh*m,\`X3K~<o&M Mǥ51h#;=( IоG0㻏隘SH9j`GLמ}84)~`J0IrXzsL|e6$'Z4} (\42ZH]8#ĽXJ3ýHa s9?@[.3'J[ƯYBğwfma9E"A&_sSXє20K. (`k]9Z3xw}EA'|BO$),Nt8a'j0f-좡 "84m! fhGNzDcgE_:@ y5_l itOoC?Ap9V@r\'I~7"iK`xٸɟv3-pig9MB-ңRmC{3F7n&@H/JFkI"v7QhWn((`,R>$_DJvݴ_J=bwF= ]O_0q{x^mH7]-O6{(=c8\+.R$haXnRʝ 1ud+;ܗ8^=i'ǜ1>n؏ݐo HI+ 0h&T%[Fpr*̲]a;-ў3 MF&MZ*Cz6Y~\Fh={;FHHlK@S&J2YV eŏ>L44S=@[VVt׷HGQ-{jd%l}kX8'qt C6dZ.>BK7j {ףgF7L_`'Ǘ?<񯇯6]|+jG}4Pק ܳB^%>f^fÀ"}a'EWJ y6w؈aO[uGY~7(oQil/ҔY-σn%(h<c#­ic )%R8-QXVfYd2m0`"J)WdL7G#/#nv 21]bD>g"OKdpǞUقa1hs)BvLHA%[W+FU -Trvo*,rCk.v4 i+uND;y=$2Es)Ή$Ӷvr^u\Y~1)+Q3.>_rmmrH9ru _E$.yQCL:l.&ѪS̵zs{/"b\mW} )M` |J ΁#U+H\Գ> m)E|ι݆&ݵOË:ح9xDb1O*/!)fɛP|!I w%1qҕƩ+MOAlĎ9IymNrk H1 1Zx'5ʐ?B3>3ˉ@3(hpw D:Hu2?(q Q%£(u(Z ͭ!x2im}kMOE [rÕjml\|"Lf VFW9nF2.X"J`0 Ҟ>lUuJX58;AgyX]\vӜ"%A_a\]ɣEJ!prbZNMV3!{x#G;K"/d/fKIrra%ދPSmj/maC{z Jh:z ]9.םQ@381̩-)zD_>8=ה,I3WX=|,kzFzʿnw$ kȇA<6=\ -4tyap\</}=I3zeѫe=c{<#ĝ՞C~*BcC(pTm}T G%p86@һtOz7Wzg\(#C}_@ ahr1 bE "yVj"\\2`+b#Ah߫d5uzXI3x%>>L~^e~{#磏 o"v_̙cM(>܂<&k k3xnk8|{t;pm4OѢ4"3=_\+{\t~Iծ֫U䎎U}\: CAc'?GK 䌟޿Ŧ' N }hm9d0A.@¡0yV"rIrz'J%InY OKps<ƣ==͆ MGR>ji K YPyZB\sA^ph+<_|𶓄=ИH1v#,G Z猬5tN3uH\z!+l \$q$vE.a4-v:C5ye`h®&zϋ;6BvTi:ݨb A \Ĭ]I;6ˣaF-„`j< Xڳ[q|uUOg腞&5CFY5t$fR0I.㘠'չ䙤=Z%#ĊҲj,(ͳ %2O+&8s@pƦ.e1v3xKtw̐̈́[[mŭ֡|I[t­;:w[ y|99q_9O!#xBmNx*C|~+QtxW#l}-Z^vZSˣb=ap L>\gb౯pH N"ugk`U"A O&3^H|d0>?á??+C{z߾!/5p|Ln;4|*eb[W[_\?#* XY|DßG3m,'<{~>VnO9?7v[á3l~O臿Xl\ukdY)Ffl}=G0s˜f2]) 捃T;ӖXZ)p4 (A$a %{),5(RiUj* ڠ)4Ī $@U` pR>b jY3|vEn؉0pCQ˝1]5tM_`A0l&(S^AЍK'_ -MCⓦ S $% #!as 1FAYdw>|20_˓L}P`jj%2BZjfXwn"9ʼnl3d6ǙÂf2M;Z?{!Bf0_Y&Ho*F%f|ZL ښAã %JzD:nS4qUSWOj*iɯ,i i~>¬6ϳM.S5+*-酶mA&@(0(B$*8!- "ZLQq[Ѝ!Wc /]E>0#!m, Uu.8-!nlk ΠZWlHbz!P(B7+l_| fmeܻa2 ɟtn1qB ?6m /3NP|bA0F!1<26x!blP lEFA4@ >Tq VF+Z5`xV6է12VFCWtiPEiҠ٣@rpEHwl"*q2wT7/#6rmT!O5Jƾ[dytW5YS||A_%^HnQ 4/""+3ȹwךrMy8kh|HCnrc (K7ڃ#h!/QnmiY]X-Ŋ&Eғl (9Q)__e=Vj -YƔnMOjЙ)H f)?~Dӡ o@j raZ}qj5&"وb%2s| 4M^L Z+8 rCm%ͪjScj^NӑQu.3PKZ=ϼw <MemoirLL2Refinement.tla[]oۺ ƅCs҃:-,JtU]Q϶%)(N7D>|TOOOO͇OaK#-Y^x}:<\[pIbVe̘L >e,ĆdŪ`%)Ȓ9~Ne%PI(!2ٳiCNL3)L El#!5ɕ V3zJ;|~vrwy{OՓ%oVzitAGmPd٫fyEz]=5ۮXbf]@&5=<{#k;{)D=_ǒ j72ӻ۞uxGت:L>݌6IĂf˘ynifK$(bkWZJ`ӿ7T2L )d*vQ?E{~aS$ʾCoh<h)^b,ˆH_?~|+dbTiDnKV<{|9La`wִ֪ފeB wva֘H[P ү ޞbɞ3[ ;'K?*u='Ɔ49Xӌ[}Ch>BiN+(HG!{kt:IhOo>Rh,r[4=[[}`9n`/N@LJpt)u5U } `2oTIXEX<:s%z m6J@%Gwơ؏I^L?J[oߛ0튶a:2Mk1%ٮ9\T%lPm蠑wP3ؚ.ʠ`Xۍ4Uuw!"x\WQMajU* Cl@QCquqKP_ѸvxUlB^%>PC@>;6/8яXZ^k6ب>Ō4(]:$ HB0*i)vdf||Z*䂯,)P29`lS m{%Kgl(΁QV5-8"XgZ+gJVaj#x qTZ{>L%~l7P@٪fNVw赑@SQSwͅwU>4>k-nz֎7b>2rD4Њ?e,nГ~ 1K+F~h|kj:Q~Ղv PlrzW $6yST-A1O:m9^n-9J UJR6yQ*~ %lTva7X[`9QRIr:HC75Zj cT ngȼ a 75B;\-V8Bym3cG/CKFNK]~]:(CMVv$|n7 !k>+1G^r]~[5z=&y$Fhҧ= WdyPKZ=vC[MemoirLL2RefinementLemmas.tla}swHՈ )%5++Jʽ;͙a3=C~qj<HQ"jKr? O>}7ŪX~ϋ2"Gv Wv ZnQTj]I6yd<\|-%Cvn"OVպJxahsyR+m$0=Ң-s2@j\]GV OEEtK&g}6WUUlUI·F{zCQ}ËM/0=jW|rUʏ˪\vZ ϫcMzmfemܹhKH3W`9NM@uMSW R'w7ivi};)IZ-K`6C,}P 9WUUv8E>zti-@ nnH< I<@@9/U*l_VɌI=YS|H΋|990f5. kl$  F~:񛰙;}i|~i_ c#^_wG92"Dwm{V %zGu^/8)3ԀѩM~89ӽ|hG=r ʎkpv5J.oNJso)ܬnd9߇/})lYNtſS>++u쪙*׵/t=:_{MR;xƐSXJa/R>L,9-sZOUi8EN9ZcKQ$|c>χZI|c#BVtzQ( DM+:ZGBz`mX1\Sgr21}ºNV }5t! qG`9S3'm渽aV!f{N+Y0r`$N'MO1omE*m*2UԞPqjMa&&izTA[3Z>?b!Zdl.´Xެ'$ʆx0mBH~:]')3^3oE*-̶.ٺ?u2e,U}Y e Ob.5g&%L^=ټpfnjƪ+Hp4ʹxuܺ^[~=Jrb)>[ bpӊ7ػ슱9m9~>sZ: hpT#?:R}uv WeUMToge"Tjh3wOVf}VSZGɑ{NԣcG#9!~Q:.[j}n[Qu{=RWf{hIC"]ڶneU7\ ~3M%- HQ2B(-2[ovyVmx=fTz.aSp "!kohjy\syY#@I[FG膾49mDNjlygw`Rg8٥hlU^e8aaaOU9,rCxLtrSe|PhH ~a[m6Tꖇw>O ciRBsCF(T?<͒ʮ;팦%f`.(m_' cΘөU; ᫭цFP_m8L"0ͤ=ߌMZ}p]Aփ*ChV2t B^*j\[mt0jRPk* 3Pb9˵<56Wĸ8Y3N:bi0ޕh)tj__PEcAU6D٭6ޡmxKř bnyR233ɾodkDA5 t y&z2n Bg3}l']ϊ;~et[!=:wՏe{,E&+W"rF2xK;t*vç56}SOSB )P28,M=Y{Pг8aDf\kjƋ9Gx?Hy? ~ޏ4lܛ]뙙Pށ#x?Rݽ&ͧqHH iD=7=t&f f*Yx[wVܝA]9+Ί4YvpV4 Lgŷ.gE\Ί`IrV<tV6ϩފ[V #u%u@ u,@ x9}N!rBLkGObC.8#2aM'p4eTvFz%/>-^caHIٔDQ4!wmDZߢm>ÖazkW'BC\BIhE;GJV稴vl3zwA6a1mQ~$ϋu>()?״ ?C&뒞iRgD dwI T3 umA[ykS,!A+kg,Vl*h2Yyc_%*F%|Jo2,8M'53OX* 85qXtQuz=^.Q]HW u/)c.t4I[Q[1O\zq~r%Hnjj,vdԡugֳ *E&bIv=\>uoz @wcl^Z=CiՙZ<׊yj%kj5넔hAuDJɘ%ej i+v@@[-k>[;&ܫFl6|a/^L4W,ײFi%BE* s"Y]kxѲyzonr{)iUlL٪css`h> cvZb1u. p}K*NMoY6_\zdU&4mDe;J04~Z@:dj0ڢtx]1 mؙZj6"dXsAd[iP\dy'8u&ܙ- ۬Q(iOXߴ d.Ttj>c݂(U1fJYIfdyU nuy}Tbs6SGx&t2 B{B)[nԈq;8o*2rWmإ}tIxީB>Ңv6ee5'ء$i&KjKjCXU6άu-4@2T:S w+]r抨 y aJOIY'U_P1;f*9԰@FWU$aoYD ViƉ=WCE174*/>4y^#BP7hfKEѺbLjxK؉Nq̚om<$o`Bvya!l@L4BL1@} C&dCGg6H?` qH'YQ*1Dt1vpȃ)zđ')a<~hD= FT^Zvm4์]>&_kD3VM\PZ}ʝL*6RWUE7 >/ +\G5g&8(At4Rpk+Y[26шbIφkhKKh u{ v DND5MVo 4< 4c")CHuҵь8IW(ַh2X'aoaC[Ջaxy|#3v_W{V`ݠ p"6kVœL-{ljHhUϓ26dG1= "5M*ы&MK٭ Q\K& H8QU#D c9ѿ̏q۱B;]hO\z]nk:qDr"&""؀^n=S?mdWsW"25ձ&g,˛8XJ.\h}f F6LahIp;ɡGa_x7xx裫3j[K(uO=MoGO77 #r#Gm<T75/|;Iy +!t=EQj40y tUt3]U71XES @_ϤZ70{ۯt66;ogSB<\M叆[B~ eV~eqQl2~:O+F=Ts!hvH,Eūбxa(Z%xN l6T4W*7'ޑ)) 4іL]}bVy #VuTR"2UDNA3Lf/ Ջ]fk4i",Z2QG~:񛦙#OY7_?xL#𹎵R E͗T 7bx2S/zUJ/ACY!ŵt8FfQWiStR}RkuV ;%[*_WfM@>/a|ր5Jux)2ംOS`d&Y=ߙiO+ :ɗ<:zz@Jh:EU z@)BtVԭ|Mz@ԩ[HC<2z@W8rah 7% mE@ TJ.@}(Ke>Y?"%BJSW\,= k~HsMʖ\7G@/uT @ 3ً|Pd<-s'_|rؐe2~NWZ;wnΊHykAa{ܭuR$[¨>-fH;uq^#s0C jLr&qJo(}|+qM44!6Da/|E$\x[$O}m@qs*֨+(U,86bT/ay|р?ѱ񈬙)2B0u`JoNFZwVC7D4Ba0wWEH ݤCo=QNx0ҍ0#ZX^ZM$MM2qj{4$Ҕ{=*h=N;ַh0adݩ ;5w&<%\٣ hIET9_ze,e,e,e,^L8g?N]WcHV4bU-M)YZ)%2UJ?ɸ{[m2$$\ K6a׶f`ЍgGVRIɒI2}[)+Έ<)EP ,J&hfԹF4q_ CRYy6HP S1gKVB;)и;5ڶ$c*1 hzEONzQt)@]W7jA?V--8bD3LKru#\oq4>|V#~! `6ly*,^9ڔTeCSjSh3p&¨u >g.@2 9xB5rLg \j[١.*FF?mO&1:Iz|yinzir vy4q_E) :yr;+Й a] ߏqWw7.H*Gk!GvA E g: =H>4ܽ"/ [ΊA"FCC{.,Dizh!ziQԔ(kx1{"wDm+|7k";cOZj%~8Jt,] )UIg_ʖi}Vlpf-* z =Rf+iI#t[gorIۋ:G)T6"[AšWӬ5h +F90`ɂn)WíbD vmZj Ax#,ҎD܎Yj4dtzE;u^9Ir-VCIYL ?A#Q:l:pόDNsBէ~О^?=M[iO& ֺ"q;Ԟ<7nQ{r˕h|A{גV=mS~= =)O'IѾb{=z:ۣ7%l݊c=мHα+Y,W*9g9aԡ^n6EEx+lӮ DNˆ q ' GnQ~oʖɤ vׯ?+~뫷& u`8pI NZgs}d !b u4CjHmEh^xJo2|m<;1ХIo/$"[X[qwKtFШ^d_j줬U142LvūID\)Ս3>4Z6ѰZrVqVgQf٬h2,hC>  D2UecT^#m%"h] gNgCmzy@d]6mq\@$i"MH{N=z}n*NSS<=m$S]38iˁ}q61%)B0Ȕ 0/^wr{*ŰJB՛#^"?5w5Ieo 1E}=XR|AG,` רvǩ|9"VI@*2펀eFU&P8 &:0CjX aްrEI$ah=iԥy?,\fFf|1c>}C;S@DCߺ8W{Etآ'cP\@ȏ^C ɥ5@ XR;+$GaPw_(@H6I7ut"=Ye!RZMw4J{eb$Z$xlx5NI g[⭼Y!/+cmԑ %M9v3Rkji5STjUr/YuG,v~^r^WjF!6ǣT%zL?xTR7ǚLjb+*6)oOi}]ek*Iqb]N0}@_ Cqyu?D.GeKx#j4dF}6"ц) M `K N] T(Nn:? ҏc_ 'Xԡrxb}V-Ň}E_y>=}"˽xN>~+al7"<'ifh>X]i8,#\ /ݹ`gV@~Dp{g2tB:zBwpu ܴ0t j4}nۯ\z}jY"*'[K+=Tw%ZZ%s.yHf-+Zy^vhX=z_Fi~~q,-#y wLUʹj*a;~Qlby/҉AN_'FBc"@i1HT|{K ]C n(8H繻+U⡴)VX]zyZ];d׽QM]Wɪ4xnu_%ԟjhPp=o44ld1#* {𯺻|Sž{nu䯫 9:G 3-1?WA: uE24'Š,z,\FCF.#K!r*X>԰FB/:FP#k;_u>%+۲FF-~چSZNP}% 2r]+p}[|!A{QpN+b4\s8.\jAt)}ULv敁tPN>*XRB$]>/Y#{Y-͗Xq(|,@[)0:>tИ./Z+o0~lFr@a b{I 3v&u<uxȣLmDkd+6=˰gͪlToz_]hwZUl0h:3.h3AIyPtM{v6ȏ8~&Z@_`1M9Ꮚ˭v-̝gp ) 6=z.^v\%i$EI!zz;L,((;28 cul|} DM4F}0n zH jZ(']#Dr2&T 4l**lI]OL{c%!kèxDC^-٧UQnvU!6ˬX趰b .L$8k/vKC(:?}F#, eH.wEy-:j<XȲA#!tx4+-ä^$cWq8:=hh(1֚?B;guч!&Kli*X!),jDyeG\h 039(,guŮmH4Ļ"e`!AXƳL e=lpaԙWG,hBDCųwyEk 75[dRGjqwj KOzQR|]MW$sÅjd`n.G#r¦O%d+`j  BssyfW V0X/?h=~KAhs~*m2-Vyg5ѼVK2_Q`k*?xQn!0@=BAV Sv&F_!d' $Xm+=zz6fktLL|rFoVMˊ~%9/ѹvwc/+[W-JɧK";|:j!edo ֗S5bTiW>=|e5VO>zjNK3m >!vȽ; c(:)'a&$MR[= !e?yS{J. 2ʗH̖7U~|`V#U,O2xEEiݘ&UєY9[!Jz 0ͿuqԮ>⪛('II>Kn\o,(JJbL$'1FdxRfBc {)k7ڂݷsHDβzxh-iN~d-!h}^]ӯ.Uэƾg񜁆NBt,Zq*6;gŖ(C P#,朼Kc:Z,v9qM!ov :6bFb#&i - [M-[B ;'rƕnO-Z1Nݏ۫PGbrE4x$2VYIe+; e4"+Ibs#gzjͣf(5S †6%6=i/DqPzKm8t!aao>k# h5\0|ZfMԇQ/kA/OU<2qWKsXs^rẇC<2aMÂCGQ@glOus 4VvSI,/i$ ;5C&Q Th-MNlWj=mWv$p?=mOw]"B 1#R*όECJad-qґys_{3;CTJ ̌B'ζOq+P= u j)\cc 1y,4𱚀Dž Uc3_#[ WAطXDӿE@&O_G!MI;db% OҧSWߦo:KFh08Zf\u`('un=,ǂSP5YNfn-%F#[d9i΄"äV}f3Egŝ%+sQzt:BĶܥSIu^IROC"Fi)ta6I !K)JAɭ ,N=] 0;+P|SHHh+h?j;bf '+ܛ{38qovgfBw{3[fo<\֩כi7#uy3`|Hx3/͛{osۛƮo792ތ5cx3y3Fay3ґʭtĽw'Zy3}fUoFx3ތfI{Hf7B iX!o=qK#X}˲O#}i}vKUIfR.l-E܅]EY+;T8YGehJVgE%eHՇEj卌!i<",xt /8Ol^T0[z{֖-oֿhgY"w m^TidKjxɳ ,`Fʊ~.~9o:lQdjFyf5nV?Q!GZR6p,= WhX.٫YRʧhGn oQ؝YY@ `X~ ~~:gw: 8Fy}% +yUB]i[us㒅08o2!d3mf 7ht#r &?hOZ|'eVqUlg27v+B;k)f%0l`lfrkxnB\nᴃBG4rSNv_RIiWI ^NviN~wu[-֧"4lå5(A7U:|sh矛\N,re`xJy];-&>Ӹ1g/Np4=>H=Y M|M `qy7BΔ.L,/EJ:v,_noh%3!ʃfl;_j#}Cc@i0E1єvUSk;yjnowTQCP\򱭦""w@'m 3@\^DV?"M{f%zh )6h/0 ΀e=Cܤ}&}&3@/@oۙQ8mDq.FڳՆynJ䍠G+Dh^={g%gYYmq203ACg;bn$4bpdȖB<_ \ldz喊ȕv>hZz%bNtJE}Y^fᑿm)iFT\dHc̦LxJkQoK{YhmEwg>~ol b^^ӵw ]Ú&\zteUGC&PS%sFXAxMaXy}׶RTe^KծO҄z G|lkZIF?hiB |kS &-ng n]-9<0"IsI/ϖ|^.A֧ h0qdd)>W[r: ZaøWzN& hh3V(]Ϭא`NVivA :b5rZ[\g?뭼hړ򺧸r/ЀX%}߹e1 |t*_ B)=`!d ?2Uzu(:jrCs\0 &-Χܴ4&!@Oqk̢7; wF%f~\z"Z:$QG5:rΛ3vOudz6HD,&&f%2˺t"m!xq_dƱ!Yli!CH3>~k ڼSnN;6ۼ`wQm>6*rFب_5 t KûMZ,d&zf;U՚mLVm_ҾT=>!7fO[ Ԛd^`}ʂ,IbG2\aEFQkЯM>3 1wDxߧxU` 2|_RZ>+z [Є[5} Ar oO\jE5txXl{/RL DCӨQ9OAT4}TÍ#D@D_9%̟pƆ`<ߨ ecurV.S9+h&@ Nǔ#f]Ѥ>ks 'NN.6c,&sv522mlӬ2ZR4B I\O&bCH=8͈]$tN0i?5V)RMB;Ts`[\盇{`߉Ij=r>uhEuSVw+QILhJf`.kX髅ݭʬh65onuë}AY}aL9YepWeUbèTAzÆaF׎u}vH,WX!@L W~ӔÿO׋ DlV.We f ?7` ^/P$I%|{ qKXݮ9Sff#8Ɨ!ZG๋'%R.h?xt4XL\0+pzyf ދ@ 2 A~HbN}UvFw>XYBƧa#57g!ex TM#858 Ӎ ScaSEK^ GRK3`&9Q`3٥Eyuv~uK/xPRjg&J3AQjCA02S Gwpг{KYK<~t _Z*VClg1Gr#c%9IԎ:#bݱ\gș̮ yL|pPv8eQ&yymKIho{n'y~x1jU4т,YMcFfP=@%Jijk4c[[ '_?]z;kmO߂I~IG5 鷞k MAҺ#/:b lWr>g*@!#E9AUZ\uWY;Le<!=@;\`,*~(Dȹ[`sE3JkvZbOVmF12 qte&MG.8ބ_ Jb< {jǥbL+)/ZFR]23?+zgfuAu?16K!/`_{8HJ|,C[CCǫ-)!lcd]șBQ@#.ƯRFzrl4YTB0Q[cʘ8 Otj6y?t,1d0)DVi%٠TR9j*V@4ë̱b/okDC呧fY[ jC\ՖK u2z =v46 m℡*.-ꡞUn9?T ͭYh=Lm#ZlLlY=>exkBؼh,L?SYZ84)hc6-M1pS$p[|Vy+o5c.wTNV/d=m#9=)颉?q]RUkJX\E!sZZaUB*6*ظJrE_g#/nSrK= pLzEqq%k)8 }L^u;Q`ٷ׾ #".߲R€6@]cMCy:[Bo1sIhjgT9L:O*N,5j;aw*2=/{n5Ҥz-$fZusxG 4ʶllOd{.,'!]$0W}ͳRFq{26k9Z{A,3''=ID|IQ 6裥"+tZھ-&NDt:3 eՋ)+U΀ze BoAz6r]t-׀f㕘e_ih R/yu 2 e˨YC5h/qwӏīP,ufěZ͉$184ks$6֏Ao]r hѵ!#4$3vNJJR:o_:*| f5_KzjIc=NZm2N?Hpw(x2g([Qh7o1~3&}UBgoX{ɖ_ }!:fMc.OBk\SeuJLZ#4 m'ѵS/2QKIժTBIPZI$sz1M9vIh+:h+hc*&84GnWФqjHC۠1U7[R js?ry1QNFXǀ熀/UT,YKgC5FSn]AԻc %{м\4 %z!"!Ơ5 ;|lTZmоuж9F=2v&Td-(j@q9(n @#>)~ ޷6{TM6E^-}{..dw5MXTW~iATU^Ze]W ]7wcYG"ri_ Ke'{Dt̬j2lC׳S-P rk#Vl-,HE=K`r)3cHuzZ-S.綦joRt`C<`9ʸq(;5n% ChwXWrE"T ᦩ[7F*J)w-,`&mt,W[HlJ:hxMZc}.Lm+1qR梍rţ ʫ,UBɷElI3T3-`+ ~Ps~Ԏ}wUtkos*=䋿[?>y5 -QWwA* |@͍: E:!1~C?ۥ =N͹ #nҏ3+*CS0*A=7:PIF_ƾ t6kE?, w)ñύFau2=(dߩo_pL;NpXEa82,ꎢ0J [`",@A|̸m~CBW? "ovPKZ==4!MemoirLL2TypeLemmas.tla]s۸ߜȺoƉu8L;M3ed̉,/I*N̹9bX,49oWEyv^gmV%^=OZrySTjȓj*ɖW]~/Y-a}̓M_oLꇢab[F|'UvI2+\[R^nU:uFu/[jW}ܦG٢Z%_"DJ%n**YJ'%:6Cڭ٪ h]=l͜ iFaO˛|nU,'uhHtɁ<CrO6yUx x4fOX)NszѼ!eb M^Ew{q`d m~gx02R; ,7wٛoנo^d<[oכrdu$n+v>ڄ fZQ!,TϦ\7f9':C&¾+ [E֕8_%R ?CL|"/]SZ(qp 9 mП+O0FϜ_/7#v^ezOJ_|Y!Y>5 aImCѓ ך^ ŋ1&O[ QcIYۿuB-XѫAryO?(IǺ"ڵ{]3}uz2MN@P(u:RIe ʅ7>YfŲf~2rHd"@zPHd#F&3xN5t-rmԼ-r>hdH} ;tҲt%aL 1cpmqَmLa܏̓>k %U#?"v: XHAMOpR} bvq.vdo-Qi):礳-;r"ɾw-fjvޖ6Pravl i- byYOOo7hʲeSbIV|SW1 NݓM\_|)V/kwԵxE%Y7\ͦf :FBMN5Pk' (h JPGG 8cq]M20_OխR’NH8rSϐd&KA[wrn(.-]s,Z?wOt7Ϳ5it9tߌaѸiI d-H5>K5ZQr$$qbĤQR }Pz%dmלb&қ9ZA.ߔJՋ&ڵv85ŌY?xLKwwrr:OT"B7o/OǙ.pMa NȌ33*{!F%oٱ 7(A 5C){u#e( gq >i2VNyGMƆ2Q=¸9㠱X.⏹2 ^ȻQyPo_=OBI>y@~i3?z^2L$1R!R!KX;B|7BNHX(ZvyxK}+*[ʀUn>Bdln٬u͖ݛnwl귱r6l6bri6yWBH!VZ'Ak9v;la9-Ѝ9dZGniiMKk: -Et զsZGv #wا'[;o{bxVԀIZ )Zrxl(9 \(+r*߉ 0[?':S|e:o} lmҥ&w%YX^00cw}M |t#LYLF,Z`uE 1:ERY:8ep! 0桚҂Yӻ?n-ۢB r|6o~,oZ@3 +=sҧ8}yX@[O-q "P¥P݇qPv,\nYP:p jgNAt0GbFk7{wal H]nt UO.&)`Ҵdhoc~fV4׌2=}ԬӨe[ Mg Ʊ'qWsKKI$ǜJ5vB C <)Q:!S2ʾ&k`H#{NM/3Pǁ!Spao["zF3b!.s[-1oqn@A<S#ܳLfsfs6I]H9o+h hʉO/e~Kܸ|}G< ?焪hۄFMŵD}.)&Wyh^y|W]VSy0@s ɽJ[.Tϕ3!ё ?'XvxTíx@rgک8UR:ڍ wPb_RV$Y-ԟm^mj,/?PFQs7P盲DfҞgk!f=sq%[I\ ywjP@lo[8{bۂAMmqD:hـKlքA`Vdx\?8X1p)42,N"ɄXA23 $^E̾5 c"o`Y3/uA~5R˾qacݴx8o{٩=n|14XzooH*y9ilm D?m#`2VÄ́tn–`LLoi~E5tۀCEQ#u\Ls1C OgAj)Ab*^Fi}Mnt yuE?!F91M٬#$ϳKgԥ $1 >F}aAf<T[+7~wS#d[km=h;dOgcobYgM)K5FGG?܄I*WK@VjDV Ri <6T }! ׮4i-aAPRc : {ɖ 龤%[38Wa6! SUbji4|YKa: |'KU "÷**@$>O?Z50C3@C4z.QhyQpYDgEVqGŖdKwTlqK`rQ>l=`U2@6p@ KcH}kR&z'\|J>)X:g_Ggc-g֌۔L[ZԷ'(v6fDN"gJ,%~\̝7hxSߣB}ix,W-5>B [:Z R,`)K)XJI)Jrj:8÷Ύ4-g{wh.y#+45Î;42>BsU hxIGݛotq?[C!A)N.B\6+vyEs2 XCn)}hzM[|ѴUFO4[/We[cY@ eC-۬b;Alja3Wp;Ya (oy1Qӱ)O8/X@u Jc 3iO>Fpk/>`,jluӧ&-"jF.mZ;)γ/\~?k`C*XQCUS;Z,&ۥP;OmBWb3Uj2G?1\"œPlh h$nRjKOejR=(VCU 7ãX@p܍*uYܵ}-G-GL9~X=9yX6 E%I$˫]ߝs1 wo=es&Ԑ6 3]"M!É\uA1@LvY%S/F:"(v}j4Dԍ eoŞ($#7[2jお2j|p1u7L|"boR|.LFh8!bYI-# NzE )5 w^FZ]).Lt V1Sj+o\>G`#݆}oG!3 MeQ !pf:q(A=#o4A. X5cF(LG4)szR"^g폝L]7=F0oH}11`'qЍ0go xb%~QK7avވe~zw(p8R$F:;nTɧXL+5>Ѱ ;8zS4c'N'.Sl FASpPƃUxHN~u,kWJH;#iQ۞h8{#_`.='8hPS+U=GԨ*^.Gmuߐ79ӍWt%Yj<7m#wB“gBdָ]|E3sD:iw{\=B3iy,yIZV҅ȼl@SA %V"WJ W{xr9ђ_{9蟝S{DSxe`rg2shV)רbtvSXQZLIX4{&e@儏dGs4` ., _Fݥ`xB!Jj7b%|= `&2E4T7.IJb3.9Yf08!TcN;*<[rũ8a%hԋ$4mҾ;jcUH _22Fɠ}߷ژ7_[g 9"glNS(&:keKNrKQR?w'UX JxD ~eqת܌WV }܏Dl=-nװ}&{n|t$omVC_Q]0 {7uQ4ACzD7mFG=" >o#d.`F6I}q/-?8!M%̶g c.NvN۠*.)5@M4dVv-P>H(@MZWFfn_u6y8:zyBBI7Hi MțEсYW0LJ+@ZXP g2IbM#hBuasVu^fK-6ý9w?y k$sF%#T/{jFEԁƜ{0e:,G ro>8&;%tW˿x~Kf%:GQ6j"`a <%$xj ~+]$9KA| R--8'C qOZ ԯY ᫥u:ƋD?j<]gkqkkkҕj][ŨbYfX V K U:@4-A 5Uv0h#1=*h1CyV"΂ZE`kUTGjPV'l$}r? "ex@rT&M)B"ܻ7`uoO,b}rQUW/UՋ`k-Ff'u89p$]nrzo NPf:G|žo>SoWesy2S.:Ȅ=~LȢ)C, {d*]*?d\:A/QuǑz'˲{-.3ћ0pKgD'?$Ț-uzã9.kdCkURcAWx NAj68hGwIF;&}1*gtbe'a< i :u7 %KK+8[Y!tOk}l2R%!$8c>E,I- G[ aS?;*>G(6s}Qe&af4rU3vw$5tܑ,bou ˔ort<[ddꪬGKJ4ҵ*O~;?xx_\fTo8ea+҆A|iI ͼpRm҃yIq$= YiDtk\IbcHS "ɘ2ͤB龾v/?@16:zY]CIʗED`)d}KWS)> *(ِь sR=@7^fFѰl,6* 64t:^Wm22UYTC6 1Ji8'[@'E$1 m\ƈ#X0S*)3E+i%XhR+Gdo򔖆iJOScmL'cnL#OF#)a FY1rVau%o&;Tl wyJ~N |&~}ZX .<-M2,ZNŤ',2Ke^v_"(z&ku]x]W_SI|I)f](+ʋexYINdZO^z$|F]H xͶ_UY7mu+tŕMMOl*/3#!s j}pz咽^࢒ +5!-JUY։`yo6Xaߍc}R3 v<ͱ' YZx6 +ԒWT7/,Eo_8R f_'KPC5J9XeJ9QՀ)a L6-S*Jj,6Hj,XcGS*U`Jb.P$$fhX%+˨_7Xum̴8ƫOU ӕf32dYW2v]!*U|@mWKC]>Ց8w)F0 NRPËoGtznC_<:9%cgkh4F4Z,em+xl}pTȏcWLZ?~xLxWmbS3W% |n!8qz͖ Pr®Nvwz¸.L&ZZQ X &EDƸ*ܠrHt!JxNBf4'Bڔf*VKzǻƣ[dΗ`A@6 is "Ft+tu>FL>{m|7,#j0㱈j>vkh%Fmn1pznjQ d\bh`]a)\ Ȇ!Of@] b` !dJBtpX*zP,loHI LivPXFRmm3a H;i9 P+O\Tj SX7tKKaZPqp-26<C0.2rOwڕbT͎;LcSSE_$0Eg|N8 ;9i5:j }fbS74ORAjٝ4 Ia6H,xS9,8vZ=pMBZ7*UZw7ֲW(,-!F}^¬ cw+iiCSquI$ªJo*|2KYWo\WnSMڿy,1;i4"˝(~gzSN@8r5`y՞KWqٷz[`5-KKPio. mN*E UF޶zXpx+Nquss9;itgetkg(l*۷wU&P"=yiOz񭸫K ib50DQxji>-匭qDfDk ,MӁp{w[ K;ߡ&} gLDv ;E̪1i@?wfZ#fІ&RQtm`.>CM!JK⯙|;K(7}3<@TO.3=3gn3lZ 0눘RgF'xPKZ= .|  Memoir.tlaPKZ=rg _  MemoirCommon.tlaPKZ=+KV MemoirHLSpecification.tlaPKZ= ak 7 MemoirHLTypeSafety.tlaPKCM=@V"" MemoirLL1CorrectnessInvariants.tlaPK6=m91 MemoirLL1Implementation.tlaPKZ=/hntEK# OMemoirLL1InclCardUniqInvariance.tlaPKZ=jqOa- RMemoirLL1InvarianceLemmas.tlaPKH=^' |MemoirLL1Refinement.tlaPKg=gzm MemoirLL1Specification.tlaPKZ=@2?# MemoirLL1SupplementalInvariants.tlaPKZ=Tmcg rMemoirLL1TypeLemmas.tlaPKZ=8 z MemoirLL1TypeSafety.tlaPKZ=Vi' a% MemoirLL1UnforgeabilityInvariance.tlaPKI=P MemoirLL2Implementation.tlaPKZ=# p! !MemoirLL2ImplementationLemmas.tlaPKZ=ϼw < @MemoirLL2Refinement.tlaPKZ=vC[ MemoirLL2RefinementLemmas.tlaPKZ=58]Ȃ (MemoirLL2Specification.tlaPKZ==4! :=MemoirLL2TypeLemmas.tlaPKZ=C mSMemoirLL2TypeSafety.tlaPKZ=.) ?cMemoirLLPrimitives.tlaPK/i