SQLite format 3@ U.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )xl] 5r_Ycdsfb(0_:s`lK;q0DeE5B -[IEe%"}v,WE_K܍,ޝ&MvcR?Aִ" A׈nH958iңC<{>C3$Sq)$ֳ;9 {@ ^w/zh$75JRe+a则hKF? .(FU`bS*Aƽǝſ~P7)Y)"ƋX3N9wzfe{csS ) Refine_MonadicRb )C% TRefine_MonadicRefine_Monadic.Refine_Basicdocument.tex7zXZִF! Mgb]A-MՋhvG"uIBm5NǨ ~N^w?-쎚}ªs$шY7LN6KrTUyQ9IuS[CYnx^QXOAD~&@:mEόG!ohJ!%1`T,a{ttmX`[w6!!cjrop=*D1?S2kOB'3Ks[π&flXHXaRq~Vuj)Z&Ͽ3:mn)cp>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>  )/% $Refine_MonadicHOL-Word.Bits_Intdocument.tex7zXZִF! CwR ]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn=•Ed591=q|>9?*ks<܎xOj&WHM<=vaKebVڠcpso$fc*PnXy6%haH"40?/B2;q"6LZ5QTݙs K GЌ NVOMXEk=W }&\'0d#KΎ@(-/7Rd"^Jܸٓ.65p1uC!\CbC6K'8q0<^R%Ke(a $=_]z'-46B<ϯb^ Kh"A$@?>=<;:9831 *  %O2' @ b  R 6pO b  } sU D |  -)'%Refine_MonadicHOL-Word.Worddocument.tex%=)G%Refine_MonadicRefine_Monadic.Refine_Chapterdocument.tex$>)I%Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex#7);%Refine_MonadicRefine_Monadic.Examplesdocument.tex"=)G%Refine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex!;)C%Refine_MonadicHOL-Word.Traditional_Syntaxdocument.tex :)A%Refine_MonadicHOL-Word.Bit_Comprehensiondocument.tex8)=%Refine_MonadicHOL-Library.Phantom_Typedocument.texA)O%Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex8)=%Refine_MonadicHOL-Library.Monad_Syntaxdocument.tex>)I%Refine_MonadicRefine_Monadic.Autoref_Monadicdocument.tex=)G%Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex9)?%Refine_MonadicRefine_Monadic.WordRefinedocument.tex7);%Refine_MonadicHOL-Library.Type_Lengthdocument.tex?)K%Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex>)I%Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Pfundocument.tex@)M%Refine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex?)K%Refine_MonadicRefine_Monadic.RefineG_Transferdocument.tex<)E%Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex;)C%Refine_MonadicHOL-Library.Boolean_Algebradocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Leofdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Domaindocument.tex@)M%Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex <)E%Refine_MonadicHOL-Library.While_Combinatordocument.tex 9)?%Refine_MonadicRefine_Monadic.Refine_Detdocument.tex 8)=%Refine_MonadicHOL-Library.Numeral_Typedocument.tex @)M%Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex :)A%Refine_MonadicHOL-Library.Bit_Operationsdocument.texC)S%Refine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex7);%Refine_MonadicHOL-Library.Cardinalitydocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Whiledocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Miscdocument.tex=)G%Refine_MonadicRefine_Monadic.Refine_Foreachdocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Basicdocument.tex0)/% Refine_MonadicHOL-Word.Bits_Intdocument.tex~2sx8]i"X|>"z*FY^٠ C659MO }{ig4mT^lLZْ܌ŮE{=#LGRyavG4hBwicr9cVe?Ġ:At3 -XeA)A4_]%*1~{?բc1q@++r"CI;X[1(j9 (518Fi;ľ[ ,z,9ĕ7#2%cGl~ixφn8p>*Kʂ /-țBlE׊,`K he^(Sdx Vī]9,fvCx[gI!B~KUP~8T|yNfdh 2Z]Xedua=pTAlmg_H5/C3_x&SjS|?TQbMG/VP&':P?9uSOLW' U,fls+HvDfy E "N>WSUR>*FI8ʝ O+(HEPjf%]{휬֢~&ZӄviwK h{kFs λX'cd(zvY!ن_/Uqs!@v(G?F) ޔ_="sy#ΌTUJN˳0<?cQîvr $S8؛)> ZKq(e$|FA87ǸJbv)bZr96M3GԘtJt[@q3C̆L@EQ1G5e/"ORҵ+ԗ0٠m[kلg7ҩ}^1S&+*>UDŽa"ĵmk _pJb2><}%ԝq,ҡ86GkGCLhSj M1 n[/)"[VGJF65f[kxDUgW׀ 5 LoԙCQ/e4;!iEpxD7j!N%5&zygqKaILT\khJXE ۼywM*vJ/k.~UK𡛜#tBIJ)טQ6M )ZV7I>ånNɷc#y ,?Pea0Y6PêX&S]>7ThMVW7| =adK=$HR3^]* y41) pkT'UlMD  fukߊa mi;^WDa;%0wO= Y4-k+ 3;9-͈ʧ׳ vp)P:l+}_-Rm!I@¤|CvocHuizݞ҉YM{/>/ns4lT5n ./+@?1,f ƂwfX =L.A0M\M5gT'W&JWXB O}uX93Q}|a%9TcHWkkӤeL*s_ѱw^2wlƣ,sr\#H͐楨"rHCsKQWe4DUbyMANJ[(jFXZ<0`Or.&%tefG+wn8oj67~{z'41iFl5V /;h@x'0wA|jmDX nIGavfˈ\:KiYPps.yNo>G YϩX]W0r[b?WΙk~^!:JuT[ PyI`2 JHh_܉fg}n?Ꞝ2 ]V KGE>~ *%\mp]SO2zRU*szg&}|2Sh LpU67a\7bw*S\RBw g;0]_aCnT5$mֲ@QOXahUࢼGjͲ2*mz5%{Ö Ie @f Ԁ v02|MS/r5GHF'vn!#ԮSC3 ĺ4=ބpT"?#Bc/FC`)DܛFE6g/\8(AXϙ8&az<9V@k*C&d]! /_T0A>yn5QgLE:Xg.Ւ^h!:¡^DpǭԿ 6㎝Z=wFs"SxYs[(olMD{oI]CiSm;H*[W %cG̬T ē'⍗̿pec-jZ nq׏g#MX/-q Wtt[g]SajКS@Sm(MAϫ5$u24c}+`2սf 4gK>ۘr9=q Y,RN%AY's;+ɉ](a*PSwq !厶CiVm];d`M|0>s-%+L݃+X7l0XyJfz!2\P^*V $nzOEhI>jD)t:IfCh+^ ] {CҬ 1!x4WBEw9~YcYA36ߍnU_v 2RAB4!1J$`~nhK؁zaiB8\[; ot/%WɆ$L+颫r9kSIB-yQ WʈSug4|an F.I2 c {+ =*14|Rbf,ZȪLfQ"ą]\F xLؖP~ w|vHhSsʀmI}xKr4 v׹xTUY @gEb (vpiX+WL*Üza-?0`9-0IE{.fQRpi|(4|N-~:q2jY;ڣN^|y nm'倣:r#]`_tiuv܉΂9ϭY vLνl\y~V! DzpdU;UՉuq:cp 0m9Ṳd:N vY݋IÅ*oDLXc4$)jY!L|n"3QC3Ivߓk2ٸGZTgGNjo>q= ΁Kȋ*>@cD&tޝ;TﻚSUV p#PQǺrG\dpe#MC.9.%,\CRH.|1√2х$T߾R.TB7E٨SanIR?!t'FFϫD B򊑪B }nkw;ܻښ Wp-w{ScƶѦr(Q]z[ܰי("XUJGxWW*4.&ވ4j,`&b@] w"=%4.hR(p-LMX$=?gqHY ໅ʱ*{;/. n<(ZYPj *%+ ,ƌgfAF,q¦ZQ]v֬tXs_c Fk?·<|t".2b(:j -+)+?%vU >O:`ΐKю`ztf Uk*&P#fi\ EN͂֠gg 9{Y kҍ1NQiQ.'eש1;ƕ*&)AΚa:4@4YIi5,0iT.S:\g4?5G4S!V|tk%jgVI'Fk=礐Fi`RRŶ5(᧑TGi|f7Ӏ1~%1m/WQpjGu}cnxvH~HF)ǘE 5Rc`zW n,WQQ"t8@jl{IȣhtzIV({¼t0G諞9tdW`wr CCmaESr|<'&RO dQ`N ψvW}ZI%0!Vdžiu\[ Q:J12׻߅}G d'<_p)+q>|cGBnHaږ:|<|ߛ np4tU23gwTVoTw'CA">1VP{n_c=\LGujO݇}a_ Sq =6L>J֦R":~NӋXWy d4.phqπDMLR$SqKQRiKR?Cէ/$iBlJ Q1sv 6FF8xl;ρn+P{<5sy a4%[֛붦cLwBQNǑSM2~|GN(Z,GM`2NS5_ȃm1cLVQ2?)Xk<1޻)Nr>yi' SvC>k1-`.a,D|?^>/l-&***Hvs[RNZucڰ*κs%B_qjٲEkmڃ(:urtDž`o\ZiXd2Yx8R PЄ˶@ocgHٛA?P]H@~ bg: i,L>>r0,?s0}Kgقj@5YK|2:α86']l LNR@ o>O=7(Q^\ ~S Wi0C.yn_بt@*YyY9VYWN %^k4%`~#0H NWC[2ғrDo.u:PE[r2 _x \RsI*Ң5@<%ឮ'p@{ !-A3ORv\GQ=fY? \¿N8pQ?Q82Ț<o]ޞy wؽC.U"0QMLŋ*vu4b3v,T5T <*Z짲Ihoa6uBcY X'xuǿWgrmqVrM5\0*ʫ 6[ov 7vasEƫㅖ"77݋a[.m5bv6p^cH[20ٔ*V|F8LR5b8A$X>ʡD]&צhxڱC8w7#9b}ϰبh FiE_XS5mQoIP^uj0ӤJHȃ#jEL8EJh{gd@)d<.0u/pc_en|+cwqLDŽQ֕l/nJ׉A_ĸ}[W2 JNڪuJ?H2 >8nT63ĵ)| -yFSr_۰nW tIp1_c↫ip=*bN3Zh+₵!h*^R9QΧZᲨAorVDr _6;lѦS1!Q98TbyI8߬ B)*E)rp6f7VتnZ}>|KÝ%k`e󒌖F_T һz~mC!_ØbpɬOdf9$j ݴ#/`0Lz ^Ue"|V"s=)HSE|y)fsYM:'0hysPޗ*+-IjUEai|sy1Q"Fǥ5@5lDoӰmw-K^ 񢲎5A H^FU"bH]Mct?p!j{ߢ^eVCVWu fK$QiZ @E rl4Jɾ u"&wlBgwQ% C2O<˟U /KHS5$.q"k97k;!s@$=,*Bdzwa!KG5"%(yy ^1|M\Z|e8 }sReB&7) ; ,־˃f}(zXGJ0`Slr|~yΞR*Neܧd(Q7:#1/Ǧkp1Pn~ڲR{%F_Y3XEUʴDB|B%И1R`7񃦷A>EYkA_ +֙Km5w۠PF :J~k#P@OY-HNcIS--"&þ (蠂UhpD*lݴRy%M~؎5O֜0-uKLbnHQB ~ppNDKx,mfL'X{7GnH^Lfi VuU|)AxT-; Lt/,0o0'A̤mzQ--ܻEI.ni if%)cTGꁻ %G ɰ?1HaV0S_6#=卑g͏it6kJ]jCX*~|cz$Q [+0 ) 8a*lf]EyCxWJJ?Q;AhȼD[nrPy/R0Z)ߵ7~&1&dƴ̡C3 9lG5F&J= MÆ<3lnG!kH]际Y_CƵ"`w/7,q5uq~U8y~ Ix|m1&N!zijjq`,4?6`JѧU 9jl4{IbM޸z7/s TDJS٪{[/k\=ށٛbt[\v;wcb/qZ-4b-"H@z|'cv-bd0B'F {Ma"LcGD |PƘ SɈ]KVT2xuT1S`P6p2lv'R9($#!AMNЄI\啀>՛!(\anS'US*2:F؛Lc;KZj+iD鸟nAƸ EH\+[Jn,hoMfu"MN3AGF:y=(3kʩ kigMvTav.Shx:|bo BU3Oi0Xc ?ᷴn )}% LT@a,kLܹN">8sDNp`*AxH)Gnz}]0H*9b '~I?@NPFy,(G>GZꕰcYaݨ*$N?DacA@oj ~̨c04kI6}i(t"a vkCllzGjIwZ(@n(ňH+e(!) E+wi G_&;u&kEZv6C/U41m||\Uzy*tT6&)(3$XՂ=ɑ5,zXE""{x@<%P=(HYS1b3ch(jPP"I߳, j`xRrK{/gX*(`2z_܊s XGʇea:|-Qc9ݛvSXr+zorK|CP&78W14CsĞ:|9_Ōr# S3B/2I MW`^Yi!Q Q2OvN 2xIbSx(*sx8 LV29N)c މCWJcY{u:Pd*`ɸll]r2vES30-}8'͉g̴RZEe|hgSڼu8Ҽߎn3,@R:'cjgщd: OD@6?<;> zsq(h^j#H|zBs5帳yH_i[e{#YI?+ڭ[tfO 2S]-eY쉬Q:"+0#[.Bg*QMc[sa}pV.y/"R\b4-&a7.P (6lx5o,~=`D2'.jfS;⁲?5 Hwa(?N>m2" L7 #L-wޒx<  r;p96U?ܕ \2q8aZŲ:҆:Dkݬj[c=/ggnKP'yDTXg'm /WӍl޻_W(5P$tζv/|׮M|YmAd}܂v&%?L(Vw׭jFN=-J{T h=ۏ&݇b 8nm+ ;k\BY9/FB?-ͤ@\@Sjd24`H*oCƶ6Zs|yP r,Rw"=-ͨp;&_|?J+CƷ3"1[Xg :(GٟswC1N?Ab|窶^ߤ[|VI ##7=zޱEh|ifYvN~vAW$g2^UjJOmGXַ~􌚀5)+GɸojFB8FvO4_أWIa4Js]Enm]k}t> $܏lt0ey勴4|Z"0+8i:R_]w h7]0փ6-l FMi]"zn!&/\[&y`ڄBG1A"B7lIES¤ i]0(-CnRc-4uʈr>ٮGڞؕ㶥iWy8bF!%j#KWG+_^K3&u,H ͕d{9 (z;K(,h/؜Ð3$/+hBM}v'&7c~$0T#z2;IXLV|Q9D1vQjM,="P(?wVg?8[ـ=D!GjONb ҴnEJem_ygG}k$.ǚOaE, ϕsd# ]|91jE eQAKUPsMrD5%tPœ`^z1^0Ask\Gw`0=8~Sc u=Z~7:(fm߫Fz~E3r'ύ|9?v4κz.P|Hh3k>dm7R4BiU(%Jah1 ~r>kwÆ7iE|g )TߵF1IbH4%/6E*W'q/,_mi>, E5#FbsA8̫^<$F Eu^\5 n[*v(DŇ J}=%6T6GUA=O|ǒRĎv8 Q>uT/ ;7UvK,~_DOtΜ>=A O@#/\qϬ19IMTHDt0^ яJqMY `m0c: {LHM5[ճ!/Ԅ;$~QIF6cM`d!:z/" }3+Iο- Kh_6|>n}2€9 n:Jy㝞g31o>/ +T픃?ėϟ@[(`DT3LM];; }a|* q@-JQpwi͚|57e񆽡X$u1YlͬUKuL, E-K[VRZ]2\C?˜wх+aϿ/="Gs*|w!N;~/ܠUC1B &d˪wWAZB!y*hS,Dq6 I -(>k8Ӵ8U p۽e;`Sֿ( *^ػX 5)] h;2(/4ҍz&qnhpe~(kjsq׏=TC(r2Ed'Sm{dfD> |ӝxLG/Ռ&VnvX:RtRG:gbz19*7б5!1bLp 0db[orrb'O8n%GhQw4IRnfQ|Ngaq_+ TK +g- U$MӇGSpذof| Oi9J3-ȍYkĤ4lPG(Rgn#NÒ :gC={x8Clܸ$q`^]juL0͙1 2Z0p^kZ c/F#d&]SW}$cL|IX,LFqI~O#cmC ?YX -9k,Ƙޢ~[jz{NDZLx9 '+4p(ɇslى$l~774Qk kT$ wKD?Ԣoki&KޢE}bɹ/.g(x","6 "R QeUMX6B>E6x Z^TLyΩghi6!Hp<5UUy1#4HA64EViE㑯2<+>f:xr;ikoE d r 1 ,ĎPuV`2k( #A.+nqm@^IpL@_#(VO>!R3C$KLS}QJ%t z9&4 sTԤ"%yk JGvuCS̾gJ LI&SRXEJ6Ɩ/Ӂڝ6J5J)bhemHᚓdZcɮ] ,2t]x 0Tbt.ZZV~TRˈk$#P)}Eڗ.dn{cPWLRTUK6?/LL7A#$0@fY ^yv}=BpZK_Zq)7m# 9LO$jV _?'! j{l>) ɾn%hsr҂ =!zU.Zxxo]ɻLʷ(vGbg@"7~\amZ& (3<)qr;g=9:r<; TL8Vq8"41I//}N4g-S(7*ا_z:59Cw1>,5TSܑvIϸ:8q3bXkY OUtls`QOPtq#ʶL%.yˉuXg)4w oBkxxVkHeg屶6vv(ɣT%#7KM =@.ͅǻoG(.9&45SwZm •w@MEy$3AmQ1VTBRH E 0.^L_l?ZRUct򠑥'Qރ@OoQs+a6L !`7 PSf 1Ɛ,DSX5.NvusjYۣ&ȧ<(e^WSկ(hʹ5T23opt&{Y2lg_ f}wSZD6M]JiZAC4>793;Ɇ%M_~$<C kyfW(x[H?D2(ݨ{|D 7"',_d Ips,J~,{bgš_C&yz(UÖ%zo^&qցh@Q"EbW%Jn}i'mo%鼓:a=e$]qAᗥ@ P>Cʍٺ*=yF8lwr=r&C&mCdM ]QE e~1chJ$gÆ ;8Y_3",_ &/\֞/H#4$=}Q/(DS;fGJ |ݦl jPwpK{H'~8sUkoƥwgz*#~|x3GN k/4p;ȣ-1RͫqA}V xLUlrӶJ#6ϮLrJ5cC3͓ rqC4-Xza]vh6cr_$#X;zk=(k]`hBZo6mH )0 t/BL3uYb>sLW4h",gyOj?ģvtS&GV('@2B_W:KF;YIR >h.iіHGRጙMHB3h1#9%JF\k`Uo1sdVG\/^P'g.͛T Ќ !#?lɑF"p8S#PwRֵ,KkRS ٌl_6^6xv!3cב0qtvn`i֠@]gVď7$F Y6 m-CeE4 ~c9dY+ {;u&Wb&B9dywhț(SJJnS~$BGϩRB n0}|0LEi[]T$ HVSth`ਟћÌUBi2 3s$` yA1 Mr 7Mjb5I\: Pn^0וnì(piaW$/ʊ|].Jr$Cy` 껙lHh:܉r(sHJxсG%H **dz' x3&I&Ԛœq<)z}ghjV3ُ;EZh4I UD%5F/ÒΛG [ʴL: .D{I(J Ekv`R7UԆhCq&qk9|{DlnJ:5vgM|z"\VI^N~R&Dm]t cqlD4>eH:áۙýYY0wyN:Op|h[MApc_Ie@\/1(U>&s*Ȩ:EP2gSvX]ba_aQ JՏ(> EˆX Q$zruTc l⅜ yUH˦w˦$@a^vR%~aUݽH_:ѩvh|`'? '#4Xfm?^D4&H|]($~2lfmEI?FPX_Z@rg9no}8wgؿC*Hs`ԅjk"vK~]轶54%`y)TN9@YCA\e=V81tS>ˋXLO=Pvd(3xv+)pQ;B6"-V'rj?^Jz3CflJ-<.gGٟBi-01"+1sx4k ҼlN ^ L^Gd.h:B Eކ˹' J+|4QRgln6VND>(0UfK0'计&bAHDNN=ys!3cs) ˭*Q}ѵ?dtɘ@6Q[Lyt+ֳL'5ه|GNGf=>.)Yx<ՅLBKAһ? yP`; ບX~:z<m/Bڬ$1%QdsUNhIBQs$~u%@#R?n2s-h ⑷Ϸؤ&b𼛅 zx7Fe rmUT(;n`q$Pg XDMPA?5C>ܔ9FHco J& TZ_ ΫT딜bX = WPE6۰5$T=\ t5^΁E cY=9D{ $yc gb4qxBS>\6H ^?{E2DD0[*tcb]S^#j4ˀ-!!&<lL&?($@;Lv uWHԖ["w=D$ Y7%X!Jk*~+“^¼;Wc9]9y6= $!W)'WbS'#v~Ugg߃ j-Ȏp`4E]=IQ(&d5'HIM]p}'s;=|P1t)=8"'^vBi* Z*$k9s 0ܺ^[Hh*>v}z0FמʶPy :ožh$'sgn\7iڝUucQZvZ{?kX nJ(۵qh S9kbHתe>߉=E,ls]./r+BD=nbe_upIw&`&a.u i߆)bWͱ~UCH-ԍq;&Nxrpt2; (V^5X6>ctV@Y]<!"r]Jg(^[m&~u^$l|xd4 F " )mL坻0U$Cq>bt)W 6K iqS!ҋ;H8?C*˦%$+`2Ұz:-=T03v #xNvSoSk(t+q,y"H 6T'1i tW0oҀHSۦE{:K=^ >&9;˟M|743 4h1s{Vo2u0ToGe0TB!+Т}D`۱(sd'**}w]D`0ľ+t%+j/[ &mKP| pcpJÒӆgɪ(9xq*kvգz|q0l@Z9WSdI6*\yRwɡ25qksyWsdeE"Cl NQ1$qC( ׇe6]IX9W}? ѹ4;*ݙsҾ铮Z=P7gZ2,\=N}*CKӼ iNc'"qOSt=Nc8quc?b͞]znF#`'(GUy~w "pkqT 1ˁ|Y~9mc:<7)K`wN0R˛--|C\$5-1*LwH`B l{.WED{aU|ysLآxb/Ï(έO'5RrdlO %Qw*ŠM9[nP<#³|ޭӐmARr.UT1 zԪϷԎ}yYJuРTy_ CMBlK'4t4uxp3Lv&EnZ9LUEaFΥ^TᩁZ#J5t5T:ǩlV{I"ʠwf}P@?*Ч0"j^4|X@ٔL P8t1C4t+o} >Z`AtQܘ{{cEwu<NM >vBL"3Bh=})\ҊD`C͉ÞKD a', o43lr0? c˃/Eb- pl0su.1M!*s{X]f0sv@c*ԫיڑl2p ^V2CW@]K}!Pd̋7\:Aj$n(" jrty qxÀ"B.AS!w*xѪCŤG޲Q:{m(ggkNܽH?6/w_1~0m /e5*}:>*Ǚ+={k[0-$w Id,aj&tyϗljq0'CtΓ( 1ć٬⾱ȝ &'* ;zH/B6*Q'"Ix)sC Sf0*z>@K[ ~l}VM$m(bCTDSqF,D` 4*P:m~zHft_ Yg ;q>_=vTm4G0xK #(6_j03wGIdRx06=E< =!K]\a ;< A}bGJwWg<@>2 %pys[\E]ĬS}C]iZt SIǸJ1R;v|̰k8$_a8اVݟ^kjr[byOnG,8-zS#:8bY(rЗ59cʻ9 {*r ^C}LoSr K ԨbN搪XW9𰦛 a{K*ĤYQ}&GpC++)}0;>iI;,]0E6qifqlֳZb–OL?8*"3=fJ'AQn=ߝ-wB/tvPwgm 05]T=y#1V;zsC $ mʤ4N!E ܼ R5M<=+0k7ht"!$){ټTde"/LwH֟%`5i3WE$W}O ^PHhnAV$)VLd [begyˋX̓͡ m^LY"JpdVA^.FhV1$deU $Mkd=v7D%kbXcԓ,sEUC7oHJC)-\=^XxG&|}%|O[7X8*X'/:}*`f1kpTO439Ǣ,6,)`by$3$ϦcRBBqe~9nm"cZ@([?"W2SK(_pc) t>pk3 >وMK&e-A"aor[S 9(: ˼FPy|\݃WT0m6ÑY;W*X8Qr $K qlm֘~Ve}z@pϾ.J%hcouLP d{^܊~ (@1Q?+Ρcn;HN~:ó;ۡQP6Xq; %莳e [)n7& 9 1mZTظ 1U,si59o<.ƨ!q~o?Ԃ3˴ QЙ,+XA(f91`r a`a360.!-ӥJp{*w#ZgDSYp&or{%/-KI|G=عNI]03yW 8- 5_Zmx1aWRR P0:cpѾr5XrvP;RYHfW;%R}hfnU VKZ-l56Fz&4';rfJzv ~ZZT~6nPX*:,dͮ[)NTK5 & gq;;Ar yi#3ʾxx#H@L &RXw۷9]"c< %?Ljc6'۪iizx`"}sbYT!r]TDwg h(z_V-IܶqSYaN> טpq:+Iac13%N])>o+Zښ,Azp( u3\adсLثje?FP42b۝Мg*ǘ =Ғ[7ۃz3 X!$N amX -vC,`°D`Mj2rYzq!1 5?I > g؛F+jJ2 `v!p2 ~IqBT~n?D7j0 K׃=oƑֱ7/_,a]蹊(3Ŷ`Q,ҡ|_Ԏ P sMo"r&tm(#"w s _U}6߈=v "hb.O^f:ؿ2.j8ţy{y>-ed#:Wm6dIޣ( C|v =V~cJ?Z%`=,𲣘=4OytrxG!c]PYj:.tUs핾 L, XCEAj撁 2IR20| %z S R9"1L_>jR2t%Ճ1+c/ 0v!M/ ]|zB#ݳo2? kgh4tÏ=690!sگtU$Eu9(~ӂMҚf:xKRn6BMvaMd]1PS#nL`nso][s=c%}YI`N-朞 $6"olV9*T,+ zb:(J>"+nuP-m`~`ɁjIXnYݎ6M̭p(}z؅G mq,*(,<ڈ4S]b hQ]=qF-}c:JxQ(O( AnT1\Ic.S&̴LNJj̗[Z;.3'—1ᆋl,rl ' ^L֟ߜkHކX>:Gs?⧷+Ⱥn V: ڗwieA +ۭy JX(q$(! vX64~oxkf GЌLQpwB&2J=y=}YJWitr抮#iXttwő0 C ~nTu6LS% m8Rǩ;1Q%M8! XU Pj"./Yu +Gu A8\}oD)7)%DԟVEh8wƕ5)E[vgX6Qy=a0.whdK&3m~<˅u+s1|^[mFG+>/@Dv_1n`ˁkXV| idl v?u$,>:9A!mN_kV#Ȁd oWɞltv\vZe~Sf݋d!DŽu}FL}'RGS=8lib _ +m~}%nCpv@&7Q+9ؗ_oLجd,"k>T{+M55{~@z6UDdr!F3̮6&lUj㨘^7P]CQaeڝ5(J+ޞoGKS(dD֩X*S)ߑ8XRMLxcC#W:YT([ڷDWMfy1|'t_'P6`Y^ mHS Zz%0 m7U]D $/-{~.][&&cVT "onHf1IþzwQ1z~K٤j0prmxBPomdqt (X\]әҼ=7VJWѲ†Lt++RVPoxc7+輊mpm]df#Wlԙ7*"fE~-lr(Y E죟Ai)-7ꀪ!27P?ԏiuL˛ʖ%B:s=r|$F#26STZͳ=,~|C8g2=?!qϰ䏕v8|W~@:]bzfPFwJϐ!>CRf[LLAZXHQ/'%]O+*@^t g.x1L ? KdX&Sڳ̎%]˩U^)QQSj1T5ϖ (AR`CWU% X`RWڈqBP>7aږ98ŶOqs%Wx ![F|R *Ddf4=>OHE[~/Eȏwt\V[raDfb>PCJ S䖨G5NV\BWe pW'2uPӿ}%d!A@^Ge#؄O6U=GzfW$7uŤT*'}Qod 4u$W ""w4o^?X+F+ӈd *m{}O'xt_w/3lO!]q!׊GjkJa g–˳NQZPibO98Tθy)F#bS]̃I04z<@smIeB xχ)b0#Px;a;ןRAeywIdC=-fk{׶A,ju8X% I,g6܇L(PP2ewb|tkvYyB n餎`Jq1ƏCQ?xh>E7Iȁ(Kgƕ[M_aN;2sJ")w,Κ$SH.c3ǶQQl'|=ۻ/K٭Q ŝyJ0 Ho LOqyP*(YED`a$3'V'i:o-0H*3:WZ}6QʩF.:*jO^h\`"\'UCuiNEsYnt^,KrqޭįU/q\K>4f%H9koCy,QBa4di&7A@BAE[EݒqIR7  _acAM4Ϣ~bnW`)~YUz K&Mt#Kfw_C>5=I;| r3*e͢r)yMYPw*NV#"P U j=l)yB mК w`p"oZ~3[3=?;E9NQ́i;Ցt MU&Ym"y|8a1(OcoaEnD.;viqU:dPz@Xu{FDe7W:;sa{f(倰fcfƀ'D8Ս6]F Ě, Rqq9L[dS)I!ֲlۯ'B)*g]⢠Կ 2t)#w'ro$09U-"I!ؒ3~~ȢE⛆GAJt7+LK#ۇ0Vs9^"$-'R8457Κʊj!F v5a].0 z^L x67vȀRtY:`؍?SS/e)j^YIB=iV=1 L$Gݥf/ŲVYMmjȹtʑ FG_'ZkPuֻnqMkF]5G.2}PbIW)"ǧ2ܱ#gzW6e.R.h.:6[Dpq|;GvIrʴZ?e`oa_OQ:f:>{!>s~7!HRr :EuCϓ `T/~VoUOW| ф_kw*~NQ8xa}*5Jp x%\oMT?H"75GV<}c ])xR #-#4GqY@qn~<ʣP=8 2CzƬ,jiÕ hOy"g&8*: u_!b̍zW}p"K=$sag -b #bg;v\cBġX`N/V&(PL\8PـΧn;D`ưk[*3bWQ̴w8iτXVFڃcf@8ncjrzVI[cUdB`hM[+x ri:E\p5ձ򱔏8cOw*hzpV+UTX!%w%s]H3"oOGUQ *%Upo)TN~ zνEGO$ez6o#;l`b5vVtr;0NSpjzxn5S1=!VgؤK Iڥ(&PT~#2 tfȽYcbw=X AJ)D¶E*\RSX +<y3\n Hr[",#g=| "B}ݔO1:8Qge,0K m݉xWb{-OƓHVܖi6=(TLNʨ@xs{̸Xdt!r%!`(yX4@V .?9'$u"#Cfql-546.2@PXU])CȃYzGWDW"ʘ8EnښK ͐-DNQwyyOEmpenCZZF=g j/~3W_z;f{w;}DV-BNPWtDVau&yFSm_lz_agZt`vNQ8_sYePk^ơw7D>ߢ9ecNl RW&k${侪T, fwȅe5s*qg=RDKG>[c~Y+reX;LnX`|vG0ǻ|D= F@"~?IlT Ne(docJ At zsn`9dDrĂ3UĖ#|@"đŎ0n&yQ/dL00ׇ1^wi̮\7[[\pHv]Xcݹ1)>鹼9<*L*5aӐ,#(j!Onn|LZ ʱ%Ὰ5 jjQ:ݲEof_ ìq9$. ٵkPN7:/~x' LuZ@еA\;$'gaB3 $dpPTlhEB+{ƝP--ۭ3&2}dΟ hNa 8gCF d7EXE ^aUfxaxFދZ8A^َ9̷PC<-OSj7 ;R&aK].ЛX&J5a*Df WbpRť`16ۤnŨǧId\7 o"70-RΫӐ oY2yM4ժHl7(Z t(|?8a"{Hrxgl|Sk6błt׬MϨ ['TeXyuw@C2[tEڐاEP ^D~^ô⫤@]@1M䶌dgz_L9>Qj %Iw 9E|jRқ{x<,]] eB3:.s֬qٶ'R'!q\3*Z:|!%~UkVOoT/bR{QPLM֝wEWIsТ rp[t%j!w2n;W܋8[Wz?Q<yؒf)YW,ǎ&d=By!r hH%'͜BmGW>&_̰(ƞ-򣼡f88)mif4^jĀLQz7 hHBޖuT{@L2k#׵]CkdJ` ~КBߐ&9Hu_߿=ss923P˟S9# X+D0澒kv66`6#H4iw_;r+2MFW8啽<ŋ)THo3mOވf<> =!U^uQ"Evz}}\q5US>1ˉr||r!V%̯(Tj!NCuSNu3߽V? 6susd et5oy~(IL,;/ ʏ}샦ā,ՆjôLm?XN_P%& ` 34 XPY/pYZ ! [^Ud9 "g2Ѕ =h9%wykCV|0`H*%&J7~z=JȖB-g>?AYu ~nhD! 0d:&y}x`>KL6 . qP 7NL ݮv,c4OˮQ*.}(` [Zh2:CU'㙎kE4I4"U鑖,Wܡr&34(\^F/q8x`{ܾSn >:Oյ6L, .U#LT3 ם屼3xͣ(L@)Dx:rd=;ɇ0w,lő&jPMOTz;vJIEBA3$F>>ݤ`t-ܠ!bn$mߕoZ Yi%vNI7*-6 yۃ9#0YFV*#n(o1m򹵨H- yS!?8%әQlLw0?_!`Dzd8žEqm>{=nY@͍izy#([/s( F'/ӂzV},@Scc$i"x1qI1:n g2MdY(ԙK[:\3] F]_m/ƙm I_U.jr!SeG]S}u>Y~[;vm'0+, ޫQ˟%TFK,$YU&t :*nj{!gg+k m`Ca~@oGVW# ~l*$>d]`9E6Mޜ nN=Ӝ)rHz>S TNRbK>Ac?Ȧ&UF,YtG, mV"μI{PVvԫ/Ȅ YM(L#vfQ܆m]i'Q8Ityvwa7ڨq~Q=)SXe^(w7F+,Uj2V.Gp7o2%(?^W(\z'QX=5:;qJS\s-˶?# p>U g,b? g_(}x卽NPqQѐ* ϳv@ICb)i\N?^!/^2Ygq[9֕h:?Ε9= 0vcaC^Z'pndXd/mr^i#3D\**K^XS.uO:`¥&8.KV9)O Y_0LCO7ΟiV~ײuS 0Wwt.( 2WxŞޜyJjc)sl)o_vjUmxdvC~aY(פO?2 R`1qؾ ˲`[gfk#(KZY,+%\K̚%Vr7to8hD A0K %x:CIy68bɪ4Ƀ!5yi~P&0ޮaDr!8HQOէT#%{¸N:wʑHH/alK/ӕ\{8z7Q.kq}ŕ ;,w1"eȋhaLv`>\VS>/D|8!$16ԜP̞CLhc| "mfTn<Q]>وMJ:=D glS}?f?w' T+ŝ9W`6{޷Ċ2x%h=LAIyenx#WQْݪg=<|h3)Z"e 6Cdeuc8;iPt4ˍH&#XRbpخœX1 r;/ L'_^|00qXV\V!9}H, \3 ,>?AdUi&Lۻ]wޡE{TUB:Q 2<>'dȩ[7f1R1i (S?˸"̼Ol0'. .4-N(EO>ځ$*PmKkV>R u eR.Ye |B}W?}_GVYtJ=-U;PuHf NrZznx}tQ (`CSbaHX5lO٧wKΌ3hfM+:M^uԶCZ+s᛺[Ne*\zᵹH@@OyoҖœ}lʨK&r,w8Q4ӆevh3wMY:gҝ]eˬعh-!1#uwgs %+4{]f[$իQU,a}{TE h]?t WkYONAp *o(םG÷UM?8j8^* m\2$:S9н8Ue}jAjY$ ĈܟS-|SQ5]i أMu>tja)?z A&nigvFy?V]N3&GElGA#CQͿokG¾S$_}˫W! YuT")M,&iR纞oN"*mMړ詺 kdcmlWw^LoYr7(NlTn1e}[>%_MEI\XE4J%s-%&.NS>5)Nf &`K`*qTģ6۱H87R;I}yc 3QyG4\Z ĕ$X` =C=Z#[Hvr%Rn6dl$Ok@?RFOOKHZt>r7r3y+t[ځj6P5衢~꿏 qswf++}{`CM C.U9Զ*ՠdd ""#y胉"-mK(1wv/ з嶋gU f2xy]&kKx}[Jb! a6Cjt m=d խ;y[?KnMljR`kRX~|떧JuB"P0ʽwY3E"VXuaBƱ mRiɲVĂv]KߖSeRSp\HVuPj%ΛDl#?HAݹf(ʑїAy+o:+|zm-[Zb ܇%)־{/zK5*wvofZmLDq~_dҧ Y, 6fɒҮӲʞ 2b4 \9n#t>j Y$Č'y 4.aDDizԿ!) ڢ i_ݫaG&rh 'W\[r"%vl;A9ٵaVzw&5c/VkPio_\ [L{縶t<+yw $ĪA\~]|xx:zD oLbnvmمJ6U.8CxDYzGg`|&$V($a4R|<;&Ln5B1HTd~S-{A$lPP :ɯ+^};WIPs1<81kVU*B X rY j٬OGqBetYZ1d FOë8r8~E?p~3'7bTfy\K'KWcy0Ӊ/qIg_C#Hhwu'^>%<@ ᢲg (Id@p(|iE'ՕC 3Qj.9ʖ麟șӏfIdY] 1Y W\N2@QkC+jr0l4TٯG>;i_k$y;Aa.'cݕ *u1`yuBpDof EVlom ɛ;VW^:מC!V}x/ʜ- B,gn2e+!ƒQmP58c8@#6̥&B>JOL3oSU+emϯoC^&:'_Jjg]1k]n{SߡXN63kxQ@xٌ"c}oy+^ck.s-'lZ8Q(ߡMo&[9_gcpѬctI d8;B%MEΖ( P/M 1YPө<#H<V͵ġ@2L *.cawK\Y e{ЃvPH*ۀn$ȇ5ǘu2ơۼ[<Ջ"*eEig( 2;'!GНZ/(p1Dąn~[:B94~Frb\bjj+) .uged !( .kOJ<bHEj[hDCY/ l& r9 iRFVc4E2~ !Xt6^=-\9#,51ԓ#wJoOqFjJ$sq87sx3nSW_s#,VCx)#Fu48oQ`0HQR+n&!(d:p41&mx>Wl `J?N#p Ue+}ekN 5|6`riHk\y=S#8/6B,Q?Ykh=^(:Vj' 6 y~0JQ #+,)lz/_azx!Ak#aF}r.5U>M qP՜zc 3v w-Q( U:FK¥ۧx58̿E1A W&l«vpTWZ`V(B|fja{RӰ0mM.Up8*b"AoH݈6ؔTJW PHQ8j[Nւ-D= ?bB٨R`VQYh PEXk Q4BvQZuRI?u%qh@! -0jK8Y:ּumLy 6,/]ƣUNcq_Wj{x"29guNV2GQ(l1-Rɬ5[ @ U%̀RDžKA^a v.egVH tS{g8Ɗ( w½Sm.B|+-DeFG߶,w~Rb=]UogψRCHJ,qv#q2ّAbUI X>*dJh+cv7jmdxEB "AQ6C,nr<ɞ+dozp HUF~4Ӓ: HGOƕ(71 ^I-c>2_bTm}zɉt%"!D_.wcD _S5>׽Zқ^L/YFr9>\*\,9QrR0qr J*65uf${*s+ }N@EQ4I=}<=6Q`DJ~{VC`iYMt>mK{G9t^w.NE,W4}<1D je0M>C6|92͈fA{8Uc #Ԃ ^P*II4BBv4e6tcr6G/ju憁qdZa]߫3TY1}I@{G3h=^u%9P$wjnXlBg‡ d29YzV>SAMe0-1zA>ұ6Mc^emܮ(z) bSBt!SԷhPt]x ׄ7{SW_ o!>~؍KQ0-%cr;#NH ,/ kٻ<gIsqD zJY`8F+ad)s1%#]pE銫`m13p`^O/*|y|B33% wj~*wr,%J a@wV{ f&k8BEB}[؍[Y-y|3svwԶ@~V 8epŠ(81#Wm}u΂idgYZț@-?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 +邩_9#cZ]$iNoΗiV}{9fdr0gD mȂ zJ"F sA'='9>g[ղwvd oIn:41~:F(F:@-TgLtbc\ef&RvHTōu.j"""mB["< fscFw4-~g_naJ& puJNtUd“`ysEiLjxtLFR3+ۊ Ak<$hVj4t&9lqml@UQ d"`@,S\2r3knn'jñ~Oy.R.r6A@DmlWލ[WhǮ^( ݩx}fo .%DJ2!f r28bVʻSt"+^O &`좳J˻OR هZ@ysPuk'K"Ym#k5Na\`*Ͷ#󤞬j8+q- , ̻l-I;m)U,4Lq;<`w\~W<]Jn*l5u+ &LjWL_ANPK|;bCGq;aSVA̒Zsa;b$p_$3vWM?7v~ƲA!\i*+'?CqYLn7p)i{*#9ޢ Vrx zf|[6^jCc~Y5..B -t*= Y9>Jn@x(Al $W`(z,/pZg`j"C۟=aҬ0Ũj2sz+ :.DknU>6̧vnuϘ#xfD*jp<܆$[D(+4ƒJ8ΞplV BI]`04XsaNx2NBY9{kkG~>#; jjj¾YOqgUn0uP|nJ"Jk<̴֤T.ᒀTo]Ll8\1<* ejW*^W  ux52C+bbHQXՆ be.PKi1d7_Ac^ʝ5j!Jx@ G ++ 8vA.d |3CNp&#acboBSHYّTpuLܝ/7WoP`J"&k265`!K#Pc&e)rNK&H[ن?y|ޛ%!v@z,nuO+'Iv[T*Av&Kn 5b]R*j}ACޗQhVSBTZ9yy yiM萲^ @.sk6? ʙ>,}bkoB[0iQ.t|߃Fd9xY es-'y1r_ @YڕhKZR?%=kg]ah'e1m",>.8g1U)Ű3Wb=t/:)ifC 䅨 k⽃GSit][=0!E>,]}2:y;Z³_{^4(KґDo#02quq6}ߧJU*8^Zyv?#a-% &?nhLR rA(_5V]2~= 5@"_v;XzdTP)8-Lg}~lyVς NjϬv>:xy剹izICW53~0/@/[?o-2}]ٽ.r#L^_g<"uphzf1oolmAZZSK J  R5_9f, ǶUlpZ??q]%304Bx=y~-on=kwASwRۦ jtmd%?m_V=gh3zȅ+ XCj*fxK"`~Sw%&Ch C2 @v݋JѣAڒPDKc$)u}C8rLBy!FO__+Ta)3ubcsqJO.G8R{ڸj}McRg=D!n9PǴְYk zR`?MAF'^fp+QʆF(gS (C閴m3P1/ڦ7ӊ%$Xإ(BIwg BۮjW31yS:\~4)A0=- ?8:]8f}k]] .?-YAL魹 S8(Y[+R- Hhvk E*EI:, ZVUORt2L(]^_MسtF]0:%|,ejP ݎ\_bys48?_Z~ xĮ>_pYl7@pF 0}J6mSX`0(ʁ,e:+-\ &!cTj9ϱnzMh;{2}ř ݎbCoyCLBd,,io3#p B蹸NՒܝ+DVYQ[7.PͰ UB̃8ǸP PRpaJ}Q㪥%|`Xϴ+;o5y*lw0<ӟ< >z3;zl,F+άdOdccd.!{U;*NB5#f.JjQɢRm+ 85 N84@#ZLp:rNhgamsskeY޴=Uv!) *GSwYE̸!@4\ĪS%dK^f eXA1װhZXSBD  =b+fN7W?)PMŦ"3uu%-HvJ*ywTx`A\ޓ}mG؋) yHIԵG*\5DoS.lho-QJ mAUv䦎M+"{jF=[Đ s4oO-Kٲ-}Tׂ w(&1- ']Kf%gSk!!]Ro7   6Gw^R6.LEBD;q0_  6b= #R-2.VVhW4U;%JbFt=)ErߩB)=)8Ɔ|jҲWsvQ)^7=Odzo}'@GQw#'c."EVc|a_fy9e+b@|H 7Ea1D@JEïT*!1#,6Q[ԉM@J_zC~r(3I1pxPVcb/:ϘL31HZHDX;І} _ѕdT>"Q-{>RZлɡ\bjvuI"p <+LN?za,lPdB bΦ^gXІ-y ˷QI ({1$T>Qk"f7 7+x|L`WuM-O1W ˕ɅZbQ'q`A .Nm!&g!t!kAdtD XZҁj\© Ԋpƥ]anxV4GE#ӽ89,PAN8waOƞɅJWTM@B dBkxi=u#0A0N҂?RAv*}:UubcqV6|~n i|4*L.VECZ 1;R:qTR1~"Մũ aK$׭0Jc#|rXmB+ ˼@}7cy@ozk Gmhݗ.[`W# \ǀH &F/"zK#jڅj6 siՂ7H"+˯0#7^5;#:`T7cӃ;B{DY@m*@HEgb 90̳}9|CL .hNO{w4NJ9! uW܂8[Hգf;ab"5&^XR;EvJ("N յ<7ZD_d-Iixt{qIY`X` O($Q%#R.gŃh;]D=5#``#67GzXtw 7WY k@ 6#: w2 %M-c3- bM4;,e!Ⅳhjm.`Al軡,\rXh-y$R0W8=L87TK %LsVnHz5x`x-D߅ŬuF*G$IQXe] ۰xl/=?QY%qY Li<9Rd@!44{KYr $UVI{w]K;JU'k ۖAlQ XĻu,oq)yW\v?]0pL}{Y"Q@"н=?SX@ >v|OrNgrJ.GNfA1rA t J/6ƒ[SbZ3yS΄r..`.*xSO s{ ܟ0-%ZtZ>9Cɢ">i #Hӿ] ڜ7n|~:M\!]"?՜u"4C9Tso zGU m#q~V꺮{kz$Q@n͆{lj,< 5Dg6fwp?t%i.qȌ_G\bZKD ?pd_x=̜ T֕TeE,v8lCJ]Ǔ1&9TNgxF82Z$nFN~}ݽ,_P:5'nÅ ~L 1Ӕ6Ff*(VH#m3yu-FOuIO¯ԕt<s/`":cMcD`j{VSNnECV5d#[b;h>!~L/#kEVx"@'B-^ph8Srad'=0]qeUd6Hv;y(ŝ}0ֱ2 ($nZDXĒv3S˙ʗG@N'OsNxMY7t6]q``VHź`$Qj2 fS qO3+篤r,з7rc4d½L= C4u)kj)lUv4Kyl98/z†KŻLRdp aiL[%?W}UƘ2:fkI-V0>iU~)(RRԢ9J*⮎BVYfàc/ވ2|wJWQ;@OۤMa]D]^u)yad^wv$XL}%ԃv޽ )Gy=܄屘uөdmO  3o)H gP9{ۣKJZh3ZcĴbWcwsx^NZ)aQ{/8h?n9u<#mi'xIu?G /'~q|>GTYJ aLO]|Bv׼`B{j@IċjA51RWf!-p%@1.д2S;  J~˒$:h9)AJj&%ut9v~_S[@шxAt8rj.BqAv[ ˰ZeQobxN2,v"Zj!<(VnR/}iuZsBB_(_7몞J G|%e !2쉓ۏs<@kZ! keYJeS>2e"}'s9[UJv!"y9́#pdb])hdKamP}33\+&a{ Qi$@vGWhhg16CQj[LoK!i"DAVä*WSc<7{b/̷UZ'$tKo&ki^™m^(\-Si!VMƿrNuC25H'(QF{~,dSh>e{Ji_ ~ k`Ln[y(r,8IcEvfn3"gI0O^>%IVoQ .t[ ibf'9Q5ä3d$0.+HInoyd(%vux&A'1݃QM}*uemeӚ|Vw7&bݒ+'u%N`?4#Նgq@MQK+td jXj:]Z?"Kziz=d+}/3T|A}>0>Y=WS3)89 gO_q<$ D)V@ː8l]xJn~LKWZ]J9A|z]DZxIibXk UZ !h9 * q zJiv'./m 6]Y@IR:^I)dj VUL.5SU[dwvU5(̨P  1b[`5iè7ᴅv;I:y"#]:hc, _K(CӅJ::˜=èR\e9!ڦ"ŸpPʚxhi씷To$OW4Ow.G;(3.f8H3EkGw J4/p.5C]FC.b5ϣu;Rfb /̶p~!T֬F]VM\?a)Zz6N,bSD g&4VnQ3|zTCqF{w~)%*JkI0t1,v>r4CV"YvJՏ :^%9e5tXMNE9%3Ns(0y_'Ӳur~V7m,^?ЁA 2 {h@Y؜&#aҘ1g.p@DܾJdgKM@ =2fv/ѕ|}ȚkOUx'qɘJ)gA+.^HEH~ۥy&)~IsAMeO=+kw5m^fgXTRz\D#o[Bd4sƤ+w#zAC~`uKCgs|s_z'%8sү-ZޯXUVUԪGz*“IY,5^"zˢ0Xp7f VM M;G>?|ky`(ujKg}%ٯ@4ly#LT+νCXHzQ #U'⥕`A+T:D*oAލ(UqD-WNXq6rH&+"* y6!~Ghra&R$O,fD։ z%Ϛvb)jPj`)lPjz{`g8DiuW$phtE]m5Ã1=G.PwPHQ# y^8N842 5M'atᢼ 6w1g3pj'()ZVlY1m8 K'\L;;~ա@ٙ<m3aK3Ko2)'œМ +Z(4.g :rWhQ˃ה=JOµbJCKƈ,4a"15Ę9JvCj=J%UeAk zt"޿pMq%8cWy&N,HC 7ljoc(k٪H{Z%B^8MD[£Β-_'ZiTN7ZŰJZPFL1|l%[$+xt,QKOR];Vs^Hņ$R>voJgTv{/sBc.3b|}-/Y_._dBؐTqFfآQk()MTC{}:gH !zɮl<,;ߠg gژ,\mnT@Z}H,fu*:'E.oUݝiq5O {`k'qu#:yWov;afF3-~gе֩q-`=K`t b$>`Оim{͡Zծ1xK dAe͢Jz9tyuň䩧G@ B ۸!Cm|*@9C ŽV1nf KU'i^E 1'JNؓ:P̞S&QҨeiW̽YAfL/V>۵u*Q>i3cW;d0iZMJQ]B+&g}@qaP3zbҾ {v};j!fx;fx*nzP |u)Bulq[+Yʂ]-¤F+ +lZ0̷O{)4(21fq5jCa,P}U- 7% vjE-9"[jekÀ>͹e9h4pD7>9\Q5J)2;z"At)I4| aԉ` 3E5*^K._?]ɂ[r:yX(Xh^Suy QSzAUr&VTb`1qrYBH(S, Dt +%B44Jˤc~Y S"/g*{)qO.w j .@&r4̐{W]x}?,e,>DY.[d([Kۈ#B^࿟%i9;BXqÖ=#i󳱯cq,Ä̷`h `,`3 ])-ɢLW^^UWiAs­R,N# :i+N859Zݦ:oGI#@!3t`m=;!ʕ3ذk\QZ0{X=[fćN]PM\arJxsD6|]J~ʅT9(8k2) Qc%f $u}-W4mhv?\t>+ȝYk \ASKtǩdY}V;?z{0$R*w cs;4!MSbu} [gG¡izXT=#P>{>^ߟ>;eL."RwĘӱQH($pDE!Khqb *ިs["߉\zy^;D˻ج>Hy&[5kgw@~ڡW ZY5BԣlA~AGx]FIZ֥8{?'HaOcB%̇_E8&}gh#+:N6NXJ׃F׬5Q%?}mru4ڢERQY BOI&NW̴CM3> x*,hS1ztdOɇv/=A8~`O\0&U2bF" MGP3N}ԿЖۘUgH&X|_H۔,r`HjzVf;6g8.שhgrxpץE%fP!Q^&C%"L;eh&3u,خ+_tXp]]uCӢhhkBx*|d ZuQ3%|v|/gԶzPYM}'e坶\^klp.(fR8mms- []G`H/#e6Q6ClH7`; [ V?ĵzY-j 8,xގΤ<ӫ+) cINnzQ{.b*]*fq6)Xr@.9yUŖEFn>V-IQR-eHx=̙/חt:OYe.jt4sʿd k-cMeHDZчDOAp(4ΐwJW)P"LEȞx>\꙽ mxW˛u !BiÐ*#lezzYt]M@6n/YǴwlE[ ƪ]wH`Q#14#Aj!QC}94CF!H*OO!(ͫpl0xA= `6ư8Ms|R6׿\!FÜDo8^':-7vz-p\4LX0zmY :n+w )5V(yO U~=ܘG"KjP./%k܀7P}.W -۔磂I`^~H6c.^sۀ>(ArR(Nyթq$:lk8?V۬1he\fZ IY-M ش˗X '(srRAk 7!0˦`_'$YL;݌UAO6w3Tx_}07?iMG? /Ub›ReȤLg{g[P Kfz%}Ge&\rϢܢcuo@>O b|0Qm:6Q#ZPkFj;M}"Lo&79n ncboz#U3t0-7H{*DeaI4Wד里Hs nvI!M.r(*a V{4xQ͏h\uo.#إJK7O}A:/F]~)U^ʹrAJH:M={Zfi,_d:D q}F$cxYDt P rJ|R:h6]nggO.:u8ai(Da3n3@5q&tÇWAr[\4=oU;~*GLc'Mgu6:$F~S0-U*6S%BW9Ot:YUI*yYf 822K6}$۪6UečuxI*KE"4|9b{]oSeb `KtG_OjaMzLgۛ4~G6~v,6&^!rpH\bbbϺӊLEA' B¬f)^42ﭖ4r; _>%a1Gh.!U]jZܶM:q8>٘r4lC6󤁷r0MlB[`c?Veܱ.a=L=SrFqQ<ÑУ^'"@mK`c$?y6@zUU{C);vmSqĿ "aJj iF l1 ߈fVL^*umzuD %hڐӼ0:o |ݧ{`./}jQmANFQK7 ){%4QQP&6qчL1){lAIMI䙻ԃ鸖Lwn{HIRe pjiuai؍`4PnD7<)Yl?m(ם 2 cC vaZ?= h-.aHsO _I ,]g@ E A_^At$-]$ /)_S6:77^|~VwgGt Fw`͟[9X =P*ub9|QZ.Ovko\I'`'e@vf 6k=LB~"˜CjeW!w-vFQkZcKU-U.WyBJSf?<6 9%~ kأ,z2ƿ!QΜ+h\&"23++ m*S&wP*%vC$t@(uZ:*@fr;)&A^W%% OO.TFtMfڑY M~}Z9oo=^_MGA@0I/Bj9ׅXJI#;}HN])I,@/|=D 1{4gkuu;0)r=9=s6um]}yD/lxau%uӶR!m8vag7K¹s̓k%Z'!b12?GZ(s 2Du~GUTp`߯:1|e]8Dy9X\ ~y%(h(gp CUk!!˩0 *~ >,T;{s=1χ˧ AJ0TQm#JH-9351:38Io]%팖d(Z>&_NsW;X|cg]bQ,ޮ> kgbi^R6KzBܑ$9>G"(-},U'9%<9Δ̽DM U.$r4X1oZ c}d"p!ptX@G`";nUi8TawLSnJ|2.bnγJ='`l0^Io8DXac`nJʜσ[O ` ?֊︕$XK/ wI0)gh?o]`͋ඵ% % XiBc|#=~_&t'AN,.0d?ҡ33.21, ,Y̓ t_Q\QS-(u7Va L㶅\a|U)3*b#)I3䀹+9xݰE_vRGKY9 5KQ3-KU'*->!!֠kkN?oTpǶRhEX@K!|oЁ0`ێ-K}``%C,HIQ|~$Rh]̙F&c t50ǧh2KX`5(Ӛ(ݕ<6^6A%!>>&R`~J<: 8T#1 87܆+Ċ2C\d9չf9Ӌ,yu^N7Mєř!fG~ʏ{ϫmPlEfN|C!T+*A!!s3!ò7̕Vr{X9jџ-_Vd8Nvd(v{eh%3$GwVEu%$^an[Ű&+-PKR 7a.Әs-KCvn}6F8Z08+ޖ3o\Th?vs;0 Zѹf؀kѢok.;6EІ7!78b=/3͔E[,t`+hdG; R7b%ˡ._ l߻`8!F<:XC\jSC%,@\Q|;^PW+GNBw*hQ^-\n2tP"X#e"fW,A~n G9~ ֗v+ԅ&M*~EퟃغghN} sS̝#o8吢p(a=W+6%Tb`RegOhQ.ydHgHKqsԠj#ʝ-9gYZ b dbb )C% TRefine_MonadicRefine_Monadic.Refine_Basicdocument.tex7zXZִF! Mgb]A-MՋhvG"uIBm5NǨ ~N^w?-쎚}ªs$шY7LN6KrTUyQ9IuS[CYnx^QXOAD~&@:mEόG!ohJ!%1`T,a{ttmX`[w6!!cjrop=*D1?S2kOB'3Ks[π&flXHXaRq~Vuj)Z&Ͽ3:mn)cp>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>  )/% $Refine_MonadicHOL-Word.Bits_Intdocument.tex7zXZִF! CwR ]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn=•Ed591=q|>9?*ks<܎xOj&WHM<=vaKebVڠcpso$fc*PnXy6%haH"40?/B2;q"6LZ5QTݙs K GЌ NVOMXEk=W }&\'0d#KΎ@(-/7Rd"^Jܸٓ.65p1uC!\CbC6K'8q0<^R%Ke(a $=_]z'-46B<ϯb^ Kh" 4g*KS2ѱ-Y JJ[}z;qKf5mٺ>YVBaEKs"Y  $ )G% TRefine_MonadicRefine_Monadic.Refine_Foreachdocument.tex7zXZִF! V]A-MՋhvG"uIBm5NǨ ~N^w?-!S.{OI<Ƣ55Ms[AdO9}qRD9^ٞ]el+6K,QLmiYc%^a 0j֎ރb>yN@I4\7sbP4XJlzjʦe@:DNޕ+{ٯ))^NM,u8D977ΣRNնRQkNa+yxFEQqLh1ˮ>m=w@I&?w{A_?\b/+!R''y=J.ӓlTn?]ܳڻ1vʌ7{D>6m' O)LqjU5kJ٬_$pPWɣ'U٭ʼnb ڧ䨻Pr}T {u.R d*fhexJyYX3du|0>o<6.R"z:r_*8֔v{[#1KEz[lta+2!-*X5&q0Qs"Wdxr1R D:(fzS ) ! OS.h?hM)33XC--*iSUAo0pg@2W"!@VlKWc7VݧE^V {ܗ->{M3aLeD"~\ ,ʱ2?"J 38T6~/q^K8mI* ]9mK+?`0@Ž6'M1ܝH,Tk"eUAJaUr0"ǢN5o۵MKMAx{ PPLۚۿEio 8R (06?10D2hu;Eb+Y4Eaʵr"ѯƝg5R|v6Z٪I]M Q&JyL\դ- \Ip&ЦM( az6iMch9qGe'VxvU tnXxvlqDP~y] `$2KYu+]wq.&/'){:Ym:. roNBYv:6n'\ ۇ$2]+tU5fZk.h3p 9I+ 0>Opcp4`zvdl^dĄX}(' "Тtr0.0D _b9p;q=,许 cFtԛV>ȾB[@̴-*>H >8twg JI&j)7C+ l!Q^~I25<ͥPuAYVQQ|`0gZ8Ue*YZT&ًH(fN<ظ`-ir=ZRAre4 V1 ~ 57+",(I^iS/C*w:l!+kpiE1%'g,<BAr0W0o-7o/f2ޖ@M\wįJK =9AH'&2&5;tN̳CAL #wDsh%"޸;UFƹ~ ±=)i@kFbg &XnL>i6w81ƼRgOy ݁qSYhC=kTs^"XV5~#LJ_+_x전J8au j5ym^\߹?mx}q+1tn`:B鳾cP7f,Mpʘ;.?^ 4HJ)g3f;df(|*OM a1xt5d".L@aep(i]U8yQ/sY!/IՓa_[ X+Ssp%uD}qT3w4U: j^{R~9ІߊhƗ99TcJ\?U9IqU7ı`U*་`ڣDkb!a?8vi"2Q|# $5&% Y,r-J0ub b;0փCjIX.-L<H̺3,mHëDw&!b1y$`/DH"4З~<,eۤZT51&ie@bzsGe!#8uQ"Jx_ߏ3CVaRP+('2$c4tf2c &:n\b  [s)ԍLp )5D\FY6Z;ji&^A_9d$N7$妙@4ҵ0 GOܭeV%X% N+BWg>Gc%I шBO~]Ժj$'w׎|JEUI_%;g'b8.&0D aӃy·s ؇nk1[UN*TL/#;d`Tgx\C]"ER6+LH/E>f*tO62Zx⻴٤X& vh:ۓ ]-)w$mXώ7F6wen@-ؽ9D졎_dWp*րrTx(23uG^gSEh,̻+/Ȭ"NyFRuĻBm_Wi"Z4vRirGP<_?\~'A`C;yl_daE#Rvڤ`&P{ _^?\~1d5SpPE$"g^BA|esTnh M8/[VV9^>.F_O*]E埕6.4*o>l"w/B)ڪ JXU]W wz(?\}0=`8 b щ.N;t'Vp,RZȁӞ9W{ad'+X{ -g`8F`'BRڠ؞ }F,UFo4ٸU3)Y j{0W L)eh!MCu ׉&'HWF0[Yf9_"+>$UY*(:EWrM@.oKRT^B:jkɂϬ2RӚ= Y:GpC裉a>Sv#"d5P5Qs.y{@p 5ӏdaD:zɤjj~!Bpz:c~t8= eWr2I[-"MNC!Թͦ#p^F9O]G%]XزccR/BTTO"sTEvo%3]}'!?ٚ;:9c3@^He օ4b#΂QyJy3 H{< KwE픷Qrw8F 5%ԉ=>j3]1{ԭ~<󸂝Lbrx)hɫYOzy %l{|@u6_jۙd}ޝ. !OWn8uAYM$mdM/BC-'лm=zMv8cl9=qY;3!Vr6vU*~wL-GY4wS!-m 4tyUȈuxϦ[,YSD-!gT3'Ӗt`L*ׁ e:3+6AW28uL.b3meDm2⫡cHJ !P,]n*1 )4, t=}KדV%LXG}\͋[~IZaOPcaN";UauFX(ȤR!ȁJ7u9[蹑 ?0N#:MZ]oo%'’gW\35]"*Pa$@%E`ќDd^Z0BhEԏ242YuN^+p+di#˩jb lhQy = drp1EE82 ¶q?lB߹Fv96Wadb Bqkǵ-%{3{?ln2rυㇴvw)\RѭC-*nMIwhmanr}]!HL˱>r/:JsL7i9`bFGFi8jj.J$;HGpOZ'^]_v7:y49kq`N@( xE@ol-Sy(ݾO 8䃒hm5w{C':!(|>ݞkdYcbVZ6{by61+/{?2 Vr`Z縃y(ǥTfyX#}hkiQn5? +2H50sC;_ NЩc Y k}) 1 ʣi[q1g['((-t駵sxP6BmrNn3;4 )  5]gMA qwc̅$m1~.T-6u1xH$`*<{-vy0ڷ7ZrQF%=,g\S{׵8ɖ /4!54Yb t3- 6HrBJp:.Re̓T Lyt5<+ѩ\jx5'~[fww"b^Koc|O 6Q-~~;;ʽn)V@Lڟz9Z!+j`m_A6s/1sI"bʟD^z/3I(9Hx1?WSfF@OPVNG ޾V߽WGz8cϧxZ_ t,!|Ɏ"dcr~DUE DWY+/~#HU")VMl,OͺuA~7`bzZ$CI;} P dU#9ʅMW}]p Lܐʚ4f%i$p+DV>$6xk?"MQG,q2ԏ= T,#觹^D6w.03 bqI[s d> ȭ,[hMƋ}k΄ #}`sp>Ʈ@X kC-$ 6z3]ԽQG(H+vRx{Cv|a$C+j!lT@ѭ `Yn2P {y +]_B0FX[3ndQ*_~!tg]2A}#c $YFI5x<^N#DNr>1pИ{L:HO߸ OOV&Le R ~nuvrJ)9~z.*&O̝[1.S^=Wܯe ׎.PFú5)f c1¥ OpzNgj U6Gw[Vs7+"6=hb 5؂VD U"|C9xUT 18×d:YQWkAȯ.2pɳ9B"UB7tPY;{|{8WV0,>NM)ݥum]͠qjw߳"i02WV1;s%jR,H KwFn5`6$Q-9x/*: nܥ;^ΡEB /h;xhWُ';xaϐ 7]RN&R|ܱkKΝjO-e+O;sZ7>:Lǫty9,^Vw;Po0ʌ[#l fԥk革~PYB3Z>gYZ `` )A% 4Refine_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@vW0l&Rw7Bkϟ\Aؚ箣KѴ<^6? 4$ZʪŒY+`JGWE\T b˚_s?[.'{?aϊs^Z;{xGۉ=^i%u$L0RJI>+"V+3tzwHUk[׎S͂yRYLK)[PNQK"P21Q9ȵ]QxfMybP`q: q9k|w*m(}za2yxo>?H㻴f%˕aMQ, U "h5D*!cWv};o4r/%HhV.QGk73QB&vy&{$0TA,{1|qȨ¬;ۊn Ǝ-?"nNKWCnV/Bc%KujL<&qAX#h!P=WS챧lͩJ;b.'"S@#-"uo׻_VpMT Ri5)1Wl?v|j5||M w{ 0<"rF`}ZWf󰅍9bJVWVdMlĦ;p ŷF:H  XB?"D˞ZkI"+t毜HF4JM f(Kpz0õ -K"OBwrqe2|kaFp+~1{5(l3Y pRyB"2C :eMHf)>Bw 3a{3$I?~39&b4eR/k(r mg g4ъ",[ nCV7Uێ]E~9Ô8&O@A6!]#JP8Z'-JT``U Bs "2Ua0P >,HdU'+Zo' &0H>V~HfZHNxq*!T,n~ VY85ªG"qA-\ap$wh?H՜GWiNenñ`iZkHcUÚHڶӺ&fJ{HDop`8ZTBL_*%P@^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& iO=_; KY\!ړ !]ª> q8kïxwUl&nĩPf0DEsRx69P;g&(kPtgZf:#|TTB%} v7큜&zZ>Y#\^T "Na -BuƖ%p60!͋NJBސ<2b1ٕhۈ`8 ϲ&3r02+ XmĮAߴ3 7\EL̾H'g9rrLKkQH{"s*?nAxQCa 20b:{lkdod6ӷAaz'^'LA/=q)2ghafuCY$J˧) r#S{]k"W>bj YC'nD@_?h8yQ}dxꃽi`6wħ [?WFWpWnjoPc3my*z&|K`>K7Xj{"~?BxW!#%ͽZ6 $流 OQaSS4‡˰fD~ :LT fy|(z\ ay2ONi|Y>Th}ifHx9Ig|D /+M%_'$/ART"zN*+JXf #0AFI~r{;b(^Z(̑xȹ]]!._Eڐ; \]~'mÌ!.[7I|NEEZ1m g__)[v{46]w_;o!:њ$%NX)WuќhGݜ:`m$st.2o ?`ޝWU6|UndT9y" 3%J#:6]WLkxXAnrMܬ'k$5{4$X JnQcfp~m?+E&SJݞn4ܓLO t >[6FxfNJWaB&22^>A:IW5 ug e m#0v#0 9` =LJeimdͬG:K0Tnza]흩b/.RD1~c WEP苵Y"H'G < UB4sI6e\K <,ќk"%_fSU[3ٵ.g'1/P$0Sg:#>D>A-aaIچX\q>ܤv56"@jJ)ܒL OI&Qf͆KBh[Rvҝ/{EI "l=d( 9}pܮ{iA6ز?DN޿(0_$ Ȑ.|*%pTF%v,p~aDT}_)SjÍ-I%WAэ. [8k8,E }k~ @xU$y-T<+0'wRֿ{k4tfvvb-~E|tO~5{A2,75rlD!ByH$c|hNUO|d. _e5'K87si4"MA&\ԿߞE9=dB# Ϻ-G+qY(7Nƀ\OF:T#i)m"*A 9 LUeܘiIg fZ8 :/pdmuaJۦ<ô`B]j&axO_$WaR}w>Δ oNs]Űn8f%tABO'ATM?yZi^ϘDHH@c ܟf6 uy[l_qey>D@W[d~K?@e~Ɣy1 ;8ocӣhZtiܓaZʭ8 O3֫ݖe9nD( d^9PCg#2QA]\kzh~״U\|Ȍ=~&d[݄\RNyn>'nsO+[ZUaݮ-qM )|`ܖU QK霈_lpxN >UI E ]:ꜩcdҭx\$yi1/[(0pov :iድpuȜ1_4Bf5}`M7U+$/a4h-0(DiЕ=GǷ)v~ Ws4rg?#12JZ-"8_@,e |fPkULʁl/HwKfTxA1]mcnj$߀s}Tr"-7 r{SwK=fdhLX'I7 y+sSE7ԟ@U"TfDo/[`!Y!rō:`зs$sB ۡh-'E6=1&ɡtAQcb$GS99TOh!3m0%Ќa| 6䙜҃TI,h8t 9ͼ e4Km2/8o>ǸP-pz7[P3-NwE|B cm|׽#*5X TtHX$>G@jh׽OnXGw#q%zOX]+YعCP^P"'txz9sWkd~ 9}t`ɼegKӼL Q wۄP9゙ (uHJE郦X@U^Au?+_";}m1pg S2g v;_O<Y]v*cFbeH91" KM,%?04x ĝ"?&rBEʔjX֗8>-x} U]1 WaxܕJ1OGp_tEA@IAѲol.@/uN^fz*V:Y$B0W=ч!?2_(. 6u:fi7_ÿ"'(@Q1%haD:o[NE 2D:2~/c}C05oJ8%\ə&ʃY6B rL(莆uy$:[p1Z:v@R]dkޒ\;}vC"c$.V2Z| }<9tv9d%^imiOw*/vs BG%]ќLFxg2P(|@uZ>_`7Qs .`feK|-К]:7Sj dc>aO!)k6&icX)Ԡqk2˺3kw;hBwf3'L峛F kDh~}Q/ю3ڹEZFE@|:X|vLm5_P y*) F,ZTc6x G:nsAN~ӌG]$ZnT>դ7ԍj`-V_c%1N[?X_)vkk^IDؗdnZEM~!T42'`tBO gjH!J`EM=*5SFLGXQ%mxՙ\13=|1cRX:H?Ր iEc|RXatٰ#GAa<@~`H{L8fD](kn;Y.e2Ȫxа8(`!R@HNBج,TW]+(ap@4#8?gCZj k4U$*܋k\( B~tVg>6*X7D\f$o HYxy|5ۣhbΩm {fၢ%B#F}qP Md4<3}ld`Q{mx VlBPNb,1uRā Bs`ϽKrL9 ۄ!Lv$Yb1y[*\* up), 0@˯~:=vn }zRHhufC[:h: /]60I*)0IV.;Sf MDJ݉|vLC SOaa(K~WS[pڜR(})`@"iWrd#R NXe\A9X(h֗^uD%P*7$"d6#'?qf2gƽ}5Lff^ wJҴ ")ٴV {-_38Œ) B'*jՄfҤ4 Kyj.,LvJh٣,Gqg٫@0AtSm--[|Qo:V@Qm Se>:Ju}^=6'IS$^N-$t(NqjI!Ȱfc$:;q{K-r)Z4v˳ o6#u:G@TdIJL0̣A5Ԉ&y~F~ 0Oޞs8ͳToq{ΣT"m+ai !wX5]Qј0nmR=u7/[6i1t+J SK3u;Ut0u EQ5y2tD&V^t(цp`]Xc[4+0nTrSZIZO1Lg e؈*k^~g`Vznbd5o "}l۟4Rn%i,0 &P~SQdS{exKʹlf@2Uu%H3 =U9/c3ʗk$=9;4Y$KN?2hܴ$7K}.qΐO~ͺ\NRo+4DM}>B2bVRnaE~ >'_/0+D C~,` (h]d/U)`iGe*XU5]DGd2%/ew(5h׿D BUo^|,e!?myV{Ʈ]@W:vB=)psHw)]|.]q2ӐH[TKrUT(5,LR&>I6B4[ դ]|(CJtK&x ;VʉM^ߨivx QUq7#Wշ Eߟ'/ɞDÖEU}ثO+ rj>1&SQMk٬ ?'BrE!5Nb.p-DKk ݡO'e;q⬃n-BXʯ~."S,,7etÇnwrCK]x[ڄ((Tn<$+hR.@o6:ªK2xWZWp%jnV@M C9F#1{+ou; dDoL#Ȥ{ \?PdDv~JyH!yTtq>m dºu߄ ީ qY7UETJ Ed!<ZLIZމz]|r U*lq0I_%]:01;SHgt#EH ˅Z96j8՛,ĸx|9S T&l rGgz.^ܨVW#sW`/E4fjʈ8Uk`X hr1Y 5^!OhYCz#lDxgYZ  RAQ9 )A% Refine_MonadicHOL-Library.Bit_Operationsdocument.tex7zXZִF! D]A-MՋhvG"uIBm5F"*2*=)Tb?g1NLu`/GDP0sgb(ғoj3"ZvqP2KUlWWf(#U5`Kw-Y-|o܃;7Fe3TOCHJè̯4r,Q^V߬M wNz&eh/ :tiCVG,m1'̝O`'i jB[fVkX/ om(І]Et5N Gc0 &+r ̧JQr_m8d)8Eh ? p,ooQvkHEvv.br?|>ll o-)^ˎ~5:@RPg̻3Vrte4hlT+ U͕?GD߫?(/V-a鬽Hsz]r&&z+k:]ȒOD?gǥ6?t qie>}7MX ] O6v9jR̹C8A4)BHNK B}[5xM yuiPy9[ֶe: 0,Ih\wx)n %ftȯ3v׵@:L'S௨~)W/ ]f)B EN7DzM5=Ӡths .3rW;f,b|V՝DMiD2uKb>.Hؘ/BhoV:Źl0L6dpƚQy܍9/2{BV&Eű,] |ogE9oknvqs0ϕ^iBx麽^pT|hα5T$:hO 8cY9~fuʭNzS (CsrXy]V``9_ X[ Q t$: )S% tRefine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex7zXZִF! 2]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|)$981" );% Refine_MonadicHOL-Library.Cardinalitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7  )C% 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%'{ߘ!wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY|-+h:e]׳m(;lJm;d#S$q~ X7d`ؼWxDSQ!)UuT+.oC?ɜqd ef ;(!wRŶ"Gh)hbGݐ0#dxOR\1?ٳ7֦]QqpnVyTg[PkapBo aW)Td`BN{92©q~ǜF+Uޘ=mrf= N~Y E5sϺnT 9sXׯ^?5FgG(1bT8MYX:P68 FÞ 0Zo z3Wvp|VKo&{,Tάt)0Gem(*Mʫw2dIF܍jQ+(( H `+ /b/h֊8+ vWе0Xu ?A=GgYaDPo.N6S?p";!*J墕7 `7v-b:s>$(LaEOMf'eɀZmmԤ/;"mC~;{%x dθ`nUb;.ܡzK&G7}0ӿGT6]kTSYZZ:LivcYPx풿~(\hSɼÝP6Ji`G?/ r.gjVf~ɸ278YP ӮfcVl$U+ s(%֌*I! xaAzq%u<@qĐq< I[mXJY(.LH[^c +#\Ç~(ԥ)?Q멵Jp$Aw@ %.֌x$6zZU]#/TBY6(K'bRPkl\H~B}rjB@d3cul|\}|fӍ(0a0Ǝk|U/xeW^_ڢH3:(F }1w>3Jg]WJ1/0Hv Bu2mFjha)׈\u[,[1Fq1@&~/6 -@Hsze~T!bMm-F(U봣ήO|u+[>eL aʆ!T;5Ơ%ETvA4D]A:6xkZۙ{~ GD*BHH u=҃{de~fmgT B$Nъ,>ǁ5Zxպ#)U(QҽYҵf&2a_~gJoL[ rCFA! [ +08%ҟK;ql%k[z3B=Ⱦw7[iԿBf7xB=ha=^aB)3r0 <`h/=pG~_2rt ΰSgyj(5=C?a.iTQ 4^UmJR(躘fm/g􂛃tVPj,;<7ǻZ 4`bcq:gctG\{}> "=_ RT&˽aaHYȽ'ݞjZR|]6`/ # RY:foDžAZ7I ^]jGuBrK>_ 씝pqhbdr]Ӄf#Eယ?c;a@.R gQѱo8'gq"l zwAvn[uأ" K im)|U(ڶB~m 3 /^/Y] #5@nx6\3 /xüq%C (DJl \'㰘a.0 MA^.cz`cD_'EҖ=dy%nj%tv>mENj$4tebZL"BРHpOYCK&;@"|'A8mkS:]gewmK$CJ7 Fz+]+Zf>z4` 'A78\#pݟw7 ( qs#;YYgɩJ1!'ot"_vtMPɥRt+6z\x+If."cXo^Kv__{3JԺΠ_*elak_۴Ȑi@:rUiabS ۉ#"X?dfչDeY?\oȣ \t^`;zD)r7m2꯳|})ѷ"S)d!4chxܕݮY'p,iY@1V.I":UƳ+Hs9~?y]r8꼝@W-{+B-;Lek_E03;}<4<]x"D@ مr=]: nu kPLcsASQzc z&08J3VJ |ϧMXzAʵJ9b^ebY߷=xx_n@ݹxTn X7]#IFFXW|-= c[nߊA*PtD!AEq,$Gڤn;NYZP45ۯ^Ů$?3W~kNyMf%*zTuC-8VXM*QxxP3EeߦWZ̼b,41cGg7֥H{:Isj{1b-Y:ڈH#v:D GsZz Zlڟ&&wʯGm!Em0LK<眄cu u xMS%XpMx 0Lqf`ୖ]lOhp!yERH'~;x#VKy3࠳Sdd=}6;.;( '0 L,'R(iD_dRbn^lDaiG eΑ0갹~[Π2^!;_ hWk0>X*_9X>Oo_j(0:~w zVbk+>M[)f $!{xcnTCKY Hc3}_BzP$Ff6?H{^ "Yg|B1]U7 @!柩+.Ej̹S6P|k a_b(u&T"J0a/k)3}||ǼcHi'mLq+|*+&j4 M1=>zJ*Ҹ[R8W<0h;-J mQ$>ܶlփz Ԯ.eWIl(;E\,"Eͳdjaj|@#%L߈)I,qr"x p2t;X|$j)!EWͥ)2s&7^zWac GV(qt% RMx1U9VH4dGNvM{o'%)[~vn 3>GYz${T)< X.Q3Ypdɂx~@t[/ؕ}f݋_6jPEJ<<Πd+ {䞲ܲP?+ >'gWܭ?LI}Żm=d`[W`ݨE}ՠVx ^2RFKP!Z ؃$foZ0z|GA#+< =ˍ/ 腀dgtۚis;]Uk j6G'"ԾiF) >LP?9ŎMmd:O5"0Akg 'BF*h%$;5ˇNC)kIQUɌw[<<7H!⒱GIDΞz’nvl#8׵C:WI,IKD('6k09?X=.sI_/n}6[DsĻyEA]_%'Icu?<+FB,De\&`0񟏨ZFTv1biyGhꡌj 85`;"Q$ 24 ;\C{O$[:7Qwq&5ŠC- U_""aQ-|)lXZ:{r ,,̦Ǜ5~GnmF8NnDH5fjp<٤!%d}w?zO!s,vzoyǬbrt͉X Vzf ׆-`Kv0$0)/G("*ZE{0J]tfJsl.3EA{%Lv}JԙݙQO &VnD B_WoΗ|R^,J>Z\r%AҍS۔DVu5rl&_О rS>8#*077hdk"!yZ,5}<6fHbTԱd~T;ה/ugBaWy>b~ " q=ۄ8 g]K80 Ņf~XU& qFbS 2qe'Ti3-ɷ?'Ur9}mM)E1@ |xPG )bPה/DRK,^mK%zzY@=hWk}~/ ГM^^;#f}N(f~D#Ť3"[1YL,Ԋ>L#p-^ACJ@]^DV[{sN& aZ?q,` \2(78<>l (t{AH=3R5g9#7F',eaL`K=4FnE4CgYZ#$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$T>;6Smtex;?lxG:%1L+*tۥVܴ* ̿K#a7jۧ&SH&D؝lȱf'L끎O$?R\e+yw>%J5k k>ԥi7M䆋P֌,~i7!~!ї|E(AqB^Aewv |G%WEHnH7jhЧ\m/dTXq|!gX^_aogjl8Mx==vqU[dd C%PqQ E\'N`ξ=^SA傤f*B[y. kv|j7 +ԁ?]O'ԷS:ebH0f.UwVs1_ Fyp p>uVL8wzOmH4LJTtPfOOp^l>UbG'[/ S~c>4x/20DEqjWF'X-P @.gYZ%xxn}>|TSKwyj rHzQ2Nj 3q@:? 6?TG;SJ=2-ъNtϨ|O.WE>-Pdh+S"R#&G)mUy4)2Ɓ IWHDp>y<Y .U5QN6dy\-N%Ѯ-K"* 齷LfPp\3 k 4-Ħ^wJ_.]~Jy=$51z{[l\'nW^jqNr %e VФWYSհBM-vD.A@3<欲IAӐ`6m6$'+L>A%3pm|i`32s =e7~nsvLp PXdj'jrמ<&=~j>Td_dxP=hD\p̟ύao݆C^%7R )7U@@o!Q `7WwuY+3n?{GɆ#i=^-b0QwF?7a9*UbKDʊK7[}t),o1e!Ye?iH(|֑dhM sT~nbL؂'Tbs. LeYoZtk޼|> #/{L` Dš89a":҇J8{H"ܦ\K?*]?\= 1ZjxU4P+ݚ6UԊfC1'$S |dKݑIl~B\H7TBuo0 Ñp(w.Z(3yM`l`çe$3{G;iI/QKy.Pȷqx F_3S|\}TPl2'(S~,sP-ltZ:wcɯdo]_lXq8) @ҤSmH" fX-I{;4 3X'랽zmq)Ew-kX$JѧtW+:WAacPRJ bhd@N9$ՀVyŕN a :#E!>e+*J֩j _L0`3yhHlNN4.A\w_`q2 &A-3C (-BS$#ǖuG+ oqFo=@֕E^uw5:c8I"'zF'K O&* J,pQ|'%'DG<[c,# Tǡi (l\{TKk6Rd1G9bRL%I@IQ%1k( *~Z+F7T33G%JǃmG`էoE_ٜݬ+-s[r4kp{\^b6;F *9 pid^ Б͊ g޲ ~& ]|m$񁯱R 7sG/HXQqL!}Ov&K{Kgմi`1ֈԻ߫'pOb/Q scVl9Hf$d>-cSij<u'Vtr[ .ũ)~E1dW]J9O@%D.hQʎx ,2W^ ˍi~&HhEY5'jLE6pN=; $Xo9K\- /c':gFZ X6 I 7?Zd"L~RZh\5ޔpRS0%%<%p;u7(ګ$d%:M1lk ] 2Kl vaL)'(F+ϔS4N?覌d֫jD8gmx4As%ۃ,@%& 0*c;Ii-.G$w9oDg')E|y4v%_:$R(Б[@tf5}|J o{ 1,4La {#TÍb9}l鵆 !J֥xhymvCAd&2EOm!dQDXBdә׾:XA+JbR,ˉS? (m?d{菧ML3کu1O+ە"7%*26 Tz `&?p` J'ADZ>3NCcT4)cWZ(E]aABzN#d͓$G:ePn.ւ!K&wDnt/ex^3 Q>̤?tDzWlԸ?[{_ed=qT nkCM?L\|IV2;PРAz!#Pm3 Fۙ ϩTT 0z [!PuJ"kJ[:S> t fhا8EC>=4 u HB0I6:?0R•w%>qZa|5Jk\m<[kV!Ŵy"\z=rDsaZO ,ZEby,j;]i 8}ۘKOj YuNk)e0^aǦ? /:<9.n5] -w! so`l&sqZJM@hBWz=9*/1GP<&:0B[C_wgN˾\X8apw[1Ͱ`A@,O LSƾKtޜIQBF}6*E4(e@fd"eבAU^_v&{\b̳}U%FP7\ Ζۇc&:"5g6>gTHxX]:>/r-&N1įD#$UM~AQj$O] LP-qT]7a-Y9G 0S1}=FWibHڗy{g$:KW=Yw[Lhr9,G#CYgIu%މ26M&6 ΁"ni|GG&e;NDZfP0KC tapx%מw҆^NsVu.m޺3Wj&R%GJoxHuϿҫb@ g@3C?Bxꜹbq>=h3{gϙSCPpJN?t6"='3KԫEʜ{bxL:EgYǻS෋/S&k)C ª6*)2f[yG4.Y[ f˄>;=%02l>7!HS+hfa'?J-'嘁<'5-N2(yJ0?&ϩb9~E i1ńzZYs]&$̭m^ ݋IDRiDFŐ`ٕкX&K迕Yi&ҪϯӬ{^aǟx]{Qjϴhb+t|9Q"rmr`WHv;%XḲ0U䍪Ǻҝ- ;bu#A0 .v<H;zw g2PuFͩQA;Ir@E\agjxp\RS YޛթcY$_µ>H;rs> Aۆ3ؑ@,w-; WPJIn_TujtAP2I{\DOg +"~:J c֛S5\Xv'®fnӣo0w xbq[|ƈn*ە!6f#sp $Fµt#]%•8hWOEBv\ޱsYQ^@o$ n="xjqaFge M0z0 9ٖ gkhh p#65gЍ˯w`0^`WĹ5Z)9/~iegOٳ.6 fYYaikˠíӂnvR\2A[T=$$&QW8.}٫Qz^ [kpZU AɝZ8uDFROO?h^Z Z΋^1- go~ROi 2,W!d>+ O)/mga|RǎO,~a}3-񍋭Z-oMi >rKKI@:l}aW2>\Tv\JOd@#J?UY#! k4%hP<$bC4o)jr5q$A|Dn _d{j3tQ~V^R@r[NIू mğE)>$#c"9wBcp}R4 ]fB<:xRXH\HjE 6 Ⱦ @țNhQld5,:Xs6N-]z9 +2KʕT)d\kf*Ki/nZ { .2@WneRE v164Ɩ,6|䴴ԢJPPsA]= ؗ y <@-@>|:;0iqkX/묮OfCVpOܝ#a7)+a58Ov6]dw(f$DUs%{T^N4/%+ b ~HOD?yGiJ›" ,M;q1WTGth!*ИbA"[n8]n{N( &JdA:Å &7ɃXTX.=󾅀1 loF8ߙmj ٯ!ב5 [6s?Lx%ܘPvU\H0A@RwwEV-nND/'ooG~>[fKVZܮ1ptI8 屾"j0gbhTj #\V;[-$ ޓ슉DE={KXGf{o"_ ˗kG>%N+Y+u j%8i@ٕۢn9 V~N=p]5!lA٫ ~DyXxCQ6|OvϹNzSX&Z˭f_ьj,[*hoP(ꨞʤP;Xu9@ !4E^EubyiCU$*or`KҗuYAK6JhVaG(8+oQ s|ZE[3t=AkOVGAΔPl?͕Mx)K'授&2T’;Q !eN +Ƞ~l"RޅߝbwdEdi]k,߻ HǠEr,v^U* FQPj dv_o=~oci gK\ l!9j2Ăqz|A3krJk>SRHd1Wꄹ9MNhhƛSBX}bgȾN w&,؇Do 0zc)5c7Trp-%tQk]N-&€x 2GB?sGK]OdN|36+8#nfǕV+|}} Y_t7Q," be"GLlo^zXhn\mz/3y hziw' 5KB]B. wr!<إ 6=&Lk9y~|r 0Fdj"$1Eҿbf6[DʮnsRt)ۡ'w:5*aXq0%e^yN#*{QpM6͋c= oqկ vքwT [s_zK؎(z.[dF&$Eyw`+yE=uu\kӞ*-?\p^[-2,==Y<6A\u* %]a2.i>9Bw( apVn[][PϯE;U1 A/U:]|1IZj^Y>LDK!7cL@[g&Ŏ$G>4mG P#ae9-<LRd~na7sG$ʮxrT2Rs%? B՚e^QTzn@1_~Xsu$9?dZ0S-x6`<60930@$J 9@}ZT^ 6_*T4:t!5!r#볊|}iNڸK^,5 Sޣћ1j[qxi4Ol"`FxGg`+XÊK8^ZZ{:'Eݟ:q|b9|// %!_DIe#1|` <%JF.M0ЪsA/(-,]Bfݍ ~շ`(J@Z`O"۷Yϋ-KeYaG+Դjog7n7|xHE9VՖG@UkH k3᧞U4+"DB ''iS ?cy̭nYwDܼ۫܁Ԁk Sx&{YD}@`I(g2`+ǣ &WEOEB_m5O]]jڦ:n&`&W `AfeQac _u:;uVaaAwȾ*8´&[B&W][P-"dւX5KZ>ȬjLEG+\zVLgcؤ@BW"^\ZxɊ2q]Z;#X9nbWJ{k/#SB.8?W-_c&0N,PP8kၐfۑkBښ"OE0b$Q`s9~rKgP%x-VL2+2jZ&)Zz0 $e)0d+K*<591Y&$uz+YR^foI\$6?7dmҒ$viw@ǒa m(> n&VM|qC|U:yf"^'@ex+[UJ75AJvLZ0hL_lLArA `އnlW zREϭEQkζy0&g6bΦWW q]uMt04Hw-[Ĝ}1HN'/ G3F\u|۸B`Os_WM+ DN']hHf{wq|Qt;N,= Y8:6;)gɳe+Vec([/2?*|j@}QqcԮNJ0kWY)&=UW6nup_r~LfUD95cR5K|EkYL%n#@@@<( Š~֥H~}#ZOן4ka1=VKן尨'܏7F\I$+}þXpi1py4M@ۤ0[nLCP5.<9V`o|C%eՐt}TfX̍͒mbN5Дy5"L crSNiVeIʾF*2Ne##:gL'&`M_L>7⹞#h_RSK9ՕKA1P7~ L'ϭ_f;l@:Ut'9ΏdκupC64:\B|`DVrB1mc"Հ0r%.WP> {zNCރYx-%湘ҴօκƸ<[X~YØF`]56/d2^9zM=ǻq],eeIK഑'jh+j +@XyxŎg.t*yO?xldd3Rq!mR~Rg{iO(}$><P m>f@$axwjDMx_\g[,Zxب$FOOx+tUc ;(G(: h75$&S9 V=>yAc'KqwN k["Jg5n 4KW"Fg|Ja ϥ{xu O4^H~N&ߜ_2Y^⾠u3v)z[5X.}M!Jk;Yu6nWp0]L0gy6Э*Өf7K&'cj+͔ȱ-=?@~$(JށIPGA( L֎~#԰]p3KN&<#^#@{΋#(þV k+[;ڗвi3+E52hڮDyyxLj5 p#?\%nS[hWaȆMul)jˮ{ Ы8kjYa&B?zNn n= Auq鯭qS$Jҿ_W+^:x¯zMif9â 肌r.u@s|4-Ar `nZ) YaaA5#\VdFm'9Q3݊ˣ̒!ؒZoVOA0UGI@)~JJ,&G2\||}/<$Fݴ]ߤʕc s'0\8J}ifl*$clyzhTz t1JgY1[(.A;eIJԁ8HmrbFq.A$ RswD (߳,2Dt)_=l ׹ܟ 㽤8;~oȁާ[ObR)  "[*R씪WB:ioG4 qCq=`=)wF!#ktؒ8Db/Kg') 'N}伀Xf^[TN(դomЯp=PZP\m+ɋ4ILL&^n!<;^;cz jp\?MH!VyiܖblU's?lS biVs'‡62~[Ŷz&b-آFly @j/CH\G(pNMTǒn0/$![y _>w {ͺSq4Dɨ 5$9)k7%j#]rfX9i kǨ1U#4!|Ya(aBRp4("6'5k9)ɍrWzdlPIu=Q_"P6:Ė>ԏ@Ē̯^(. Hzcl4ў۬(!Wc)n&&"V4,sCЅ)쁃@BbR'{vA-VӇva  n1Y[NrʈByASWF[? #zt\HLg?F(Om~09 ;n-$* ?KxqR׹O\f,Hq}Sxʷu[Zw_&EחۘAp/{h LcLHj?Rs[/ғ0Uxܹ YxSTmD E!EZQ WKӜ6<H8"` 81t;|ݩe31{Hap~/̯>XDZEy}F 𱆌\ Z)obA~# Сn\SF0.̷Y ݰ؍͛7ϾΥz rQ,bNAZh*-pR?ΪgX տ $f?Anb? TDt oZdDd`o$_- +ql.^BNos+Wcg uXcW/|p1,@W !p4NgWn63"Ry>z;QB)U<˝ii&H(hd]S~17B<n: k*X+ XSv>['Om*\6˛l `7>R !Ss9!J"9y]a‰\Mh6\qgC/?Q_]b[mJdY!,i=2mOځ\̥҄ɇQd։ecDݵ4%Kc!'l-n?tҀ̣usӘ(_v$qFz 7K ÖT;M Jwi$,#EPo0bAs%Ho 5"P4,,c[P)$ .:Y/Ac#)H2n;s x=ĄVo, 4@U畠4'T#Io½ǢɖDFca? Hu )ut%6Y i0'}5ׄr^BVx#svRm]({675qA~":L%hU24ok$#)k閶ZmUZ1yG|˻TrY0 G ڂ:u'5YaCMC[kLۉVh4:tekGjŭIdGInQ+Uc.qXlklFqrF"`-# why{EbUOV>@ZZUDSakrb vQ1,t LjzRJjT[5^ ԇxW3֞ ƥJ -(5J.Gp)GGj`,I pֻeBZQ.+kA74U+=ryӤ}ٱȃ 8T Sh $nq4ںd:`P~@H  |i%7{[(0P0_hmA Mz/RN$Cwnh8ޒ !J +%(;XX]ͽaY돊;n[Ak. BU1̪k*0J,# 1s-^,O|FKlJYWX9Ȏۺ MwsCkbe1Q~]|ӊ5U!cv.Wobab(&Sվ ?p0e=㍛(҈Y+%s-EY/8˞u"(+gI3hi6N4 R!޷Czg,?'B`ww'G~G a.y~ 'y ?g:X bŹO]gBϳ*0m@9UVfZF @;3~hq7Ayq}Tth =hYZD%ϧJraz*uqpӁ] DPQ/8Ca5]6S_X>q*㺅)JN*Dl$`*[R2@AgXpDp "Pn8ZhnU"q ,\\LYcOd1a9yBg|NiAO>Y Bq.zio:esN%%|h3 uwp"@0MA` c 4sIeMRjBsܘ!H?uFCU@tܢJнD=SK_ M$:D\\8K?7]NEu :wQ%L/k@öKiO ݕHI5vNҐLKe{SB0)!,&䊕 9M;}GyTgHVFn5[e$ت+p~_gui׃VC=sl?Ăe# «'aiݪ  ?M ;@L;QԋyBo+i-+ XPwPGidjϥ/2Pxyk:X$ꫮstB<i P-q^dz'N.tCC]v:/R{.o(:ibSlTuz!Jeȱ$3nޮ]R's[hèIp%M-!4\SD-koγ0ve"r#' w|?ޥ?GZ@@One)g0nh@>['1@{0~ abl @)lL".Td_Q:XL 5m=ìY*R zugb\뒺=9A>$ ȁnhBy%Rn2 'aD1eEٙj產 c'fq4(>ݐJɏ8 6lK a*TDFyykaϜZdI򽅫1ł{WaPi#(QHǶd2AHe˘=OAҸfv#eS!^6kyPdk}j'dQD ,/x}㄄2vGW=Lm޾5S֘ D.#*Y/&m#!L4<>t[@D3ġ Mˡ׍|ĿڌiW ʨ(9fwc죂-xZ8N,\uő6V -{Oya%jgl6*oCۤO[bgĂFj3L{|l\mqI gh v%n_ݏv 6iFbOKJ-crޱ1$~ # Awi9ne:QPfqVg(vt,5K<iZ&kFڦGEHX]p0dD{a)ZFv w\E-z4\r/tpg+0)@&Fr ]||ei?hWn`4_3GI2C,EaIt3RퟩPmPAŖhQ?FE S6k0oClo;1pJ@?5k mLqAD@缞0g]M_5{-" L{RuCz &G@lD5 [\/@z]rDg `1y<$ָ~"O%S,;'v8,7i&e mŰ/isOwtc9;(| ]dÞuE7Fx ˺%2>l.Nȱm/MU'~U%v1pئ`~c oVe[_/dIl`J%ayAY<Éak0z;rnچL!gX9Q-x3թF8kX3hP e~$-Gr /˵hh$W3Ӆ5)I)+9>v@y&B倘YH, TIǣ8ήn=0HӲkVW䮓.RY +}p_ k5pSGj64OբVv/߷/4xW:Xaz E\0- 4{=k(VQv:\ܧ!whάde8ww\x N0 #3U0*oYǟE:MZ5dI4AQ`WL!"}MHbOBe͸֬B2(示F6&Q+`Cr𵑈gTK9ܐ"D_돷׌S``LjN|ۃF0hX\ϔWY#qCٻ+Lv+oxE ]*}5t"Ff?P}Y"|'Qڇ!xaVegBYbQmkC2w#,?mJrGFJ3,Q1cE ƈ&BUʧ}JL7ڝaW58֮:q҆0.Ze(04DĤzl)0y=YG 03 =2fpիflv|_$˔x=Ql9+/ VKG_.*d"5dy!Xׂ!2W@&uJ_QKZx"sS/u(!nR-\9G Zy)Qi$'g ܵ&oiWNvD뤢K3rp&c\~+JCTF/<Z\ wE=0)>TXlȂd$A1dnPwFsC+Ba{ڇVNI ).Pz9fx!&ȇtSCU;"S+}Kkv^VQltmZA $s[VF*:űMPZT<4?uq!!p;r 5hy7b$8䋑ĺ/| 92oC.XcvI77N5& ,i"6tIx6FHhj ̗ ٵZx_Q,Q3U>97'kp;F6j$D)N y ɱ,q/tL\Xnn QswHqɫjQPtgrM݂[ TsVtPùdH[M9\J,ʢO| O#y= 0K:,/#3~\ WaH@(%ThPB+[b| sv2`l<5^G4F8/~T&@}*rRIOK }z+Ð_dy<#N€òC@Š X]NQo3V۠9YC (4$U\į4R'o <NLMƩu'RZn,.;bO#a#McFx1wcKm7ʅu9gmQkcbvHg}TZ_5XvߞHW:HV ̨v'0? ^e7vw\,%'p7 w#畤3ec5Ef)V5eٻE 6cܖ?8b] ~ e-4!W a yV5i?swd,I3v&Ҕ͖ے)w{^uyG=tN8ǏDž'iymV!v6Te79Ks8 =evrRw;sQcr+:|^Ԣq|K,\ mf@p@VC5rރ !ǷmV5h_2z-{,MRvZ5t JL&FzřRd:iVgM!1>xb S0*,5@UhEfHbt//s Վ)*K.pfL282g3wlX@t-&jC)Wgc2o+3:VY(䞶P8 ;"?KW}Xvq>p4Sf sX1Pa@#D4vZ5G¿W4_!CKUܙ0|]aj8-tV @UKPկD9l?sӺ%tPQT4I':0DP+mVru|iKDzpm'  -֌24}g1tdz3Urj>i{I*f\ҙB7'ʿ+|uOFQZ븡Tm/lf$i|uFxJq>k̢Odطd rN8K\SļcًApեwG'fzQ,|?ii.f2RApj c9Dyު>7JtfŘeQEMd;1OQ3[08q>ьRO3d-Jgh-!`<5gٱh6{5Q $=` )ŘY>kGoK|ֆ X%% ٮ|@i9ms>kșrhmIajuX퉩Mm j%$?5Qk2Q,P)]s!370;"b80X妾\2NsrXL$R J#؊m8I-5 s J"D^Ghy٣+%[6ڨKizc_!# 1"T% 2 '|9M;߀F W*yݩ?[j! T'y,uv}`1ZRo-DYg`TnaNLbrIN[f uQtDzLO_9vyH(wɣ7EYk\Sl^f$ZߵrWj*`K#H0T Bjf*׾ C'k!> k[$vᷧK=Zoe֚:lg9|vvKg'tdaM-'vKaEitoD>x|t;|p;,~R%BA)bw26}Mj]%Uw'Nc vى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'?er-C )=% Refine_MonadicHOL-Library.Numeral_Typedocument.tex7zXZִF! ą]A-MՋhvG"uIBm5Ļ5v\:Cy `? ͛~z<7'Ñ:+tb֔1lC닦ٌDX˩)D9I:1Տ[ZZ7fgK/& SȘ(r$6SdAhAwP~D` +G7Zc%#˔3RGMęZGppwh#Ʋ[Jbd$tZ YT[0[-FOa >HLbo^HχP7A{@bkȢsocjO<}Y<&߄u V_QH=ufMV㬘\N#Ox`ϵ揷ga(blvRZ۝+W )M% 4Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex7zXZִF! V R]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:(,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[buEoDCy<@POvmo"9dV>{53X)Zhvd#ˁi+v_E2Mm4Hvfim)DZs0j:8HdK*pČ &Fm1^/R<;FoU}NҤS& \ɟfgؔr7XF!oCor쐔 Ev`T&S`b0'm. G*s&ޜ3&j .d6ɲ|MEc '=%{A,P ц/:HylWJJxV *L1wre3C2vI+T^U&+i22}g;TUt]ɝfOb X,(ԉ<7=Ak4+$N[t#+~K;YtI]c/˳EDt$;\^Yg)KpSź*e2 [wo+:R"M*Y[,#=:F9Kn'yS^)пp#:fs۵tc?R&~Er3$wL=Z4!(i)2; (k'Xf=Hţn'e2G˰@OKZ-PkZf# X4ȭ "Q|+d2xg2IC!O/39? #yTFY=z0^273QF+T̓UoyA}Rs&*ZU˺-r8楖jKtH%8,mK#NԢ__NJUdk\c^'Uf;YaƏP<%u6Q $Jp1{1V LnL;}&W7hʽՔeTl;ARò+:.O.4ĥ;~Ny¥i 7wS?3ߜdȔTG4&vonU.O5kX5Կw3HkCS5aELWMi>zfoN~x14`Cʢ*u[i!+V8 JhM Xq/Rtjw\Zn{LhJ)y'ګ\^uJ}qKIZׄ楅#6a. .7Tw!3[0ݕ6M4"@x,KzMY3 }٪) iq4KW.Cg D2m3;D ?OGp$̾a0i%GfATl4iZgMX` *y fl$*'ܪxgU 2p48#nhY A:P6ElMFڽ #EJRX礃|/D;qU72]B1\ SK`M?EU-))WvdIe6B/%u<)4bKH#-jiK.*GC/$BtRh$\̷Y{QTZ{- EZϗY"1[kOjLO9''*s Գ<6=hw#HyV۳Mr-j/Q!tΩԆ-^vb;-wJ /i @SI'nuI f|q> S`",l磯_|^"=jzpuX&Cg|XnQ$2o?yd jBkG[5N}Dj W p`F6 Y}A#=3ŨFPȟ)k4gbwJ&}??)x~2 )뚌9 lPaL[(DXoCvaWqiq\@.bڮ7> ~?yۘ1-%ƚ/Er݂`)0KU[CǯFcRY7l+ESrJ@I$qRWu7z*СN_*;ݝ`6ŰHKYQfƔH]x=8ǹV2 p /(T"`~|= 9ؖΨ¥, =t8nqJ#w_ЖaWq:X ҶVWޜ3k/IUc'SB'7` pdބ%GӐ e!mogaln ά'Zk@X-DO7<H \ɵkH3EEۓ&+EBNzrC <ʬfĮЈ 'Q @.)}vRXVs26{ֽܪ?|w$$v) [܂K4<Ye H~PPXt\ީ*WalH91u q暍tΦ/,td;~QtFdAT8 N.Nt*3? uTE8y"P~~?(YJ'v UltSiH=ؙ"ͥ^ss~%Ğ X 7#^3Os `N[ `kNJ||]HE/4yV(2u}LW|!Gber2G ݔ9ruo>ȓPEsQC U*[?R^MMZ`69皶- 2Zd2B[JqmzڅndKn[E&QLfGa+F}Chxo_xV:":d Ha7(HԄz (e(]jgpQ7F7\2DO=`uaɭI'mM^ Ͼbq4:T ; ߜHh͖LY1vEQ!b|{;lNd"l$q7+.eJf(,G3 U(mмs3vLX<."'h#b<6'wa>]57YU wgk7EF \. -z-؂w2]|qSxVVE'i%dF0Q3 ÕL|G QOh'aٟ312]ڀKQmm·)MHpzD})XG|iTwf] fd@ x7eQ= ox% `t9t$'*TR=7eir|ޢUMfakfkzVanCKÂ+4E؟:աϜ>Y0,/7Mxe;d1;yYJJZ+sKPKc] @[?ƌA>=d'+WE2j"Cc&-,YZhVDtѨy̻:yBHr[V T<30:zzƢtp'%|PoYd-a$TW~:lIddH`2/r sul|Q9+r6"h*r<Æ]3[_֭ϲe7t)!~Uh, ŧդsoM;ư7eⳙm[*ogUR4+8 jn}d$ktF dsɵze#a/?558e A׏֥OMT`\W/'{N-מn7C?vTEq\1xn?'h2Ȍ4" { ]Hd&_ZuljO> Ay4ԓn{S+A,jc ,^+ a9Y)3=FP`{gXږr9!i]  Rr_˷Nڣz=W Ҟ度~5K>fM ^ܢh-A!cМ)%7f&ȃ}WyCjmMXN}[ƒʷdogBJdO8Y#DTOP0Įx8wpbR">YR#cRnaNd?Lz>KM-JFqCuv;,HFq}g{PHbt#&bT)]3l˲4/Z%QNBʩZ r/urہGރl&:n, iz udL~V-&:nR&r{P!Ȕ[*JXI9`>-*~E0o] n[z^:xȇ37˜[ z&fœnϝGJwl2ԠS_pl'\iůLK'J(ԎD-V,S,9nX.MS7#OH?^J喢Q+q)-BR/zM,XkA/3>F:(5iI7M&c aGR|(mRшnժiSn.BFҴ6*FvTw}K0y\WώTR*i'E=Z~գ v?e(9G<>+Y #3rofԃ= S׺zPl0l@k죑l`#$# GU?!u rtw+$5)Wa7$," .ɑ墷 'dICE^P[o?a@@Gb;!L7/75boJZ`p]m5?iyM`C_r:Y|\k_02%iDLސZ_ <}_dhmQn&K4iK9Ʌgq =hh@EN٤m+qh]rһud_=u%jӿs%^Oa0Wjl"K-L ' K("_UW mf3ݬvz]ˁ` bN^(SGMX툙|P QKz10γeI=-.捀PEP:$F6n\9 cI5>J-n-N⇫z| ʹ'gׇn7ZbLIDFw6֖Y*ɷd6S&*&h :iaJ1 )ӛ ,i?LѢWGd_{iOOw!UK &~5 ;wtGwAY|o~y[g)5u{.6nh ^V9fr#ʜTs羏K'tkBH*m +w%1wcg2 5; Q\]"?zd{3 yW󾶴m;Fu^$^/;[g=\SFR^=B!̙"{=_`oDe7; l5f)#C+3H ˷]5H\1.Uܷ,C_ޒ.\&~wdR3n<"!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 -Nc9' d2<Xc5@h&?rk`YYrFEA&@A#?tQ^JP{K:0U.G?FlY,-Y odrs32u4<PlJjG{&UJIfT߅ >4v|`o4Ɨ]"Xίߒ\j߹Lt1?vDĵoj}w̶tЍܯ"7؝n2qe򏚊6&.7JMHK+ar*Cizv{cKs.T.SQK}CXޒEc0C Ӥg]79[rx7S&)h/w; '[P@2ZG%-7ubBI)qsgP"p!&`rQWp/jNZ{ϩxيDzQGR[~o͚a\ZQHgػmfS m L g1&2(p2u#PӚ)|<'( }|C{ZVtb/~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@ŲJgYZL/8uXϥ%K>D| 0r-v>"|{Ӊoi d|c 8>_;4>`7am#%eeF?K+k*3CZso傆HZo:}҈NNb!WZmu$ dERd@evof~&rtb]vlm+U Xlx즼dLsnR*eYOTWWB?m6=6VAS`h{uAR]~@aD70pc)5OĮb| ^B;L7~Wk=gbr 6Met TN4V(bex37, >ss6E 4,Ž=V%*@";)j^#S\)smR˄%{wtxp؊~$b\ md!e=ٌ"OZԼMyɭޠC< $e&-3wQ3m5pÌɶ _R-R=w¸k\FLiml@^YnҶgD0`k*L.r>.;I,d=z^Λ6 %tQ+*h@Ş5&d:X?!r|ײ%nnKo6'Vx{euT_ @A6X;#/UU&W;%;Nyό] $GO̯fU۟ːң?P!M[цpQ aqU݌Kx׊M; Lt pGg2]:g" DRtG_QlɿͅCWm:͖O0B"v]ˮe㝲4F䚌8P2b<#ix47# oFgQV?oɨhLӋ8i:7jz9؛j+Rgf**!l (4}M"3C* ;AHȏ׶Vd㰅":A˲.jjU|dCuxXWFiUݙ'+aV;{o5|UT=>y?+G{ej [3p6lLPHl.=֜J|uUpWq OD iuS~dx ڕ6%ꛇG]j kd"F)+V½}0_Xg| fκF~f5\CbWpy;miV"ⴉ}U} 9"_tHζT/8S kkjȳ"!-*B@s7RwW U"@nnL^aulɸM{Ѯ|-]Ǹ-f7JU[= ]PY_ 3ĵVrGu A ;=EV`Gy7M<rۊUct(_,E;mos4@3FoRT $|SWAbN[hITT{ޕK|T6|"ojp]'_w[e\[nmm:w죬9ѥ)&8˪Y o3SܤjtXT*9E0_|z38 TDPsП:nFxw o;' ӨFB:!,rK!w6n9PBIE?mW0R3|PTBnXU+g<On٨2X24VS$AvUX /nE@7`1BǸ~Es\40M=#SO@B/ܵgƉȁjB6Lyx {2f|B. ۻ64!;n`M15gYZ V )M% 4Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex7zXZִF! 4]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֖CpH(]T! ֆm3V~Ap|p _` lqfY ?)L0s(&XY).ͻw7ٛલFWՋF@)je *ܹ5 6C^*#fA{4+mˆEm.) .TB3~̬۶`U X{?[0&嚮QU2b^c'LfpgZ]P@+&"$jkd旌T%7WuR> p@' j }g1F v2$qM{U Ӄ 1Լ td>ME6Xv.~pabMtINDWFLjgDaom9$*d<5 MyĠf{)QZy-pe:dem,>a ۦC(pG4@ |e{>҂6i|a7!EA_wqꠒ 03oېuRҺ8挚GIncȷZr:ق0l|R({DV|2ãB{Q\0vY;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^3vadZ(s3o}1#vkfrbvm 4T`ˁ t[aO]h,q q']\J 6/nN#-El&X4qI(*DqW4+#7P3XBN 2 >gT(rlǥW*g3 qhr{|SO;z?=]TOu[<~W2]1- ~im. {uP &42 XeSj=-rOHɻ}7v@]#9 aM28Rr$Lfw/J<>^}~cY2 U׀)(dfm"Us:vOnrLN `Esw_l3RﮙVM~%a5Wj\+ 1pO e|_8 ώ\0ʋja1d(ڄtUX2H +vV YlgO%"< '};[8z]\F7ԫ7^_77@[jlQ 0@f1dU)i{xIH_ &K7'ֳ{Q$6eU1 Q_N83<&]z3Ӝoq헴Z[#kpGf^]:c~eYdf&epohچ{kF2JYtn7&h/?|\7Y]xAdԇ|%У`;m;ǵ?^QedT0n鶚KMD`>~8Qzqͺ_4V GʃYX܅ܪpם&q%%/zd=_=a '_n (3tABމ6:fPO?FI\#;Ue9 ^8a\tU Sh-ޮgYZ  &F)E% Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex7zXZִF! ]A-MՋhvG"uIBm5NV*-ɍYF@v1Ne.`9Җ Ӈ8O+V,;4;pZH?.u&\&^>>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_i65)C% |Refine_MonadicHOL-Library.Boolean_Algebradocument.tex7zXZִF! 16]A-MՋhvG"uIBm5I V +AC Sjj2.o%`یm2br7ӄ}#[GlZ])&tȈj$}viE^2/a01 BCQ2){8Qk@٩d{zU|L߬ݣ30B x%㊶N|Jg(L9P#{ϞV:p @(8koSU>B'aMMP+N.p|4sMs'fnxuI\΃c"XKAiO:M% MP5ǂn9'ƴ-9Rg+3*"hGNB{C]L8 SE5T)A% 蚁VY̱#^3߁m9y<-ql*(Bh=`i{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`ơ2%}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*B4dRMG/=M!6 rxrEB?. k v , WW)}x(cʚ?9+da:5¿t h2dFjD&82׏A@k, 1Q$fNh¦=t@7=/ :92|.+IVzR̶q,#U]O(2xhQ UE :a+Y\N0FW :Ӿ%;5n!&!5:@FCLJ^s~dX q( e(#J-S_T_Ka#.8՜?_ECLoXfb#d0j&z?0\1S{ xj򹓰e/ ,p7绽v;|h3-XbR鬆ȝ>f 3*TW=Gdp!ã,AT*prX3t 5?LmџGk" Q<4` o;}ɇm\.0OҰ3PV%m_ mXhVIV!쪑|~N8 Wxrp"/hq:C7`zԮ³x'Ft.+R@:UQh3l3H"zȽoW8~׳v]T IQ ea9 pGsoy'm+Eً;b,`H$ZI\l3F[6c1?U2Wvc<}s_ܢUy1S=- |AM'0%P½@8)0-FX'eh ɺCgYZ C'!b476p RޱgYZ$V_GU@) qAK쭔"z~_KCKo]=s=,@L dK.Ɓ9fCCJ?"iY r:5;QɁ&ɍ#rp,{Dc{<[?D0+Nec2:'kFn]fϾjsQ-W|bU#*3nqS[-Ja!q6w|G]=ӰAHHu+܋ 0xLIY UGK}~O'j$Uc]gǫ>b2kaDHF(12>S" # 8tOFIQxhx` kn>q7Kwdj6R=]n 77⚲X ): *?apt(igy:hrTx~z\cwMvYK4 R%>iI_k0n)gbFWƠ( nAAS=h Q47kF;BtVf_{]A4lw)Dg7gCi-m\Kf =J=%^[3ǵ[?7 /c曽Q,Sh/_McS׺Cu86S rο[wXd17x*s|ٖ9̓E_F>?>"vÒz/ lh 3SWDžFw4jhXmA|Xk\yY4_VΈEQoRSz{6ԕI}xzEP0A]%jQ#޳Zι]sIEA+X$1ҩBjqhv%vM++=d^(`t]6 _06EVDghP)q6=WV698j_H 睳bR70X'{\ PAg&ƅ0"V11sZʜi`mPJ"A,'Kp~OsXOr֍@8UTW<*3CgVNeJ}Ţ V6eCjSit0M g1!3tN꾈tZ~ԐʯI]R dNœ#ǮyŨT.@YEB3,C{R}0Sll۴+wԜ! 2CI'e'i%頕ra"<0K [qZ!ANa #2h#-s+uIt{h&T=^&t$'n`?4! }O/wRrn?<1@~BipH'CY!A-{j""Y\/HddQ`vl&?$`i鰳0'iܞDuNF{m$_fu(MΙ w̔gJeN4(; qIs %LR9^5\U%1kg 'ب|keQ~aE)TreQ6[T`~ͮJPea1tY~j(%I=wԠ-uK+*cp杶n_E"=f񜭧%B5U b=G3x[mѨ4;! !΃2$8o ZMR dQp8/lO LJ>aC ME9qbR1ނZ%J'3jo@v=z?.YsOcx\S:-^i$O*[!lZ{o=bAĵlJ :.@ZŹ[J~ꁧ],@=qRצ5_7Z=iF2ׯPٌqDj'??՜̔MHCXh\8^pK%tqiCZbA$7zs0 WFv_bG]^<{iNeHP+Cg<7SO>@C8,@6, ⵛp#{ U-~ɣ0tU; m=AK<toy(v'C\NTW3J>ثƩf/zA i!l/MOP^0vۤclx"m%8Yu\p0(ƌt"=gYZeS$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Ժ=ɺ{r06<\ĵ 7 4W;Jbu2j媎 ;e#@X r, bE] .eP5Bf:9U#L!V&vo],88&&\<oe=Si;罄?o'{'-H,nxΖ>&qoT@7JZ4l!@uW|a#*QU[3 8O5=ĸys;bBߵJwR4 fR-d<GAVk,`$aE:GX;DTSZZh3LICvwF@$sE-jVws`P֏)ݢ mOddUA> ;iYޏajdKʻ:[=0"#]ܿK;(_?H{QRPBvoq%jV+':q gnnSg'vO+e&-` [C:ark;./KGi'[iNF9z׎i^7tn泔s0sp?r[CΏ-O`2HBF~ j:nNr\L?5bAt6 aZ;t*k_ `ath=Mz!Y{Ԑϛ%07}֟ B ?5YT lUUM5QAY|É#ӣ~ gYZ7X$׸ՙ7!fiWڋL$0X7SANQ%!׽&ahf'ƊBSYbs$PmԈ\r75hǵ纳Da\D J"leS%'i,Q.a)1:. p݇$)d];OWV9VĜ;ւhEvK6"_=|̬>C-c8/ ;dBğ1 &".*Yg ]> }#S/ժFqtz+*רxj gmZ,췔g1NP@“*m]0]/G.ߵp'3cM}嘬x6gCQroaHgDCAZira}Nu\\ZEOX EFcCW݄\>K6nX $9 </ bq?k=LS0#HheR;ظhtw!Z<O.tOʄ8I9[э9% @gox7VR;PLU{NO S0ӏh.vEKHT[K$'E+cf$yPk}X,qH{Ҧi~n G%WCuo#2X=ǝ^#Xݼntk#7L˵ MT"I> o̘v*L@6%67kn arİ-e{9%|>녖Z=n3pVK]@VH-ꛠ N,>r}<(ѧnDqP!#B+rT3<raa=$tZIꬆ羞^8G}"Zpw۷{ŘWNbo.Z! +R8!lޜ[8:mjϻCR؟⟦*\#k.٧6aIAmbiQryI t% @{eܗN[Dl1c?'9E'tVO5V3,.Q6w_} R?u@ӂ"8P@*!@.: jW:.%c8w>jcEHBWNe{;/'9v*YB8qC ?mkt7XA(I!FN #,$; '\g-Pۜ]1.(] Ma0?L9 qbhx8jCrzT+_f-"> S^.鹳鐥Iw>rOssBQvp %NW IcJJƀ*'ϥ} .5ndA^ rc:.]ʈnS{xBNHvduIoBX*tq]>YBih<&>bѴ|&6"XǼv;,UfNi텷l~MdҚ0R- j?CѠs? 2Sȝ[7?8UaPmfmFp֑@`"sGp xXg{JPEH"W̌:y 1C!ѯ+גgsCK\.xr)zEf1ɋ=a&Ni;-]U@h*^|,y DE;a̐&0ɕ`lSbOHw{Ftj\G\ oLNFȪT-} Ni>AHhﬥ(yVO& G`-ZugdA=Gh:(XB\Ë%\yEpH21-B/8G( ,2 qNpk&28 Ѫ鲖|;'ZMRNU_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 []<W KΣ L& ^>>l{~C[Xex&K_( x4^F9MN)=Hghk7`EC&֦;AL1E3O|ZKٍ Vg"|jГ[gP;;!j- 't1 ⺧X'-oA|L`'9-ݍ@*(!0Dޗ]\B<$HɨG P_#Or4m~TaOUdoa$LpTT֭+W4r4Gv9b.)߽k=-qm[(?6l+.3GVdֶ+CW}0 'b&~?)OM}Qjhh١W %U_Z;/+(.JCk*.ΓOa00rФH{?pP )= uRgTgYZY)K% ~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|_d$f._eN (۳Q2zecW߰>?W$Hlܼn:"TOxt 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, uvMz":su`+jϨg*=p[ Y bMN0AsmO;p3tIMLe؈*T͖tR^']̷l! (r2'tV/=[zZ}]} 3֎Luɿ+ > DW;a r0)&^RHnzhiB(h[ ć2MK,T8W)Y~"`{֡rijdR0<.J˪a$IayG!!Clݣ @^KST3\ff"fZg)m^ooaRѾX@3Q^Ç6DPl%lqv'Ώ#,πAb;ZǥnZr(HzVL#9>+D'/>R/"`4VUd+\ E?m`?A! 8[c,*o*lT)JD5Ģ GqMªKnQuh&DY hQL5ΠY| ^~0 m\c+!^ , s^jQڦtTju}B $'J9"?S%d`A7S2K Qȼ$RYhӫbiPhT } 憓os>B\}O@4fwQpX1~ air%ToBc@4rTf84KXLrӱ GI^ wFp/ӆ͡} yG{\Z(”!J[~ ܘSR5Ռ^mE:} `>v !0-dq Qzz9xY^ٍvvvvLG᷆ +!nU~[2OEs֨&'Vy _F(bFU>'Sv)WhA8>4 ^L%.B1,2,(n-خ vQ@# LP9G.Iox3YSBձl.3JRw@6-BP̥Q.{n sWc̎BBv?Z ptZSہUI(nk5:g\deNqJZo30gљ]#dDa)'IK 0 "_47$I@Ǹc;rC1r$tUpi\Tk՜K 5 I9]Xc,*U`,MvH$N&!$֮! q=+/?j~<_X9hfRb& Z/1-Z>=8TP֑?_;'[ևi ,+qwL|3Uz lVER<+av.PZ}W*w;%V?zncdWU_ho~޿RDY5oeUU ا00ԋU@&'e5bԩ4wowㆢ9FA:\T =Y*{'xɋW)}I)lz(ҒJ+1/l$X.mtxcHE֑ζZv$mp9V M8j3١*!JcA8[RXA6֋t@9ӎߔ][U[dH*Yy6YvB"nȸ/jgSD"ӓ`=*{q$ЧJMy!2(8"G4gJ+uM+gYZ H)A% $Refine_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#*Z~]p;;mPvn5SИJ?VS pcB.7r㦓z1V壓Կ?>'PLQzW9^+3DdWt_&hHRfJ؊ճH蝺#^!! $0zt3!]%AVbxZCx1[A<6j>|/|E5 #-^!Ud{¸kl]ǖZ/V"岭LD|9M(By0Ⱥ4xnqڕo)^Q˴ЖvLZRfMk躹^5eîz-<8 *59ÛH,]aqkZg ,bYƎdXU\IMFI+4IMiNZG*lgy@6vq#'D.@p=QMZsfG䴕+V9w" !&۵z5VhX@_q>|$锏ݯ=xayakQI qW[njVt524z󾝐MYxcL*fQROaIkI!"uIƜlKվq b28G|y@đzTC >Y=$'5Nボ8LJāD>Q0 Pl4C%5 7zĞ$#J"8ZoD@o3|(gɆzuAB7>+/nOnV(93g(ꆅxVƯtӂaF"c[~̠Ro]+m?HҽEއh#  `la9e %p0U+Z!Vy <g`%{ڠ#--WS}ĕhȱgYZ AA<)I% Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex7zXZִF! y:]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`؛)ܯ5|EF%#d~ĕ W<2'U1e4ݱ Zca"z;4ӧ<_HI*ɒvgU^C=(?cB~Os5E][z~n"`SPjW# KT؉r:2ed5WDDә;:gD7 7hZ1X<^2.-:^5mq-<j=*sHnWHJ,5*VONG _fmx٧@j/Ta!wJ=Y$퀤?p3lH )r%ؔfgR}(<hn x$GVnzc4( @S5Iޙ,]ҥp`d288Zʷ6tU]&1RbO%`7jE|ˏAQx9^ohdz՘@VF^* PM .ɯdNoKg-O\B^_ֳMϒ_a}p³:ڈ^Gͤ&\VzI\tvk璠"KǀaH40xmkuپb/S8mw'Y٧_hM(H_{LPTe8B>ޱgYZ 00M)K% $Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex7zXZִF! <<J]A-MՋhvG"uIBm5NǨ ~N^w?-xM>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'` a;Gm/bp/%B5xϋ[~zM z1qƸfߴdF'g<@-_!I.'Sq|f̽v ƏWP% Yx= gYZ I);% ,Refine_MonadicHOL-Library.Type_Lengthdocument.tex7zXZִF! J]A-MՋhvG"uIBm5u{ǶlΑWەXl/1U P;#Lf 0M1?Ȥٳ(5% aM?= LM4F8g}45άx(pNiw =6 GHJ$%wJ26,M@*o#rHS%r7H+9{@y0|X TmuZQ1XO gYZ )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 WtnՇdj⬘Uxn]9hXP!6eI&[TϚƀ0 E۴ZVqkR.r[ƌffݗlV"[ǵ|OE]{<\7ccՀM=}IKws Y>11Dxo&_JUNOl x-#U.wI~frdM`_cdZc5 /(jή>"Ad]a<SpRCZӓrIaX(LMhrr'o<xݣ2!HyzŞ3q ϤdHtnS:u͗k@37FpwBuH.eь8jRP9?z  ic=QgZF::$O29WŔsw !82*IF*f<~!]6sI裔+:b!GPmBkٽ'+Gq{$[ٕ{F]Wp-o:~u6%>B{hȭ^-RSW"%V^ۅQD /e46MQll0݆6 /U{5(gŻSD=܅Wfz 8J}&Tif3Vh?zUPMtU+XSZUB#<P1(uNפ!}(H ;ojѓ=F3YEx KQF"!PtzǕC.~pm>N:Xx񹲓VTC{&DgaAqCMnj؄ۆͻ-CLHs] F2vŇ T DMgYZW)?% DRefine_MonadicRefine_Monadic.WordRefinedocument.tex7zXZִF! 56]A-MՋhvG"uIBm5̝9#fqipN;MO^ZgV"-U@M(eDWp{Aݼ%6bZ=bjJt/7@a@ՃUk.f#|2r9B݇=!`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 ⟅=~ٳeVn>e_V1U`f#m6;MT` j&WJ] hy@?sjY2FPsz%4zVӶj0cR Q> ]2 I5mݜcn-Em| x P ك֟BŶKR\ !1]nK^dXq\:JJq %'L$y ۖ%0PJ ):w9(ppJ2J5ž P#& E$^̦8kߪ%|C7$ 2^nGr9w2K8{ݝ~ _x1\&W,pqVBAuWKxx6 Yã ҃ )~#w8r|`+Yݢ0#__/6}.ү0fxr!H~`V9Ȫr }ˮ#GoEMv7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ@)I% Refine_MonadicRefine_Monadic.Autoref_Monadicdocument.tex7zXZִF! :]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+BVxKd1Bs rbF?oI $LԤr=}Mǘ@QΞ!,04woaXÖC\t0߉r)^Pqk"pobntxZw$_$o `l}RۢjT#^:tؑ沉3 .pM^QK B"5pɢEUQiQl嬯Úk dca&'(ͤײbPk.- S0QDb2d .4=cH\,teǭi @}kgYZ  b)=% \Refine_MonadicHOL-Library.Phantom_Typedocument.tex7zXZִF! m]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-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱gYZ)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ۭLQJn7@_k4Jj+[ #47i\zKi`L|5ͳWB2XGyx`%EpS@ΐlN$FH= v;oZ8'ToaGF?5/o: ǨT y{Q%${o-u_'b<SwR1H弫)ya{5E}8Endhf%ۛxSx2?f@rLCw0K$eSJÉzoVO9rAC l ݦɣ4;n9SfO#xj2z%OS~7;*#埗K0J-Q-Ʒ BݒnfqZ ) ]~̜~4u&6[B`VL_q7,R^BH@G<"2c("ڱu|H#o\0 ;vl\k:atiuϢW  @n 來ߚNBP6m5A4/E~11g0b<+u.gQ\s⢪GrVlz$\2>{eFG!,@iT,#F,8F8q{ŢFTrtPgt#9d0 &s|1oݾ1+ Z=d.ݓ(:D;D {1^\PzZL&*q!G|:oJ)!ksRNHP9Ք0K0oPNl}zXha3XnqB񆦶݂F~0(2%Rrk%z.~"0H= ¼ {=ӛ#3LvGɯz,˞L*U#Z&QL`׵: GٲKΞns.B,DK@؁ Qo/%u3bpV]߾Qua/ÁF,1q/jW"ik Y=CBQ|'j6)&Et5~EG88;U_ ?Vr^ +R0́=ЙwKEGey\J6Tl|jB6hm c?έ `^bgE/ ?0(gYZ j mEj_$)G% LRefine_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*?jjb@8  ¼$ l-emJ ܸ{d}\Y#!T^gYZ|#)I% Refine_MonadicRefine_Monadic.Example_Chapterdocument.tex7zXZִF! z]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 #r%D6ŚцHVv)vڤsi,"1 h>bMgYZ ");% ,Refine_MonadicRefine_Monadic.Examplesdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5v'y(cŚ5b!X؁tۘ _sMw*-n{Vd(T$!?=htk! o2L-$αgYZk!)G% dRefine_MonadicHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ% )C% \Refine_MonadicHOL-Word.Traditional_Syntaxdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5r ܇]`Iy_ \|bݒ".bIrf\†h窠AOc JRYUğ9sR|xAWhL >v0 }j0ɽR}ȍC55N}byag0MQtf/02j~™] n-D&_r^sPc\xKi.-c\s%pV=WLo50xKjf_nЪ%GNA@"dwh^xc`JzțuAl~yT[ ]'bS=B/]$ !"ڍ j: 5LD 雓R;ApW`HP8&@~Aݣ)eM'gH +wvS}4ηpE~ʫs6_;Á͵s1,gڀ f[\o&2uvAM&\ؖLUrkweJ |H@SҰW=L@ Ŷ';oG}D+!N0J`h_l<[f8'-W䭓w@nftga(^vG,&3gYZ)A% 4Refine_MonadicHOL-Word.Bit_Comprehensiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5F"*2*=)Taa86(:D-5GG !mi\C XTS'"74 B/U5a-/Yy.FBn`{i`S,ɍCTSØb^y2ӡL{ G{SsX&Te'-J94f.x+{|;{`Kڹ8E/.:@*LVt:Q:ҡM3Cht *o^}: y`r3HcKr^&O@&fs!Q!i%x!;xM.( ॔]A?:_*Cl |V!kcayĻ Zy <ĭ&8_LC [ҔкT'I$/ͫ[!A/U8{)EPs$hD$:ocÚ#@IOB#;STWP0Us8DB24{νQ's١2vr'In0 G- ᅄW-IQ"Rm=yVaśXsZB}N)=LLQl*osȳN$ %GVhߎ2Fa1NG;r6^"G@:._~X]w[wQ{iq$Q26^dއgQ:4 sӟ/ĕ,3G<`nYm#ٯdm ʏΞ؆'wZI-g* )<2ФH7T|ś#oM?vez~1䞉ΉIUr,EbKlϩgRچ3΃oqWL1Ӓi qi|QfC1t!X[ R0l| L.:IIߺ>x!`/h5%l6ЎJ1X@Guj˘_o,,&FӱgYZC;d;#@;IP' g REtV-Zn&\ȮN_2A_/o"vg"np "ڂ=?Ț$'$Y4.za{bozPW#Cm=4~t1߬'njHt,+ N.& 1e3lk7-vuJ6-,$?eV rn4uTTeH*,riIZ%nJ}KĦQ] 70iCʮ'ikKeki0s#!I>D{z${vO XQL?pi=hH>؞WN UT 6N`$Y(a~a8:Ug"kN.r$ˬJx[mOB]b?S M!x&+*HwjZ[rJ҆NםI׈O((+zp ?l,_4`{ h>7mKCAdS"ȳYMH!G2k/)r4}b4m*̍m[׋(*uaC]7ؑG&!54-cod^FKz6J)ιe=_u=e:{tg~]:jYxmS<;`kMH7TpdΤsxvHt;& V!>P)n.hCZkا.ՈA IDs5_yO7r6P@8NJ=ſJH*ͅ+Z-EQ*#v1安׏^an :[ Pض<GA,֑=) ^T`\w%lm3QZ1gaӣ(pE?`)Hq9t:SHpu +*xDz+E D yA^kY,2 Ecy-kcUE}XJv~@5L>nV h?grPr/6 8eο>;&}*np}~DHU۲, anO@Lʂgn6oso VxjZv\9`ɴ_fWBX?[o i3Jn)hdSQ[;ID?N4͎ C_'-!m?d.a239ߡgɟ6)W:ą>_%Ml^0K)W2o-5qᣁlFrpK18_ĠpyfXSZg;0Qz_SgQh4\Ak$=)"V#Qi `ɌJ]ij S1yT(,5USm̉\L:PU!;O_e ] C)Љ9O/xhڧMG85zHBWZq^Ȩ*% dˈPcLTɇ13;U~]|I3QXE9fMT vC:֕&8E8]t/Ub. c(UNPŨH|,NPwIKzI)f5|w/krnd*wmH w5rbbճ[s8_΃-4;p8c/ f$-vf _K2St1t /nm"/ "*url~;o(ţ:-1Ń[عT*H".6}}CYTWuBDBʔV(N=DG;4T}u .%MMu>q7.dxyL_iJ2 '$ZOzJ;6R-Nive4@"(_Vt!N. )j<^Nu/#Wn: 0V(R~opja@b&38j@&;}g, ڻv~יTV J&bH(%p$F9*ܳcᜢS,O'RY_:Ro3 ]x3euFb-m&NUnC\A7R:*@(0|CyOq/V&l2+f-\B ga Jg;Rzk16n@oYUuf#nvL\J)dtE(E!;;wl~/kh.U$Ҏ͵ ө|4llqUɎs7B2UaYKq5bUz| )oS!ASvS.tQ)j8܂RlX'sJuN|y # ,#XŨtKIxn> F.IS4[ ^%H-#q JQ?4apԲ#qLх HErSJe?v1Y9/ %idȌ%umBQm=a܈ $Gh9gfzDGgzWUwi v%IiIbQ؃[Cg--gz9ȝ5e\mv66mF,2\ ?1<<djYN e2slhZ!ފbX mY A-PW]Py?1%/}Eqǁ @.wX/m+F$=(# Ƙw<6%)g#.< d'+1~⻃<,Kd;^ofZ~*b tt55|YD̔!TC2`I EԀCQȲZԡ- 7wc v;z+|حA+֓e$(#r @~C{E`F8h{Sǝ`W%ZA k6 pE^qWu<4ިbu$Ԙ;_e8J#ȃM6 5?Cz^1}p" tes+_d'q<-UwTyUYx=jC޾SUcm ~$Q z*d][wK 0X`e =h5Jq729QLK~?Q@dŴ`)j|,fɄ(?'Wɶwt*ñ#Z{2݆mT֛G5<][D@Yy+݋[Y#2_ gbJ^=Ch#(N5HV@*S sE~ګ(>l>|aKΕ<^M?,J9z0,,6u+NΧ}\C I\tvHOYSڈ{7헢Xՙ(?mZђqu{#D ̓~>T Pt2jbk#ɒ|69X9k \w]! ֍Ih!,q^Ua-Qp)JY" G PÕ4R:Z0 Œ?b}R*PViJDjD u;XSxZ.KXOrcn jQo 126BROlUb}0a *AAz3BUxOֹ0M>O)+4Nʏg9pcR 1)~$t3h>9Z u<2r %D9Nop[,ثRr _S֩[TPd o2W]Z}ӆT+n#Hn Cb?}Pp]ZbZ5φAsEBܼͽbWpey+Ŀz eWiPY'Ieiߧ"T7? 1$Cg18:+ZGi'DDz<q B2fd^ '>lbe_a\e۱ f`h'-=PUe@r旿#F %8GCc#{kހP5g^A.pU< *i~Xf&am s`+vIPOѮFH1d>B;y;I| ]0NwJM ◫ukC--O%Ν53\jSPqSjEZ;qA Uq 31YmkݬNou1>K^n|URjkY >%iDu{n\n/4>*=*NzF; ]&gExΒłF'rTKHA*[n[d[%ǝ@ }^OyTB=ltnf6+!F{GL~%2fK{m-%/F|h!nk4zwvrfyK) uwHV^Qe:j2*S7i H0Ԙt(tv@\NBN`5Șytj(e4ѻyg^ 'knLZm_PgFuT>+,&'mV픝)1Vi_S2@hDH HA)V{BW6ͤ8)Co4b\`LZTvǯK{H@=&^\p:,Nn]B*.,:~YJbmK*氧:G7j8>Pymg$Œ_e "IZ$&' ל2 *Y Dn4yO-xxZ1ڼBUͅ\޳əBS%TbvyE=sea#mO@ʮK4 8ACF"V6ā\HsoZ/KPqq~#96AD,2zKmESLd$xf8@$QYWO5j8G.) ۻm e ͷB -=?0,t䰘) N=~n%l %ʿv:zMX[}I6c M&eupZU0q^#[:x-T8V^Y`?z8`Yoab!b*4V.Fp@c= ;Eج2FiSt% %[XҽE~qQK l` 5ZJVVJ S)TШٙ|5J*3#Ւ! <܈b!؊p|坏g=t|d2LS? LSV)ߠa7V=#? kߋA٩0z(Sp3LzrlH"~dis~)Zb1X"X?1l=!"R,!fF402b ~>{>`]u)\f glG0Iʰ]oK`[eLmXt› 2GG@H| |IPTȸ s{6n˗eU#99324u̾oI5lp 9~dIO;>Frt \1;V=I^=}QCj:VsEI@ ٘"%ad# @ttݚ  <1\t6C0MTu M)ZW3ULE*˲@ Pa#2g+󾖣jӗfjQyl)7q.O|x9iǛL+M)C :!{\5gjs<I^PFnt$ #@i~V ,M@*/_o⯑j\„'q3#| omN? @ӗ+#ӿ<_hxBW+Q:Q@EE14K!MZ׊){nc!==ֻK|41ފedG1;gʸB=`3ȯܙ6ڗ\rqNV^I]rMHi{fŻ^јaM~i):MDsY{F;#uE57C"3I :8ߙ \67Es+t4K>5>sCH5L!~;#^6- ij^J挲^tTvƎj،!F1Opzq!@y%鴗]*I 7-ÏEV{\is'f7BgVO3jЁaN-x>{@s]8~IiXe 9o =Z|QH-`p9/@d:a$%H3؏ڞ̈́Jܹ#MmDzWtm0Ϥˋ3{%yH$@9A r'8oM~#g@Y n⼿OH~?~Vϛt׺npzȩOBc{K|sy.4(&gҏkQ{9+y}?WY>i0܀!;H\a$nOi Z,PmI륤$' qS,oK{sx6OA`ߘ^uvㅮ̿O9%Ǡ(N}NuQu)wKТ8Y s/.FLbg S7)Ŗjk 8ɼT7CW$%e2Ę<:Qm>1yjHʥƆ 2_!+4qTSښy(<ǍI- ~@ C78V ?`~5IJVIXb^qt(uEW˖,s$xT7*Q[]qxv!$?K̻܅9sxca<)ȄmBT:I'Hhd7˨,"W ] f}NkIwJz;G깹 Q冀^*0EJxva'Nk0/lA bBPH5oBV8̇7]Y`A/2w /I u].rvW`fD59ga_}"<|&){L|hCx@^Aks/hKK,&̠_*^6>^8pF4 %D_|,]CZ#!3 ĉ8]aaRQ~8.X֜&Gşd㘃nlCc`Z*On3a8鷡[vF +mLɻ";d) y{& nEncϽHځKeB4=ڍa_)o/FTBa@<W˳{=Cq 4 ؍mKQO:IMerHi\q*]BLOW)Z9Kl>['7J>g׺Υ@RvlOg׿&  ]~?Kt,U( R/Cy:.GLlq&x+ )SQ_'xu0ɲ֠K@sI%?Ak40,0Zi$|UshNq\GqQL[iF:U}Є?Gw@%YݶP?SnKQLV gsރqF?vkir۔`cp;f-~_DY mJgznݗ E.k^!Yp>ڈٔ:Lљ )a$fPP[x ؍|5؁&1@}25=T4j"LGTц)/*$`,k'[3H[OVC9=nE{TөȖ(ҟbjVD 2<ك\KrR\>'S fF\',Δob2==ü6ݴ/;`M/VPW#Edzլ:;bj:+3+k%ȾH呰5qO2-c*X OPOqϬaV M*}e _gQ=Pj#xYu>?;̜+hᦧI ũC׊ˀzkΌ>.zZؘMspas$X[ MdH\@UuYKDc|`>h:Xhv ̸^)DbUzlk!Kb4(x40/YekR}C_&3y؆"唨ΥD[S5 eႁpqM/XIFêoL2m^PKB3=6gOZM 9&vl696:5*JAw;`"%t !PB9*ka#V<΋p /VySf9<0!K=j n1|wqϊ >L( v; ^.SxX=T,WPAu K/%.0uܟT̉(XB䚻- j6*ࢧi-Cu^񞾄Z=9u.Pu1T]47⤉6Fcle*%S]GY,b] n3aRBL\ٓ&[˘_AC|0Kt*s"brkIk)`c[YFAJ,{U^ߖ7]s(+vP8>~s+:W,Y Ng`aCp*+3p wSBwxux>P$bƁnXc#_hMb)rz >xz)hP땗{{&]rDH ;Vk({+! -Ծ[gVnΛn+<Ł'91>qIY{fǣ9QznD =:*A>T2jӰNdJ S MͼΝF rq.<-."! //s\aQdH$`Hr̲VؾtHu& "Cq_G9=J)׭1i>}EB>[}|7[dWf8ZͰD8U>GtO} S(Nߵ};˒B-Mf1EoR ǣcuADQ^#pzw 8. ib3\*c̅=W5F@Ģ7V -R܌͆:t]/.ffW$zAj+p P.⓾vmd~]G#Ĩ9]X{缌.P%3sV=Orl*3 FE$H&Oo5 &8 EnCA}5"wq%e%7B&LUAQ']ΠQP T:6rIQ=}F<tQn=/X:8@q3-~: uHWa"9ԜrQ`+0B(b՝5{ׄ(,]W2J){6vADZn%{U?jGW+kSVNO{޻9,8!h|$5 Kz2P~u7+ r3E\hC0ʲ{*A6vǣޱd~K&ޖI=8OaI=9X0I.݀fTmx>^a'w~Y1QUqEi#]+xX),DehqN ~K8} -RK6{(盪c'A(,Cp1 1Qiq5/m .m?ꂚ ɶ+\p?_n[a^/0' cVw-! *=R=4.D.xW&%^krG F 2v!)ǬLs~UΡ9k.j91oDHv#(OCNw6К0dG͟8HT 0&ּDaG !. iE*DQ#Ҵ*O+A~gyhՉ%<ӠEڭ(p<@eTiÐ:5Q>WC oGokDxp!_s-tWqQߌRqZ![l@U)} #WHa#U,woŇWhj,fY qxaٗ L9 @9 ֊ە/C"[atvf Jw~;9Ίb>*-釂t ; Ӑ":AKgY{Ԏ^gQsuApEHۉŃuܻw4ZF\Є|h˗jdY{/|p7# 5|/V]kva$/0B/ksm$$F-(IE&WK d"6$8u %rڇ0uQɃ5*0ဣn ^QwŃf}3ۤNGb#D^Uos"|Bόs|E -4we{Vnc_ }?DqDH Cjq1l3=ANԂ*?Je= 7L,ȫ s^ zdd!2z4 U)#R=A84:̥$U=e7mFċWX3vSFA( ^#T|>$&qy&cݒ|oND2C"%$u4g6Jx~5H zGTZ3XjlpߚGS)v ly c=7c4-Blֺ> ])lC%уU9P8Py =ӡ ˑJ1k+>%Ǥ*Eĉ7A3y5@ Gt:odq:PgP  L9\E/prh-ˈ:Dx/x=j/syW FomJ}<r/\ \m,\ۈ xe ]{7SXΧ'⥽7mٓeG:e ץ.ZT+И/۵vþECn;RF7а.'LImHE~^fP|&6.2vяN.3|5l 0!Q$Mu k\mV%.X`Gc^>]F=`Й~ ^QULْb6MP@Q?^ } >J Xs]n8d[Ol$* ʟRbwa&}Сo,9}xa]'lp_֋=7b _k* v.!1,,MCV6t]%\42{&Up[siKRm{K`^;'=qF>/I+hY6\Ai6u^[X?ZA=ElLF1Cݥ۔JN7_Rnhx'eFVaqn`LgiQu1)S;ѐ"gsalu2Hza81a58\:q<|!^q kFBm.jbSaBBH@3J^gf5+gcYdqylfo;)9]:@! q+Ӡ>.[mbagbD~97ֈ K`=НPmhRWDD>EnD]ioxnl_[aMn.w3@ufﳒS$`&}nl 7Z޻2X`nc*K|IsTc5*libէt[hJcjz\9|})C~+u1MR)ɣdRԉxϰ{a []/&'] *xףཛ !3trۄ3aPq!Giaٕ״=|Ca>9D v^F7kKxf*#[rE$Ť oƻ |m 9}s _Dkvd$z'eޓ))o L[f=j"4ĸ fc%ՕuIt Y);;7`*Ī'X4lr05A-H.a?]I*k$ {(ico-IF{?nV0' $\ i?.> } L,^Jr"v˓W$UCJA<1{|:NX$FD)xq.7LͼA3~ 77J6RMBOU۾#UZܞb_lxrhko@9nm0 ) 'Tw0ܾRTzK< ޠS1K 1󤅃I\`x@}ɗ!> .rNc !aXL' 1{օԐlî~}b}V{l-#doKC#l4X  3Z ">Bv"N4X7ǠCLNE;\k,=wr§UDc#PEQʫ&msy?G١@[ۗʀo !R~ &okHI#TM:%8HO98 Q`rzrzAm":ElN#O?x&8j8bkAC$X7 6?NyG1zVB>)Kʵ2_ byٌͨۂH];3#Rg=HkpȂܧ̕g*3Uc#R9S:ʠ6dܺy1vrXlAa#`~d 3lp~2 Ҿ\oڙ_x -]9~G%ۄ/EG[q!wG*C5~vU3=^ImXi $5pܩylWY:,s4hxhCݷCr4 X_-r#Qvߌw9ݠ٣U-by](X i_*[q!M~[Vq#O&[c% -G.jDT-+WE-| 8;th CHݖd x"q4 К8p!qH).]Ŗ^pe3&&06DJGc>V6GCͭcx} ? uQyC:eH>vNؑyP"T73ׂТ.T^\Ks4zt?f O SnG֖"42*ڒ:ղQj$>y FKh_Pk- ȏW@M8iȆ:kL%gzZ52 :fB܁5.\Uc54+)Bzx9NVt7j㬘*Eh-> ՞=c 7 e5+&ѫtT"!JnR21}=߰gd n%-NЭ<&B TZWQ1 2g֔ě*I!\xhv7K9vSz&Y6| xJKɷ.~ί?=J@m[-E#ݬyqnS780wQ(wtE5)*]dҢP-@`?bSi":nt:TmWʀ#ni_{M?^c1tq1+n*ff& ]0(-;rYQ><9sҿȬl9^~e;$gm.agGra\+JY G‡=CJlU-ݥO\A *ʦ*Nۃ[cov/P^_3nMJc8pz_oMTc?z kt/tB2YP^+5wdR1rڭE " 3]p . 72Qoŝ{DZ&w)}3|jD3r}R]'QO9ĸTnZY9{ӆ21-wZb!(nMg& Li56ĔVݔ~R=f>M/#h i^ha]qUK'MG4 1`|La2; X' כA9ˡ,.92 xw /h]dVX2ӥ^$n+>>W[\|yh95}uRs]$ B>}'Ga;]TA(xF6@Ф%o)<J!B|C-4O]@c$Rx\ds"ft~Rt &Yf=0wk:?.>K1eD'UsJͽa8|2Iky18NSNs)%4z:$@ 4B["4o8ߣ7TaD&1їw<~Em=^Fc粿V=&aG?a^ّV9Rym02ug et+UŊRD3r\ۘ*K|0^#֓Tko0d%+u֫WXGDk w\v">!ڽMҞ$|L֋\]|bGOGLZ9%i8c+~)h.lgPh}~M@m$ &jǒ> hsMZ0]b2G_Ѵ+ n8vUNeBpJq%"pM07 X>_13h %۟ %eO߱>B>ĄAJU\##$_rY7k^e$CkJBjyB(2UF}/,,Ke7m*G4hMt(ox.i) 3X+wJq_cL퀝2^gshV*) 1x[*@[!5{q?SލcSPæ,8Ne.m0^GAoMBkږ=w,]:EldהoM0GMY%"oM#{'Ɍ`f.ف?ߥCvcU,Z.s]YvxQnO` OUƋsO,΅E|myQ0Jɓ\A+ݘɐ 0e})Xɵ/Ik]IU=qPEŽ/ϿH߱]OTc ,%;r Ob֓Tztuyj>+P>A#}C:o &oav R\RN9FyU,9J^ɩ5y儂1YnL3JEKYȜ42(n4!LuiW&4*%󕾳Bd\(U[(?Ti`tG\G(/n^eIbϨwli@=ߺD 8#ЉO+͕2MuMBXzR[m1&Me(? :#i_sgSlT/n VknSIp3 8[>1[X69@@:.h}LHG?g|+tc^{\^`iBbWԈ.05q[)Ԕ8J5fOU6'VQ3'?[*(jq+^RT0j$h+znoE+.,bc#n%=VyߕR$QΰW+E˭*zs1(EP-{ksm>\y9K7yGD"USԄI~Zg&blS_aV0݌fu)ã$@P;>YQח X. rj` lbEg++LR(0ab\ `G-<-%ZɈ/`cP*m?6_@w@kw{ҏpH5 HG1b矁*s}g$P1+bڀ *ȧjwt|;@M]S')uL[YH=^[1ԣ)dyzGgWD/bop(-b.ә(#gRX괐z'y"v7u/nHC~! uEd'Xcrf gce(#n(>_;DvND7 ukҮKpK'2+x:RhEb]K':7EvrA-̰/<0HmxZ_O+w~l%Lo~HQ*֨?{ǰěpLF9kX1Z vWRgM j`#̳IvM ŀ{pֆTh045r/[,XPNFR=mlb;UZby9_t*L( FObA3G Ռ%-OEi5]X0i@Tʁw4"24QkJ!݊涶Oc9"٥zkr|*+ܱY|LUjvf#}B˾naE-0md7-؍WjGxPuSՊd5'S2]m(w[߻\A7fz}omh9o[-vϳwۋȲv㠕[i |UmfCp(5!ShYG' F>q8ý{`Y67k= ◜92s\hhH / yj")٭S1'+?i~2uF _X?M({E7X I)\|So!JH{%~@/mkҰQbaIyL 4v+H H1< &U 64[/㵋bn="/a&0kERrS@Q ^ )F8B3yhKiW':uz6뢖/ QKӥ@-|Bh' +8&xښ A9!mf$zw 2U.O;:qp {gjr'az%pΧH8}R-0ޑϧ//siXPb'?dܿӬ0(:CtBuv+gZlAvck/Y d8ɣ-fHy?l!&)^ArtM1W'Yۆ-._6,嵷",*< }@2VqFw񦻢**YjhTM˚`($ ZE7:5q>7S장$o k󮥠!Z\'>4az. V];v:Jިe YeuRL8G0!qB?oք-հ#i< )C#N~Q44bW%xT= ?f0Iq E^?*k } |=B)'kq4L[@E*Jaܣ> L_̧̠|/4sTq#T1jι<ZWTލEˢ턲Z"0Kkʓa`=^s6]Djjmm56rRT3s&f~d…9 p - ebUt8#Ep?&xk:Q`M?G,]``kړP<㇌܅E/a[V\_ge^gI2.t%<2+]jFJ@qei`zB3b/=Q%SnJP4$"eNt96%uBٲ\mGmYQMc HB11Jɐ]s4jM&[?@< SE 6bWR *ˈͶ 7Y-:_oPvŚv,UNwk.o547I x[1BCeW&-C-"@uJDܼ$İRTUqu"pU@Z{Ks$7Ãj[9,=gq:V:>S7\+dH~I˓5.ϺML6?YW3'q A H;` sT4թ% 8ʈtekX-kG~ UW$lyPy7P?ʸCTMHV^^;Qbv QZ!lhRubM$NUi=@ 9ls!at(Ԗsdh |$2JE񑧅b :yuKɣ(Fj')YݧZPu?zZ]bTu,| (޷~ wf%՝V\!EY5C`2gtFF}PMH/t6h) vv@Kށqu.pP:afsl5-phv@o?ȱ -rerp٭ԮyҭIEbYQiFI?5.lf Y6{@dϜ9ܤeO[lMg1O?dAͷ`mL96=5o'&Gk@2c0i:!45х_ i#T3@i.u}%cBi6tC<\!? Iiy[FE➢0aJ 1/Lv &;p(}E)FVy< g'oٟ\D 91UADЍ%$ X3k̴X'9$]A*b/#xyf+Ӣ[u{m| (KIخt$HU5V]|ӱԛXԼ;}P=+-uQ. 8^WBѢ:i96H?J4\rd%Ȏ@oI5me~i͕&^7v8Qϸ׊4R9<"M vh!5}?n ٩B#ǁYu`A/Bax746sH L*h>fb+׭x A7ąFѪc 4eL*`ã,6ёveR|meoIB5*we (VN&?uu3JV-N[UE`[;leʲw-Ob:1SK"mhXR+9Ig@kq;nJǽeb1rNkV:pmi#Z+Vz[⍀[;&ȵ%7WN 4Nl<ff+fB.q("JQ><O\(wQ-cJ/k].@/|I-xSLl>{͠D VX\?sIjT>iX fW,u3(bЬԦ3׷+LEg6hO^E8kL8`ndY`t@QEO#v܅ bQ0[ *yq C]M$/b &Z \mE#[lڀn̖p1R RT `Е"0aHo9@bvƘx-hkWE  is,Hgw^h|(+nWo %H ǫA$]xkv ]na<_ӥ΍AH,}t3.ﲖv;)vޢxkB ~)wp^E 9()862%a(g[CZ}}N@ŵXΦ_tPA2 +%Y1P4cpѫ"M]kE*gh^ ew[8ji |)#PAݳ0Ϩ]y^ ' 媄@hnK)t腼\BwaouWSni.MatFp&A)tk&Eۊ0}o@]ş-OvxDžxzG9GXsE$/ AQQX ` YfX Ř̯2q@9ֹrۖC?%,?l>d˘`T$]e>%]CbϒWyMP~~Vb 1%"*4u[H mv댗ˆvՇfXaS To]m콄0GCҷLt2@_2N1Vw8ӑϳdlb=mlsZٷ,~C|W+s譕%rKUayֵ;Qy2+&B Z4Քtڿ불꾏4IBN;" yOĢ;n6$m*$s$pP~Oͤk7a1oG.ӷ=}xcXdd_ĠBX&Ucm|/Xcs˞v.y~i;TӅ NcspVr s E98쓷ܮ\ n"K-G567u.Hwl@< $C#eF9c/#F]ނ,dr,p{:$<@L2i6ۯbcyvKΒ> ;Is$ ua]owZ#lLVXН'괫q:{`N!6n.ܨ*T")д(9`^zE[*U$y-c ŜOT2 w `];/컰ŜGSU}ew"tk(%Q#L{?)v ԯo@I 0QHM0{T6_rV"?$ `q,N8АU/--b嚿&0lډvȡ&z8i|GZг9ZzB~Y+^WhqvE;Z: c}EU:1k\;8xYzAĈE9Ajh5ڣ/9-YЅ88?MAzWܗ);x#IC+${/^-;n AZ29\Bd#T1ck1]LNaB&d7%֎k)8:1HΛx2S.)|cBg*sy&`3xauS).Q RNΖϐ۝iߋez6LgN͝"L{D|R> ~\]P~!"Eu lY 6gOǺ<v )3Vnbe`b9!׶& F)4ҁHm|HG7hVif/G_l`ܤΰ&°"6І>VÚOj_ jZU2.ڷ}>EP"-7`Pd7A n$;$Zn2*/rH密G#]ncP'v%QP]); h}8OO$0q,] `VŢʹ,j*3)A|yY;NF!M)ٚ+E 1>5>Z؋<ƙI!d:zp乸pӃ˙FzpQabNPQ5TR`~[ SԔlwc#&DtSA/&ТJq f7ʦ f)P/d\U,52]AGtI9D’LGZ :% |$:S& ]gw,I;ZڤMyڛ]*D"RPR%Hi&P`U4գ_-T%/5RSCdHӪVH&о?뎙j>BfWO'vɠY7قswFőGUcp:5Zz֗;p~ltADrYC/DjC9t&`ݮegc͆ ./J}~晉E*.,ԥW1\u~E.}eNMӂMt `8ܵ'6Qh 3>D\r6{ ~ QR9S>\PX\Yz\j YjwBQlGo|V͗Tx7$hyVR(w66kEfL؅}UٕQٿB'6n  5Y3 Hulo7/+9 &RK\`ZkxjaԫAME%װb~l9¤@+`p16a*2y/E s*# TdՄN#/IbTkCP]Ymo$>zqMh4 ܴFNٛk#<9L:(Y濳C켧v:Rd7a/J)n(Щ ڔlY֒<=vXUCW~3O:uԫ TJqR_I6ijϰJTÀdBBEy#T{A b.-,dVJ*bz\og5`κZ@܁j+ `l^ɓ|~ٖm"£~͘zѺMɫ*b"PNM>ӵ;oQ9K3B׷PzGs ]CvΎ@;HbDRfBclcn$,q"rr^ >$tP5U9y\ϱl5 Fqlϱ8xy6_s24_ 7_dfqzY" E\M" Gnn$}&# ^^^ژ?'pjȬs2My|b~{ !^&V @,᏾{E=X dqxѐiKAf?9(ѸzsWOf;}RwY>~P/GT 6q=2[T~pAXr\Z"#H9/bTۿ p뇬hXJ&y][F')pT,gA.(M_8b*$/ld}diϯrh 櫘qO@\.fX0HMƉ,o݂XnA }st)@C e#]x#xI`+˽@hʛ|pLz u};t~8NaN5Yx=~y9-^\`JP`ÀH;TnߺO$mWǝ؃)Ќp"05wR2JWVC?bR(@O3PkG,u*ՠ.oWPgc׵[KsbMeVx{~3MB%a=ē(HDg=_ٝO{ݡ*ǵ TWǎiq ɚ< WP;Vٓc@;,eK+J0_&0B_h])[@aQs-hjkfiMCmac$%9::SIE21)R6(7z !O }W(&gqP;8j PyNF-ZMZ"!| UYǷwC$Utr{7$JʆPgN"5%Dh?@gk^W' RB_6kTZnN㥆MN՜8uBOz;G84pV@hF1v7=j# ot2Pp"h\W|{yN PS!'9{(J2.6ׂb=a41fm.{eNԁYP0GKk亓ѥ:'$Fc<쯂D ,c7<_ў!9oqyK?UGat%'MQ@B'QhYNWmJ's/`E$q?a+NrbZRɀ0@KβW&{1a4''~F#k~T9#!(?3@xATe<H ^²Ixx@ ͶEWi9~>`C((B8uhd\Vh CZusR'$VhIj>"{7kyF3d{%Y\wDU/\ysQ\W>;]C H@z|AegC-($ϙC4^4}tDOu |,[/E8q0)ut);W0]1S7| hf[\3e- Pȱ_SG TG k &nH&v%` F\X/"'<{םQbF;ӊŸ|8 -y˭Exr8nX I#!ᅠ[(üM_Q?U)}s.+uWm;MmQ{|X)zA ׏'+ʳy;1#J Z^y0WWR͹D#-2̔Gb.Ylq`3O jn݄pnJbekXwR:G\/ |sjE gǞc'=ϢL&1PsNfWd7'2H`JTvsm6}=9Jso7zFvNw:ܳ\DN)P#/Ҙ[B ']spYc w1cmY#IQ"HOp='T 3rɌC$zo '9מgN ա°8$h&hV84t>3\Eg(L07<R4+#GL!g,gT7L5H`(LBQ>C9JYyP4nΈ('FµgK13pH]?)2:yfYG]4X`ǐL tO 餲 vV^V<.ٺ:Hv; !v,*ߟ3ܨj"kmq{Ks0׮Io͡`=8p,goQɧպm" 3ۨ+IXt )>^,N遃 50vyE@n 2ͮ @&%. 1{x,7Z™@NlbԤGRQ/|duum)*0\" hu*Fc>ds;'M$ =D `A;/TI<~OD(ɟyyT% 隋'OG\K~c,Hptf|)o$j:daA+fa#9~T~+'BJs$ "~X;OqG@eIi5gB}8sTJx =E6\Y% j²!@ݴ~qwyT >&DWɷH+bIێil[Js=a#?F?5,U7J{Aа^XD8w9 S[䥪"Fb0؟jV D;GM7BT6Y׫q:CC 9{/GpժᷬJr)%JV_SBkiNPwrJZ8&<^"uc9溓)*^V\ИOfNhnvT0 b`n  lީ&+R/a |zBEz~e`d9盆}W6g-iWGȊUupB,Q]FW+>0{ⓤOOcU)]^);#"u5Gao% -=QI˻vcFOm}NuC:ɳ;$=S(a[甊 K}|HoPL?`V/RnIÚV:LA'U4^g~FF[äHC7,77S^Ɗ wUt2=_V,ƕ6Dh#: xaւ[Mx*ӷmu>xaDUo@!8zLSi5ˣ>]&vOXf`*1 а$6$l ,Iys/QR2/He^GfZ EY*ʊJj A &8Uǫy)#8t)Eܙ\H]=2ŧftƐH}~ki'"&WiG]Uku%ЛyW?$eAR-&V L˒kRq)n4ǎB:9>0E{")d|2ODEiMďGf\IT6tVa45%[\ƙy3( N\^ǵX{n!-D[$ծѪU;:VV; e ȟmi10 5@M VU&nߛ-QqWr4 (z%q<,.OW n@`-_"b6 9Of6= z?1ǙSv% ݖHÏdqZ)ȅSZkf;1.0&mk6A,aI~"7`9ngI7w[O|j!'(,*ImsF5cഎU#{1;&/xTT~rzX-2f'`v[C}T[6!/`>f1߯*9j(9h"]EbA҈bZ)gù,l'ay[  gCrںM@Ka+%OTȀ*s gT*t`[`rmE뛾\F)KzfP:9,G:T #:PE-%ޔ'UƀMnB&kiBrB/Ң?XZ6V`|wҧ2AV8PJAF op5u7OeiAeXVb BɛwhHפt^yG4ߙyju-GU>tY{C[ O2C. ;olngM%4_!uj #O J-uA. 6'~% ׈sÊtcu{A'vEJn(Զø̗gK?ًVrnztCaNC?6‹WK O&M8%M-T3UM.k|0&MVS9uޚ\t[7L^t&Ezaq^ˆ`s]Qv2H1噉,-X&@Tz\`gUE0w} +&yIOn7e,vayy%1mSr8GstyЍ8g$m&uy:§#Cä(A%6>ol!>ŻH_=/Id^m;rL9v}6P/@ɓBl3%mn?9"vL9ou vDUV&ddgEIb[0m++ָC6` ^{%}hMvZ9A? mR&ZˢFEfkCqqafE$c# tpq< 4tW &K/;xvWpC5v.jȷyA|&M-\"w4>7I[Ìo[0*!e.6wӯD, MuBhLFф%%kB<r`&M4 _o{ :Ϣr b?,j y[`LokڴmrgjJLKBSKdaa[Sd IJxmt(fkZ Ce.^AN Od[AaΆ-VS*EϚPw5a/lJIJvz!O(Dq+p1F=Dw@)Vd=2h`,VQw|=6С('78Oۊ 3+A$EaV]-pйR=QD:(Uw|΅K>?D=b{*at!hOu+刬܂".f,=mo;}ێ))[ҊvK6ϩږ.7t9,PM>3jB}=UlY=D"Jma_ wtrZ{GRe&x-)p\ YFH6[̷{A<>1z> -hofh{,}ёpc1Lس7 ]ˌU0F"B+7+r+؍=l7^l9&K^ ,EVK3.xSBw236mDS/zRG֠+v;(pc%Z>oO8͚>`yѪj&ő3sO#>fP4fdF7raܶ"xa=-}S"N8h= PIK Z10mEZ}[ 9!dM/c~![{z BmGfn,yrsk%8l:칏>婂͒ʉXA<݂_%@{`/yV)_@VNO{XK"XJMբ~ylpNwr@ޘU_GBYQ>*!k$=L%c%_DooE&0>QTIŽWR]Z$nho kkhzHHл1Y =yoYDty"3j?eꇕ}͉l Fgb?]xΖ`3z%Jk".KG3e-[Qb[l4ڳ=qAXEncww f+׽MݰDzD%OoO)4!ZG49;; MeaOО sw|Ǜju I+Qp%/G^`3o[ȝgEٗ>0V>6;>> 9cJZe E1a弊'mϼ6(ЁIs}{ާnѱVS=]?5hie9Aibc-AƁ9/N1:SP㔓D-F;!|)KT.P|6gdLuX0-LCw.3 [U_=iw^K8+Ԓ혷+6igy{,2Ggǒ1P6x7;R ҈\Tz|kGv?\'mQ-dM0ZlD$s˕<}")QT;@rG#K<'{P3.<6O%SfZw9bЌ}`czt *yP`>j} 0$F2DɃ%,.5(>þJz{Kj{4Jy_O/\/8npA& ;eoMBC^*4}Q9i7!]F/mD@w9`9*>ުpŦA"$IGt@:Me_" 6B N~>68҃h3%D0'S*āe(;!&F&Rk:nƪ{U[X E$ ^EUrj .Fmv`p4j5.W: E .K@TOúOTFk^O ;.1Btߊ=!߀v+_?K!LfFąXq 46 V7i7+ɭ,3  @d:״> 5]򜺨 &>B.tVK OI#+ǙseD^u3n5?-/@:2\[9{A$Q/řS#c?^o^T2 Q1eWu7y E>{,ɕE oJ J=ꭁ5?Or:ؐT$],RVʴ&&ORoq:v#~}&Ģ귆<StMKpu$" JUWjJOm'U0has.qs(-"?ٙNsdҺ=DNخZRdǖ>m*AUQM؆@7)c2/u7[CF:u7){C# %|U$po0̓sb[QKRs5ݗzjNi'ŭ =io^&6-rNXqD J%w Kn¡$J}ΚD~j5qm2l %.BF"5^t]Z3vNVl=7=O?!YXwhO{{7"vmi*/̗8d]I@vktiW1mNɽ$ aJvT6%=#cw"XF;GKZ7s/Ok* ~kmU~Hk-3 /(6 uB1No// oyw_`eu_^P:^wU)Ъm7l 5ؐ@tV"_ofԏ_I l;+]r#KU5pFjf L97?J!-ׁj`wRV6Cm'xxdf[:ASۈn& I hcsS1$_pቿCx0zڄ.u&e&5&xy^gKI D#"{00pmQp=((1u 5RG3`bj{!kUO&o@G%`Ʈ#(.nɧWUHoq9^/(tXyUvm_-pʣI~Rpzʩ4ra<''9i8(;Rzt]I9 3$S:5{ՉXԮfqz`CIt }ɑ- ,q8"KWNֆoD'VПGRЧ7]%X#~,r/hJ%ߢY"}tm{}-GGZ95V4,Cd.b\cؽ P~_vw]aܥNP3i}N*#HSZ6\Mr _G;\O&3Ԑ)>Hj. m` 3Ls> 0bphLuZSj1FO.oTuT#XoǁhXÅ;m])҉d7k,,|[OIR$P ǙHX֭[HOn>*N*cS=L!S^}Ծ"V x:IPhtyc6 r9u {^,!!oi[1*VF0@V2$ WBI Za{,5HR_" U9t[3iwxlZzϔ¢s7x4@,|J21uCAhNT?1,AAl9NM_KЗMJc/JFtt$K|M:X3$QIHr[eu_& ԣ!I-\i@?YA4%ͺItg7~ ##:6jq@o5]Y?`hYbQ>?vUḰqf-B"!Vk#ܣG.ZKMEkrwP~ǥaB ZwkW`l'/WϚdߨRE7]iȉX57I9^O|#\x_W+!:{<q <NF,9gj"4ԃdTjoNoAy۵ xMj?.\!qա X~Z 3dJSYGŗa3SA=jKS'Jt|E|}c\E>BMp` 3~4<16fAGE1jq8| ؃ "vT`Սalyy;ePivGGI^ߒ&hx%!Ɲ;oRAC_'Z7nǸTb7 GYInšþR=nfcO _ 3$XYV3 鯋T^?*zøfWBibOMwR)գ)gp.xb.q1k2/)xʦڴoG#o5iRz`L7CZ=v=0 ziHYhԄ_:fZ'I9mF]$5HWn6PVlBebubtW_pX6ZS T7gpZVЛqQ"qܔaPI!4X ˍ3Av4l*ai%,UN v$+, gd^ʒ+ ij}bɽo؜z&8<{!61GOH$3qU4$_mDq;NJi?o[6Y]OUܔ(Yn]/pfx^TUʚeG; -o_69OWq<4(a}vb B^*p >UCF W7,x3$Qb[ldWJKȬ=TRM*'V`F31;^KPxvґT XKz;|" "lT]/ ?T_o&ў&.~;",⻝;8nH~SRNPzL>&w=I>oV%!Z"tw5%"ߏ XkA˗LP^*?M~5T ; j1.t@OtJ &nH9]]tUike2< $sNØ>A#KO~ LѲ{s:IqߠRa=ÎGFvTFQprs cmNy`C;'#l"scT!C,{* FNHiᦠ/HJFěuy) u%*|= ơ#[Q5x`RעedaȠ-7/S7RNdȭ/VFtMF[NQ0[v Ɠ#SΧ O(]UY+I䑌FPy_%7h=g0lπ=&~\ z O[;CB)AjS ,~IsgI6B.Ngp.j,kXQ8Y:DF>ݎ"b&Ň /t@be5]֟`]nc%Ysk Töf9|H"NGYAH6 i%²J3"-WE76n`b_;%j!2pu l(]h/򏞾O8:qu͒rUrya8{fX$B7t'`#``BS󭧾I \G/)%Ig\RSeyuXh)N!ID/YR~W$[ >Anfm8dYh$9[;"TL$i3M`IY#Ϙy4l<`erƶ"FhjMgs y Y1r8Y74S;8Uz s_;ȅ]2$xgziH>X61|?2gzo{-/錃yo#ߊ(]slDb GsKّM(&萁RpG>j N|L0GÅ&ڎvߊs2FޓTmܸW_Qd9} _.7C5 k=u>z2ծwȸ+; fYd0= ޚ|Cm”}/'((?W2rOM=I:pGWfحq랖W3Xv[E)EN~UYJv/_΃+An_T+2R`X F60פ})Nݥ@,ӯi Bbqk0۹ Rn?d:93Z{,6ٱn:_N\ oQɹ nVhɣʋ>jAFa.}f{0h25_Ȑ|b^-3V첌 fZnΎA,vy= |PuwAl85@3k{khGKe??tVknZظ|i(kBA( 3YT;z)ɾ~f25ebESeLR%:U_\ CQeC|aҬ~laR:R˯D]eԕ'{QbwE9. S $00_;{ Вa^jJXzg3;F3JE>2g[\L*jzSߞ!W6y?-, dVsI ,FΔ,㗠-3)08 W߿{d;3zE$ܝ,5Zl\*5[S5W~L IϦ3fkpöؠިQQzN]՝`'T@0wj"H5{U\JCYLUy@kd] Ѷ-Vb0o3ac^73|YV4I:n`aA1ct.g&dÐ"8?kS*|BTrYviQC,z#js:VEp5BCJgBԛHLۀq_'g|ؘ$=K9,%Bݿ+(p'~_Kkq@ǘ޸cZaDMŸA} Az!Xҳ8&GyQUκƐ4pj`׎kPWG ,Q]~ivoI?Y2!'A,$ :w)n/y-3E"SJXVp] oʴ[0@n^ 8,"PIsoKL?*[ꌫۃ.(۪&lqQ#d\ЬR51s*tD==XJP.ٔ_2Rk%ݞ;B)ov4_ 1dt-r:7{6὇.<&.ɔ$肵;qc%$'OCKwt~e Ĩ6Yw}c(_.EDtOO={A+S]8MG,z{'B7ԑWNɾ!7D'J|\vlƿX}R0e4.39)dݹ}y2Og[Cgо`981bkQ6i\L&Fj&;`%W9x&#"U;jvtۄctRWUDhȀgNL ޭN&ԤPP/ se'X>?क़86'Y < ^ b j]W.ANY4?JF^@w*Ds %!~tI?~Zno&wx.tHIwQpLf_ 8] 9!'QCl~PtלCjyu.4-1CnSWK74 +x?{.i+fl?y+Q_>~]?}bx}i$g""%=2:/F^PѺ89Uo8ŵ4`dvc [zJhd؍oKφPXQ4 :?=k:;a/աN.e8ZBs 3ilJVAڬP!(KkCDǎ`+orwz/fbMpk&ehÿ /J)RmF9_;HB~s9?=rG /4sZk$0vM2 ߃nb.G9}]AՊ0[pon W܂h3X .fxGiSLXDj1*z*m 6ۓvTZ#Ք#U(}]]7Kg*@뫩C SiCvB̤kqB:}t%g],=Pr~\}̎uCXYP843<3F[uIpVz4&RwA%ǽlkV~c#S8sb0x'~|>f,F/4Tl f20w<-ʼn_$3V 쓸V*m*N y:C%Ur$ /Oo^4C Ir^gҌ2LCÐ0MSߧ1-/THeYiգuj`sE}7E b}b=}_a((n -?E4x7*CQ$ ?zB5Pw$^xy{NX+HIBZ4}H3p%ژs},bͭmvt~I#Rڃ)9j[vͭȺ/ 0@TҢu[p )K=R1pfdwڀJDa} 鄩N3x=ܳY. OA 'R'ubu//oXJ ȶY­Jˣ(09Y_ﭠZ~|sIb]IX*/PpYpv2Ag#o%̒/U~FL39nU8(SOqwi˻Eq2֌Q@JOj`4~ngiIt`y:?Eippfi rSURNm}}r|[5'kj3:!abG\WHӭn`^ ; 4"$Is&m4]e:FyU]!FdLצ;t>h)^ǭS`6qA SC\)uW_"#g%&o_1-~$ARK[dsǓǛ3PMa]>]p5Mb\6u7C~j*߃/o (9a*!: ̀Yj $_Qhh-؀y`'tp?6pֻS^ˏj N`׌sDɰlx Rz4(q^q "!5GM` -Ş)(=Z5'?An}$?cty\Τpkl+[1m;lӐ Q\~Q[1-BzE7|\-p?1r0ƫm&8ٗ2#UR}ۨ?<E('TL̅o/çQɼd׍^f,yw+diuDfSRpoAS$CF A6W3䘻@ʉo$~o@N84\C1lNG0y/dh ˥s/76f8}b0rolN)5oM0$Z(Z7_|b6 ~#GS)lb7_߄;dCml-0ݒ]N)J/x?sLr]0Ip'/hQCNlz`"x5h,"qeP5#Oyb xgc)sd]4JMUn^6h6Gxu/]RU/,a%k*߽歂xwhty=QZZ~oHnk{CqO"ֶ+[NX>^G^Rb6.J}I|Cp:O9 ֜='Rdd_* E~,+ >n"В*nhRK.RqHf=FoC 7V+3喒uݗiY^pkTHIZ\nkR.&}UńXu#W[ xa17D :][1w4sx>"3SdbyMRڎf9Jr bx EȚ<؉<.\ap#N4T Cz}"?yK / 1<\HԪ鐅{E fb[%$ h|XB.`YɅ{x6Jܴy׭ (:SQ Yv~趚/V" Ӣ%sI^4Nɟ)3vO{xˋ͗1W-(NͮU2 K+_~KaB= JBq!Ob-\vY~$͏wE,N\r%A:&8M 7hNnp揼mm)v m?"n+z7*p|ϸљ3SI'̝7 pDug5:ͻ2*'ٚc :,֚SZy*s|@%h!nA:Jz  hv3%UK "aCZ|u6 δ*m溜V`)GvŦ&Ztugbw1ewjGɯtk?0 /°Td}Zغ͔*Jn(̵bNY G#w-S& pL2dBn5PP)k!I\G7橻Ǵfj@DI{+XX5}$ϩ#5–Q'}E1Q$Y!<~ͳ9etaô k82Yٕߍj4p*BCsuZ ?C2iiFSM'lv:~:p%SuUus , Ze܍Lv 9Յ8bEA?15ȫh/ߎP7h'"0j1'&dvW >,m"HH+\7h9)um*yԂ5R_PA4~4@Z|5߲9}|uU6/ye{Ya_gE)#v6}ba7 '׸č1/=F"@uY?L ,eknhBV,t90d$wt, kDry~YF?d,yadweKPT^l$lHZSYin_A$T(pq#(\9! ;Ξdbfqz  צOJ%θ+#v'IU(rg\ȕnxyEm8 D;Ne!HgW}Wmzգ&qⱗ:3?$Hpӫb$_3_+ܨ [HE;5~zV]X!qIp\Je42~i-~dNH_%VH[` aEn{,ӈg=*oQ@ ))[H;HsaL&q a37] mЋJ{s"ќWs>Mt&"( Ҕ!#dY#͆A>)fb0+ ApmDt"nQ(1 WQJfZogV-ӢAW:HhWSl3-#plGfmûDw wR/grfDȾuZKb;p;IG:6B$k;˝WJ|TKb:8=nFYKpѤԊ>D%'{ms9eg:<7,Dpb[2}ߢQ:nwYZ t.z]sFY# ס^sqmS7ЁY+' bSe"cei@\==7[X6o3®W}y`b~ F .{N_ߌ+'rB_n׸|V(td(mX#Nzx8 c*w>4inh˓mҢꉜucnc_M Emr˖Ҝ ;WOcj(M sFw2.SŌ+w_vq^#k-Br YK'bYJ\lab#HT"Gs]x vL29Decq9'M )U_SElq<ގ o0  G|W|kF2%vN.a/vRh=,p^86oUt;*5\ {Jt^T@IetT^+ * ZGn3EjB5w5n !, 5 =e{b콁I@$y*V럳Xd2# 㪢g8_' a&$]6 BѼ*Y~+Qs);oi꒼ (Ugǘ`ُhs8Ya,y s(RkWY-F[1“-/O_} l6:"ZQ,p4_ߢ/V:!Glڇ8Zuy72;^J~9ɥ ;?kf1unyQab8=(V{JeO`|, :Q<~'s7F)Uh$m$qu{KzNdQ*GӢ}ۗhF Z[t: 9FG:9Fof ȟ3fA""UrxiV~r0QZ?#"eF6E]ݟ#=MV`\:TDh<πSqg+ڦ~|V4g:OQZܳ`ٍ?]f44&JgPr2dE"P)-Ak"HʾT7:ځyFi9lQ)qB+ipWO!K a5OL YO$<]X>SHcQ=FžMl\L0z';ޑUBgJZ8lS!4e9:Jtt38mZA9NMxYàP>n0T-GK ]Q4${.՘ JMMeEh&b^LC%7~A\F'p__ 2}\ &wWlsNEa(ug,.(n*rk-@<1 ၓ wW@( `]Wq}jWa? l3v*,a1ѧͪKXgo6eJS˽`O'I:)4Rc[1RU-8 jll+'2[j?*jsO3}T,s #GF5jݺ$ퟶ/O\ ;8UpN FĬXUb%`p@:c<1ı@Z-@|P`N051HݔܞgF6q93i߸"2L~gy`9cne.F67f7L=:ҊKR.TakahqeO}Fc W}QGZՃP>sCeNh px,vn */#UPqG9i9A1ǶW熐򗫨|KkiȦ|Q* Q6W*$֭$xN&ka)/3:SKDэJJ{f<0ѦqTEK݉{S@1 |4Qr&JF]7ًÔ;W~G1R㯂3L%z > 2g6Ƣ+F'woOdf}ᡑR ^:HՔC#u&nK(fA2fOJ \Y  tPkX4l 9Ah`$e2:g riY6NO<8KtP4Rdԟ5^֎4o$N t(Nґ6 C5?^0h^[G[\:aY4R/SdOv=*qp"@*YQm,l<`KUEXv?G Tur8^sAf; -ɱksZW;"Pe`vi'jR?w=bt⋡mI3Tw&aR#ra7JWTv,B]4>3syԃ%6yuc`^_w5@$})2O2nh:#i2ҙA#K oX@Bs7qӹ6VBc/ˏ)$U`:7S9F qyLtFX4%*g&gf '7 fUIӂNvi͋ = eI*5'^M#Fs8_؏9$+۳v:VXzTFZvF =b>H4cyW =*m}(9gpߒ6u-I[i`եYD,7] / 6|SR&ƱiF>@ ^dL[fD@>B|hxya;; gukCؐ72˝z_S'_׏:M+*Jg g\o+>1/VeWiqMޙzyqN=gDosg?q$ԸEyN&P'8qdDBIgS\LA9Aՠ\5G3w,!>V& X ܍ulKuThR=^4}3rp`2=ú H::;|Za/ȞKe}ךb3t)jI)~Nni#ʓ;Ah}ԕ᜙Ր9kF|j9 LJ{m;IUש' p6%Y0:QWj;w;<]!WGEB)ivjqB?ľ^CAяrMM>ȼ0j*(W/6e:zӷb-g:Fy.HjQsAOcjBj:Y5d#KQ;c}Ժڭ$'n?p%_0eQXNYE/4M&7;,W3f vxxҲ,OHV5g6<3^qcB%lvO*!:ʫUA'=Y`6ڣ vk@#Z!3e@&(ZH1LƁE|f(nHFЌm!ڬ49'oQ:v(0f[×w֓!d֛D33/@KwQV>s'L *`k(,NMgQgJm ysGl\SI1x߆pEW:|l~齒\3󀋰'J5hyC8@碶P)U~ QU^ DSS(;I$yq'q7Nnr,RrU&kRb;mTfG"U¥)ݱDpoGs&Ə ?Y8;KXɤlrHjMɇW+i;wďkǣ}hk2`*ӈl<=%jY ?zaљlGʧ"cq A)H$`m`"uU OUcpCxk:eYV?T@sJacYdpЖ`7`t 8P5[ bqCHl4έdJ(0VG~Pw쒱/Mq>VUnac^Y u=KVTkʩsF6bOZ_\QCg/$sp#1DX`[[@LMHή0jZ!=МW-\U2؃>s7BPb?OoQ#~nر#rEU-MuI .T|cAh uYΌxP;@94҈ۉ1nfR9P>W8(Wȼ[$%B5eSu43ΠR(6K: =vyniLt/{P$ooc Ӂ?S+*`>nYg$N;:5?CB ٬]֥!'.oac7#2.ק hlBATzOBgC<[C>@&h-0uA3\%ġ{r@5熁2Һ,i>@Fɷ=ô \QR+]ZpA!xȭĊR֡Spp:R-# ]Yr{B)j5etbJ:̒I65k@枕khtgwT@Z9HU_Sޓ&M_v৥Yx A!45--(GJb&Ff x!N`K..ŏeb9flv‘|VKCbID=~K.紡l;΃ mZ_ݾ73hc[ ]wSÎ7%m{kaPD4R5Aa辋:!RSSY`]t!&ȺԔl\v !^d !Ӈ;2э˼e~%@dб*@%hӐp}] @G6Y9<[wm ڈQ;]?q7ְ\*  n,*0n(= ߒ a 4bL t"||@%hu1e nVc.\I@&~,8$}fW'r>X=b gnK%ޝ.屩h~עBbcϽ:P"9|<| 㖝vfR ]PM*-xATt88_{`9%w+]`֢~ WT^v{xDO[h*IJ iз(:&ǒ]*0*$}ezP nTԌ4;+8.~U3<7:9OH` I*}cik/ hIӽ& 1{఍t+tghȣ H`/k 55)DQӟ9]@d ʒ s (ZV7Ⱦsgɳ9yY]ڟ VmZxEcDjZ[>/w{"S&XX#[6ˠBnV΅ u4<ܘRT&zHgVVA17_IF{.BCz W4ܑ]y&*4#O:#]snu~Bwϫ<ɭ =6[GLΊ6nKqxE^`-luWܛV2޲E.bVKǴTȥlSRF="\:1$1{46J{[V7uy{ͮz*jx!C+:QĿr譒17@֔U-[hT7E4ʿsvsMGpUv)#qePkMڽt}'ԦjAWҚIHIXp l8&>;qҬݘUޛ)7ZORd AXV޿ֻܩv);DnBSS@1;[ZrM-} g!]ruYc{5.);~}v9- xd]Wc;XD3'"߀Ŀpϟ ߴeVFyRWaB^M peGN.p]1mޗIMyz5E7!.i,N.?J{~m1U1-1H MSCܛښBPNFxs?9I4 S /SV\r]RepQ*sf7I m'tpJ[ȋBsS@J=s]1|=δ (p3vǞۑ(Sy? YuKS\kT:DقY/#D5^Ff9u3P':A#h4ޮoϗŒ {Zi3,F:N*zc`Ba>݄Nb?8Ɯ=rm|e$@sA!(u|nsF"$&ю3z4[gr;"f"IPHRLO|;_BO^18(6#N9zb̚Bx1sNlw99,x*г8Ԥ˩5)c!tibCnaiyW6tS7GDx:6”Q Ys.pȹƽb!ִe6UA#1޷UYx:0Eh].s`# 2Dm ELnZ$.6J߲DRw*خR.WC͎脽hygfBfHJ|8FkA5y4gwf,t1KCFe8V>Bpi)e9!:XFU FD_B{Lxs!az.- hu'ȉ4O҈5* e=XLJa~Qļդbl`|} C[#aߊp.5 vz23?V X #H(HQI\yR,R%^` ")=T}JsbШm&PLn>X";:˽T߀%HH́P˄0c@mg)ÏB!"48#tn8 ,2.K^7 ǓEwy\kOuQ}`q ;D"Ed}mAE{+3w ;QKYd4nVèK"ޘݜU;vlNM]0=A ?YcXDmṼy,?K`ڂmDǀҬPe{JYV/Qpt-D%HO Ћ[v_z#š+uv7ctn3ra; y0ePǸt0 ̱tD_SW}UY%#Wp_qoѐAdJ &وl,qbu2*:RNʒo;.|p `G~鈒pUp4g# 5UxwGkU*ioUSOK}2']Ќ'&Ǻ1.  İiZU N>Djm.sMYͥ؀bV/Qq[ENwN_r$/!tPd`Ÿ#aDᣪ[Yp}9)]b?0^W {"ۚFF,b\Dv4,Lѩ˺zx*8ޛ#.,\joSA[w *.+~ t}͏7h`^p[DZo/0 F}4N,xE-JݫvrLfT )-X ^mODg=t `.U&K˫ݱi@ +4zrMziiCm2${{PԸmӦKGe(S,o o;~MrOFs%{Z`g~|5QjdOEw>4jx @Xت`Ύwì*G~ȗA*1T3tcEG6t!SVp&Qf荶mTpO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~ªŀrG3C&ESI#T*qjYq5 BU/@abizJܽNf̟ae=I K7ʒ<g{=+S,'P iI ,> _DkUHtB@DE&1>//ɣ2vڐ5y( }wIc*QzdŸ:=b4 5xPCkjdCtwdeh>A'٣_;$.SBf8x`ۭ uʻQ*\8bP||>JM ('i[\ (> FԆR`IO?4^b`š3Q0 alDs?2(nJWE :ZdZ{yr S 8_|5xVzqq8.T5C=ezIJ)ό5avCjD$X%./2#PWB'eN=\iW Q&;Ղ+㵗jTq_^WP %g7^* "td³(3_XB\!M~fN 5荏h-EP&N΋(em߸\q:3UOսhF '_hwD$-ѫ]E;%r+)ir¡`OyY*tՕlQ8 Naj# C`?"|Uh7n NӢ  ˫9Db?G1Fy%GZ̫ Դ] [GۏIB2=e/!H0rb%0W%dp&$&J#N/mQ.8d0QvIIu&<\}Ra}hOsS!} 2DrۆsMPtRcpO{ѯ1GDB R|\0#?U 8- w 8&Z$ \:!# qE`YYG'-ho$[.5e? ^+v2uGFu2Gr#z 菮?r"&Hi$=͚# h{[` ]"Y6;\pDm.d=[;ꜽsJ`%P8_BYS%b\::8^X"eИءޘ EŮC\=GQ/ᙿ!~Z d@c=w.w30O>U!73TߎVӅ-byZEτm<g"id5dLh ͫߎh(`نn.y|FOX2J˞ ͌_n[ź4Qv{TxYA7HfS>5<(Qy1V\ *w] " D~ɼLd\ D_ SdT^C<5_Np=>h>~ = >rѴ'aa=&F]鬻=;`uY<= }$ߖ K :;= ;p0r{FwFA0 e?C&^dҹLoS^$Z?Rx/n(ɒMRv-,y曮ܵ'Wu E,I,{pR/~_}g5l3 }[ ]݋Lhz@~x}GTs析.=ESK9 ~E,|YAOAl볒D A[>t ͯkc6A^ƣ]琷}DdK[N|Mb7it#i)ў|3yA>=Gբ#/kP_`,\R'gB%ӂE6#Of(iBQQ(wdx(uV"7P_ 哞".tgallS(7,VI nBz1Cp*3nPۨJS*Pͳɇ0%K%S,nȉMs&ıgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]qCߦTi rtbIkFq9I)fYd@:^ZTU`3_ ]d7TNyM㋕Z DFC81(zT[aO[ uEC;5H<ib`6FWT,SV"Rs mY:vF.hdcK}W]԰ c[XѧL!:u$O|@7ݝυV Az|ok fQm5B8,lH' ꮱQ┉d^".c8!sZ 'dU+x3L@Q>LcG}bz~|0|V 3'#2d iQc,Rq$[5;hWף4NǴ͙_4 씪_ٓ?oiF>xCЬ ?-7քIQ%!\Uیb}cgpF#sa̱Y5lg"%FjޅDX+@E-NnPA=E\w-2:޷?&wEbI_|E2Vќ!iA:_P|)Y_EJ6h_ 82T3R`KvLr3KV>͊S84he gYZ7zXZִF! j ! ]ŗXi%D1 !5(ZT% ARG(ss!0͋Px``[Ədg{ ĜWwd''y/VkUqyX0sc؏ݟ燗aĒwQ 6ƋfFZENSOl<TEꛏo-@N%^CC: $dA2uΣh?5bUKX zLWf_U-gQM<%ĺ~D ХԔ^ua>^-:[m8- VտeO\}tcaGD̐#<,7 dZjYq= ȤmF3bghl^[mhё 垝ߝ5Lޅ`,L̢[3TyU.jη `4i=Y"8AVv4D}I-XX`{^7Lb*bkF1tsᮎ'bzDDՅŪl `Kc W@q95TR{跛9GGPeOi`he-z9WK//p["F[Vs/<9m$;CM?-(XM7I!?ko-5yD`1U yjo_ݘ"HO\<)edы1CerӁ(stSP38IrPC!90R*!ia31?7qJ_ZR3VaRɃmaRD\(BR?[plV`42iLw3h%98(`lfmB$- ]{E–WMuǕG# Ұ`@gQm;I76bVW+Q?B&6MlT$ޜ`Q(Ů㩈(M L[̢b1;]bK ,'yz5"T5!0AX` GjwL¾߲& 3]كaq|>@t𤃄 ޾Jvoɦх;WvH)' yMI.qmҖeғL=[&;&pg;XxkQٙISG7N*{'k8ɬ ZOjR% MI Kmџűr,e8Nn;_Px!0ģgc!2arHVDHhXdÔxj-H'&}4wqFA/&L@ú4D)ahhq }G'ld :EbVuw:7 ِ OsşplldYQIuz㨫dJ10lpp+Cr+5rM Nh)XRWKRY9"'o ?Ј;QG܃%3#_w9E>?h`v 9w2TUhrQ >dy yI;o6b81t47o?1p6(kr?n{рH44\>lK@6n9>X氆$ fTFnM1 %3Ib+Z/؁>rHb7?m l;.|;5 %XbI)>?Szl3(y*,fhʘ=xݗe0|o~`6o]C4);Q?PV~jo[h/UKvg1v~U B^\tҝ"ϳz|vt_aア*ܻpWdz2K)uJؿnƞkj7; R8+erR(4n*5= ejӭ*Se% >}1_GSdON\XJP~>%9xWi%mCrdPeB&{uuJZ?<)E/P,UCİ5;8c g`[wݟ sWW,NVX2i m|fըEhsg 6l(sU`nkOqa.6/-*JU&YCc5hk [5iˉtV]u_Ǎ/ߴL>|s_&݃v~w n/;P>lD iB" N$raW9dÖ{%"'&?.G)Abx^}ȯ_'U8#Ӳi9nS[3խܗJ=| LVD4 ĝ~O؛-|!CkÖ,bjŴ | :Q=*W{qlTFZ E[a& Ԗc UiU @۵>=Dc5/J6nkN^@ȕBp9a'FFgޔbo(Z8!~UҫڿrIn<)y SZA*:ů7\K2dbBD~n'/RWq5ڨŚ&6+䠁p]u*)`'LqҸj^ø9@YՈ7{_x{":ސVurGiǹ?d#Ӄ}iiU4lIi;+5W`zơ昸I:ܻH{G_q14=6LM`r=Z 0$ӥnp9& $\|wX--kn6v^̺]ѵA}cWKφrIKU+!Aŗ^ r?j':k gȅKQp7wMwJ$P X`IHVH\s\+˭7r6k] 0nvH&-Pcl%_ݻ?Wol&֣D!l1|?u+OK F5mrc64Z~ 8;P)z mHa3E'hz4 yMgh#G| e)%(7&SarHDhHlh/߫V`]=*0nP,Y~CD0p3|Rb&9F (w{tm؋Zg^I71ϊ2u'/+D5U'>[Pu.I8< _iP.v ]~7te} )h+Ğ8uJ*Ki4D$Mm](hw. ҷOP$-GBcrʏymk*͝X 3aNZk]_Z> >P fK<4u}ُIc'?7 dOj hQl@ߕg+ل=sT˴nTW<. A*c.̺{n_ch$jˉGX3 έ{Oes9 :*C֑>*=o1h ƒ*Ȍ^p͢d.Z&( L n#[׸Ua.&TQ*me;$&J@밵4BS` R(*bZ+ereS ~#4;1FABlb<650%7 /ΧWոv i-I׎HQGhSLgƵϡGӂ~'~MKAQ-Sl 7ҧKF׏hpr'y:j80sLjgD%ލ5}Ai獂Usnn/^?SP(p`8) I/glC%?PyS{1a7V-\7lP_xԉ P:ɜ-0+CJսb3mw|jvMi- 䈿&;@5y[eBuF8ξ7ӝjgk9|-uSv_.O|C>|qܔ"ֲ̔ik Q y0f"pG: 6i\ӿ )W- @dͭp1k&Nٳ_Ƣ@rgB[!5N&ܬ/0Cn9?ٹKjN9d`@Uj(XS&Ȓ@WZ+B8_cW߷# 1I!hf͓&&?aF΃J \Ygq!Ov16 lUuӷ[Bx–֨O7.3}̱_fy)Bۃ})n 4%14)bmuM6%7ɟ$6:[jkj n!drpV K;1IT`.ɉJK{ M tI$CSDV⑯ y%Ō{>B{b}i)B!`m8ciyCrSQDI_n !:rN)ݮFۼ“c҅Z^,f̈́}qb k&#:TVGLSD}7 ByهYV!7/Ǧ >:[ݙ>CPrXE31NH[]u VL]!D:Mzӗ"~3lׄL^|X%=^k/տ[;ߗ}+C8 MƤ @V,^8(A~h|Of]CH`aYq~6\Qbmu.t:iE=/-A}X8|(Rwb~$Hu<0 tKZJqex /7EV@0I@ؒN^kGi4}UT\7]KE?454找Y^6 DY`$7l<1u +8/[Ę!BwNX?+k3$CB6jF_n MO%,,vW\Kkc3Ac|#0>6~ھAY}bn1ZhUloF?؁;y*xom_G{3̒`nFH}gߦƛ1_]v T$'H$O&*PULߧ ʐ4j!?^ `oT %zW&`ccZ+Yc쎮fK%jٮ%8ܧbx 1 DW22Pr& gQKGՓ>Oxy8jc{vzXGircU@3 q[:!"^XHʡBa[LNA oRj[fqMeY~Rnݹz3x_@R|m{X s/YG+Sns@Q[2YCavA& UP XSsRwI (qHj@O{`?ہM$[ϤYUnȏ3tW4+~If¥ϙ'/ynwq-O&% E !1ٯr,eyrd"'d\ng≒˷\\G6hh(,I} ~Tr/CGZtpG=[>M(4bT %dٻ/gGU{P=137Q#:*NL&5#…9Zp^%O~OjsD,la˓zڅint~z\_n# fjf=:(푾qDU.ڛ3=q^b{P?XYF0JlU)? 4Ѵ?hqqAyDA+1C+vYa1Ρ0i;D  $NWH%$=xɖP@-Ң;9[L`.NPdYefg/xr ,gMI1KnNi,} 梯HZsi *"'j%"VAq6`ZfUyJ]\4|GN1Bx7cNJᤐ6J@3:x5= NH#̬tPϹQ B=3kQUrXSU4n2WO'&ޏ,XH[R«f9c+IP A⨣xxd;+o5BB\OYg7n7kk.ʐrp$qmB gYZ29dc5a69c94a8453d0542b6ab63889afc4135e6cc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 41397749331004e6e89a92b9edf427dce3f44ef1dfae79588919b5834a93298279b56c4625da02e1