SQLite format 3@ ,U,.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 KK*)\tT ]]Refine_Monadic:threads=2elapsed=65.659cpu=119.364gc=9.844factor=1.827zXZִF! ?]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U|] 8t}B,_% KP&Ѝp&Zczj -n}XV5wpK2|,^DYau^/7t蛔Ih|"Pik]a"gcH[-3p-MR!*6{qv "e񵋃YQ\6"LʲFa%d63@Pt 8U0GfW1[<,#~5*+ϝk! !`\ja޳ n]97x޹A?GƿŖP2("笄tpn 8Z=ᑼ,( MqM% c zyNedcv Ft+O / =eY:[־PLb[(AGĜ`jIwvav0--8O8ʏ0`pBq>,`#>Q4W0&O(v JBFwy@X$M!grS꿣oJ2!+OQ[#25a9ڹb1HdZ_ʘLZwd?GQVQB1M0=[ׇ~'@}ւ)WC1v=!=lEN3:zdP暷EsQuhU^6- 7I+.'.4#2=3 &ke8sU37k>1T}]Yf5ߘ:l~W} rC~y4G6ї5Jk5ə27S<ЖB̉de|HtXd\TR& Wkf m{F?[ʭoQ4tҚLz:Gɻ踻$k߲.(w$ޞ5>!.!L i.](g 8ϭ\w:uu ‹ezܫs֞fNvD=%q,Zs@dfGMΞoiB(CֽVOȽk-{G)`(|=ߒN_wyZm~ԃN:IzcL%|J㮗NVzrQc|.z;|q{M|;jC~fХͲ&7 &yQqP]z`/"I\,/ 6㎒$ng'So? ^ 4$odMDoBZ.e_3H. >l ! ~gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML%#."u/As`WhɈ~jq<4 R!nBPq}}bV.xH[=oax `,?^?:)P0T7j[dc1Ś6 Z ڡk*P ᢯HN~ӻnJ)>lMtaP7$r$`N,F5;Lnɤ g4Y5!@JL Vaj;>[_(x Ɋ㶼=osW7d^SVk;0k7(jm[´GUPLJ,f6De&pX̣~0-3`]SOH][*x gH⊈0|mjO`g`A'8t``f]mw\e61 1*+ao.}ׯwjPMC4T Z4?7IS[{3I3/d#㙦~I3q)a1e8tjL `&q;h L&W,)EG٥<)$v.}答L*B5. <*]h#{և"[54#'\_]gYZ7zXZִF! G !]ŗXi%; GM*׶͕RWeO;}ȆO9tC&Mկ#B2P9E2>&8+..L7mO~@v&wW3XXH2f6~8p~'Sl拦}ܪT$;z]7r#)F!c:tc |*$d1R*c;bdԃv6iX;u)( 1fJQU# qEǜkï$XsܠQU ) Refine_MonadicT)G% yN@I4\7sbP4XJlzjʦe@:DNޕ+{ٯ))^NM,u8D977ΣRNնRQkNa+yxFEQqLh1ˮ>m=w@I&?w{A_?\< 6 1 ,&! *K w  > ywm `Y Q K F V 8  2 %  =>)I%Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex*=)G%Refine_MonadicRefine_Monadic.Refine_Chapterdocument.tex)7);%Refine_MonadicRefine_Monadic.Examplesdocument.tex(=)G%Refine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex'8)=%Refine_MonadicHOL-Library.Phantom_Typedocument.tex&-)'%Refine_MonadicHOL-Word.Bitsdocument.tex%1)/%Refine_MonadicHOL-Word.Bits_Bitdocument.tex$A)O%Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex#7);%Refine_MonadicHOL-Library.Type_Lengthdocument.tex">)I%Refine_MonadicRefine_Monadic.Autoref_Monadicdocument.tex!5)7%Refine_MonadicHOL-Word.Misc_Numericdocument.tex =)G%Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex8)=%Refine_MonadicHOL-Library.Monad_Syntaxdocument.tex9)?%Refine_MonadicRefine_Monadic.WordRefinedocument.tex/)+%Refine_MonadicHOL-Library.Bitdocument.tex?)K%Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Pfundocument.tex5)7%Refine_MonadicHOL-Word.Misc_Typedefdocument.tex@)M%Refine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex?)K%Refine_MonadicRefine_Monadic.RefineG_Transferdocument.tex>)I%Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex<)E%Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Leofdocument.tex;)C%Refine_MonadicHOL-Word.Word_Miscellaneousdocument.tex;)C%Refine_MonadicHOL-Library.Boolean_Algebradocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Domaindocument.tex9)?%Refine_MonadicRefine_Monadic.Refine_Detdocument.tex8)=%Refine_MonadicHOL-Library.Numeral_Typedocument.tex@)M%Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex @)M%Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex <)E%Refine_MonadicHOL-Library.While_Combinatordocument.tex 7);%Refine_MonadicHOL-Library.Cardinalitydocument.tex C)S%Refine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex :)A%Refine_MonadicRefine_Monadic.Refine_Miscdocument.tex1)/%Refine_MonadicHOL-Word.Bits_Intdocument.texA)O%Refine_MonadicHOL-Word.Bool_List_Representationdocument.tex;)C%Refine_MonadicHOL-Word.Bit_Representationdocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Whiledocument.tex-)'%Refine_MonadicHOL-Word.Worddocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Basicdocument.tex<)G% Refine_MonadicRefine_Monadic.Refine_Foreachdocument.tex1C2<ț@-?KA6kʀ꒒z ?P7յ{to|QWB.\=mxֶ`2WD!SٟvrN"R &Le|eI{4,LjEfp EyǢ6.*I%BWY[d%ڃf Џxk"Z8lӡ xZ҂Z MyA1:+ kɵ4DLMnJaSkL)pTAb{|(aL$/Ci3YqHŠ~v"O!}O |,[Ӗ m)pkPRnv݄uuJf[VZWp4Ikkxno5ȶ@E.J]T YS\!0 'llҨhT^ߗ}0~L-k7L($P|ٽ wM &Z5 5LQ4+ɼp$jBvW +ϗ{ #>PmUH3^ۺL:q#=>:PUʏx6 3]ZR_&u厠lX |&=0Ar B=SZK78ݐdG `t0s/-x|1Zzɟ)ݚԝ2Ҝ%[j2^IYxGf`<$6_䊸ޗ{]vV ^U׺(+$zGu ÜyTriڌH?;xBVM$e?OJZS=d%B+xM;\ <@Ủe@:rDC=M )H9 i{ǔ!` ^v;+RG逬6J8#[AnM"@mW-49|P5QK_DTXpُ͍.7AcvG;vhBCwFpXiQ=g]SJw-QZ ?{3%\&ˉ.feTJꖛ~ܘze{N,$۹opIyT6@:xE} /^DePA%7 wEUE#6P`өBWu/-VuU(?HsણB~,cD^,+d(mcOX׳F3l$$hρɬFƻaVV8Xܩc upq PG,zXLlHRhSM@[.F27Wn?rsGɔbiGL/4IzՃ q`ooY+zF3 {S1K:qƮkJ0g;\9?bI =!Ez7ʐU:v D28.1̂5~44fRP7dK-v)j!;z7Qq`jWY+mA3zLPD]}yu*ȇ&͟8tfefyO>ƺ{^] p7WW [FzMu]p[lE;\!>:M8.gP [\;&j_a̩enkDϡRF <gfMƑTM)uuJ|r؏?ZٙXɽp, CU=ҍMQ=+h0Q,qM۞6'{xsCeuv&[ο'4p mJNl#5(&o56 =ϋ aXBM}=NeBR4<䢮F7}ܣjDh56V̧$rXk@>đH#)ƃZKܞZn3q}*ZH#`{"#\XgIraN֩ۨPa[Lt_ӽ{KjƍIO)t]"cZExK] UD 6du lG5|S]6Z̕NTb(| Zhet!kd\KrX ^9O@G?sLcӕᩰ*]3fſ`/i<hE]?:E9IBs !YJE]!qb(D*+b@{&: k6 1qOeVnVdĸS2OЄ\j0ɽ/;UBHF9AbJRWAQ6`!)0ykfܔn8={hXY䫙s8'СzZ]~;WZŦNR(5y G~z_ãEL9nà s:4^B` G۸w]4-BhQ):[?zKc i%wR >b0r_\L—QV%H/\Yhx~jZZO%v ~_vBkVSNaô;Qi8gdGuk"#^ E1A2O ޯwUƆ麿4Zɂ*'`l-ݽm7Wk[{[MS&Y5;QTE Mt|Y!<@*6bXPb FLd{JwBZeX"EC ~Yua_Ƌi#٨@6^9  |K|yO'CIA'4 (]iE]Fq<+0 7fTX@tPq9Jz%i0@l)^h-oV WYOjDt<'B+4-ͨ8( {*2$Z33H z: wAlS95|kGr3e",M̅[uթ6r';a4 }'ً[XMF#Fʰ&F; *5U^ yP' #p{9p &fTITa5PEO5rC~a& !qke2Q5#)`TiA>'+),GXsn2bV[fG +c!"W׀ijmBIо82|EhLRzyȱqZ,I&թfJ!e-jI ^9D(/!Xl52ԕ qt؉n#yVmjGKC71(Yii&.)#}<Ͳ8&qˢ1K7.4_p E\nA1=TwzI3Fnl`@1z*+) HllFtgh)%H_y@*sϘ\3QG /lVZ8mƉGG-, wc|F+7aҢ%|z#ܩ]T͘>5 *'nH#BJ*Oɑa-ohtW V߉"7(Quyl{?zjQ}WDP(-TTS9$?KNTE0KgC+OE UA-))6CLQӥ {,9 ]!3؀0Qu;k|` &.*0SRvә ~B UޠR-q#{Nq}sb$-ToѼ4bK#E*UFK"q6Y˜UꖶQƤֹ~t>/1\b݁+VS#ϴG(TU+} 6,nnz+*Jn_(6Exl93}O KV")Orڙڜvqb+u~,ѝѨjl"`o_%Y6P3nsqWo<,BՅH=74%"ImmG90*o<*X_yT('p`H* KgjTD$Z\PkʑSme(fkL'>Ho*'X#I5&=32g6Qzx<#nDf+myَOw&G[?h[Q߼ :rNC Q5"`oHnH.۳J.sP!oұ=z|eݜR(/Ժl h:x}C671$JFIYT'P8IƻM0|;Le0&??8(ߧ _eE# l4 ʄ@3yq2[TF5<|-heEՋ,'΃` leX\{+;*+L0z(!͹R s/`Lܼ" oDk5SԪ&mBM*'&$2:i FW]}ut47ZE#qsS Rtci^{|l4уZ?{>ӑ-ޥ> D K]C)-SF{k[dJaoy ū縑42P}b&KѷftƏrUU2]J Bm~z=(ӫ>hk_7EܬnԠb7HtK#^tU?$I-?b~`Vzntn7w}I qz?afleluHQ~. )HAJ̫CF9Y&PwNphke:w"6(+tVB9fQ+(#nG怇e&2{pU4Mq9tW"v#'a~جSM;D&+h;H15(FeD ][5Gh@}Vmaz[ 43C@ȫpbٴ'9GJc$y1?'ͯ D۞_Y3hKBL2wd1mq5W9~BA/͟)aYߵ>>gQpͿpj'֡IC3ju $0Uj\V(tKҞ)%9 yטiat*Gq$I!}Ӡk6{,7|Bȇ͞^zs.p&7YV`" IFf*vힼh/NLtqWFrZHŐUsyQ/Z\@._H2*@A9P G=eA!ͶnQ4s"Crd_Fo3{~SH!aϙt>{H:p 6? y]iH&J4'O3ɋ-ƛcBg|S9q=R.ƒreEUG7A[:[oP6{ gzT'&j뙙dvRÅQ^H&`4jt\He*\$VnsPIS dN4U8K[͋C†oKr_ #35{v%=mYGi$Q^[-+QJ]xGv8mvJY#,SEaɾgAe 86fPd6.?g@"va>S5N E3g=dGEȹ1WI%p4 ߴlY-E~sQTvД#t=EPɠ 'u4DZ}ofU' RG5PJd7 gMv< `%&/h,2R$ bڵلwoȴXz؃'\z+5g(rD 4` NLS1QWӑ:QO%l3~JX3oY81m iB)#@gbSֱ&(چQzOBUkh F%俢Tfg3ul{h|0_k!3ip TD6*/]\?*86TG9mץknt܉gs[ZPo@4~8_1aǁZn^<ƭ?5!4N1ЅSv(1 a?,%겾M #CSxץ$Zߍ|A,2'uoeڟ_iΥ(QDg}W1k qzKeoWdNg^c4M9[-' ;JxkF~*A'e89gYo\Y|2*NO6זu2<@^s'ToGXG {trF m!ˇpUQLsaNU'F&)`>XDK1zÝBed6h %Idi~14;D(qw\R#莞wA DLKAc9L~uNt?(& =duwlcd]2Q@$)B)àD(>)O:H0b $\_/GPcOq&BHHbp{[ȅ'?GRRi4 VDPqH|s[ f=2޹URm"q̏",X7``n w^L,ᄱmF)rp2O ̖ h3x /7T{A^7v(]4,m%,:rփ(P.|FꠌF|sG7_6C78x2~Dݒ'ׁuD0A#&dJ6U-ʑs @ֺ3=V> GKՎM,Q Ђ[(ɐUđ"jtq91Zu϶ϰ>l %k t/&#dQ#a)j~Y'~'ϫ`{ v)["i/} I=[QjH\jd ^"P*^4X4,&eVyj'ס3u侹AEC<ҿWV(Ҝ&aZqXa(vt?mˣՐwcGFb.!xR Y_& d}# c&{#j#lK·hm/?ô_*0J !oǠ/(po( x;}j$%g O% W! ,'1T~_ ;d7GAUm(pN>TTva.KV.*& JrCꞘB:Or]ߠg؁  pud d9y qBY0jǟ;6q(zRw),'_o("\ d?/:\)ӀtJ5zdw ō Lmպ*^|aq yU:hn[X_V$U=C uY@ٹȸlNX\Q`IiG3ݩh ݵ61!גXpFՄУTTՒz2L1vf kj@S9w6K 7}B%+3>X#"j%&]cm :J*<&pþ$r)(:Dʐ*Ϟ&`L./bH2Wf`KY O,)*_])aʑdZh`PhЕXERignBw4*S hY/"B∶(zĹv?"cxVvEaq2кL4 p8_xRM *<ۢ%.5ٖbR{DW̠9# Ѭ5.KE S=ZX*4&N>@\k+*!zn:[3,ڥ ϗ+'L%61s-4Z1 \Է톰lw@|nknktZ72ۺ{"m4יӅX\ Py됨_7LIޝ;gϞC%i񃬝 ] y{eu3u+wwE(x˂~F)6Yd!5ƚJk;^c>N(^7[l"q6,;y=vq!AT0h*#"t@r<Ǒe)e5 NKAK4K]oXԈKdσV%?GtcU:2ae2ι0ށ* UѦb\n+?ٚHE/RA`Բ{fV6~ KzI[;W7o(X ە"A.Bv2]N)یfql-\=7&NRW$wqzl'*J 2]{#4Y;ŦΒ?ٚP35glSOo:$'QZPq־b ZoI@ahBץvj6IԼo'Esse=0ךٽ4[|s%JOo9T e]ԺgD wFpDN&;sGxղz= ĸ״4 j$|Z} :\ MLe̹Z-nVU+4}su*RD^\x_K.9<:tf@aGEUO\g^6%#p<<̡?Ϲ7T IYm):!m텨OZ4 m+LdFBĄaKFoQ 9vbj6U$]V69yxmsK"kWixyqG X'L ӁsG^;9Of30;2,L,f%N?3>`^I5\} дvl ߂ o,%n%AK C&`p"G շ\QlBbh;IA7ߐlqw4Xn-P(&7)ӷCvƻԒ`FFeL{pSXdH5a5Psz{rٕ}~7 y#="HHɡJjJ\-DC2[i'Cl O/ȇutauͰ1̧ux2$d:QH#vٙ-庵.?h! L e9^8ԎegJZYsfǿͩnp& ;KBN'ˊ:l&zKMÁya!}> p˸4_ bkrkmBJ' !f,]B&_gXvδN)8zD7/_㑣h8w?7ִXcIM uTcyJ<˝Q%~GJ;N<_H޹Dc[|jiQi4 lD7H֪ {;cq0=Y źeރT >$L1;}1|=?9cN׏9K0b755!SDp *:f^31bOi|TEڇݺ7A>_w,QL' ͔z6#HBtU5'}wxU mq?ʃeܺl/$e>`n3tjY}FGu=B/ pZTk}Rn绽%k) Õϭ[F*ȕ w'![{ת,> 10tùXҢp_8f3kGK]%3wAt$ܙ\w[.p? T0t (\™MHg mŮvN*6*2SF񾦻䲓7*[50pZ2y㴩yY,Gt2i.2wiL;N$gnD~=W!Wcs,0N[5dʇߊtBh9EBy#Ug=<9)%Ò[Y?~nL8{=J/yʶ.z/KKg)0L d׬ŜO2FHţ 9-oY\:$f+DH7S狔!#5m솚|>W#aN9\(E:SIvF̫ӨDwkͨ],(9uK!I U&ˈ]4EV9Stae*X?rwA_X 6_)5X'<(UR;i_1>)cP_eExND!@ͫb/AO_!נ\{{wڑ>V WjhguƴF -,(YwBLge|s2l_yu\>Y|rlI8a >%,SSL8b-N~qR2՗"$V}_J«ZhGZ色I#;Jz}p s{GIQ r(JhD `\_I-QMw-43@J=ܐHZO4Y* k,D&LX`HPSĹ_ 4HʑfOK*^K~m~`[a^>#kB)}`b*'Sx5o_g'3R8ɫs !z1e0lhkH$d;$ǹ<^$j)PeA88 "iz- A.P( fPpy.yDCV0muF+∜qFΘFLMq٘v3۳c鿔3-I$vB# [af8_l":bڇPIvmbdW{l(gd!9;"0M-lqycKF;|eByb5a\Z)T)) 9AKSyQ+#Y30b 'Q3<ǣ8+RZ“8aGyT)XLŧh08ޣ@ / Q7 J%;}OC?7 Fl.)S][aȌ(~iWuyNAb<[܀^å)M&Ø˾Gb||zy𶱝",WsV_uB棓`{ׅNvFlw{N'k#hr~ o lV6e\h'.sd.RGGU^4{qp 32Z]X`%#]tVSYei${r֏rVrIc[f)x /q!53*]1p 5)8vB~TP/B֓eW4׫(`²Lk>=!oDYk1R'+[%Z~xEE*`& 5w\VVǕI}%aruBlkԝfTOX#k7P$m`!I#2c*VaMOX{::t(-A8"6*€?JA_C/Պ-&P. .x{g69ԚdݳIZ2Y(m+G)ۣߪjыhG%}:0nӯK@loD,A4QHQIYrs5xTs;$chv$B* DҺꥰ TP& *6LD`g7PBү@!9WS%^=tcz;x F*,+ŋb>`yr WE ]+!EU=iWy[ٗp%scȢ(}q)Bk̨ u~ln8Ĉ0%H (?";s=z%:N䶢 ZP_YQWK ^`K|MT;ZD!,RBJy0{gwCnJ>3tt``3ߦ&;6z?muv0? -5:(0#_Dgm$[jeUh+ ,˨FVGFwK<څwj0'M窳G}M3E#g.GlPQj 矬=UHD3Cۤ(룗Z΅*+Ɨb*yShS3&"T nVolIv\Rȕh]Xd^xqش;\Y+#٪=;OOM oss9PP/8~̤Z%B'㶞bx [ײjϝ$Kfx(\;R_:uW4Τ$`ag#ktBYnIX /ȴ0F߸J?yCbpˬHn$.5 ̒[bMd #e.\xmdæ.p'AMK%pUq7kCo\z0ZRBʆMY' w߈YԾ^.2tǐץy1sg3 s33MH|%9C(+\ 4nւ- ;׷._'H>2??U&@TbS}7_#f,f /}~Y'=N{}QN8{?@ί9_$^?'T-z a%-4CIA-dBif0dZAi:K6Alpj g p.QЦ| jHKd5ؼp%,Ҝ<ɯʴ$ K_e6R۱(BC2&#i@త.8idžjFa秅o` -Qn~P-' XŽaZ7O?"'aDlV$\J6RY6H*!7^!rIKo呥.5+ l8QY?+ ]0>ho8cgfgT"˱,2 ̮Mɨ/7[5:T^eL;A-8ƃ:z-VK = lY;᩶fJu(tពWR6 u=0kQ,ҙR` V1 ӫ ![ҒCtfa9VጩNe4 A|C$y87^`k(v"+뽧گ37„\Cϗc+p%6 ɌA'pz8+P/. Y}i NԮqYx.a,S8u][e 跔"uCsn4[B*@Ng%?A̔. 3?$;MvG`*_\1.uHf=i,4 vv2XiwpN%DF0WL'*fU`s{ S{,0GO@Ej1BOEA߿:o <;2k}5Ӛ dcX #l2d rf'g"5O%ę*CB0]9 LDڧ "H1:,fnzD i2bQű5},%H|;7AG+erDS(-@yej,F YZOQD9 gF݊˲<SМ14\,uK<@'E1N4Ƿ3x(} b?_.i&^{jVS@%0R/I5{ZRzes ׄb1ڼ {LʣA=c]No 3WEv=d-c.>V@H^׏vlG>VqGb!gYZ JÒӆgɪ(9xq*kvգz|q0l@Z9WSdI6*\yRwɡ25qksyWsdeE"dG9bF-˭'4/-1TS]"1@3ZYgܲqnc jħO3z'W=]hpg8*}VĔ(9e?9 <q ݀CK ^2>ϩ&7MKS`oƒŬ{B#= V j{'yri|>-?a$}^%#̩vUlxߢs76N/LFZf5AiWBE 0Tv -%%%nl$&>7Mſ/`wNߛ,>6feFUtek%0I ^c/&Ǭ& oJ0Y./ӑ<5P:>c00^\6 CE/ec2%0%ϺQe>[j Z0;'OȾq v~~Ӷ ޢ.w|}]Z11vt7GrP̨g38S}]jrK?mlQ]zCa/3Ufm#3hr5PPzz$ A72Q 輜;]ק\E{HLlS[-m`FSDoN|{&yuqpr?>psOln&r:JVauz*#厡DoK:,h$z'TI|8|<5c<],Dp0vN.pD:X=r۪+6(:k Ex|paqL^Eoh$̧倎,+Uמ-ߩZ]^Yd;]j㊱ 넪~BXR=v-nU"5'ER 3.]5)#h]c=pO28%.)D*ijJXxR;PU_d Qq:@*Ug1$J-gzGp%MLsJ5ѿ'E:KFKqP 3?yZoڲyls%CR2Ө qYgMM`zJF|>zqXf g'+EMi$0/w{݆H 3̎Q.'F`$n=l3vVΫAx=Y94?6Bs_=3&^}Qu50 +ꌝӕ fanփ~ 8rRsIF}B7 2V{VM MCYO泎nl]YU؍QL$0ɐp ,Jx@нF?G2jUf5kῦ)1Q [/6ɹ-QpDܩX̰pBHtO nqp_7eX[/W{Dź‚&R Psr묽 g xjS8\E_/ %e= ^'s/sF|͋dE!BdԄ`Q'! Yv=u~ö܁8T (|_ѧ6w :Dne@ 5r:B; j$&&ېBN,Mtʌ&CSXJFPK^BXvGfQS2EG}ê[|hU¢©מy>e*B5ҋM1 ~Ñ;[_O;(q>٦7vOf*uHf prlW۪S7PG:$ۖd\ʽv\>5Lܘ]*~d4Ĭ)ױEEkH"`Y%27̳S/b0-̐L5jDr<=!AP<|NM\juopYTF4 ?(Dî}mpPGTڕ2/HEJG;u%|l{ީ-IZ_f 'ٔM0wE'II]&y} VP8&x9#٘.I KA 8_+3enl/+I辰9;8mRN>C>+һSXBt8A1+" .~7_ZWqҒYp}\г#%>Üůp7vѨx#zVWVf757=7 5 mpC4ơ}:ݳ 8{6.r-C%k@ŷ+ےvĦoj2y Slu a)FH0h;`6#Qh@&v{5Iύng{QWmKw+R6%V5fMOsv, ǪATJ8b"w׋Ez=iEmf4};DMR5}Vjl&7:)|L 5(K îkjJQET=RyV7\l-6?)| -&"#4S&DKCޞo2 ƾ{؏ @/Q1/ա)$B4&045s C 8DcCjsaj\ʲzD~Eex,旿D.WX{tᴩ[/,,3) yJđ{'|u64(X ͵voxS(ѝ̗pi !Uoq 6-j?GwB8C`ZVa竊kgzv≟Jb;')FY2LH{ w]NcuS1J1ψ $M19}oVǸRSmʟ;*hNu,Y֫]'epP:wrzs(bܡnp=1ᠥ_?D-G2 uRtgEnT[cJ= z|r^ Lr[WٹPxdTHDuΎl_f, e^ gCEl>{݃<-5;Yg1];q ]rɦ]bap5ysԲ1N~Y90j nTԓq{HӃejҗpdOMwSq6JIEz·]r푕gwqL'%zpv΢h SϯjK=t\,{:3 Dv,&;M4>8Yp(p0e\NؖАKv1-v:*$yA ;H;,{ YHBb@!'vJ7``*L,g0^ehUhQdMdS|pR=oȆ޲!q^|*#S~[C/ y&qKR^ a qdpm Qe [_w,lp摃Qm&͋@`1#&@4FSgZM;(Wk]/aeȒicS#%Sy.$Y/v?vw63M1HC_!G(<GxÞ*i´8+c 0KutX r,ݲ:y#BBvug,?]Y`^PX 5OŖhd~^ N~&tT1XDw,D`OQ@P®zi'1VW^GJgv:ZP% 8ж5Ք6;P@aP+Dm׾) T|EU,\(ps"&6mCRd6 < {"Ƙo,Xxp}H{IP^d:XUM|VnjJ[=SS$h?nRI4;CZIL 9ܺ*҉L5z" DVAאF1Ap'[sM=JWA*0cʧJ)RIhPYrãy6@Ԫi<ӊ6˗͈C=ǪtIyt9~=ˍQ@YPT}M[hş?hh 4IEƞQF% ^vzL.[,W8rgX♃b@g­X p)AImbZXdYoYq%ϓF(K 73D?ů%Qz{o4+PD&\Sw|tt+q3Fvf)uo#Th9c7T!*׏- f8\v$ݹ2TL![+?YM;iz9'^t i.,.+i|?#>Uݙ-r̃h݅y>A: 0Py"CjPSOŁ[xګlJ'83Y{ ^**byQea*Ӗ%Y#@ńAe ߕu0YRiKV6D= '.[޵M`qfdK8MV<  ]yCQK9<,8n&qhzpn-Ռg_Q3\9zU*0;{oP(J#3bt*bz6BMد@?c;Akr_4xp}g+-,-TqE~WZ)KNƼPzjϽ=>%g`b$ 5B8 F0/Sf'4`3)g>h\d~U*#내œZdE}#88^M ƹTdϐE~I SF34R-v!i6Z*~鰻`80$]mפ˱Y +,e 0^j_+]: 0G6ǀfbPH ą+?{4dǪH$6̰H{VkƜGGwD 6iU3P+&(7ZYk8Ik0cP8h{Rc)*nw5 Fn{2У&ՉF;G2[LKg^RDEJ3Ny78ž_Bڿ@^(/ JaާplB*<!2nR1ؗH1q?fh*dnPw'!o \-H ܓl$%-beq'LN=9RL4le ]He0 j@fl3C2Ƽ{E{`e\oiV|'S?$H/w$ݢ#SQ7Q}5)oM˜Z0/eIȴS^#~ ƱYd20,~)N[`>؈L"t.WK%~7lԏU RA`-+Uj "8,l'v؆gnjT=cfces=e6:Y FL 4rę%_ZxNb(O5'UN֚dۖ}ͥ~GaV|+UOYzB+SLIP]3^spm!-wrX1N1wkl_ل뗙*#2<=]Zl?+WtoB܇ܘ+w}G]3fmeM/`to8l{b "l}v=&`u(T1j׵~U;K]ʏSjofCn467_1AېX6, B8W [=XP+>LMqNJ)wy9IQ3!>F8ñNޠ.ҭk_#$ɸ\s}0E?+/簘NE<2x_=>=)~sV -$ 9L4$~d4J|o%y닕%1?eh4N Urp n'҅ҐڻOB`X[D~}lve1b] !ehݭ8L͇lj:> LBE~NbF7%PƋs$zpX7V2k}6}&bfŗ! 8r%}^H7p#8͢ ។(:ԸP1.n.:,4, tfA[1ra#ޘlE3OM.;r_^^hp~*.ɺ}y?:#,G,o?V,JHGT0a YƧ[՛0Hܘ<3|<=%`䤦DG?bP۬=pW[$e 'VIF).y+ :]Lrs݁`24.њR]6bTB2FtOWJdV|'aKD?P$yVEBiITX~=/R=SO+cbϴ1Ibl&Iz+WAUhc%bFO&G\Mc?1&|5b[f꺆%IƺV@Jb0r@ѯ${D{ki O"Uv?#WaTANSr͡ț$WKXm'+ .ۖOZgZ>خk>xZJ?-'OƩҧ&d؛=/Ԩ54I@YtC}Z׳/9Y =cM?c ^g~q0*֬ B q#lGviR nĿn.!h(ɾ{{35Ǟ1֨7dw sN$qw ~9W*6·dwlJG$jaW"&/Z"1Gi vm2G%XN׌1l5<[DqztĞr*Sg \k1fTTVy;(L#,b_FB* ̓ظv ؔL--7/?}iWi3wjBM=w6|tȴ2.f-6͉ K]GBP,zl8x +k"Hմ^_8 xLtMC+wmnF]m$F.NyDmzYp5 žsdߜ .]45 WbqvTG3|>We\>x_/Z #@i{Jx(4%tI7uSw;Tβ'6|6:Րv5]I头h[(Je7|,i */\tQwe N9A-"G_\/jXq,ﰜ^!vn?9\m'}^Ńv%_E/1g笻_y'9)﫤X 9;K@v-f:N&54ݸC5\wprp5J nRCph/T@QqR^}_*TddGC=h(fs\dܮ6z7f5/wlTo 5F,jpt82S* 0rP(]깓 )qT$4~ء!z;ݼ+Xkq&iR.>qMF8x)os6uu\ J?RNs:1l?X: T gB-3O%R0w'7B wbKMKtYjsB6=M(RۤìYp,ǭ!S0С?qDZ,&57)-ʝ_hq aE ߎtA/.Gte` bgMһK{bɘԝxX4q j&Abo/C>hʣ: ΘA:8f@{hdQ6ީceޟJ.` P Sh?}73 ͢rU+?Pg#A{ Y;6 !H~᷆ri5;e҇>خq~Q$8F$")_Jn 5 Ih;*GrAPB1cWWV/׉!ŋw2kТArd "Kidn,a];)+zf( I碦f|ºmwhݎE1=9J@{o2˭\ՙm1"vh\$LxZ*t~fѸ0ic?qc،;LB3JVtxD(";,2(gN̿3>3起FI:699L4, ׻b]6|&g=(Ǿ+/pD{l| T㕶3v\T7a(>t+O|.ny@ˋE"_8bx-0/ބJIYVc^94aEx>8"&-iLcj+VGJ4 ;?̩> [q,BFQGOBVC^g~l`?rXQ]SćV>al pƊju|ECjn°K4Am5d 5X+o&G9Ó\]]0zfs09B8T{ &_5;D2a5U-drQ{r2 nrfhS ^1w([C<`%pH^D9CōiZyc=vLp 3m $ߜmAM@9L;^ sJ@Dݖ4π>Ef ]2dZAE^BՃEɗP)W4IN,] B@&ზJf_Yn)ی# GOiQ~UƘN@M~owlRUOx@;u1fmq{U">rt:x+q o]x2:Gv9.3-3HFqћSve)A0&G freMA^_C|T/iWCU7ZO >[%v?5yjoCLȑ/ BѩNA Zc4zNחU&rIA.{LIG.࿮-/1#pd&VnalfWRQ䪟} jeU7qi9 ugX0ie|RaoV8~&yF3R逸UJt[S<լ&@Y=bq5dP9"͙6Zc3ak4薯d@Qozh)β&H!ɂdmڂH먣'TH|q |dNFUxl{h4CXHC©PbɂPyLJ6DMտ:/C{ SV 3gϳ&D'>g&Tn+lɎ< +QEOJ\0ޭ{LjlǙEGY75ߡU׏f.@+ `R #0$;1QO ʉaCu+ gXzFf5#8~Zi@X]mi'?'[ЩT)3{Υ%:ӛL<Tj/,M2S7x}Nmv{N2ϴ"qjzgXs5 YMź`Tyx?_ ZKuPɧ 5HG!q-&_y!.'=ᴭMT N d/:̺ڽ11 FK*r\"m3 G7%9 pf̎M+d*[_jOgPB1l"88L43kYzϮ^G1BG_a!yL&klWf*_nlϯ7e( pfƒ=Ep`nb F}3RaǸҏ6 7~i|*?L_fdjR r6_V|Fz ^֩Ս69vlm r`l-o#3JeLJΟh<2M%#,GVw^?P㖪F&}LTJ]/9Pȃ>€#FW~eb$Dt9AZ*r|OIT,no{B|ȏc 4DKUжsW3GԕӘ5>5HӖ/Kv{H#ѭV+j >rpz`Ict}qt$z4k}v|:`6G"˻R']kX#L|Ks Dt0ZE_IqNy2ptg6 lWB!ڒ26U4ixcK]-_Y9,`GZS > AX=I;ӄ!A+9vO.Nk73{~~Ze8 fxY5p+T+014 &:¸J͇ b3:lA(+w-,m/˵^шgqҀ5EQ+_^^cߴ\:I†SOoU&ƒ|l'vFFxU{] ۶af搻 ܖ s!O:ҕcBEQ; EjfWkk!vh=[y"l?dhڇ HXUwci3qY=ie=t񻿘bc՚|ξR[AmJjȳm4\~.Run^} !Idî/')VֵAɀth74t]S/d=`1=_ FF"ľ"B ZAV#A7@%a8]oZ?B';eH/ #,0{<]W-kqɕlX^Be@ٶO;,*)VmQɵ'_@鷎$s8VH~ gX0!E~К5ՅR1,=K4mM 3"}oQr^Wʡb!w,x]89܃%9ݾ6"A٤B>+*xIqk&%O7oPkRsEtɩ߁f : Rc SJܴ>p_sj{ml^drVddd~G"9a7l(2OwˌqΈ 4/'R%78)ݡ2W>ډ޻]Vg-]<;iѸ%'Ybt5`v1h4_<v%5pgr@)l}iqc[ށh[#YxEThٛJ&n8G2+s]-ݔMo%TP8&(& ia>\a>w_|:jspdp ^i"ʱtqτ:ӷ) {sYBpnq@IH;K\U g:>KhKL{n*^,o/3 7vHw4鑑6Q&5c$*2#^zǑlю˴y[`o>%N'\Umy A^n5Xf,@ 蝲c+{Rٸ8sYhVνcƛraR0d;_YO&⥬6άD5L2'c^ nk}Y5ߡ3onj@G-FPws~0{̟2Htv8r8b_`]btz ZLƎpΤfW}g)q'%6{K1[0 GAF'Gοn Hs9㨳S3P=_ F]|ܵvnӛ#)1@\M|ű̒[~i+hH5i?-s\AɌ7XlUD-4_]=YcgԸvD-:BM (6γ %_5Skx$b/TkVjIȭ0Zgya!d>@E%w%]$L),\8ft,4zIQs[۶>bo#9FWenI/l6_̉i#-\jఅHҬ ~L"a?@cFJp}BIH Y|;f  t`]j?X0,zQ5+Է-o@}*AT\[y;z&Aڙ\cW25Cttm?\8=t≗<]t*u@dk,FfvK T>. Dl ڹEvw-Dc1Q7 }'?F458o6TW'FEgt`0|AtBu4iʭi71Ra+BT:|ߝR#u5 윟]+Y.n G,j=&XE38TX&y-u#/N rCe9Y7h^dt_[/Q~_4n{&CCXg$xl={#:E/gΌu f}4yN^|DЏ?ͩ/p$jPg?^]]ehu@(^d57@o,>;QU#H|A?ŭ 8|W1D>QL}kVye -W= 7w$"}l!ͯ5h[ 24|L+3 ԡl<`;bfYNsYouAUQG,#X7eŵao2^GAsniY)y1oMW![2;1 nl1Xxyb$%byTꑔr`_xKc*iMP+^K}APgG(1u'.s2#B"f1{e!++.ɦýRՇC%/^쯻 h=d:MxY=, -|`<̯_vG@s3/x3誎0G8{Ĭĺ2 [w뒴%ָ hOfTDWf`TWex.JIEM%;B|Bʈ7\k²ѝzB':>f2M9zg0Liv"?{`CO yb>q$e׭03K-y&m.qgnqr?>-RGHuFܹPR!ߚrv}ﭘ%vZj'(d.$}> 5WO  T b&;zTܓPK'/3fPphZfCWe}F Ü) $ +Y>c7WC7GʂqU这P7LJ!SptŠ?,칕JAjd1rFR-gU4 RQ%f!z_ ~(gCPs OEy5@䚏͏Vb厉@\il>P0^J?58P%P!6k4 __W>YS6'<aakh$ 񺥳Bqz7n(v}}|s|/%NX\`SoDˊm<ۃ?!xzV0%Df.-ǽf 5} KT7Ǜ߉3S[XV$/ sX^vigۣvkc\4d"m+k:`(8v .c{%^Ldw hJRh?K jx~nGZWiݨZyQNzxh8p^;!vsgNk*XZkW|p5%Hbf@mr܈*-@8 !@HLMRE8bzLZ|@&3'n1w+'jhrEyI f|m UAu <0TZ_=^s)3-$߶K$^Dh<>];b"P"]%#'klsQPiCti "^m'SdH_2dRY?&9.ۺs*gOB8t) wNSO%Aevm8nq{A6QvFǮpm 'ـe1k&`vk+P7w)-ĤGkk1ra$ (cv;3mg^l"qL^9G'>pxo^ڬJXI[4y#@^8W4R9Ņu="\ovwXq+t{P\Sp@T8w2>e~,8SnbpۦIswpaR:7YoɝBܧR}F4r?&wU%2oب_XEk㏖[(8!"ё;RTWR^W[z0OO8nS#-Mjjx2M~`G_AX }/m~{s>q-jnk%13"5={}1uQyȹtd>ڪĥB<% qz )G ¶ГTBNѯ?OV w8_.oUk,T$ `5s  R ʽΊԆ= 1fG+%jw;r@oRptEY,nN "w~B홄 H82+qb|o 6?7r Xp[dBU3X\CLMku+ im; %g?fi~dB̫g-efhwO$Л%DG)VG,pfuHLt=Yc >/^sE`wmdYv;;l1Fuxg$~ <}o| v2` oDZr&'5 { f!)T}ÌULsea~ɐtXq;ܻ]3) ` npk ^9̼!Tm`]2o6BS}ILlìS%}R+]'o:b|Xt' !{Fv9u=l`u#G0FEH$6~Jt0ŹBb&kh7/ b|l"ܴ?aroCF\7@$.!pet2Bד "y!ކ8}HQezzT>Zq,ř;1^3BoUȥWjńt}| '-.c΢UAVJz ί9r6#x,#x?+BĶ8"*N,h~k?>ߩ^AtzpT$4D!h\(Hn`쏴$QNq41}k2(G\UJ!lkWrHMAeqԅ EtkiTzs c&z.MҰ7Hܶ÷JS2a?Od.+eb0,q=ӅɒD:Ǘ@x=*ȕ/]{'P|8.㽵b46M> 6ЉE(VK7Q.WylڝTo;,\ x:;R '^g łM ɠQjE ELX:7PUssP;1BifjNVpm /Z54ӡ/.63Zq3-,M=s ~lEf|k /*u+9z_M>2}(m#}NEgH^wI3r?I]^, :X!a N1kGf!@Kؖ-)X;]~9yh#ZvS&'+\5Bdo^6ZBͥYV}= ߘ&3O셎,xbb\,nel*nE`]s)NE]/q_@H@nMܽ@h.TMXRȦ2%}O9eeVg3Q";~cy5ucBOERN ʹ( b/7yo cC0xzH)>ГQTIyEJ l)2Ch0 s$KC"%M@ʮ1ϏL9Ⱪ.edN_veڮ cK2kEm)YgHceea-wjRNq1H$DHt|$Kimon3iyK|:rJ0eGu2v~{r@#/6)D*qcf2[l70A3_!!ޤOG a\^gZJ>2Rn &vы0 7{1]sRXh6S>ܟNm* OES[(Uɶ^n{Q"VJ>ܣ+ 2,[H`NTe30Y!-rZ_Aa&!"fowNp١+[HSٸ>y@w*Ujܨ"lj߿^ma_['eh8o$#iN0 [tuoO\ګ,ď#Y[Ke|Qʞhׯ_.܁RMl!/`v(F}J0ugzaU- fqluL+SR%{M1/ 0{F,- 3_D*@ zu=L>4( xO 1yljZ>HL#$ )Y"%6!QK&zΛ~*4J8nbABfI.^B~ (7ދZ>c0|&`ƥ2vIXYs㎰'~wO<3Ll{u𿏗yfc݄n,/ Wn'tdy]&z7G^޸qJ._ΆG4gYZ )G% yN@I4\7sbP4XJlzjʦe@:DNޕ+{ٯ))^NM,u8D977ΣRNնRQkNa+yxFEQqLh1ˮ>m=w@I&?w{A_?\f7oWy4ImA*%כ /h.&MP~ѐ=TxrnvzGb;ꃡ}Gۜ7gOe F )u)S^UU?g9)ô6B>Nb\ z[&D!0٫NH&S^M!"qU圽5BokE6-H{mt׭1WR55nU^ B3w#qθvhޫVaoy OL3W ogN3LBh}Vd:ذ}%FM5/M$~t(@9jO3;s=E)G 8}K=_&О;{¶# j&  ciF}$|zo%f؏,#ftWLsipxux ?m8q"=F|m)sY4 ' 'Uf+v ̺[Yz%~}qỎ% C'y޲W^k=T+2͹s#_n-sdoxoBAU%^cJALwge}:bH|:A}tM>wZ&R=a@jҙ>aԅ#Ӧ0(AN\7!~-d_WVZ2{aqF}H" !~>30Ksب1w]yÚ}bN$>qރ!Ohr䱄'drԺHsv#9ܥ869'B6n5)qJ4  c{% bhbm'X IOi*uOnYhrJg2DD HZoIlk }}qH&`L.޻`q^ @8 KsgnaurG&nB!T_S$bƞU}n` ]嶙>uf q6PE qV|5}{-%߮G& y;Z+6;*ľ^3&CR~k-ԡdMU1$}_br}Mw<-W V#rdb([uQ$$p7ޙSHĽm=ZsJe>pvIO4,795xYtDܴO^\Fxć^够9|JƬ!yX 7_:!'VߨȪ1j§fׁgՄxW#T9\tI6u*u11$tE+eՑz@l_|ޖ⚈4}.e?$k0VFrځTYw>p @^uTS"/^ ̈54 u mkxm.0_!붷9%JUdmZ{d,~c+g2s@|Wy+m[g21Zp_NDkpx@U{Hl@K5TJ EH4;X(Nb:=2u$Z?5#Ad'DA,6Ny>SH~n2tYku'un|e5!bE%>^ W. Fz=hm05(O eLϧ䆃doednG;D>mS?׸):=nbI @ =& i,jx#)`:zщ(ܜFjP?H` ޫ Nd /󰇤*-6+LrlS@Qx# #ň+d*3KHģ&0ջWŷT4pi痾iݚI;%hYP͉`JBCUs7o\YCRc=W{XSpFD FUkP.,kV ^.;q ;/93ƨuK_H3􌗄ײC{Y5q0! M7DlBݹM91FVHg@BM)ݞ ) m~D8F [_ ȠY}L fNMN>CD]]XO s0{;78T9@9i wOEEV",J0,5O.OhfFxIXV80wn'`^g4CEK\xhDF'Zh|t=4eOA)^Ċ#{ !; е4n;aD-N/l8m1@Z}DSCո*$dݓ!- #]zJ1anMڙ3NQ{3۵ɟ=r .3sɢEJ5;T_҅c-R,jOxK RΚ hu>\~oyaݱM_AMI8lXG9t?|ҊKw>qa@k*<:!l P2ˆOvDYvtlNMs\&(.kAc"99vhN'?^ ]cSizϢ ]o'|8ͶC-=?uxyp& IpB$4:fF=z(OD $Y G~*+?A؇ti[a=Lo|q &Tv_ }44FFYQ@jo v_^21|A[NÜ U:J^&.nIfY "e~Z3xJ"cwSW@!1^Sekɮ@Y"@N!z̬UvK2ԋO;3<8Yr"<+ђ'Oڴ#ZxWe:v}1jzr?ĐyZ2 x7%Y.{;1YgyR^Þ:Nl&^^dZ7>ϸ T~Ic\rlqVu7wPQX JoWgO$[=q4J$ I wuMd8VƬI$>oM#Yf=X %Utp^& xnosU]g\b1k4V Ѽm94zb3ߍS%K[a9g<[KhK;.G4"䬺[Oc }(ka 6iKycfg jOɂ+D5 Xg$1IF4&;lJYBaԢ_>Us〢܋03]s겡ssTҍifӄOw|:x1 #VL=e$ͳоhY< Լ`?I_QFϪ]~YX{ъه07XiNV)_-5xfPG)d _$H@+Iއ^>_JT4"MLO9<-[n\ILޭp MNpZELh/=A~A'26O#ev OZX)p7yvXg`>l:^WgP%ۘȹjdױ(֥(u7t ij& l&ݥUe$~/[v^)ңť?Dgګ߉lw՞X*\8H*=[uOP :؆*.ʇF=it[<΍>q{*,=EAFiC :P:8BU8?ܛ*%;Z}#N8^1 2d}ҌᦤM#8blW>%/vSɣL=Sϭ u*)Pmův a4]iZWCJi2@(?hfp54jB+Ҽ_gj֚S>oG3c<|c%[ =Q<›Q&W "Qt->z-`$W%lـbo&)ẔYR0g8*r BTcu>b} IT=kȼ U~F? nG2@&@l4OoJE+BlE}zCdAmբg\"Fc7#H|{/9BC_Y 4v}e>X0p=+‹?={HN)@j*'-ːOD `_7.ju%;gW l1p=@3/zru7|By܁dFmbjIVAZƌO}*&c#Dԕ%B(-M#l5_J \Lmw2VtuF I] Y|?lPcY LNg!NFISԖn@hlxw !Uٚ49F lw,[-$әdU/QU$OۊI-O ?̙{yJC/0x'0/¨84y)&4ܹB,kd!o,wQ!4H]Fk|s|3D zk1%hr )͗U=5K=-+(Ckn7o*oEOϴ:/ MEnU?tgS> 1Cxy ><$^!5-b`RwϗAJnyQ*9!eqcY[5DTčJ># Ef ûhy2=!n%s%ZX„si@lU4Fw=@#%Vp'|v<_V umKl2-U"҉=nsOI`Nzb3Jڀ({}-*IVצ u|n+O5s-_)ջѨGFkcoc\v.'x#( ܟnԹ\cu<|q֩uookv*@ 'ҍ !{;.pjHyVFB_T09Y9U `ZT5_R񴎤@ҷ{R3 5zKPJ̞]fxswno|s^nUK9tꭜyN(핪4MݲbqiC::G4$x+٬ h5cIܗܮ16)$|M\)F[}.)T}:VVJhx&y $rךYws.1}GhOH&ۦeF|I{RՊ'sp5{xd{6PӰث)ɤb#5afQk/UANʬfW,L ٕr)*)eTOg(-ҁe3 oaB(/zp?8eu nLOBnQkϮy[ܭWNZy(EE˔L 3#(۟0#/s:xW8񽌌ϗVƸP L'Ʈwʮ'Ov8&:H5gLk\OZKjCq \ g-cNViNrnPãATJiߴkK%\ œ{~&u>Zt$~1@jl^PB `+j@'.2Euu׊6mh0tZBY<?GTZqh}z]sa LWMĎ+nn+0VJ%iFEC.깥gU?uL)}p;-WJQꏃ?#5TwGFX>P{ܖD(db UT#Z&ty޲{Hu?ƶlS= N\fj{`HQE^cS(l1^5fV4+}l]qEE~'}]ш/ݦy.'LZXoبcrn|9IJ`[_c5AD"WI!kz]luI{c=8uC6t*B"=Lj 94vbŤPmBVEr<%gרŞ ;E >0BQ<&(x ̸pT~jǓ#Gꤖ6P<ݠ덝Ȕb}2*0l6- T'El80wʑ+~6iLFz2_(eb}-`FXWK!M955y>FkE*5f$toAb~] p W9~ys7?h"'짘N<4|]C~!/MkLK$:1Ca ~X5& ʄ{gHv9 BD (|ȝVei IH?Bejr|YA+U3|܎}75'5SO=w,nX~ګ⴫?PJC(ҭ)Q:l6$xmU!&+orU",hbR.anIw٭h.mR '〰2 +`>G|#m#zUDݗz0c+kn8"ZE lBy@6ȟ{ *Ӧ*n)%/=Y *T n59~z`:oFY= :-i>UZTǩ!4OI9u)Loy oi ͶJ A5#zm}-%^' QrQ>(j@zttHKHyZo h\sᣇK^ӫ@ꇸ LMF/^iO iz/(*`ݦF|3DDW4+[>^/gU,IKbt;8R?Q.F㦛tvӱ0eЀ7ét;@&+}ormJjQ>A\Rcљw~Z@~dT` 3\ %P)JAld9Td'ht6o U|tADxsW*1XݻS|j ݒ)N`x4G&תSdb,{\:Gp(%SV[}+-4B)Z[su:iwM9)[L$fd=OSZnuP(TLf2 '-!NOxtn 0]Kw>٬i|{0\64?yƶW&kToU(IHf|5hl_`Ѧ]:@7ÉHD6NbzEQ xMqA▗v=0gMl*a!.MQ|_P ';b&z3}?bzVpZ/ 4GoTa$)9k/«QޏB:>'l!$[A; sA/agxVJKAŒ_IA:$ya6\:yoޠ dКឲT1G짺dR."Ȥ&q6D,:Odžly-Dݹ7{%_B0sI!жl4^SWV،"#~n" .F*sSM2YQP3c'%OF/1.wuHXDwݵB8)VBReΜܮO =5O!t +ܰpgգwH8cL+;B2Ч&U΅4Xىw? S+~dQ,v<8!MQ> DϦ~TkE*yW"L`B#8a.{_H=A"/ <-eCuRmvP`ä. PG4=zz DB)XQ5 2Piס&l80iB~ +ZH~3Zg&Ki i芃 Cuf1'2S9 "wY|cEc0qIIz,]ͩ(xMogIR{Z=Wi[L ހȕ=_\yuE85Q L (6e)G9X%OSnBƈϱmg k8ĀB[H/qbb;eTI)>[gP[r6e<rݓx lEMV%#vw}hO=NRYeR>GGݜ~xN1"mTB:Cfrݔ^&qa~kn2lfuY]ZQ[^G6ڨd=Nյ< ~y1 q4+e籈&lO Z~ciAy_DJfar' ,?Ҟo7:`fƒ3@Ҁ޶eOHµۯށw3Y%ّ5F3Y%LU+3?gft-̆;ox@83\A5oXm̋|QmX&peuBS(j.@Y֠y%-v5ʿZ4q 3;c5`k:%`& %RA|D^+.H/T!7{v K^K=E!8\p-u3BZ^{x)whiiUXd͔ $p4h-T]q]qxy2 R"A$/f{#)@`F3c" JrgQDk?.~uV1Dppk38`C,T.qF65<&~\@+JGzіft0ճ P{pL!M~J*GeIZujI P'jC&oꝺ#ԽanVv >4Cv&Pk?]䆤DZ=ȡJL-̓kq@qln50]= N_B)iyeF_p5x?1r>jhc9Ld eV$0]9>EOQ)ghY+v/Ux,A0 '8Ԋ; E,qpݫF-9I&N;%~15&vݽ^7ex,O@͚:pԋTaXĭu7 5T6h@tSHwavuxqH t5pPs)z94b5;=%\뗅&[ U^z L.Dr 4{S#S&KuH{P/-Ag,906=,ާH>=ʘh눉X,yVBJ$7Z` GIrݝ.%hĴ]WOH(Is.+]tg^A$&"{ek悮 ڵv+Fcfu105-+t`Go7b/DB$_Mmy\iL5v~rJd丹V!ƺy' 3??ҡ?(~ 2yCJ M79֟sŒ0CӴ7o*Dzv#"& 1J784As <_еvCkV6J Em%\D'A,&:8f@{@n~^jGǹR'/9|w8pZV-z L/)F_)qzlډUY,1;c^CQ) "-_l#)|KRI2J5At>` V$D o2|͊_Ex,TV㱸@UvPI(TUvB~.$ Jb5eDJC[)Lcaj,)}l"8p [?3qU }f-Ue,)Z#Ndr6[j^ t홲$@k K9Iy)L9+qA=u=62L݃m\dHE9Y霭Oee⁦ MBU.2tnk*;<)GtLL.*HwD7_OzM}́UmtǥK - mW2yKsaF7x(J>qe0 ^:4PK8vEi>P8%`#O?sn]Loe͞A[HේoҬM{6AoCIo6ec phZC Mau[]>y.Di;Le@r$-jHO|[4!t Nَ0D!R2.2d=?[:d;?8̒8qq _jqe~U߳I7UDJʝ#fBQ`hPjO<1.&u?f3Ek`^Wi\.!VslƓ%5G4۽JT {{V?aM?; a|Tp|? pKS7(OdЉCЦM.d&K~TdM$;P@fg:mF`g۾Y ^9@2&$tvߪ6 {g҈W"_-d_0*(0nMnɂe )1G+uآ 1~SsbXXdm_4O,yJ}i̫bT7T!AOCkC)TgqUb5p.,V(ZWJeQY| %]\a@we@z^]J߸JpW1#f 2 s!-VQkd0mbd`r iHw5q(Ҏpt8E'e{3AqtljaUEf,P{)ȭEpdB S[;-%ζeqh71qZ43+"i{<+ G%[wG!l(BԺ"|' F?vy1EѮl_zk ̟\7"USy5-sg+ =g.֯p|\tܼ@a_ηt I0N_/+K"7֮7e/*ٜt$1 c28}H3)RXnC;=.p-^]ʮ?yaڳeUš{Sv?x !+$jbNVb/$wƯsތaū2V&H٪+߱o>5xyzu@ ,) &IYoq!XkAx(C d|fP4=3`ez=7Dv*& i [stQ~RѶy+$n 7vx_k~{, fPߔՁJ?2bq(Z@Q$Ë5!ꕥRl+06Qw}24>.]l+qA?\?(c4e?[>Ǔ z3Oၯtk@PǪ63$0Q.8uAːqkc/qadۏnpXS&k&jWmz}uR㥜{S5%, v+$+%*]e'16ը?zKcàJ IIIl:/!&TAZnʹL%A(.5FC9Er" Em qP 'dN4t9Q8gH] ։b4UcX+88uiAAH7aÔժƲbYSZBaM>1~5J/ ]N9U,AoDw-A>ˈbA{.%$P #{E|cNZ\!`Zܶ)7ߒnLqg39Ped.S,̍dJ7!#lބe3Lq|w3OL&Mj©/JT7=0XbQVBq >׸WpȌlg]$ C)%1{DD2ԗ5 b̖}JbȻ(PՈ{DM*Cfd$%l% UnCxdŵk`c&9G@fFvpao/_)g/^-]av#.n(vLbp,NAZ<0x8Y7 $VbOPu}TsLlM<5t0 =7`Z2gQ:P쌑6/Bquv[,_;7u|$ A_>u(fG9?ioݬط0ùԣi< }Q{_>xn}U[Sp$JZkxlI=o |Ise5dS-b1["ljN|٘Tʄ+L۠ODx>ˤ`3Icth}z p+|!"va⩕#noBe[QxJYoNr@!0k=geђ6eXo7&[36m9 KWəXBD^hM}J^LE-*83utghfm7fle2F#x'iW@Eo {׹P+CdpĐټi-'rbCmNKЂ8J ͒G_U}Ji9@ڎ DrMi,4ی/=Z 迡=r(Y($3|b{eӨN5iQ(6>j%4\o{'[-`Mљ5!z:H}.. 2bH4 emy=D}~Am`x?{Haz.vJ*wE--t%?l?V=U/CLZHF}Nǰd5$Pڳ9 l. jKi~$k"y;SNhߡVof謏tT{v&24GsZȢECf4e/x f`N7FDŽ0 'ޤCTs{Əq:p]kN>f^٦aYTdnQnd*u$=ɴfbc0o2危VWeoBڣ \cSOzc(X[K۬q$5ቻf1I&&@&rz;?i_x,v㧸DkK&,bSkel u@^̠J΢"(@xF{(Bd^M%5*PJ~^]([= (TȞ _JW )PY!`Pfw_UT`lΞJ 2hߑAPuq/}ZFKtz2cehH9:qbnH0#9OxP m]'MRvIUW+Jch2= M)&HkP*7 ,]YL(dU: 2TR`akR@V֌gcoj,VJ!j?n6~s:@i2iN>$@cs(is$WlMJ P5%l7KU K %V5޴.s5k3CrfٻDK!<#0*kjDdcd!$=pj3V h !p1V9[-FYޤ; Dq@~8:PM{wk w` yP}TSr fKrY0L|,vݴ߮`ays\NPԭ0B bp\nЗhR" a8}2Uha({ ^hVr\bqq΋5MoNsjNڙaJjꚌ/j'̙&#N`",EcYKt"gDŽPiϦCݯCi8wC ͲRI8">F HNj'c 8W{>Ϲ{ghf{Լ.> u<4z,/7ly]Y +Ӫ%{7IW`@$podxn삷{g?R0FqRZ/C:$ xa՘2E[WװsIF'ýExO~ -FQ$R}!NX>ɬ"~"WH|ms~9C'%=#v<{$E ?iZ) cQiS9grF@Uf$P.gwkcpvsOU%I<&<vH z [\`>6J| t\TA^2hdq]̄}D2(u@`I+8cQ;˓ea eĥ ""C'ouZ3lS _~ W܆CI~TgQx e5R0+\^̵V9sSǻ&2)x=dnkޘAKP؆;9@y+_VHXx}#It[]"~w!-XkVA;6MEs6ҫ,+r=ZoL7t45"x}`+(E6,>ApbYז}qO$9nΡIt[yr&G}Bb c{ ZJ?R/ sTZv";P`ypغɊqCeT [@T Jm_\ɓ ,#tbz*[xsK]w&lM(\4ֆQiFJQzohl}A~4t-J'>t}#Y4t9wEY񑘴h-7aRjԇ3T4Ri"1+=QPuP_ة%%OSmʔc+Mڑ,;-A%=ᰑuǩV) ś5ە咦|>VNRV*4SM͇)Y]cc Fپ.pt,݃vЧ Z [-e]w\ # ".eeF>d0Gnh7c1x, p-lHHpt'S3^iDek6~Y,MCY7utJ$UE~Xnՠ8CtR4s>g$`߇X/,tb3EN$8?E*`u/{+vCΰ1ʊO/I (r x-2U2Wz! >7pgd![B;*+aQVQu^EH\(%2ƣ3O>ݖT/Ȫ 9Jyy.M (̬FeE$?mҗ[AwѸjO^Qxn_S/dGo\sp^{ݪ+d "7;JAA-($u#8MwS>5*c;n !{  g?N-'A.&tv([zzËOYz򞓜]Hӎ X2z|RWud, H R[ ,#FHC q#ds־4u@]e>7-iq%}EOK*\9J=t"'}Fa!iӹ9=ff2XW&~C;{ yI\9ĝTŻJ,aA$'}~fXbރ;EK)JL)2whklmiptʺ ¢Ad'~ IY{1|0/Hzגj#}$16P)JBIvDU3h Gx57ǂϏ~[NM|WJ8;sP}z [ಷ+cI;TU|'⵫$`N2w`\[gKK5 M)<&}\f_W&v#ԥd#1Q_kٹ'-1sR"jӃQ*26\nWq"CޝL ,߼z p+I0%DO!sLC>Ku%5=HnV6g VG>?1EX:o4X\£hȻ3쳣N=*cIV6Gx!"T>58rFEoP'V{gm2aVTRun蜢1CoA׶r#k@tNĐ֍OjJKV(m-#}-? + sV"VC?L@Oz|5hx9wgaufVaXLa8 ,؊4& z,Ds<Qq:[~[]MF~۟ Mo,ln)- K!ED 'm"eixR2"HyBdpe^U4ZWS( |a \3I TƳ?D^Dbp!/쬂vԎFqZ-@RS&é[ŖAٕun@Yfft8K5SYHӃoL"˄ Z:Yę"gxd"pE.b/ \t+c˷U~Ո~/j6Fwox˰r=bO|CAuk}b^X6JźE ܞ1ҁR^TRܧ2ud wiP@?f1sbXݨCy# \ܮk~v+=)LFH*kZںRbR վWGR7+ *Z~#[(f xDdp[F ]Y(SCse$*?ԯLIs=";cJDN6:A4Rozh RV/wMEjIbPpW?u7w,"lZOا?jvҝY]N_ЀkT% M2uє,Cv9OBM=o]1PNoo2{ %Q`%3ucIO)(/-qJ:>8W^gPdSr5\=3g1GJ =+$;!@x^LHWNJjEE_loTU4×%<$O[9?# \X2 ğ(WFx)YtI1$bi ;෯4"ϲ|e9-!Ay09sG4:;^íwJa^hOjjzKΑY2ۋ]޴Vr p*Տo !P};c?/F*WqW[ fd?m3c'XMg 0>{,~mvioF'UJڎ% 2R#4!^w* 8̺ `JD>TU\KS odV;STM;dTK@HE܄)xRǯF,*qF >yoʁ/fY 4q]$ޝ3X\Qvl]eZ,- U eŋ-eJ>{ܒ/Z]!.0 *m5_CibNvW%qŚwdXS =JEF2'#pKO+B}AfՓl?WubK^ Ր COVcKVLU vb:Us,뚸m❍rۊ&p0-] 8O*&{oj/ERĻї-ږoʋOvs=c0t[{#bz/YfLm?z=L<4E|H}&Z!ly#o˔zOבɲ8V}N+|@ft kӊOnδu]3A_eWuZ|rL%oB\ؓw)t!<!*v꿂GpΪ :EE/V= 1-LۜV DLlC7-AMd.VL$0oapb^ uqG7`HCN!]ZNg0}R<訍_I+d.^RTQ΅˳̖ 0EV5w}]\PC6ִH׸Xjb:*A|LrMr!n2t^ɛx|3I7Gw\mݜ$D27q=9Jy)弾/ݧ7ޭZޯ ؆>ƦԖrχ\禈c ^]v}Y @zC~xߙ^]}M6J߱L`quc^ J揪]ٺ^XÂ4lr'Mͳ(N&<,c.|XwJ)b{<kVgKXI.5vCڐ ;Ӵ^@{n¨%Jǚ]G)gRۑO?9#}z|l ~ycؚ5i jx=?2M^h6I܎RH?5O,V, L8m8?)C~ߩԋ.-kѣUP4M;=%"  n2Bߡ]7D=eH|6_qO_KPZ.q, CTfoVg̱OAB?gkp'c,[pB(3d 83Aa[=I!k4q]e'PI -R7HJ-[*e٥;tKD5 ~nE*8]%J2ճn8'`ۣ7k 'azGs(N2}dks|?(`1m|b>̅ċ+*>Պ*;$d[(b ya*H`3G.Ж&j) L쟪OcEќ4d;r1H `^6Q6 әkoJʧy4P$`/tZ"# y "bݕe0[L~Q-"yp qm~ֽ03_ǼS,vij<ԮB~-mp̚B=coI^1g+A~s¾:Q$kϥh)GR%i&"H1*߮)Al Tw$*1l//\>;)6dW5: M%=s)?ŧ%IV(@_PXpO]'%h4Q1+Ar]5mZI5b\0}]~[$PgӔÐIοV |(-y 4ߐ+GcO+#3A 0!if&i 7uKo+Ctו |WA\T !ź֧ @i{SFp$3"G9a]nz2*!c3;O^{oauZ4 dwxU$[kTL*ޯRVLiwxn,lx/,^VCh7= B-Ht`#7.HmPu`txr+!ܷ_kH &, !?܋.:֣:_"dL&N#B.XȴGs>'J(Z tbj u.,[1¹ 3 ;֚-0Ů]Wb;uq)EWdod= 7+esrWA#,R@.YPc@K|4}O0*dd;j o𤦜c$:+/'Afĉ!PQxq՛MtRD?H5τVkR HQ9suC|vse 9.f^I'\xFKp"hП`Y~gMLkYAcPC#ag-  MNy_:9aڰ!1`26 7\8sD2Xp߻t/s?[UBƧKX6|c.N6<6~əf,Kɨ`PF:(^\rBֹ'nk !"VZN(8L ޑVڽZr qeQ[I5M{ՁzKhUl.S#6Z(l8A9݀\dqg([E@brw9$-d.Bm#B;i{A o`j@3]0Y  v~N1<9o ]b(T3e\P> %BJŢ48y1yNQ1 `3=|ios +H$kNUR$[S[3NWzK?i8y_ >fC(% m-_:P |a\isDo.*%ܲhKvTy*> \NỹpMhF4z'i4GRͪu擠mbC ƒ`mw ,{WЊ͏@V׾a.CԽfQʵX_x}ݻa$~N`W LN+D^U?g|2 j;>nOh86Va)BI[X2ڋIjVg1dVE@e,T"Й:K]Z,@∑ lw̢Ekh^Ij|oM$sׅjbMPu2 qZpjѸBLV纳`=˳}!֚Z]t+8+cȶQ ^CE[=`<݊|8ɜ4t|Cz)Cޱǵ#G>&g)HYN*ok&&~V$e5mU]rԓLz70Vv;忊&dJ$tKND =Q{&ĭ 6-#eK,Ru>r->=q?Ĕn׏ίF <=Sn'0mp-;kX:܇;Ё_6_'Te=%[v3_ _ LT3%-xe WщgmTMwƮQ3(#Ŵ; L'{0O[U*|6NKn燅з%ALi|zr?fbw"8~8 lvW!Aә~ܗ7}O$=yNbrHu'2Zv^YdNʀǠ1|K'n]!Ei)k\P<YKȈP|:xA?:Ȭ4esymuRsÙ]pڋg^oӳS";޴DhAneԄG,/y.i&OF-潻 CjC&Њ&SUd3&! HiF/0~ꤵ̈́QY>[R^==+`#?W=O'lƔQic}9hCf'ؿuN}U+TZLpΕ!T[(|hSRfń懴6_g>%jQzc'G7e6Fw~xX3ۺ' ONb^?leCɚ&v|mjOoT<@6{Ê%i#U>;P3,} K^ oX+{hDt^!V)McJ><ȴ.amcУ ^?0J#"UuS Z1PG!|O1 [أ"קmaf '=G,W=%i`@>/i@&VL}toq~m Tr`(K } dhdJ% *4|So2τZIWqW7bSOfC3!"i:HխuMfd,0tì^u'>Ȃ;8$ݝ("b_ I.1p](69v(ʉiP$Km+%BqeYm*gN=IN3M])tEȡL FFar㓕(?WE$`^$.|e{( _cF[Cϰʦ8>DM ~Zjs`vp$qH".x0+\MvX׬Y+ps\N?(=7+GqbF͔mG|v@yYie3Tʘ\azWgJx*`V*nϵ ݛ™ZCo2aP:G}sd59\tHD~kI:UCEϤqV_' yahxP= haC.6Ttއ|w'ـ)aOGMQ̂A?.N܇J!1&{iv-m:0F̶8&A!>~ ]$Q>N7Oo>b>WEڈVG.e&-N<3NjFj?uz`uZ:%Xq p)\K!GzpEHg()n[Uv)w_MnL0íN6V;K M]kNS3IA/q\8VHkZsiIyPDjݵ}(m|ܯ4܋Aĕ!3͘h$ttikg{;pq߄{mF9@׈?|?)Pc~sj7;/ &mAEt=UO㤰/Eέ[`;)uRax sgq9$npHVwx&?ha@z'jD i7" GPהjSϑK// s2ߑ\ QcԐO #i9G$/BYi6 x'z7uG޴̈́ Sh]WG* 9BSWW^u@/lR+ϹI+8pJ?¡z$6ןP{ӈ '٧ GoL&6 @rAEXg;#]`?lnf?1b|qUJ,-9ZCh+`Э Bk W bpS˳Y٢4B䍐2#q FZ҂s9(FO`rT.,U pK)-a\2"+Q$FD.z AmV2]f=珔a?yy1ٹ,C9䊸ݗTrm1j7UŁfVs@/y5BB1 G%5JɶU~UM"f%_*,~Y5hzpB^Ly! d"GWi 5%l4+=[-6/bV>5?KߋN*­2M U&0zC_7T{\;c_]gd L~]-NNS(ODKm T|cP:icD&HM$]HY$sQErD/fslOZ:ͦ*n\Dހl9x#-hZd~НqW7 h*ȠFE$\MGHY^gd7nyldt~6u$[NJΥ +`N\,W};ڠlC>&qJCC8Q>qXe T- `u7.i|vxCm:LR6@XX[akFrh@mZ]s8̌:tnhYp%[yvmD*kTZ,t]a')3Wܠ$Z(ibTFUa׎rؙJ5KeܫB֣s,1=j |!-j)Ҹ@_ ۫'qLi2Ug܃I J^r=g8aM}u~"0X@#r^Wpn3L"rKʳ)<6n(qh ew1IѤb*D 59xPo2ӷ뛸ĩ$jMVo2 `q] rm?>Ёy`4i.led6erJ YSsi`(=|iҶyfN*{~-SeDK;œdkF<2#͛5?b΢:A9-&MNis攮*i[FW1`i)bc/v6\Gk6@*_9kՆo+ .3p8UHo44Ȑj>D,p;(kϗp%/i,Fhػ=aT4&{*DM@[DbF?44GЭmtMٌz/)WBO_4ͩY'!n"w8)\7exA PT3r.@p/Dbk?t#@"`{b 1&uԀa@}+^JJ:NU"y0dc4 1Ϗ ~%+p#3F?BpL±* (5Zpg ]nwҺq{תNg?K(L0eNɯZ u2JR'?fjTl"ye,AIo*.,NgĀ湿p+Z~/+Wż i6e&(rez6dl{ /IycxmtAi43p]šǼb؎x6H+7Tr&-emxdo3fM +d2[I/7$){Aܸ=?Pa(z9^r4cڒX0imC6x3i%G±Uc)r!%6\hP[偟C*O-9uO%ˮ9#_ EV q"j~PH,Njl*plbA҄ba]A2%M/Gz1 ȊvtXBD}qw+?6Tn->b.4q)BM`VPՀ //ʎ\=I(3zrk5|&v{i0i;c۷2/ӥ$;]$$Ma"V+:-&X8AbU $Lvs7sic U7+Z*1'6'eFangYx| c7qʏT0fSk܊}C=`cPkk!5da%in{Z8v=գh:l4HD5| hM,0́m*tA)aFh^κz\(g6!ݣ4慢Oj?v*8Hgx' j M!|lIқ!xIJi:'W*H`V+ #X%s l-ć (zӠ5A yV4EzBzVmS#ܤ8wزCש b~O2^Al)N {{*3Y4[ciym򣽓 EZXk )5ؖ @!AY*6j6XLњ Izn}WسwdwZg-yp 2㝀d/D|9C BJ? ׻LLȡOxV: jI1pN:˘j@ aw\gy>Z/$wl|*NşJ]8kDjtֆD2GUOrd^א"hD+ BwUv;BڞߞP{OlC͜ hvԻG4o>6WYcpe_9n0ZE$bߡy?? B^Y C M:}2zdPٔ%NaL1`E#̼b5TD>ܹk֟_jz_?<4U'7Xĕ|!XоƚO-ND訒Rn؍6,LozdgDQ*pl|Ar M`ZYc:="B(f]~6q2 [5Ob;0ݪ Trh)@b`ӣz.~tBGm=@&4fWC.#U׳eѓ r-"jF2C2G|b1 9VXp~&_htv*? & pm8gDQ+4U}u>ӝVAj 'l kDf-RA<.> \!0D14qY;A{0kfea!jY9`"QAҶsOԡrLov)ly]~}7[K0Sqs9t*-a22PD>%"W4(<*\j`qêR3IoӕV դs>\Dގ189yߝY[( UQ}i~C_.{4ҬH",dś%""" "{i5| ,M+]VQ!dVXP%15ѫLpruQ0ؚ!Z:p}L $YfR3|M] `tGna$IV'>u;Jjԋ1w^?m~r`̙\R[1bI4bU25o~1r % Aa0Ɉ:.yfͫhO LpN.>I ^BOh4Ae?Qvјi(qWf,\_A ph%]>"f sGT2rw[fnHD̀g {܄M(*%?=|AUR9dv!Wp9n'lϊM緼v(UBFڼOz,(чg#an^&P8$R'Q qr[H{ȩ|vi'Y8iy$ xq#$Hۇ<42Pub-ORgI+_*ԬG׀'vJnڌ!^:Vs fe Z44V ,DE#bBJ_Jl[Ѩw,T,F6r[E/*{VBM{ٲL M]q/9{cF>:刎 S"}T7`9nf. h(#@>,d3vlMZ {EPzUgx&Ug(;[M&3L:l{ԙ4jkA СխeS5VLX{goiRw9Qܷo<4yjA ghĦ`V5>|f s8h!xi q{?~@\(.2jO 4Za# }/6ZPwjQ%!d`=clsS2k+aaxx,GN,?nҟMkafʋ݇@aX(NQ̉3)ac0E ɕ+OaհxԸ/Dʼn@[a.3G^=x!f\6~.t%uF :4zYX6pP")6s] JdӐUH7A1!1^p5 #yv{sNpއ-A)OHjxC o!nnhT.TY… Q?e8WB`cH(^u7tZ BWȳA߫z秘?.=rmϔ N +eoIc~MٛsCݺ5y73=xUxnfydU&w9uUU_0Z3ld#۝xo_mgMaQDqU?.L;3_/ykKa0;锆s$g% Eb{?>9i-F-<<ϋq#d&D R_!tR7T>m@j[{{CN[CDpG_=lHiZWv4G5J޽!'2tLYE?ʐ7hLdՌ{x Sb:8BF߅;W*iPLLlD%BVr]XƦ'S#zfOJghnR3Btzt:c CHJӜGG3(Emc#2gk5'\c} @ .V8ИgE.(؊2/ܷc"k,thAD"[ nihH Aㅝ$ R)zgxrrn~mtX0kLK3cЍ6oZ*j*Iw8Y`nXh_= AQdgi*uV#/͵sD6}S-t;֢&䄽oǠqul4*Gtm_LdeODaKTĉ5u=S#O@ˊS0^f3`ýhv.:^ي3BzY3 WvX=Rk|ۂ{&)`g9*Jt\Q1`g/gyz )HR|y$޿Jڟ,/ Q K oh-;nNo\ 䌄]j; y EgX*E#ծ0nx|D3%CXRUӠ P2<[CƼ uKΡc~ i/ *MJYTUp.N6Aq')QTB5f"|*ŬbA'N,o{DM@/Zm, 5ͮU[n+SQ·otǴMh. ʋ1BBMŸAeVo.W"hkO?'qS[jkbB|2S#;(.>jQaחY:)}¬u@+p:`WC,:x" կ:sJӭx1}j*Dzޑ(osח x'!LM*'kП<7rbnvBpie#8*߅zl2:bc0@į=֫Ã0Ȟaw,"@GWPp{@ MV}#G7 V}+*r:2^P]pR{ u ok|wՎG::#<&m9#g۝".ݥNYT a/)[)!۴ĸ5+t>:<ܼHgfޚ3[p*JK4.APV(yhF/>|yXv\4qCjK\B mZ/ x.VYoIHֈ4A\F*m,b:.}کn 5@ce[Ⅷ&m[S3Y\0m3A&^i ud.Ŗ.ҏ6Қh:k^ ݴR`~8<.טTp6Oefin%D./$D@Taz{֊X9%PصkܠG4BO*P Ƴ'=2P -wcSLMA\UF3; tgoY&7%oWftZ&_k!bQ(y #08A)PF/VQNWxM/bV*(!p4Y;JHk9ԮƖ-4)|;2%B["僾B0zRoFp/@H%žm[@mi-.Ѹ OxaP9Sh_m<'ɬ1*c/ S1ƻ(Y,۝g9L/K zƏ@-a'zݶS`+nէ_E=Pac$9D$$-0P܃*l4I.7>2]A<[n2(0"RZ~qkV2Q+QjSg܍s$?>&2IcV iю`y젙`@W`6y~ܸ{b d7_^i0fyMV0˱smR*QxtWe"o>=wN\bP"0b,݃$9H*v&n/syL3qC1 hzRuMg)JQs.~[pgn=Y~۰9jy>[2^,+5fKʬ>CG^/ ]y͍)awݠ 2K_X_rB BNapp˗&x 1&f8)?%9#c9̖ Ƕ^Jo2D8k|3EukU3j.B 7:*8O},xV+xmъҙA.YeݾQt´Ţdz='#^0%T[b3gh2[BSR}'HW0 qPCb&"xmrKL,Kԗ/xz[h"( m{ !4w(9?kxj̠ݸlT`T>% z{߿jO &Ө%uY|࡞upW/_HMnoAw5`ggpQK z1‘LQ&j%-Y15*EX.X:*H=z s[B+h:G|Ie@L5ij¼ʛc] ȫ?>-?`؝A  J망o9[ʵنU?2\DO1}j &!WJ~9ĸgknծDNF64݂mHvWa.Ҭ2J<<@l1%cW,kmTqychzK}aYker[V_yQ/!7eZM˔ˏ5 Dȗ_~uj]J9-h2 >ka3{s׽ 3 /J0Z=p*Q "(oN/dh(!,%n 5k[/moCm5oL&ɞl &BߟrJ~pHc xY9`KEs-<}ôVsl|k]h_MzB3QCiffeV{Ǫ4<3d ep$5`(,am_3?3B1va9 u:Ӑ^3 x3# UـCFR AAoDpN[p7g,mvܟ롫o^:*#^PiN{Uy|aO5hہ0o%ْW=\^h^J :2ψU㪪Ur/#U2py wx5{y&4cZ(OlqRcK 򕢜].jp=uF;KZH[ߦ~PW2Mc^l31t,{Ά(:gbYպ/W`%E Q)p 4^ $EZT *o9J*^Hẗm^AZotΛy,3/lMp9Ivp 4sKj_"K2\&Q X7v3xs teyGGhBgFdZ~`-qJbKJIӄOxAZ\Q *)/I`=UTY/pwGI^,ɞe8kئn'ޮ0좖iY((PL;6U_Dj=&$c9'b^r˨#`bâ>vi)[i+BU@Vo٥Gw )K<*xmF#ضxux;-LB6-4lYRҐ`$2LD}=ל;,3X<9OɯxvHDŗ晅ȡNL!qj› dB Ne]L]㮔 ]thrxQ|.[!j-5n]0H-K1',o#M!~cɈP8tQک.EqwCSvB~]My~Rn1P̭#P ;tjJ)^3ic%hdE"/bj|d+l}; TUVlIb*FJ\IF<֜~3 DN ~K0dz$4[ƻ a9FQ--SA <:^p;_DZPw7YN)f h$E8'9d_p T2B,KyIř.Z&,ێSgM̌/SU UyWɏAyTPmQ"5%ΎEBdnGMTfL\.6zf0gQTl//j.*ƦK8Bކ?3)6b ` FS6K $dSܣWA> y8Өsŵ*KT14N<,+Sm+qڨn CX  r1?+S,_ITPt hE~~~E|sCⶉ؇i|ߦ?l& ݨDww($R.(<g]c 0-3vdz Nn9u$ZPDnz 7IPI;ϵ'%6>T9ܚ=4*EJ<BduKD0l H] iGUnal;N+E#f=b `s0' Bkξ4Nz!Adix=Z nxt ^RQ9څ5w tɝasSF #k<db*HĉOMn2MNLKeH2+-$AjNuHViXlW1V͠^Sa0x!?EC#Y|ʵiN7Xhd:LaC>,B# zп *!##Mm lg4,8^'-Q6qJ`UfvRԽ~x9"8Y*5tUU><b$-V|*nZ]+X`-R(Ebvg(6rEP'ц8")!]7tͱ9 R\714aOiCȅV ~gTuC9G_!%J챺(|mB7OQgԸ(h}#}閔I.d4df{~P^, Ȯvfy,%p}U 'cbkE=Fħ;> GU8簵 P H46wj rba1[f:w7JݺYFF6C垿qe8Ke=2ĞɸJ$?A]l{?xzKFBIzQV^m:\yDLȘ^q!RP\}7NP' h@JBW-L_rѿ MXTjFh= Ux/j\̹| ME07k"P3VǨHw?9 C:Fկ47:3vq~'{n!mr'MZMKÃjC_.7#p瀞Lb!}iqYu(zD%2mzʂoY= ]yamI{{ ,JㅛɋB#Os4&Byܨv2h\Q/aAuQu!V}ePTپCtޣ9M9M,&{}j[e6+ڏ$E}ʕ:s!]A8hNLV4[ ŽUV8{!01n9'mўącm;qԠGPΝ( Pk99G?|R !KLqH_ H?șC `nڬ-#Gٸy1hV?/B'8ʰk0&z&&/5nZ[Eȯ]bk^Q7Fv.?:!ER,)Vz̠)0NI$2{On\w9q%!HIV>=Dx#yyr*D(Wdg۵YPݒTy}Ǝ: Y{QZ {8-jd$<6>z^s4M F(!e)yodPZWՠjO}[ΨW>Lޔ`Uow鳾P;z~8椌, 50q 7Z67h`F4\av(X=3Ƿ1AֺVp\"W32 ؏1 *ȼae&FGYq #%U{ז(kh". ࡋGi(YţJo:#8^ \OK!XwZ*+-E%mӽZy\鶵L-@=bH? OhЯy [%X:R(‡^4gt>/6' apJSHzԝ9ӧ>!Xx57`3@ Yiլp£i,;#AY=P"@aIʼnF[z̃C1idި8 N㿖(>\5B/LIxDAhuP&,%,n KGhhҕZluj~|i LnC ]Qba~ Ǔ Nv4Ũa OlזC+nQ@H~!UfZvyF l]d.^wYuc]ajiwJw'd6 z"p{8MoZe0 t%2WKBFI ,y(JLGYFͱjF&܉5Bޱ#ymUק1,8 벌 ,W֢4LHzǕB 8< ;Fq]oZơBK=? ,VyDceBPHwkMտ(wNྚ&OKvع{k w9Y]Q5p^Zybc^"g^cs5);Um{ ($M—B%_/D@m݀K[M7;>,TD }WjPWd`#U7wΜ=k_i\*lg㱣1#ծI\#7Qm\ b>#dT waCiB $|V\}jO:'KЄ[7;]M$v 2lNngn탅yG vVr@ J{ Űu1FvkLyH6ʔHPb5N'U=]Vʜs(l<_IwOx?<.#w0m&ZGҗnjdzawU鴗6~bY=`qԸy٘}`:xn%5_UR17;]e}@ "(nB@?&VCGoUh#27ר|\i k'ow *?AkxRi>S5#N}6ku B0< R@Ro#`$` [U[0pMU=P;uzbA5+* & %I[X;i_ 8/O[SmO¦[ {H,I(=-|qJyދc!7gt39'",<:?0R{pg:;adpZqE>l iSd[`9 >H{K~^t'͘2~YtO>h"_ MVLh Dcnh(9*n֎N\ Z4,Rp :z&TL7h ~N1xIc"dE-MBFoX>! Lza\5[ VO}11 Ze\PsݳATO(owp|s-%ıkr,F̱'=@ql*+uӞ-̪k?1>`&Ьsη3z 6@TSe4.)tJɋtI)KG\&3 klۓGOV_,,? K-3~WÅ"?e,2D uV_!+SgVg,3Y2kd1|+8gǹ% nCvD}F2JX,Ɲ&{`+~rri]nNe9Z(qMD#06-dnUJl0ݟUbJEvIkOeGp 5]N]n_Sv\7vTbSG185sfLX1#s K@SeAٗ8>"eԿ"1DT/:7-cE{ȥߕy*[} Q< s 6G ga#}3CF5wjQ܅F/ŋ/ n791jńP22yޞU&$j(ݧ{/ޤK,akuExe=)4M9/+Ր1{`iD8CdEUi4ŽׅHԺȮIZ6'[S=9 ,gZc*dZg7\~=$'Ĥ;#9sHJ6Ϝm! UPtBGfѽx5# b es|-F.>GAh\mj?n$&MER:tFr4Jb;w8mWQ, 2!8WBe:y:,XkSJ:fYTmއ͉V¨x~"N  8X α>TSѧI`(2p=*tF|b[N\mpһ|ge ~3GV 櫯odH!o7L} FȔI>ߖ$ avl1HP Eʌ7[b+ケ_ߨ LUL ߳R!=@e:,95a,O¨*ᅄ0*h`8(l?ф 2}{"XOIݍDFSZV{OFrMժ(n΂}>"fN`|Wܨ&m dߢl5#EjuĥR +r5qKy% 'u]*m_UGS2@cöQWorf{- bOPpݽ_!2:y@kLuqMk Bz_пmZ{lzP )s>ҸGiF sCkIDtz ͊a1d(qO4^$b$2K}4'ϗ"o_Ĭ}4圱8E h$W>a,8f]΁ݓj=I)r AM_uWzz7F/(Z%q sm/i=dWl ;hbM]NGh1CEEk\r55cr52ix˘ ʱui.:dkyF0yhg M yCv??҅M&N<D+-V]5AKn؇I1hF3' 2IWuvQJvB5w*0 zaL\LJ ,ǩ <$<ƇAI^rEw$S~iw3K˿F(K(Kd ۃw1*{@ nl~%2ePwW"F !ap Ʒ>+ 3T2@*PǙކ!-^& @O幪J˯[o 9*g3:MGޒ rS~CvP9fp-kyItѧ7qiW ٍp K!%Jn /wLȋbylP+YOS1np6zjQ#qqaYdELW~Wr˧w;orR+vZ"Ol6VaˌOTy umB;}L +@nbol@v3(Ǩ BQ 59.}{&V1m{<=waǪA[n%g[O(mwXMH4]ui2Bhןj 6Ȥx%4"dص ˊ1]oʏ(wͽ֠e% c~_ȸc ޗ⇰GDWWBEJ_#l)?*y ^WU $?oK񶕥!TUeldsIss1ɶXuʲ>͵ݜhZ05z#!٧1Bxh&h (MG0mt gkD»A@A-[|seB -yS]JIEjx[h@ŶP?k}C-rFv%9vB錄Qq{SDD(*Ql®x3@~|@:nD/S]܂EUdp:昄rY(NYI\<Ҁ)M!Y?0mtC(˛: RTr)%5-;,I?Hp]>&u܊86gfGEwAɒb(Vcη3oSgMh~k sA´]n$g#[\px m o"#Dc׈|Vd| KtzmNA`֡] 0Y WŀwrKX^ͽDk*6}>iʷ.xfȜ;Uk:-ϑ$ ?* n!J. קr1q:P# ~"v >t8W /F HS;tH pRշ EzuRkȵlkrKM 4Cj&~.`Bqn| !Œ.$NjxnGc7}6ugĢ>zu9KP3!i!,) -koff)WE*ya"3˯aʼn>d?:k8=xeEz0dRϬ8߻ (pz5ra U4sA%fg+y,h2JvQR};h,QI%/&f`!Uč_ V5G[@d٠tC?+ iUjjM +SIe# S"|ٿbKe[ODp.j`v}ݒÔW)'.% W?olsgQSy*њ;h*C t @:|#Kz9̸܌[w e&-5X]Gw\21- Pߊ~@X tdGJ!G wvfqȷ1~͛)JToRr|,P\Nt,-gWov%P:sFN(R-I`;prjщEx0Xn FKk6)D;zF1x4T5ѻ *r:lW>NbzҮ/F Չ OB\zea:SsD cпՀ-;NțO@؛rNR2:*@wˮ %^6">*D:"z&C!0H Xf*.`i{=a@{W ԏaBӁ#Vfb9W\|7B9!GdJ뿓3ӥzX I ;;Im^ĥE,TFcЙG봃]-EErF="ehxI V|M VKE/&$k,Ï9aU6Y M KF][ja , ,T:uN^EUGepuL(Ɯ,Rꍆ&}*c\jjǟt1V饩X=pNU֨B[߰",>#[4; # s; T41*>bz_?HS<1)pThT?T~8 @288x>p0e{*УJYvd88.)ף #olţYSTΈ.{DN;}NumyQ:?ί&| `h"GʊG߈wu`˲TѹzC{hpS-C~8̜q *IZ> Q>kINԬ܆${ᩥl/`"PX&P3C).r+y){uͱG wFx +;ᚬ|'? P6v ~W&@JYF@-ܗ(d/󟇷dhD>'P]N+g&{ibp"K}g RE;EDOӡLz\xAiz'a+MY=&kA3^w’"!ϕ>-ϊUlM) aar "ϋ%Vn"r$b+uߛfeӦ򂪐ä D^ÆCR͒0De@h-^.%_MFI (o`Q2yd|qzއZ_LG 7Lzn;V5os.&Wl\Kuqi"C$X=؉y+V^kRL|NCQs;R{koG&#d_slZ8%M:1R.{eNk9o6.`ms0]ңʢ::_9%_Bb{t%k3Gi~.q4Ճ8zJΕKb/p̑ R+ǫo/Ee6CʻT+vqR ̓îZmnsfKb|o=Y)iIxn$)Y:!'T7/~p0Tgw$Xih!0NאtFF@ǝWv$|ofA~fe ne nbW-8A_#…boaokp,xgDtP1OA>Cf"alwN#QZ69dCRj΁yqeZL}A4!>S?HkRեVWM &Ru#xۀ3,f^<aO냢ȼ/>T6D(^Φ y(B~:bqy+ kd5 ʺnTe@Ǻ`} tޚ dp/P=Xчhga&(bvr42oCǴ}GԱ*Fxf }*C(&pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~𹲕[IKN)Ad;  ?#OFa(e޷B2_t0y^L|+rn-G;zTiY,#x3ڤX>mo1Ӷ(U^ʘ12!!$%`d+c2E͸[ ,7֜ٔS~#`ㅝX>Vu(JتRU)MSSo)9{ ̂qFA<(|vގ*OJv {OM7ň >i1{Jo%bpGO.Pv9gaѕЍ#3ܷIoP^|:iY#sd- =l8ۙ3ʶ tQ cD%&Hj!:]gu/D"֬%n xD=ۀ%uAufrlPM s! Z,ɏGG׋* t5zԛgG2QR1;FwL(ŶJ} t̻ "ɞ9T3ƿp Wp.,8cp{ZSELDjNP =M#Z:#?oA9?l5Y9uA0:3t%Z7i:2Brj ]\qkg6[vdirv9'g-i(8FkYX6'טU~MS5 z.CoM>1*AK[d!ڎ-`/C_*h H\LƶjVe'9E.#2rްS>=%U/LoT}ahd#Uhbi,`u,^|n0s״ QYIBFir4r8] ^=Uw y8|l=r0pm!7<\W*XH?EXHi~(v jWlIZچ㵾 ,  ^'ۙĴ*WIS2TcF> ,cPTji ޡm,!E}:rVez* }pDxRݘAUxeL6yw i+s8ك m>3&@gDM4]r]T٩)hBN.'FOB'~QE_2|7~ƟB̆x"a`rW)fP2TJ2@ÖTIcW.Fav-r ͘h=put\یa<†L6'L(srM:sbOfu\:`M_ԝ;ԙs6qR8h+S{9gD;^DCc/_- S}u<Ew]kCIUN<`3Y$K~cJcANicaSrb9`'En06 szCB Є.J-^p0VN" čk.qp6r=N6ƂKH3>t"0bzK/ V-{'fQ~eWVQeWhzȦU_Twswk~կhہ߽z6Cb0tS+|04Rw$H*y9Lpko5LhmQ7x l@Ϥ 䖣A<&oǒʃfw|g;((O;?a.?Hp:$-ZkeB=ėF82ABkYklZuf3<s_\lBJ]g@c4=U`AN52 %¾l(\ l ŧnn$8x-k_xڊ'3?ajx!@1FLW׎su7V)E jʖN(KF0}.}:R G1Z^%~C9k[0c2}Ogj׆ʃ_RǘQ g &*b9G3ԯhCl*KkQF]0L&hAK$ I P-t넉C \M e1[#^1@pF,et쮶oE%%.@כ(ѝe1{B a\T}P~^)<0n7f(;gQ6Zy!QȂOd,!vSy񍇯l0UG3uFDq2g)Af7.õ\X*K  1W P ޔ ӫ]DA:1rP3)}M{d$Z6nͬ@G`Gهe PX{市/uȩf2"N zosp8DG ډRCQ,Gg VZB p/?Ew 2FkO#ݝ`ةg0udO3`2cN]iGVV Q'|8ـKv+i%8;PVM|{ɽL -5PEfk$6LHU97*Su*q2#cLJ?EE3$1[=*+Jx7̃`&NK7ѨzPU9(\15O{}z\ֳv*s>%`I\ 5%(lcFmiR|p9_F6M'BQEelA RlM) Ĩ ^ Ҍ%Cx~(JM/x3ʩ@h{M«m7H3&>sX%t1)As;{$-4™`Lr.+|"KLV59Syf%|^T[͔|M8q(篔uϵ (M  ӄJ!8roys!V }8P-U}~"*ul)mv ݱ+TRA6<>:o뮞QC#c @TwJ{,Yae-T #>\}췗eLJLHW쥤Lr/ dg4X r#d⯦6FSR*"5+/Cw;`WGBX;/B2>7w־+cP(5RUҧfI hM}=44ވ5Tl.oA` _*kQtQf/QȟV+?r51T^-6ڌ$MAG uL<2-Ḍ[ϲcĭ8zj-uJfёK;X "_m=ڜ1ZX49iB/nhYg#[Mdz8獠5|db[||"x:;낓O?` YځEfՓ#t-E!Wtlt(bmQg?i.^%'*QXBH c2ٗ/i NuT m6!a?y֓/wCkVpj=[O?'ȁ\^5JOZ!Uq{p.Ed֍yPuG9*<ǬiI)E6T?Ӥۂ>Toɦi BJ8͐ {+z DD")g6x f3p ]rSh}7 ((Hp=s=y K1ddѿ_j@MLO}wBp=1&Qs*G,þ5]f׉ծԸ%DAno'RTF=ﶱ=~&bjgxTm/lq 'tɖ((Z.ޥu?Spx!sFy+QԮ/ O⺚Ozn_KT$EQǛbX3ld`&]h}%ƅܧtί o] )S&/1jglsp?o/2wc9|l;1mujrbau8r'dԥkUޏ_h:|g@'7iSu(o,^v/D/٦s9j0a⹙=z $+\JF'ۣ_J}CGYȋ *߱3|tDFtubQZ_і }$$15u1" 3*eT+cOx'I.%F$yJ4Hi2|?J"/OK4 W BoVRF}}U2Lʜ#̊ $I{mwػoM'U+um 6]hN~Gx⼣4,G+yti >2s*Ku~9ۮZᷞaڹ[ɛo&fښ(j@ #\}.Gn6$Ie`qSEIRm>Lߙ<:EܪrK@ 5T2_[g*vTʠV)׌F͹)*W0b٭\A@ht(EH˥\ZƝr郚%sn)f"h4LJl0)!r8r 7tj9lG\Wi gNxlm/{;hP7aLM1BKbNd!c8|Ƚ4wgYZnIowchJl<<춗=<(fdEeע _o5Iz L@O{^w0k[,}PB%.5rzΫ-"s^._ƆiN+꜊=P}*TMLȚ#@ a<Á RFc饐;^oyx0^Xv *@ya˄Vm29ZAA|Dx6#h쬬!: Yx*R5G+OJX'*F팜Zj=P}nxJzE V`6~Gjei+1xL &^q;6gXeC-<'}:Reeru#ه{C|dGȉ 3z.[8%었3"+Tи" D|)e53XxIJ)v6@> #ΐZ odL~PVM^dkW(ŕ6ˬk%|x=m=0ڐ<.->q}f!Ea M kކ;I;^|X @ oJA>aXMs7a0 oL~g`LKB׉C_'#ks{'Nn8YN]! ܦo=1eM f|8; R>[J1GE*AkYB&/* zSC#vZ;qi_P,ʐL`=mt&MC|SVa<,@nA|D&&. *HCId!olmFɎ$H&nDFB1B(Hէ4Gh]b'@\X:E`kWʮf?cܝh޶\:This0*gbh?[ZX{fctH;}f/͎C+!BO5Nсw |q۟If>ENk_ ?VS^aM-Z;`†P0;aVCQIpHH =ds =BA& 0Z`\X5О߈7jZ $U\Z|JTbc9 ì&jAu{7ie%sY2ǖhEiEם?L_S!f- '7*0)*Mx==PI[@hKPGI$f_ هøMkWdm/\39;Ȯ 2~ݳ^C_bif8j`h/pZG}TJKC#ث,n2?zX? 5&jL"·vljwXQjUnX{5vp+'ц:7vg&rڮ֬`ڱ:Z5EL^t Qg etŵZϣc3d ,6dK9I+@=Tb:cY+4,DOiaIb۽* RVy( #rDL{Ń)\я33=c &@1;MO5 j*Wp1<2EKX.\ GXVY/^=Bbkbv<~Wn QXS^:#K=`VzZ(z7LXuaُƫ$=< 69C͕l^/^5xv7:]ڲE;tz4=L]h=Գ%3MNG;l^ i9`.u_M /*_vU Vdj]|M=$z !ܟ׭`ܝi}%/\a0ob6Da/@rgji#1le-S8̽Y8̀1/ Ȇ/!g_}&bib6VBToZ/E標4rj>x?9]{&h2M"Fo묧3#/fkwX\B(C2F\%1= m+Y>b6 yN5cF~NasiǷ͍3V Wa}M8]XڳoUD'mޑ iv]` =wY`}3 ?-O] Zoxc6&1K<:64ըuԙYj-:ilLN6}>ܰ73Vu֋k$yxP& m|9r&JR *ڡiQQ:6q`,O{qA{nAJ_ͫK? n=O"+ᆵ p!oG _~v{/xsCꌪ`O-}82DV%eArgq nYjd+Vsu/թ]/N^ч ^9LH dE&3"f핫G~k _N iu0ɪ'1jLܐh"E6}=4i.1+x= !rP.–)6j3>_%}Kj ?Bja&y3#mf0dP²N5#:WFCZٴ0zoxgݜ pCn0e 9'fr%[RIշ%QjoX8F0:}7iLarzBX MZBJÜwi U`/Y::'kதKJ̿9tY kT_ /J\~YRBH Gv!򥂚HM&۱M P[/?+{CDU xzQ<--\=:۝:Fcd%&<ʼ׻iKo7 o#f FШ}ʡb'n4wu^ nqV1x;^p5XMZ$ $=(m&T7PާUȡ\b@Ȫ)OSF]4 ) C5rHf׹,Eea("agw*rق k.[:hA̧vb2kF9Y=QX@i%gs$PVC 7yqwө)"кucGL@7=x bǵH7n8"'S)g+u3Bv'샅%}.AXJsEч]8A`W\Az#&lAB=/,#]W\۞z&e'L)2C+Bau/w~\7_mӱ T> oWOPv;Ec ._ڮ҇qwM|`} 1WXA=x),eL>-JC){L|kfBrdǟUϿ D='=zE* l703V`}OJÅ6s߂R|d^ZUW$.rɼwMȝSzU^$š֣h3ƇN@SH;۱{q`߾pñn((Wu(ob{OjA3@d݄fdp_‚v-] X B6"v/=d`GÊIMKG-7>X|6upM0`" ugZ/;A!~aqaOm r_T Gtҵ]6qB;Qe~m3:qc7]x\cs{c:; ҍ aPx=l5E`YZu١ĩ䚟(LA<'ʛ7zGij&d|Ґp,T"ϡ 2ܧO0~%, E2wnQ<2]숶1&|IGv.A PiłNȯITڲYvZR;.Yl0$҈Q/wvqǚb(W|zj|]\blx}y526X|=&r쭧t0ʹ46п*FD^)\,3PdH~V)X&whAqr4Pc[Hx*I z HpMy 3{a&<)hO aU$Df[l}QbRUUdO60O噤H4stXm/$l.akWnKt׀هAzz"D^*i˜'-}}MȲw|" %kҊ(R>OA?o=s ̅&Q8e_'X@oD=x?n>W77fq+["9~'s?vgHe"ɆjrR|猡a (Pj:d+D&*V[UplehM?BeMD%ubAWJoLֵv:Oh(S.`4VrbKS56JCyP8ϝC+rYE Qo)Qn♮& AoCݼͩ!(ɾ󁾨~BknyxHL*ϱ3џ6>!YIvWMP(6{ 7x˅`3̟q }(HAPjDPféG Zô?̿S1PSatu>m^+2]ب7Y WC)r Ȇ1Vy0!cD/ev ,u6Ӊl6Dc(v0Xmմz^ p} h8LQDw`&+"-?H=G(ݴt4Z]!Jl`D'SHD5@`uOTA%)%gt4좓8 92^\b/XS@j;bϬ"pаuL ?6hVڦqoC1 z$^QV_ f-i; ::BaHf^vxT`RZ_u.*Y/7` jNc.v鱳Vd)g_Z+o8//7 ],S#.iKCAЏe R\CE胓$cGɨ\Z5 2^ggV&ypɃ8֛ކ0_Y?:(nyg㈓)Xtu{h݋{ <hGnEgQ0v}HBT& mj{?ʙ˭k/!h6x0)y0c,H]ux]#Px FP\wZ)-cB&}Y Fܬz8/1%bbב côyǍ[B*!!Ob2"{\!?%hgVDR8-} bFn PN#oo_^$Xʺ{ SkF½'m+9xDOքp9)x X3R?$3:c1xhuFi=JBW)=ٻns{^sz9+ħ:K@Oy4r?pi}~-C˔㛭\@bV#C&gb5:ϬkF>Oة^ ]M-kN07GH_"ӿqYzV08UϬA~ʤλ?ݞk(Wd.8ϽU+=g'`*YŽHAM "PV =.>A6Y$([kg>.<z+aCE_}1^pKR\xdMg]1z:Z4Z2dyLz+94/`dŅ́͗` Ș40{(Vu gEP<ݑ\+c~=w)"bDލ Q\j޿5!(Wo?tkP$,hcd:pƟFw{[7`7Lɵz5;Rc\TɤȖa9@XP1]b͒!7 ;UPO he#wsyW|ӂ&L~lKMQ= ǽ Nj^q]1OaS53WR .W?d+6x*IZ7l+Z+Xy -m?;D*Оzה?ElU0d˔ d6iJ*̯ O28%CebQ,`ҚdC=vxW6YW\T4JApRRYٳ zp-!pE=(2hX 55.hbV~]nI {R ГyqlF=_6TaBdNYy2MTs~&p,~\.{AEC`12a0w[vV P:5N6VZrzPJE Yn<{} paZHDI(b\rqCV .Yj"WZB?Reׯ9x-gat硼*)?MYP<Ŭ&O%$NrCyIpGkxc>(q6'\ $<~m!BOBe}*d3f,ƌGL~ԧ8|@h 3'TW/o;t= Zڧ}$Fp^*wy+S}֨&[C1KmK =m/Nsc +23-HT9_9{`wǪ|Zfg s|9;mr<2a8|}{ U'/@`chP5#՗*@ K1.BIa菎v:E{̈U h>Y+*[B Q퐞0Rq/kk #ɥ1w_]lЂ4+/2#: Xȷ϶:G"%d"'("u2UIiaƱt_y|QA}qX2,ӍZQ%W0~swP<'F&}uz~:hțFሀZiG"JymnU .֮cdѸlYh.F^eךJ 7ÿm=/xg~VAs/β?Zy8< ێr|h[Q [W(h<.C;*cAPwՄJe[1z$i|0CKOV +0Y;u9 %_S \T qov9R0&9<+ɫWtC1 (+!@Pe矸cVl})g=JViAUucyj|SB r;9.3 F6WצyrQR*N*4\Т2KhU(0ط#S?9ބD4nYA jI'q^Й$,+w^Te(,y^Dd Y+!}Xl%`&9[5C d8C_^'.[8À-ˇN0':,o?eNcT>*ztT?XI9rz( YS%O} tF=a2SڎO U -{ur KyZ=rgYZ G OGy)C% Refine_MonadicHOL-Word.Bit_Representationdocument.tex7zXZִF! @&|]A-MՋhvG"uIBm5F"*2*=)TbJox:;nJMR.u-x<4k p!&I巬S>!V19w_֙b+ awO_cg*EQJ'* DpQ߆Vω{QK6r^N`)~Tq5k 1m3#+Ӭ\LUTnd#_OH2#eq'@u.Q52:'60UXkl\hGh1r8*w.N;l*2[g#dzĺ* ԱOr/@~,P6!q4&_Hg,}ρkb/\yсG|[K(p!Mj'F"mXunɝ۞frzx:NCs;%aحBz*n"$M廑o%pkQ*Fۻ 0N+U^!  [2ut́B,,*okکʖ%.?rnʡ>mI%7OBF%ځL+Wڑ HN*` :Sz a-I<0𚇷~*]Z&׶&r\vgyS|bIԡ3ZYz8AIYgIJ2~J˴J`9΢jq hAcCN4ZOj.\`<1#sH$x7EøF"Ho2=L1 1Ò<~vwy"37ݩnh31l>O`3,ZG_rPqc>D 4 aNR]Mu]\8˶@Y8K-قA-/%j$y[&}ᐑLT‰&G3mhء*=7~řcx= )[')C% DRefine_MonadicRefine_Monadic.Refine_Whiledocument.tex7zXZִF! AD]A-MՋhvG"uIBm5NǨ ~N^w?-9d*ħL5,f^a GάqAļF[k#yK] ^ Py6@=$u)[C}f[A1(" FekWOɧ+,Sq66,`JhVلvNHbBwB}ş}lf6iB:.nyIb -WV5Srه!h,"x'1L,"#tZI<9x@ׯ4 _u(5 j%oBxBwEOH1HUnTROG溱!>yCQ58j>oˑm+ʮc?UZ8;G7W%o F} V0f<9SUT(}'a'G]ٌdzJ#=ƛ~Z>|s`D$XE_UӀBzbSM\ٜ@~{h ӥՉ|H`U2wrlO$qC̰N#ib ExJQ$熳"e0K>gY]qHZq  _R#t]rBD?'T*]&/\_ݠz$;Ko`!8f/Cth_gb|댩PbDA3ɉX{ݠL@*(;yuӰOV Sf>Ctk ы(KlB7HQl ̶ f'˧Ei2oE3 `亙,5R?<YUY46B1Tj رq|a;>e?صS]ek`W1d`~ѽ+7E$~m"+=h+j.6)tEi-:ywK!~7UBgET[2z*Zdxc>z.x%'{ߘ@"(cOSTOȱrP #u]23V3'/,;èI[%+C͚afꑖ +{'S2ܬ"Zȳ~g aQ$.I؏IݼV0 "`pQ܁V *˹=tBDߪ8hrkPǦ X /fB`]6VسaPr^T^Sh27Cً695d 쐫&!)tm(e=ZB6<[*1tzI+|@kc خ/ryӫ|H)j5av`<HݜV ":j;t ܽ-pJXgj~:"Rm׫76-Ge*sY^&`,Rه SEÃj( Z/t`cyiyaJ,KɵTuMXe O>*+4> u qAGYmN {yfaq|)N BTċ.e1/skhT3w2G@H܌^| n2B}$!f?V d#T>.KXBW6ɨ 1\ >"!~GOƔau~ZClEr\U L| m!3¬ƽ\FcznA!)'o0rOX37ؙ[r)pƎEf_]i  Y9R;w۽izL9? 0}P&qΜС`hQ~ K4~zSs=vFo:epnL!A0M?a'2.6 R|E7BW%y}8/GKj'KJI.=,*]1'̲aW>%|kMY*K6ASTQQ r~_y{1n G1WH8٘"$Jgܠe—H$V߆?R](ţI*d TH/\oəf4<$KpXrWdc^'2 PSy6Zϙ3$ 9jd)פk7:$Gi54ʆ2摍hkuN%`[Ab0i 52'~L9 Өn$RF+:,/?L⟁+1&qe۸ዴ/ LBgZ$NPT##h̓e8Gw !Im͞6 vaD4w>'kC~WDfΊVUZF!]ٗ{$LD<[mǢ)5/ _(?V HEpp6%*C'Ӧ\܈vUfDX;t3pl+Ifc+@5 ]qxFlkl~.qFMhi]#wA5)Hp$bCKR_%XxX yb Lp.1!Oxf`[H+٣͡e(63ldCDǾDƩ?TN.;dWBg"`,b(p05:8'K~BjCC):&#>,08w_{΢@ J *fy5~G%}?̓SN/RG1?}(_|HQeHF7BnB]س-mNhp߻r|22p U#I=$zkزQ=۷ rԅU ꌩ=xT%P(9tM?ouS{VWR,ipE}gDBփHaGGzkW^s }i쫿k-̨8M MWmXXQc5vM&Z7'6/2-Eo rcp5Kks\GTp1( riSu&ԻSc ;y_!5-^J[q8 j, Q7#_v]Ȍ1j"h+Hpjs@Y9n|A@GFs8-"sE`kGr2|>y>E6LE j+@ѝh#?=&;TQW;ZUєͺ;FJpC¦>fz6xLD: C7ɯ,=IVeinW㶷+h^,/ʙ+*nqno ^ŏsqlCzc0ܬIѢ!ÕMƞVxO*8֧T MEB~7oʓ lJ=iB} Ν;$(m ẃ佛^VR}7|I9&72+^S?2Fr~HRb7SLC9>Fʮejta\lݤ w1;]yL*;ļ'uxQ-5幷<̤y SMcxeHq*\t&h 3D4U֠7|Op=Cѹ˥z CXՏZEwۻrmwQ%%ݪ>|7'ruLm|ݗdUM!S첵؏s76 ¯ >n X(N.LE9HUbH/vMt ޞAЊ 0{vDvnШ1$.v{ñRO*esdc|73,gEA/CM`c-3Dѿ;v'*'Ârˢ;+ϋi-9>R#̹ AKV󪎢5L'YL)U69tr;m [ A8I#T[ Qg}遦y)TYౙx{ӼC1wi\ϢSƭ Gs9aNG+Bv߻fsR]n錩]f3+b"qNoăEhe՘:$?"{_E$LS6> SsƆWn;Ax(8JtE/B5ͶiLbj'f)O'PgxʐT>W-d `P|_Qp01 ?zބ醑baajI]+2;o :m:̰}HlJlw5lYCt^,f khK^b0}Ӟovj樂RBLX"8BZiyd13^WF>1%Ǖ3/Xk)$`հ Dx-q\Ku B`ז'<_H%˸SVhB]NȖVO]/m;Ǟrע^#禦, '%_uJZQW~4sdk~up%(p0 nh_[!(\ *{29߁WM&|yjӈ8VX>TW`g6T)ULKW2  ]-/ zPV@3Rh z%X9\4ƆhAiC#j,ٝ >zk{VC?$NBu7S:qe;H+hI0Gz-1+~?yx!Fz Z &ټXc|Z`cuEsT'k:d_1}wnvbL_~X*8D1Zi+'LZ2mIH)H%E8JBt0~Sj"P8ۡl:w~J2e%JFCmk Zv@ v#[m <:8j?חx4w[)yb_I@4#S& '_cbk}=Pu"]vre4"'Rn'LEu|>\,s?b "bNz*L*,^a8!{_mee-ǔ@fiA6vkbjqE5w(* pe/ʘh啗DpFK$& H}vlo#ti4 C'r~ãG"O77H4,7 ZqP釦c-|rv!"-wѵ Cm~ܰrm!đ$.v(^XG[SZ² uQ@^bVl)|Wt'ۅsTt>hXN n(tk-"h Yb4Q0L |.1az:!ҳ? *d1n[2*h37 @ DDb.3i|<=}w&2$@ل})lj~k엻khV)n4P8TLR'J, o+ڣWҠ2 }S;&h, X'a$t^O2_ÁhA˪{jz+LxB8Y23(|p9z2Om4دE;*  6kQ@D1*Z\1~$ԝUoUG vBfYTaΊ()yE[&uߔF"jRO혁$#ja =Pw?|]mc>0¥@Ґ񃦜:N,@&p@(dÅ>:j̤TUKGn;]/wb52,R~%^UX&K]I`k\@ s6w/tW|䤻(y?icUi<h*?ǿ)a^C:b@svK7~4˻zN;o߰':RհP> ue!}Ifەi\ca~Kf恵oƩ<"Z+6N?TlzWBRv\VXy62q5|'НXOw/3(Cؤ em'D7mlٗO,]sqձ|L[z=bP @Y /ϞCx1[Gawv&n$W83~DWs\WiI#/'HR;%qΤ R@M09kd "?iO]NǾ%prcbH=CC,'Bѥ7JaJVqTфTY&QWCoPN>c fk^n L+3=ZTճ2)ea׻5]e];ͥ\A3fZlB c|jݠ`"U0yf&&lTniξWzTdvJE;qԱaW#N&֕U`>|?[eI5]Q40n^)p6WW13-z8^ LN.t}ӚcVks4+Z{%*$ *ИSh]y6(~ɒ Sa2sm`l!) O{66w/>zݼu1R?,+aw|JsSdːD-^cim'gwS*%U݂UЏ ۚOh2ǺuW662駯~AOx@#WMR0vYRU?bͨ| 7I65"fƝNO *%Y? gP2J}@v{Rn^|I x9V~,n: Ӌ/ktCľbC7$uIg=9@ )1n9jU‡߈UOϺm/\(c^]ofWvL#/yHn : (l>v0-q~8O_N/Ʈ UIr¶oM!*Zp0bb7p(J~"`DZ"}[sʲ@Y+1G9O7Ae Z;Hb1T\&E̥KuE^xU#[?u tx9)y2=ܐ5sE=mMm/3 ȡv)Q, 7!5n5F'h"@d0IF[ b1=vMhiKg >M1ܿ92bp<΢̝8&6Ċ/̰W'nhbQ jo<)D\ԘG iՈc@eU/$4K T RwrBb(r7g; HX/rmE0p}ۍ" -+X57Lj:%|(ЋoS7g,2ji0gXvM_CfmN0JɢAz)8濄 uL _q=[KpwxĘ8 $pSjqNJ¡|/C($ҭlM*}FnߩfY|Y?G U|.Kq98+JuZ!d-q70'aRcܭ\BŨהI+ hcy](kXtHz$J%7԰#=@He~ `eDSR.!]h .ˌ>Z#xvi,lŸAw/π*mq( Ţ3 BK b\aL/LR)K+NOQ&=!Y|up m=S?VK4F%~RhmN}=oa$ Efd/vy*6+!`yF;̤>-{ךs8G?e:1*C[3g:InUvĐA!X#7 5wLip`?U.;`h۰B;{kҫS?׍2NMmk; &/OC3Z< ]6vQ odwQC^^xvP{'7])%q=dodRjX'} \ ĆGlly:"hQW9h];lFI*E5 ^0&E~lF&مdMq% SٔbG#[ jUxH![}̸An `3J^y9OGv|WVp6 rP6tWAV2{cXWqs[LkMy:vͿTK%c8H=士 b.- -&[ck3{"(eg!ɁXJk{_ƣJA:9v04}{];MLqwTwZebCÌ(ޟ``c $g'߮<%,REKxsNsKq-}4eίc u<#aw>^կ}vB =BTZNC3RlU-*P"4яMc7MC"Jh#M>XXThDwX4AP>\wڥ(d<\ʪRna*nB1bnAC Iڠ9 Q",/_oc p#HiV)pnd*0!`^+yO7~\&b5B Sxd?E "rm{d}9jlM’uu\33 e%rJf.So,Y.=J5nе ΰP6$Ɋt"?\h_ _L. )US腅 %M ric/oc Z:Qeq:ktqu3c8qd?),*rc>3H#A:!xNQRYh*K|Vx&Ďf׳ ɎQ&m ?b/*\iћmÖ[O(JU~Bǹf(!8v˛Y7(w*XuՅ9zzi/_Ky7CerzƉ5Z -iW1ڭ>Bȝ*^N=YbSj󿺮ZutN$ fGo=7F6zN9Ok rA'<|u !=mR넗A}Zc Q+U.}0O^ZQPOOaD~b:F-r'rATWf`=Ȩ &s>j HfE͵Y66T#Պ\ :( `zVa!b&0P[T' !BvC3b"_< 7jy&ҝ$po.`T/Ⱦ9YGK3b)"]yHkcz fN%x[mrඔc:wFr1\N ȫ8ށ]L=?S.d/hVD'mkcG03|j&T4\#iDht :$_a {(gVm38-5tAn:O5u}G [urs5Z ʞAwn4Ai`͍dU#|jKY& srdlB8$*pAj!\*z'YYwȿ*!0wsh.Fq>15H 0"1\|)"p;t?-oGZ*yQ<Τaw]a eԒM]_%.n<{R^CTLz_kVk?`G;q﵀4O*V `K@OuqØY%cFA>jg,Qd`JAA9SSmM R;=6m 5)gX?%] uĝͨbܣU;S/QΟ:0C.'@'z@9:;fxB"ҍ~@:$Pxq.ounSbXk%0v8tDƐٖFt{=c^b&܏+$Du>m 1V!S_(wbBbVo)n{˻loED؜I* ;OzmV)悗l"6In]EfFS#-&8E )Mf`&3'qxbĝ*u$ :I*1u'7PϘ*V?🏊'v@hR%fiUxORІ$խKz-`5'by :U1+1<~<Ԑ`󎮢>JόAl'_WS|p./BN e]qBQ@ieLnuxbTC"glG#@#hPO`IMY5Rvc-I@x^dPR*ӥTrUi'&Wf%w%p2lpj53ZjhԨpԦ䦖&(e?"%Ѭ*z  4HvV/Pe5oY42r«vJ8q܌al 2V-C@[ |^8$? ²b,lD;x-)DQdd:{eBGĜ<}M-/vh<O5iNƅdW4;pn/g+BhA϶u(G`:(W~sp9(y /y/΍c]\c |])a_{dJ,v߀ooS\O?Y/Qd I mٓ⋈-/ nyͳ>+i ߏ$&Wo S?NʛYpƗ[Dp\ێs}6Q݊E# (lT'@P HzJ~W rG*&{pMSP{"?rݦb2Bކ8N$C0 ]dlڤ ١kFbUoݬߝm#NdQPk|n8w9#}M1'ij1GrR' S/9QRj-o"WF=1MEf-G/.VIR A[gIJ˳`}հ.ɩ(&p0L'V_FJ(f\o`)XF<ʄdyqf#nm Ws"\jYnB)^gۑTq^v]ˇ>N?) \rQ{Rs "̑0@ dm V9LLȖv2 A+u` ]!…)seFšR5}7Xɔh8][PÏyaf,va0j{ ԇ^>~ʳF6ROFep`oca h]dkr<" ")bAS6[B.TΪr>Y,AlbiWeglDqKn|ㄑfHG )B;|SPZVJ +T媎?ʢ"DspdY]ANXH_{~Q&z"Qc)Z1km ]: "87Trsy%.ast˄ #x!2;n|.?CpWv:M7eڀrIԉ.۝uqY+S?~zDo|j'ϥU]6c=&yH/\5Vn~N=bC+g-@F^=1X%}GOdrnMYN8 |vQ,93#6&zgسN]N(pҙoc$fzŻQEߞm;~"q9KGD 5d qE)fZ:hn"9BxUbɘ $2:2-ff;Q \N<1Jf`bouiق!'?_|Pᅬ ^w vk:&򇭠pw3 G^iL{"SG,țT‡~7Kq g3CL-D#ͼĶA0#9"[U &O#_Ύ .|M<)?\!ԑ+BRwr576Q,ʒt o[w{Zn%ٽjcBRc`-;a[Eء)I5)U3be-p}aC9ǸV@F]WRiwz`ֽrf#XӔ;p~BtV㢤[8Is.ws  >ʒ6čӳgoZE{{xX.h<Jph=gq|+$kRfѦ)Q v}~|N(Gm]8=Œ $8Ȅdf*ڤM *OQ4WHB'S=&QAP2ܵ~ul2D4l~%e̷ L|~R\5r*n$=մ4" aNEs Z)Ƒ, &L5k9 >X=I{%Z~,TҰ믃f̬6Gª2.~rkG8C  nъ$9?d@Z V66&i횖BUhX!u3ƆOw7M| Sa{ F~O]2r\:荞K.?5.] 0p蝍 g]-l6 @ e^p+4ǖ3M{Doȏѯ/nfP7Ao'"HWXq nʨ}FH٭z`VI~k: Q+,PPO*jDєRy't=xG2Xػroe]A88FkHKM$V .τ.i,C} _V^82  b:Г:T4 r秎10tYID@C(soFA!J)5,)`9 Bn[Dfz(O2C/9l{{`mHXX-%ǥ$pttV3@Ʒ83@^71C}%!fy,?rFhu}Zh;qVRP5WxɎ0/Fz13mߤV~feBE!^ɩ rNZx@LwŘ{ڥ:!+O;H:r5qoT5p\rp搵nw*6 %Pܗg~H[zcoe/V0$?Ce8֋wCʯ!.5zq22 ?meUJJ Bӱ6:ǀLOfO9yW +˔| +_L-1Zf~wC.O"o`M%|lBby( %}~XB'KXƜm>N[8VB~wڱ =_~W "Zˋ*^ zd^@&p6ͅ Wߋ%RΏSns.$$~E8ZW"S?פ4+J*k&G7?h0bzMmRkV@i_Vbm^{̑(6T9|#{F*tN™yx[Ѱ{5c~U<Ε pt,X2DKV%.):kA2kQ(aFb MJ.ϐ^3ԯZXv)/_k CS "RXqքUǠ"f`ڒjҼ)gE\k v 'Zv"iL<ۛÛ.zsIbWf:!L&"́tGBod~%. `݌eh3qKVvߥǙ7fuA? k 2'o+4#߲O++hi#H!Hv)/60*eF<`\ ruN78=},|V ܆wVgj}|qf2!?PL-Y_g SxLo|tQ+djNwI97l=Vwޓx/StM@u  gYZ ,,O)/% DRefine_MonadicHOL-Word.Bits_Intdocument.tex7zXZִF! !]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn]GnvqDֲB%n"Av_%"#>n",/\v&dEIYS4*f=ܖuHв*I P@Yf s'$n:S3E~M~)D[ 'a;V~,7&d)p3  C-k4j{rЦQ:8?BD,OH*kca:(HNvoA핯c$1s* (72#[/ B"3{` ;a2V1;#A jAC[S=M "Δ38CcCЯ/QE!*>9<}am&Ou8fI-c)O% LRefine_MonadicHOL-Word.Bool_List_Representationdocument.tex7zXZִF! e:]A-MՋhvG"uIBm5I (a WČȇ<̲ Np| d ^$꾆DݯGځ=nfgbҫpz4™4 &gahRMʣ* a)CDI/ FF\0ǒQLNH8&R:ijE|HĤЮ|YU A1QMƗ宫BBβgNrw|Ö8qNjhq [.ro\ TͥJ"QemUE XeYgX ߒ#"P[J};uDw:m: SC/?ߖx2T J%ɤfKn 7K[<֩v5Rj<ZV}UzG%<}g&1׫MB%ޝ̗zQ^%)\kH+]ĽQQ.N3\NJqqΣ)/G\0ؙ =fkQh }{ڜhe!1I1D6LqCb^ Q[n 5A6Xcmi6Y1p1_GMI`1^Ԧ#to^v6ӷSr)ao$ c?(nzoU(É26W3̰ gz49z޺44/НՏp|~I!Sjv_v > ՖOuSҨɞKÚ 3N=}GxIӮo-:j2a$Gv7~7?)(bGXq@{nC0<9kMgZBUЃNǹk kگ*-]RTpzW0Q6λT'#L^fӮn*"o &G1IrdP1DJ&"aSXvqy%¿XOmoIʲQڴ xG !`ko_)F[%7@ѵ$ؠ[VMVe)ڣb@?jƑåRKuEjoQD8L53uDcEdJE2{*PvwA ! ?\"hHS4i{ds _F)rH x=@g?eT?TI03wAf*NkI8ݝ+v,M *#I:'U[ƛMmdeDxF@N'Y~o`Jn O2Rfd|-0nWz ZSe!XbiL%uu[iSo_*al#If~tS9rAɞ0]th ]I ͽrE0%Ou.u$cլ_>PݦLF:&1х91x[S&5 bFD?w7/마IoRx:A+v5FCnS}˰_\㥭➟w"_+"8!5ίmٗ5^.TE1!MrGnj,\@:ZaL b1*ç>Zn ȢL:Pf$nW?cGFi 'ƍb)A&HE֬^}4:{|L =).zsL?=C s=`D TTL=?br Rڱ؂A3,:!D &š|%6Q&mwe ܞI0qEL+f*x65LsQ77Oa-56BB);F\($7ѰJd.}ZXYFD "#'twǤM6&UA!uQQġ7 `w}"w'&>Qf^7J\M fK6p#sr&JzT{? cm.F5|ЃxkNUO{AȻ@g aQ8.8۹_GY H[TT?PeGׯ^q BҸx!A;md6O%|=cmtQ*tݝV0}ӹQv.b*IakT.onrxM䰲0:Wr"4us%G*TVr уFJ: )Ӈ=j!FMt |~&u"{˲u_ 5M#g˭l̦2ZEsЙ3 aPGHZ!whbn؟Yc*0kba9n9~X7cUU\5ҹ`-q"=5w`ct{еE81ޮ"&^Rn4T$qk̝?x m դ9><"O;5 Pc].-%(r/pTqBlɤW~wUh+oU2,;քd{&c>U^*KC8U'yPJ) pWd8Z6d(l!?dtifod!ґp?,l[[#6ꏒF}M}'p5*PG*oN7A(t]I!R\hֵP+n$gxpQ[!ٱ\*I ѷ= UAzf`8DY*[aHvwk Gn/xhlvneT{7< EE |/GϠ\($քp[3Xߢa5=\;- #_EL ቢ{.z. ià p02*D Y' i}\Y=ż\F*}F!PH6'N=Žs'!sNH5]wbU3= TAҮm75 PSx#ӭYp-e6A6M{*D1RCszj>`1”Д3!z<.E,!ZMu=F&bA؁ h[7{~.q쨓}Wu&%/~u/A@Qv?/wNE[S=@Uk =8k2CNY# }yhblkrNno^h*ףoWXoygxNW=^GgٍL Hۿ؎6cđݭ5"j|qUwj*2eC-8ȳB c#ϱNz7Ұ^O$=1{Wѳ!8 'hY*OqH5c_ZsڧG b% AX"7?S pJ5W <s܏·NqKbAI9c n҅];b*ҙMv\v\d{|7ҿnZ(SO Kh)y;ph5v~& k°8s)mJMQd7-uQmKJ5`/Loؓ!In9yN ʗX` %Ђlz Nt׃؝ ߷߱!f+|pn恷W^%[eƧߍ kd"԰?:UTa@\Kfh{A,"~k.&V|éa؀3@Ҋ3.uH291^/s/sslMe7S>ϹM@bdCϙdE2O̦;ɪLn6vfM)ޅV;o S}Nқ/T*˰^q Z 'дk%n.U ꜎ʾyo xͮsp{ٜ֪E/vk _Oq7}ԷO5wC=V;D ުubWv ]׬õp-gС^#fa7Zf )i R~|ld.E8)?SЗ|YJ+Ѱpls7~ ڷ垳sK?Ғ'(ϝ;sh<'jrY5\D]2'SVhn,e:PqL}FNc׉v\y)}($ҞAiSq2.ax(7@MbDJ5f.2~9b}/'fSSʢjBUFސ 3%h;VnLiyA(+|z!\/ ^TvkYol^QLafS*#Q̾bi[//>"vۊc) ,Ydm%w>CԴ*@j'. ]RB L߻EoUEy>;Oq*Cm'R i;CqT0:3DHEXˍXGXkp7+bNs]:Ֆp9<ȹfnA%fULV'cϴe=M,0,CE\^5d¦*>: ի3p|LσDD{L)5-Aaj֟>GZaX`|fƽe9)<Jfaw ~ܵb z+ـ|YIͷl˔Z)>v?} 0<<{ ~7ɰ o@9<kgT&9@ Y ?]غ =E:EvGknf{97C K|k` u"R?eQj)F̩%뽨ɇrO97"^lifXqwK4`a6[A.n+$K1/ZG1_=: _}`g-D΀XoJp8C❱Ah{ i5ؙeTͤ cue~"Tv~dDa n "_4mK&]S=o-w 8U MIת-&EY=ZU^Y.+dk̟P[CA*/ O6lMHHFS:<,U,YtjC,4$%$-i+VK~ŕeA66=o(}$w[Ѧ+XzyNede`.uwz|s9y]EO:b族G9M|59Q5|Uˠ,igƞyS:gMkC; 7E^ӦZnAc[N*4P:M~M0qQrexK6_y-˜RWU"G!s\<RKTr#t[3n]b,,"ğZTt:() %N(ڎ:R -}Y0\.HjzGomuUѥٹ4V,b%4Aص]ױ9. !ġ>od| K$?X0R^Cͽk02$- qu"!Zc3OYn4{®&Z Mq~?QbVFN8;G ܆4;غB?]aLg_Ac?㿥&ʏetob(.f|l[\lWWOPIc'sL_6V F,#Ǧo;seũ[Oq$8S)϶Ǚ~bRkV3Of_5MI'<~N.J7Ʉ]DuO ec< CC"jNV5[kkNDxy0)A8BbNYA{{=/:N^_EHzJ{sipEQ"7uUq<1 3XUWZ"%-0K9yCaܡnweYb%O(5Ei&A6MI6-zUޫ1kodž@o7ÝO)_fu(i3 KRw#ӌ̼ՀiOER(q9\CTpw~!_%"˝r $ENBRcd>:Jo5e)Mno+?tx"tgŠ fAOGLt;VaJ+%/ zD1NHj^#U5hlu'>y'M;v&+Gȡ#ѩlꪍHe]5#EQt"S}llޗ0BiTB- 0$|UljoqKÑؤ*F*(q5;rU[Rօb,y ,ݏOv_~Z+pd,MU"?r\\bqfwS1Oebo~H~QJՌ#)3MuJomئ\! aU2 3HԮk1C&e$j6'e.H| $IG2G\u`uJ6{ʏ$'b>=8٤.Mk<?Y&Pe*!d 2 WГĩ>qe\v}//y2`s僯{fQW+Px$+LrNykNj>c*q.1c,yd\ ũum\X\T,mnQN!er~!GL7SNBzZ8syO@k8%&[7/N[6;P'b#"p씞F ;3x󶸒I5ñGfK,2ĺ';69 vWϣ?|m@F<"It4\j̇:fJR6sVÖ%$]'ȆrPPytW)gZk6QvB/28/8{y{QF[ 0|![C<)AbSFMedSA^rXc6A&cn+ ? [ZCG${`J Üw@C,Wpڟa0s/iMW׵WLX~>csHhX1h,,q(YݸWmW~0MpHG%])|% \WI; ~v'~fd?D*7oہL:nA*dɅIdS1IXG^T#m`IބI47}tXF`? P} j⮋jaܑ-"e9Ai(7uݨOB8Ⱦ @ #BH{°=Oq#aǘ;9PP+[D [5RwY~{hhg/T@ƂUKL|N99?3Yc]&Kw9?&@?epOTs$eX4)xa%JSX'^:M˯tTEgcۣ,#ĔAY|eSٽ&{j\_?F?M@Cc%=W`dxItTs?FYm,w(JyH#Eɬ1W3n,: /8t<=dz٭kzRNHnfO{4 Uygƕ>ZaXT!`#Ncl ūT|Lqߔ/?0{W:g 4(br=[FOeЇsАoI@s4,g AQJf1XS$f^ #ɲ2\ m?0Gbm\爯LiAF+d'P| Q#M 3+wPa 4P Up8mѦ.- cYʭPHQd\x HrP;rl@ԎgؾmtHzy\mUԙjA n3P,)?r6΀ p "}a>{?$h~{ʃC" u ͰZϋ;qUpCrx8-x$f,>bP:Α9[ +`AL 9Nʑ,IA'~IָlW4i'BR۶]s($KHDo3n v!=D.9աɗz+ i{&!#Ք"z[9~@G+KWI4kmKa[n8A\q4Pc"IX"C{<\ʬvvaJZMW%ɩ\],Ꭺl{ԉ#_ciׯ;;וtkjܴވMW_HXw˕[q'ۇYvs`|Qwq=y~6G-55B& 0Y+zQ%+h,xݢ^Ya-#qv\uG" ޖK$"u-;BzO U.992_Aay$534.adLښ{R/ۧHҿUjɝ2|2.z{E9>K~|H TrYg,0JRpa(X;,I\'tFCG8I-*GYREI$L'ggD|[S[Pp9{Fay_G R7N>t\#OĬgSS@NFjbSӣ >o_Ec vHȒL Rҋ@,-aԡ,dJlv=^b I0VW9-[.ՉQm)pɔp=l+TQ`4:X֢v{˖;B$"r7,%v2;Yٕ˝γ +kf^ ?RX,$ݱG|qgꒊW @4j5:EG#̰ j. Ǹi-8sr*4Dm=W*: V 8Iݾt?xfWBʘ% 'ڲ&yW_We|!+@3ej*#~J{tv1"G4+^-SZWP f VݨpJJ#2wTR;:YuDY_Z&X%#TK}L6G:B*27(r T=*ī:V(Z~ZUW&=.K[C<ڗn}dޑ!v0F~הּbC6|%*ӬҪ|wC#؄(Syb_M`SdԳX/Gc^ݲ}La]J$jV,$MRs-iɀ=s=޴j9>!l^IOqe{[E EM*)J], m ɡ97$*IiT4^s(..l)њz#YTk"}g fsP!^ڽFOu2'֨ i^ZJFL'ȫÂew4qa?tvv!?5yAm`:Byha (-?&Xy$Q53sӍ<|8Yi`$0)#<kQ1|nyOj"7?|aHV~} e;UQrbXͅ-o· [.mR34Ҏzn/ɷ|؃Z*?S &b&n!4e:5O̍[aplCyщ!5u5eBx<_c[y)!\VswR}sqPOFh5ɎFߒ=h|8cޅց4E ;|b/f$D&6܈XWY eh<=P@b̤>Q Ww~6lcΌ闞/!l=F` ϶l[j̼KcUf'OiFR΀G$ "˸N|&0seHSˮt5^ 7C;-{ΰ]z_C{ ,L6Y7-PHy󿽦_ּ:lɾ]1u:Psc  !q -Vd?صm6({*ʨJcH]5I( <4U٠ɦJ|3:SʴIOYQn ,JCCvKCCfـzH7t +HE&؅K`Vezb^J#Pt &u$i£a9#zS{ZK8*Tv \ jHR+#8Ĝ !K\b["C̃> zM1=GZn:"S }_vw\BzUMsH+GmD\*^Hbd[NJrc~(A˔=HJ]8XYT1!ܴ.+<>.T .?,2qZjI 3(XX?Z~t)x(<* q8Ar^=eB$X-I$XϛuZ[<)1 <TrGz9?-3#8IŰgy]$b$ q!u|iTk95jaq6 NHemßR}NтX& =d"+R-8ྗiF}]{&rɞlG+$Derm#_ꄪf1 衃@{qAkr_q}y.8E`q}>U%ԯ g6ĦR9&y_VVL p)vy,rc.Nk.Bk}{cìzES([JT"F Gniщ- C~\R^Z}I#IMa%n@42iE{T]fEdJ^ FMdk:Vo_Gm}WCuj$$|n[Ci40c2ĨS#Ecƣ9e"̙u}%?&+SD97y ~^E3-|153> YA5 WM!k8R)wXEFJ*e;Ch^MWqÊω;-_q,ua)Xނc{"N}}3!3_5W dMg#o%*=`Imf]ߺ`?Arkw~%(eH7m|,a&\i?ʩpAl10yު*`֦}+5إ0Ļ Lhu᳎3 -" sWyxVkЯ$CZMDLC3QRΥ-!G3:w OLVƺW܋F/׍5t;Opa/t.9d!vft!?J{QSͰ}|"?NgnSUR -OE?bbJy?gUW8@*fE:أǩd-~ێp]I5_Vel,zZ 9%2vsdh׺=h LqzK>OXuaΫ "CVoJy8%tO*8oҞ4edG5GHf+K *WA n/&vKEQF,D 4,Nc\PL0}'ck6LHfOXIv;̎Yc kISj >7 aI12*Pbɹ/ N=GJa+Aqٛ5jlY]$$yޱ8)tGW <+~ KB q/tDUM!P,~g =_!9bk*m_tn҈jx}A#$Pf(h=ȇмFCbӊm*Ph0v}7`ܘzc8 lE/NZVbgYZ iYi= )S% |Refine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex7zXZִF! 5]A-MՋhvG"uIBm5Jk.㳺ls#(>E;!6 q9-B_˫ZⲌK@FT#2moFw2i:cƈØbfQA—%lC15(h*lAu:TʧU?&س@EQ{xh\՛Tyz÷~_zhU; ]e&$SQ 7Baۼ2 ŪSMߖzurQRò#lzKΨNFNHgcJڑ{taԬ9=?LZю:)X[(rbzZ/d~fy{&>0G|)$9812)A% DRefine_MonadicRefine_Monadic.Refine_Miscdocument.tex7zXZִF! #-]A-MՋhvG"uIBm5NǨ ~N^w?-||j5 f[zBńi8,_H!Y&Ȫ2 S#=?tb>ޘ i48N>dn*qh8Q/ʣ]7Uء{{>iG 9aTx@ZoNCev q텍eS-Ui!\6 dЊXbLPy(P8rj׊aXX_]qd]XDչ"|2jPfF=îI شN^Tq(&]yOzeB1f/~NInUgp`Ћlv!ڻsm WN8&dNrb9v4)o.y>V]XԑLE#_)Y 0h~z1l 'qJJc8g(%_!\e4܀s99VUj2[fEH`M&d6x(+c&egA $y/mt7KV(& :&h"HЉ%K T#A0&ւa3|?A,mkfo AYK8_Z[~` 0S>o{}FEo+شF68rFDIrW(\9رG2N%ܷ|蘰8\|j!g\P./DE4 y> 5|4rKiۓCos' X ct4[ a 0*0ldg-+ @AcM8\:nCt,s5@5+8 *w}}(d~l ˃f?PwP9;@뿑= `Y2ͧ9wF'bF]˫Մѻ%rj"u/μ3]et ة S5A<)'#e~Qie{|,$k*b?5$ r2|E* Lب2+ZUH߬񨉓@3+ b#^eϾj  &xB_… @ 4@ w8x1ܾ\ۺN"z0ׇ*r҉zp\$e O7Si~ƟOElq:-yZNmIZSa^P &v7>@֝_;%OjeϺr'/fť;_=aH@gE0``_`Nσol"7Wh7JVOVa{δ;9󕇐&v9Be8v#koF# bW&!zL6A'߮ƇAëˣ0kC Ȏл8(~MQ>CC謼?Gth1nb`g {;6@e & qr1."y~ <Eo[>1dQ1X'B1f*QM|%:2!1:ڏ$d[ƃY7$8c*D3\CoO0".HTȵpir7ڹox)-+K$|#ALJ@E!3O7{=WHiW$ ]Ц\0ql S`sЃk(7XQ# /M`ktbj~ @5 s 5BaR8CC/iACfp;agޢ|~xd*;Ԧv4[lfiOksni׎:ƃ`dRJ0)9Yc߭S <«uZ02,gk: % cCNT}ܤͳ~}xhHY5U:Ho\" BYѷ|iEL [Y3S7gbLZ,st;]ↈwxvVm؍41&",鹙wଌ EL/eǣT5-fX\zd2>aǦ۶A2@v/#gtt!rQmuDLzB7t0/:p!ہե}đL̉M:H<[܄g]KIjv2/Y|=~ /? ϐ-EW`]h!@l$Ru|4h Z3jۑ Ę^r=[Ve{^hD$yw"f拐IGKL{Qa J-A? 7׸xZ?rq{Qv`=Y?= 'ɣfgK4V-=Ԗ3i 5ͺhH]zy 8",{3U8Ol=Lsi,jiCj{F,zjzXf?olomE3?dž"Xrʺq/I@C, ~`0݄|ݖO`>vU^πW|@SudL;yn%s[ȝ;[7VFх?MM4 ;u9ћ @U-'erGmk:VPT>0vM+D3;tsBV,B; X|4Ӱ:(ӵuwG3jC}d"iT ,zs<"H=G1UXnN{@iSRhH^Psܠ-KFʦ7mȹ@3r4p\KG@Wɣ{oX9D4[aaEvy)@dhɞn./3$f ЃD~x}hq"$B7"^N'Ÿ0YQp>ĤW(^hai]&Asݨ3s"/,BF,ʕF꒮2#pZt!܄$Za-*79D&4y҄@=:?q׏?Nˇ# މFaۡ6>]qD|ugs$f;$W> ̰ R#oK0BQUKm}sF{4~6XOՕuF,Ob%J"h4V03P˸GO+NftlZERsLj,lq, *6ҩ"+D{\ɇʍa(܊N~;,GA&w]ϕ'>!@Mg[: Xtixt.1ǔa@N@8 v|ђg~[i<)fy}aV2xrC3)>ukwځ"\BB̘QttbSRM}80L_7 @w{Zܬʯĸ3*ڀCo91Ǎ:!d@C|/i:6#X*څoX=( !3"nz,`û"F( mm~!޵MEP9sJ}_Lwu=.O^-Ng90+iG&W| sX7a#Cӓ>Y/3<bD37͂E}Ls}FJx,!!`;>y >mF E2_rfɕs\|\> %vm_4PG)aګ^ډSW!ͮ"$.gm\,\8"Z}2(}Ao1N:z5(V:nyM\/c[4sG`5_&C ]} ̉W°4 +oE8)fnoB.4^avINj2:rr'ip!II^co0Q@E3 =ԖsԭEZ0V=jhC@q `j"6]]vS%ݻnYKeRv 87dV, qHgT,'[h[2$0>~y}] 6_8O"KaB6j+9@ڗ I`.ӽ_$0R򯆭HCMJ$$Y>؊UyˌAMti"Yy.,;qdnAno  8V(}$`/4H;6uS^A=u#|KiN4nu1NEۛ.?L4eZl 81VZU暌:Mt4:~n ގضqiHdh]$~jH sEV v Ju*-w 4gJm? bhxe+a 62Yq.Zi\ZoI@ 7 cL%3(ig_ƟV:lfp GSda~ҒkLx^.#RP"v}OW%;y9Ogf-:v buXJXG ;f5vD,p7$0 HW`P8Zr2+6M7Ѩۊ>}FAmw2XpNq/@Lި.F4p۹(1xlWw?q~wk-So+J^_r4 rocz2Z:9n>ߧ 3UAT t;È-|u1U|#fjX#JaQJNv7dƔ/nr(-AP#{47~"Ne"]l1k1DeiZ ?y ȭ)'8g?VkpVD5_ ?:ƦZlQW"'=g625 0SV|y& ӃÙ21|SHڭ-+))q1M_Qi`2 } =+yz% noSd/*1d%.eE_v_t;> DZE{]=݅ec~Udy~H0bү(Tn$`FS]Ll7Nz Z|DpLOAA8ʯ斫H܂gmX/ U#ch\}6zDP}4 fƮC̡&'6*#Viv6#ӧ:p9pg,]:4 Ki/!|P zZ-3g_Y+ 4hqXX=|xډI㥘ڹ\m@6Wl~;XER?nfnN{ \CjR n9zrI fztR{=GP~ B Ւ&\&5k hI|Lf=XvU=( Gٻ__cĵQli[UVfxʡiP\_XHְ= _f7@vә=%;w`(Tbb E&rc/a;=-0_{oj5Z@( ha`nK9|FRG91{ZVx J~-Ib= ViTO$Zk C)")ʊ'RjB"+/s3i4׭?|Wf'xUuEiNxvu UbrΐqcPPY[>ʏ ID^<OG{@{ Kq Pz6Bz̲˾EȔWm`**օX@үBԃ3n{Wc8]roP.Bߩ8 srdigYo&"jScWc4;/_v/[i*+n\mI ]Lڔ fw *R -N:|/Eˬ8aC)=38D||aI9R MaS΅ʂy.."Z1dΰd{|h얰~![O+#_RaBJWKb&ȱ-%D[nA~ZfRh:n6NZd_уn m w.9$PUcrOUhBf#^1‚c>Bor0Jlfԃɕ<r|C6%Wʢ$;Q>f^|Vy' bt{̞@ #^(٬\B 5j-AM1e3վ`rs> ~][(p!̉hh*tޔ^cXȽ~%I Ћc *u%D^cxW8Uln/D8"/`=y!7E1CjzuVsyk|،MR2c`5GHPMݓ5hPYަ m&72Lm]o uwNW3l~YohVm)ܥ(PTp\g_M;)vrTkbkLmNoT4X͠} &\6&7U`f5Vj0|k4$PTK0J2Ȓ f`sewCdU&v ʋw*2mYNAsU9\k 4dP뢝xwjο~o7TG焾OHV{2dL!,`TYVc.S Zu CZb:, wT6ޕ 3ycuQV-$'^/%2#Fڐ.qLz|wJSR0$8_nMv\sǺ^~(t֨JFօTdp–U稉?Z&׸_MG";bc+*9·I ;:A9'󖞛!ŻU mY}|s ɬ@@d{2ev>?FN? pvioZFpjJC@뗴eiA%4SқAnW9p`D[k']H'K?2HxVdyأr[ςT10.Zw9KLk+CH >qM|`okVvlw e#t2iݺFP`J.Datv>8#%oXߍTI! ;.}̭jPYƉ +Fݏ%S&2!"UrZZ#} 7u Hi l]Zt9S*iO"ATG\q'lx^oS!)!fl #Wf|lf\z%AeWvhCuQ;w+BwP8=ċ~]HCCRuXL&5J5k9uyәr^8L &IMq?sڻ 0?J{RI9hcA LׯE*2nguQU .Zwҕ~ܰT%A2\x!"eg m[p-қ![zOpduWG2HD}Mʶ7AQ 1/H2f'%?Б^bԀ^Խ+2a\""Ϭ:s: GMogP[rCKm꾳7LF;Gk7$\b(lwo Lfj~-X "L؉GZJjL:{-Nf#( 01˜"y ΤB.֗%HZ1{M6NDIweut$$e>:aOJD>ZIQeka7ak$P?沧7!h#0hΩq,5p^!9QQ]3. {ҘI<.eE. Ms{ {W1 af2Ջ@[D?fς!S\gP~+`/޾*;ϸb Q{}ζNf`"+;p(?rZp57u?y Tïy3l L+{U$I`^ xF՞- 5A urzɝ/90C8-HOT Bj؉m<HmH_F5u1ffǍzc\ȥb˭'adh*Y#Ep3vO2*tǡF~gqCROa) vyRYO⠠GA^ Wq;[I`>m%=p@T%wF&ʷM5q}B7  _8?V֕^:5 o[`@jD,91P$&#%C [%?c85hv?LA@_sZĞ:k:ژɠ"$y*%IC$xc2<+&j## SS2,8l\LU鼤uWlQJ(NO1JŴ <}'3p`)griowwk|sMSiލt+=4b䛇Tf`rՈS1w4iRfR_1kߧ&j7 ]hrJ@|xUDq| See6cQ,uhM>o73+PhxP'RݠOh;bvI#Y U8j5ߕv#s㻎1Ugb"krW ~FG3$g!7tqye1M:f? dۈ!g" 6t`GS[ TR6Ư#g0*4pjHEfd%'cO'fpJ]n(l B+PZs;!1AG'Y ;ЃQa U+cz6dی}YG?HmJԥ`YAL^+ſLnGBbV\)a4(_$QMqB+q$~ƪD`DGn;h<{z=/1%"O2$e:{Z;5s_)`&g- 7hq,9}*PqZH%gG+rm?xZοإRA@TqyD!L3ukwJoi>W[6'*w4_շYy_O(e߲~ﶧ_[1n0گBl8g-V..1>Qׁ%mQ;[~J?ܚ4hͦ"7O[cרFa6&qNb{Ba>>fـbu8S 15K_`s)s[fS5KO4)P]@ogYZ5i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY| ĵPLBA0gysׂ%VKi9VPHz6xV'T]D+h}g6pA9s΁M:Kact8*X447¸Rx9W2QZ%o^G6TTC*c9DG:h4X]nRr4v3 *v@m ~{ქ;bV>yjͨ9z},0Xlo@3`oze|n.BFٞ*E-JzR=41TY"|ĪIա}d{+ҙ/ɘ;U303(#wi@dji;O;fޮf{Ib$^@ 3r:Zu'̬HU \G!XӴp=]dDf bN^(ANh%*mM 0eJr,-'iqtxbٮ/h3(h *Rs҉)fx =DRm,FZLG4.I (QH 3cw%oYjÉ|wp9<;f8V_/E֥9X\GCi# Vlw|K^}:u=ְog?'~? 'WFZ2P20~?PkLBo=9?;ShNHL X@^P%Œ060wˬ@)?X 53n@0QcX^8kY[AGSGɯLCZkHW$\&{ |]pOG6݈atd0QDaQCP_ck ';gŴ1#9 o 2M0L:$IS~FGyiiXDRc'ĸ{"r>b8x*i#∴yf[)l .P.S|"hWMلC=L5f,/_ u)\Z(\{?5ÌēTM(}}BrǺszخoWJXޑρ725s5#T0Xȗby ej IBOBnWzx+6}5o3c=mhM3 3MǸ]dז{br~bf0߈|^,{5桤ad9|46 p=6:cK8 ߸}r+߸߇yxsȶR 䱻h(b YLr9 hx "sF?P-sS?v1@7]ul[:)z]DBG4c## ޲̏gsѫ/~xnw}AK6S1^_1#!,OnJ.D>Ϲ&, 1ʋr8`nPVJŠ2&dDIKӃ:Z${A ~e´?mx,W|UAF$yau Poqo4vNKfY$-̨;D`壃DRQf\ ^I:|0PKTC}}Ov{m'cRџW#T:wo'Pk$,'* @ʼxn߱l6yzz}\= pk ڣ~@#E)7Eu W 9(@oJ:= :Yft䓣~g6H|"EL; fݜN;/^N닜ZyS~*} ;Q.ݕ5 Vf"HO Ϫ5*9✔ik"eH^. p¦/J驥TyЬgV)z*>qw4//޳1U 9BB촙(\DT ;7^[ͤ0蝎hӇ$\cHsOoQ)KPRŠÍfۅ:Ywo"rLcl݁l [tB@BNL%Ngnz??EG(VXi,t"½[iCJJL^=VfooYHkjKw6ny^jj)YGWSk~yYhǕ2٭&K)RۤFe`/+*TD4UOB/o(eI yV 6log<Ѧ%02vRQz6!Q?0ơCDKvm!29sgxШyl\+5pRY..x4 i= Doǡ リF^d`O>]|9tUXg0Y55>7Q [}$ZoDehIf6߈UL("mGdﳵoE Oe~CZT*3]0ӵ?T2g Zg-G5i"Gh+kT!]۰=Kgu;*#>3 Ap#Q+}Cʕ3&oǬiM^qaa;_E6"H [ Nn'b~r霴$PqY3\j&g5k\uiz[\SN WlS"*" Mv)xuZ=iiNm=4 ;7RB{]ÍSP˱֫S!$ 2&j2kf2f'}TȻ7gx^1{"7>j85bϳ)0%1VLzڴ-RlhK!g! cIA>_Ї2H?:|nC3bz{Mg 6F(G@}FO`# r"nEnNQY \4W>#dZs|_©#vd9Crέgs/SƪMOu1i!\Bџi11Q{淧i)9wv`.R7!E?0_K{ ;?-vĮ[l5 0OffuAPﴓ<߇I]ۊ<H\o6䓐-ҳgγGˎ[Jg>cӮT`)V䯱b58'lo5U6ԫ>=cy!}&u|6۫cr",3F#z=nPɢ92b&/=̤POBqĕ{hDn~jMeڇ :?f>Z?X^FB0GDΖ]gYZ  h x* )M% \Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex7zXZִF! &#']A-MՋhvG"uIBm5NǨ ~N^w?-s 8C۸I |V\uZ`&:0Of]){Gw8GRA|?9`7TO*SzMr*@q tՙFa jƄSuVX~B+4xqX!7\]]`P OkzNsT=4m(o= ?ҋdˆx!g؎t p_qiGAFtRv-`!z~ ;b^>UX 8'D7k6{4<.=2إr01 rU5Kk:5GL҄8r Vb;ЭoXҡ[CiF}^|,oW#(˻z"'P+l6p:Z<h;(BU,uۜ2vyql {>QBx+TPmG^Գlػ*vќL?x7Am|amn~5t؇Ns&_t:*Vb/SX*w#Vf$)rE62(6Pߕs{B0 ,8,NܘBts倏Qi`T easj6o@54gayATpxh*ÐI)fgPC'{`D|e% 8d:W[_5`(=l]6$#r.z7/^ZW-+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"24822;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ:K>M4y '*L >O'1h}__2÷&( ›c<[CZe0.KD:|Df(Gӓ_zY a gS!`Kf[ABdx@'h,w{A88Lm0JC!  0W'"z Yg+Xv!B]]Z{PK(GMTvq_ShZP`([bimrĶ"z]0V}X<ݬ&!s:Ӹ[%h: H{urnުD6Z'BdF3Vm<$i٥Q0G:=bGdҪ*yJ}Su0#՛EPRQdeBO@c wy]kwƯL"h# [LÊErY)oM@B!z[+AΧ\I7Łze%M6!W YCH[ܹ[*BZӠK⊛Ӏ̱||\d1U`AR7CFqO3]Ƹja_.hvSVUH [N6/.֥O ,[Q—3%! L9)edLyue=yFCS)'5$a$a OU%X?bSREB,/82>J)YFjݔ]TBЦS\ <*]2[w$1Bfc@BgUgnFrc`F'H1qv%FbԁMw]%'"Yj.eե [>q?Ue=«kQ*Uok@_T #>lp!4<aǨA`eh;&^/Rz"14/28{lęy|mT-D{P;B+^骘+SdG?he>-ClkQZU;d2NBd]] YC*2g>,#'SԮʱR|`i傊NCM+y3-(7T|RMiyRe-V S:D~o}B0_0g%o<9\:1~ L ws"|vb8$K4=ZX֊:bfI]I?8QB@?\eB=njކG7.ɮ9Q,ڡ5~xACĕ k Ɣ:qB@|(P"7z ˁ@tdXVP nJP2Y] R;p ϸ1q晫+y%UmҟaWOnIt_xR ³;]`I SOj<`֠GH|pOƱW (5nH=}q..5=*=KAz8jB'{6UXIY!m`,D7,Ħ?M*?:m:zއSK/c[1KcimX Ϗqޏx("o\R]~ XR4TY)5Nd=*% vm?_4b! 7vExqBJ\ۯ O1]=wxY4{\hoYJCFy)]6s F/ kJ%iwoocl:ڎoޢHRHD?+oؼY%떇Bm\Vb ?bh71zc @Zpu&H5Ɨ.N('2DAg'ل+6EUo:L8#"ރ`7TA+c6 SuDiA(- Ŋ "FM* L2r! dac/PhWx5~ڭANhe+m6p_=jX 2'iI0|~=N"dFDN[ B``z蹮NwlV˥1p0;VCAwS2p[19yx23'5mفJb^ۅ$Qm)41L_7*#7 C)D XFdٗ \-Qw,Z3=B%& ʆ-7YIt *zL6Uϔ;Ǐ{߳o6t ,%O'ޓl}8,Gd'(=!^egkQsN>ᡇǓx$Tj>ZH 7"]p[MViM%T6&@|iqaL!jGF@H?.Dz>^#&O} ՘_ q|JàͱO*۶dBctwEΉ3[WvO,肶*/"w$^MW|09l׀iS&̷*VO%6K=q %9&z$ü$!ܤPw yqۉvJthJԸ"a$ Fw@5}4J*ѭ;(7Jeg s_1P'vP:pfd zcѓyM& |Ns/ c."1)@MjցAk"uFoXm64_|oתqG& Qş  U{qrrƺSC/իX]w |ؽQ̯Ma MiLs↫8[.)zzTj$by/ 緰B :I=񆍔(2h)}nX3~>dP%ʲ|[m) ˯Doaaj5 Hn]!DN* /;RhqP7,LMBXk;Wz6#+NͅGIR~ Lۑg.?#&c3^qb,TcE2"?(&6#&3 QE,fGT/+ Oڑ7e~8S{$I;qʻ.eT/ZRt@вvXXP.Ƿ@bDl&tCB H  Iʧī"?z4j#o]OqKGv>h{o)'wʩH~[xg ()(fp$FS@u B civ9v=t4UࣰVds SjB [L}B*!h *D&@mKe\EUaOvgffA92f|&vpA&F!"C5q\~bJWх0H[Ԩ*:~[a y CƑہ\B)1e:~v`޲|i4sWb;U_>(!/ePNąJa2jgXt]I$ Xת'YC5*f+#o ]Xduݓ—#e[ jca~ϣ%7X2u8 Fݪe:\׿7<`|PГ(6bEe׿g"7UG5f KXΜ\;q c,֒s+34[#`X3mTb19k4ȟ` c^]A2/%{\6h(o0h7y}9enRRWD^Ip_ 28,!ַt^ӫ=[WΞl&(/ CRt/gWZ"s9ʷK9ZôO HBPɉ\=t+; %U_ \vVw"0loh )H9J aGE?0v;gW!dQA}O"u'Ukx7|xfMʴ0˲0KA,k 0DKXw5M?+`_#2bKԠwtR+P͆fy R*dd\$ׅDyi\4Na_{j6}g:>l<ʒ)jY?W܆d<#?T<+K)j{wzR Ya=Z 'i^ũ},q,+,ޒ*4҅J^ Wp_qyUEvY6;_n+I' /IK?wZ6@<3j* <[*1F)ua"fb%aa}8S'ޏ3AEBKvSIL/?aԟ\gi+ >p:ój2ĤF mKŕ9=\D c˙E4b&AIWLQ}sUaNh:C׾4ZO_D7Hר!KA[X"z tGL͉jX;e֏7 C. :qzհ0(guư֧C#KL*O 'c~]ӷsq/I8 qO"< {*+ϒ-LBB[IGO$Ď;i,a oUGk<ؿ;$Z 4c;tO].<-"J/!t{.wl֪ #r?dX,HRZe0 wuIG++>h*1A<=K;@~Zt={hfU5kpq"qOHzVwQ (O+Z2.*~06lWMlw\U (1&;]x{hfدn}L$s~:TXdW'Z0a*q$# G }=QmO|*O_RѐsY_\)A6Tx8V8f+bTO"ZG.'gbg+{2׳w@aj~XqocruL$pPY=,< {,RK!⪭' (VpX+RH^P'qhXIj 5"Ǚ$J9s _ \8^[JpoӒgzD'ũ2r PȮ[20@7_ gЅe{;$C9SPPf6;]1sfLKC<ēno'cV-i"ɺx߃uy!&gp෩ 9 -2TRĬY5~-]r> k=퓌 甼vVsQvd8dœ\tbksD?aQEĵb0 o1DhHZ ]ÂjP' ْhF{N gYZPd#c#-u8kЪcSGD*ܔd woY,Ju$ՊPtb/pl:_!UCsXQ 2#q$}o[&PD aꉖUꑧ}^B`Ҥ&r>s|/,M 0S\-b77gn\X>sz6MaP?A:ao٧ `% [ap fXGd{:` C?ȢY{mQl[O{U'>'A%uY!wRt6 ](A&c&I )qœcNBأ& Lh:j'.uQ1q+}LN_/ET`aWr>rtvL^$6/‹lS8[LNe.D!SV\Iuk{VNJ dHUaj<|u ,>ZFd)kb&Jg>Sq+_H;*`%~f3xw f L/(v! C*wE0V{m[1(ˍTOu ~#2"ՋŮa%K;gsU;~AzK Tü"{8+ vYèM> /DNଜgA6gxj[.93/)w( qP=Bץ3u|f5c}_#i'i'y"@_ E l4T&2Z!{k+T ;%N[ q;fA=W[XB/~#psDv Xeܣ$;r@{&ɻDqL-{~|kI"iҖaf]Wi;H͉_7X2P502,ɖrtM [ Vl//hhtX@4P !:$_+F/o\3bb5>K\IUŰri7sxq܍FN?lh?>ABTxhw,@3rf[oH"f*j/7Ƀ`n?3;[$n.dF6)ا9(fsm)=kFd](:T/iY;qk;#9^֚F,][eh-ĻѨ[gzK_";rn58LʒO)e #3a1S, h9(\oK tA gjk֓S,ԃAlM,Pp–}/\h*LXLXT02GPO/&׃3VvH}~\"Ť! >Xp Eruvx0[79%zc.G0TCD{]E R[=ٯ&h&8O+GKR=PE!tD}_h5I{fx\HoD+q*yDLt@[spiQJ _5922)2X7٪fբἡz}y쑚RB$q*N,-L}lgM׮"*)%:bHk_|(_J},m'Uv}XZ3ɡ/^/tJ1:Bijۗ߻S %fVxVtZ<@BI«Y6Mѩ?A)Bc_>ܶ19* ٢jHfCqn0<DeQIVũ4r|`ԛUT㥵ɗrkY쏥KIMIhzL,3*\ʣe{CFo& ɉiXfQơFyXuQR,4[w@R+EqYƄ!2 0GcÞr~P#$>]cIT􏚣7nyİhoPp 3dm))OG+2ru3MJ׌z،4Evߚ8 c`?OH<|6am'bk,RW V#Sh)4_j?#b5~1Q1E=Rd&SFKlsͨueI+ P^cRE]RyshTP"Gh"B̸ 0đYOkWA`HpBҙ B96ȯ|L OL!ibQ?b 2B?9QwF>bT|Typ(nsJ`!e?z'zpڗ|1ˌN& چ#}Gݡ|Geg3J^:.BM8؃U2F"84smD5=63nyy oFJG~+b2řr]tmyF7]O1OnA^n-K.d7<;W4m9kz*v5_xN;Sd'Qbj!Tǵ|AY ~b'lZue 鬞s\^eѯ9qzvE|9FL[ꥀp1;Cě:p=#]0.1 lڥIDY !|-r4\M6sKs)r 6aj{x."c@з'ثB xCR=G~՗Q"mrP.kh*XJ j{oe,`g! *zAŮ!1i<4ћ*^gFMcҤ^޽eQ  Ѵrβq ֑+T6Ց٨ P0ABL)A3\y99vO%q_8@Y#tG]l$v>B01ƞϴ|(W56& 5` 9[#@f}U*ⴕ噣sP$cBxDYV#VԃD蹷6w)g1W?o79\Au1Vݽ$jTj8TeQߖ)@"8k %׿KI@T.8-{r@N_ۗ,FVFw(?Ԍr @lfz5bY3tG1 gYZ Q )M% ,Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex7zXZִF! M]A-MՋhvG"uIBm5NV*-ɍYF@vWfJC(tSϸ?ؖꄈ K𐯬m':J_>ѳ&y|gnGz33? yaq_+}Ggi=)My.o wEL 3gD?_x_\#o.Ao hRM!nqcKA'amwމ̠|]s&~bO :~’9Dhŧod]t k |~n@i[taO*P{1S2eT<$")=vSH!`[g/p?.3=g:Pmz$@;Q~HQ=&~kS ԳW}בLũ^Kbsg94\ (;<܌5"Sdo\bh-1! V-RGhq14gځo҅E80@v}az4|&z̞BJyt NFﲔ m^ViX-b^ޭx >"P+Wh0G[][~Ma#ЦjV& cf ޛ3n֖C+ZLZ5d\;>ky~%nl㓒tqϥ$L0  S4>cn=Ŵrp& +o]2EDVQaBgOr8DjgȌ6;iE"vJw;wn̛ mEu$'ye"KTn+aF00=Dop5?"%盌?56Px{D/˭r"S!kbHʎk"F_'T)%i IB" jAXDF<\m q/ Y_ʓbMɝ#n @ތ7߯Aզ#Ȁkb GyV["yh+_r'v'&YS|犌Gme{5qge/zilה7;0Ԯ,I䯂,fXdDH A)I^ELc6Tq-|U `QQPkN(}W;\{hck7W-ǎH`3bH_%)jG0gl<=mQTPX$GJF։ YRm[c}W~VXSo[TȑFs:!٣*PdݛOdo:~[mT^яxDJ=Vk)Ѐ,r vl26NdabS xk X(5@F|2Np Yoz* |>EP&[4I\*GӧݤҌ£vٴUZo+:v8pg6E;B=g04ͣjIQ:vX{.V%gs=& Ydŕw$t2]E.a0bz`K'HÎ:c!w"EYɏkPFt;zv,79R*jz?YYVi e)uơ1Sɛ] ?JuN1E^;k{[KQ9#\;uHYeJoROOCGc:|s`<|$\1 ~ax;0fO`3R$f J]YZr;ri{fIhreQAfտp:6I:*1^}=ߐ!vTfj5]>"I5{< d#6 Zҵޥ.@Dn:M\a C3`kfgG.B;`*ZjlHJT֨AVܫŔMժo si+X*u@3SVDd}Mԕ^mԗ7)PY?s0lS̎p>e#1&JƣʮX}ihFFnl 7# ZWLrz^}| a:HᔻH$غ2 eșmmD .le:b3|^ EW/JI{\w\nL.@ -P-ؿ- '&GZWmP.1u쫷3zyWNbrEgul->(:ͬ@i̦06j>$yfm\8J) N{/|lޥ=`lc%luYE0n4F̎^&%>额ւy{_HXQ6~vwxVYU\%M6gns[f nqȳ a_>Ya vl oSXEj!z@I]77ËR.NI!RNjkX1~ x+F>?uMញyOH'2;iThlۦ؀̄AD.y~r?/0 'W"%5wtC ZAMrϒ/ ĆW 0+ }㗈+I -xng_wM&J%/3H·-e1E?Rw5j8!7-$ ZNxlL] i78 ν7R }W`_䰝[6SngKuT]8::Ԯ<4S?5ˌ3RfH/pyl@n"޺ ^f < 6iA#m-b,b>Rje8+/,|e+d(:Xe̚1j(:S(`+ sMgW[ϙkrڸ A]-q1҆՞}#MB8]xid?.Q~ :;[f_qPҦlXM~TX`J~I|Uw4Nv{}ߚ3uxnhE$1Hߎ-ٙX` Nsޭ/]˸^+cIb;(OtUڗ-7DϼneWްdZny:=Do;>N(;-$u0ߨTL3GF[7F)*㰈`r C@ Cۯmz-بH򋭐۵fS><~^ nj Qi=|3UsczoThfvE,P#qM_Ŋ@7n풂iL9e\AXUL+y g 15US qβtŊ2N"I.Ux2kWՏx? #wf BsS/u"SziO˛ ^?K3HCX'!OsW8& 3L5;|A>C+?'s 3`Nkr,8Ccx@བx9/s3! z~11Cs~sy'tuO )q5"vzZaw}2tg(>A9IJ<TykLh|$wμ3Wd̒N|o)kR~7zx|;Pַ5\ȳ=l0r{ @Kū%4TE}Ɔ|zxPGi ),tW9>۸5G"}QVDQK16jq>ٳCXڄ1Ӽ!RqDZ3J5l ~n+ Z;fgYZ )=% HLbo^HχP7A{@bkȢsocjO<}Y<&߄u V_QH=ufMV㬘\N#Ox`ϵ揷ga(blvRZ۝M`H5O}:n ;JzLv\(Pm÷@){V^Z+$Dnȑs9%MdkV(N|9pV( |-xM393;HnܩĔl/Z3YQVAZ kj2'%R;U\8WK@MUˉd*0a~چ T9?t@=WPOC\RrWyPZhڢxLDx&6}iN[LPKK_>9Q+@x1r -cػہ~_@ywA'"*s1h`yTCI&n0?'Pߦw[yC{be@F4 ܄ȕ1 ^w7 ~  ШuϢLAG+t/EQ?䞂NjKG@{J@/m96wtd"3MXefrn^j?}~Y`T b2휚ه O%MrHTl1Θ\ '՛Wo_r*mʔ JZ+֧W.:a q!w;%2NS,ZPv@ͬ(~BcxFUx6tV$4!x fћ7{`yFGXv}ɍJY/a[;VhDtwYhg;"8e@㲈|_I3%~31+ a7( Du ncNY+W>jbɓl%|ՑL !HT?W6gW?&#XU2H o%GAuj0܌vmPM,^TОQq1(xa&\e[X^)v0'/*lh}V{>AC0=-/^`$;}C!aZnJ*˭%z㒔JwdKG6U.?=Kr #<(ͨ#2=6^8QFtˬy;usSvƑoi&]qƒ7k 8 \d#WԺ*fj;HAΜ{O$P:wBG[?y,ٰP_:Ǝx0c W]s>u{q]fE U;?HIWv|4@Cmt e ks;ُX"G {qM|/1Yݖ`!`\ÒC ' Ҏѥɤ1"Ǩm`#Z͔@>QA8} H6HQ$MZA@zs5pW^>ʴ7j}2A Qu>MgF}<##G5Yn! {Cc6pWgAyq*@2_ ;T:P0.s?m?}&8%(X<'ɝgV* 7~{r‚v&"rxŪTڠp>%(sմ?Iv\P%{Qpei,+@$ u*>Tt:PЪ;m;NՇXزU~Iy1jV4klTƪZ2]*4jc&lO B$ƌu]'O$&yJ&\ۿvΝj{kb'7Q 3^I4 t$WQ >h>NqɡbLM bdzUҖe(}CGwg#dr)GiW Wχ:%L8k/}"C;C.l{s.? ^O6_W )y a-W,*KdN I@}.rZύ bRxi,`[V_7wwKٓr^乞p,9F˓8w/.ݗh ڼ \!SSWZV?wq-'Q/XLW[Cfzmt"PA P}}IfMńH5;[sî׭2.+ASBxP'T@f;XZn%GA|h*p\~%_kA@p[K5BK!Z 9̻k]i(=Nͩ>Ȋj7:EUp,X 1 ]ޫ @zg8@!) @\rÈCUkJNS{$8C"d;@$=%nPٛɇ[X!\6nوbi(R3n<"!6G= WZg?59+O9*Ԅqv9G3OuX6JX؍V؍Hۡgh"%ٜ:sl/ gm:48;'d'7!yFׁgW,.6@p$T9Q Lh 1YQLuxp$UP$9|.~FհᏝ"cmwDz ӱJp- F&o`Op)]8+.c*X*)s5vB~69GT\C{y3^\4QXsaW]d[#84b}@L]7^sF҂Ot`nK-%e33@‚fG5cHnDT{t _Q,/Ibc%C|H |MEtreT[u|# ߔ"ILM(i%oX$`9¸~KwyUv}2_a^^pAl*K']#|0CE#b9&;V.?Xngt@nيoH>A= ݷ}L'֙6dم-u '|uOBuu`_PTTl1AQ&Nd -'UeAj0oi}{ z$ћ^vdiۖ`ҼډU *1+ P\꽳<RͣIZ-N #mLZEЇfO1zPq?K2e ѸĨScͳBBw= ;Y@E4ILK|~Cb&5Jg[0BS(BQ: ~IExW:q w!bPl ?cX5\ݾljh.KHX8Wz:BsbJ\ ^;Ӿ=6##ց`p]L/v.]">)nS%C|e>ւClY -ȴIoG)xb\ UE1*YOB']i]ܵ^ I5'Yt]o.N!}uiy[S9K-Cho kc81@]SDn ~HIhHm[~d:zyS/ao!јr->dֺ\ )dK0u_gYXITкZZgM$:*6HU7bY- #9X߫#N$3>yFpOᄃAґ*0Rҥui=6eDN$:Dlܟl,`>;dtB7VQrz5ӠQB FX]І:PJ'X l![]I#GޮZ52$Kb"$W@4'3>ApmU1V{嶲u^a&V8>0zC鈣?p_\ь_m?x. Qޅ~cc^_じ,O(:qYrlbxpauj͛gVt\(d?4dnMb !J;)Qw+flqPu6~4d>:L_6 XZ !nߎ@,!]`1aڠظh UtJǯN4@1. $vmjl|[O*^ywnl9-TwҠY074"aoYG)Ij>EPHL\=Qc¢ՙ ½|Xzţ`gQ r%i8_yt xfoW_.aCP \3!B_  k#c)&?&_ SGDSExq x-tF\[(d8>Fs?K309i8HypSEI5|EY=!Z#S(4gV5}Ndd9:hEd8>%24g$@*K9N۬p0j<6'fp$̟"놝{77/F̡R]1ۨHԜfĂh]ƈP㌴j ܍ym"w9ߜ2R]jm'2lH!d^F=f VBA5.jdGbPryլ{zFUi?Ja#,jx&tpLtq_6JkƷpuipa.IS:WRQwh 6s7U ޿KyÄ UXCOcv'FL'Hۖ<۫\@ؚ6tg;=RRWQ"7AZ  ~j{r|)7:6Y=$UR\c5ouIapesWk&L$};cI3p9ٸ]]p;#v.3E3Nz>%Es\}:i71سmmN!uuc"+6#!@d\LZEꈪ< Mm<@XE-6/e๥PD̬ael6Lvܘc^CߘNdTAUS5OW24i)r`anaŤވ :_q̉@`5 wQO.n_I}EfV wh7{~1.=pr!9n韙b%Xӥ g)xl8#2P0<PYmxS|`kX(O )l¼Iu4hBj5 ɴ5NbR@ A`"'<\I`bC,,Gfk`ơvAN)?% 4Refine_MonadicRefine_Monadic.Refine_Detdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5NǨ ~N^w?-ʓF˟RFm aV45D8g"v4毕xz9@xt }TxB#Lb޴`nf < R2b:SIs 0Qo\kmM֢ZT{kxA`Z~v"v]1At"hA7tywmy&yo),U7F5G|?cs1]. PkayڊCGɘTܿ\ Ay/7. 0s+由qCh5jA/!@n}a0sc`e}6ЪBQmn7A3~gi_H=CWF&mh+L}~*Fg" hEz[)I:{&U8&v꺃#Avlىkv kej7_)ώR4~٪'pM V3§qL~h9]& gcrb~ Wk|T:c Fc]zƜyfÍSǙ?=:qbC[^G_47s[cAIEՒ4i 4Yy>;+u't]&«Fd-dφ%N6<Ө)I"4)<09VN613slEKЕ)+{;#t+Wo|Q,<@6w*p8[rqP%ESetSAh~?N4Y0*d3oD8{\WeY)R#.c? %d>rr>Q> V_q!Je~yX`Pd ️= +xP c(.D*8F/e!s ݼ*0~S Oi1Ю^+r]ʿ[ w +ぃV~tHmK#Gl(niAxj(`;,(7a{qEnip-j'~wSW1!R=k/RkDP:dv E &[|0$޴4C,;w/[MY?:yFzwTaT\ѨpZ(-^VԨbbD`"h 1XSUʪfs\8SC}ȭ hJ8:jmègP|Z-?@\wwСX@䨆뮢u&l7ۖeF;m xAKRJ Ts>NƺrU܂YMiv U ܁W4Pc2@C߉v*g J\ ?CVݲP*`-fSO dS"kb'?er0X?Y;KIx;x'QCk}pJGJJ^nCаh5cҔg*5&nDT|VM-둥%Jl倛AX+ҋB?3yŠB8Ȭ "ߩt!~&H(țaz˵+o+>{aGJR<(ɛdYB݂/۸4B%Tb]V,Xz{Ҧ$Ҟ.Dӕh:[ ゜FK1n4Lh_gAtw)s4v@ފК=OeD( `Pr;f̀g7Zgm%x'iřòbS|"6RBEMb:#~KM:% g.QC-twdE`AC_8OlL$WN8ߛow[glǒL5T &u84=a,uJd!exNsO٪ -qµ%o$9 M^'0l 5Md.6=: ݵ*zTa*fi~\n)6m] τ72SblCPCv3Qt)ރiK[ܲJUh݄zӃ)"QS9㫮M,H8T¼;nR:WƐQU}1;P{T`D+%h lf Z'weg8(JFW|T~%a(9*`i§fgEaeЦD529ω864pN.g]Ջ!hN 7ܡJ"͢3 qUpIGO:Rr"л`+Ym]za$tmqԌJ'eP~_X4edbQ@'i{LBoϠJ8O o3ǘb:b$ND?ÚA[mT"ȭ*mȷ-c[kRP]XM=`WĊ}i2Dod W39V 3T6 J57x>?$gQ^D(tejb17e}[]\8]^5ě7"FƟFN~ˬq j"_rMٝg@ 1ÇCXz' e p܂p#Ci`K=:䋧L! VL'F_J :^aUb5\4PMvl>Jʴo 5M0'{̩OM: /8R'?KQ p{!,'5@@}=T?Ԍ/okn0T?sXZgvߏЎKkUD>hEK]P˨1Q]5A=ne'70j9:KU< u- '_yA5% Aa8]F vr O-z@gOszj5]I@q} icV/r@SgeyN䴏_*iXQҬH8{9i=z[5e=d.oNم`0ha! !RA-^1LT.&\b1w ~9xڢ pPQRQ[Pg$uݫ_ZWO UHl4DjHJx5fQu^q;^0zxhf,<8Ph1SKB/QMMל6Ƥ MrZ>Rj ~˧Ir4^3vaeL67"8L7|NV7[6I#r~&jP2x(I(TFbv%'Oy*_zYWj [Ae )uTQa)AGbLf٦7ꢝD="W!k)%]9w LɌkl30M :z%Ej a"Hs Х/ vP 5+$9̀c V.9gU=eo_;EI#4b(Sc1X! ?Ʊq6=#r喗8y#IZFZ8l`%Si^oO#׋j&:-%Z`q qUiX5KOg::(兯AU4x։IɏBH%4䡴^u2XĆ}HSvPS,/drt`R^ts0j*W;v.3 `9U4[TlLO$AZ>Dr z̡lD_ciqYlk BR#21 J Ҷ~YRGeaz䛽cRa;x3:Ha IS;Rd;Cœ>RoJәx-;__;ϟ^={3Ŕ

h4lCI-^.ǺgYZY<+=Zcz7O"8f`Fo+ڻP"bm"gǨI< Ayw? XHD#u俣 "u1ǎ?gEʨvB?? Վ k+JO(5hLjETwj&r&Y!a`=)L`-C(ɸQ#8V{L0B&gL&"kV?:gg5+6/|tc'EB|%+>̪l_Гb{ ksiԺe$P̞F:Eo?2׳4c{.wIu:@ffka@u[浰6K9cQk̇˂לh? bh".ǽ n{\%C<$4ɟ >{uj;`3'ɖz3!ay`"X>|~;εqfo;+&h,CD TetV^SPPWXj$9L9%mРVS1A.rhݽ;IBIė+ 3w8? Bog۟,IJ8h5l*-+&jAYnX48R'K]z];UM\y:7Ogz-&u JtPi0/ȂvquzA;:5~ͧr=*z|\͸!?JV_V|i[P2%÷$r]OgB5=B0AGdlg'}ySgi|Ӏ͒I`mT,)koŶZ"S 쐭K~$7jsUT5#]7Y54[nmaphH0^PI6OͅnՒex`Fتu<%_YyL*Z?ٙY >j3QɂII /ȏ2Fl]_MGY۽ao])`b%s6PɎvJ=[uOD2q|ʏ8iLlÿ|ͧjϰ%˲ǘ#(1 MޑMĚ:"ŵ̙O=+:/gDz" Ws9DF7pSa~?%%wJT^'Uj%W~5_l-v!1#6%@ywE::ylMf9BDݝB }Ao ۥS>;Mb;ZO[0"ze*vQtDIQA)z=hǟX) 0 $@ISD.Eykw!14 Pd2 .)ЦnP^QӁ0-Q:]sk{OcQlzls6 ;I[ե=(Mm_A?oD184:~߂ԇb;IzQ H '.tRi?šYg;1.۰7q Z&Yј!uRS?!9o%ȍ=}81ҔzxPrdv?B7cztK5)\K&bIá2`gd%Q)X`ŽimF(ٹP̅R88v *R} X3cYE%LB>&FaH5bMv iVQibz/ɣs5Umؼ+P=kyѦV7dЄ ӻ, >,HG>RyɺF[)˞]aWvm=ùnu=#e!8pwRʺ'f < 9LF 91~kYs6|  #=7Ņ# 'za CX1Bi<_ՍE]6f@^fJ_A>v?J,&'ER(C{^T0|@&5c6hQt|) ƹZ`:Ufg7 鹯/fcBdJ/+D!*1=lB/>"Y8DO.j?S?}S _D8yZ ,9'l` %B>Tez_o9+Bci9Bo^F[3「}E!'ztQYaҍ@#_wM:v(G'0|5o+(_r[~.SdG[$}jkU0sA5U$H4|2jգɏo [|D d{Tm]wdW_wTr' G'C1Aw씛X"UfI5NHlR /lHmaSҏUhvxC<”F}8uZGf2ַrZ4Tq>fic-+N-: 0S' )1, r|#U5 9GAK@VzYr<|2 |9mlIBʏ{x'+jU/٘*a'e A0Ɓ.]6rE4\%цq!;hĝY;ATM]j@]$^*QF6wpLYĚ5?f9uqr ޛ FC*=aݴK"av?`@i,j@{7)q%5m1jfB|P[n";;܃I?r±pIgb`ˆB U_ieSF[)A% LRefine_MonadicRefine_Monadic.Refine_Leofdocument.tex7zXZִF! :_]A-MՋhvG"uIBm5NǨ ~N^w?-U!wVy,.J -_Drن+Sd |COtj}E霭͊d|(M&\HՀ&c3hYȲ|>蚁VY̱#^3߁m9y<-ql*(Bh=`i{6-!{hIWnlx ny]?%"(?)b{-#ƉҜ W@gW?@Y@oWi^<1~.( ݳ ,/r!W<;~ xdĸ$6/X5)@JY*{z=5#o\͕n̒T3} ʕHu JklL̶/K`^Eܜ܉uL,ह.Kq>b+`S-hSE!r޶4/RW0`'b*oe,}(O/G{G{džfWm$5?2%t0CP@o.ރP$ZƩ%mz"GsT({+&~ (8&rvctdh]CϛHhl!/xV?x3XEۂ#Ϧ#SyD+uEXfpW 80{g1TIj]R ,Ű^Z5/lNI-#~=){ j.ZItq3YXSqQs+Mуp{@3$^ 0̟9 kaKYe/.%tDSuvuG1hV<)W&!YF=[U++pu<Ilٰ핵}>Hx_n_CSDzkQBu#FeGw`3aLi,]]N_[ KK)TY$Vyn&=(s8=Gu&"rirZ5ɺST?2!u/I<#/uZIS,.}=,{7 mץܸ#`W'CPESfI#f}9{X۬8yJC"Ȳ,d4jI4{vãf8*fn!pSV1C<p㽄]80'l |RekcIhLHF"{1}t0I**#1{XKGfQ0L3:Iْ#ܵM )xDoVxaRB!6:A%2}&;h^^Ӈt_[ &|YZ|0['Iec7"7DGUtBRoe-vGqAQ~b]a$-l vā O;SnSo=z^VrxQJ_*ײCRO7F(KF胩ELjIf47E]O+A#tqK,x;/0vΝbwdafOGT"K<Ȁ;^$LC#)dq_ʱB3D# fYz   QP>|gs&(@bϪgp% `-j cV͛m;!C51>A{^k`,8dNW?(2 У 9Vo)4Ǹ3٧Vx(vr,HԼ3Cx(p .x!Ceg4gXiRt Nƻȯi]$iGdoA)ڨ3b%9fUt{¿{,* p>a-݅v9MAr0V锭)C~Y5A7/AIP'9=^X`_N.]^I^^!e@"F1&iD n [znxC|u v:rql5|%3lyFTj\TA;_$vcyp~?-W.T?L(}`rmP 0+.GSyx &!*jx=9 L%ٜ=?/Vagꊹu#}e,\7y {gO-)kбu*'WW4f)p{[s zcߍdJ*wNҴ#aA=q7ɔ+ȋ `Hkw3f,\4Ch;DఃG~>E<vVțŪ>1-kBcMƘٿnm.Uzf~U6k H^:-9DxW3o5aIK%de<t:l57kRA@h ?  FA[Z~MNOej'0 L mY .pw^Fˇ*0xe|WA71Puٖ7d <=cTo9ѐ#t̜dᐂ»p%gp)P 2'?f/CmpBh91?,=h= MpmUMbM9H'{Seid[_V$k  %!s]֋(B0QbVF[#r9R U'G8O4Je޺aVgЗ:}.l8xHoO[ v 1#4:>dgØg4aPAjep?2A)gB+JArp6p #O&憎4a_>бH JY#K}*[mXNúҪ68 y#$g9*4qW Ql *czG, hdCU.G1k$_Vd]'Rꂠ/HMvfOA[M(*rQN2eřJv6Ў]Ŋ7pi+ osƎA'z[YgǕo&NXQ"yH \H(eZ}<,I` 5@[\E+t{}fYV|pDAdS|;00. \:l3{ca\5Ot2gE7HߤkڇiTZXfb&n5j5.\pr@:-B-0lRdPsCM~vI/1 FƯǴɉQvOu<-ִ[߈*BGÑ|[ [eUdu}1ʵ<9pzS le#=_|RK};5Eη*FBH%=GT:,lps{|(WM`ސr@5WBQ?Hx*74LGo nFIj޷.g%|Ҹ"3=,]6kʏ~n2Sk3صl_~ 駤:P,zrKHkޭjFё˫N&#С.B,~S MƮA6|RB/ǑN [$7$o7oJ:L9zἪR{ڒN XR8$UG3 [k? i U֐6HHܧqlt&љT]6M{JNd)pj2ܫpG`񴂹 n)cQGk鴮b@V:8΍pǽ]phn%e2f~wnOYP+g qlݢV4_X(Q'].I_LT.Mz,fٵ2S'$8&ޮ'N-4oiu'"P G<|-w`+IsPN耘ᶞ ` sA61⨶>2Iw0Af&LX23 OuuBű FqxLƘ\2!t#/氝Nc@n83F_aOzwg=h4F56MBӧx;Ӓ,LQhOȑ)ql-;({EQ2 Vľ>从_*[aE%h-dsNK09*nsiVxIYn XaЈ"7Z&5"er$6 s6cج_z4>PF̤RO&Y FW'ʗTlTe<t/,lK<#a&a2*Đ!k)Emk.Wˏ0h-}':(c&Ghi9,6ܘpCdQpnv 0 Hէ'J!G_%8Cb/f`?H!vOL\$y"]O*5TvNV Mhw.lᢽ_G NR[{d؉N9] Pȓ8;!GJ|.j_YOtb)sLRGA@.6 ׈O1X½wt澓 ~vYWE& ^rDkbo+2g[Pq9 |GXr] UO{ls.9kaSqdk9YX8'Z;赻58duYJ NbJxM[P̜z (vb3V)EtkڬR ׯuS~ǰIזz∤o[AXg( O\yS>πy|ఙԑQUrڤ@A &e?%+T;:o)/2QuFL3um7K,=Gy=ujW,Rj%&w<25v`ׄ"0 ^ 7=?;\!+vh1zAgYZ%}lίr'Y+(֥* Îfí'|q F8Ѯ"2UU \XoKY;븉 &~ N/mEdm) Tp\r`\r+_(;w"Â"Jԋ;$+zG/[(O̴f~[Vp{~ۻR#(5J\Wn_yCG.^m`$,`S: qXK_|hҾte 3 wA)%cw^={.jۿEwuRs=r5d2"p=Xݻze\'9t=o:%mB1ZP1K8Lt$~abFN#ҷg܃!'ܛ ,)[K!Te LkI.kRH֖rgl1E#4E40q0wss=}yAx@+E B>*^ksa#]u'%RPWÊY#? ~3gק3פ,1}> VBQH9J,ݬfO঒In<Ȫ'WRrgjӎ)*AIJ7,EXg2>9錈0-0Ogn/_reզyր ئ,(!iȗR/FE=vD((%h+ _'U@ (TBE+-J%3tB}|`e6VzNFAU/G!'{:DžUuSDMN4q ó2At|g%#ÿBG]? kD5ztf묹mڒp|})]GLKttB (=M[Șcjǰkl-manh0^vdJ 86kbK+FWƠ+E1'ϟO"]=al tjJ"LV*TnHjZR`q{~e9I42$Z/O@LM)hxE+}5%Nނʧ4M~\!0\{-WCCPGeƦv==9&)~>V󠂷#bsi^nÔYܡHʀ3{< +S(gvKv_M/!='/y6a>x~-W֊U׸d%|VQb nMS_1qUȓ+zdRBlႥSe7)^^R.oD' ?qsǺ4ܖ$ =8v2hKm=# ml2BZrqDU m [ 7?Z¦`x0 NB_jf١{͍HL(ӏ] iP' (Fv!#\%Ph1%tՒ? K;\cí暖z_q/<H_}0Kx*B4dR! QJҖlyq]Xy[s*Iniohimi0 ,/{b. *'džɻ"=pfP4;/M_0^fq>@?G?3m Jd7<LΆcIzU^E Ta"ubo2R;{5 o`S`PwUI_V5m-|>'u i/ݐ4[z8i;vi,mЍ5V,[ChЈk^VV;D]킣[ĵa1USBW<{ҹ$(L āQx3z2Z%CMxueU1/4 98m*HZzQB>3E8;u}!+@k;U ^ ϘRd%a>Jh&FoTřouQD-6TMa`ʳ-XB%6%縗7f$^͡^݅ҖTL<)S{hiQAZm`떅]&(H2Ltrwr{D =<;M|DVV ֣_P,'ͥOKͫr bYuc ! RexcN=:aY$:M7H<y$!wy Oڲbw\.&lH_%q+DSܮ L) 6/84`cC t&~a圧EK?(T .མ#{6;hqIk/;H.=9?d@ھPb:xHCgs Ѿ4wgYZ$st9zLNy3 @34Vqo"-vDDeNWڨ jwNkNG +O~5dKdsU(HJwUpd<:m?~0MaIq[eMUHRHz!vDOcbAxCa_I"<ܦkg#}xrFB,i}-Zo#/3ޠC_#cÃ~Fe_"çwtYQ0xL#ycbzL(! %x:0%a?J3Tl FMWܑm4i3h| zq+s$b^zNs) ܦN $2y mɑO1%&3,T` l^AEmx UB4GQ\چpP6]8Y*LE~_՜B͒aVhյgُO7]LZx[ސږqWxV#֑p 9 s!()߱#fV(Ӡf"#ww<_nfLN5\H\-W;F'8锣}_[}z˸M;ӄ@umƵ{f[a0v $ Vk @ pSqEP&X.%Y}q6Lk yJQGE>'[ͯFC NQSyѽj+ur0asa;UuWĝ(QiؾoS"UeR `>n$P6Z}@jo!3nכ]gIEkTA obC0E"Yw 4X1@لG%"&[NFzQPFF^P?1։sы BVƲ!sA5v~!@ƄENd n8 k~ j"2Uwow/$s" ā wfBNteO Uuu%V.yGfe<\hei,d ;$WKDt2۟aU_`5M]EiI\D&ϬDts;*x5;CIWp˕*u|XDŽȁ΃LmNg]M!ՈJ+:1f|<(0zÍbۙ8(zϣm7}N;AťRf[i8 7x=k8X+X̩]F̳#[ܚUbPōܹgeYXq;Wq~;NZ/D耰%/91#.JB+J݌FkC$7:O& I=!vd @t,ah,_1(ϻU؍ ^~ U\׷k;mUeVP!/3/%Qw!CU[ {#L4,3˖y2vrP>r'0+T,H']6_ǔ~GuŗQDg=Ø埋 F, cNP|AۙXE(\6E-:5TRBsr(^ YTxwf.`?~>(tT1R?s7a;ߛYV&be)dYlQ9⚨D 7`ΐɼlÕNϜS&7ٜC&܌s d0q'y8rbd{9gAye\:m&7!'x,v)$ iQfJTC.J $:=5W;HHw<LO}:b-}h.>5py8s!kT<> h5£ L;.XhӢqZJBԜ %| ,yا@ %1VpH]adTqvYOe >xp9†%[yW6agyw,Wpqn=[i}F༔'P5 i ȭ]=']3c9zt~ 3⭩~sm 0 uqykX\cИeleg5\TJ(޶@*;֩EJ"DkDĮ1( L_@T4/y!ᮿsq P]"F%/(" I"3~57d >qy@>x~(9AYM:~Rud=f! a.E&ξE@S m|'& E ᚫMa?+["b$ ḊR+Pcb"I??nی{@FImIa&o畼TxKJ'UxP+Qp6Zg<|[F;| vrOƀ\-fVg3=o=h:dZ(%b^o(z&!dy(`}6'NWp .e VFna& h\QF\7R1CuSq^ x2M"-3EZT)yc1`^(k jƘmٱ(:FdӋvw> 9ʢD'E7ayC, $eIo 4w}' g=S<(T}]fuAqYLr"b0s^V)$|QlN )SVG=rojP|bЎKG;κIst g.CLwT0nOxH9ߐD5 f@C}zn"$B4|Gyh\??0c#ڣPKgYZ >>?)I% Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5NǨ ~N^w?-\,k7`{WJ9!輰߮7V0*4YRGVxc9Ǚ1V>l|gNI⍓;&&uh+B] ôrJI}]um.K!IO,:AՑXwI| 膘+:uzE։}:+gf(᧬l%iU4޲ydҪ]>4tlJoZXޒQzqQmon[*QehWLRHA#zؖZ6i䨭{DZ#n >Nf{;'UЪh'iT}rv&\L郙~i툐+,pwT؇foƿ +Ṷ/}sۊ}, -t%+c~NW m DtN6&"tf6~uvGSyZDZGTxzсw\D`hSufI) Vy5~܈upb`Y NmZEB0 ȯ KGrF>p7afVWA&sP tЗċr~<Նr,\Ug5͖~έ% T3;IEMp *=9}y1UueC\@Lg]*A|]ޮ Bn,,gc?0F`Uu cx W (vBEHvP[P7{(A%Cޢ@]J0ӟ&j9Y+=-mbQ|ړYuEL ξ>0iy${k̷\[2<=.[^:mgC£zXx @aKN6SA#^>' \<]^96ɣ"=c"x)(V6cFsv9vmiR>-RqPOD](!Ϛ4A L\ $RpMSuFMIǗwڍFzU* ^V qxvMq+|o*0O}^+(Ȏ8 | 14) \B&KU\O#M 9=><~~uʃlX%&o G6؆,v.amIDsuU$njcIiVsB,:oپ"Вz ї۩iq#*,|!;uЖMyF3a[EU\Ybt}[Ê/J:vklA23OSu͈g@`[xo OYyNͤdPBQHrјgU#*x[^4t I82`v|$lfDG\@dt(vzjhBRVotۓf7Fys601jzR|Vi>PIAn@#\E i:"Qt$%93 WvCO]l2v`؛)1D}߯]tMwze6'3'ښ&I&M5's'$@h wΰ*b}r?;5jĽM ^=,Gy^'|H+,A&pOv_7 g׆.}0U٪/%?mW`9?{Bqrr8Ujx8 BJP98`l.GfX}r!d Ax*1A(1S ;ui;kbd+!C@4_{"7 6$T?़-|#RI%ah Pf+ݏ`Ihw:;$ %6ȡ@?$UmLn p<  l7o*ďX̢kg؍'#'PIU@Pj5!_%fTp16hnSSw5UGm79ŭѢkħ 0v^u$]u03ɉ)õj(6QIasR+RE~ljrÒzT>Y)&aC!AN-?'&t!TvVPG~juc=pǒI;6)ِ+甮` (Q+Dt-k 臻҆goQW!D!Jt5@~ȳ_?/]p7 C.̳@2Yt6f^M(8lzܳ'?& *-E%ع6e%,Q5xh4UY> ,kơQYl$ [zJ'@B^(A~޿髟Up'W!y/hٱ>AIٷ&~%>i`3mW*, Fߵ%ZV"0")&Ẑ*`sd6  IT4Wɞ 59K ӥD)\b̯W%26ە^ru3#Բ5*yu,+vHTOv9C^j-}J7nT}W0li[1雨3qv4 f4^&pYHGl]C͝cy8n3CNVTFDme1KdΒ'P3r?5u3x0U[@[ʫ͛W:݋ڲ p/WY{/X//m+ z Pjm2ʽ6˜$<Yzjr]irœoҜ60X{2[дaAU*pJ˹x+nfZ׉t8 EH*G7m(wXg}mŰ )NPt*x֞rwf."lIlVX/f=̫q+o)Q+<$ovM,jw!<1 sۼG3m]ΎbpzEɻu's>hPe-Xbzvq*8Nq6NW5$ŴBGД/>'b*Xms+v}gQ@Zq|~::%uOBڠ380"nTyz~h WmT'*l 9>5[foUeO18!BE+/0ࡘM zVr}H+T-Y×J 5E:6 ^r)Na!`[mIӨ~[a1e#$"lqS-1#6gU;Z.* {b7O!Z.^HpY #7M}1>p(tp0@,G~jd!Ulڨ7 ]Z +tm^ K(\3n-wseYv+nINtpMd,bCsy"GZX38qYS9kX|qY4P j: vAm<'tkN$}DϏTgDz4ZgAMnJ 6(OmӴ 3bP@[AU/c:h'^R]\< ww E90۸ ?RZ"ة7m$RFG%Um5[w;nm$;`yYfd>ӟ-~syvUOKY2@!u$_Vb3cآ-%74:g(.򀦎LǃXmQ CDr@+!J- r* H`_u%z/g(f&/qLAPp<+yMklh;jg|3h+0W(~bj9 \ IT %<@~ 0ae?ݱ nt® X&"~72EEs_{j = 5h/Cr;ޓrH~ށOjn.el j8w2'9tg* !V ܥ\ 'WRw' ldUǣay`rNr " Eҍ p&j4KXB~DU!ʅ/!TӁ@6,+GL?/ooB/ےÊߙ•[7(%96 R΅/Ǖ;Fk/w}*uȂJY?}e+FzfRYжr|@r2{ rˣgB5d\MrM'.;Fz76O/v۝=(^ 6 `nsjV pQ󰕭f,&op\ &=zˏ)8Jx^\^u`M5Alh^*㣶Qn@}~sR6H.ܾl(Y:Iڒ2C h}s@_ ]53}iX{۠f2@ɪb"G M@ Gp q6 ?;rp6&P"MhK(w?K γԱ6ƒ ίZݘc ܷ tK5-1̝nNQ9o/rm''R;,xbh䖯XJb $a!Uբh7v쁫P9VѼw:h؟W xP–.j(ê|V./vl+q,$kRC٬R+%Ar}b7'qw/ zr#Ʒ{$xr/C#V[61V;)Lqtqc4Wun7ye-zJ4du/~ؿ|DvTb94_@mdCwKXTUR [ٍ7[wAGHDNk̵ā2~wSUmZ*Ө6;Iu_-_ϟHM(u PCAq4s:#n~b-0Ojv@?a1-T;S`_٣@ɮ-H~?)\kio5&uSar+Ӕ0]է7F^xTvMQb l26AʛgQ BcaQ.?˩=(}Pl i+p[)'(ӘgYZ  } }x)K% |Refine_MonadicRefine_Monadic.RefineG_Transferdocument.tex7zXZִF! P]A-MՋhvG"uIBm5NV*-ɍYF@v{[ OO~u4%:@*Sɴ!Ql%c.@#\} ] aD%C$I1L1r}Sx~`ϰڲs\bPڊn7d%nN4ǐ1O62j^>OI-֚Hz;­gJIXˇIJYS@_cGcf"7/^/4iks.[ C|U qJ0([Hb_ )w3]0( J55~H2_uC$xZhK&L;2gs~9Jk#]]R@P|=:ȯKF7O)Zt˕y(KBg`eC`-qGxXb6Z667 qSh!-AuO-u?, 6^c?!Xcv QJCٳlOMI>:Na5kJTU\3OL`ePf4'2t#Z} RPao`yi p{ =[AHD,>$i2[fSß3Y\YbV|V65jJo_⎇?voe-ۮ8^ʆv)H HH5)M% tRefine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex7zXZִF! w64]A-MՋhvG"uIBm5NǨ ~N^w?-tRNkZ.EbxQ -:ia:CS>xt 4Kd -WCmUt#G!:*0T BϨӾ#Yp-MD#:mQ؁t˜!oF6X|,}W ) q[Zfl .4(c5^7 S}b'o ƥA ~!#dгF8W8b,mr.b0=[9>[\.륉?"  Sp SdfaTȄTBn/N-x+2'=CҤ%8`/$r5]VZ'?vou6 ܵZI7 {D B, üB%zp (8-v+%L=%IQ&^yM%,qyn}Rh>VkkK%@.J$babSۯI'/XT{ FI]깠o,S"?Œg+%8Y&ew(2(4bCT%YYIF\"(TVe͡N&m?Sh;tbp*}sv]xPLW6f6#џa})ܟ[ounȿx× 0[0OZ8,2INM"O,'^=Sj((m2'iy | ߋji%XW2JpáP@&P)6!pmpA2+c1Rc;E[LkFJE9|jKP-5c֜6|[zrLv@LGhwyڽYCM6d{[B=ڭ[ڟ:K#^^O, q3uʠm D&,d~Bq Be Y+`}qK6'St\N-ׂOZx ĸn3C\.v@BЏ0H|~5_#kr5X60/ ajdD.N[Tؔ7x-NyThfVAQl*:|k@*c ah@9#qMJbSCZn4b*CL}Q/dJH)ZKϮHxxy:J4[aa'9i԰B;I'AR0rؿc%1r*YcO.xO2X0">tqU9ɁO_DI;ye$`YYe/ L4_a^XZe}* /+*w90B6i8@odSrb YShv\F^*>_7AM([ELc9Ml#j^ӓN9F"DnH`:kuci>-VJ@pZg 8dvݹ c53Y^>;Ж-jfF>+YmOif@aށ' klm>Kz$A_ :{6"Ͼ!'R8|i2jBP\JsWcXIStǪBWP+raET[hA7xk2!#HW6\ܥ>8q  s6ɚi;fPϿky47n5 !T@A\؈┍}GTSO;7/Ds9Bϩ{2mݏ&;kc`@{`8Y9 !W'l%k,WljLBft40?VÍ2Pћ L&3='5 я_67a.B¨A#1UL.s%u 5g#mӬ֏AVlkI]EBNj=U:Xu/!㵻~f1tMmm&]VBaBmZVtՃV|!TDJue毠t8t5adk+'~c 捖&X]}G'@6ӏFnN!֒BvS8 R4'eRMf\3< {Amxgn?)4Pt֭s$ض+7#PZZl|^-NUKW2Q >V c{с%)!Y}$VʳlZƛ w^Ӽo *S+P"5Ri \J tOзk|$ЪNX!j ʕWSΦ8 Xt6IczizE1nkX=auۺjI{ |z0Z-FZv%K2># 5bh[(!dxϥ_dpbO[rTR>xxN[hsɁ69uoK .`?햍 PrJ?uQ|W 5aγ/αUiH)e%Ga &׹agrjJ>ςEKHK?c]{7JdE#$\rED\pDzqfsfkK0~0^AprϾTR #:BZP(߉r,$13ը2!_2~6rahz&VW̆/[Fr(b$ KZŰDRt , IC~vwmH1('OCk^ǘBu J!Iw7:yEY3s)pe/wd_QүoN\Eℜ_U)ygSwQ!Yr[Y«bB$)@51B3v- 0_|[.GTI9@z#gBvHJ=4a\W:nd&w4*e|x9wDf'Q2?:L#_UTj"q~7?Zyjxb 5Η잃~hnٛ{6Ԭ<-Wq7qC>$OvyV*׵X3pSX+l8tlDf{:/>VŴkبMdcx+58ԑK9Oq{8bp6K8#Μ ;G0y(7bM# ;p=Sf go uE Mp֝a\Zߴ,?=dŌGHnva} WTj~y/ImꤽђŞhѱB2qs+p1K`y(ZP! E[&Oиv -Ph# ak]N':cSRO'ܽ0O#PM'ąr0lkǍG9oKfA7- F( ,6BecJ-6АY&O䢭Gm^n?nUVMO1R=gATE/JtǹCarv7᫗W:-rhL63ue`f_DƙN23) 9TkGw2h9FG'f^K9cl%bk'M?E:Ǹ@$6O cTy_Q=)T> JWq v8c@s0?el\`Fgtj~x (Ӎ+펓;1S#0Kj2 ꄎ2gu;M|t&g$'A cf? oX+qJz)35X˻֖.=yU[ONWAp7ŷw( ~M ّV c" kbP"x/S!F<#Nt#%%?)<{kOK 2A>,Tn 6|K?9Hc[Yi-IxE{{c݂JDF0tΏǍ :wyt7'h\E5GLD {x,^F"=JkL_m7W P?o*G>RиtO~n5RǑjB:*N/AB)oYZbPRy kK(> - "*;C9,\ n V:K4]1VO- gSP]Ii#FCu+@H{\M 1TV6K=mW7'%<9H#S 9yws({0\h>tt|,EVm2(kv>0~_/C3X :ޛ^`B$r8Z".P=i0=%f>-E* V:xL/&sqCF}xpKN\EJG<\O*ԕ&ڦ9w/'aGMΓ};/ !%p.i32q:/u~>` ZydU:u ^zV_.vgYZ o)A% tRefine_MonadicRefine_Monadic.Refine_Pfundocument.tex7zXZִF! ?{]A-MՋhvG"uIBm5NǨ ~N^w?->),HJ%泍 uRmK>0̄ ['æ1GkuƧv'}S1F;рP,/z:(()J>6U> Ռg ̶r{8S kU9 F!_ _v;<2ޮɒaR3Zeth`#9a'$5W ژ'ZY#Lzfԉ |r$jng EAL3k|[p]5A B͚1~7h] -oc[_n/·'[+2t@Uh’I)w+,ܒd.oU&]|WRr\6= CѼiSGd duY%} 탦|~Ē98VOiq-kca h3ˣ?~7ie#x:SSpkK7xGZ4:p?` ΕezJ9dr(:OH?\4g˭V-GDW>Z>LSXDvjtX2$ɴF(!XT&;pv5kr5a]\0/|BA 4f$/ԗ nMs_d˝R9]˫W!Mh!yd`#pOeoVZHY-Cgv!,Y rexC*j‡:D%(5H > gT0<$M&.,1lice0d? "%Yg8w%7gy. "^IZ<>mչA(ڥrW`%Ǭ\^kT"FGL4S_й>DY&mw>tn$sP9^3K39r9XWF`Eia>9z|?xř8dFO>0)-({UrjH}a\V# V-jwFN[ݛ<YDy{ohK oTCmm UNYF&BGF<_'8X:?ʑdrؾn:Rգ8TgHr41t38NI3?x8/.HYb1 &:~SԘ0A X F9^~XoQdع<}f 8ex\uR9ڸcU@u$`&ᥜpqxkwG.'I  :L=E6]y G>\+àRZ%oރ$Szߐvv>I *U!ʉrͬaj=# '#nbůe>goc`4IK0Iiy o6cYuyދWn,) f>Is/(kKCSV\_ӱ4BwZ&)^`Y^+@LVD?.fmhA2zXS 1(öts,)o*A+7S׶t>|KD*!)TI!M/~gYZ ww)G% Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex7zXZִF! dY ]A-MՋhvG"uIBm5NV*-ɍYF@vgS\"k(kH ȣ"&OP&6dK}q:Ehbɭw1^3IM[zɕCtf8(0]w,l)ƽ/#*6Pd9e_/w\4QS%IK|t 7Pbjwa$)링Ώ ΣK1Rsq.O6bITreUHQ݀*[q<`'d$rY4ps ݦJoI +&kֻ95;_r?M;O~E>m`#OWW&L6{sF=Q&ibGWOq0YQW+;c-`#j'S;]@\jǨbL&D]#7\GЬ%"1Raz%PZ 칀K8ߢeq$deGNaaOj( ^z0;1>fݞ3g~D6r_>fb"A6>qd)}\P;g")_guI$>@?'1r-2MHA#`e4}@ijNҰZ3+_ʑߤ2ѫFu'D3+/iW,i6'Ȇ#>ʓz)(Nz0Âg` !4Ҙ73% (beZ;?m\UۚJbW+PmQàee0j lͼSb-Qވ9e8cQg$[жÀ[>y(g Tb]G/vdoYA bmB $@  (c_̳ow-e$[\s{Gr]T˙ivԵ;[LtuwC0&/m!3Co*zW2q M?sJ% ׯ*b"ڗ- ^\ <IwBz"CO.<ؕ}Z V{Yntt@^G$doero`ͫilYwaWoj"fb?/cMN=֛3zqTm :u,6 w}ګ?}Bt;Rٗ^#3"YcܷLܸ _=a>>9<2wG!l27O#zV%48Z;n>caw¹KzE G8N;y}j: <*B"| `4gdBp}Y9]iU L}3sxL>Ag\Di1u5NfO Q,!~iK.%Ӝii.}p6>WP .^,H 7MdfymJqQeY׺=p2 X r^Z|U0c3Tuی@VA HBE'g58wJW Y(,HCoDGnB02ȯ8 ~9M}C0,H衬 a98^gi=^'p Z N\om]|,ND9Q5ˑҨJcH'k BHk=&H+g"}H$laH~M,䥅擴L8jc5RYvԉϤj%V ᅔ rޗKeKr0İO Igٓ+EJI펎ۅZw=̠ů24é![7rQ}s(K.E@J% X MVY5ADh"즓9/X֌`y3&bkth묮g?ի=߾YP8 \IGfsܷ6]|IF+JA+^yaρ ?UD (*P\CXPazu p%S'` *o5Y?w4?sFgOzE}O*! \?)e/0k8V<֋u̻/%vR=鰇g}4qd "6fZAstz-V}O'`6gV/Y( jD' vtiVogWe0@R Z$~ⶏ`3Xl͹ka({ŅAv_[wfG.Y0 $֏n}\_E}ydNûh.q:)V?ut`tD濂OpqHJ;Ͻcڸ4oe<jT]]}EP·fk_w3JgCs9%+ɔUFcC.rj.|b-5C^"j͎xxz]GD TBJGGE EU wW)bQj řMjtԅʇzJ)* xo]L?3!8Ѭ2g&#/M7TvkiMH$k78zG1wy Tr|H2p9jW(G;>иFx^pC YMU#]qG DlĪ䁢B\`y 3*Z! {%%-d3Osb:# _(2&taS]>uPT>GqNs ޢ$FGMIczgKc;@[GMN?^?UWb~);OJnxT)` I,p V}x|,B15p3IځA Ba8ՙd.Sd֠v%&o *mQ A{螇=z!kR./D"iTQ:¤x"M]`߄R?Ww٥T˰%G 95P@`OB8֍24? eF:Ki#g.T7Ψk|+[R|ayΗy$ Ćiiű0ۚrѩ|7Nb:¼fh Hn; 5u <}.fRYEBSSp%st|mn#gw vN[,%hWx0Y>7Y9@|cw6A" *=$:+d-y.y\˼3[G޿YZg5mm-dʲHӘ݀vr2J ^+Pyz;څ\xİ7BXm'n\iW셁#VxD`s4hu/dq/;P[~u ._‡~ ^f?2*-Ԫw6_.\iT~qS4nNo-Q)0lݿ^lS`ΧqUg|Rm-Ab#tp UR6 pB ӂ)QyArWԞ)9~q aICG,3 B><)aeg6qcj CU T LU3f/@*fKCvM X-H,թ"sIyZu5yb-asg:PۧgV2g85*ϲ ? 桸nb\ZTF5LcNC0c7Q%*h?^P-q*1+:SRP$ԯ(ĜZэj*:k.͂ž",^>[tXzuuymh]'R1 P5F`<[RGe5͇#` ۢB~` >BiaD|IlJP!; JHrj/<_Bqce(N:K+Vo)"PT] Oz ޓ"5`Fq7:KV&YܮN_/*SNJS$z ^ˍbd\6XES!w><Y?&ll+iLy3xH?H16|Iu YAIGgYjT[klaWyŋ币@,S2P9VOXJu >v>Îc@C2Y'IB#Mµi?cQkJiVEv7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ)?% =!`G0${ m@q2q\Mގ!F??&|\΄~}^&$ "OXS}SdB4bE׶, (@ c6kvd6vJR/,?6,eO5HwoV>5Ӱՠg^ּ*Cܶ.V<a^; s§^@.2)swSf=M:"[h97r#ȑ<+[;=僼̆~.|} uˮck&RD3(Dﹽ/(j^#T5,٤`Q4Cn<=k@ 7u䄜,֞FQKC Yfv=W"-C D`S&g[#eWRe}vU 3ϡYOq ⟅N^Aj%tr]%ͮ&E}U}d@,/dUTp%n֘6aչhIĔ4GmM*9!Q&MuZvtۤ /ghӯuiu; nc7+1]*aQ;|_Ȝ"KQ/a]図 'nҌHp׈ =η(؈H̟:"2rw9ܛ rTq է>y?&tAH||w)db8'L3~?Uk)c w&-9yRwjQ+X03ZPYݮGT&UטK@8vDcw L8`/7@#^wyH\"T]Ī/woE@Wh:j*l~ByЁ;*Կ}&teۂF>7Uzǿ3 =m֙>ӝh!KU[S G"FeEcpGAO.0W6Υtآ-堐rzWWc@]ն@"_;D]zY&Yv\[F8e05s90L1Nk{S)o8;I1 t]K5.эϷNpM1d q}bz{SAEHyM UcfqV ΐdo"PVJ=YO*aQ<ڐNQ0lOaYY>#ŕc1e7^*2R`DžAjO1ewqi=]دrF]r >gmT 5k{Ko6Q4_{1wZB[ߘԽw`R;K"-cV$k"idPHH/)έ,,#E5-6%5*0=m x]gYZ  )7% ,Refine_MonadicHOL-Word.Misc_Numericdocument.tex7zXZִF! 7]A-MՋhvG"uIBm51FbhK#|Q}R[e7qD[y+R}x)| r)\SNz1{Uȗ?SqOs}?ՔViO^{R3/}\rF.MKK=mDMZ~©c@vrp7Z>ظa+}󜩷IE{Z^/Z3%~ MԷ anO P.yKUY}=.gmhA{&; 'ܟ+j^>8S/WyZU+F#%2Y&K5:jl(g KU2jfNښ|3T_?p*( dxhֆ o4^XA)ŻG^z>b%zt,?=NW$D-U#_ 0rAoV"_sE?:&}s-Kr@ʩʯ }x~9" |N.ks 3&;B8߶5}0-:%ҷ$b3 Oָ:ʏWnP17}KdwliUɃJ$S7~s23p 1x ^Nq& 8ߑDZ6:,C3EynNɯS1Td]onlҥnx@7trJfK$P ſ+Doago:)3 l ogYZ)G% Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex7zXZִF! *]A-MՋhvG"uIBm5NǨ ~N^w?-P[ e4:0֌70"'A_p(kx_J$L=ڍ 6>-7 %TYa bs䈙h&;}E/nOQX>&]ӥZ2$ޙͣ!rqeqbb;9 VL{8v LYB,*__AO&'ȅ@:L%D|g,Ҙ uz3 ؅{m /r/8j>,,~NXO_U AhQi@k`v Oe$V2FEݲ @ZnN#[Gn8y^Tk1>=n%Ƒz+^(Aw&:YxT+M~z]\uRj4j-L@up͝Mw>a:J,mg%w p2xyCɰE8=IZIN4b q8Q}y Lq[j;y*I{]˅'o%GIGTjJC~;I9(N!𶅤:yz t) |`{(7?lIL&C7k/Qpq|.*\Ij&Fh+ZN.)!% K{xςb/J$:f3 9 WtrWP3tX\5N):6A5L|4Fz4"T7ǃۭr5ەB,P!Hg0 G4\ilm 2h 匕7vPrh]mЉQ* F/XMG -@\۵i=BbĖ&3Xi g#)1z8$\tHv;1?Ȥٳ(5% aM?= LM4F8g}45άx(pNiw =6 GHJ_Ν s;#SRq8Y luSf,2L;Ig֓ h5jgU)}j4Q)S%NoZں*cMox*A9X `΀>dRg2Hc}$0ڍхØ^M3R9=#-qE-+IeZ< Vld.DB>W` %r@9ˣ;FdOe+ b2ad|/7(iO%v]-;ʉۉ8-Ljt^f0!hӚWPEXr~d|фp6;'O}Y#l<Ь᰾Kl:|1[.ƒSSQT+k20P{Z T@(?)&x8*&P&pK;P",l`=J^3n 'JB?€|iVR}*\5@ã@Al~ Y-W)d< 2 F1kM{x+2 u[΅M56T -&ȒO,z]~Lxk: {{sE=Mes}}Տ 3`2Ϝ(A* J(pgYZ+!)I% dRefine_MonadicRefine_Monadic.Autoref_Monadicdocument.tex7zXZִF! "1*]A-MՋhvG"uIBm5}ℽUi/qLsc'tpgS|ly#ON@-%)ZRkX{}d^cEuɓ'+va>)-UKsͩmZwb0$)w7Q+TF\i`JxoEIR4?-/}38/[8w&|jN &yD8Ǔ?=~c2=,dž-/`.Y|R.Gm1 I6-V]j{tg=cuU`>uYnP;Y$0Ǣ[Bb0|'OFFol_fX0dѺb`QL#H\|ߺ#/2X:G QBN9hHd.%pb%m`H2z<ڐ [.t\~U:2[ la?;m^2ile\2ez Y"߾@ڈbtٓAꢮ=اL[4m ,̯qz' VW+B[sX`FB \ |:󡷥☣ 0tJey5+Hh*K8"TydHT]oMJu x]~A.Yq z ' @U_;}碻J{*a 3P!O>5?ĪݟvpwVh$dƪ/7nsMBzrJ75SJ.l1]W.Tka$@r JTPY . !U.RIlE syeyB!ӕ&aH7~zKٴn vMYKw1JߌΌOiCr#-|uݽH8w~?p" .lnNc y^_d9_a-H)tPAB|0J8m N_,m޻)^іR}bat@њ so pvOS_DlѮ'IW=` ;Uau{d dZ.?5ZE|D?;;/[JZn>EV椡 !sVOj-RYci46!灜7jz'cғF-\V/n<{ٗ;^Z&I-.@z"+dj8+.~!9o]MdFh/\IF өw&BCO7EǩFWڂUw DxggYZ E BEz%)'% $Refine_MonadicHOL-Word.Bitsdocument.tex7zXZִF! V]A-MՋhvG"uIBm5F[QH׌#MBwdҟ-TKh c$.hv D;xI?G ]zTH,u63E;cL1\ {v*TZ:[7ӁQ > ӞA\;UbUX<&"B P߲;7Y<(P[ͱ#ȃfHqnVGΎ&00J\5 Y@>)`DB)(dl{%́ |E ӵ8y d<"s's?y iɧ]>c@$g ,qBΨZ>?\GXOb .ͥm[B95a2+.f XLxQڂXg da|.,RJ;|30` E "/b eV4 W ar249}Ac(WpY@Ԑ즬 ?{u?MtU:3 m'뼥b-'\^!!-Sym ܥDq^-p{.Htb>EeGag-RTļjg㮜aL5&i*N)z%6y͋# &m:&Ab7xyBέTO11Oޅf0Hn1uCnۯ `dq?|热DJ67 E"| ia$ _+l$.9޻W ^6 QyU=U,e2 ;!oukY#!(Gs;TUHd#*gYZ*$)/% |Refine_MonadicHOL-Word.Bits_Bitdocument.tex7zXZִF! ,X5]A-MՋhvG"uIBm5F賗 Xuq0~cC ҚTsWm0Qj+䔘B4{jݜkH!ޑ\1->9gG?=M ou)1Mi~*S_8b(G7%ZYdnS]^ avꔣX횆 M߃hsZXCWF4ŕ~/B i=@'VƮ(?Q ,8؏:v{ɓK'Y[݃hmDfݦʘD2F!(\iYb:8䍍R2;B\RoZ@C,o@ (h?X;D#8I*9F'NJ[[V* =/6m| NP t8JBXUR@>Hc<(4c\/}"F5ey^), &S%hi’L5ˣ`e\XѹJrX("`˄YS[Fk.8Jۺ;-s# [R$&wɮ7IZ#/ P&} >)x5vYajd)b~A j8mdPslDI[BPt!)NqzH۟'?C\LY# qkQXk'#eaݞ-L3l8HuIxf+ֲN52YK>#Bp/dE>/C XtigYZ#)O% $Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex7zXZִF! ]A-MՋhvG"uIBm5NǨ ~N^w?-P>N '0aÍs9J~FW/C9?"yj~JGBqC0hA|fa`Be}y!BIXq?{NaAqذcL:9?/1"v2趕/m> =xacۭNCGqIbze'`(Vq7WYĀNsh#P>_!RL j 1)(Z"Gkäj.o0m=DzS3BD>-gV|AJ(ɑ*)a󜰚Ke瘟[9sرzx^s@g?I? (_=1`:`:l'!bfןz-"nn87nqPXl<s%hs7=eK/^c L`,Bptꚓn")j)E<'ۆ1Ơ!M^;$䋉>) o#Z+.(y,}OA]$Ch83Ա?T#cڝdmZYD N{{ "iۘ3 珝~QE!Î5lJ}uAsui)3#Y*$в'gI;Sӎ#ɤI0PO~I̻c9qTus,SW߻ySܔ\EWSeN'ʫŤSZlOP܅eѷ-t|}w4N^e?RNti\[;(b錬'WN&"]N47Lcp&C1.1=>`!{:a3  i>EbwۘEߓt)}p; ?/-gYZ  ?0*)I% Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(MKKF1)ǿuA5J&tp^`8f[qJyl}z=4k-T0_vAlGgW󗪁rCq򜈶 2y & #Ə ,HgȉZ5eؿb`Bē1G孁( Ovh|q6wciSԷ[uZ#uؖ ;ojV4"A%E!>p,R3ꔅ-xy n!/6`x&~ t8OYrzhd+9N4ӣ#0"3f=LlRrx_*gYZb))G% TRefine_MonadicRefine_Monadic.Refine_Chapterdocument.tex7zXZִF! ]A-MՋhvG"uIBm5NǨ ~N^w?-ӨH2Ll# -l-K/ȏV(V$p'Kx!s$߷CY qK[_ z[ҳV|}8l}N*?LG'[ TZ5@NꚖcgi軦Z`ίc  4H)gYZ ();% 4Refine_MonadicRefine_Monadic.Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(cŚ5b!X؁tۘ _sMw*-nG-pi\ˣܙHE?iw@І3U5U H9TgYZb')G% TRefine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! C]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-j r>=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  gYZY&)=% LRefine_MonadicHOL-Library.Phantom_Typedocument.tex7zXZִF! ]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-; o2xQOsEwcSMZGo(\nvokE|Gcƽ$s3:rh-& -8HuIfIC@#JP6OZ|La">?ןJ oaK` Wڍ 3=IYѸB1}/xкFs%/Isb P &.% `(cST|!UUpxpJ(R܊)vaWҶӽ5PηuKX/ W2:Wwyh{HP81j&۠^)lag5GSlNQaz+|f<sj_'G9{{a7?P N/IsS"n(c2J)&cH~k*xRmM 4LgYZ!}H;УvQU [*ݖd%;X&"o B{Y#=ZQ6CШW"k@([libwI!Bb11pB35=I݈cvlA>n,N(CJBCV+f%ୃw{πWͬ/3ŶC؞Fm%g^ 7\ȍo,8?GHOR9- BcgvS7ATgw穻JAN cxeۢ9=H}v*xxܺRUkQTa񳠊+;eN6RV 29}^"ԃqk .1cAČ٠WƪRݧA yf}(&Ztw~T,Bn>eOr /r0fm#+Bp ˹"ɇt]RGgGltP*IFhK_ʴhJ,JRA`} h:.P"<ge5(mX0Ġz ]a>9;%\O5]6DfCԙڦ*` YJJ+h&QopNs_O7;= ɞDpO&!nWVw%?*!d6nŖ&'伒taθ[i3U,u 3VF!m0[41+%W_ DYŝUܯYF*([iGeސB(T24+1K=Rz8Y<l$C>vVh,U@i{!p4fQ rtV5n on-EΝ?9TI)`Y=^ p%ظwq[%e8ߤQΔ5-`A Z b\U05d9Y-US_ms&xِ}3$x/2WȺLR$wQzby ٮC]1$i&ufk0k/H{ G7I1I#V]I'>}ǼcWb@C0/kdѸy~ ϿrN[e(=nVv)N tEC[F,<ܲeaS 6y5PV@MgKnfR!`9uB}B hxʨh9{{q{w.yhgoT$,'-s^ɗo\C%o^r.(=IArs6Ma`%1{-@s$Rv<RVHH%∃2b a}&dSߵ}FV<F]ڧDG^fU(֔(`oSz$X]7;$| ]{d1J\/[$X׶hb2ݷkg%r[FgvH1G>\&UWNlA!T6ݸ^KWNMP.~|jƙ0iV:񓞳,wlOytȇX [2NUQO7ޤP=܈LT˭ r_hDsҼ~B,8Uz;` F0^7gK1%[v~ϲͬƯZ|{*]֞n3P+Mlk)ҟ>w3+ݗh+z=fݰJrK OX;iGq?ӋyS7৸PTǮ>/ Tf4F9U9fep鬳B"`SzyO5oB׹3PDŢgΘyɶnH6}l$LElDt D+<LJ=ۦ B&R(V2n)a`r6%>_xs%R37Ȑ_h^d/(z{X틪9@iVؿ| 8MDHҋ+Tج)D(+[ rū&a\|Ke:sғaK'0A~-xIMm#FnyICLGxZh|1B,-@tw<-vT]#[&P8Sa%-R͡뛰c%*ueѧ;* gBVf;K._K逦'8Da츎z U_Uk欵EMR9 C㤞o*N]\pEfu½Ն篽Vls^xRfNmNZZ!=/υNH}fJި6,/V}6Ҭ6 s% :"4`'rjݜl cT,jW{)L].V+L62\cFC;Jc{wԼWBmAkT)q<^T2CY7- nTȠ3/jo82[<,_WBèK'V@S7Iwa8Xd{X'  T@bD$'3.Բ3s`4Ⱦ$U$Jrb{71/գH5vd `2pP5Rp{R|8ZV!  sB,{[ z50'+BԪ ܿ;XZ16ӧk*[y'/ohYpfP&x_grL1Y㾢e1U> XV갤$1aFH2&o*B2Zޤc>g`=42沤HbϦK$ƻQd'_[ G'}×עG[kLElͽp5=n3A1J"BwP YX#4B9烆̻Q.7k38d+*[$ZI_A R aI7R۬řՅ8𡒢X"z3HK%žCv\\] aA.۝._\+V* w}`Zo@l2Jt{ĉ"dݨ 4JFM.& =c\@MԈTzg$3O\^!x(kaaDNCӄj8w|Q4cu[I _F+3)ފ6lE2ua1uB7ZR f~ߧCpL; GDZgYZ0f206a1ee823e10b3f8011afc8895cb39860793a0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbbbe0faf5d1fbb0fc2730ac15d3cadff9b9082af1f