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 uu'v$t$ ] UpDown_Scheme:threads=4elapsed=28.852cpu=109.328gc=4.0807zXZִF! B ]ŗXiɟ fftb:u t<׻F 3%PQ/}Hv+8K1*BI اܞDgt>s^ܸJV5P8<["WqV)Ŝ|IN4'p{nHp&P4cPO-l0r7|Q \Aÿ?gR <]BI"ׂ5tK{xXCI /M"|\䃻,!1't TADiA%8rwBAŤ]'kMS^L`1uք,m8!]f@Rt\BH߼']j?ӣQǪIǰLG .I]O\]+w2}=ۗ>wnd' s:o9.M,`޹)2tIj苒GtSmGZl,:ZU|[듫%JXm_1ԏ,3^(9%d8~VBuRA0p"9]mJ lRVOޓYW i낒 *!SSY͋aZڼ.2]491(hL?|LAawf&AbvBu[ҳXq:ы uAfҚV 0E5YI:zN$bөC3ᱯGb뿩;te]0 'ʂBo~QuHB1~<+;Lr[7*h} ɩ fMh5;oygĽPVړK_OPR Z +6(w?ܩݫA@tMX7Qa`)X"1RV|ZE+`).K0Hyg/g aFY}[`o0iB`ap3kk)&_}fcJXS<87IZ>E/ pHʃOԾl qa\c)IJ BdIHir؀QTDbu`p  q:9W /\`nR&w'<+wosHG=AA`aO`AsASLu?EO_ˬ]% z@@@SֻVnx')ö?R23Qٔ{X#O̶BpM5.\K\cDw]Lv>K%]M@BQ</(ZaRZ5E9bSƜ+$M7ԁnGAY# sؒ+ѶfJzr@ػ:ܞ+@4cWֈl63ScWw*S99㾗xt ^*УȏZaJ`uB oP삂!%R޴Qu^J "oyjJs> ' UpDown_Scheme ,| 'a% lUpDown_SchemeSeparation_Logic_Imperative_HOL.Automationdocument.tex7zXZִF! S7]A-MՋhvG"uIBm5_25nD]퇆A5fў~r%"j,(Wr`_1%_א^YYeG `X~p+XM^:2y%o WUP^0zcqT~1DIF.$}@ -FwmoL-nK_Kiq1{b;tB.fJ9f^ l,bDFN昼aS,zOԟ@PDbs6!Sg~_ @ u$5(.kv Ub/eɺȯ{‚&zhPgW7\.atEj ƼF D89>Ǩ?A=Fu cb%p,Wrb wܷyMs!>c^ݛ ~OrEg*)dfyO?w;RLkf:6;(yYEc.;M uf`alUٶE#ZPǭƅT.1oR0"d" ƿSU܍S9͖'E%"ӿjL\ͭ-5GL\G(v5w:l"f rnn3~%hW~JXUT͘(ue/-w[n>sMwj%czժBo F$z]8bL M\["52FlIWbsEQ򬘀32@1Hk4N8[JL :񶎎?20] q;"IsϿ>EȬ{jῠN::aU$Kƃ/2^c4G43Rоd4ÔƴFF'@ե ny"f^o٥Ax^ ) C2?Yv^^dRBU =LB4Di>^r )m39.y֓I`o~iHp+8 ?(5](X{&b Z_d?T,lܱ;hu D X%kxZ'89qs(!8k]c[9_ S-$P %ipF`TˢQ^u 2H:2&A"K,L!\uGq370lY>"RqUIlsh3hm uyĪBΠ;H}xauq?V2'Vawa'6@f18MFǎBq "ǜlRlD$}ur%:d*vδHYbiS@⦻OˋzSJo-F7f ݴ=؉8"_fw(54h/rOo<ة8#>>ɱ I$:SkE*Vy2Bh&2a 9%T]Fiue6주&!YECD ^RU`f┸=?I@BEe}]#aE)ZM?hViF5YSK0]+BaҦ.r8 Oo͋_FcO<"@{K;-Y5i=Bio"e}NgP!lXfČ/,Ie6,Pc?Kw\ W\"f D@ Jo=M }qb.S+.Q _^"L H}|sg]=SRxmR!["3ޑuWi@o?kC@PbXؒ_31H!V/>=t0Tf AC{IZq$A4t.T$2&}IB{;>:lv[(Qa0PH( +=TI$d16 !wa{-,S#6N_,IJ oKD5I[w"_>oe+;Aa/E{է{ 4*4[,o}^ugL/e`H:([ln;):g\5܎ի/ reopΆ+@?oL3N;7'~O aC\ٽ P/299v1BW"cftt,TROM]BE "Ols^EF,{ gt*'~"OMip)ܪP9{l%- \vX_BFJ_܆\(ww04OToƒ?7]7f5'?);bZթQS?RŗNIbk49(Z.άgt)oSyXql*85_+ ` Ԣ?]l.|g@fo7KBm+W9 Fk;^CjpN6w>M>kL_}m9M9q᣺5 h%mc4⚭>((c [|u_T/Z1}H}V AitK)Dl=(D3RNF|s=d@|TٷbgY[R6(I)Pyg5quQ UUXM# Eښ%&YRuj)?%}JM S:іY>ۈ#^jZ":[%kTQcեW";,%ww5ZFsg;ɚ8JQvH 'lmym.IqNs;E %um[G׫ *,rz'\"i[cY-h1vlFl 6'rNE]6e LPO>uң+s=ibTē|1˱K3r>Sq>(Čv`;.FBZa¥,,>s/ZnkA=n1"O'Ϧpmo,̷t79 SQɰZ4Y}7HBŪTJ_T}=Yy;ȴonlHRXu_ͣ8? (F܉˅ɰK)۶i/a}TqٜcWCK^ibƙ<\6u{߫jYk:`衝Ph܁)` 7b su򓳭C)I195Sq^K Gp]~$D G_J[⤖) <a6jmh%9bw:d^3?3ZbM$NJ%t}vv +*ȶ}זxk%pU=o s~S;rIzgk{چ$>Bmxճ=Trzk.uJzp Hch򖢜4 o+Y|aZ{M눌;rKrv ^ZIXP"L/t/f,3qXi-$qWY,jcl2Zˡ9`G) RH-l0:aehհDID1 \l!qXTd7WRY!oR#/s: 3P<vD2ΖfΟ<XjCÌp_%"ww]bo;`Г,,g#VE$qSAZܕ"mgz5֥e3Z}N8K`}N T! 7= 51 pXzP .zl*SokvZ`9^]M&)x .23놋^SMD4P]`(Jbiv@UiqΖGrt΁b3,o$F MH2ӓ< !vݢ&ؐ@l2q # |Xq^_c˧H8KK^O^abyg(toX΄E֑w|j|fuauka%>ˬs:ỤL{f NQIʨ";nr KjL޹kJ' \[&o~rTF6>-iA %({$a:-YЀ"?ڥB -lsep`gR r/3-k#Wi j2smy|c]O!~O.h&<^ں $~U\Y.9rq w{0MA|<+1lc1ᣵhqF8VavQJOъ{ [{%1PԢ] ]iHB e6NGWW~A# O=l07c}Yz[\>;ES<1d?)4 ~.iV6Cl׬`?8gDq %dO|P;;M$|9Ve~Iu۾J%89 f +m'i ƁZeP` ߲6!x>{`،U6dRPzʺe,! _ ;b>wWJ rf; K8G.#fI )F"m߆ڕ3L岳4 u3R]jn2 Rdw$ m`|H;:Ȋ ,ax_؟=Q^#cyP*Kc)훻Rܸ@"f\&k Y5mG鰜ؐ)Ad#A%<1,a^T_4#$|LUH(T8k51:+)@$Wt5ȅӈ8O̍4hS-SC*etG'M8z&:][nvf\ɅŁ%X.C#hSdSB2DP/e`lQG4Ð"#i`/XV@`=j 5+9]!YՐ1]5l5zyZ eӻ\>B[m b?[a)qLUGim)"T ڜ;Z6?s.y5>b5({cK4F!n ё.PCVz;kL-SL;첕!RE'i:569Ot5@DGFjBod2T |M}QU7V%*]邞> gZפW/8ΫXyoYע6)0Vkf".? fD`|ɟ=B퉵}/u Y׸nU DpXmu^;˟a{O;N!=?S( d;KN}--@y]8|\;{P! `%nPMlgM*e8Cʜ\S=T-^ž]$Cd0I!BslH8ot~̮nl9ГOݿ5raB=1U~؆" yǚۣ{nR[BK?PBI8! s3^~ Za=N1n-RA+1y`ZOJ_Jm5Pĩjl1e~f&e۔C.*\A?iPU竎mytr׶qG#@ja][*%ZÜUUq/%a L]j0LN1TDG|RPox6zy]Y71R0ӎl'u\M2m2 Y2":ȭupPԿcMդơ#Z4)T\S `;`GaH@ta,X]W.k%%r<͉-ּa(I9 2_qkÈ1}&h[K`=f.c_/ !G$_8~pt$ffFͳ*`]%V$\W#?VixaB` tR_Ф\XU-.zn4gԇ: <ͷ<7g?{\ ؤ֣T a#I#zpW+ʨK))3ik9vSmhR5MQ"#pXX YZ nNO $^Y:XTm.kyIacbYVPek+vڭ:p- 2y[Pn9^ƉFt8? g+t I!93wS Lod.Fm4"fɖw-<=U f3F3yAzo\vV'NPᨧ5 NZ.Yu[s'RI+ 27JoZKٶ0189rri$eYC RE]NJ aVm_Lըd`gsgu跣#VċC"tFw}tsD8mWYMGTt=h7piN4?ֹN9]V IEpY̹6ɹݑ*Wm[cNX&1}a.?F?p֩αc5˵;f^I&)w- PUsgb1SnZ 1uQ0Y~@U^t 懛j |C хcuF0;7++TҾwPbMȵ"[40ޭן!D*E7~ O9e}(ES؁k1dYHIЊq.2oYg'hdzXM/q~3iFbkn)Z0 tt}1q33D֔_97K1wԅXP֦bٍi!3#zH",4r>\3Q1/,%OxdKxs75BwISbx!U_o3Я=aI1\ɰlkc7 iUE)`53Ͼ´ن VU WVPt& d5 s]M5em>ʑ1CWvwj;yNO?ꊓ:3ɒ<x?vtγ?U 8OX, Ih 1R OurV>A^]DNKK{ƃ~S/ĸ)"&Vu^Ď ?vC!r,Iͅt,@_12:Bq5uidVF`Z\Md|ІJ4wO> wBeVpq` ԀK}s_>1qf j±_sEtT*1 8x DO?w' ŖδN<3؜.(ɩ&jZmN6} WBW=&l\~CF#u 9s$/U L/>*2)B1*`rwPjU* CcP}x@*%}B ٧t(i %-%k5#^Q$S6$F0]qf*ةfm]Yl9\6f:Wԧ{XV;HZhgР'Waۚ1^]J {uE/dʦ]i!<v=kHsL+Sd4|dόl˺^oȊɷ@aECm }lA/5I' ]џ8Թz$%gJ`n@gI7*_+*c6f>&05=yvU?>BK)5s82kD$@J = RS0],+  9-Y哕%0kD L,3.u {ۯ bb8e蝹j2^`/v9;nA}ELJjzl"!~tUqbSfeK!&W~=Zӧ~_>hdڴg'ŸW;,qDJ/^qnP~,'n7`ϛI= 6 YJ{jZ]Nq܅,w# w{EY^`6\ u_ Cddŗdlw]XPR#UU0t7~ ~Y1Sƅ%/xY[jIQkU,=izfUtOҪk W쟸^G͜gy>iƳƕ}߁PhWL8t_˷gS$+4汭Y6{^ՍĪĹNOZZEޡ>|h[z`z̸ yZ4G#B d{lBԌds>4DOaE'<؋/ rDg/pzc(+q~L;^ğDi8,>З5AȀbBzK[g_ >|Jm껬i}I'*_~ܦphДQ9? BF%.0Z~5QX1m*̜|W:=CL1},So:` `xCnc5 ׅŔ:>%8>.o$=j*}̾m-wЬ = "g MDh"%h)ÉMc 5v,hFO}*\/1?cBV3d qN Ɣ]Lg=N:;) "?ߨ}J0G>2mG$wׇ,i%wkYDLA5ipbcpu.Q@vQmN&/S 17&T$01e)-F*3r_gW^k %꘮sdhu+;(plxkeXP.y+OW%&I܄!M^Vd4щ{Oӧϊ&O'fWh7Icb[)/D_0ݲrg>KAamڵRv<-^ebYp}. A VEi_P5X_#4= H02 {S߻&F= vXo'tppXj~kbP a}ޯZTMgBFO]; iWwMze~|oGfJ%5V·p[ Nu=E0OE@괖#dLˀE#Ӑ98ؔoeY6)ϣRvF7*0a3ǵԢւyf3I,#pC^}_75ncnpRbH_܎H9ehќqy=뜾̎^O`ei~(vr-JãIM/CkhBMS (em+aI\vVa9G{6AD x#-B}gS7ɲ2/]W2ޕMzrHTnIA/8^J7ey#ٷ3+(&S6r|8Q 5B=f.@̣#1UGZ@)B4D F%Â??ch\n$Ͳ쌰B3y#֦1mK4~GRF}6^(YzGay _[O&ihs"9r&;9kƶM.)ôcyݴCpomoMꙙS1Jm!bglXb&Hlb͙lx\EYæ8kӄe_m fOHRt7-;v(@H)~m^mp YݱgYZ ?1R`P26p`6CIa Ҁ*FM<:MƁoSfm̨ Ž!?Fk;c Op9%PAT)2Go=J^aks֑0n.rs`wGk.'N͠T ,kη%Ձ<@^#egHW Mm4d7&~ڙ;=þmۋ,vXlIz 3W}s!l%+#0*t`d^@A1qRb6_X{TvsЖ̟# g8h6]O>"V !#fZt] \59r[V7 ML_wʫܣ{ݔvUi!R'B͚QVm=eVw-)tTbt88KJr#͓w q2ʑaO|% M[bfOjU5U1FaHI>+Y\',Bã.FV5e<>(-p/a3?/Zz,#t 4];.S.{cVMNh(x&yd,Ϸu &A"2_?FzGas#$g0v7h_핋 &nWb63/ gAΐ&!Ԕ:(5IǛ\KpZ#[vf@[ag+7U֚w5lwcVsjޠi3RS3O}eS<W:l+ 'atEi&⬣p~@aVrHϱ*RAW]3?/R]+AU;zAMaCYdy_%K܁LvnknrEdC&mk9\x,ֲC{XXl(pK]6U»#+,~tGuLO&,ޤAn֔|k Mhp^gӁaa s_feNJKv$p^Prcƙ_LSP<6jnwm,BaY艁[AfHk+^bA N)G."AJL'os@j?+<_#Z PXl9}嫓2$4+-g{H!f&FHp` rz2)GBMщ.ЊqsWd0s^r1[$%xHQˍ:+C[zI{)Kvsр"Vhx)d^MD౶ ±`ߑGӡ$ Ĉ*G4U L$ oxE^ZX7`4kNUd1`05>vꃁq a?44'5 ΉԺ{@ؕdH|eQPehp}*&1_J IW[e=d p'=ϥsIwvX \7 &#S9(ōPmqu9޹Jʳl(KQm8bĮ*7 >( C20OF`ձFHo?x; Vf/[–R+]vF`zyy3h_Gr^yD;^#F„>HwkdI[]wrQ.V GOfe$UƹqA씱5;bbP| 2}3eDO =,+E,T!VrRԲoJ`ʜ? IUښ!N,)L~'#b%/(e3bv0$BO}G߼_f:B:cxɧXD q>\j, -#i2'XQՔ\Efsӧ@1Ku5ٓ\wc7E:Q˪n.c= 8locWs)\{|jܓгtΙb*Ab3Pvo!GN@x:`p;% 63P]Do]UtҔSYhEVmԕ>Tit#,ޠ(?\Z&[ Vg|q)v U\?p%2!sґiK!XC]i?->TzI+΋c _6M4ɨ BW>-A&1Ҳy;uK'׊G{D2B!y CeFƗ#dR-+UcL.t;\$ߡghm9Vzմд=`QAC.[q럂EJ;@4g7j#xs닃_U,Ot$zDzQ,c y2 q@%~|'G'%d K9ۍMmG@躉W` &u*1 y^"dOfz$K4YkY7 aBjjWbim_ӒoSzO>DN#fbS_@M+Ot |5P8NBM СהEcpm&~)B6$i(+m%|^2_Ǵ%*~/:` e|C uVp_Xhth}>Gfe`\rĸty #5:+dؘ&t q ;YT|,}Q`d/ލL_si ).&9&Ҝzɱ5P]; =01$kޝs2V~涯yrF#amÎlW-K$Cmg {sOx:DmIdJAD%Z60|<^4kjWW? :d<Uĝ)*޸w!PFF83y&jDzFw]@UOsE9x+s7qBcfOMU:x=d؀0(k P.q+^ܔj5u$7!F5 ֱ:n9Պ;;.3sHBDF:Ky&?s+ϫ\wuXC bpLp?I'*йèXTZÅmW<P83_޽KI!QwQnJ.H)=%3X ٳz !(ÖO޽("ر+'d( hisKAfdu`O-&DP!釴P*%58P&~Ʊm(hIRQ/P[)>Z%~.BTQ1Z>C-u+6?aW2<|P?7#EK̠p=oI8W6c=U~]DM7 hmV> QaX/Zj6пӰ"v<,7ӪG>1c~ri_::cgU%Gg[l#Ds32 9 6zN/\?AeLH9(n,/I&jmC}CSJ R1oP""ǿъ@X\Џ209f9~$;>Rt:H: =mxu\p]?3*V?+ɸSPk؊#-,6kZXw('qmmx%E,W8*frNrEl.~)oUX ohl.[7|Eq)<:dWcBu.2Dח1AÀx#-&V"M•@s"#+^xo)J;> *3 MOr;:5fQAEm_zTXɥۢEMT-iVظJ@mrU\ٻ1-BWo^@Uf8\̚oWP>.((NlJ=(^{JHH#9DYŐJJߜY;/~D5{Q$[!Ej\jBSHj^6;${zM+N'eEfI(+oFp0vxh5mBG s/)i+^tDc&G` +C8t3nTF1XNREINy`@1D{1n%"49"-&cm\ځwt[e0s#[wˮhD4w-c`rʯJ x-3ϯ.ŢoD'HY2y\PHY ;QH?* f )ސY}Nh@xj`T%\Ae _Mȶ 9x 3yl!hvcK$؅Ǧ{ge{oeINVhH12nk4Af XE}<2g=e)k o /:ҮVgSo cSz,ak/ͅeщ:s )Tz"*{$FV?7ӵR1Λ_mVq%IA^lL-7% &)R:_(idECq$r NK,p [g|e>I^4|sFuDġ"e v.zFCe#F V D{JWP`NH}C?b(V F&< [՗fX[[o64aT ߺo❵]({Y8GyRr߹P@gҞ9BX(t̢,T1+qbi{}ܳ"yd'WzUd JT6( O}* ";q;&4sk#zg'Z JXT'3-d_*KNTN!(m 'Jӡj ٖ4*NilWGH3o^f_~9R5aCO!|,B4#*t%JzbtB bb9Ԧ ħVY)3'@S݇bQ-o;WOۆ1얲M\bWiI5[deIȊ &ay+M/r:N-P-?:(gG]'ZZ`P [{&HgL Vԫ3YГt>GɈ-)Olk% P},~ۛmq9SBG ~ r&n mp C}K\zyTB:cO3 }a {ۄ4Ǝs¯*r]A]$J+43K6 ai*y:[ ,ņ5`l.dCש&(ppu:!r.44VC|'FeN|+`wԙ~K&nr a^C_'&΂?ˑ:#ߗzD.^\xuVi B\Yv Vv!2NvL=ni*Lt&Ls1~.-y!9NWl4ˈ˽[*A :(96Ǥ7 %\(5ZY*ֳ49qott޿0zcqT~1DIF.$}@ -FwmoL-nK_Kiq1{b;tB.fJ9f^ l,bDFN昼aS,zOԟ@PDbs6!Sg~_ @ u$5(.kv Ub/eɺȯ{‚&zhPgW7\.atEj ƼF D89>Ǩ?A=Fu cb%p,Wrb wܷyMs!>c^ݛ ~OrEg*)dfyO?w;RLkf:6;(yYEc.;M uf`alUٶE#ZPǭƅT.1oR0"d" ƿSU܍S9͖'E%"ӿjL\ͭ-5GL\G(v5w:l"f rnn3~%hW~JXUT͘(ue/-w[n>sMwj%czժBo F$z]8bL M\["52FlIWbsEQ򬘀32@1Hk4N8[JL :񶎎?20] q;"IsϿ>EȬ{jῠN::aU$Kƃ/2^c4G43Rоd4ÔƴFF'@ե ny"f^>3 'G% tUpDown_SchemeHOL-Imperative_HOL.Heap_Monaddocument.tex7zXZִF! :,2]A-MՋhvG"uIBm59$ }] %$;gn{kOXesG87aFЮ V6[UP4DXrxMVVaP^Q8T1mk'<cH+6?=9!ژ_.hvkmԬ.:ųoEFg]b5n!Ԓ 97ǭAM[ aav>gN!818d~>bnwGi[ײ6Йapݩl9y3s%|6 -J٩FQCZju |Evf_fXsR lcÑe+q'-XJ"G#w+. 0 uJTN*H\ވ}2,'!n S.ԅz*?ϔOwi~_biO5H;knjxw^tȖʖE`u۾{,8x[噓@xd=ӊ_= " Fy20j6oX; pΎ y&m.­~ګw?ȡ$D.؇ybpLgΠ?~ᶲlB{)Z .ath!v:VeSTPw/kŘ.c&AN@ݣ3?PLο&Pe yEr[>=? ټ3F0{ooZiH7Fqz_# ¹ӃԾXOx&N)O>P(B5T %b < qy ƏPB-yIt: YDwZae4Y_8aM@094G?x򃓞C]ګ}z4qs^w\"bvm'@:Eef>?8C~Y361 \@88Ő]_V`x Z \Zw>Q@8"EM=ʙ-"--u:F*T_Z%yUKP\i3T1?WxO>I(`v0jE:KfbU>,&k\r'4Eg:u` \6 S[/&/س vHAKmmD y|7_Lm+MBDn :y&֊nFBPɁ3Q6Cyd xp(el?XƔٸ:V%̰Ωx1-peLsA0`h7E@z}96&9[ǫ5IcV~6=L|DpRh "8N S(CM30sJѽm r RJsb8(~}S$#z@q KDl-u{b ]Yymh9Qkp%qPsrE>և3 /R+|' ULt2e9JuB23;5)|e52N(2%Am42f)Ό*fIO/۔/5)֎6ce=:|Ѥ`JB܏1~)LTۡ&mY!NOuB1l KIC^2[,7jHf *[ZgՅT_(;,d>"Aڪs7,FCJؖLP ͡qO1amŹ] ,@͹uY4\@4n vFYS,/=\pDz.22P4^!v t`гeb~ጦz2DIlD?3XZ-+YRuHZk @(k-_!t^w#l,Wy*J~W̺_yJg\ԽWeadU/C:f9w+N25ONs+W@ą@_*oZʧOނF.|.]#|wt ꁭ|n!4R/nMK9O[uxt>'`_Ta:SrYHfk;֬ބHn@f[gg^^2/U䙔ھa1n:$\HP[vsr.b\nuѱB#]rUL 6P?H ԢAW):0(Up HPVx8 aQlLͦX{7oG^kugB}aV;籈;VJSէ¬{}ҳ*y1x>AB"x؉^4* q}O 8z^/~7avmSD_D7giGs.oUve1B'r&P;.B *ɫK>o(yNOWʽtaZv~ ˺;=]C7+[.h~<~bsm$ѓyIe@T.hd)Q! d!a,k4tdݺ_άze S!0v0HhRHZJoɟ{!r S]9ZļHP}[C@} &q]h?bb }(HP>CfHb#-' OJE@Q=o3i"u $nh!5ø0 83;նC~_g\es]YisBWIv6<#Kߩ-`X`(+(.Ib7N>aʩsvKnQpD8&P\^ j$_j@ pݟ`g&Пu#,oa^ӜD\%_{PL֍wlOy0ilKV6羁RqTm^^- ;4+Z85qZﵯ/-钉&_f_HW}[e+;LKوeYmY;L?IiG7PѸXWޅئcc2UgK~L:'`L[n< Uz|_ PbiY{i'bm_@mM}1#Ys-ۤ[>bŭ=(aKg1 ݓ}aSR_"lteH*|$3@$&,qI"{mѾ]rFpZ Nav42j)M#B90E՝g w/Uyhd &Vo׮j\eJ蹸z_Yuʐf{똵r)S\mu Ó8ՂV8 En5f̯ߕ-mf{BE!qKv`&BL|aΦmX UbP;6CD2\c- b>.u ,t+b)o6fM ߌI{rTjv9nJ'*E%Å!Ŵ96ȯ^TȁvnLN ';7S0ɘ44r*s\UQ4( i<*j4Pg%;rt+?i"BrpHR` 8f}*'& uZڄ^@p0Daz6 =\=0뗐ع CYc) m_I3Ƨpճ^IWyԦ5j3 Ȅ0bDnʍ a2>'Yy{)u+Wr$Mex*;{CbQLN ЬEKtlS˭=MKloG$x2~S12զ>H gX,pJȁ?yp?Rv!?u>T𳘔] 5OE>=j dqsWڶ<67/o N|E jqKCc /_FeeT-;.`u/-,(#4\l6o(p3Q:P&HD"/LOoA[Ȓ`A^Wb*p%"{ tpd2~^hNвe,8stfqkqDc]x `΋ ,Oe3#@:5)ʃgwp=fa)07(`.l΍ *Qzh xxi|OZdr´] B hA:2" )ylPt9wNn@Np\B>8x:2ֆHZ9OTJ(Ԓ1E""Rۢ7afE56nO$;]w1WFO9KƬ,e(\AG;G+XX:L 1b큆Xb3$bMQfd=0 R\OxNug\3t(8lmD xG[jepo#[6cd_4s$Rm*hKlPqJ!O/?] Nj`jn+e(D,r$L hŽ^MDkIS'0N}B% hu7-vQ#SZC(\{8G*OyD.fs[xЅZB)/SPn5xgWaW1 rj:XIqַE1-X睟yf4_ɽ:;:#G-o9Ҫ";kE*njƘDEgt8h-p{b]IF Tz}Gy|k2_PazM P2M^wWVgZAL-=$VΞR:s%Ci") 3w;'"2:STn1쉠QNM26.]J4F 1BM- <mȟ>8v.<#Ѯ-wc3ł\(̭=l5uhqg wt`J$Yi@;&u9m M_*_DsɌ=em+uϹݩhWljo׎PZ 뮵 4KVhgwqLw5tܫaord&9zgmXMM[zneSE RŨ&5鲾@, h4*ӰzC6jE;L {v8Wkhs/24<[BO|0TO+MTr Tyog,m=jKRt 22#&W0)E2@C` y m]ϛ*Xe+AQT9(ë4eSd$q"Pj+L*V(K<)1)bY*t궀fM` ?[uX2α8$("zH0ԉZ.@8VU~2D<[MjL=) 6Gy U9޸sYr,`;=amxۧ0Bsp}*Yf8rM]sʫW/RV4&l(V?0xPvAG\e_K_Q/ƕb\`hYLǟwi-{{]X|ZJӻoNR3oxճ 6{,9*@ H  X9ckJz( rXS޹R \WAEg=vcs ޤ^V)iZPp yzxs@؋eN;YiyrպJF*5mh+b68落M,٪6&4_eQօ`! -'ܵ}{N߂)`O&mDEz-֞% ºRܛ(]lk\1ꠟaaxATª8Åqμu}]BoE/QvPS@aݘˣ?Bt5xl cJۂ?@8 `p(ZI.^ќ%Zw <*#P2L迁e_hэT[ ?!x7aΟ}2 VZ  ԄQ[+? .iyLÌ'shf\eبYnk3 >6ӎXr}+#;WƷ؇HUC.F< =$HoKTC3Dvu mݤ%+,ı$;A{Mz"0A|,#'Q'3b V:Jg8y1TӮ W׿A,+ʶPtց%H Bbvs Ңo{Ƕdm~l9mgs)^($KwQ[׍N~0x)RCc7˶+V P̋I nT(WC3AŶM^ =rٮ-/;_3X+tmɝ]gr|s:jkO:ݩ59DypKCR|ԴFȂ6U d}s+y (v <=I1x%C~i 2(ndsL~g@ дd; CL_YYobF5x3 A )IRLD뭌kwL5Rd ٻ6Cz Ԇx]*lQ1HFdhǛcߍ, |7*Z jܟu@ H#ЋǞ=Jzk#Acl/Y UF| p\Ĉؗ.H zC8[⏙Bpapu1BG'DT2K8Nug´k܎F*M]%S?P#h5cGZS) HNM3~8koVU'n hGr 6y4>=t;FN!}H)5\)]Yb3Ko6a+ߴzA \{X4US.5,flA3T6ա9l;o6n^wAegp c2 POdh9ag.Kr 6jҢ;%2jԻ&Mf+1fJԵ?Ak#  9?O53%/p+=BAz Ϭ%hT.KxT%C肣я-y䈵S֝. EwM 3s.A0 d M I&}q{ gоj1ُL70M|Ί Y^:4Rf\ ʡ)!``=&\QH 3s@H> f0h7ټW+oTO.UO[cAęk8+U$ _Gt!Le5FTjB]cuZc "n&6a{ILwsuT}P4W@]v9a8>`±5)XIrmNkG*ǴbcAhn=%=c%E7|Gfe\ Z̫ܴ1rd4 a;J7b_X h,D4+ .dJM.7cJJԏ- i8~ihZ~{T찻8YtbV(0(;B/Jh/Ik&̼uEN罻7K;6pUZKtj Z`x!Pi*o풓1c(A$$30# (|8tbk z2! sԡOqħu( j ޵iG>>5B@.ͫ[l+_֛+~Wݾ ?=OC.O?A"Vލ0.$i D>emȉU$JtQ &|'pF u%*hLb xK5O[>:ӛnr05zpnYvP0Ocfz73fo)/7 ɕyMزZ)tX|?/ח&Vcg S2gY!;[K*qRgdF汜cT369'2Xd蹭27H66QR$aQ19 4; tLU%?a٨ӝ粧,!YPx84auzI^ q:-멠J`A΄]nrP??9JA)=W'3fRET_3l\2*c7Bu7ەOe(7| 6W&S0Tې nGHXSC58fH$gF-?%CG`EMd)Vt{W/c >_,@pE;rmq>KuG\-&,5(ۄ?ƤBSp/#jk!QlƆFOlZ7EEk[.4]D*,#c`tlPU3 77>ΐ:Id-./p#"=j^oz8RG|_֊bTH3]s.*KGӽ-H`ӌ_і$Gc, F¬ [E 'bp![aJICc{Z}Fغ=ǒ_S {]i[5  LkM wS|Ў {JrcتCmv~}~ ̮",4yhgAaM9Wp ;'+GIa`1l?nC 3cJR{`*Sl{AMncVO;H\4whWegEC,<+o01D"n|ןFI)WtxO'/pbٵ[wccm|5|c3jyc2t5M5fCd=^赧0+\9'fɜ;q62D3?$A5q!\ Bh4<%T%qiqNğ/Ariw?KkYYbZ f\?n=~{c7Z;^&fc*jS>Bx@ǾV֙?.`0p$>?`uZnyapkA2pht9ɲP'%U'.d`x_}uqKw R0KaqtppdP#vzTTn崛5 XT*8IV:=6Lf+J+{X!WkQFUCt*OFZ,{I\|bS8R7'KNt*Dʈ5~&IoU9 ,tӮRZ9^qʝ+R54l" {q-Ęlѣc# p-/&@.g +/_IeOnx> #6Mt'#t1&2!EW_|(\8q(`/y[DX𹘂+;X!R>׫O)YpEH* $ܭy6ђ2n,FNj\>CPAS*ZrxtkJ!3?)Rw\IL$DvAqp|oy1mg#*|}2I@GPk~Grڗb(>u ;2uzTiW_LKN7:TV2'huLujx?^7N,GKT,1Y8xfښS7P {%BQkm>pէIM u f*l;e! rew*Lk~ c8p@vPabo[RB$ǫ;R"BH۟L7s'FD pU w)KE}>ċ W Ԑl Td +G# ӽar5y-T!>QKu/zTO# 4%_D{:ASmBP4ö+QHH9S7//Ee=;s<6p=԰2)_Kw icA_ ]ݐKc>M^1E |1LwGuuT=~R#&ځEk Z-A4O^eq&hYdNj}l9CH~*:K[fhB9^%z\s9Mk9*(^1'Nz{?5+S$sfLH'^FF :一X~ E~7UpgI]ᄦ.c̐$z;O<rs"/*嵴:+ebQ6OLGe#8rO8LwS"ΔrCȏz u9m݄RAN2?R˦5;x*NIM9Dz|67N13.вU;+ \=\puf&:^S5\ٵ8S^Z' wҿNO}8*fAN`xn? Sq}]\#܂r'kѢGr2>e\%B[ (r;XXxУw̚z`yg,iyՑwϙ) /?sj_mY}ZSސo SgYZ {s '7% UpDown_SchemeUpDown_Scheme.Up_Downdocument.tex7zXZִF! !]A-MՋhvG"uIBm5:`'FMԮtMC$#Bj~3/a ER \F0/a|=YJZ^Q uw&mqRj^AA3Ŏd[ilhƓ'tgkKi>yn\0F|-GbKD37HřWB/CpCYr([Txx65Gk]U U*oQ^4T*O;X<Աi)lњUyœo$mT%C!kjK$#&E0B0WEt+q~mz4'W~8Psu*  'O% UpDown_SchemeUpDown_Scheme.Triangular_Functiondocument.tex7zXZִF! !]A-MՋhvG"uIBm5r) ޽`Mـˊl"5#D[zdv~j?Z:ȫ U ƶ6B!*'pK]V5 ̔磪ar` stZQ>ҕn3Y= [-."EQ f^ۻ_\C Maf >L:`H]8ycUe<{Oc;C52=iXBRҺ!wN2s)l(-{dC*:Lxz^ݔh{g(m& X}Vڗc= )]`t{3;jNWaKul(P.??^NCYZYPNgX 'a% $UpDown_SchemeSeparation_Logic_Imperative_HOL.Assertionsdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5xfڢDU7/C{WtB+Ϭ<12_ȓ'" t9:-ZEXaIl|N 4o7Ja9oh$]kkDV=}? ʼå@ޮ6ϫ}A"Wo;b7a.T>\/枽{dBcXCaH#x=5wOݨv.ғD5]<)$yA<*#C Ū )=d<A1$2;{0uf"Hi?H i\(g#&MV@><:U;z4N)?nk}"ȡVDF>V^RW T>(~pEʕ07'zh mz,zc4m Q^] <ˉi ZI4b%U3t^{?q9 Ni5i'+WKyzgK&BK:ʬLDYx,ZP<ْDeֵ8:%V`h`g:ݭj┙7Z0vx ,u*L1gJ4R,ۙޒHn:4[qČh}) ~m{ =̖:?ӥTԏA(~~NV6Lr .phV<y})agkմX1< D;|;pu:^ޗZK%i[<2Y0΁S Ff?QbXZi=B%x3݅fkSLi~W:yH((^a&=o* 57y@dLw=ᝊ)["ͦv>Vz`fQdU&|ҿ:tM|Q^8P'u܉_ .5d RW5W7TS&K+sJŇ<Wi_sSbtCKp><|)-BF`| 障ozׄ&"9MUސ,[~YNH56K3l0]%PezKjj댇zsO͝>WĦg3[uj@uyra(09`32]˧wP+q[~-QB9QS#gTý׀) ".ds$]x>.$^{7'eg*(,%F إ%W,H.b" /}ͤ}3RVEz\RV!sHq!ØFKPxDܸQ|˹6R`Nw(ˌf4/I[ MJ"Pr]d@fg\BHg z+;tըCD$x 3m"slNӧAaCunx .VnMyơH?ф#%[ih{x B DŽ:>@JBzHo SMw0}Vû[ YʾO$evP ;eh$7Mm!mhe7ۛ@;9LV"KYi "2lTuY&S i&b$UpU)pY]!i31Z `&{=pk-0jlA+k:h}l @W,3o™=݀҅ӄ .%sv[vr!^L^LW8[DoUCWTOgyؕuS k0 @},>)D|PtQ(]V% ki? ^V1mM"t& X}4#A2,Nג,v xP]52co`\.k HxYfWUr˼w7lhu-Q!-k+g-xkP"J$^biT?Y?Fhۊ(@:ԉ26L1d7A>g G}fz 3rAIeLFD8=嵋 /J!$!l'dfC;:Ho\WggQdR'EkNs=vF;Z~nP2% Vyg{10at'4C"YgF)qou]Z*q8\hᄊh/"_\loᵩz.UrXGDE;e&ϒtseTxB W& )pL|RFI. \$u|ýJ9k#?`NIUECj;0h"'M5 8줭LEB`ń1 QSB ~_|^d9JRMɏ` ͟]<g7ڀuҰ~<|Pصh+⬯Jޗ^fqi'4vm@AtcTcjMQ4Pmv݄T YHyeBKۺ__LZ٫,϶ネo O9,p bsO[>>u5{y+"kektq{C[%FdU$@!>]0ӰbKfd rO6Y"ǝ0T2AGyZ,?b5){Y9ZNz6B]Y;C]4GMϛyqpGV롅+6#{>8 eyF~ڤkdS5'Ljm2+2Ιӎ@?[;Pх3+݌@N%B0cn%X*Rz i6zǙ5^@^\|D8A[|ޣt6#ӵ cմRjKJbhiclZ:,yg~*9sXox2dŒŵ/.vͶ޲) i=",/f.H&| 0Hs[+ɾĄ<ɻDn'M;gR[!,ߦZ;Yp]d;}S   9ވg^(w,7YPCʟm;9F8/T\5W3 3;tg4($-jd %")Iކy~v9}Y瞱['|GwQs*`6j"-~x6_t7x%zXօ(T4OtKC^_R#OH-Vȱ}AWe8n|B8ŸVvDsN^Аh$@pCT'kq;8\)(lUݬpL p! Ū }J*e:?(`~X|Lmǎ 5 {`oHY.E`{Pe&kTK$ ^wm(̛2A;&[U3EG&Ӡz Ymqu=I7E-p`IH]%ⓒq;o!G0zZWsc)/S?.JJc$ҟ\Z{M-+S-"RujrRS:pUH>)ܒa X K7Ե\WAfVa-/A=бңO'05"/2ka;zH1/X@8F.$Ar@'.fXJ L4hmni re_Ɛ_bs>-! uM|3A Mj~v1 __C޴@AdSȥd{IEvṈ~vcAQie#b~j5[rbC:]84EOMd;*xJ觮xgT UQ+r_Jy,\"6Id<:9-]١҂A|_kWӇcuD@B ,ʾO?L R K0dyc6mzx1h뢂{%3Co}m]EB.J2R$V[a9*]zb, Pl¼ؑv(!kQ9=߶M=E Epbra25S70^l@QqIsut&1 rv"j5݄ʣsxz7vJX ɋϠ%5G64.V)Z aO(SKYc_~D$gPw0Gy[끜.;NdL_<-uF$-(vj?rE2>ˎ/9:vD@N$4[W"eoiub ǵ!)'z1`Wb<+6/NW<@81\vj"Gk$ h}$.5AibFQ&fDI/{/y~D(y5{{f9W0اuc:;+}oY .#WBޜ_=APP-ݐSYme<\[nqorp۳ I{29?Ha*tdDgpV!/WbFbt:cj ~^oc3 ̓Y1j]J3\q'8 3*|TVeNM׺6mzkWoɦSX&)b;pw:I'D6]ouߏtև`KO=ǘbd2rY*I)DR~+/HˍS*x57`8 '6F P؝ȧNv%&syfO#8DPF=C*v_ʎ T)9ĤO&ټzX+wlwkD!vX-!3H9jj4T]v5? CN c)qtwIl)/,S\,&l+Eb獺 {n,ܢƓ%ҋcj[^GiX'1 fk3J<- PFik.~>Bln<-Ф$YAMrs-s+Ey]@"?j﵃~|ȅN w*6N@u;(*`MDz'\xN7xhOn [ɮ4XYs kPx*F.1aJs=,,@W^NdXV:JTDZC#s$ GD#%6zBYH?FdE[}*GFP[R h{,rK&]v\ MڟahgΫ? 'lkH[0r-MMI$Ѝg9gzwxMIDƫZ2U0'D+FT#aM?Z RXD`hE8bl.qvV{=HͣǰiSzc!,坎Xsɵsv@QX.4*sbp0F-v![P41~EٚoC$Boɰ8%pU]+ڶ쑔 T%M$Ut8R_\j|8n`,.8̱!wzaN\V̶=&2Ad#{3\ WH=+F#!8-'n;=z2Fv}uu#.zb^WaT: 4e]L'~gR}(d`o!T,\5ӝA&X MiDt`b/6B˅n TB%bckK,MFw +sA׀곾OGT 3I? y-a<"Xu*aR-h ,/ҙ>ch= R!+*g>4xm٩Ȣ=j.B Ku9ƙ@e'vI+ >VF@Zth}y/CRPD#y G>Π ObO\sLt.m%{\17 CV)]SGDLE'ʪ^0F"kBL',H.C=*슗TP{-9@KACCPQ.STZ'8狒k,K#к%5@iOdܴnS̍NjK҆>γ=eѣ4 $FM%).]إ 9 m|դ]!=*>pNHRY Ld{ue怹{]ua)5CqmOāhʭv,M7+yA7E%#o_YLuD/oQNfub-MffZ?:AȡulpebLXȒ+YȷM\ 2z c뀾AYBÁԂsKJ^ݛIc{tye<$)޻WS$g7in;"[h{٨c˘{c{ZtS.N2FhiXJ "O)U%o|ʗ.mz;Y҂lS]::u}6y蹦-by V黕ȯ|g;|q/GJ4b~mVҙ A.t<!),KqTgQ~ jv9]=6ELڕམ4hDy7Qΐ:S/GsKb ;-( /af1w l| Vn 6x獵M4z^c[coop׫`BIeҘ g4^9같e+9=W1?'YșoU)L=>2xU)`(jO5bv2i;rw0BɎAý 3mlGiG;4tQ`;o|&.l=!2ʼ(]X5:X;3qH$4jAJ,pӝ{^F.|dD{I^!|N?dg`,"%.RVx`Lq \`.5SOMj0Y2 ãz(ɫRszHslAKeRU6L |P|lV9<8ٟhYcAPZ5YD CTM J7 z6{j]?PvPEL2* (sZa#QP靾}J~R'-q=S*uԥW=uI!o}HCYP7sXaO\݀n݇o_@@> ȸ'{g@Ҕ-|\tG^0QW*b9w7iNӭrcTIHA8`,ȘMgi0SPBWa[VCЬj=LtṘϺr$ISH9n}H7#Ӥ AsrҐ6me6i7شCݒFŌ@ {T f|ɻaJ[ꪡuiQ.itЮ˄xVi٘шpވfAk_1ŠPMD@3e>hǿ N~xPTlܽ䠼s /:+YFӴ_Â3P"7"oKMByEP"G..Q+M lѨKZޚDC:%4Qx ›b1 ga=nz)Ζ4:+#>-q} Nl'2 z{E%Z33ӧA}0/ ǛEO4dD% ௽voE L2 (4[6O{v۔+ufRy0u/Gh)\o.ݨ]BA|%5 s{oɣD MRqZYN>9q&Yl*I" HW ?`/huu呉 aYK Z(1s4!{?;xL=viLA]_I4RR`vt#v`>Ў,ZM{!ۯڟga/W}yL+!SsNĄw_f٥lܙ>(lB0ofC2YG]X=}Ŭ{auG5\Pp`v:)c l'7b1Z;M\^\w'5?V.#7% -JC[m3Wƽ.?iC+Daa$଼77v!$/$PjaFv2)w#ߥQ$ڃ{WAax0ph.RgVEݛfdљyRD8Wr n j]j*-;.r<<L) 1eݦ^֗_B~ |>Nܔ׻pj,(ʏ ,t>/֛&c iv=Z$ۃLȩ4eJԁ +ҵH6@,rC<*H6!r7>e&#a]e/| (/cpގ~2Y+Y9.8lɤeXԙnPkh@TusdBz9ȬyL(!r΄}[H旂 L)U (}}&ڿDdW^M* ]ɎnG6) BPny0f2 dL[d A= FT"Q&VNX[<6F% B!G%eV:}Teуm= vd(\]x5Pe0"1I?Xv ʥ,:'7Vᭈl\/yoGGEJ*H('~!I?lmh5(lYk&d w2IpssмZaʈHy֮W0ߊMs1 =[nZ $FCw3!QES<ԚR<8[gfJ I&+=z!d抾hEi;3 8_ 0'"P@(.qICgV_ap6p}79 Р_jMd*z4@wr9dIEX_^VU{ɘ0n@ ,w/dü߫xQœz.c08Qͼ"A#`1FըG"kZ?TW _:dzf п$ƪQf't@~"`*x(d̔Y2`et,XL%LHeBLT|y;]zT Jr4MoI  W BǩܙrJfkH^tH;OSx+S; 5&,I[E:q| YO^9v Cb cK)U?sEym 3C=jբ;Oj"X×^4^i!Ҍ%3;dYۥr7 vlGs ]z9 u2nk[K,'*+ "OgV-ik &w{oҁeX}ݜ8ʶ>u㣑28 $:+>"fx@!w+9~) +kCeVm~%VYx$( \^yT3/j%{ Hɏ y/a[+N["s Ӣ8F;,b#rGR=yg.}(zBՅ A6UV(zyy,ae1VM ]/,lLRMʽ$-W>?XP|kjt1| DO ٟ CQjcay?C0ȳENڻM|s mh%ŕlF<줎;Dﭳyb |MGpxrЇ^Dª?m/?Ҭh {3ug "e 4<>zd|V $]I|E\hUH[a-FZG?ݿ~C*-)lq~wkL2bX;=q#Z?m*3l);+{19[ :MV  4:xIx66C 5 eB?sW㸦$xRaױP><*PoCWxoW=2E,Sn,JIЎ]n=jk!eO6pTکh Ӫݕ;.Q%@[kr?_q VT!mˤ2z8>dqT,JgJaD 7G@aT^ut>屪 1.V&ϑMnoҧ|cJfV{RnΊ[U9%T#zz5d]y6Tv>=/GgbbaR~p}_Z6)9b=y>F733Y!cp5G1uVI&3xyzB@@FnAmΗmjP1F_xB<I׍9aa %ψzwJ/o-~1 k=K#oW OF؃gJh9Ow}⤤x&Պvsr-3?Vot$B1lK:KmF.>3φB$ͱ8LSDR ԨR="VODz gYZࣴe '|k[akB4p**nl>wG}HyͿdVv 0wM nqʯٯg,2=8M1SݒfUV<(cn+0wr`$(+6]M 3Soh~It s]u )v~:% / T*F˵&CRv0-'G.Zctx vye`H ugŸ i)ccx M$vW8W .H6 ]lBЋo4;L= tcBY߲.CL(PӸ֢ [Uf~?pK'odJM+w->k!z֍_4u ?7Z]c~{m;)Č/t$X]`R~Z$bq|z 0e)!LX<%鷢Ԉbf#Wal0IHD89p"dͮGGf A ^+lH'f˕,*܄C~S"^Jz[4kChOKSˌ٤vefx?٬2< 2'G:zulNkkn֛>A^r\%cR}K#X*2l8,@O݃VpcUFKq PGZvޤWyqA ⚻V=!YpWK ReV9~.vGUK|Ԩ'>,0fBVT~p W޸Q/!_ivrP4cjKh^vY#nb|7X2$/3J (/J̅7v4iV3zM%:6t̆)/dcnQ)+E72ٵ!w L )k6y:Z]!,XrwŞ4Ν^5,IwJ%}-$bhԣuy5pz&R~g Yai}mrrZzWKź-r/!'j#jw?g5HaL7)5l,BnnuS:",B¨"j~~:Hfڭd~Ca :5WzїmEۗꮩwZA 7fg 5ͽ|JY`6JW͊Y䨰Wa~WACbZh𒚤-kc'M,'tmhPLN5M|%'aA5VPS1~|*J/I<䌱 oMr2Da'ͩ]\Chwn{ 9X&Y3F?C歑Ύ2Ahww@U5 Bޔ<&c/RB3_o.=Wբ/6Ϟ0,N  tx0>"%/Jcqw}k@NA[>}3S@Cd Aȩ6߉ _N l"*\`š7ƫ2WLܔ1U=W|ܧPS*SU}9y v2Iu콥J{Fj`.!6^r">ͥUhr7` Ąq~KmdzoTP i߃|^wP5=RDzBv۸ɶl<ѺvQN`9R?-2.[h"#qUtu-.'PH[u?QmMyb`d?;<H*v'c.Q/\ ]'rHiSj,~iD  O-]sF(@ZЁ\]x1/Y"LYS4^$9(;*/ߴnE+n9 -(asdWEKP]9X||B  -:i2'߅zlvHނ:{A4Brk Dg1muI̿[NX>Trvk >w/U7W)0\WKX=t1Q$,1+zZ_~ ziYCO*ֈaEg~5%ŷ-SI+vd$qs\ *8Px_Lس6+voͥx-~=CSapJqz^`pR w[73 @p`d%Ɛ #KYфx.IR9p6=Q5 '[~Avǽ;ӫfWΊ8\WRۧ[PЁsFﵝ_|C n^cpqO @woe2>f[EB蛔dL.:FrZXUoSM6txGV# S0u:asI8%yL E`{u 躔+VdӍ )-&lJb_l͑ Z0b&M16Z˃7X;gA)Ј.,&hSX=2AKC] #vI0摄J"4ѤQF1 .S >\=((|٢ /Ph^ `ڧIq\ ,%_AǬ,\}r 4?$4Ly0RcJ:.a `e'Ch]JP~0 l<цM5=s{Ԝ5#edNaKVIѣO; -NbԱzQ`u,#hZ>:=&gT ApKlq1 #2g  Q0⾆6_:bt\A:L8M8c3QK?EzzVa2\*e󗡡.ǜb sq|6bNjj1ΫUKNޅ ޓݼDpw+O;jPC yyQ <^%FRd<>ysfhx~R8 9h';3D @8Jj6&T뙱gYZ u'=% UpDown_SchemeHOL-Imperative_HOL.Arraydocument.tex7zXZִF! ᣁ]A-MՋhvG"uIBm5BGHudpV#DEP EzY eU?LP=WdU&j ofzWvp*`,LQgd$Ę;.͇&{Gyͷ̰,w%Ng[[-Ou^Cq[7ӜC p;I,xfu:l^t1nrޢ +z甦ۡ9/qd<FJh*Z1W?md['~yeuC%d+0'LVVd*hBYV9 9Y&J8)d c\tq )`C< U4{~b_F֨qY)kEeqPa.Ls1"<4ʣ,tp:-QdMZ"͵+Pf58j\6]_g!lЊ V1,&bP5uMYoA \+ ) `811٤ Y c8QRِUm :)jobDlT^ ]1xdfI+NPѸGOv} E Ȝeac7$^^V-Mޗ1 g!NS!mv%-Ք62'X>zg@&a+xST'‰Trґ3@ ExIW콡{.L.c[ry` 62I>M MAyͣCjj)KCxel0=$^sO-r){ކd{e^V +H#A8{0! A\f8 ^3! jU3Ir2x&+OQYy7yZ}"BS%q=孂#s |LS*~= nX.9q 8%֛SƟqd 5GG{5ӈYZ#8XPp7?7@Ư\MLbbW0!KGEZ:4r,d dcአFbaBM`FL5\=Et['T䜵@!y3:zz~d%τ;."M7w mNQaƩ XyI‘X}C?13@)䐠lSmP9p_#opDyKq4K-3OGpH-J@k.=[y?וW{z\z.ı0ֈ>o]|cTo(rf5sTG[V҉Rst~X4КkfɺBTa R IՍ/Ԣ6xK`ڊm[,jʾaKTň~!*Qb)Z#'-@ 0,àçaϯnz!֮Zh>t~h ik<48amB7Vyħl5L]V 񞈒Y/58p!zXW[xel'U %n-k&oF6 IjF*5frw};F\' g 4.GŸbu,LP2t ŅKգArH^w|;U^i0]1eqHm8ؽ!l0j|Eeoc'5BN3$Vx,? &-^ >TCcVx>cHaj:+g2F5 QO 3k H{}hJ,w`:1? D(uUBc =F ґX= IVgi)P wLKb͗B<%U+[B&O]ԀV ߖ?A9eEؘ)J mU o0/Un?xW^εClx~3L`K&N~=RV)̘ۛ-ĕoۉG=uAǡ37\^7Fd DrNr XyZ2%q0N^Ys.Uӝ[Dq6ϡT\ B\OZx1 r ubEOQCbcD߽(9f6' Ev{ ̑{C)iag SzFRL4s׵9 $>|u!xCjxNq{7C#$aeԮ8mل"x$_}=w=;BG(5 \0X4`DOU{Ž(pjZRO*nߞ\ nghI֤Xal9Y" ڴg@~<6/ Je2Z(vemlx9Z1EHLƵzYT5Ůmg+c6WyG) !6u2hR>KV/cDRU+G.?lEBl1Pcbr^NV㵺}{w|*j2>[׻z눯|c.]"zHyKk{ Y[!V>us(g}riOV'U&/am p*#xpwLVTJ)dx( B|)e?]kU/Yrty# z?CjҐ;| 'AF,7Ce AI=Pe׈W(N hCē')'q&BqCG2(u:iilq*lhWSՓ<#5G|-D@U2jY7`/htS?G|eaGE}w<2؋ZXQ~F:)aq{6FIii:?lA_-}Qh}NZHI~ݬDBa;c rD\E0S G]ROY4$whM+"J;HX! GU/']"Yk(PORмZ^(պ T$t4%[Cw|LLsr_jfM 6}hw1YMB'KE@ f&,lxZbX= &U{t}4Ȓ~w2ё.K$CQ CڮH,1V*!Z 'gAD!GP]iʹ- g{Z|P\Fq򵶌B^c;OKIm=Pj ~l>CO+k5 P(qPY8Stֈ7uʯ6ʚ5yy\c[7$1#FGr$H5Z M BӂA`ʼnzs`xI ғP1B1FuJ ,/-eEC >+) nTQSe&ש|g!mwjNf 1,LbWw 48OƊWL8&c} Ph8?:A7F-n J4 096H¯6x:XDiԂh]l؝PY4xvJ &sj;A[(nOEk7[e$B{pM1gbniXoT< p{Ss#f3d`HtzyO31Ai}ۏK/ɣp9ͩ,7%d4ʬ6f@rGyki>W51ɍŽn,<L:ignD5x>-ʩUq,°\Վhk_me}TXI/pÐ#؃ lIh)M05/*.ܾL*pِ JUO"jUb]{ʴ}2/:Dݨ䝉I M:Tm*o5e3ς Z6byxGqrG {.%29Uh Zb~>*_ dз æ/Ͻtϒ)3'q7% TBCSN_#RQ zB")&8u:B9x4@<f"AO$am-bBIM8֕kln@DoKx1̮'zЂxm7(íBym40a^23)QIc?{my(bV6x:H-WnݻRʯOr'==Q7A0܉y*|iň@hԉTL[HGD:W~s0Qr7pR=xf(TX~*ST6z_Ek؄9RUMi:G|HLBCw|uUYe&7O"dcv V[s*L"YR7qMGf`1{ʌE'UP._]ֿ KV<*^XrzTxWTbhL6B٩5Z-l|#QM-##4g^2BZva, !5+䲞L83\Ey XFt^8Ek{W$w+6xKU3}>8pa˜aBNfU g6! -_ry*' TSzc=<[Oty0A;&ĀsGrɪe嵅qDY1eH0aGʴovϏT:%BFa7 E_*3"fjZھ=b14m**fet+l7)\8F tpGm4d ?bs )Ts߉eM >GgbF%MtaH193&Ge; &'c=eg"^^$69kcRI>.݀nX-6F]7EfpF ß> 83 }61SJ.c!~XDk?ET G9Pҷoq8 zym5ɏqΪ1 =8ix{ :V#<t!H52I gFg {")N/D ;,G9OR֤&X9rt K.5e_4U!eސ.n,|kap|ȏ z81hhȼWFD2iv& lZ ׬lύJpά9s'ɣa#N@?b^ȪUCsbH8 pGy곂yH"[5NOlHFYlȐ>ÞaO3uU{9p7aBI[CZ=ﳈ3 o"z" J'"4o5XSV 9$"AbK18sRSdK׃_Lz&s5dܠTλ@8|c>ɒFuw-yyR]4YހTRnQ6YVgj yMjd`D:tj"Yv ?8!sLbUQN1dX!խE5l0RScj$ʚCi|T/|[|^DjXh&*GLOc.m70:0.TS7@3ͤs曬hkE2 +Ӹ٠{6$=C\>2O_yՑ]&{|}:w&gO]|[RNζd- 6j)qC6U䥽RXn3Aq_GF'0ya !dCvXIEHd:ș̔xqxx d15[ t CSJjQ#8 ٙ_uIXʄVG@:@6ճ; Φ7 kJz35ʖC(tcW 99$/7O9=kׅ֠o6TUn [OxW0*jVq nID^Zoy0[S0> cq*<뻫m$ IW]M͠q z]XI.ԍ5 rR9M^^'xuD-k A(Go[&܏ԻRqQfc%On?ݐ羐ý>_v=@_ HQeS5-Jz~#QJQj=>@խs>bbNp<+1ao)M+ S:.H@``<3hFkoH&[W?Ho#ΛRŔ#ߩc\9K%QوBd0 va]#;RQ7 [O?DWDery:uPR}/=gƽcx2z`WK%ZI*͊pIK? f5g$[,HߨP5F<;w}$kǂZ,Y"dw $\^ ak'T23fMS23.!8 Zǟe[?3y*=_ƚǻڦd@7}DTKxl(с$li [uzi9^;w&\2HYcT V^pyPGƮ]̉۶7!դ-2Wrʗơ]K(aAtvPkĈ$>) K?4:G"X|RvI8Kx C>9 P.c\t*`NK P yhK&L ~v;NL7RQV4l{i$WC/򕊧L1H)!j)]BHUzJ"T$3J:ea,BHwF/Gٹ|Vę0rYqBQU;Hׄ׶YKvz|֐-/9FmV$ < &1"q CUy_gGgZlJ2V4r%q6Q"A<7ɚlkH /zbم 27#l:Ȱf`Mxz~ޥWKR47Xo/ s3tX85b5fkr3I4Ջ̀P5(|74c̆Ҳ'ZP2K}|]Hy t"€a)e*"oJw2o3Y͍YJ50&t'lj/6ޙي]x`{~8*sfB}Mz#jtTdOaΣ^dz ?L\V0WU|OL _>q-/]19 ?AqN1ƤC&-T`q#xfltUw9vÀEc\ 3ȨV4FK0\SuΘ/j7Ja {H=[a?n]*%LqIi :>*≆ȿ)%-~FN/<)[T= }i-\Mv.FMDK.v]%nhQ+}/ki< t! 8H6y"K7l/%545O tf8^جa?pS v4iy8On8&":m.ۓ(Zuۥ%Az(8mkTIxˈmj4#[ɽLᘛ;'aUyf rym2h;\eء+_K&ZXX qevAPQ۳mmZ]|ߦХmYjgX x?jQ/zB[0(v@-\X:v )DWyLj4MBN.laHGoƸf0=hw]$W\[>8I)KEAs鳳>{hu_,kmti5 nvzq^TEP5_XP B_`9ԟXM2 a,ʵTYݣh`( s!gbmgq,; ӿK*ή ꉀRyT^mc;a- yK3Gdhl5ۀ!DBtg<ץ(P\PG&l yt_@,ԙί+_]as>0t]?xOg>^cÂ(YAO<ŇLqP=dD# anʓǀT̢ay{՞1?ҀoGq-%oTnhW (Bop#ne܂k6cK3amp>iu^+sRGoY3h ĖiU$yv1/.s{r Kprށw?_2|kαи+ i fZ.Nsnl2x@Cmjuźrd{@fĩ-àhQTGAuI2r;Qr2*ըLͭ,Ȼo4Ev>vEknj,-rܚ |E}|F &sNH7gYihJ@≏d(+=u\x/Us(jjVM{^ӣlOkSB L`M0^{  iQn*\˟IϝMh| QWx%mT}~ '}tqlE 0\[Z{Zu˥wC4H)A q+AW]Wp;9/Lӛjb~-C9o(jaNƲc#!㘆R] ,zp`qc蔶p%nmBDB:=3ܮ|Ԥͽ/| t6U*N:Rvq10-LUw#]M1\7vN wq]͜@3%y,M0hYʡ"{ 4f'iC#_Ma# P)gS|Mc-A?^PS `YzhssKRfɥy0os ǝtGivpJx"0Y‘ϊٗQQ%W9% y|d>Ƕ24"v5{G7-dԷ֬ 4}68Ъr-j4:+*mXdGX!{s~)Ovй,݉#R9$5/RŸd*#H|lYdXxfDjQoydco"E䘿poI|wY-]E#ܡ#E QY!%w:J(*'Cdȟ4#UɨtՑ7/'^*h"n$+5Tj:Fz@K}^[1+qvGUvOf]'xHhcy.S%Z- PU# JTtR( "yY̻d&ςMUVE2>UDJ;LlnNE[ ]H-޻1?HAu`A} 0H}xbɅKCVjh bϟ{bG2H C#@&3`qЭ pWJ8̹tEs[>v=~5AJK\vGShQPËt{DvuZN vw-,ޛ[yFC ]CpY`WX\J8RN&O_1}aȵ7w %Z(\9 qP9u&֡ɍ%9W8YcR [Mf8W1f/?%L(}ע+=XhrO䒉| LB$A;$ Jt,¶ t7xd`k.^=SZ [w++uh j`)P i:3ޭDWfƂ.Ӑ7f֪V2VQ_(k8zoy+AOڽD u P_p&.يCbOfR*&mNgvKbhnf7X)zLroO̼ne(jyXJK $F<"Տ(Ou\&Z4Vz J1 8ބl(Æ۶Tk$2E{pY*a9'1Bm>7VJYQa KI<8h˜G?0w{Oj}eͭ+!ʣclf&įOӫϨ8IZQ_.AsBl2mPZt6hdѩαCO$A21Uٱi$gK{%4R!zA`d׼CBh稵"~XW*Lj<]PdEym !p,)-(ȖT2oz!ze/١}^|xe:_\٠˚*M:^>xu\ZT)}"W 7Id^.əJ2BuN6[ P$#oL(T"n B8؟H\%xةm~nAʌc=".Q\FeSLxy.)>/P xx8a# PKI=ҁ51~ir-9ď(wk/G` գK1a`а:3#d# be **^_U8bÜ_JD J>rJYeu{1ϒga jhSZ7)Zv9vtv7 GB\z[(a "n_WZb% !RT>Ao|e = ]wwI%,Ihn0{9H 0b-l]R?KI5.S(2^t&q=G+kWLw3INd c|0#yHy>4}}A/~GUltGop[/ nPmJզa]ژLcQїTum.n! ӮWv=Sj d}aX020}KF53vx+DA{<ۤ嚝 =4L"W:G#Օq1r^,_oA{zk~vf_1C xJ"V@p}T$5yActu-ar73kbm9_xj#gL ATb14cz:K2(R!YUR3LhCPEgW њb3Y,4'G`|'USyjKJWsq 啵z4-yl\R)8x޾'8Kq"5Ӆ;־C@^γ=:Up_1ĹPH$Wnx4Xk TbMd7am$ScqW Rٺ%I 8@/QrPG; 3f'b|&/"؉I3nvui]v=n0. Bi;zE1*=[SP"O,0B9Q[ۋ%gO ~"ibMՖtzʍj|&ֲݢdBM&6K4bl0:(waϻЉ XڭAx2S.R&Eð+P [Q/o`˗K FW"&~њ;\d͐Qkl(WR6w"]q0}+,  m,u蝏xfiEx+Js%$ͨ{6̀mc:'x "0d+{dk_ L;[F$H# *"nW$6 7{^$R宵ׁ4zn\pkb&[.}qoMiDzș]"$ ~O7i nA_͞ >)2E K<YSm!S.yabkaSv@9Ari0bp |uoƺo{?/AK ml1:ڞg0D:Q@YS{q1ɠj;kC@FP.E݁KieoZ=sg4mmr %Đb!ъoU8li7n6 ٔ/ |Ppe@N+n^,QH2̩VAjT=p8Hc"٨^{'M-~q~Gj'ȋJL԰#F5sH.⩘YZ3cAބGn2w[5]X+ȓQSЁ0`+78wR wEu).2E4?丆u[lrzD )Zt7E?eWlDN+H9Cؼ_\OT3\-Ɬb/Mb,J*\I2>H#">\}Ms>|A&OQ(toCksx6^݃ Z%@V"F:]9O.nCKNw s&+!ңq#xR-uU`BS;AQ'"sG/7 WH|R^׵j {bKH# dQ+#pfb){%p):4N.HL&9. 8g xࡿ>N>SD$HIKcZMI$l@ߒpYuѧr߯t`Cys/}/sUc@D@;(2o%؆鑦@u暲­LT- '@C"ƎQko֟&WQjz("A%*qDz?FfDU9N{j]dWMUnk-iwҬ>=סoޣTPaqɫPörw!U8啄־LT9 ƿ9Wv_u)7gW,Z3 0nI7P@CX#P| \lb^3~ۇnpUiOJ Bpa5BF*jq/zD*xQ#DDKӉfPLh|~Oq|Yt/Nk!wKb*A@-xZ0 ϼ#0f%^-?@`F}^VVjqSnf*T?rOйg_W6ts#ѾYh1 >M.)csVO ?-nP@P>ENا&XNE7aJ:"!uX9Py.t&rNr]`E., MNcˍQCa Aps%}s|/{3ݙ@VM.7'^OZ:}4);4&Ya!3%A1Ojĉн x?l۷Z}{Mn7Dv<5jYwNW}D"ᬦkB*T??dϚ[=%Y_:?Fqү&#-M"lQh/D>9ZÇӥ>ܪۦE|V}zYǁ`'ž_P X)}[B"{]557J6$7z-?zWs=p0^QHY;&($Vte]\p@LQl{@}]9*\.n>a>Z|p|i bz>D~P)mM?˴@P4k7/'Lv17V)b85&sU҂53uciaSJ>득5|)`fc>W0c+hW*q؝1tO%d&1ezF` ;Udb(3ڱ-iuӖNUo'5wL1 r='ɃKBތwj`9 #>Y!1y VXg\ҭ7sjNn([5ݵfo'CYbh3Nh`9 7`#lYkYψlxG 'eeB0mC6 ;uHbuFsO԰ /^' P<ÊHI֭B۬-I}~eo[AW5yE#fg̸io03QD˹ciwy9\ 4M~LL34q$R{u%4R|saQ:7=%NfHe~~l@̔\v;7??ɕ኱ +el*]sExG{%EZ:ײʑ$>h`0$= \< [ AhvsǦ{YƲDgb?&-[i}v̗JdG&bڥQ;I_J{61e._"D_R%=i'I;0P6Xt(! KBB: -ئUQ:@ JŜU3\؈j j V l{4h/Iap4۩(N&VN*>jLx*,4)hV\fɫ]7X4ƹ)m dYvcPLEB/!?%w` ;pܗ7jHsMP 7å($qׇiݷś2xT͝qi`7J)g4ѼU%"#vS UߜbU" ׷&/COj{'ݜ桀:-ƿInPOsRcGz7E&Z,ҩp_4b"t?yG_b_j/+BU?sWK{'5͉ۢ~)Ѡ;|Be*i&AzgxB޷]<10 $9{~ KF59B*#,=_VQFΏ}vmӔZITg¨o" q=yp7]cMo+ӈn hXVH&-YP0NOܐ#wtϷ.7Ӌ|mt,!:1== 6|_3~I9 ,brjcMޯbD/T:EtڰD vMdM!j 'Oކُ8xm}Ȅ/;Ad}uL͌buYH7sa~oc:|6̗~W[jat&~M 9͎ݿ޽%ZC]Dй(#ta3ēlܑܮcbkk;XYe35VJ\3+Ҭ`=/ò!y\D2*4f'`e$Pbĸ8UO~R"o@3|TtۊJBJe!|!ja ~wb㐹mUrWcyd(n]#I%S +\/By xMN Rsӑڅӿ`[3IGzc% S%õC^uՙrjf;5S/vͲJni=kH,*!eF?,SwQlI-ݻoL%$ExTx.i`U,Uw_*u Cis%l@'b6R *XRv  2g&Vꢙ0ADYZ7R9Չi9z};2'3,k!VU!sE;'D$(*iPҵV>4ZXh}ᧄ_5iL6} p ,FQ \w͚<ؤjYp~Yr6VDe?*LM4B!p Sù$=gYZ  '1% \UpDown_SchemeUpDown_Scheme.Griddocument.tex7zXZִF! 堎\]A-MՋhvG"uIBm59Q( chO1da_DTBd4<^ơf'[)ݱmj}hҊ[y#\y[m]Rxh?1W fI 4 :aa \ 5*s~l{U2owplEJ_iyu32q1o+:} >W1^{{jZ@IVxZo<);Xd@jLX4VA+_D_!J'W : N*ɇv]j1oJO6 &R¦gy GF%kNƧ{ 1OJqM'T`$熅 T4c1 xDamr/Hniuf<5y^f|P* ɡ9t>Fgȑb#' Y/pш<Q7иHVJ5moڷ^>9c OãT0^}%=ILdlݶaqr4j`Gyݧ'tE9(@#M &UUa6_1dZ}{A&kE#]s"8wv _byݗSNe>HaEh&u9' |-'8qѧE4G6^'9^:RW,tc'U#`UF6LYse!/WIHC| ;}?/%LSv~؎(yﷳ.?bٗ#[Z5v&e~2@ %kP8`X9zgx.`C :tvkxB` ^3^- sm֨"˺/2i%Vܚ`UyEfo/-ʟU-Y!r A]|"|&DԨ^6qz [Nи1mƉàKPibZ{'Œ#y^rc `Zi'KGVtdҺD;yrَ-WMDg.Kh+hWdpEɀLiY 8l1|(O60Ųk;EG~0/.u8Yg1Yq-0ɕF`Zyt,;3𼖧`_w)P y$1y2fu>y{6OH m3y)8KAPǍ;;d^-o $x:n){L=54YOm>u>ΞqYZ [%IWϠHP>~ !xWoK7B?TԆ$$ /_9u|8t_2]$_nD]ٱ*ͯπYdJVCuw~nM-&UI,O@v䩧Wy#,ʥ"sa=DI]<`] `;5=#^YO!*n$Gdנroɛ~]2 bևy\Au^`j-ZJ_dm&MmUJ;s^}>9q mJs)^zMìM0dW?aB)kC8Yt#6LAxG `ٙ>L)ä.4 pfQ Qp|b/RQ(_@mQ~np1mj6=@]żKA*IltâLcl&y_0)(7gOǦ*n@W _T0>ĕH{╲"is|#:Z :;\QL8T*ksk*HY#X$Ӟ۲v3OejߒjC~Ur~:pllg=`oE0)yc(3?[ˏ\ 7b }dž=eB k9zW'|8 rIﴼ[x#JHox*7f'!7I 'p <(RIcR^.;?ןѮ[CDfoLתb׀}ؐdHrϛw8LG_wi[s- # Lo}nd?C 9B2^@NrVL%Ҹ-NDhN-ǾRg1Vq/GĩBqXRC6E\PFn1INJaiEŨk8I q¥; ^Z[wwגZMXQaH|#YRnkPԡ'RE<{)6~.o,_;]aNIKIqv{? ݣy7Fj$3dhMs8p#B'0c> 33iFLn5eu Mgl``T[hEe:<)YUdP&WF$@mG(+w\!0m#-z`b64>6u: 5[k@{cPn`U\22 J.8}U8Ix9!߄ho2)g=ʟ9Ulp|k2C,Dm"f^sx=:gt=e0yP$X'D^ #V9xyEwOF`v WIsa~8oNco4hftL$.'̐}E "]$K`n;E6-T!Pʛ{7v}ˉݹ᙭O"20ݑ8:d\'PԾn7 ifX[G+03]@5թ NJШ}ZQ㹳%*0\, $ߑ.`C$2%#3)t.拙Ugf<(E@Vl1U5#`\4=Wy-*eJ"|Wr PČZ{nZBb^1ےJk)tv< hmm2Sy"9\WKdGgQbk*8VX>v5 D0~> `V"|%HO=+OcKx`4Iu?ZhQwk eMϫ]M?~ʼeϭ~̑ﳩv.'y~" !%Cy4 n^"W>%?\oF\(HZEUgur xcTg5;mCv*-O=! /B6qWP&F"ȹS>f>ν}2dAnQl7QMG@z>epR/nNu)w;FrJdI]}(t_/V/ԝKBqqsL~Cp}D%mӰAeA4]JT.$K4}79k f9#ྸ?o̿sy:SB̲#vd4KiINͥ-w.y=ً/#JJى$ebgqlK.?sy{6ցR3ѯ7JG*:E4>`rKWX])tlϤYHBq6z`-_%1tHQ=6C(u=J*D"[ں)I+[muy{ 8f 7$HGi\ C>KDf=2 q`(x}ސ_7g=r.MZVg6Bf|Vrj9 f ȃЍQ,yHSΕGpK{VҘ4~'$O:JT/ȒsB)d]&VszQgZ!3|| J0(FpRo wP@'@1bR`VUٛh+b ʩJQ*e|;($%5GnNߕlUNMza72yP/1T6]IJG*{*0ܯ E?Sy8cy(ek-imS Py8HE&0W5G>I@ާ?BYA.`vP O(i~ƭ[K̍3<:|%GY9;81*-i3U5a J%y,u|خC2E%̎Hoήmw*r ͛pX9Y4 Lz OI6iTV:$"oUS{@D̬1?]4Z.B@2z0z K\G'+VxQ=0f&#,\7""{Z(p@¹_̈hD9Mz^1\/gDyPL1)HO+ &ӓvLvuʫ@Q{كMr/7S7L-i@hP PZ[?k0X[(`L _E#B P:َ9y"&Ck{(X ȏBs{J啠dp$_ u QOqN.+|^Z땧UF/3AP^Ǩ齤L3Da;uZ%oZO9 G\|Ϫ =E ɶ(߄];]E)UhMqSTyO-{d:HsU?'+ߵk#э 9{QglEbb(Χe]C|I;YQf?O9T5QK#+sVsfDxm \[ĮF_3'iF 0,SgX=\ôylP@gls3QL]8Sbx#3&ClG28e#Qfoe eK) H{EhcЋO7\YfsJ8\5s-Tuu>z9lҮjT3ac;=P!Dl#cRda{j"d+2爆p2GH۪hrZj:r4`{r\:Qo?VXGǘKzEy"L9T FK&n833گ qV~ 5}P *zn8Um}53m.e)B0G\z5^>vl*t5ceg%`TIU LhKtXvA+ןx Pg*0hZ7>oۋL U˗>)Q}:OV0fPL|cM߀ l53LDǏ#`Wu8h7Jӝv(oI>/rKoR +e\P6=ɹp(]vR2qEN\,Z"NNW=_]rS*]ޫ*8/01lp}w N`Cr[Ejjճ ?oIJTrP &B:}>z̼k^gAHcxnōa6 HSN_i46IuXMw&QuJ*!]k]mgoi 'v2I'Bd͛K3oK8Sh)ˉ(}/U%s[hb4G `QَM>O]Z^$UvLD&$A1P:)s7 R U0TRY6-EU5rO4 ݂좔 ΄eҐe$ JE-ͥn(!IGO9}Sdasvex=wL]hP)^ǥ3rA[o%>xcu کl3?̛mQQQ}~aE p^>P|Sճ3S3 x=#ag[6?v~ w+"'N2|x2O"_m%4eOL VBrd&f\ؾ/E :QHvW8= NCSHtW% x{]_;,i0UJN&Ա4T+cz!p`|tŃ7>͞[M:57r;3.&ekb͌( F*qm5[~oSP녨ퟃ}))k*i Q({f V׌TΟ?j؞]ƺP9}6 t|c+LGRBҶ:y$`711oZ\%G1'8`0*an:W;Ž./}$Ewf޷bsg,bgQ!],5{.V^(1<,Im˪^u,@q*C1.-CcZd5<3-~(W29~/">@@Q[\UQɫ ||*Iӱ#Foܑ]?{Lj)g$>DLcklT{4+VvnKPWc]6&'tq'N{F~$l۶^0"[nmc !%@4'r'Eޘ8觎}ҕiHM\G])ݝ@ޡYC7:7 *.d\}oܱ!Ќ=KI.\MpZ S iQ?G>O}گ.c<Qu9چ9!%W,y;v'MH%1Qُ!gTχjNWΦ#@Q;aܪo\-*(X+dA / _nJ.1S,ڻZ^ach=siޗh#Jy)OJ%ry|{Ëk>p/E7ZԹUh:b9,wm#5=X"+΁"%K+4=i]`Jb0:I h \#"/_VB6ŖV_ lAn2}MJ P`r ^q+?&Xnp-Hq^UQ\{#W䴽[;Ѣ YDxPJ+YCuОr77>HtF;AwX?< 4j$wMlZw5Ex͛K\>&VuCЏd'{K瑱7=i>TBG{5-*Z)RFfׅ4e٧ L2^d|\UYu U+g[z*f}d$FE{l>|r)T-B'BbcQE![Ma*V26.L.z Tb8S@MS6\ɌxefIZͳ/x\wrOWïU*` *NȣXϖY]$EE&%2t ~2?ԗGTئg>OYO.]T4t{ $Y^<; |K^TvslW@_hqZ Iaf\;j<.%ړv)J @*`,Mc<|d?[+%rL,jhV8؍0{(RJuuZdZLjCZaw֓!Aa``1q1a9o0j\8,mFpJUw@nxu6!˖YW4p\b s[2E:+OCɿ= D+|}/ r,;Ϝ~gLߌ}gBrA[OyBіN =N% f)iMUTMcld79;K,)?0R&2y"^DƝUJœiW6#Ghiwv 1 I@#|$ԌC^i9Rit Ӡ8^x+̮u;o*.B./tjeJZ/LT$VC.BрKEѺ'>yd1/,xY..JRN?M]^ߝ,9?u#1 LG7*ѝ'?+l[Nw[f;[`FqdafឍcJ}@?C G%:V4-p#@;g\~bQ}ҪcmZ%e}NMT"BxE. .'V\Ro prlx1}S^OlsžȲȧR[*{Z-D(4 C WTKO,\EP yթ2{>p1͐<//g '³G]W@֮*aM?k1J.'(i׏ 8# .G:6M`rj姴9<+[ W$0 j1}6Hf>g=6pdx#~Tqvqx%׃DVv3h[HXu<3^}&ŵG?0-khv.vXF8uӽvQ Ƭ:(`eGJ~"1"Fq8[(4Taqa@7=2ߑ>i ZL/js YrN'ɡh4Be"(9kRT)`ML†ELjtB6QQܾ\byGOFlY.m7²%|RۦbA/;@mSF𹬘/j-~e&V6zhO g#;hN~1 q {;(]fj9 p;g i\@=2~_J<h:LZPb- l]Oıy-{M_QH.0HO!Q~]N^ Y<χF&[^-xoq kG'Kӽn7,n;)(I.6 DT t?3 7-䧕:=M["({}4L;_=dmiŗK{flotzHy38qP/g<~A0Y~փ]/J/ŀj QI!KAшB9@ [5PA LqZN(͍66 چI槶ʮi~˜1$\O=^Lvӊ*\gVrŸ ksq3;.6gH!KcqB5?GI@dqsI]J DyJ:qPQ?K* nf+z۸3/O͆]ri6F|]2:bm;&SWCxrvmПğ\\fW7m e=uj֨i&+wܲ)Ŗf[PJy[VlASJx38O=,@a'Fx; x&ծ@^h/xdM+G).f۳3iDŋSEfO:7evH= MZUkN? ܨ"$G{rkNe( QK {q-Ej^eZѯXd4V J 딟'w;V[rClj3ȥ괋d#*NXؗRr@R"Br89+;|<"=Ql; ?~S2.~ 7?jR܌ѯV+nhnGY:feHXSkɰxIO펮O$OAwHVFPo(5&ux[ke^yM|.Ex<aZFv^tڇ\]Y\07.Ȅ S,VڪCޒ̕kF ^;,\H*gX}φ>EHM ӍGda7` IŢ0k 2 zߴۭ):jl܂kIZmPȧr=1:)3]N h `LnX~b߭ԊiDmᕠ]nQjDg'>"Mh^).h-+Q׃vvq{ҋ2s{rҺiz'% Ew'eQƈGn@<@oڸ Ҿ0w$ܛ#KR&KC;gDQ}fzYvI䝈c: E+ؘ$Ux_M괚:offJfN/,k(Jh ɞuί`' ]ھ.a' s`8{<XG@]r\߀U̯Ooem'f( 4a殏tJ4'0 Gk~ FY\j[ m,,LK,ukg3|ܨwػ xI{i$hY:{&t {f:fFaTmD'< .fn\\<a t_ͫI4\h[eJEBI~fVr}K9q/@̤Ꭱ3|=+aX:>xG{7"[$lSԳÂb[DzZͦ #jJ?B u_ 6\H;KjT`/|Ѯ-Є*{*Qܖh8 q{΃٘!$떋!UcgOOVu`}E;/ymƖ幤Da`NSFVȵ|*^AnrtU}]y4)?Ɗoo@mK*{@zy?L-6F.x;^+4I7nxx4S)#2 [H8~CPbߪpkY9c~B)kgfq DN"ADkMoBG&Nϙn9,lq \n=B.ݤ_l<-z&dκ?1Bg8%fJ?U]IH,EɧGj82I_V_QiktuZ%Rlp*Oϙؑ-*ba&2tC!֋Q G& [{D yf-oRüʀW|츉W FB:EklMHd|9뒱gYZ q 'e% TUpDown_SchemeSeparation_Logic_Imperative_HOL.Hoare_Tripledocument.tex7zXZִF! Nd]A-MՋhvG"uIBm5ۙ,H`&ŠHn{I8-#yo!IvW?BDN}3欬}ɦ3V< L~|H6?2iutFr2 ,M^Tgӗ{|x)4sիRsQB[5?lD)nC?q}u"?pF/3gc,JƼ|Acnz^ov8$^̀}MN W|zM =ʸE .uOcŐe _P+J֢q?*v0izw;Zr2ƑziI#|2/A+fz22ާm2&d"so) m4ߪ>('CO0iكHb]!#:eE(mNM s= "Bp{$Q'ªm|DS ,&^l62d;+ɶ4!%.s@ZPE;Go^~# yd<3E-J#ҩ,3rp޽n iLI>+t3?-帰SEgx$}*)K}up2 @䴦#@ƕ:5 gºT]_ 趽!b5A:! e77.U*%-HMOG1/'YOQ1`{꾜t9 [_c+>&p2AlдE*EؤZ./*g!JG}"hH^>aRcwd|]QV8b~Q ֎.D?P"J0j&^(00[;mn#X$<wlTEUpQ& +8CʺPo. 8%;h|D xbp)Z:3Z h 6'/v wnM=FUZ:Ͱ#y[ȐN/7JT ;n=ڒ*N1:HcI&ܙ*˵Kɀ~7ɋDjBvT0;E(LK6/Gp:b}1 +r)^krOqdun%/ki 9~-Bq@}?k⅏#$G&gͬkB5qd.7Oܷ Dl VU(Dj<149gL:%9uΩ 9 Lp})h}]> '鴜3:[5t&dm(ᱢqK;>|cc߆z)~m{՟uGUex{\+[AΣ83t`s.K{}{P1MjE7PO 9I_vt]ќǰf=강7p ҧS 2Zjx7׏b!ZD/hG6I`z7uzҸ3ä#ľ^+MsT rj9pXe HaA-L: 4m ZKi7y Oި&V_6*k72yrIDN/cMfJA5>p/ފ lJ:ŏnRqB76$׍܇~HJ >mo[L@vi44D{"YMI\S٦3OQ20kJ- %3BɖeNa"W,/!X)|{W!јLZ 0",$ ض)~DjTAN}'/:a_ezvT8ZGT@vؖC-U@7qmme{CA0ܣI(F۝ ZA?NOw&ᖽr_ gH HGiȮT=λݢ^BPVfQyks(Y7NG c :7!m1D|kR5`|,:.dHFן\:x_$݌2\͚ s>i~_44tʼ{UJ'ƀuoo]ar]g/6R]2?G.>I^0tRWIdPwA¹h>*HYk SiYF EO?ɠOID)YPTe֦n+ O Gد>p!)P5HQ}JlcBE+<|}!5Jie}>{oU}C >+ T^fPڏ!6 /%brS3s TwhyW  )6&=WHZuꎢϿWp~:0#[vUf'-=l3tH=4LJGW)fٌM$ YNތL&~DQlu:6h9z"fߊ[VZ`j`gOHAbe;rXnΌu:&'mIq۸z`{pHA u^3SiZɴ+wHB(\łD9 -ILI/&LIeS"I5q;9: jkBNvkfN 9St8"1ܭDem~,ȵCi+KM}MW%QFO@0w"*'yjrWu/e2*::{Ы21A(O5.L2Ԩb`V4||z]K~,1|9ƈ_*g)V@?[PX"\ `L.j:O|2>\j1ӕ"X=w27%q껱JgIv:rwZvQeƙiLJ4ޒhГ>O['M! fJij2ԧ9g=a(!*kb|OQr]=H-NѸb"RўX gw'yP-N #,9?5Y `L2XF&Iڻ07&:9Zgeb%.^/njTsYk7*-.zsA2!@კbYl {sHacXXA 2B_!0X=zpĂњfuʝqo_ 5KmϰqWMX6XLhZa 5]Tf}BwhMN#0Oޔv4`q$ h\嚦7,)}?|i‹FH`Z]5F6WP*S`TܷG}No4*je$mǬv\>|:FG 3*i&t0 IbχbLѡ*rQ)*Bo?N =^lQYzU}yJP'jI~ P *A|OGTO]>/%JʑPɴ(!|5g ! . ˰^{Лn5$ 袳֩Ћ-[p ƚ\Z4x,SaT/{-eicsN DrRt+YMC31Ӕ|`m ~g0Eݻ} ,$ ~]~auoN<-.m0bݗW.񾽞jM5;2>%isSs2oټw̸ǞECUXM ]m 5"W"D|k1YKcb!<zYH$ܨt- 꺒O4WڹbA8}oCj7*Lmq;BF6c"?'675MxKY*ǴDoazrFF2 Í&y.~\3c#>";A[#X{cBf( wdj4wl[ 恐IBCY/QX"& _(kn 6\s T9!'\*¹HE1|θ4<:º>Տ ~wrQ엢2fͦ#Ն&6KÕrk"cWZݕ,gtRݔ!Qz*G6LAmti ތ&ݕX^Bz$^]P22}2oOjsAБA _uR*Y:-|j38;q7s .ԌN fM;lstKSd cKlj J{*:+#G0S`r+F:d Ft;@*OeܛYBgvRv$w[W06)XY> wq:.!o(n1?;Ie8(ZNi/# Ia.qY~tS S qPM-"-g"F:; G6:/ժygYZ 6:6y '=% UpDown_SchemeUpDown_Scheme.Imperativedocument.tex7zXZִF! |]A-MՋhvG"uIBm58 TȈ5ļv(sbGP@K-eE'b_꙳i" ƾGH&ѭjyc PwnN2[WF* b*;̀? yL*f(?aXyZ,Ѷ9VD yn3f$ϥ-4T1-P1j^̳rOy.WM\KY|5LoZI _x4exF*Ը \21d #"Sҭql` $ô@^p=8wx>.pu Q?=MI{;c|0)MQHX:) cH8S S{{s5qcDK4h-:?vb{=e7NM l/"b sQnEﴏ$x5Rqk`¿(,:K{B ks[6X\է)9K>P=<|ŀ lIߌ-p"27,/d.עAbrfU%Ily;]mc[7f)FuP?dT;AƋ r mnyAΩ$g '9% lUpDown_SchemeHOL-Imperative_HOL.Refdocument.tex7zXZִF! g]A-MՋhvG"uIBm5z!]5(;#8vo7kçzdod R< [qʄpiDžJnM [wB{B.E-wVp~a^$r55HA tՅ5M\{rLcwF!0^e:~box>T Y~)%ǟ%w~XoztU_}{y(,jI,{GAv#Ti/*40٢q:Z꠾KD1d_6[1 g)ccW& zn(KCnt *gә/ʋ ɚ\a@%1 LdL(5;Iށ&O(Ē'ȶW\@2d \OȎ0մ Flȗk NjrU KG!7"(sTcwP5Brud{54)@;CYDBtsd]~ ~?Js7 X|wAf~vgRO ٜ> {1f#MD͗JH]V8U>Is1b BLzLyPYIwZoP1j nuݻFa`M~wLvQ̨vhEkB%xnC1[C>Z 3~, زtuxTJJu~ QqiO9tdW>u=7C_#I '-% GVf`l n_w3Gs?|UnGJGqr 5APumǗ!r[0٧u\ HZf :WY<(Qޜaڽ j ȇΉ~QUߗA}ECQd3B%2"Xgۘώ;L>@U1r٥ꖜ ?@376?` NnUίR"#ƁWO͇UuȷQ~Y <8aZ%S;T =WS"d:5,~Lf&6b|:^nXn E=^e=ԮzP=ׅQ<7V*[(%S.&lv빫[;0YAs2+#Uk2p!'G2*,lfFz N.$ t}fsn5N_kY 9 (,ΡyYVH?]] 'r . C7f~cHI7'uKtƞVbSnE!^Gи ClMi)" 6JVܩRL2Uf̆896ۖ6LT}{϶l;5+J lYL-J;L8~䂥Y3`2T~Rrb-+NhǪ'{WDzrHHx SWWlC6 .7e+%h^$5v#~yp=<4@ '-xS TO7DgVWJ!g he~7ty^[12ip%97֋D@X(68J ˁk_$`_;^Æ">ypV-Bw FJJRTJN.qhPڍ AH9c^8"rG 9eǹ-m_[ ~8R_w)?+ *Ck)%(I\Ǚ#Ҡ r  ~ҿmuN |R)I<ލBjxmKrsuvAWfQ4 : !dɃNh.r#qBof<犣埉]cv>ҾB_^m VxYo`4= ʢy8%?v2Br[$XXHEL)2!;g?Hw>)M۠ݻ( .w 5zQb>7:]iA**n1wz#dR]#QEXkږQB4UB0SiI:%⌄L튟 i1uO>>-y/ G "ZC2]Zp\SǞdS[>U z\쟛ˡ :]g WkfA~>PW"IT:lD@' 9kMéAmXf3S׭^K/ɨ!)5]7gfq1:,}[ ΂* loR$P,@GV2dGM$`rk4V+_oϻeOW`<y4rmwS2Ѱ}0!pOX+̱Z6wXf8lNsw[}u=&uzP1E4egb>0l%wnDb:A캏a:$YJ\δxboM.}V P Rv-%a^j˺QW̝]!"o$c DgM26LEA\Do-[+`Z"Jybz]矀eF?U3[~[rzq4q4QY3^_[iдwlI^ōS8} ́7\5dc@W`ȷu~f{ż2CLwCA:{O|^b4%uD= -[ep]SG/ߡ@\eʻYn3GiOl|!yhY}L߾|tE.9^1 JpZ fQƟfH|{ZܮT"z}`ЯֲxܛVue^,]3/V.a/E-^ )MۢW̦x0+Z;{$lLJH={JWd͆+C,laLqGe3z9$9PcS)IMq%g á"Μbf>i,*hOO i$aQ MMP孉0- 4A 7EXIVg\g:FIb mgcI$!xζ^&+oc^o_XzE;K[IƙA#C3*vfU%I*_ MLOz <hhWjJl#~V]R\D߼14^|B!hfzu?ΙBR[D^_nr*)!=x;/|SmmP/F БTfP/Q][ժ*$wh $i|S}ADe1I j%-iql ;3~wŵPf@M."!gF6zһa4~x(.9tЖN*2ekSfNE|#y$qۆ cHWi¤X˹'/sUPQX2H?hWLv]l7į\ePiep"a ^Tƕ|}Fv8 } ̋})oN~0$<Z^.q,ҌPa'(fD1\#k Xa?U<+vv*J&CudZeݞg7:hzaR;~fJ! e]Ҵm39FJI,vZַ_" :wHӠ2 u ۣi5Otar#ہ겁ҏJҮnװXZGhDX9mU,N-l42vԥ&UfXi|'И/tzX֮fc . ۇVۘA]dKfA*0ӸX='I$m#]ŖZU$D~|\-Jm3:QOPe h{eG{Fm~!]8AKk~r3gg04)+:->2 K _ޕ6%SD^e;vKwƠ [Izf~잮0{pze(Ozicnkt C/'3-t͕X%[%xl0jVAk[,'~ 8ZVVԅr * b@-[[Fڋ9Mmn$ZI[ѡs2j5Ժ5cRXbͺFx@4-^ U1#"~QJ׺r޴t,j:))‘Dm-;hK]~ mcd93~EQ }4Qɉ:J ʩ5`Z!A*!۱W0ΒtH 2:Ov:(画@!^?7}ϵ3>01HtIir $X29PE  W|u),Ņȸi]vcm]a1Q}h5yA8YmVKa(gRsD&w"ovD]2Po[L8nO`YpVzR WqF,gg]3qeH(TX Avf`\=/܃o]ZYe^f-hTt;Ѓv3ܪ]r ,0s,ˋ[d H>d{5aYM8{h5Mǭ%LΟʉmRʜn?W|{? I*tlw[?湒 5@<7?ˬwV3V.hifZf& FABy.Q̧ʹY&nq)Gq6cQri2>p [_M$J_ k^5qB_nkcd\,]PvO r'] z2HV':5m/ >4)`)Y @6^9};"~jf㛍2rf\ak n{= 3<A;?bŵD3˂l0:7/HXozHEͦu){&<8MA`}}^ jV9q,Be&pGjgYZWw?_d3aM '^u,ў pOs/U7"tt9anpQV_.n^B2>879ءƾ oa:a%-`IwJ)&'&d̞5vIep9\v)b\C{A gwNQCtuX}Nyj bȅCO>/fl4D`ArՔĿ4]uK)#n S,+1.R}\p4h oF-hA,= ;%hk oA/^/$~W8X5pi|/vhoph_!!,SVd%T2x.MkEeVYpAHȠ"qiz\\o=GZ;58{Ej&Of!<~(mwUoqNwm#]OHT12nw &2SiRdmT<aؼ$37|p=u b>,Bb2$C1K~)_'Ma~oޚ0;0Ӑ"\" CυC+qU9\C41YRʶD` 1''OS>p+,i "ztVP%d%HH?BŮg+} y>~OʨH3U-:;o_,tCˑLţ̲IaZwu OF=So|W 0!AVESiG6Κ'#C;toysRgՑ.@o_9o(SіMu2sP?&m.hr.W,Yn lCOEڏT뤵jtAMyA;t}¤j8rr]ek,P =OP{;LMʢ06fع{r`K8=^E:i`P/ID<ꊪz/@}@S'"ű`s8,|`5]Fq;_D^?cVԞm]3R s\>PjsUPbL.o_]媭p&``)W2zؔgDY6ozBV@)~z̪L$#@&psNS?xg0p-qc+t ^T\X{ѴSud"t=ٞ$< 'S1H(r@ZG-2 Xu~c\}H$_fNl,nP꬚MUwd%D) vH>O;fx2|(NA`Lxq.B^\f=+hx |̘rN2pUhmQ*gowk ]3!X^!$ۡ?:iNsN&j6!Lʰ:˻l}=x,mNw^zV݃T._sA5R'v>,`mtڋT.{B.Y&5˲/E`|PEgQyO ًێxZA4a[`u$1 8n L;wrPpj\뒧stYxM=\k#bjЪL{*FPw+-=LA&w˫T*wI|?^ua;m8u i%hىP 8Yh,P 0tB* KF"pyHZ?~HJK=7RHoU4r𻜗v>Fpd>88dX{JtZ7PހvH7[;81ݬ]Ricw3W P#I‡٨\[R뼩)eFCf.߫eaGmmBhO}~w:JcHVs\) MT~ Cӂ d \D-&TDlSԵ=) C97`(N^HW IUНG-v dEj;葍bƚ+$bczHV=r/*sX_qE{˘c5BG-`8@ABBݤ[vԆv8[{{AޒN?9n eG0tɻfC?ųe@![:uujb:h4pfO=Lb;ڎ,ŪhGutwDsܒְDM F&49 Uan` E4ޥܞԫH>#2wNl]b}f5j?%g|E۫ VIaM# 3R^?憁NdыQP&}oVAd-[5< %=@$q t^0NNj&Z ZGIc"Qèۋu?&7x;20Y3~[1oa00b`BH-3+ȉ(/ΐwoD(%8P|`9ۗ[L0m ǔ\bE/I5=}^k8u{hx/R,ko-:.fYCs?v89 p<^8o! ęM-sw ]|KO2k ,u`"nR*Wb==9(t)zH>pl4O+[UԊ8( l P֚C$Ѕ%Hj7 <(;UΛ RTO/b9"-A?B Tj_}uaHkVnW$'HQ!%QTBD vm)<$ >4gJ"{Emdi!gpX E9Q-&逖:,[bfD0BN~ ޼YCGS/= S#Nɇ!zjG)Tb B_{Q8# ^Y9 pbat|J HT9|%E gYZ ^#TYة|K@^ђ`P&d[s1~W8q5i "QEvQYB t-QiM8# 4,[{ٜ9`D\bU@R!_KT "v-xfvݯNX gB?*xrb[ +):j*(8W,C}GDTdh솊?nҐrvDGQ_\f !Nw ~][ %+n.@ Lu@ %2N?kQ<ϳ7c EEtN^;i2\fZ\rvk^\&كJ/Bš-{|XMRUjVI rkd\K|dw2>9Ent^^Ax.[jE۸5%0lyPdA˪GR(4gX Oy%;yEkNx5hryGdQ'uogOB>8ѫN+9i ~^^ANޫ_F'%z'7cHtgT 7?&6c'C3Fj[R~y@؍ 9P(oEJ]Z7#qM硜ME-@Y#y%ΫYTEո!D!wy/41_UU+xY$ ^cGGꕘqm^iq񵻲 ,5f$pQދ9+ L-ɮ5P 6VlQ:sq-&,֧MTK^zw4YϤܡwOڿtihb|+~3# `Gۗp tzۻyR2&[ȩNu $t,kT&}O^CNSŸWpfP)Pώk VfF˱WJORYtC:&ȪlzO>|/֡w.厢>Oԗ\& #$Mt2I+,QI j_XpJ׸mlܜ۹~~pL`ڷj%`8%Zi]RoH5}Nw6oUnyIIݡAԍӇT 'γdqA퍐_|#i4@S7m%ft 1hthAZvЕزlcbՋ~;Aޝ8׏рQoz#VɫͰ w5义8x559 $2{H`qqܟMn%^Aʸ|É̤7#a.l&{Haw39qfj6àryij?ܗ*)nxn"&`. H2'!ق-˶^qkfN+@v"eEޒ*|&ke;Km[Җl`&{. Ԉra_p F\}U]HěmKs]B=3Q ~x!Wͱf?{>| nB"'1@{Vt$"oHދ7Lr"P_H\89h냛o*-Oy_<\q`^q6|'1Mڄ8#G$0R$X3 Mexg1azr}tE veSb ûhɒFlQ褂haY5,(_:(J.OeMFp&AlVnfwb{bj38;/!JSL(fEJVY^T*Tik*,j58hq,G$P7?5[ø:C.߇h 1K7g);n J5_GA @Bޫ+^e /kyz>j}D,b/|\NT2z8(M 2l5L!ξ!'ڄ{zP_:Yj15kcQ+55퍺Im},.|eNٟH`\ژ4 զDY{9eUɀTLeF k9sW dھ?D|ji"Caޗo&?O e9{1"K[ٯ>;eSX%Zo9+Lzxe ©y1[]j5-uMbe(钧7y=Г;l=ƀ Fq ++3h+~<=cTƪQ1fv ܆#D>@T f kt₇eZ0;nI̸ h2ӍҞR1d9>AOtj$*^pȒl9 @-ӓ<%8jyuy:uY9쩏jo\ޡ75A6|>RFnT1OPS [?UEwHi Զq7[{3G 1[x۫8azPۨ"JƀTVJ0+ZzueAv<5g,ci1Q4Z0X_ތU+G #AE~ׁy=p. z&?Q9Vgv&I\%UM-ǬN^"踤VBE;$ _a]g(@t|qP(CN R S Q7XpD$j1_n` xvWb U_%- gYZ  e'e% W]A-MՋhvG"uIBm5Ȭ{ȡ#Pg"u '&y?=h聀`A䑖(lܡDo4I'wnr8b7*t50uprJ+NeJsUC3"x*`81)j۲W/)C<2?T1~͓v|D@z"hG}<G LtRmL+x oZFm4׆}؅K}͆6=7ٛY|}tv{y њűQ>A3t*js\o}~ ["/hl~>Ω& ' *C`bLj)D^|ێ%_2i<͵a|ޗ_ t۾%}mӹ0>qemG49%OcQV:B QI\]9ܥ0cdq %;kJÔGwTk)SSE0&i٫)Tr(Dk\CP8X!'SÂ87ռK2(IM/A96}u H` "3ᓣGTKh#'^ծ̳B xq U.@WN‹@>s⡭'2Ǽ? luib^i #{MZԭ9s}mLv< [ٷN`SZ':-Y?þNAVVDGc8 &һWI%Y8T2@bFz}Iڬ0t߃,;Vu > <,۱ԙ@y,8_=^ӌaq%= TdT>gUztȎ;>T(3Uan.9cqX 񉃝{Du6s+$j 0R,ZyCPC>•C5\+qD+5e\4YC%(.Q rX?Ӻ&ޕMLeL.ŒarS4utA 5Y5d߇]|Gw6?R}XlUln!05s[>Yr  ,RD?rѭ(wk_;[/SM7. aiG 7UiQ@BY᳭,~EMbxa7::MBxɔ6UH!Dy-iǪ>)1ϯa`bL!pƝ=NqҩR7ktf 64\^%J1Z's~*M2ybtHev+)B7[80lL+%;ڇRFkYֵ_h9iJPe SU3]o\FEؾaM"q-tsBQdAD\]tGLfUt-%Ų8޿dokUI}cַNqoԤvN޸S|I}fK L|$8EۅDeZDdq-YDž/hJf:FF vx[tK.;!b&1'̢MtLCŷO"oTM;߃9åc2³36mY`tF,#@||t8/ {+a%23 C Nlށxn0C0c5 _R2i+SS 8d@ iFsHOI`LtCg`Y+qnq3JVvk#)ZTi {* D<|\o@'t3|7PjY+ sln]Ę#5 3=A`4vT7DX[7d ^PnLnb*'vPSCrEܬa?پ;2(OמC8SA"eJK#=7Y][3$"&. R6aFt*r]fr$-`k~dGQ &x~U' !T}Uck܆S"ndbHY^I(?Ntc% }m}W'1% TUpDown_SchemeUpDown_Scheme.Downdocument.tex7zXZִF! c]A-MՋhvG"uIBm5۱.SYÂB8==V :]@P&]%{^+|0@Hs654ue5s݁S]y:zYMT b'T%QT%bcQm*"t\t$EJM,A;3g471̠Xۙ{'AJk:B;k1L&2W:e@q(y^jc[Ҳ׵-TJV #A( W\s!AvŖ"3̔xTL^s>&ELqu:g6`ЛHu+yeT?*Gmy&ɖ1_{1ڻ=j~mV.UD17ͯ[<('3% DUpDown_SchemeHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ5Paish-_}X 땧@lB 9 :/M>tFؾȈ:nvv7a`/+tĖ#:鰟Mu(ԥ H1[4#A%IJ"}.?LWoKq ~Pp4%z(O.&UvWs#LKɧ'CӓY,H4X wJHӨfu)6jSͣoZ pP]jp0gBؘBwpi.F+aۍX+Rw xu?nc& FF'FzPcsH$0?[/}HVp/NT9.Xx+>`tRj;;|$隳F&VeF8K(6 `[zpOe/&}\~0܌1; (*, GT2%Mbl--  N_ȱ \jեVA>YARM[ *4a! Z9Z׋-"_W *O_:/jlO,Uaa5>-Py"@lɗFYi3QbkJx$qqIY+^{Dz.tVq}P*]B逖D:"7hŕCOC蒻Nt~HUë`DƗY{~ɳ5E8QDwLKEWN|#rjGv` 7B8JF$N 4jl!aBdXkB\vPZP^oVW{fD3G;}(,goP[m,F\ޔl"CVI"[ _%q)e{7=uHa$&ĭWڷRMqijᑠJ۬eYC k=^uTr-3ӕuV|ao?}\uz\IE>pG5h6O蘴ȳpZGXfMA$W~[oJJ'Laӵ6,㰚DQR?}E~'k_h|\j}C5 =ͤZmvQ-WjG?lH6|eou0oihmF|"*QeGnwwmNK };lGvh{?BdzilB K7M.P5YK"8Q@[7){:;ݬڡ<8KkK<,h?AKU*Ծ%'t@>@Id;yK_fa. \f){-Ziy>"u"|;k{Iȍ?hLK坜MwKD KhYɫU&~9M0IiU/U_GyhY oۙr' ^r`L4lE*VȝqB S9ͺ+%6W߽KzkԗYWPS3 ^V8[/9qޕÆJg:fC SD^phZ|d:eV]ǍjH7rC4}T4bYyU{{?4!ON&[9cݴ:9̱ " D-A ZC.C1ώز+uQߨħ^tп2w(V*.N.B>v{3#G r>\8v  8y_JzƜj̤ī2C)?G 0oubd0> m`yʞ(u|#&} ]V3'7W׼6 ]6_vQIwEͧydHAɓE_ܿΤdɏ^//#x|%ޅz3{D?g$*:2rCdjy<4 zNl'T sXl2Ƿ\a|Nj)c.^W |ExM^l>7IYƐb$Fu18,n@ ?%KrDWڦNv[OZ,Swft3%iGw-=-^" Tkf@s#K~y&.nyLf\3%p*!Ї̡Ұ &Z ނx;*ʋo@ē\cQV~J#OK-4GN+@!F\3n PCI]B2M},*H$}/[Qj:mwNb8F{`66 mj'b 1'mJ3YIgLPq&KW@_Tȋgޅ?bXQQ},",}iL,8b{<6#w2nL=+{gQy<-A, :pYV\WagȌKSpc!jN^p"S%y:ҠJ =PhU~SM,dyT dEHېJwut.M)w̓p>^ݝ!]x`/1 _"-q\|(j'Â2mS,ҏrK,0&p"#1$.`p3ն۹RS#c70(;G!JGhT }bY6#R &xSǦR.(@xuݴp j1`c:+{\9;]y ~j^`cMr+EgfΔv[s݇_CT_E].Ig);8 58dJ wb;,aӅp<mGN  * b*GX?hg"9Z=88|#zefY67׿Ζ]" t5پFYĦp9PlJ{&g4NlY!>…!jbfx2BШUZȬ4\'!eѢD+@el`˥5ф} L.fг _ fvܙk?/M*D&0&k.1+{+L&5u&ΐUCDc~=p ջ+V̰[{̳053 㡁ġ[ASD(Z{G@o-yذʐpTm WE V:m~䀉zufӈS3ehsw?n*Ih_RBR D8 A7W'1ޥ&x_%AӒF's4EP".Fw #g FQ/dUҘ_q"kӡ*4$a wYgYZ '=% UpDown_SchemeUpDown_Scheme.Grid_Pointdocument.tex7zXZִF! ]A-MՋhvG"uIBm59X.ryhNō͐M\2! bc@^b q'xsZ;$t꾱3%J劮)("eh:oDe6ǯEb8R5@1oc|#;rN8H~U!:Bq>O" _0!9c>R&~^ c etV@aE=ϧza&\ &nSVؓဝݎP%/@]F;GJ),i%+Gqƪ– AtB*|8A.v{&P2ߦvRHČymԁѐ| ?@Zu]6=i9B8?BX 4%yKe[.'x`D\]6'^f➶vGf-;2Cm:; E^a!?ǸHl"$@pqyb'bNDԷ}p'n<46:7Ӄ\>ZM!ΞI9w. i C;6z)^*ov%EAۓIрti+o_ް7>dqN}!$t_d& S IDX/F!u-"gMKt?~D1.CV'Ƚ?}5{p-iM_4T}!vVi-~TSy%U}Y.c* Q]Qd++BzT?ӿ1Us*fIIn|_PlZkáTN@S (yVӱ_;rr %x^-nZ|!f{4#p  ϴ.^'pgT08hd ="&*v 4K [=w7%hrl0K s pam.tN}u\䊒(${ƞ%fpIޓTelR(vطjN "jf%#+#d-]i@YEUiP2" 1xgQkӮ k,jA4qr%f %TNk>U7|qId2ZNTTh6U"U~ԧ+=Dfh0x KF3h! mRD;3p5b 7=FʊLte~k^4O3ƈg ʎ7U@wźf>saxImMi8.?=E9KtmDЊqq0cE5{̒HNzF R&KZQM>‘D аL=ي7iYU>0p8Tk\"k48)tXra6p$bB} Y R#]as~mB8[D@W,ߚJ 74ĪaQAⰡځ2; մoYmo/)y޸u. WK{JYfEk–>H%l?l86]%䐩T xLuc,T[_ Urpf54872,.ԙX?oFr}jcFQ8FDx`e߮,X ݐn5Ռ8j_CǛ O1DɾĤI/sFf-ps% L rG^ZEҲ02Q ǎ(0}u8:0 ]v}҇do iY:V"''( Zx4'(-'\#hPwR喑Ms|%B|aqynLcecm=u2k62P> tM٣>z*\,KA:4 PRy2!Ÿ>a#Txm̙!M^Uϲ'56䡋$E~wWY(@%B wNvs>@aAvcR]Km|j΁.z;N^ϞS ܡ]·S WT2[JhS\FK@n.h)5 A9m) 6n%|UOW=5(s14D}H1m!Rs/P#ez|lUH4JZRaKY}ZDmF_GZBC|g~J}Zoӏڴ]% Z0mb( q1+u{"k6(OOlhŔV^ }v+)$~WU~n c|5:޺d3ƛM>7C ֩*BY2ytB$iB 88,pPnwPl rzfsoj%>-d9.PEٰ[K(g.m=;1V bܽ}<]MeWW6ph!6h|rM{'Hӂ^x5.og>Ɠ=v.ߥfd69> Sfk֪A>,캴ϝPaW)"ZPl``"CU׍ubmGqace.j!Fw1ܪk붩 + D87iBj"J;҆=-2*xkp.>t?O{ 7LE-ɘ$(ޔ/Wc32z<&NL%EvYLem)R{7~2t߉qbm&RܴfaQJ2d-'9 D4 >h`wVUf418 YnkzC(LA!~O_lg߆BxTLM|IxEW rGxD 9/_pX)«.P_a.~X'`2>m_7*<Ǟ@{;D2JAvIM ȋ5*L>Čr9Gzo{z.ֆkWC=@ufqXf!Ȕ.XZ_rc>%2{τƮL]֞y8,=X 3Puh"Xyl1i㗨(39B5q<,`^U(# SXv^MP:cťTKg Ir~>ȁR8l紸-nv8E-!x %ݖf@ڛ bnŁI\Z.(V4& Kpq>y nm;#/fP2UwAC˹VgYZ  p';% |UpDown_SchemeHOL-Imperative_HOL.Heapdocument.tex7zXZִF! :x]A-MՋhvG"uIBm5hr>c)!fK>jַYy+] ‚rXZ27L!f>qH+e0J@l0Ç^a2D[_';?1jJeeSo,`! \nZraVr S)V=? ?[~=Ў3n#=E["KhO6lh3G|H$æ_34^c`R?xDrX(ߪT=u/.q9|oU\pζq̡>fg_09>GgMǾ؍:˿C߀x lɥN:l!2=5 Ay!2^'}+VxɊEY `P0ƗtvIQY rmlt<0~GDVǨ2e(\"q/YzAHJMB|9ĶoE}vpSQJ`3 3X/η=27:j.c?,#0Cq x C3Jd!jNm\R W\H5}[S::O`"?9" y|\+jQsd=IVAcWesvlgZ*6 pU$%U~S1ۢD7Ri9 Mi_»tE2i`SvPB)-Iz&"sjB_!KxV̥8wU+$^'DvYM]х_]VzvZXEXX'WK}FB>"k |}ܽ-g,06ӭ[tICkk|2٘jW fs҈B{jI)zFaTvǤ\(A:t 9AN1EqBe7Na0e@ ɗƊ&x@fyq\Pw_yXN@ l"$;hGPOq`=ʰxeowd?dԞ`&77dɲv}]j/u!H6{TpEwۂPVM#XV74@>Xd֧W$X)A9ïsGjˈ17:CdC,ߜ$\& [DϏ;ZsFep ٫-(H^o "xF?3(08$)O+u1N!.+f3Fxtί3ܤfρe?9iE7_(AO.w ,'9ab z8ըq)3~2{E#貖A-\6 Ӑ o'y"..ZFQЊ{t5ĩJL1z_qz+1xN&Ȏ<\FeGѰffcR6(Ս^dnךJ!\qʋt 2j1 se'. FLEChl~EJ/(@-st&3ue&- SăjzFs]04Gog#SvhL2ݮ3hnsܡ=.i`9 ud_gYZI'=% ,UpDown_SchemeHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ  %w'q% TUpDown_SchemeSeparation_Logic_Imperative_HOL.Imperative_HOL_Adddocument.tex7zXZִF! %a]A-MՋhvG"uIBm58 NZ]FdnYYzxH !dhݸ~ 8:'3Bw2ET|inbz"kHJM,Ծޖі6F )kjže 5ǸYcvKg:təhe0RS|j-şX6,,=< ̋rWgYJK{Ww@-*Ntat`m%@6HMJ[AX3jOBR7y}u#>섶"jwVȵ{0YEg )7FO} @A+29G "cZw( G!Зsua.`[`+ 3_ǩMFHռ8˶fk6Jo02LG'~^p 0iw=<+q裴 iuu&2KL3MFBp+fZyC~}B^(tqC<;I#L6K+q>Wt`o 7SF׫iտ\i.>U/ӱє43`y/~/[P !fdz CåtD\.vZcVUW/&(DfLX- oCD(jlCnu<&^{O+5|m8h-[sy glrWej@;<, /B9Y|?dNPGO*nUU$n 9[o0:hohΎ ѵfL~2{qb_L Eb !p>6RZrfxJ;r"u|zL7Է06ˏqBl:|J}@r6v=;Y+}H[ KMi1K ыfgyi77XW%:5-F-=Uj`32R;݇Y2x oBW)5::I0g3CeOgH/wǑ=Jpo Rm=6~#NԤUPhEW1UB,3AAgX1`Bd0@!NHT]?֨iwrJ;oH0&4pk!|8.|t@kEoI؁woKQ_].lSHgx9 _5_nΪF<ҨĤ~/yG/,C _="a$߂'yئ;}%2iY0xFtKj KN:tgYZj'G% dUpDown_SchemeHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZX'C% DUpDown_SchemeUpDown_Scheme.UpDown_Schemedocument.tex7zXZִF! Y]A-MՋhvG"uIBm5:aa^&aRL2S"ŝ{D;{ULGcd)9!5̈ ]&Cov7v(4}fkyɦ-O-"# -;kгV.gn&OZN:kU<Ө#?tޑ FGy qx2PVx磗#w*YVM eG?gK]j3>vW%,Nߒp4Ϋ;aO@m֒ʚ%7t=LǨ| &֎*}:2A(eGdE# "]r$-c{`2w\We`-MܗTgUG-*5_b$xOW1$J\N˹qzXpjӐ > 0"pk:Z9cEƙ/-bY7SY7|BRJ~H_A){ρs,%k;6Ǣ7~XyH"!S[Ǐ*١;N$-ؿhhn7lU X%ߜYRM:˸qtf@PY,t܍ t&rF8hn#'3X7I зYqbU a4b9bnC wzmw&XyK)7æМ~3dHSsJLod9J^ˆ^Fҹ@?qsel*P K;{/[I 0}0Z>c_f_]yI*fI擛[r *\L~IfK及Qw&"`6M%j~g\μ˺C"GbnC|!7˼Qw(=k`5ܿHVJHNT\'Oo=Iʼn0SSIET!OQC |U4VЪA|V([h/@sYr, tſw #yCI@Q^cBXO\wCRO2F?aK\9>za# UځADIgYZ  8 cC '?% 4UpDown_SchemeAutomatic_Refinement.Miscdocument.tex7zXZִF! -H]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EW_dbsSpQҋKh9$X/ay6g'$ymzriϯ;L$j~E$B~&H#{QHv ݖJ˾'! EB& URڋ~|vrQrX P>֊ VI EUG*f pwQנfJ=+S_OYҿ,Wdo:3lU]'R!a[Lj t4p U0׬}$'^.<{@vيgS<':p XWa:[,jgv4\/b?&} `V{j\?A*:ie@K%-'İ5 c\Tn|TȬc9> 2Rqg#ri]ZO*ZxFȽZ(eVPN"i:Q" ^Q錈ҥNS9#4AzXB'`0wzhTGNVDaKpF-SK'&w0L;B<1uW Z|tٯa6~c5os-3nMah_)d36eԁkZ|y .OPc2dçzIq2 ;6DajLG`[WOIS|b>yB@g׀q%PInu7o %3tR h)kXďK[o/̝09+|J;1Fg hP61dTvƈ|[9xP . ~ի~#D_rq=I!&\d4xYGl^]/{|n?K9u# .ڿ][ n _ R|aXe|{iL:;~>+`P1f(7LC+CdӇ_Xv1c W1N ?lz+cyMk㇨ŢLYNtDU)+!Td6.Qf&KaI5%{/eay4߄ASTS߽[;MpmN y;}i7Q]2BfHW%`;gtݮnW|ͽp7R4K/wnM8DOg+~}d{RogـipzBr!;oFmr6t/"UZ(jqw6 9`s7MКx`I2؎ӝ"Y)(U&* Ip80+"F5jm7 QH f"`wNLPDž[;gr/z*FZ]RB7 )V>ƊL+sHGգ=@gYZE'-% 4UpDown_SchemeHOL-ex.Quicksortdocument.tex7zXZִF! T]A-MՋhvG"uIBm5eksߣ\"u sQ<)ԗt#v<ʼߚaD5#)_g ܆+bgs8dH-%5[$ JÅt\H$|-1JP`L녁)]aoEn75^˳$GM0F␧\/F #x}q5i\׀`0Qh_I>~ ht"fWK Kw}w' TIB2556 ȋNg)4d3uDi*x/۰ąZqC "iv@LR4U2b~(>s8CIя8Qjq~ʵ˚:=!Ч-HMl1џa^sXolig1]^קCw9{I}n^s.wF !R)0G_+oN|>"ZrHG!hίXn*ۨamxhjRX{P؝Gqx$fFH:*R*cCZG%1b;W.%s@,@,৖%JWUOwb?_3O)Ƈ{UUQim8=e1uv8b@KO)'2>$Eڋ]+![u(Xs4qTUNzȠLIXs !lϺA=Xh_yyDIq;!defGܞl_88~j|T[ktƛ|ّ&WNp*g?c4H)LęhBl@]`K2[5r{# CwCW ?vlHIln{;Y5^ gYZ.S)8Sf)}:J 9]eyް-_qh 't:[&Gx;b˜e4fM*Ԩ *Ct9™Uo)0yTyPxМw;yj^o@R:5]3UiչRf+ܚU9N 5l?s%;Sf "u<ϱXbzz;XyF? խ BJ d k_X.?D;Y~fK"6U9t%@~r^,A!.@J-՝p]=*[-c;."&dY齡{9H.GCF]?*é] 5Fa);WLw5p@G^F VT2CW~WC)ą YBH`DfARhE\z̯v4ѧh 5p 3./)xz\텯sBETi0Z'xg>V#+mVЋ~TTg)l%0prW3سʼn8T1i׫b=j0wZmg %F=^//Wa[[!+"˶LLpʝ~n^''+wesΓ!(vu.\y{$A;!i70hJQcVG.%縺m4ImWw8?l 6)~K1F EC=jqsگ54ο{9Dyfw A}Ѹ؄;/Ey֚gd-Ȳlmlb\Do,w٤,PP#"\(~'LIt q.EFF~&`y:0VgM.CўՐ4ؚ/A\z1_Qw/$-حQy)O ?sJďtg糦E"nCe(AɆz|~72GC_cVw/8HASD>><((1 n*HFdz9۸k;_,(-o!U +!R+6ك(dGv: Fլ5ȑF0hB/1Wq4T+K}m}QrA8R X2u#0]`/#^,KRҲ艊|W[Ԍc%=upa B>eWԛxˤ'҇!&PԞ6ql'<[xlYB m@sr+QXtiyk!,!Q+:#2ⴥa-\ z{HFZ#Bt<%tp[,g󅡬kQO#)'٢\@;Vo[g/` )[[$bwm* ~/u2TB.'}]:uyEwE<ʱPW;5Yta/ĄR#鮚_k{sꃻjsr ?=4>'~zPJl1 NɵtIR lzh%W:TNNf`TT=8x5A/^%nǻa5Ⳮ Mb&"L$dc'Hh-`</#R%r[mKu8[d,!IT;H=dއ7XKpڤ24{.aLV-MHlJV: X@yY~TH w9͔×̂3D`1nw.R$@sXcvRH),ЕؤEa(2 P8~Ә&ಏ#:Z42q=}ma?[)@ 3 tg4cwkzW>AfYM?QVuQd9ؕ3j #JYT@G:|hX$UpQSfڝЖrq Y@}+"Ntz͝bR>I? ~Nɧ׌`PB!ICޓɨ{w5_;IX^X?!1ޮhuNnb3'$tL264èĠXgmu|\z2D:?L/&uN y9綗8TNo` 3CGrګ1G%nJ:.$`G-Fe p_ R\VW-./"8#Ҍ$H^!a)wMU((VX$f WXH4 Ք^R)\lJBIJ(m,,7!`f/'06Y,4 ȑpcG8=6Aވ~+;D.g] `@;HhXEygEi~\"Tq&53AM8<mA*FmCʚJч'3{Sj?gC|9~mdr [O[`\!׍dL;hGuruSN2\ebmm8ףj`,YwX/ |(;һdE|6JLgZo!#n4{&C>01Cpprz|%hMT! 6HGS!V6ކV<0v.NI/S.jIk xѝߣX>_d48v6ZJ)g3뗧!J֤sj{EVoCe0z1e|T|d:цQpw q-yl`nwlٗ3mI5嫲M')m3- j;m wP!ov%?"BBmS@:!sFX)Q&6T^MgUk~hFӛ6Zlb*Kp#oLez>aoOWu=R}iA})pG{M7L0>D$vGU2!quzaJt0IQduiCp;<Y3-*n(#cx!۪hf{Ȼ%MڦlzQ­xu%)68/1[Ͻ]T*7CÝXT3 mx 7X+ęm9Tk/.{ť/c^؃CkaQ֓Z+B@^马hl^ >Gf3T:!0FJsBgak,bz-uY nj/(gdIMa9҃-2c#FS.6m5 CDU˥?πAkRJZjj?z^DTSkϝm]E]*ĀeNoF628 dK/{Y]+}PWsNC?9i)9טtȁbzA؄xgej(JjfN -o&BzRK1xxL-΢/Xo0ݦ7J3}݂/gw,߫r>-g@-/]!i%|d: ܧJk-J;f9f?2}FlpEjҘdP>! Z }^ {Z/1'@qQf? \.;w{tc5DOZ K_ ou_|el_`J>&e=;==ofy9.7 m¢}jL78RWwjʠK(wDiY_kRm)7 #譸m LR >vUS 871~{iP~iӝvE@G>6ZE>NQ˸8sߪ32 ꨚ[2ZvcJqSe}PGdl:0\9 k K:)g &'͛+v~;_REʥndu}v \gDQmjƨudCB&rY w2-bPY"xS/)'E"s QhZih}mY|%6 eI [**"ϐxvi AĂ#>^8'!6G١^ d}@V5/Cn߭5ž %@5z\RR Q%Zh@L4`55L 5j2 3xXa/6L 6\_J$.P<B>5I f[=g-,IFf\nsb55rг7' -7Kb܀YVͤw]3!/)^!bdc23Ş4- ->#X #Z+!`h"&G܅28qKa.mmTA< ,ސMD+06c^ug$cȰv,ջQ0.~f-41d ݫFℋԭӱqwv7bFryz ķf\kA{+r @ w#GHzlp~rfc\#%#C>YeO@ *[4h$ЁM\jYZr7{KTV2jы6*9OiBv_<s@6 o#] %*M%ps_Dy !U#ڥ" ^[Ej lllT}#ɏx7p;$liɶ;QcD$LPrn3z% BA@S^sܑ[֯P $cf,G{LJz˖^Q'DqJT*3uǛ2x-xgV_lPEW2":Û(" #Ehy|x4bJ(>d$N` A"'t:`XyE8gЍase;"}sLDwwSq{${U1#T"~,G* Pޒp?W1=$,xҫ/*GOxWO%8_#Qq@5@eP6q+8PHw i;ȑ[ov-R!uTj62bGUtm݂_pn8p^]g %Zvy< ='z\XH3Ę:|*ja[KmSt"WY@ t"z, W_$^c.np0MQIt'vyH[;6+C3HRX怙a+).`VY~#GB8{mgFJmMLW2ĜAպj}b| ԚW{ol<*`d{6ކle12:ȶZpSټz`kZq@[\.luA:C2i_]n q|< ƉW_K!\6ܸr]+2mA VNxGГ |_ja n@:gۗe[qL΂j׋͗u4V\Կ,pai K2 Qgx[# Wun\V\&M:P͓.HD{ T xNEBTd^fjӬO^ZLȇ+Q{6DZޏ]-v,-2”͔ꑋVZa@(g5;9w>A\1>&}9J6 n+y!46w )Q ü`W0W$'${2YMGdBu}JIq>9LZ0 @KDcsu&],=Uy L0 r?ln O+xiF)}?ܕzأ\cFޝNxA@,DUN[EqWxy0}}"Eq;7/ ^.~&hՉ3aeZ6fgEjG SXFZ7v՜WÀ/R W$Cx챏FAig*)he?0Z De5Яlp Q3Sx0[MNҐiW.>=-xfh!_4"3M} =ʟM Jt.P_L:1hLh)FHMul5k!=qv[}vrE}xK^WAkh%+F5'&e" }#߶=Bl/wLB~ݵ0B3^P^Hv$hAwr׿.O#ѹQmяnЯӌ잢/>œ/Ckd(6tR%Yh˽Ug9r*n%fkz=T sl|fGq,pӗ]_8r!9^Ń|^@"y8"BLm>G>;ꖊRx5=E!߷OQn'IbwNBH6HΦ5Q8-LՔed{3H0chl8I\hTKgf ĵLEGq/,e q{iGT$\ f"*5yTTLo}Ur+u''ìjC(vx(vfr=iԗD%(Ipa#JJ:)a-g) ]_5y.NVmO66 )=l :xJZ<,iUT,B!E7L>twXןMLEJwH/\ۧ22]R( XU*,;mAxD˗Ekc6 F(n8jrrN5j!3b3ш&DSqȝ[J%z:s 䥽D8A_q: H9E~װ{#,!YOvGɷ0mpbfp>K~& /iXa؃t)w@(ETAbx@,=mO294`"QJF?fOl'v% I;)+MDj걖?G  d-R=.(l-me̶sF [n4~f!hLZ{_aqx0̿< >7 tP>a6U7"I<<]P cl@!/Z3pBk>,a*~HV`E*' _8օFE)[0ZSG>T%3 o=7THp>ئP}4eO-׾rrmZEAaDQ'ݗ Cs v,U6I5ENKK+[M:-Qe/Žܗx#'} s#hOil6i䌳> TGV'Ǐlܟ{(Q =&UcJXƆj-},*(~#*s-MtII~Ks G54|]Z: P l]:daτUdcPV=:b,P%d)kIc=D *=R/#Zi"C=|+I0wo" ]-%dr1Eeᓊ KWTv~=p Yh"r:`eO/ Ɵ0^HQQֺBDsRT-kE8~o655c8xR_0fvīwdehb֍&[uJ[Hr${^"nQZeUj=Մ`h4dOY"⢹b5vh%?۷8GVyg{gXN(D^n-z;sҧNvՃ [׋Jj"_ #erwܰziA&2]Q΄OGjpl?usf֪8trEdq4$B) g/鵸طӈV] !m [cޜ[ \u% ,žDL+ŅAcuTG"LA"t9EX4MZo3F_Fl1l^tdu/TB]Qbdž2pu]0>į{7/VO5ĘFIQL7u~m}иJozHį9c$4'8c'dv̷:*NkΣH>潽B_[lC%"/NFඦF I [) jwa߁6V,T%_G)k01޶q{c(K@<+_z,̆Tz,` \pHf\P<+Bh֬$drzdE\_'04粕&gHDN̝n )Y , /ѭxm3b ᧆsPX 6XTZqo Z3i N2!7JE^y&Ez.*y~HΥJJZ()(ee[Jst}:7 [K|أ,: u &;c.d9g__(E!Ts_(PĊOCa8K2[ڰ׀ǐ4ֲEMjX";uѪ-ʆ] 5ɲY@p;ÌRDY7f@> µfr:q9LF\ra=^ ?>|=,βAҥF. WpBt6@lY&o!B>ɋGzMSiwOψ#7faF-F14jg~ d!59cMuH(qle˖QT]xfPh'j@t @P `m}IE, w98=R8SO(y(@hﯛ E[ԬlTNG[ ܎(b}y˫ӂ ,s<~x10k>itWYg=0;P֣`4?KGqp]r:uH+a͏hɗN*ע)~^͌:_xOڹ Ћs+`&w!TҚ+HXъzQT36`4>@kBҶԟM`\]9HYL:RΊ &E6XLs7X:uz56rjgBqEΆXETSnv@d>f:}ꒊ aj9C@ 0hE`ؒF6TKy蟨0ewyp^n4%˜Tdv)Glq(q(qcW׺91Js4&`,1.B2!uC2u2 `/? 1UBC9O Eǎg̩N&މߑW kWƤ^tQ3H~(ά_4> noӑ}st$X~hr^݅7\Te{x! %I4$]NkcȘ|ȵ,)m@P˳g*?nxƒ=;m9DwdRɻ,#dO\:ʬo eO~@SKd+ZOMҏfǩ~3w !jLB+z&pϜm"mQ}"Vo_$a݉H-&MLPlw{mNg&93JI?f V]sJ8&)lS^<эt;,Յ`~h`Vxo< ,kTc_tC1jn,p2eΨ!Emvre0B{k/uyգrϪ7LG!'$>h} kBLN|)ıeps@Ce@  ~|f-3$uA%(td\'DeQ2m^:9@`.Qi쑷pv_&^e]u}.ᚡ/kN 9ft[J%`s݃rK୨gQ̂]h3y4k|j‡b/Aa|Ƶ\ 1 Cv;DP,H}, MƢ2j{?2qtKރ9q?S#Vzc@U5 hnNL+XFUm]*K'S-6^!τ`c}h\w疑{1K]si?+ KMu a vG {n誺/|j@ͯ1\Uhct$;fjfg3b\FDI;GjNqU$W3-:'o,gzD/ ;d ZIɪkɪf@?Obs{ߴ"^Y n.,pKNC/B<\`v$,(d 6({E 8dO`WA03u>~&*PTdW UwC-)GFam?BޕjcbqcT(.:H.{k/x`/yuǍ*woI0s{"c6P 6S=ZwZT&sbb,r7w _Oz~+U=cAިR7ܡLħW@>3<-4VH%M4sf鱒`ιOI>O[gwy\v}LTk{q^o/j2"v?i-jٱj\Yn(ykD2Xn9uaP3v 2ʊ].RC iR]\|Ocퟢ]MF[X6PxaFP嫦#.)QN2(Q)6%oBVDdQ>7J6FHz%VU*t. YFٔ(/L1qP _[AQBP_=h<{a#|Mᠨ|sOMlnnqh{2x?:3+p\XFqc5,w_ [ ˓5::#&2\3 ~ ;X<^2[pfxX *2>$bC>˴$x]j {l|>w.C!èRnms2+cÎI0Q(WNip_iaxA!#Q;P5BͽB,*>l&!):3e0ֻ|ޫ#z\\.tHG˻ ݫ#GRw `vi~I,7N%b(u߯Mf8f"$6gO6aM?ɒubdu4<%(֖y01x|iO1 q )6({+ҹy'yGPGQ89&͆@tW0}QM5@R L9, SO _z2H4`>$pVjœBf z ^sk0O^Tu2'`ay65O&IR?Faø-rG7^zt`kHLVyG yJ-w< he- bg.,/X v=m߆Ls0 ]6+| )Fy}F`$2o uU +"SQO&_.$!A"O22Kn1䄿.y.?QF"4xgz]p!Ӡ=:/e_7`W~[9qWB)܊3 vnu0̄}M-x%saX;JgETPi0o)Dq؆Kb > 4ҩKʟ%:M&JE/i>\X6k"6au؜ۭ~$O-aqXiyΦ!{Mmsr+Кױ˄m} 0nZǙ8ߘY."o? 0^,d+]FT,̞ 0~nR یWĀ9{(#4,5 ffP_78Dc*Pa{@8]L?en^]~fs2 ƌps ؎ϘΙ*XŅn##d{JR#:B \܃N"m*vbaq^3 ;ԍB~'H4FߪhY}ئh>  㦃0 !6ںfwQ$)Bk-lz1Ani tm%K[*"*,LVݶ HA)˨I$!?bMR8^NR@\jiF=Z8.e@ų!IMb+GVx6o09V۽k VaUK0]3ibpo guHv£$1;hi[u*ͰE@R`^jDݻ.uOT5́ ^DY9Ҟ&6VA}QbY㾷co9]nX03&ׂ.VPC XLL;0RpO7 nθ"1[IF+l<]d.v.@y7>QC[G+ (q]/&-JW^7!MC8]x |,H8p2*)6@OAGdػ.`*Hye'TXvX)yuvEO:ޓ(CM,+]?̳v-Qv˴eb+0O$L{DXCd#)[nß)čAz Ԛ\wNILQ/ZECw̌|^LN$,lDφPix *D̎#8ÙE^QߔPk]ܧ*f!.ޛ-a$6 Nh0rc)% l;S\Jk9#>g۸yH9d<-HAg཯2^ rҘQ #t,.̺ +8naK'o^#גڱ3;x%[fz's!_A3# 63V=6q' 0_g( b>ۭ1 @obv3!?=0\Lp'Cx;N?Eݺyd2Ӓ]_{}/-ob@E!l?LF j~?|1F`q6FbGo6eF l!έيj񂄐0XS'MO]F8Ce5w R_F\]$г7GJ#0y"o"WX O`:8Mu>>ҁ#@e~o5zq{к{8PfCu0*W˷W&#cZ쭖u$LSH$x5Y~'2]I/k 1.]b} AaD-9"4[G9| ri*O=I(]#4Evm~W`!}z|>2JafnL"sQ3&$vY݊g؉a>x)2g u]h 權g{ITOHv> 4QiX h54C 0aBmMBW@؍HjXk:rњpAy]Q0q3ǨW#nL 7AKJp:%=qUXiނЩt lB95L sM]Cj&p KXqLaTeD>F,XeAY=Mܑ8 fxu 23-"71u!OcshD5AI3}ea`\ ?&_7SSDV1;}HSi,9*%z `Pn#&Zu@䯺)ƁXղ؍ ?]Qi{Oe)ۭLH%D(PͿ}&]Az6zB d,G\sc;|s1Zn\/Zu'/ݙлG юL~jE&z=feSYK~N2 o=<9jN iutj=qtkwK㭹2=M|7pBr 9DXo@l=1 ?Z+^C1,rNOBRm/Мi@I >P`j'P^`+cTw6Vð'T0 ܪ{h'/Wo >iLqm,xd ; }0#3?4'KFP X}+Л&z #d!a=#%q'dw-_p->ԙJCuul3 {?l-[QuD}{ DrǏWH~Qŭ}]+C l@KteOONDMhZ0mE5Ş'n`<p5Bb}0c|YKZ*bn`5uBb4FF )N$R='M&}"j}?Q3hFnTfKh=ҏWJiNUe?[ o@o-YjC_>d[=kh@aW3IXZ8R@<|ƈP MΣZtM-V='ZIנ|hģ=a aI8빅{ߠ3ȴ!et9\6wU?"cb7_3Sp=1?u%`hu-Z)҂;,b f ,VNr M<k㇟XGm*/&i6 yĤ DOĔ(! *ޔn8ѱ4xNvxd)àuO@E0|~ޖ@R1_%+,w#`ǁE'(UݷB>m _ DI#{yJ_M~ُǕFٴMktH$!΁J|c-eڢ4lM5Z8d| ə 譢k(]w*_̃fʛ\h?oˢBZ^i᫙Ja[B+sD4e$vQ_]i5SLG볨 1U cJɐDrJ$ttlؓ8>!芇K{ q@9 PcݕP]'PQ4}Tq!p/x@z#]VD_ \2#,ϩpie=BC6K@ T(i Kd0"s󯖾gy0Tm:d&:/ռ^Zʦ!t=og~:DH¨iF\QD^4`=v#0D*ÖK 1ӷ':n/$eѾXy9 ˞YP߃ӒZAαVN06/D;Ul<TTzMf&s 38寋X jn[$2 ;f*3:˹UضA0/2wĀ{}ܘl2,n XY^FٟAXsa?ޔ{5uBk5h>i0|aQ4$@֗u`,3ܪt)__njb 4I' \ԇ%t` 1\YCP(_v9]AkDS=lB^)10mt ;|,![R]qΝT_5RKf.GW|fx݉EIjP[766 -P/P K?'lx#}/$L1Z ]8Ȭ ݅M_d\cM2lLzuM;|Y8|jX3zWrKyZs.e&{CIȁ(mF;)SMǮdn>ab3d4R-{+L\2Ȥ;3Ao0k;0rq`^Fb}+,v;PIy4f " WL'w5exOJ26<7kK7q2+l!4g/VңƤU@L>!Wz~x ʃ 4K#;Sai݊!yo}"l6>DM"QtYE ۓ|xo'_]ZyAFn?31ώ+6D;KJ4+?<$-}{Ra?kU5^Uҟ\.n8l|R,2 g%tA'9&$!=kkUk8:.QwgY[s: u0a$Լyy5J-|:NoזZ 5"Vߝa0("=HOT֙C/g@㬸K!jm T:=,\{;r{>72'%vۣQ -AJMDqhN_*h<ȝmEti]W?W [܉8# jNϬ#u!eJII*f[q+;_6To{$Cx*v'gsw/2&Tf$WX1yDYWu}y!еc *pYTQbhdg;uMгwYӘ&N ^>ߢ-Rgi&clb\ɪ&H}P"dޕ6n3@2Ec}ۯJߡ?.Q6_>TwcˑQ*w`l a\<4^dGdaJPC?*Ѧ3¶G5Vlt̊"] /tv4$(R-0bnM (Tv4S|pBJ/4Y͍g+%Dÿw(bسݷ>N[26?1KL_oS3}Iw-3쨅~{\8Uqj; Uvnז[lLTf?>Q{CvJDYM G^~x}9m8Bh( X䔡M^Q&S@_]_׬G$!;)F| zDYF?y<.ѠW.d"B}5hbeY{¥[b^Vf5jFػBYIJ1vM5PCd{1qZNc{+۝ @ϕxq5}L?>coH0C1^6қi^Et$vfavRt1#."!%PB@[*^A; C{IiaKhXog,06i-uDK^ s" q*^OC_ 3o1MPQq+d KkWP|4Tyk[#ՁKQ zIF%{ Ph<_\|XKVQOg#XǦ+%ݴ\:.he Rye|X)X6 AcL0@u kxtfǮ(ioߏ3I<'4o sNmțQ8@oKk&u6v_[C)L;^qlD+g\0n#w)0:eF>d7ECYjݺiO(W|*\sS'4ؾby$?|OwxB9J$d|"N9QSa8>?Wr*J' թ9Q*؆EІLf=T,?,4wT&b3+tfoƫ[~HE7?lcO/^avܐ9\H%"-{D2PkV}XLlؑc]TOv(C9 Ę_EagUF@!em>}Ġ {ŇP:AzƇz*:ɜMr9 DMi#\UP O?HUhdHUÜAajm ;ePZ6J7%c4Sv7Ei.ڷbcM¾巛hw42b+{~XiWk|w9VI ;(TL&LvWw??_O<ݘC;1ܻiN+elW7u/r9kVGmٯ,S7<3 gmvkMoF3eGlqmp~hzfjY4vvk}H?oN퐍aeK M]!TLlM[TgLi\1B[.~tUob+D0̅HB;@ɸӜ3J2[liI\-ʓ)Wփ^е:ʆO|mۨQfFwDR4onn5+cngs<d%]3T78fwGbee'1XGl@V.4Ibl?CL 吺/0!ƻ;e8kFs\X8|L~yy++$^a,B\Ă٣-uBڇc`4ظWlm;k`.Zәq9 ib(ʃO"Oi%Gڛq撖X[ bڮbkHG*]U96BJ{3 ilyA WSC݁$IZ+Wz;ڇ wJ@s56t@]z?9;lEaU95BR7N#-BH隧ԛG+#ZhKD$LF8äER@-lXc-P+W I1,X@dI%Aj6رU8[ kPSnxd~09Y2ފ' ͡cQdڶzapKffÙc*QrN3^ӭ}?&uY_Љ2njP'BN?+q!2Y=P19D[Jv'Ĭ pZ'mTCnvfFw#I@(wPǭ!V>K.@pꈘ?م#ꑈ89g9]sqX%=l_Pq\1Tb~).a& XZmH{覶0UWsh֑wK(&H0ĴPoW= "y}׀6]vrEXB:SD}ut\#"ڐG 5{6l(A vDWGV^sT]Ƞ_´hO^=ᱛ {>k\Bd'le` DIb_*(h хMl9= XB.- fpM&,R#7Q¢7FihV)mV@|: }:~bh=鰸YȐ%!ɬr*MBYn(&-Ojp)f"~r'ߐad rgJg:Jl \];py 1S^:i%. 1$553 +PR7ͽ=W^`;yg,<&@tYFiu5cDfb Ɓ(]Ǫ`꼉PPV2<Μ(%E?q[-<]O/+N\:1wSH8ߒ 8aXlc]iS'laRa$dN+ fϧ p؈.c@At Evk桦 AMEC19xկ#4*MdEa8ʤ$D =jzz>>뤲BEȼ!$4`F)C hb XZEp͈B6pYSNeJP5ޭV4j1O3i(ܰg+R}=9?a T)z+8Q͌žI {Ύ~rdp%VG;z9uEy9FY|]tTcuHd8{f-e9m|ì9+o&:sǧJc]GdXM`gN~*5U{DʢŝL;76, R n!+Y9w]lBa)~|30/g8Zq!T\~?dJkC=ACǿsjfEΔ%2Y8 QJ{J|) Q5&% Y?Ar}&M+QJT+`*P-vbyM NbcNG$?X|pZW-liKy ߵ\ n{!ߠ Ti8 kz'Բ$Z)J=-usMXF.rBDzSQ&pﺈj}`SU6lDEt6Q$ZsZñ,td$bN>9uk.Nýˆh]S-YSnrI GxQ EzMfJ|ٚoH>/N& -gQopLGwf' r&{gq2:)>u8/|_uS8P@~ݨWcGR'yPcER@V|@| hW`e oqB\2Z;zR݈F5`JxZ}V'Nj٢$PX,J k48Sbr//0s. u@Sto&5ZNsꨚ]ݣNj%Qw:o߇`dL8F(j@Vu(S ({ئgpO)=e$s5<]zJ|گi:`@c#}W_y^hw/5<67KVq*` @3;-/$4?cԨTNgq IL %mGG]QߟzlGGY6k(aSwrUXv ?wV|fxC-B c\",Z@*}~UyNRONw e yAc_) U WЅg'pjK NCGaԕمeGbX?Xej߄`"lLT2e[0xhH2e2T 7uե\(ھ8Pcxu%rDQOiC˜?ǤIF)#pf[VO9 +MHť޹ $'u$.8Pwfa)t.mT?~;^-FȎ=`eh X ]6F=l_St! L`Ԧ&#y!QZsfs3`[!| h1qПY_$ ^sɡCyܽ=jUh|ﱔo gz5G4ty#w}$k%c#KK%B YX~bEi}۽%q"Yqy-bFƏ@[uXr&L[YLkɹ4g[>6vrp<>$9{(8Ml=U]&2Գj7@"o*T'ʏmlR2V)OGv IQ3[nv~񨨅VkP$G+;_z3P cN%+W)(Idb&og4_Y00V".C F # }H’4_\̼ѥ媴O[W7g*s+i>mT5Ɲl 3.LpTLWE+$:cu?ɫ0(L7^sGdֈV D.}au`Z|HG IЛU$GĞR),o+mT*"J.xM-I4{$:@1ٹwkpvOzZcz=&>LejSE3_`A0.l~l%9pĺetBAhuvLM@#j"Tl9"{h C n23BC̅k UOK*2^y{ʂpNDN̓ = IEK]?*כ3v7.u.vƤO%ə+Nn/_ӭxO^<{[P%྘j$9(ݾɮC4]ȉ|@U2&DhT -%/Ӑ2;Bն3[q?>lVImg;K$L\͐?3T}Pw_d.BaAxs65^Jds/ӠS.@LKq\mi 7:^d!.h_ꤩQ$(&ސ6GbnRԤ=V(@fENW/?r,ibq͏',P1Jݩm'"[d %A`e},["V BBuP Z0_>@9tn>H%ᇦ[OQPu(z6kb(gO7v,%^RZ .oM fo#qy(gfởo/;$wH(Dl,⎍6|R HiLrbp |Np#bHv(mLȮF%q }څ#>BJMЬY+-j$i,a 홝B< ZOd_U-]0&2-Rϼh$QjHՆ:,;AX9@Q,u1TN3Dlb6:g73<,mVϻY) X0hJJRQƨR#k޷k,MOW4.M!-`bhʛiWqh0 kA!BQWDŽ "KBk0qM}c6ȈM℃g.N1.EU2E)ļ:f="|'t=mk75:~f !(qAvhk=" IQHݞʸd[Z!D=RMeVh,l:C0 ҃W F6[L4%a1Lc>J% ]ǮᦠguJg԰VtS;"9;щaKo0ś L V'*yoDoہA-b2>^VxWc+%9t+&,4#c=[$L0̿Ӽ5CF@X0jB6;|c!sB`JއidSӝ*;|헋3wР>О±1%C#xOg>$i &+ .b6@x:| u/6"ឌ^OdI= 0h7I 2}A@7Xf-w]=;fµnFtzg6Ibdc͠Ri&xWT#g 9 I(X(Cv3qBS6ZlӀ9DA\뫆/֓ ۙ/SmS@/}7A^0ӗ([s:2c1F[޾_C\|Mhȭ);k"YmT E1*cڍB;tڠ^dpA tCNALNO`8kqWۈCWիjF|*<},ެFj(rٍ/o݄r*g`eMB?k^͙C(,u`n{۷!H{ey,l5 sUxU)HP=X@"ev@uc!O&P~+?m"ă&>`CU] d$+ʸZ48;Ǣ\ֱ=]d!32Cq2k DvMYc:Dq;QIDqK]VG 4"xaBf1RrB{{)!VnK l"(̣ F[T #{;TO0oZ״ǚ_Ocl2A=gryCS;T U!1&sƲG!s{ 8J`'jSzMZ"R8@%#t}[ebUe)L={Ex~!>C==4A(ѰLPD߳+XMK jL4UPcKyZɺW!2!uJԞ17:~֩ԓj h@ x^)+2X @4[!@ QG%TlyjC}uo6\4YVNqvgqUN󇁘M\9Ε8 B;\J1G J$8\Y\S锃-fp,.GCEec u3=Oaj0.𪢉2U@Ug>t`|,]K 4xW1s/BxL.5JSrZMFk7O֩0_IĐ1RNt Eݻܶ=GXƛ=]]E5! Lj\?(+ddڪ,A  X!kXyY,H'CQX{Nf@F]t|'1S^~IkNc X*THۭ}Wfڻ_!=;Y_3E Na{]JOolUĻnEK-ܹP>.\wE5 dט7#!Ti+M@' oUPiZt OU?=N`ot):M[x-\j=T(j6 t /j NBWl2hjrQlnϸ {Uug e/e~5+ZwɎv[p'4HbX>cTNk5qdRE 1)E?ٖڬ Xv?D?L4着`ꭻU ;:?H̐ f&Nz<¯KMDȃpˎޕ킦٬ X9onfM'd;f;ة{\omR ?Y0F:2+.:n=]">a5"(";{!"GX[ud}yCZS7lм>%DUVrN2ndw}U},/8PI^s?p0;UM@$sj:Ӻڌ;qlKɢƯפM5W~14%˓a¢-Bi1Zx5%n91QqLZ9tۍM$<{\_f* RPN[g * D5Eh, q`SB{5[yթݸ[y+[}Ūx s?!~D z,+smS/j>#]6T9y3F.:HeI㪪%sI_~Օn]7@BELMNruV'"9fF621D1 VH/h_nh=׌ %l WރKEp; #Ԕ#HA>"`J.++ 4zRr7Fc='XdRu枍El Qa X͈ ҆n1?8%17PYqOY|mXv'8W|DOCgFDT˗V5'D DAyf{fq'aQv|LȉP'K]U(Q>]xr$TQ3SO_Uj{j qS=ZЎ( I4Ƨ髮3lp):~SbfRG; +qʆ;*C35ЪQHw&[f~kaP>as&k]5y)p¼ZS[|zoDU OnseIOҟ! H4,)0ȼ_%AngƯd>U@^Wx+3gCAEUeGi: ZM\W]\~'8Fvѐy[d$sqD-=?cSO쨲 /'dbkzK'S^cw蒜Ev(knMX?l+7'-"sbow0WbMҍR,H@HtZ#RQ5ġbڧ1b7kz N.OgGt,T:S tx,憥-Xbts]q%S6ȿ&ILZV!_u*˥r"!)k "ё RpJXyT]!wi,I( 'q l=7}_H$F@5"RWUOZą@GaԬdܝgZ]#ﳊ<'@6'GS_xxl1!餀]yex4*=Gln{wx׺ȜѶbHl7fMV~4PH\DW05u ,h~%RfetLK>}KK)ZKxӈχyar1l˯NQ=_S&٦ B% QP9;?̘eN ceA0~&\KUDRB,1^+k,6QsĂvag!<1v"|c(@$c'3?gVǝ^U6qOi)i`edm֣x '}.pW62 lNM-ǽr7*SF4Kc)& n4/Ίv'ydEa%+Q2B*'n-[5ǣ-'{07>KP@xBO EʩJơYHnii Md9-b$˷&^ 4+rwFvBmËM n]l 8& +54&m{/d{!\Ȍ,l4_N/NNq6O&3ᦋ'1blY }tl.zˆ I CCrҊNFK ~5ݙPb0;Dk&?mnX'=3P-KzlTq@19(G'Š~95oK9+D++.`k{>.etN ]^x­j^F u.~zdR">;< #?g8ŎWl$IIϴԬ(`xWa솏d#.KS+҂&uab2^ nN6uYq0N n-g43)Ca q[>gͧM٩ of; P>xHƧ;@%5wOѯMF>$iZQ#έ9 5,a4ze=9eycX`:,k0S63pU=6RxbE%焞ld"j=!f`|H]"Ъ{¬YA:7f 薭j$Hk /1*7CI6k]Ա /á|:vQT"Q/e|*&8vIwZʽtSԃ4X$wa=,`54?%-{0^Q9~i`#&-kfcO ϣd۵ Ga ̙N'ѧ%%bOs*(hD2UE/m@I:q<#K&g؃CB}ժyK!Cj- -Vy 0jx}뀍W$ʘ6R v)V$nLF7{nάM;?EZJŤv?W ߒcPϨ,Pp3aVd4SEEr4Q-ĥ!~sYKRmi|/6͵+SyU#ⶼ[R?MݍG۽*)֙7N$$\V_ڠHD[\,; x4dqM2Pߜ1eAD PK@Y&ǶxU@Q T21*%NVDWIZXO,̓, 4kAWM9hH S/yًW ? VOWy,6Є .{@a#ˋLw_g? $Q@寁O"'㏙a3ұgd! N_= yR͢=;y J\&.FAYxȠQϏRz9…YněAߓd zSuVA0Y. ys-ZBghV<i7ϊDro͊z;:-V\cÍNЎd]qƌr2}g oxD҄;oo PMbF:x(D6pVʷNJ HXGllW2ĀzLaciyC7W(Y\bnh19~'D mLf[,=ƣz/!"%*F1QB{I9v ܃#NfǾ}W{N O l\#}AIX9ZT0>#qax'YLO:e!'`^3tjD$UPg2Fx5Jc_)w @q V {?;M6[ 2?w̎9SYR]D/q=O2jD 7xh /]S?}d>F4:8ک(z)ʥtLɮ2dʔ'pv ,tJjҶFm[2޻b Je[qJdnT͜IЧvm p[;#|t2ع=cpZ}D[ЕyA?P[Chni>d0`=~AG-Hq%9cȤ잉on=j\0γ M} *+ϒwaq.Kp$XOʝcڼs Qx|VW3~\?s KR\^VVpQfW0EstTb쒭 ƊM{4iF:~[Uwr]nѱ`^ZTv}6Z;|C]Da9v8:Ԉ6'%˚LlLwZ:mOJ f`hQz,DkjH1zi_|wS<!;`Ҡ05+H*0s\7z hV(fra7rh?2AkE?S}ۍ)"R.}OլWZF Uō) \tnN.ЕB@szK͌pǨkiU}4$cUw}/\5]x*Eu3k lZAMX;a 2RY Ao7%[H)(2,XXaV>nG5ti9lڠBiN,q":ƚ9۱a_vI&άC# wfvM"ͳ9*taf]s0"zJA6ܲslB[P,Y4<#f}P~ \Up)ȣ|%kn+B9&[| EwO+j ZDpvOɿ%Y^Ckz)AAwvs܉gp$qVH e ΀+2*G!׳5QjUm>mhs, a@mr:O9K h8@ wHywx`œwrccqSԭڒ4QW+"={ %̙PmYs,݊oEeS{1O?Q2c"讜|M;S.ƼԻGp8ׯ=K\0dX{Q,ּC k3dxC_y(: D*X9kE"xR(z9%ɱ\6Thb&LNoy{܅f;D-DUPT%G6 8cN&6|@]Rh]ә=2 ԙ;ԤRP4"j*=-J=bHGާ`iN2#^Aσ_T >IUa>f~jA%tyi  %Hu"BQVnĖlJl8gՃ*d^Ip"Pu*6K&H5\l)T4q^|y@6%|?\[5[Sg:C8]tPi8-hbVK#C.ejQyG7Ba#lei|HV"Nq;nE]WMaHђ Hbݕ'DbBSĝ@Ly(vxJ-kK3*)ؖUT+« Xp%7SR`FL- yusHN?;Xt+s>GE4s[3^ѡ<.!.RkEJ %ZZn5ES¾>:$2 nwC ='qOGM&7lO゚QK6= PT`Ci@jaLݨvD`c7oy+Ѫbh:mb3p*8plNLCÑM[àPb+WmB$38qژsxݚ/r Ggw=;xoۙDrzhyfFj?Rг(^(k#NvWc"2c4vi7#x薻Xrj J ,NpR+ɬ; +?Hrp -<%c?#]:J'J)O )J&sVBj9[8p[T^ #te#yoh ^=ݳ"T '4Vd#xArD5X&QHl(pA,kr++hbV$Jaݚls'W_Pabtϟ| xS8pRY'1j7s7262x~!ϙf)G$zIN<3 S:̈́oWU5"7w .ې~bI^%"Aa_Z>dy<Q͊`K{Q/졁5.eqO=ѡY6 {**Vb32DYš;6Q "MA{u6wu/_cDɋ)|ӗmY,vh^! 6XRog:Il,[;Lͳ_9Zp7YM BSfkV,VcY]>ENHo&]F߮\&ScK|DF.e vYU@1-e(QO!h6"-p?eIօxUٜ'WRc--K8*`(-5*lS@@?iȥ7QѺ0#kmIHm ,JH䏡7$Qަ:X9.%R߳Vߘ S^'9RHt{6zܾ40PnCݐnqS^6s@C _4-|/mӯ!Q'{R9 \)lRBot00\8t@$*#jG߼mܬQ?ùvtEM%RgvLn;ᚗ؟:MD]_|4\ҳqw;ze4f6l-eUx~g 䁽V0:(͠MR'Iz(() ɇ^?%0=uMKO/>PJ3 BU`P!ەP nWl'k,NS,4ihr6 ]R%hdo^ƺ>f|u*I)5So ZU"U!ޔ=&N1`{GMie]AKs3t 3AuiqU((-wȒq~HIi=|͍4!VKWDZaŸYV^ 1ާUdPĉN\ŬyU :{׶1$ tSOLY*oZNE~MI:Wr2I~N$/!L'=RA7)N-}hEEF$) ǩ6^@00VJċbVqk,qT[uݸ7IeeU 2% 9x}\gUY-@6%LM-k9E0 E~909?9^5 WYF9=@u8e7mM7pYdKϒ<@q،A ip9h+\k^OPD(,2gWQf 5ɼa|a4ah R2r(. ai?G-)k m#rݑyF$;zkH֫R_8q^C49w-^oVFA)Up(z(+|8!]ㅷ\VL400Ghs<ĵ{6Ik)\)f: S릵lNI[??VI B㋹EIgIa(?R "T kZI"S}96kᏄKiB,V*N] Tc 73>:w:.GuO[Vnhv h"3ί~Q p]ZK*dYEZ.cׂHuB&P9Ӟ sדY;- s5mVm(W.Q٨^[`Pgw Pߗ7l:Dt,.ڴZwu (\<=ET({$@X\Ξ jQ1rc\}PgcbҘd&ޟ`O[8^!\"eS)x5n!,vXM%: }$f06XT6=2Mc.!ۥ-g0<3mWn?2R&=J t:QnhyksU8b/EJV+8yMlMZ$q01Ƃ^9J{9O XS|ksa>Iu|Il,aiԄV|ȰS7ߤ.$pi nV$JZ XDWܯ((|9;}G]+HVHOKm(7v]}GDpp*m Ψ1(yO!7h+*w;f>z1A0ܯH^}X8ޒѓ>h/ x9Snv˽_A՘Gl*mbei^;cLXeͰ <a[ԁ-7yQsVO=dȖ}f7N ~ 4!E+RzNt#~]|,rIQG@f}x?(l pvKI~ً@6y9E>5"$8Sϧyog1~XREiS3)ZWSșJ$=A΄iv]t(3x.X2VDT+[ɬ'휣ݛ`/fީZh $'!!T xbEj;ݖ I"HP~,8Ąs-!uXޞa'(9⷏ګSd!C=?h7ݭJ&M]8oM1ߐ:Ytx 9) gc -OrI3g2-LrBUH&̣:虚I1QZPmPُ89%J[^3::swsƉ~ 0%X8Dט-k`sCmg1 n᯷\" [9"zwy{mB?nV:,[xcVQ.T:)rQFxbhE^8Mv< %J._샕 ~y!ѦS/ jtv"`re"Ob N},~sU .Ve4͔Nռ_STH #Xӥ[䁚?g,Q^pNcBt٘ [pbAI V5Q(}LC-h8Vn+1SIFNե>1o]/eM}U}. jő\"ф`!kz,`Y>3џk`gx`AAi!dx?iB&^ ,F ֔u4l4T?t*jtU~K * %^H-Ƀ_6eY^, +~NG]8o?WMy1LF7B.?9%2UlnAmL'&Ȫ*}v[[|&E5^!XTD=I/>"xɐp[khby1is Ps8@Y :,^_YЛ'i[ `{S? ?,^zrcs'| *cCV"V|K,m|=%55+{PWƆ]?UO]F%ynqYI3d2.Q0k h})=qg"'IJ4 W,+EL.Hm\h4٩y=C%}qќ;Ze}΃="wU΢ޞ֤dh'> |x&D9w*=:b$"/A˄uRax0'm\8ܯ-NixG@ 4wvD Hڹo:^t3̔84ʿMoD78Gi=쁔}NVS>?4YLEBآ Bj#NEɣj!p4v_w0qjOhg:-b (q\.Ќ:8o\"NG 3y. z^*;S~W7^b'}{䃫3ȞS<󣅺T^\oFh)DCy 6xn陋?!K3PM1 !ha/2nTH>R7xegdZTp<󔅣.;w)<"ڡE:79ͳɧIgxN:6X_&Z3lY*,Ce7Q10$g#-:J6c '9n&LW&z^k2"E iEHbws,]$j6 Lۮ *)yE)*]joN1J+[./k; ;%ZEd$g>&U5 :FE\NIbze# p[JƳm^+rbmQ|"!!ƌpv~0MUfGL1Nk_`_:AnmN ^7It)Z۞9qˏe s"ԉ΂:S `mio$sϧ*B0v= $w xҪMpb/c7<+Ԫ\*9ttK'=:ԟ4ŎGؓ0[{#TV@%R> `^ ԍB@Mt@M6jlOA!֓!sItX]*J?_jf+G+ZPw.+!,H+'KufS2єml@|ڷeX~U Ďz8_ mF8X~ <à(Ö5+WfNJ(r2lЪtƴNz 7L1s1<|cqg0Е[HRq%)űRpEZZ^#G%xs/FhWlHsE+aB مeˋ3\$ANA)|V6FWkkDZra=$V6{LW>"ۍv 0?M(b싰N6.Uw⥎RՐT3o K$'>}P݆ .T,wL`k$|n"8Q&"_~-l,2މ$6(ȇv#wS0Ôg]"t^(9缥sU|Ʊn;S[;q:_g-HVT[=0k9Y`ݮ3d,0~4M$5r0[w~`w7'̤j_#^Fd%&# >`)ľE,ȥҝDvp"{L}\ÍTzKi]tT=YxB `m"g/ R+Q5~92VHyW^l}ˉp\ՙOQwL,ɉnCBiK bٰm1J_PN Xh+P0$xR]C.O e0 I wW@GC2]LQ\,ӭX/\RH_9\7yzG'Y)m$ы!0wi>Ϣc@}$u7o.NA\>|MI$%lБ0m.6ad*="]jQY;Ls!񾧵QuDCh`:Ȑ̔*7 ~gȽ;עҒyt5TymCE段\(Fq~ѺvP[F*J^PSmNQ"#?lyFut۹ȳδSs]|R4>5\w"קj ԻqS5SF^(CJdQ] R.Pd {oD-D w(ZbQ{nͷ|76Wcp6Q =?=ONC+Bf;dv]"JVFvH /=fXm1 Pw,s*3'#}z1_5)i>=ҳEZXCoMN %J݌WV–$[cB:kZN "GN'l)95I%8]:~E9@ Ij8H|ċ}BQ$1;9[<UN+ʢrIU^zF%-L֞)ZV-B;[46ҍnF+b ns WorX=Xp䌖[U! Fvs7,X\˧TZ|mKZ;< k٨x9*~ bMj:}]a} '16&QP0w'kZC;pS}uv_QK{+…+qX^tIvjF3#B=a@1${&E^|WpX|:&,K\1#][}/x0юʈ)TFQM#/J$Qggۿn -{q%" fg {b]i$6 9;{tr [7cy g >V(AxPKשwG)ـ x"eG/@dh@D㔦%MhǗ0OhIl bF*|{(SAKN[ 5@#7!#k`8ϼƵld?ETm!Pv?pIgDD:;+\?"v' n8T:VҞ[A^ ;k>dҥBP _.[v[ޗޣ= Cp=x N@HQ 535Pˡflt1>dBlV+gjNm별%LH;Os:Uj:! Z2}>WpzQCm#cJsMcS| ぬ:'5.WQk:h#[WmZ9ϡ$ [Q¢b!bmoTJGE)ë\]͒Ϣ֏CM>STA|q1Hֿ[]3^pO3E\^!jCJ C &&x!7*pusT<zSSl &FP4uO9BwbrEsњoҹ\, uWRBK"ӢǑknTĩ83 >1ŋxۑVf Ȣ_JGk00b&()` {llYra*2&7*|bNrmhЦ`iTH&ctoA;;?HR l668n e.8V#xI6s]xuqs9}A,̖:Qm*$unD;=4 c`~GT9/Y"g^obRƱmy[Ojv62Z]oDhVS4<FK9\P02~ (n [ܖv5ƸVHE S{w1R1|?jRi!UFd9~NV`Wzq#|i{,tT'*j9('B 7&SL l z:([)8J& 1`cyl$ cTc qGh#1A f[=;Ǟ"6 툴\77mOIܦ*?M"#w8^YPh@޽$3?cQrV&n?ΏE"s)?/ Ug % +1T JS@71˽mlkqɀm=W +B_8vBh4'`s! j^yFvC[?7Q4= Ҕ9Ksy1Ԁ"vuW劸薽bh lG +yItvp<KpgYϱ'ٍ" TUfacZ˘aD-`]yWXg-mȶU胁< eұ,EZh_\$Tn78["Iهu<Ρ$06BVZ|8ͻVlw4 'ǽaZ8kff/G8akA91=uV`e*w|H\BlR![jpJt0$ffo^ӯ2 ב%f;(p-!@qb3V݃VK)5 6 ;Z!2{X3$:zT^*ŭ@aQ3"8,X2vnb(8cՙaσ vm=g^;HFFG?̇[њ`]xC 8A(6) ^YL ۝Kssj{%)Oʫʅ_cXilHZRz%fJe{΀zJ6wpӤkN8 ,VY$;Jg-m@4z81|:Wf716WP'Am:5DEHQ.bJ5$ٸ˵XIsL+(6[4(ڜdV_X㖏6kUkWVcQT<#z-lH@a:l_Ooڛ-0_ӆU"ەa$o!?&DcYyw-Xx&` zRn lGPo5ignϮ#c/(/- ~x8K:qZR/p j?\8=)FX|jJ ") e0[GŰ?}' au Yk8@|]O!PQW${slc<`TKPBܤG8~`7P~? }rV@Z@xJGE0w _+{֯Ҵ'LGk=vV{(1;Rxv>]拃oWDK:')C9 ~ބzfI}/J?q z* ;ґZM oXPneŪ?S_$ه?^+60ckD$ƹ)kNjRŞbtw0f%XP@Sh.n%LB|$v"z{Yŏ} o nEMrkt- CT\˕$ tm].! 辀t73¼~bN /1TIU_am)ys NWS> Vۀi nZ_5[x-&+Q1+Ga ##&)Dfo~ȓ0/N9@K+:ĜBA1 r#sFuF䁑%*6sŦ|kWwkh\#|漮K9`Az h%ׁ^9(?ܟaC L3q?>-o/i "uϚȫ.F3͝$gh?xhǾϤ/`](VJjru> ojL?!hKp/ =s+69S6ubŦa% lg7?M`'$Y6+ȃw1h,,I ͔K@wwGgeGRG,5-kj0'\˼+ _6ZT3Q!vxg8Dv'TKB|b1&f?2^2 σ<+ȎGw&#2=YRRŠƽwQHV w\PEܬ WktX%-Bsu6".YYt4P!3+ pL)$<Ǥ'cC~ f-3^kz~!l(Z}=O{m{- ꝩT\]eϱ#4ٝuYhʮ$jo- B݇&99V$§0l1qq)ӍӃM Eq.[Ƞ+Sh~[<=8Q#%u~qs홆q(8{`t:.{`C4lD{":^c^">x1rMz6$%'FN8)׎rC}JB!@f=+k `w4߲0Ӫ<#|) Rk1'_/=)uŦɰp( ^TZ ֢ HLraqW Gc8Jù O AK Ksnw#?ԫRQW~˨( VEw`A53p}?#wL™8&tmB: ȌznEf1^^Cp?I^֕¯  lέ,T*Pb%2mUOB$qy{9=O1r ] +8 vA_x ӄ()xtG߳\NJe ZQ: gHz/U[M41=>Sd ۻ$xȦ]rG_ 1hdk.qDjeP0ԩk?fK_2;W8#zvM5;|&/ߖ @?[!5,E.PMD3eԀm"].rH|? U`K(>E`VNҥ{sT{T+r_J: u!P. M!AE-~/ƣ%(zf+-;єM)En5a``AmMŸ}pP" UW X*;^b O/5޿IY.g2QMoUM-+ Ă}aIńCPap:TwDpha7(-N, }kd1R^-%fMƂNK JZW"`hÖ6HE9E9yNfRt!H1𪱞ף$G6Ơ'dႤ*Tu'svT>ڰŽ ܥ5>\;]=Ԩh,ms?'= c})V'I*78#."`СUѳ:>l]i Ѳ$hk: +b /l5ܱ=w$Gop-uч&UOi*\Bza8c,:HKe{%wXVRTOeLТ9I nFC<%01Ib/B2j;%{s8c̵)/[/ 2Jﵐ$햦Ct ixiQsr0(FmH4r2΄6(m`c_Xm M4imy%$1‡J+q6FFZ0t%(M&>A+z33&b]t5:p۠4-} 1O^p>w$j$l, w_93B_G%+k[1MڼH>T>FI/*,[Di=v#NYXSgfQ.)r0V6bkI6gQt4]cԱtތ-VXj0[yjۄ熺m f$7ӢbL3YV"o (>K54,h7Uy8uTY%"#+OW*V38W'z/l (aew | .{JhxB~;RGU1N9c=>?F=#Ce0Д>CEr񭋃5 *%Yy,y~#!Ih!O\,G8Uiڮظ ;+fBGSۑ8.KU_@5Y&LZmpfyzvQ(2⫃H.r8h?ԇ>zV>¾*&bٴg>&ѐh ^4^xG{N2U5K9 Y  Ӈǂ|%O5c>ȕG,cE]OiŜJ/P}T~PWbC=6ɯ֟k6l+ :F 97g萧mL_S58oî&")C8&8X+Fw$5zl& ?ی[Bz hxY1MؽX82YVîgO鎶(V @Rb>QR:mEL%M/m:|>c~!h 8 m&hZ`U+OxY^BYDY{d좊aR8l/R9"PpI`Q` h^hrx[?zɥpY/ r\P?lڕ T@PYnmŧkiL7^K8G9*ʐ/{43'R1郉NWmzw;$!C hHzyP^8sL= =|43Ϝ2ɌF@ߛX' $kʗDSFWPxf)'V^\l?Yz{ 5C,`w 5D(iuZA2>UlR^uޝ5S!–66ĀԢ)χEਉW7Ct_aLMzlW!!)Kp>V&5s SOm=({ ХsC;r[G[:F]7z2Js˖y C֑lޣEҊ6[b콬KŲ(ʓF UZm2=^&0G@a,acμ/i6wbL=ע‹Ff6FD$nZddf_HZ#>C =dWjp(b!H^%|α3lL*Dm$ʁmM :E-!)[<بd!GMP0׏?BF˩M.Ovmo |Ɲ,/=eVFsjm.kuf]iha]DmPS\:p^$įM$צw}F . q-b𸬦Ir,oT>wwqmt 8ݣxs^XJCQ4:<:/R0O~6~sRñ:t_K$7_=(P7v1rQW#ᤴ>=b~+MBV.P81W9kK.ʺ lnoI(F&QFۯ#7ӹs PSN|w;/.ueAv,ޑVQ*u~l>ۗ96=zRg͛Ԭ7'F]aɊ5@*qtQ|_Pd%gSeBeхrnAܩ0ZYCҦ^ލҬÞX~Raˊ`%4)ߵca_-ID&߽נ6#i(ZEBZFY9 *XйKqDz"[< Fuo]iYG@y)Z%U; q~Oda GHS 8藞k^gBX+A,/ܢnle-R#lBZ+?,GwʘbloG4f\yO3cJE~'XA&qa4A<P҉v˦a//cRcg]5/7YqL/_HKK"\/37/:}ƊeĔLqafKn0E͌JSN(@7Ɔq/| X爤7qB$QǚW>bQ :lPSAXwxl0Ԕz;{jє-sKBx䢟1+U4@2LjIO@rF!H^zJ"F595ɤY )m7i|+!mc̾o4cXU>L <ʓ>a v! Q':.v$Z'no)eBS ΍˹Xaag.:=\]1BNÑʏ 7+aYG8B =8\Ǧ7+SjȔeEz-] ٠y+z5>B6Iύ"+qIIW@ ZVWv9?W oFC¦/'ZA.E_gדv~`~pqd~4QOZ1_!2I(@rTT0oUR(\۴_r?Y]jRVzcƠ{RtJ-+ p&ƺ 2F(Gt0pf~GIRhB*BЀ.aLW]-Ym.CJK)ʍ פu|l$(Ӝ↮'P}XcZ~/ڦ7<'MQW fc"W]"hWO_.5m~i fP!iO[\^`f??ea@nKt:FCf97ӞY[1SH>Z.{}巖f}eMwd $R,;/'q*k>k\.5>0x8M^ vb0RҖ95 @zOPm^$BˆT$V:~V evPO$CTϕωG{T] #|  8cDڃ SjO6w !p~aoK%ώIhVUbA39kVUMLJ5OERZTejM9J8Quysu(aCmZW4*%nZyݏnGWƸ99KV}"~}g?,Yb `ܥv m\QH?8uRDZ ܦ1I;FDb)hGJ%  CQc2iK+ R:@2٫eR ;osI(q)P.)Nt.bc'P&DSl7@;}?( &״}&Z@341 g1]ۯ%7Ǟ {YkS772f G`en]e(u`Z.;rZ gYZ3^_x`X͛ i*"6 ȥ-^6Tr}W&ӄ>Ԙ]ϴ7EV1cEVs~#]1 J;Q+qwBVgYZ7zXZִF! d]ŗXi%D4-ljHSuz,]Bjî~ @(mċ\n +RGb?"hZ8]0{,~nڈ[gVWB^ vS藌"QdV^AK Ь"YxTCt6y6}fq{6* ߸mt|4n>,wJ A=jJV#A>vx~-sp|)K FҢ"ʕ\ !HG@Mh$igGȆuP<#etr뺧[-j^=Ir12)`y+ ^.bfU@%y1dwr\xqtREl[@cm*lRePY"X\"BﭚwGIy% ]j/O~]jBWttlj L3pHx0Pdk<TR'b~0]$YuYno6F (й? ֜)}1I^Ԩ6*}0j14=15ޛ #*SUnv!vjr|O4WasN> 0sO!Wn>-nsћV1or]TT)g-ޢ=j3fc'[,;O+ 'A?#;iH WZv y @LDXЩ ֛ ڈf}V&d 5 <ɨ_{rMxҬ6J?Uε =xQv8|'h26RWVBR?lK0Nj#js}NH7g, 0v /%%*¢AE"v"N[x 5 ƪXyc1 þW)cD]g]BB 4272YuP$? GO\4`,׷3;5%]??/2q98:/7ae;d"~,?}9 +Q.Qo{5236r?_måƄz9H<ǁk'Zk r;jI$cF~ۇId(HnPj!tv֜GFJgĊiQϾXͺu{:O <*7 >ƗaQƐ$°evRT2\`&BN-}04?|c3j=es'Z +md*ViUm% 1_TA^FHc%2p08j$Jځم9^S@$Sѥ8 ,ٵX% kb'R[/6Ibo{Ln.|X`-Rq36=27/FCo YzBZ6d<*k]/@v恾&| FƝ RȑR;lS0"BiױvUAۙ-jށF>o5⸱2Ȓr|(~pmEډM7~e͇nSx߻fwY$}B%pۅg.!!ßU> 8apYK@qyiAGH^#:co_J7+>OL*4 3JխG|0{A+@:.p(N"m2sNfb$vilųYe@=2*F+F#]_ʟ `nՈAFNO~8ri{tO-"=J%:.a\UziY4mnTi! d]GB*< #a_toas +򟒐uC~!5,tVXֆ,e[*ڡX/ 53rV^-ZcJJ60 Vvoo5Q#}J,]לCz)e(KO,0/*"^kk,\u/V]z$ߎKmd㧷9:$^V=UY;kr;X2 <}٫uwp?CoXj/) OHFHc6lwRԈ u>*sI ;5cXc:`Ue/x-Ηyֹ*SJp&GMJmT:;!^Ԣ7\mX,>׭ .*晸#?vi;\ŇoX( q\%G2V,GS-QU_KSEs;f_E%x]_WN]jg#ToʰǺ%5T|=R%L X栙edhl;ի^VCԾ"o;%@}kC##ƕ6lh>wgˢGJ Pe%uՇ~{x*^d@5 *jSHGtTf@_G /`n{|t\^+dG:%PxkT8 "E.+n̡N 89IZWœP֦ޥEykAvn% @G?Ʉ3RHy,X=劬rch fļu{,m)bj0zaē9s9@sO$M6]D }6_ގ ke4| pMAjQG^cY}f XAM ) V  p,$S-{RR1/'S`fb!*r׈i_>zIl6*TaqAZ "ũU - B|zP ݀1 qo/_h'A*D)"E5XI1cec`m%~^P56{MT"Ѹm!~KOu+4lߊhsud N Q h]`S?%C[>hh[]\|t8ƛJ774Guqb6[8i%ox_j5ᙔU D'۬?TxJV|"`1LOyyb,>Q- 1Q!%(=35gԳU~:({=~^[Fq.Su{mHPBR8\Wg뱆;;46M9gYZc47789dac2986153fb7b93d0603327285b7b9ae1c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6