SQLite format 3@ V.;  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 >)v4 ]]Refine_Monadic:threads=4elapsed=68.866cpu=213.104gc=8.4727zXZִF! o: ]ŗXiɟ{Pd;R yVI FY g ib#O;Iiw8kQ7Q߅e_F]Bbp~6b$&(և[RUIT ) Refine_MonadicS$ )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_?\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$}_brB%A@?>=<;:9841,   &  ) vU : jb / ; pG { C  , T   -)'%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.tex A)O%Refine_MonadicRefine_Monadic.Refine_Mono_Proverdocument.tex8)=%Refine_MonadicHOL-Library.Phantom_Typedocument.tex=)G%Refine_MonadicRefine_Monadic.Refine_Monadicdocument.tex>)I%Refine_MonadicRefine_Monadic.Autoref_Monadicdocument.tex8)=%Refine_MonadicHOL-Library.Monad_Syntaxdocument.tex7);%Refine_MonadicHOL-Library.Type_Lengthdocument.tex9)?%Refine_MonadicRefine_Monadic.WordRefinedocument.tex?)K%Refine_MonadicRefine_Monadic.Refine_More_Combdocument.tex5)7%Refine_MonadicHOL-Word.Misc_Typedefdocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Pfundocument.tex@)M%Refine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex>)I%Refine_MonadicRefine_Monadic.Refine_Transferdocument.tex<)E%Refine_MonadicRefine_Monadic.RefineG_Whiledocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Leofdocument.tex?)K%Refine_MonadicRefine_Monadic.RefineG_Transferdocument.tex9)?%Refine_MonadicRefine_Monadic.Refine_Detdocument.tex;)C%Refine_MonadicHOL-Library.Boolean_Algebradocument.tex=)G%Refine_MonadicRefine_Monadic.RefineG_Domaindocument.tex @)M%Refine_MonadicRefine_Monadic.RefineG_Recursiondocument.tex @)M%Refine_MonadicRefine_Monadic.Refine_Automationdocument.tex :)A%Refine_MonadicHOL-Library.Bit_Operationsdocument.tex <)E%Refine_MonadicHOL-Library.While_Combinatordocument.tex 8)=%Refine_MonadicHOL-Library.Numeral_Typedocument.texC)S%Refine_MonadicRefine_Monadic.Breadth_First_Searchdocument.tex;)C%Refine_MonadicRefine_Monadic.Refine_Whiledocument.tex7);%Refine_MonadicHOL-Library.Cardinalitydocument.tex:)A%Refine_MonadicRefine_Monadic.Refine_Miscdocument.tex1)/%Refine_MonadicHOL-Word.Bits_Intdocument.tex=)G%Refine_MonadicRefine_Monadic.Refine_Foreachdocument.tex:)C% Refine_MonadicRefine_Monadic.Refine_Basicdocument.texpvIO4,795xYtDܴO^\Fxć^够9|JƬ!yX 7_:!'VߨȪ1j§fׁgՄxW#T9\tI6u*u11$tE+eՑz@l_|ޖ⚈4}.e?$k0VFrځTYw>pJÒӆ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!15?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*D f 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~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| pcyN@I4\7sbP4XJlzjʦe@:DNޕ+{ٯ))^NM,u8D977ΣRNնRQkNa+yxFEQqLh1ˮ>m=w@I&?w{A_?\f7oWy4ImA*%כ /h.&MP~ѐ=TxrnvzGb;ꃡ}Gۜ7gOe F )u)S^UU?g9)ô6B>Nb\ z[&D!0٫NH&S^M!"qU圽5BokE6-H{mt׭1WR55nU^ B3w#qθvhޫVaoy OL3W ogN3LBh}Vd:ذ}%FM5/M$~t(@9jO3;s=E)G 8}K=_&О;{¶# j&  ciF}$|zo%f؏,#ftWLsipxux ?m8q"=F|m)sY4 ' 'Uf+v ̺[Yz%~}qỎ% C'y޲W^k=T+2͹s#_n-sdoxoBAU%^cJALwge}:bH|:A}tM>wZ&R=a@jҙ>aԅ#Ӧ0(AN\7!~-d_WVZ2{aqF}H" !~>30Ksب1w]yÚ}bN$>qރ!Ohr䱄'drԺHsv#9ܥ869'B6n5)qJ4  c{% bhbm'X IOi*uOnYhrJg2DD HZoIlk }}qH&`L.޻`q^ @8 KsgnaurG&nB!T_S$bƞU}n` ]嶙>uf q6PE qV|5}{-%߮G& y;Z+6;*ľ^3&CR~k-ԡdMU1$}_br}Mw<-W V#rdb([uQ$$p7ޙSHĽm=ZsJe>  d d )/% $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 kAJ@9i/_.>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_*%Pwۗ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 q AQaqW )E% HLbo^HχP7A{@bkȢsocjO<}Y<&߄u V_QH=ufMV㬘\N#Ox`ϵ揷ga(blvRZ۝$: )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" )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%'{ߘ );% 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@^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#$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%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_ޒ.\&~wd~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ)9~fuʭNzS (CsrXy]V``9_ X[ Q tӣ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?*]?\= 1Zjx1S^|nr@ְuSУr(n=[#0yyTnjUD`rKK̊9'{;z$nA}N踈 <^ǪzL"K"J>a uQB"K6)gx/ni~}n>+'/eG?" `۠DYE5H=W1kFF,ZZ4{՝Sxr,\t)|㠱VifNdi )ܜ&44JKIGkmq~岁ƫFq%SR9puŇo#Zlem>XG:L;A4_XMK+sषAʨ_0}5A7{.l '1LSSdFbYc7VF:@r3_6w?؇,d1`=yrըewrQ ϶y?%Mu2[uӏ۬x-ѮI@1#.&kۛ6=.MK9siR'r{}t6m"ݶΎ`ȝbݔ\c x0mޞ7"l[U& )\51HX/%T+s+k$+DL]f{rzn""XV>A'2:/?\ xB0)GIsO00;;cb1ъ}hջ { o1_>8Sfd߶0dIGޣǣ$hH*?C)[l͸[BHu~ @v)HUPWgj&I{8QyL˺_g,sIr` y>j05TuMly-nOY;/ :R?;d5:=An!.W".P"Cl(:= /=Ѱ1+w^A]qf&|<9V§Yq=1N0t;3faʉOp H1؎1 V7<)_ 4 P/䵊vqAQs{I$zZe_6HW#5~!?qTG!/$ Rn g:_e&jr;zʋvr(iÓIzH.봥v-K@$:%YavEހ`Z; TPތJ zIޫ? #e:fGpn,6HdՊŝiEq.jSW5;Rr@M<b^;{7[ȃ@č t^ԏ6WKX~G|Y1- M2X*\|Wk`7B2h#X١ITymQbu=`nՓJrRʌ,DL( 5qG͏]fчԂM߰umz `NTERF]a1SݺZB#Iu{Ks˂| ^|!@> Ɛ"l,`8-yXT37Y:-(t#2r>j=Ob0yM8U

0~.FLm]A;L_˼Q=J|(AbB[j1lh {s_uC6b2Ξ)mG^z'qÎa' isնw#W- {tTZJKkI/bU".n\-; q !tM<@<# 9SP&uᏍI[= /jcAMr%gBhD3U%4] ~* p\\$][GM#Y }^||L1# [{'N>w93:Rɘ>BW>Y'稁ٶM%HyՀ>f0>Gt nBI{ICSd/?K:P&I%W<qtU"׵ҌhL5~s76aMю i5sR~p'^̣Hh%:=ԞBbͿ/+0JKiIi=ذgbqB@O,=otIo(*wVic@].oM-nAmGcG?N8iv,Ir;]qc1Kz,`砣z1v)`H-%,9% 92(}+Mٝ981ā@g{Fu!2 Tm/}}pxnq[X';VpƂUY_RL#z5܋8U ;бh: "BDZHm~r"/@߸9m'AAg% U.p՟x~wwP8|$?ޙU6C+&bA7t:Oh u$eMgjޭk#+ ]zIZJaREA UQ<H%N"E\CvۛN!/o<9C]d+6Jc_O6ETմnyn;_P<y?A;c]2 L+6&Fq?!=??ɦ\W'+,x;Va!6gȥtFI. ܴMU7oNH߄0}(s&9*NSq?eh\h"ʼnbaAl=2>.hr،ptl~8ϴ|Ih0t,tKf>qKZ5˞1sk!Hg<#~Sכ5a=3WjINv4kT5]be(n/:pJ8Y4;ҌfeGyE~_ėR}\ۆԞnmX;$2{Y] jIٟ2Ա@N[ݻHOSO n . OXm>kɆĒx^V8Jo!C(,0 %S {'vw_GJK&)JxFjB]όޑ=$Հ@{C)H#m1SmF_Bg k~7$K_*-daC}/e~;3oT7ZLz# =t\t&kB:6=/9 r,+$LeY/?aqc+$Ì**힥=k]HVf~^b L(@ଝ>ctsbxt˘B6ijsO&}Gb!Xt Y㖗$4<^< <с{/p*ݰ!MO_2lsw?%qÿ"1niyuh n/ِWW"1b;K(}(S4๥nx 7/ >OZ-S}:,:\9b/@XΚx錹7̷bz]61b:whRx:7h@QuOXh}:$UQ]yaNHװՙ5\IbvS5HK~%.q#ڂ oL+9E6 k{%Yׁs2ԉRMJA x\^}ZV8u[`})e@ 4c~ƭeZi]:q+${^` vT<CZG/@y\splNmUd ܛ0ipe;^݅H0+߮q`NU!iq^e#5h%󣯻hw ה4N0TR=vg:*2Ԩz,Lg"RMn'Tف ?M# ϳm_Iǵps+PE:kl"AN6U* 51*?gG_4bX.Q} <4qWf̅@DbxXhXlhȁ 4Zɕ/}C"a6 eW{9L1T֣fkO q"L K$&MeB5,:*ru"+ވDyFr+,FS{8ֶ\V6J\!|l f#;O+@\74}W佬~g&B.I飕3Kv7E\Nh<ɤxc0_5Aik9hK>zbwFŸL5{G՘MK>c6\JoW;}(j;6!*~RSܚ@:<"OzDRoH Q(VrJX:p[9&Y-qV׶QYaz!6Ԕ_*G;t)x>"hKM"#ʪS l˨9NyJL+_ȝ -D*qykh Aq_<-F%pBobc~f~ 2CrrqES93Qъ}#8ȰmTk/@O"dz{6'?ՈqcP3ҹuRV|S).r__͘u Qט/cdRu R(%Q̶SQٝ #}SCyO2N)yg5<|(9+$L znK8Z3SvMĘNZ  poƱ'uMУ %k6:^VVoKu**QsT%wlC2tUFHЍJ7Q+Ec%y9*H(ř-aePF2󈌭Ӭ5+ pY(޶e,3 rf(8\h%*iaѶМSc,LkvPl.V]-4_"ىEѨig4O]z[j31i^`Q&[0o:@tX&-ߩU Ԓ? lri;Beuo2nC@tyd{Fŋ{wok.7//LCX131[)˲-te\|8>bɷT"JYwaؔYPH[;:e-΃=hR PTJSA("m|EwOh?)v-+P q4P5|ߛ2@f«8 C3఼B T8D#XRil¸I s$C\4"[ 8xF#pPYԧCWLjŭLf@A_oARn9jᕝ&eK^"\ cډ6rR`Pi?_)wi? ڃLY ~ڞ.9N[zeC}Ywg#*s"ͯaEWlS<-gbkX8WndHA6] 4'nDּ=QoOυ qIn#')=sH&&ͧ?co, E4Pﬦ'μ87/1Tz/O4T kN>d`xx&qPc҆ԧo`FN1$߹2B0' ͥY:m*,/{>A-9^/%5$tPw_bزgG2;4{ݛhg^ (9N"k v/-R3UQ2 M'F^і1bQ{ "= ^ƀS@_J?=( ?T6H;>_Wf6Zᤕa2k8:-Oj/,L[KRE?|dKԎ Np+c/SULSF ɒ )* .JMMDu?:P;=+fx֨ =wq B(s嬜;~"z-=ds,j_B8 [,Oz!.Al f:9";۽;Da$&;A ߪ>~/lUm!GOn+ ٲmBM?2ߓq)?pN:,}1zCnS%似Bc\29Xo)3Y>mw~ a0hE#Y*`]mֶ2Ra kHk|PE!]qWAIVaU+\ٹ$U/v%GaWr %02m9aD+6ZmHQc't:p ^(~KYLW%c؜q'LkV$DGwb_hl;tHیc|tØzJB9n#5 A|`I'Mek,~) `ϕww+կi $ EzZqCe=\ocL&w-:(3,^Z(޵з\Qͳx{H5W2yߏp|CQGO˚1]ShLz<zpa( z9 9Qhs@ZXaSVb 9Mt@ӏg/a 2kG1k^vM#~w$Nns%?jYQ&^5Z !9ifB:ʡ! 8[ c?m nDQ%}8J^bI6=K>+e#M<%t wB I`.{+9n5uOc\TXo^9oc-RP'_0]6/ C\ӛ/ ιc!BA\QX[qXy6;ni4f 2A߮IIuOADv$/qjjES沼_CP\cMXA~!Đ6ͣ]g\<ѧ*EMb~Aچ#2 5H^fa/^"tHT =10QAvz^yYMS]U38ya-U(F2(’\>P^fS*RKA#"ÁeR%He`!2AE`$.;N)v :"Q}[oFWC^],An aoҘ^AYU&mrd*NUׇ 8zyS)(yd̚y /m/BF9нn 3}Oul_a1Ik'i U(3[>+轏JlB`\UV@` uQ\ZLYEcaAkM SzkT)|v`i/龀rU(g_|Tq}Ye{GêqP,K,~~2OVH ڹl(HMj6<]dwJ]w[wj!FFhR-%L r[)>A,:d :2/,LPuXD$).fvX"vU%(4.@pϽw ;ܚw[{e 'J39'8w+;ɗGuL)QZ3)75@oWҾd'ٕ٠$arHքKG#G)2., UT$?2N*μR/%N)bKR*adD2aVC9sWҋxD}&3ܕ} ,:rg]i0Ŕ< +)<`!kzI@0Q^[[fJ"|֛¼JёEЦmo¥|(ENQÌ?E;Z41+pvb|rE疽kIqo09&ggd‚t:+;ܱ%a;>[t5e}u(=,tkd7tmvl8{=7QK&ٺlT=2Ŏ v^wct&C XWpe3G*;H.l`]0㼵"ŗPg[\"0MlbB^7HԖU\=+$gyT[_E$=:]%ܙlW4XCIBکQG nRRZ: %9d7aAf@ yvwlZ*}~/ݰ=Bf}%K~N.'W*Xqi~[7VV?cHH]L0YYO唤1U׶X |QtγX63I"Cz6pYyʴlj)0,5gyM+\bz1AfGQdOPQt웊J $|D?c_unaj2[X%rqi?sɽ qLXh&ֵm&%P6*1)7^N2Wq܁nYԥz05~A#"m.4ץH^}GÍ#/0#Sf~"23<ZYj6{ZFgXi Owi:׀ł_9S~vVGqۊ8" &8wBo#=5܅AoZ28ei6B>"g5` >^ZLkL\rN_ֲP㌕R `bg&{;Y AR-#Q&.Q\D|2F M Ƈs0#cf̰ul`Ru]~(퇍V@ K fkZڀl=^ XE^^`w&hӴ+>xAPTAM1Y!p$p7t I)萓gYZ  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\/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:- )A% 4Refine_MonadicHOL-Library.Bit_Operationsdocument.tex7zXZִF! qC]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 8cY(.5GL҄8r Vb;ЭoXҡ[C~0 ާĆRRG<.KOv|=p/fݬk[i:IyPsWf5mJM'K)*2I/_/mR Lovڤs:g\~-~љKknoGhq9S;e\* J)`]qSbŶ{X?n v#ʙle(IX&.3X ?6cZ/D#rrq I)dv^d"nlo Umమ th[' l84nsDF(5z<*x^IҾ*IL MeCErd4mqn/MqE+EX/@L \$='N˰#z)U#쫾_7a'k`|6M{ ʎ{H1r0١$nɕ(nӨ!+Yca}47.l2x^q+#{_-Na{ Rk~iǸ}dQơH3N\r<PsvLYssR[/u1]Du}PWМݵJHjwV(!͙NkA{XBd6ќŹnC?Lh&_89+c8U}^؈l!ٌU Ǭ]]21h0ܶLoWC<<&i3g+pu0tAX7nr#͊Z衴L$-_0q NmBXܚ%SeQqȢ(mq†)e2lׂ5u:%s5HU}*wYGq-ct`X7J!&NіR{G?xM1ݣx,љ<2_]r ,h@Q R!M,?vbo)*j^;U4\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 vK>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`M15gYZvY;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  5)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 SE2o )G% lRefine_MonadicRefine_Monadic.RefineG_Domaindocument.tex7zXZִF! o]A-MՋhvG"uIBm5NV*-ɍYF@v򿭶,3[XOMwChvʶN0(pr1NZK/Pi mIOG郜~՝idxʑC[y!>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`ơ0$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"=gYZ0X%nPٛɇ[X!\6nوbi(R3n<"!6G= WZg?59+O9*Ԅqv9G3OuX6JX؍V؍Hۡgh"%ٜ:sl/ gm:48;'d'7!yFׁgW,.6@p$T9Q Lh 1YQLuxp$UP$9|.~FհᏝ"cmwDz ӱJp- F&o`Op)]8+.c*X*)s5vB~69GT\C{y3^\4QXsaW]d[#84b}@L]7^sF҂Ot`nK-%e33@‚fG5cHnDT{t _Q,/Ibc%C|H |MEtreT[u|# ߔ"ILM(i%oX$`9¸~KwyUv}2_a^^pAl*K']#|0CE#b9&;V.?Xngt@nيoH>A= ݷ}L'֙6dم-u '|uOBuu`_PTTl1AQ&Nd -'UeAj0oi}{ z$ћ^vdiۖ`ҼډU *1+ P\꽳<RͣIZ-N #mLZEЇfO1zPq?K2e ѸĨScͳBBw= ;Y@E4ILK|~Cb&5Jg[0BS(BQ: ~IExW:q w!bPl ?cX5\ݾljh.KHX8Wz:BsbJ\ ^;Ӿ=6##ց`p]L/v.]">)nS%C|e>ւClY -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/>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_i7T)A% 蚁VY̱#^3߁m9y<-ql*(Bh=`i{~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:"TOى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'?er37X$׸ՙ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'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ޱ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|É#ӣ~ 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   r)M% lRefine_MonadicRefine_Monadic.Refine_Heuristicsdocument.tex7zXZִF! s.p]A-MՋhvG"uIBm5NǨ ~N^w?-tRNkZ.EbxQ -:ia:CS>xt 4Kd -WCmUt#G!:*0T BϨӾ#Yp-MD#:mQ؁t˜!oF6X|,}W ) q[Zfl .4(c5^7 S}b'o ƥA ~!#dгF8W8b,mr.b0=[9>[\.륉?"  Sp SdfaTȄTBn/N-x+2'=CҤ%8`/$r5]VZ'?vou6 ܵZI7 {D B, 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 zz)G% Refine_MonadicRefine_Monadic.RefineG_Assertdocument.tex7zXZִF! dR ]A-MՋhvG"uIBm5NV*-ɍYF@vgS\"k(kH ȣ"&OP&6dK}q:Ehbɭw1^3IM[zɕCtf8(0]w,l)ƽ/#*6Pd9e_/w\4QS%IK|t 7Pbjwa$)링Ώ ΣK1Rsq.O6bITreUHQ݀*[q<`'d$rY4ps ݦJoI +&kֻ95;_r?M;O~E>m`#OWW&L6{sF=Q&ibGWOq0YQW+;c-`#j'S;]@\jǨbL&D]#7\GЬ%"1Raz%PZ 칀K8ߢeq$deGNaaOj( ^z0;1>fݞ3g~D6r_>fb"A6>qd)}\P;g")_guI$>@?'1r-2MHA#`e4}@ijNҰZ3+_ʑߤ2ѫFu'D3+/iW,i6'Ȇ#>ʓz)(Nz0Âg` !4Ҙ73% (beZ;?m\UۚJbW+PmQàee0j lͼSb-Qވ9e8cQg$[жÀ[>y(g Tb]G/vdoYA bmB $@  (c_̳ow-e$[\s{Gr]T˙ivԵ;[LtuwC0&/m!3Co*zW2q M?sJ% ׯ*b"ڗ- ^\ <IwBz"CO.<ؕ}Z []<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 )= uRgTgYZ 3)7% Refine_MonadicHOL-Word.Misc_Typedefdocument.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}S+d7=ɟzizEl(W͚"ܻ9%tFlj>Zƛ w^Ӽo *S+P"5Ri \J tOзk|$ЪNX!j ʕWSΦ8 Xt6IczizE1nkX=auۺjI{ |z0Z-FZv%K2># 5bh[(!dxϥ_dpbO[rTR>xxN[hsɁ69uoK .`?햍 PrJ?uQ|W 5aγ/αUiH)e%Ga &׹agrjJ>ςEKHK?c]{7JdE#$\rED\pDzqfsfkK0~0^AprϾTR #:BZP(߉r,$13ը2!_2~6rahz&VW̆/[Fr(b$ KZŰDRt , IC~vwmH1('O0Oh,+iz&s:2@f(K_TۂSr6Q~f4plcOyL IjIp[ v$ʂ[:E6ʞ2 ۉMZyz #ɻ0MhJ7|oXͱ!5#i^5:3?Ǩgj^,9S)ͬ!g|n4] ?7;ʍj 6oe=EqS XHcPLSn:SzԷ\pN"@pF ̖5u%m?_N|㘦 ~D|Ce6WҏѳڑmJ5̀rJqR,6RQ+'A#mPV^Q"0@NQ>hN bNV:q: .bbaYxx͟=e~ʑOAk^.K^ OrRY6+i!˭\{pf[]011Ĺpk ŋ\57~$6;!e E(x1{< ttῪ$`,w7i2ʚ.d;UP-E`.L52>qni fl% DdDŽV4Y?O@fWӥ䲭cf1]U,RE  uKŘH]5Jy)\?:ļGZL8ci3Z#7̫աDRb{_(pYhn${CsbgO8IR?cIU2D3P3DNa>V/`4EV\Ɓi%4E@fUDQ/.p''7?[Hts4Z7~ɇΓIC<@㥈[.\vѯ{]A;L飮KK.q"GC7HM{e9C̥W:Odn1!LhM=5GqhMJ4!lj%!|+rhG9}Eg-—K8CQW%Ow>m_4kpU,Cbɉ Oz \j9ݔqչ**&‘:o8GAh8_mg$t&"A\i-dCgu:ql~&vW=,.L9P˖9Aj@ XTpMG_H:3D_ y <^nvhWhOLJ¾ [1jUQxI^KYѯ䋯1FߩE'X)Iby1" K#G Ew8d/熗95[YoL$9c #!+Q\mg0680>VdQpwLu0̓׽|*IO",DgV ]ym.|:Țh1~,, J@405ӆKH1jԍ*0' ;R5!3eD4dΡ[ŞFh{%KEbhh,gpRf 8G5ʤFa_[ri1Ouk. I6 \q28޺skGhkP,v8n׉ӗO˞a.>CqV6ml=tHZLG`"I0>(ر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 W)?% 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.agYZQ);% 1?Ȥٳ(5% aM?= LM4F8g}45άx(pNiw =6 GHJ$%wJ<H>*SGށ}1 gZM1s ܾ 05^[ >=  Z]}2ֹYIjx$ !"*~\|Yz4a6M'z)@_~ُ8_@?~<ۤ\JmYZq\mZ bdP@ z4upO*hs+<-\0gLA3$bܑ. ;4یv *yIS5lMrPҌLhN)cЪmٙξ~,=tౠ7ؤRMB&۝XE1֢t'!KH:y|1YOQpgL&%߄zgYZ  )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 DMgYZ@)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  )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(gYZb)=% \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 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ӱgYZDh<d%#сebmX`N^=8LֱZcBSjOco|7/-hZ)H9ȵCtm)dv4Wb-<R9]o;[*_~tT M4&_Mx:d_qXfv^ ;x^CM ;@% GD~ [`V`!T [D i>/d\t]`e_x)1M1J;pA1J)SM!4)r'`U-(_ w0NsNOWɗI7;ȴ%Z1s,#0)jmRmT#I,l/.\i%պd04[ұnXϒo&w<RPr *{l9a>XɖGt 'YSMGjH~šh8*3Id. e'xX-unƚp(Y 3ٴV ! P66Oǵ"CkO43c0N:*>Qd}ypm9IU /%)g-CE=tWd=Qz< 'Jr#EEz?dr|cTڼ' ]vUu؅Whu> HܫD|&k KʳASo?߀"8I+.θ۝|ECvT0Vona6`2 vF;'6m_>[:Kf  {M-j) l/'^;Mt:kdxJ )4pj[,KНԶyёミyFzc]f,_6y 8̓•PQj*\fW!E4"x m%g^9!N1 -@+ 2嶯OSHqN;}=[؏D\$+fSQ}I=JXs[ ។yYf ٘ -F9i|9|[Ǚ\u0SEѴ;XC öl~/k^"W#Q1qmijiZYpGm2Muҏ 76KڤRavh AS ~ G_p 9Krt',bS+L5}xjNØ2+[쫟բI_FPMN&k 2-{#;m[^L )_:J I"uWe~Fu"D(|D|(ȝ;7E|g8e Q`07@ zИ@h`^)4(#N a vo&sM]VzT^Yz5*;O]tR02 cԅ8Lc:J,/MG$t$`FkrxG9a~A.pRwdV+|b, {8Am<nNꚕxTDg z|߆s(p;!{& LxE%SFb#u1I NXqnѦfD)7ڨQ9#d}xާj{ԧ*A ;^3?)Uj&_gD'C`]isJcsA}31zJ|Ѳ6Yb*o}A!9zt[o! }˔FgQ;5WHc)UO uPЛ#-Ubˎ$!΄9~GOvE䅝k%>/DmLF_ \@;+:Κoɭڻ_k驾6E\Bh蓃'}foJ"_7{RQoVxjǸ_ j p%-lWS8R !u^Y"RC*_*nFCUԟ r崬vFpFw6> -P=oZsjX+l?pKz;cK ?$q{Yx#P_qތ;K{ܶ Ż%uڡ!OӭgY9Jzkhn r匩^aGMx)m6&W;L%Y8=wyPJ$.Pfu+lAd%uvvxVGkowzJʄطrVFoY -DE"A>bvx?×尉kIu8 @eҋ^rI(9:KǨzD#ud>x~%Nr6-H ` ֦*RNC]-<)nCAk5Z2$XJ R!CL4"z+Qi ,CW៩4 j3l.&wϓ.mΫL0Q;[++ݶ?jB iv W%7ڤԯBծ"D5ZEdB`&#Sӄ:[^JwE*U=KovZ0ND51LKY,Hnܙ9J',Kı*Vcdy򆍡IuzMw=L_o ?O`Y}VUHAፒAg3eSIG1^Xeɗ3gLhHUf`iX'й:7EdS)B~79TYyL虆l/a8buR132B&PG&KzI:Expb%0J"7S)ރ~؝ŦJ?`d+1)Ex]@e6 nCH4 paN,dT$XO[Xw\Tz6Sڂ++b%x%DV :w [Q~hR\վM}hhb}; Dz-OJq+;W>{:.o\ZƇ*&Gnze JA?|Da< {r\~>l˯~L(N紺W\LRXhRE* ۉRJdVmATaRVzATRv.71 1_9?fNYҗO&;-¨!B)"Sߪ9.G :M}p0OB(Y!(|vgw3IP5Pװ=|"{DUIG$NsZNjѺC;}XS6n&CT]$xoS.&`.<ꮇ'4@ k(К3tDi\=3䰣18!AmzgF  m 3ܿ_HDK\P''Է4=S;rh^bX$n`wMAn#=\vV: h|MRmvXE z5Y(? C`[0 NV~#~Z* .[as2+ZZ4z;[?WS=NuQΗ537LJk-6z i,,57^tus$ Ql֞; ><#R_r oY;Qn>UZЋadUPj愷P=:LIW: E'Z:88ZuDAcDl,6ᖵƟes^r} T,6ؑ ֘eM=/X^M 9r¹O^2(ޓI[bJy&r dú)}i!o }>R'/g_!V;Jgz9YA7aմW=!+0[hYW"/9) RƱy$*fI£1,FD$kM=V (YR!F *ešdx*ځ1#|Joy6;= ]p˱bPQXK1% ۾DMx(0:?A0 FzLoB)(}^ ѪViՓ6h?\8 ٟ@\l;it.KWrBнo^jt*JJ! 0t[02E&UHQ2I.]^t{OTx#~Pa^\wNflt4]Tؐqh h|`ώ &gzK@ndVY!WH܋M~S*_h#67nEzŞ6dӳNCR}AºɢnΑϘ ^xN]Zm{!oT6PR̀τʊŌ v,Ŷk2w~̾[ P>?nm%P>TDR +VI8I$ފkMTn2s{/")GӚm\IINrzҁ={dnE;u'/TD+4@Jk%r=V( 3S*1axMR v LkM幸zĈ޾ҁ^fO<`-XkS``(},qpGm^!Z3 [s'I7Xly/R ǧ7K !(h8ot版I˽i˴.R@ +T * az2Z Zp4z]/!\dc75 qR8K"F uU_₾j(5E :#=hb&E->2kK1Ԭ"C|欦盔a9|~|^EO7600Vi'.lw)_GR4[[AHi;se9Xmj8ZH!)oz'B/Bj}n5]^׿Lz(o^?჆:oe^rBƈ&>c;Y>?Ga􊥎|D'yt[%a袡x{z?V4GwـPb-R'UY7$ൃ0%'B'Ʋ?:e ] ^h3t~{! Xua^@/wJH#>~f#(O&- wgTua )_#] IImt=^Sy!$+˞q=ЏU} ` sum] ޟ-"4|)墜1ps8E%/+Ŀ᡹xeU1j׆>3RAe&FKRFy6Y6o ^D oޤ~U~2Z [I /?U&sahTJG736k0uZu#:s{o{m' PBK0gĺYAXv!F6XpcM) S<#yʼn0~yc2dk{EdɆ(^ZMڬx8>j=]ٿ 6CCl?xoe'&pSkє3MDxr=Mbw1MlHӟafL dw"'MMf̱0t-|*,qK貇@A(vL؄*6Rӵ=sS#qڡdxXu@M$XD=2#]^~=SLeAi!+)!N)nWEYp'#ٺg*̲no!؈X;3HX59V'4lz (@}Yn}dFzӨnt!ً"ei&B +$?xo?b~K딭m32$ hly/P\%r+ XǦi?0bo%%`"#Ϲ|Sx^TGNɮU骍7hD98@V]sRK]wwMG+|AbQqdoo%b,Pd ݿJj;CztR#\(dK.Lު: R%b [Ij`yN m~y_&C#\fo$MkZ%5#[GEw曕|n,OBI>X7-%ay.uKglo0yw)r@ (͹F6fuk Jy JcV;J} ]~,~]11֭ JTa-5cTEfi}n.&BO; f\üc. %v@5;̹Qܡ#̠OVhC"G *ӃZ0#D(MS|NZv$%mݧ/\ ad@wxA'ݏsf*H?E8)9Ц<)gŒ`=3f-?fX djS?*$_CNf dOCU&ϳCQ-gkY6KFmѫ 3Zyw.%L8Z6>DV!ЎrM%X =/}.5n/J8dr-0}%Gl-: نRCر[[gv%q> KA:p)`)1o߹5p/ .-gd 2^6 7)rioY {$O36l>67*r,nq!ΛrXk /L$/i;f@{r#VTiD29%|BvY4%c^~LS|fݭ3F <-n0ICod%VSZk|k7S-۔OOwC!]!#`񿖦ˮ # px[0>5T:ښ0`A5'{v'#=+&SzFA.#3d nyt·gCG c{V3l{FEv(]xVj%r:13šjP젵o1B; *VlT ަvm;h7#V2A"}v"-DV/=vk`n^U( - "M}[OygXft,E-9߉hWe1$`+\Eȹ.OaՏ ak~I"&Hy ԚJ5X_JrE.gF{ I !Q%USzV]{=AͲba<ӨVBu6\̘;0.z)к۪|C Tc;-x`{v%zbBXr}ށˊXq^PsewO\~o=q*ӿAFѼ\ְ}d9DfIeT'X?}r'k]8&enr dyGC[HǢGv0*3uĔ=b1V"w s'⎘ߦ>w5~`l)"<H}Nޭ7 ;S,s_oA ЈnSR#)u|2dLcaGIo1,qcܜޠRmhl)\(s ^32e@>)'8;e6PWEy RVjpl0V憏>sLϝ_D 3d&oҲ]\m݆$kF5A:Z+(Iy>S~wJn4Z͹k:J#}7iu4UzWб@כG0TCzޕG /:D<}enl꫖."-~8f̄wR@DQ@+SyґNaF\#^,3Z{.mGߴxXE1=qFPs% 8܄p Dd躡m/p% {G?j⸷DJl 0ި67M5Pa.oJ/N4/ԕ(ͫ4ʅHYGg µj+ЎڒVUp^tTw!S·>@ȯp,?(1zwxƜe3F5#bu@CY3H]<tg-M,UO1KLsS_Gqd܏K52 !UZ'mqTgK]U2qUFvvS(S4Z΅ ZBWoۂ.$ V)WC.^}Q CUǹy*MpHW%=+'t ߢ&@6Bc%J+@L%D2Nhu7up_R^PPDoxU1}pRvHӡTUwICʼnx(DP;:UrI *ja?Cq#Ja>DG~v,K;YOwOۃ}TD Őxؾ fl۰DP_G޴S=.ަ2K~Ԝ(~w:aʖB%؂`84,cg{Re:Jg{Z̥>ƹPoŇ?fRNmېYGYcſ}Mir\)4Ц5 &:f&gybd^_5s\=^ԏ17HV;@VVRב:(벘\#EZN˦*UyOS>;KOhkd:L"Td[A;t~Qz $5v̾ gfUs| H &2k3]PHٰ|jUfĠN 4N"'`w} \`M2$5$[ɜht$DX3at\0TvOAnُt.4-T7ph~ZmCj;MN}}ȟ$oUZe08n1M >8CDݯd4gK1?CUBKI8fBuG4+q޹] ]D&}0dzu&' ³P?&, eyəS{3^;îvN*HkUmoH#H\"_ U6<(-ƃ"uh;;Ә½R \¸ѡ 4kWO3gdVf,ę =1ݏ#D  \.@6ݬ9@ɖjGy߱Nd$2g\MY5_n:GkLP%́_'ܸh`b9  Ew#q =6;B|ШMYfT)n8ӆ ɋ$Cz"NXE0r=B(WyI,M7}llMG^LM{*|_ur±nOa>YԾ+sG6+Aۢl j{Z M|A4RNʼnm,+X(}Hm fƫUn (͈+>ΩRc<6榭 Lb#˲!8"%WEݓ!:c_Aʍ d>B\;f_P&#C ;W""kr¾w]dl2aT9k;'TuC h ߫SmjaWBd>T%/lٶwmeE0=k a /3LŮv^!"5>}wՇSj `&^?אLyZ2I1!goϨB?[ٹQ׬lW&]/K> StR@ւ 1h<` UU>1Q '4, *-hjKڅT 9e\ӓgX6ɚ*et'|8{ tqDB-cZ32?S:T]8nu-aZ0|3j [ cܶk dh=H>tDŽqe$;X )PH}ñ5^ҀmT[D\S?_A3aƵ2+]އLgrrhݑ`j+ [IJƨpRoUn=Sw@S^![[qg dH=0F"|;QiGT0&ۡ1l5+17Dv~x{ E`m%& l[W,g/zTPX@{|HKEϑ.6v+qv{l_RDtL9vr>Inr=Îe^p 񤞛_so4cj-D6(f*."Ro9O3s /td!o_=/5&SbPrBKk&R)Hlev(*$TS: _ZW`6yeDZnKݤA,B!V]p?-!~6KX"Mf8=!H!Ž :/+Su*8f7\bauٞ pKH7R;1gGWnj&8}D:ߩfWar|DQWP5]_4 Gfbv =| 5i(&\D1^ =D0BN*( C5JG2f,2mґJZ4֡=`@Szd@6->H/fye"z9[F?xq46GH>7{(2F5uPv=ÕX:5D KI$ѐ`cS f Xfet$~ Br0:KqD&sӥÊ5.c4$zԟ ''U0G# K&w%ndơNs5g %;d8)'Jt Bƙ@˃܈1]PQ7߆66mťYBb$00&)ke{֯&gusA+g~3|e)@lMn.$1߫Mڭ8f9&LPc_`_ ,V8;]fDB7\c'ǸLKg|+ xZ^o_/|w'4DWῚUfQfA KIDE\,KUxT07B&wqPG9s|$O=hהFUiG}26ICrjP751F7\gCԘTTe| ;a]-.{u?0{4~βn3]uP(Ο^b X};CY$VN 1Fg0o}NB*>(rLȹvyc \6 %̣P;L ))`Юe:")~Tꥆ[$&w`ef1,Isixrp0zR,|+B.%1ˉ3Iz~ Q=c(g,|Ǧé`ߎh՝ 9^5 ,sgLP|d`,뼟:^m egտ~4WqS$=IOƝ0oI00-Q-#$aYڢ0֕$ GLopnx+*Ci!鲣_шjYXZ뺇Pk3!_j@ًfF?V˞W᩸N&EM5.tpiT_JвR| ECwͥQ^_SH~+lZ Mjb@|mGY T }og?$B2i\O?/!`]sgTHvQå]O]Fvvv I9&X/-́bXC.Lc̖{j&`LDXPy+cJ 3]pc~4|7֬EINU[W`2PWZMĿpVP'6֣]Va4o ^R:_oE`czjm\ `C3Eyrt᱒gZ5h߿9[I6 ҿ}ᵎAN6@E޽$G~im1s؊lh+~"-#&pO(kc;G*e_\lw)d3Jdcjw~7ci:FцJb|UV53Wzʆw7[6c{_qk F:&mo;wcXPtדzNBC:b;^F '*ΉUd?b`|Kx==וP>tf7hQ"Wl+l{K1/E6LU[b[_ҝKG_/QNjDje6_Q#QLU;J)n~[ l0A8Dc|'M_ Hي)<@\rtjE[wj<(DAʁްapIoHΑvu3%ՀvzK5wi|4],M~vhgpWS%vᮤUEɚO0'mq#*V+'VNr$ߤ` [`p'~jem]Zb5<zbP9k, +}?oA ( ǤA tmYXSNwB zv[ xuYAUctt&Gol3R|t$_ 1m(R+J02D"Q1a2Smu*Z|/ꔚ!ܭHmwr$(Tk[6JYoV72PA5Kr͉`AK8ĭ !Y8Y鳥3ĉ$> ށ}А”,e/ nK0MOw!. t,X;[2![$Cр ' EleG.4mł#NsPT4r @4 %v$}B/Vex0 .u!fHgrX%HqiLsL\ekI]< Zxbc:)hF,]q<)۩;V;+G+3|KK"r=MFeA~ ?)I'RKmYqK]Qs^n'W@, K_km, [(nqgýE7t`3$-*gG%&_V1ok>*194򄋾v3_\;2LiwpX|Z1|RQtHV07n=aFc ӖTBVCwjЀϱ4À-aU`&bA(9/j-<^Vəptx+Ph]:B1؋9 "(QߦwaJ,n|rt+kgњɓ}䵄*;n;; roE`59:d@ KfݮclRb`pA)-צ 7XmLc7ȗ |vR洀섁eޢ1z#R8yw?P0EѣK'n8O$3W6Z"lwetwvju%{٠5q"C 3L| $\jdMywlYGȵe f%7, 銈JVg8 '+kbc,2,~p?i)-BsTTtkwWP )!d?RoAMdΖn=@p%[=@W(iݴVi%}t yt5:ߛ&tz4n}%2z܈Y=r (xvy7iu w}j h303 $|q#;9]dĈɲ_k[YͲ@5Cg5R[PPtK>vOߺ%ϊPIKʊ&ۢ-R38/xu@'Is-f -K+X "(Xv*o8-,5ϥHtf9g9D 8h)4uѐ{n_p onfBB8;+ל?gueqç%Ol[o '~Kk޹uHc~DDP*9>\ޣw@l<-S OQфxz>^|I -V0qCixM (LWZ9ܓHI8L<2$\`/ںeΒ> ڗ^l~7;r74p]j!-n3f?q=)@~}ߓ9@r`A\"Zf\,TC& `͉6\Oۚ ~4 Mޜ!u2>T|zDY0~_mU 1:;/@)]^f 0V|W8(b) K9* 4<7\͝XںqW|qw*Z(Xf>Cl hHnzse;bf_rgPv?^L 1/>:i~V@}l#Д*#fs&(%r-$([jgX(%T Λ.p$swy}ϒ um.Izʓ/ƛ9Q]N{rZ ϭDmˬ3 r9o@%C2 24QCyh@I۔p=#BZ2%vf26%2VA7_*0GߋP|[x ihc?o\bUv͔(qNxIp Bi-_3e`հfiDc'`MeK@JG_kQO c_uk(W5 ::iS&'"J nL%7̆*acFc_g.ʣP~e}NZ8[g+ `박»ʷWFJLJEՐ)A(}\1XÏ;01m-c!ŵJ9w"8i#`vA }m(*p#1@CMCBw-5zspOl30#0fny WPXʓڂ4sGQi\}قt̀1n:~.>16WۨMB8Eg.a1JYñd:r!&oJt9db_1FԺ0Uqwa#RN+ڈ9\9dg>\;3,"}t~|oܭe,"=]10)O԰#,[)I->h*RE6 Z+z]vS㖣=;|"ʛ'``i2tJ ,;K''hBJw/.⇄LMQ) ί#37~Q딷o2zI'Q*1Ξp3N^qsRRg¨_29*Jvb=N]?D8{-cQ?[|=BqddvK4 tfBvI4FzDad,V4[@Rȋ_>զ6\r.b ]V! 䠿V4!ӥ-eի8~5jds;J8]v$RH1\Co4%XKw ¢v)I0L)G\ P<]C+DNz)W~}=boo~19։gpgt~~n|v"2S& a+)0J07.D}_V /\!َߒ&rO)rXYӄS{iX?Z%L3 \#Z̘_86``^ 9n2ʒpK}= _o{:B,&]Ѣ2vg"Ozj͟[`m6|E툑/vMM9H>2H:WSƂ_eM@[(M#\o6Z]8|Y y?1"8R!l~LN`('%!-894 20u/Oל_R>\ 0KFG&.#I _f}ߏm-D~c-U0v2ʀLA F4!iSHcMpx < LAvWυ6S* *Dp/$t[#ℛ9\b >s>p:-BvY}XXp""|DN{:C4u(-lOI V]e7 4bPx"RRb"=}bANW:?솫`z.M`IwˠxwERM|a4.uy }m-<g$E F#مzA{[&bbbZӽTkf;"?g>a1fxSŹN?8;R .6~1O"eF9y#w2g3HAH6aH+vG2 "17[^C.,&+閩F9]ZU߾o?!CT?7ew_VJ LY?0a(?: &zadǯӹO`5vA2댾vȌL`Q7 (KlIa7k\+]ݯm̢g3zj% &K_e#4(C~K%_DiK\1mG^sQ_4C'^4'񬈍~AQ<:UW7Ʋpك҄ oZI$kYe͎bsjc!ONhv"qw]LJΙ33d'x՟)S]zRoBww#^j&Q7}Ö(8gɚXܰkctgoK:P'|[1`=A> pQ:>/e,4 SbcUBsJ uT1vx0'K֙PLWou^bү}T00lԖ3"v:} Rc׵ka:9ZZx9L Ǩ՗_7}Dy'F4͖$o%>hY"h{m.uvER& x f'Xh{*K2\~%qgPTAKG|}7Pn_au~4'n84!C%$t@ riÏ8K c+pDI:$}Aw+u]H>J|,cHt/!mG}ULRMVse^j_Ek<],}\%NUQa)1qxGE{4Sc_b PHO5#CO 6qI!<);^bҝR^2Ҹ۲ܑQ}D8~/ w^6C\^"xሺ,. /6rt J`'iarw?? IԎ8ID"wsj!ܿLӖt9q(`\X_r v|:cP&8ISن!2G?dͺ&>RgfF&6Аڐz}E }E@AwSqU'$ęLZV.jvSe0^@ι,IR|j~+ @B:T)p|!HZC*Mj[QZkɯqΓ^lkp[협[,@3f-AKO.GrNcy2_ #Da#@KaQW  1rQ5iDZC` Hc ""!t#u[m %z'd4TY>0h o)D#!vo^>#p3"7 pr{TǬk$LgZ X*) 0Nb,"oG;}#hLܥj13[t+%O"وsD IxLD9aVQfM؂u-/NYX!dYΖ@mb[;?4.BO=1uq{7ܒxٷ E[V=;'?CҸvR%փFl0讏3jnOWmΜ2Ԭxu&Rrq?Qu, 4V-;o#(-)D%F t(zFpZ]1F~D2#+廆[K?)e7)KwNϟOdq/,4{ѤL`ř.P,+|\7l[YT=iڮ̠|^ Hfs"irWZ^fĕM~"+wh[>09ǣ'\c-Q*,n3>lCNK jLOϼh'c.&^\-_ pqn3u`.xy%N=0W o@h1kuR:^V5c|N "LAD:Mʂ9_[6U"x\fbޯڇ4{o!#tiy /%~qh־s3ЅhJf"y#2&ҧ1Y?B0RaP@REGAa!:39>czɀ/݆/"d=^V`YHL'I%nqObɶJMiy-0pu3GgqJdϊ= 5&Us%׹KFFEGi)TGVETWq]oxjߞz{T#I<WX`?T_3j<^5 +uP @n3VTȲWqUFߗ$̃b W|vHK>;H`ujEa1ǚL..>b`*s F gʭU>eYn ;쳘eI,urtnI1@/c OQ%eه&jӡjQM#*o ˠ x 2jfRR; 9Bp{}rXgUjqG{=tiYI<3.Zh[´@um! t&fSd yt~= w"x+Mc}tfh"")Ċ>ulNӵ դd*4m: *~ ? "$ީqtw_r&7HPR¤_hrcPN4 hZejxIrHE1i{ɱT`K ġˤ[e~ս+n3Y/2=Hb^٨UNt41T\nU$ ȿ70JnCA%F< yˆ$jT|"wjEfzQI51@<4Gu)s7o #i)p¯¯pxA4b:s1>'F)q!;6L0٤z A ÓL1?–V:YNg.+ʖ]긯Ȟ(K8HXrl6$Y7uqRj=Ӓ%ʶ+EJ(#uSoUr KP|sPBh]I1[ i܍,ZyezPN* @4B$'P<Ӟ/uKDʝ.hP'٘0pIhzVFtXfvܲ-kF<_7~Xf-Hz犢Kot"ԩ3-PAڌ2ߐ'P~JYQrOksp8n`g!f 9!ҕ)9tk)P_ .: &*i{<,3ֻFt_|Dƒ3jL>{S,TaX9XW0 rNRG'AU/yN. ]&gO[ F3@VSD#ypG% 4C= _8ȷgYg[2s& h30G0I^G\;-!ӓ@RH uR@)Jp[ ~0e*nQ!@ )3>wt꘰+1g~Dnۊ͓r.(:*Wц}Wzgkh5'soz.H.7qJ_ 50 _|KSz7IEYkyGVT]|5+L3&!LGӀճ7&Α!~t:bb͆$PƂ?/V@7[J20 m= qcf cES F&.,awKpW݅C^3c>W|M*wsHId[4RM̾$U73z (XiLȠtz h'>rY$ ˗+F, dEqe^ 3Q}Hʍ,SRp)<+o6806ڊ{!R,3m$z] s?[RW^k|\/Y٧dXg$䅐^ RͿhҗ-U3qOF eu% )Z1/m]T_Q$ݵ$GXrT (F ?jKG+|3M?/pqq>O6a18zgs_erϊ7Lh$pVkEcRm~D3I=R`x98u_˨Cp6Z't*sdƈoiA W)w{G]R پ$SsnL bHkm,4kEҾ3H/B؆R4&hN̥TF.@7~fA:OY?(TgL{{IXp>o)z_aHPmPx}{s^S`Āa6)!|FoS Yw0NyP6(̹Ԕi$tl\^}2'sZ%)%q-=7 x3}6]BNiS~l)!軫 d8@L %J}'\ۦ}y9dM ]QT5\0Lu&]2J,]r*:`6|fm}*< f HZؒT7?>VvW.Oa]0%_y{n`T6.ny˚W0 vf/m3o X~_8v}9'6~{WIkԥ}t"ՄVz Du ';9?3%ETYSb RŇBYVHgYₗMXmͰgHbC:H7! _2T, kkH L;nQZrf o5B(9ǘXyX  #$V3vBx]k:!fU t2oE b$CҳH'Փ=nJ\мd< ;uQYSb@ߩڭpU=G#Za˟a{&{J;dVNf'tucxܮ9}nI;pZ.G CqEr|e<,6=hઐKҺ6Zt*ʂpyR᳏;yv=x[ǃ3x9 m`8v9+f.=g{|.;ێ$jj fĻ.RG%ЋB4>OH5nAyuՆdVE{Y|xgܒc2" FmIS2 [D5w:] Fj6x/8{WW]gw/Rm䠴mCqNr!Lؼ\3^.A&j?VyTs/58ahc;տwZQtq9p˶mCrfe*̻Y{jm"@YCfL[(ˎx֫^\'ݸFtNHw]pdE xТ^18Aq٧S^ZElی!jˤ^b7n9ʍq|a+ ~YKe=⢨EI O<97>ćfG=3nmhT%ަBJ@!K/?P8;l gCkdbR:֬)W|dz@rSf3SJȁ?)0vњ b\AAP~1 x:>8)H?Оp޾@o>AVRkO;4'y۰џGFԅae4>uGK$0s:Wn6P,W$L#+ ֶ$&9vn" L`8Ol mUF~&OOI%]W!m{Ut>"jmt s|-MITqY,C#=sHΔO➺ݘ_,YXi {F[_>2[|YXsZ2'oUk4ŚS0c3_(WITsd3^&.9֚]F”n+u3Y{\'?ћ^R'և ˬ4z: = h ZD^(йivEP'>"WW3Fo5+{cѝ.R{N¨]!1UZb{L@ݖn2 ;frAY~r5 yK8P t2!+쮭τW MOHqA_~䑥N8:K$>W&o6&_,CAˬ@GqNIG06|+0啦{iܭƐ8YRD na#'0GOԳtΠd~Fd`%*4h0>Ho>}i_ N; Ӳͻ) V}Ff&kjHC6]1P ޟ5+ܜD^["ؕB'WX{IVSB|W$Lh_f gIˑ,vb7V$`kTKmHҲ |{# {T6j ]79!Uk :ͅ\9x1~[֩VK}*ުb>\#Vjr>/%Y{i+P(_FJ4,$phVRrz 9DZ3GhZ4@ݱͼ+%)d}$H[mF!)§ X;A,rVR Ch16 hN @VB[RC/*ZoK nw3VsP[%!J-9LV7(xޗ=sUY8@m@ ~ߵ{79I5JrAPTד)e^ӥda{鋆>q_9ߐ\Ǟ*~p@fzH81EI}n<ΚBCz@owb?˞hScP[k_L&҂ٙYn%d:[>4phCJP"gD!Q<g= VJ6W4%~SeWDjD#t (nWܐRbZXp X7V#m *Y~8V^۱FvVHb~.xf m`Ytӹ𽦉Gx_VgyF~1VDcP`U g3?;j?z]!I#69EwDOpFFҜR\B=OI >T"B#}fxƍQn>),P)_'>ADy-_q;=%/bHGh|^䕎%Հ{J|'.kwG1 LpB綽&1hF(M<6xx5TR-0x~/٫ v=Kើ Z@aan,qrL R~-O$)J?VbX(%PuѺ`8q]2) 8 GYGO8aN@<Mx03AV`X][wzhV3iYxkVك Y.í|YB@S yrMp"o#͝rchqsQ8Ɯc M:\%Z5EEM:Yiqja#i{l&t;udoHKM`OA,+?jwFp{_ATwnx /Ex}@A{3Vfii+ѴhzR:ߤ<r7*-T ;F7Slu'U9%.)ƺ.)FJt!&,5b~jFR<7ͦ:lF_~J\ 薜AmQ6S|/U+=լV2uj$0 NB & :˜- |fH'Xwr9q6ƅ4}gە1MӂZ߳_4փeS3.&KsḴ$8"nC*ap/a-[k*z_jX7#s[L} a _'?.14//~ћ; *" 4(ľÑD/JnK@Y^T&"8nlm8s&B)8vbYHяa"?{Fr29\d;`p[|1h*K7\o:j9'tE"WBqӴCۥRF6s'1 RӦ36ljԆ& ; |g>L硻?ݒ''4{)^NM:gR]=HH#_UL(®`&al@;c]/lՃʣBh(B = n@T@m>- z^zPcF;F˝*dtRBE+ (Ry떜}F׮\E6ڳ퓈:zYAf;[)5f=35cJECG4!Z_0cH }igk  X*2P _8Ff$NW- I/TH}iI`[ݐrj?ZEiY;sȌ 2.OObj¥t9RŌ#zzGuBQȾ&\u*1ari|ސc֪QgW+ĘFuD>5Pm]@ULl|OK'+LqbC͋4e MUR*qVu3ݹͦ,Ug|X cr:%R9`9. 66،Hd5*BS"}`@ +Bk'|oET|Ziր<ʤfč =O|e94۾Xxz{U;➬ݨf/W7cQ XM4K@=ЎmG{ S8[9LB.ρyqL`盍|l뿟JYBgBCwܸ,Du*2*J% 3īzْaYJg a~-%t#^vTe$3nⲔO:VdQRƋ%3;O͚{-XFVJEGx%}c E O t#F% kg$AP64RlӒ"]iz )I)7RgҚ7NJxH1.׶ RpMe39Ltfz0 TϙaWhcqoky'R=qD~Y( F wPLsJNL4{T+9迒x٠in-a1R+O/>_Rj_ɯ.[WuP&؞Zô+",{dx_ǴSq-+~4uLU.a$ $~B8|Y<@~UINT.+r5[)dN=PC;I#ͯ@4l7 f6j3' +a^rY΂L*/j;6͕Y[ eGbMA=<שn.z#xJWf?Ѿ;;j!<˾#;q͕5_ ~/?]Nrp[{zfsnjcԃ!i*I@꾳C0eZ%Ru5ev yX{W(+,7ɾ3N]b(M Vom=9XqPhYC 8h>MXA$cA VZiUMQzCd̄`w(8)@P.^Mp14?V|JOJM!q9{I'%q"RQzJ<qÈNp;% c(W͔NV`]eZ̙c>V2d¯ 1!жjQכ H=g6H'Foя >uiYu6 ~(gRųBI|TJV'-o iv^t RjpucgJlV@$C.eIQfځ)LgJg $,-2_iZlyx4C(NIGN ;GkV@[W) ɚMб? `(ݥZn[ĄX9Jԛ,c'7q= }hqb* \riLkZGui<b6)Meq7sV-}@ڬG?D),6[Dq b# 3fbQ9w9W `S4cAP:mp O/\?:J]:"n|4(cܗ>x;[ԨpM/B[1݋-ߜ> 垭tTHRΎ6zY^kOa FlCњ1h ǹ2Auy$_'"Gy.eQ0bƍeA3K1 ˣ*4RVZ@bђcL5ЮoP(JЬn<2)l<ĉ/e&e>ЀToPu1[ޣzr\wu Ny ΞEPYMT}1ry9?ʺ`Mq,_Sƚ;[7U̵AWY0yl&'wM+2T9s$$jA=1ȉcKWtU  w?HPtI r2*r KmVC"S,q F}ov+i -p82؊ᷦGV- E ioiGbw螾$?# zB :}rU8z=[H;vQfWH9 n`)`jzLENCh=#׉5$|8F+9Eٕ%( χθ.Ʋw '8Жw!9$^@GvjGZr-=s9q(=_2l,`^AnO@qԅ$ֺsQxS,0Mp^lPC2eYyʏ'c'栏R) HX$ʬYĢcǗcEC˕}$m+J '-v&WY BfQJb4˿kҳgMI#phjD~,g(j)E@W<(iɳ$d,P)N%mԺVBiŹ!ϑ@zVzȲOm Ա >"wL:Bm+6ߒi!lm^h1exP!W3SQ4,AMԋ288˝/8AlWMtָ7tʼnz|U.ZD?Yۮ}fZaIfPCP[f)K!;0#|}- />Pe-=!|+~2k5zNC+U4>0}+К!t׌-/EVoop1,ʫEa PsJnضJL> Ho VJ'Ka*LL; 1d cbI.f4n6A F5XOR!bG#&uNH#Bg'O- \g< (h&Uu|CN#Uec#w(9Y!$cL}dO{Ci.λ $JimM$n߳G~o0 %""'FQEHMF*Jmp>/2K1ЛeLD,zrZ $ ˿}t+&DQMcb/i 4NpmI5TOCqnXB ΒC%{hSI=8*Ha;ؾ0Us _YUfoI2PLb+(!+G)/JцA,(")Ǖ[x6S9jW 19;.0Ro^ěrbE.%)3jzPo*$/ cIe?rZĘROe?>"}h`ubgKe/ݍ0s5WÎAEz6}ÿ @oc:5 ؆+Q>^Ϩ¿K"gx2slF! H)䜳ep%%I/(k;/iBA A}oèeǰ_in41goZ|7m0uoLEm'i)Lo=֖{`sT^>[K~M.Mä7i)_wj&'JI8Ya\""b~^_#eG\Ӓ%SˉEth׼ o]%X*ʘtOA)ٷ+1 dE %DOHN?}/~zRB(ڈGo>GRTO2+6zM'-UJ]mq<\)u &I #z p~$88a (~ljQ+lIJûnBfxvol±ZC96oF\ <%I˴uwwjW!#fAF^@O|!%=ճ&v) @#}O_$N(: S^S酫|$9#h9.0l$9i(G{8MbH*,JA`aKw慝`r\Me)T,tV u-;BU2M+BD|rez+=sdicC6y4=it\}oIΛ&L+J m wgf{Y:},~o+)LQL)8Qǧm5]GXayh|124=rE+_= . D7WNQo" NqV#{L'J~S-I6AF}h¾/]~؟xivI˥@i/ GBuTK g 9Pp2IsK'p&ws8z}oɮI4cūdCUkEb7Ms̗ЅI_AWA:5+sV;c ;xlb/BnR\rhfeʶ[Cp+JLx%\my8׳ׁXW]#Y`֐ U`-35dmjnOX6v nq}3R-6  T ntc"^NCꑐ$x6JF*n.wWژNt͙?|t\tƆ7[대B d[ܼ+*Z02p2IϴGqgjJem)XsxN]K2|YYdW.m.S'!\_ ڲؗ|+IUn*J o|c=GZqsR:xk-_]_$ ",O| l@/ &V'~잗k_ êh.퐆K+ٞw\u!bMKQ7#;ݾ ~fgՋ[:c5q+fGv9Ys>8.PwJ&PsЄ+\,{v<[ LBz.:Zo묵׺(h#-oM$k&6!?[415%"TɽBrE} F;^h{_' !N1L LVp^sǗ 1 4ml[:4Bp*&w9f '/ ]\<m!^R KX!%8@h|JUO9dߴ,FtF_ͼ` ``z"AsNfL1M3`kR 'Vyln aPYp՛7J7rq^{Xt{諸UF+@Vn Ey~ h,H<t;E`"d ̯GSVՇGµ, N}3Y"V# [$-P-! 86-UږB$tXӍWCqa AFPJ!$F'j~ 4b8g`K.$CUwdO[cN+̗cD[y ɴ6 iu˲k퐯Фt&wkzn _^d??U)kNt`ғCz%Kyc aQ]$Eih@!w8(}ZGmvZG3\}Hq@Y1Z5Y ~ Q ^,|h,0H]$T B?<'aIGD$[yI)QXSS bnZiΝ~.=-hjfL0]XBlrgrRsU?}r?lS+]|ͪU+W ""RB|bj9kN*7 ACL#=?DSU5|+[GXz=OJ{Rp;OѩbvNS 6Db?MnИ^sw,56S:$^㙤xӚeLx*;_AڕMu8@q8DΏyoEUlYG60AC:ݬ ~QiŎf_*6ycCK8u t?}B)eݝz8RUs=J4'4i50kG_h.Wd 5)ڰIL΁>bnߗN6OeHArG G0 G3-*}i Z?0Vx\Qsk!0 *7#[:r!4b&q1b q)Lj11і4M'ohrYU9;yrrrSI#l$-1"f^mȘElem:HèRݮy2ELa@;(Ay?9,[e{5.W+M[;apA@AQna;#Xt8kf0rM,%X5mà/ zAi U&~ v+D Th𷸮O5&Y=uNS~V>ZE9KGF^%+v bG뼺i:`#˲'\aEz'O 2ѺiVVuoE:2A][t">#xI]OD.V 0U)o5`=&hz=gquQ햳M!;$Kw]ѸO$Tjn?[s'@wuf5Wڛ3*,hJJ32ש: x) '2Pzt|%?ZIy qgqH bŊc <5o}I8"|ָA=@5uSbjnΖ0,x/rLh~T}%7cJ+w߸hȯEe9#c6BAV]‹M?oC1܃EꣻlytUS>&(zdQh!b Z_m4kz+ d')s\%d'V~Rg/+Kִ$׮2Bh7~qfp I_ci-;[rs*5,5r9~̛3 y#&m_IX*e*_O0vGB"嗓`P, g.Z쭧0w\ިE5C/" X9*$h~h}V}ou2k :xW"f)6s"E,f9cIC_4cBM5Mh3,f衘5&0ES%3VWm3`B8@FFbRo`sNw X4&Wo5ɭ~07ZޜQTۣ BwHx}on`UN]In×ٍ:HרZPNU)X:v]vȋbU!($0,I{/ӳD.c ]Xoľ p(`@AX6G('҈,b"]4G|s}%ANqI")v 7260=.8&z3E.MM} 25ջ72'2y5oΝ^ȴE{̪A.TS 𠿠H\7q:qVy~Of]2R&I5_wEӣVbjg/]/x)qhEnOZuUP֛'|xEC@8u鎆9MWgH.!REB5$Y,C&w@mN8C&Y( *kzuw9[j;V.@ec@x _8qhszP UVN RynQqEx;0i)FYj6ZVbD:ٽP2O.DY>\G`T_L)`AÚI:޷aoRaKI}/Zš?;N7,CNFt`2 jeMr}qj(ŶXձ>zb =51I<) kJu:k!gBN>O*I'Ờf Z0t=f_]`m] P˧n%قM7SNrװ/}LJo(3$& |I][0@ֿ3$#Shc17 M;sY I`i5 1f.Rbg7Xj%r |5፭oG`Uվ \^Jm+LW F yW*N5Kn#NH.g~iv) GuckȊ`> tr ٗLa22B-iMh3ˏn Vt>Ka 4V": R~-JݬX-zGcdKb-ou?e8)p!1K;$&}_?:4)tOS]_ ;ʵxsk 'IcK7CaXg[ɱ_WtK'a_Ӎ|%ލ_aէeIDr6rluHޢ6l `j1b>n[U'*00Zҟ|D^.Ip>0TFYG'vd+ISXm/ XV@0C_oT'PiRtvf$XqOHV7-g3 h֊2F㰪@-C.VoO7Q8`v0,"}c?[[PH'fmhdҕ-D -PM3wVȜ>c1:7y1#h.y@wu~`HN fo"8*P;NjXoB۞@u^= Z1c|M肜 -^e!F̼[l,̆ 7dQFKm$iOCKUJFT_#t`&sKB&m35 9F4oO/ /EsXۜy?=11^7:?#jj _(,'K|s"@4s W4JL'oqSj KRtlܺ%]F/_+ sĢ)fkfzФ7$*Wv%3LJXܬ|rdB#5Ef>%O\ʕQApͪ ljSfgVk:^- |bM^yI t3cbGځha[:ڛp7ﳘH΍B$[JW̴"W9eoR(Ԩ.Ysu(cV䝌`8 6LQٮ! Kk /Zoh%w>H`zq? | }~#i>q^\0|`fA}>5Cu]&\+h=3p?qtyo5nJ"J5n'{33h v|`!{]RB?ۼIlc=| TףO5o!m}jw+=ɬ 9 kux6g( KXlCQ>$̐Q>k.3~*$~?mLoXQ4`mIP9VR,Osjb^xq %Lu<ĺ;ZO7FȇA2$A@8X#׽BYӮ#WNm]doWӦfid.h(.pђ`.音aRayLĩc4"6)sJgQW?gS׶#SGu&1> Yy2em/LoXu4ޝ0*ի5WTFq7Wsa/? o^"&첿&ЬJ'ظ"Ӥ["xs=A'npo:YրKx!c3M0[̕Ӡuۅw%GnzH/^NHR?*Vh<5.krkM/%IJ-˓v2إrטw7XeόMY;d5/XYKlS!Z|nwHڣj^]wOG]VJ:vheI X*J0>VQB4W;QbDy*a`o/1e#p{l}@8Y laZqbgmQCl&?Xr*z4a^i cA=U,"#+D<.{j7{6OT0xjŬ1P3 'R'pނ#Xiެx㦎>M,xfZ'}ܽZNWe+ m CWժ˜Y 0LX_WI;&}?-^|=z!#^SCkZϔTLRb}t\@[@I>TIkT\ާ'ߟ aS/*WuՎ".s85of"3ɀSۀkg_*ʑH?@&LX"[*E$gm4H6gIj͚K iA3#0 F)6Y G~8Ľ=RICwn0P E~t:f9VF='ȇk 7 V"+ZSc73z[H秤˛~әeV8B׊5NqE:dY$45%6_, xxWBhz5Pjz2~7(_0`QD>AE߫\0<)܆K'O;104SW?IPP3/*A'!:{MR&մbxeI39}sZ# !o5٠`*3IV1f*`MA6m{͏%egO Ь7^n =?P۞VI'FU#;îhTO¯r􀞩G4(V/cs+3 (hs,ŻRccXvTsqp7B婃y'&c= }ևޑ_ 3+Gz~Ut]䌟2{6.#yS[QՄ;ֵw'Tbi`/Fkw;|p+/ >sĝ>ϯxNsDX!3$cVb:hKS}DJo4[aC)xR庂WC ">hiޥ&kRS!:DL{+F.(\ o>GĆۭsya}THW9hliN5&"n3 &0n&̰ A:c&!JN9cŏT}WW >m6UZ8]miF MJ.:0_֢a jY0jwLT44\i2peD` }{m"rsIX jG#byZNRx\R jjໍ{-Ejx/Tݕ1{p's0C3Hr7IRTACu[ diӌڽ:P8!n(kDfԨi[c(Þ 3n;|9J'CiԇY(7lgwÂ\igyn}S2Bm@c )13-#I[;9VgWӈRȝdk;Y?Ј|T/w+~= ^. F)ͧ,X)uNOiIyJ\򠣲w JYv<{ 3A23M3!VlMؙGuQHWN%eIs(e5Ԛpzg%=:wUHHm΋.( B<..-m * :>Tg+fw==R>`mmC~T]G?IcΪ"nY--b:6h?^,ѓ ~| BIHܠ}GZ:6 7֌S9@M4HaCkW.<$  dkx[*wϟOG`]`rN%h1j&u9tyalx#WUJW1l{QA7z[~g׼"П^ "Nx=F.R~2$Y0vu0,7LɨjnGVkt&a.1cd.c?uxH;͎wg7$a{xi8?nӥR06җK w%EiMnSe(">MxO۩ w "5ny^kE"'5;ٛ4R9xFMN`:H/"v !>h} <=16n}6o'rYm7"̋Iׂw);*XB{BcS+fGE*7D3b J(Wy4oj~j-Y{}ifp#=yZg&x ƽO 8nL9~FbbQh@__wcltauqy T-rU1WGc]VȧJO~ݫn7~S<Q|1NW]ѶC46Zj)uv4)֫qؿ,@i6Uj6a&F\لQ )`rvFļe:F- |0wfiRr{;A4IO"B#r<4[nkۣ#BG\B$2/Y5~-fh0V+> ]+]{4sFDgt㣏43zˇb0 cVn"J]Lx A^. *P=~ "Ae^݁BۿnGq@L.6@k ȇm3pV^.9:F ;hA|Œo.߄*C=<|g'lj|CEQb#nlN !NyD;M~7zL B&'hxvBB`D s䣭)YrblLQmUx&b݃Ҍf^Yu&~\gX}z\#tZu(F } 5SpY3e H\Pfht1@3e*^2.O-!|^ :c9uHߨN^}M :T:Ž\ٳJwɵHvhVHztڎ Zf@ U1p%'<ϗuUyT,hyLg:c,t?ô^k^:EY:1U~y=oC+h؅ȼAnV_VǾѶ6&E (A%tۨ(5p]૮P1؜;܅QaP7$J/fh'sҭhDb ,^Y3ue S(='''uz&m5ArŲf"24*zQ)=ި5"րip_ݟ `IQɟ.dcB/ߢۖ6M#Yl 뢑%IVu6ԼÂrtOzrcXNHm6P E.1B~AĨ5R 4֠o-IzfK䆲 ?ǧbTvg hbwzْaB g~hiy nŏ2\9Ew\۔yM;ifOM?M]5_5@D/Uw-tX1 5+}-8jdu!z`;lfGz#mQc%k &Yeok;L'ܓu~7t%s3,^>ߏG4,Sc+Gy}S>i qw()TaA|fL LBCwIN%X1縜4dhGObWV$,+YS`V+m3$Rdj3aХ cʦKӂ 6,ud֖{F ܏)+ruboܐ Bd #^GQ S18t&F̓LV\zXŴJ9DEmd'O-Wt@w(Y{|t.[@rܲ9A->eoM FAfP/'u9٩M]1ve-;6!'hî(OA .~FhݤgŏXv_ @2Xm@iKfJW㚟'ġ=|_-nA(7o&zMG ('ùIu?:*ތAnx=xI$ scFp,@TNdjHSk IHx3x1/"V3^@{gi:HA[t . - 7?hOY)ezE+: ;[PZHW;< cӵ%ϊ@B7;LYAw|+og-P Ue,S%.`0 *vN-1uv%݌ODp/bI6S ÌO̙LHaVmxtcP":,8Ij'3OK)#0^l IB Ē$6 $Ǽd|͋B~FQ3ǂaUGF(X%r`mǧ!2Xei' q8I R\lf T-P0SD9bZ-3apذ.(ߧŮaA0 H^\;L@!QQ5NwuJ7`y IyxslUjLBTiD :b>bs!z6f-|·+8%Ceczy NMF6%RSuy37X@ ,F#ޝؼż޹+:߾]Jߖ+DP˸'4V.ؾ07 oR"64auqDՃ"CpRMJ{=k(~M, b 2ǩ(SuKFZKM"pmo@`l ;Y*J.lKi㢈FeBs>B \9֎GƉOq@ޓh㪄j\߉+ so /m  ^΋I )vZUiI^\*o2j4@d(qS!ӳ=%Wmb+M4mӾwe{D#iNv3i1OChrګr8:5rgMPWg]GAv&||n/,0J,JxhS`ttZ(hZ^Y\T);b)oz?Gp\ӑmE S :?+9 O~C(NB2y"-F>&y恥) zx2TZ.lmW73\# wh+BXh}۫ ++/m;a6J72ղS7)@z-'p =?ERӸ SR(R_Z%8C~/4h" .qʟW" g\9ZQ0+SJFqGvFyrM^faLzxWNWߔw݊g@8h2N!AL}+&gԓdu^N.lfDɈf(L!, (ne; myVW " |zMa@@2ne4-'$t#7md6u),'z]0 p'a/)b$aGZi'U߂nw0V5 gG,1֙i1[w|BjK;+fb |VrRG >} *8/-K*UeIpQZQsx)D+B[3~4 U 㠁/v C֋̮8W:ۙULa .: eƑ%qIw hO$]%=Ѯc#ɽ'-kgćoa urñnґ@z& Ƞ̨a2Xs88 =3##VrV\h ˘3kViqY(pQ1ν/ aKqk]b, p}!)@ COpH &/(U]IXoqR% *|'kwp *̂kʂ5u?]?:z SҔv.'VpbܨdYgzHv}6EbYUVc$h$i߯ǓqF's)a7@Q=@kR/JGU- "N|4(Yj ] 2/VX\1,YNq-\*ei3rh넍< qGп;U-lq5FAoHۣe~,[NW,b%C~ H^4Ntׁ_񾶤))+"f"?G",l A/wYheURB!g7UC|&A/})땮X΄A*g"E68tlvbxm|pb^E,ZjQ P#▋H zWeS v YZPT~vt }RU ^a6[iI^DFgh r!_zP&:Sԏ(zLnݝje( rD/3_=(nd ]ì dK5oX I}<5IR C<㚽(CrS3!1uph3قJK_MAu9foVW:hQ52EEQYFT=Q6( ʭ Mt`mVn? ncDz1~NkҐ?y}Y)0l3:;+Rd7?j' I?q'a:0_~6%[R PKM!\=fGKݹR@[~Z(g_+uNyqSx!A@\7ac 7o*{͜ńF1T!,#`R1Q fM¿+z@H!,fy բ$ '|3{#2kbH;K@U -y9uR%|O˰ 3K~lV[0Kzbg g֙d?m8w>X-$^됼.7ϨF;/hSg30BSTuOّu \;#Woubo O=k`_,I Y0=oni`m_xNk+(rt^ u. r9X42A@m|(S΄|h~`áJlxԽ1 =A뾝$sl"l2'"-R+x aԎ^ (q4z 6-)!),̸(Cv\m/׫e[}aUd9) $7D5+9VaR(0&@csGW0q i[O12['C ^ -b}gt>Hv)~ ߶_Ov,ԋ$T)RK8ak]u.4ݡ4uI812KxdVFT\CFe!m2EIyD8C &tl`ɿ}BYga>!~rN*uzy"b^wOPs*| ^AȐC~ kI:wJ}f 9u20i!)wi" .~G ;D(j;l+3.fnԮEdW{6:݆K sSH܎_Jz\%/$Wgiٺ*UK_d}=CGY֏RojWܟ=W@1o1z@m&컇`bQsZP9]l8߂|LLNy}Y茴QTxV%pUAcubח VOLu|iu؍C:/&Gs#L̠ Ja`$m#P{`և9&zzB$2ȅ9 lw9 4\+)@kW4,(/e0 oN%Ϥ0Oy:AFy)Ħ6D!Q<½UN 8;)Wk /x,2OkxND&`xbͿKX}ǀO,&H\6&bv!6wu9Hϲ|UNgVO=E-$kkEJ@!{"F EGS)}Q &wHޕA;|? B5}[ڙ-5fE)q5W:Kӓl<Mytx@=(H!$E5qK#"ܤlE܃Lur'b)IZB38/<mJ*Ooԅ+yZ0o yh܏M%uӵQ{ mseO7,lXw#FCke `#9.^v-O$RwEBx-&v~3[]6iZ:,$WamXjW9M8\LQٲ9YӛoqX-~gX+e75Vɹ#9;>Cc,JJ"FMh"m'uf3|W߂{E lPG|\⹆mMvAMeG.4C'M(~q`F^E'6 v9 KwƳF~p/GU CPLߢ)?"}h JŴ@̳B#=4*w*Gu,,!0R{Z ?`N]?w6Q}Ex?ez|g"!S/.mL3\E:×(h-7rbg {b`ǩ^jH4szj1 9J2ITҐQp EnJqt-B0opU\P|(ۢ 3(XR]Z}ŽÛhjgeotFy RFSg)'5]+#JA=ƛUs%%=~ʞ,fIM#MUݺՀ=$>I)$[pv\H^|(o#"$cR}S2;#a0vq%4If5jK6g;[.%_К0jJ\+[Y0~TS {m7NLgxܜ7Јޔ*ktb;(kJU)@U̙W7 Agw˱…jz㯢{?v:lx;>8l#AsiR{<:{@ ι\p˔YU0,3&pUvzҫ]MNLmA6yB^p%f.rRlGIkӍ,ElcgYZ l& )'% Refine_MonadicHOL-Word.Worddocument.tex7zXZִF! 0]A-MՋhvG"uIBm5̝:qIKY2്u0Mtdw5Q :pј@/>pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~ªŀrG3C&ESI#T*qjYq5 BU/@_Gg1uy&GQq@S/cC-HkqϢǡ\5~[c aTK+Mt70gi:$}%8 ܲs5r)G{;A,BDړ;3b*C$r|Q1'"[LeM*g&ZA(c깉Y~C 8ٽM˘[i-dmO錰>^]h&GC79_Up#4[c5ɴy{ (y?#z)WKABVgS%t-N**u&gXq7וt̬xn]"@|8\?&Nk,C8]\jx/ai}bbBܧ=}e8oXoPޫ8+!G;)"؂vhK{qQ Ƣa!j效< CjzlWP9q\#7rf};Y*U < Ovh 8xaqqE}+hYg޸,1|^ 5o4T]qHq 2+iWsn$moTGM@rxOþˢoF"H2խZfٙ 19M,74rB/Ti90q„0,;rɗE]U<26C|ꇐ4w(W }ose@YB\8^_† ̰4"s;;/cHquɅ1|=JDI1[ƗT#ȧj!'coLg%A~zZ* }'ܤ'w)Hw$#' )Ketր1_++:2u.L24ojCF8DCgЁӅ\΃p*+ȷ_!w$GCJK/ם?"(1Ǐ >Ey239RB쫭?FHZrxۣ}P1y8.p "Pv Of`_QˈCjWʙ~LtEGBă(NW8wkHJ"Ƞ[J\wg=aђgw`v>dALwnsz/=rQP,J.EM7'١ ?ܙv|Bvoi|pUHk=E:kUdY@f}ĵ^렦n+0`ߙNnR^ep dzt?ⵚhϔs "zt1?(@|WK-&ȀՀ]CU݀9Kŀs1l#\t) ȭZMB_4 _Hyy*) ?V,Whn̝ďߚ|[{..9K ƾU(Ǿ̬k>pzx]D('Ej5(HF`QҐ;@u$jNiū%V%RQYQ ?U??:m˻H\uP2c(._uPT<NJRdYNַ~oHF)vuji{unJRƝ$W[Z”͑iZ׬ 4v @#J6TYs1@ oY#Cd# HZЉ9~sS\qlaϮ5#P9gNnJZ4~5.˥ƌ5`m/ͳCY$D ud:6f 4w1ZLAnwSL(ET`) jf<O9ӹI eqΓP)9הL(5LcQsI*}ߘp;SG$7Y 9OCVMr ꁉ9Y+ 2aH!ouN=8vJJXG?DI=rdip=bCf'3qޚ1Vַk?Ts_v:.-R/˼_Ն8@ى ZVZ]A,58\F:؍yoPJ(Dwp <عkRGYG{!5N3 >zB5bzDCp%檮jY|Z:zQâBǽQ naUKA/ װ-x͢nV[b\1c"v.X"$!·%AQ W^GhC-d:B:I*9X>Ph~s^Kvm2BXH7v/y0bmB-nbUT $M0\2@+8 m~ܩ_- "0d^ g]~N F .59̈́HA#&d;;t٤+0Dh& GT)-<_+\E95.=WD4te~?U"¿u{}aoЅC>ZJ._+3Q F# }!UG6` 'pì֨]ZqYIF my9fd#~"`H,% O'ON`EGZJpBBA80ˏ6 ߌx'P(|S  we+1<}Zۂ)jY#Q $/|<֚@]p| nUOyov;W*b8s}ldLg{g*39?xKtwW׽A)D`G2R؇LL-rt, EϗIU'#+00"1j\hlƴ'(ܕbME 0X4e]5v D%{f]ee%Ly]!x0jR^I/K?"9䬼AҎCѵ3-JǗC:'r:#6~?mNoizB(W|ƾf$69p \ \٭qk>6E2}h|q BDCvQ+y@Õk 6E&_ NyYBx~-Z9{׾FHZrV]pW,gDZgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML& z}츂2o)\b! -)iaڗLP4c @'7Ԃi"byrA3i\N. 0h l#FJ>ki~w ^]!z*C~В@6}0r'3s C'{K+a^*:HҫEe|2iGebgQZR2yqK u~#@ C)S#XwQ, TzZ ƅ18i펔PuK @dl7jmŬҋ vD3ȜsC<-N\R2`;:F|85^~ ƺP/_rpAوe^:`z|-g[nyo8bTJgQYPΡLP㿢1tJ[MaGM`Hln=K-5~t}Bhju V 1?Mm{t)O1ށTcj4X.lBKp'!Ҟoƍ^ OO=?!C{;WmRT®Jii 4ǠӐ+d~`vdhXi=ih~syslagYZ7zXZִF! F]ŗXi%Bx=ALjP"Vn!(0)Hd W7l;*Yj1+,Y#  VqGwVzV= 2p59 }%IVͰM^kpR' 1Ӻ/F~bhe (7 T\%yvq iD V /^ǜ/%Cu`ʇ[݂(][ìj9*YԌɗ@ws>mFVnvd{HU(ِ_AOT >oԪoĜMMN@ȏ&DŽ vV,'|~ ,zO󓪪rp!Md W7{]MTO71Y )asG(Qᕬ ܰ>z9g_uÆ$d.up E{eFK)eX?K/9)og%(cIRe|H4mB26- Gz['&i5iѻ˗*H&4 ]Xq6OV8+,b&DyNkP:z~pZͤ[SO9k$ra`ƍQ i`9d37]EN[XyJ'X=GS3E"o- 7C>uv>JH ]k O{֔#94̕AF7sjݻ3뇥Ւ`ߚd*~uu5YIُs-P6Zws3HUǗ3ʔ#9!~ %$pX6lNÖ6O3]br2p 7r\"ګ(MMCoޫ,F Ճ + 4@#:Lbт%ٍEMO^-^;[f"jv9_0XgR 5Y'KSt=)'ݿ߶bUgu0heJ䊨վ +*Cұ+f'͂(:0괞߸v] a { Y9e=?#6)3c?rTD1ĉr5w} wU^+QoQ S,7SY]ȟ02t5Y2 \lP& 5X/+#0`cu*ZO)˧bw6 k߬ H)E1_H: hmAb>Y R|wkG8O:n"KvT&G  =EGԌzO2tK/sDM }gYy{ER?EZIC3LX9[}O`UfL,zx]m G.qynWCIUMƫ @B+7ќGB~jĺi@uܔÊxkDr@z1'DPx C+kMSJoKY~2{i .) ٴw(i uP)WlyܯEI%C\ŐvDXӤ6' У͒ d*JGuOkŠ Se~@SN;ꛯjmo (Sek퇏.Xo.>jsYFf:?iA,yT4Uc#-cmin䁦Phk.,s"~Xw;|J /=75 pC}=%fgDDL܂RQ&rl=H|s5s]b`yGZ&Mi W!Ƹ{)D9 rkBrv x*ꙏ+> UMkfl.d.ݦ}/,Z8>a +\|30#tvb{Iҁk# /[㠨=LҰDD:*yUV$B(Kg9Ad*#d"lX#{ \NEBjjt"I.I/x)c%ׁ>Ω [ En{IH[:!!?uT;5)]wXhoخ8 %7^ H6!Q7ΞsՊ%>ߣkG^`bX“yD0qۖhX.軋_&Ql^2u . u{(;њ|6MQ+9 K}d#jH`cc)-L;Y/t1VW?QZvW|줕M-#,٬S0%h9W'i-؈Kbz>O#S`*1jMdܖXw97g`Y!FqX;65A#5oҚm3α꫶-5`d;ӭY71T /2S%V#g+VV _\6[ /B,J))bð0%-?fؾexYʷyI@oi.%9v>\3],)(L=\ nۯ¤Y"R~2qyD)~՞JnuCƊ}Ѹ7Hd)S%|wm+:ѶU0Cx$46 vJY ZEMb0\Q~@քi/syVm/@Grmco5ĬNyvs\M;ydncs[](2BG2w'PH Q⃥%( - G੠=@x0DI%w ˴>IYwͲ3m̻(D)>o-ޜ>K/RUcE $8MOC)ITgn  *o_+䶞4vR՚A2^Dれl~L!E݊),fwӆsd'ۑzQOa{kę^Ih&')OWnmc118JIW[$Np3ݟ]BƸ5!-gQXamM{|HޠҴU:$SC_ˈmJhЌctW{4č# ˧w7- ` #ho. EZ+98t%ƕ )⩈c$ÀB52|J͕.{_r6ƕ4i dOX*: ,ϡYtF;X׃_EDCdkv@0]pȁ/̈n_ 7h8`GѢϗ8meh]^)q6(/e? QhP"yJ;gyK:T^/p3꧍1@\&Ik626 Ȧ৥T/u-)1zi^>DZ#1Dy⣞5 0' NK?)V eDtJ?OPi$/2~5+Z@M.%yKtڒ J5qbVW O Γ&t@k*jE>UA Y!@!WLnZ_ͬhɦXH[7̳)2: YgoȪ> ЇȱNKU $QgMM{b1KkXA "Cb-zV/JǐZțku0O"m>Td@r fX~Lp[#bEvZ%!H>OΓvgEpUAVm`fQKRgjÜO$ׄh$ЙFpk-Bťg uȚTn?qw$h͌-Ċl| 4LYmSW0]AYUO}BC(T)C"8XʹR!v}P n[B h9M2td8`4)9āq^+).Ru8m^{lS}UTPvZl'T2YjQƊcٝ4Xo"gifm4-ѕ4{0xll{lof0..֨f0 -< 8 !9W(H3mjΣd,=*cZS@}HiJ ;Ac'WR;&RoZ8&ǟ xf [nY0u kxpeZ1V1"I¡ДAU~0 ?])X+OMpOZ(>CcI^ Fĝ %7cPR#N8{'?~&5QS}¶7^;TK -[Y} LTIG {P[}̈)2zo#֕(Ŵni@qϩ;]&W/5 S =.m9( gPr O":cY XIshݱŸ9noBHP#F= *<99`~ʈ[V}ְu.-w6_.i1d(6GX^T6Q} `"P7PQ o:XռRLC7nB-&DAX- Үo!-OgG.)'{ em^jFi;)4.wݚ4;&C6oheIU:-;lO3[<:D`dMpjbA{Wʀ-e`_kptBxvP"њ~^#\iK}s&ɵPf((ۅ ϭZB[\oS@Nj`h+I6e0Խ$] *6Y1}w5Jl ݼwk}x:A=䥉!uL*R*2݂'x~ҙ%R=8^jbj H)z ȹ4wi?V̠ y EŶHZ2$J}i3i@=܃w(soAZI>/["#dyuCl}#@aTt |+h#Vp*QGi"2w9O v措KjJu}n.L"Z뛎D;,)lE&l!2&B %X:q TmF,7sꥑ Mk ߏH.) 6AXoSHX{ZB]84'"}jǙ eG@C aGZ0|zuh~@`CGv.m)gEEbx7D_n\P1;}:9ʥR2} hQ׈ 3e2M:+HqSDٻQhu,!NKA.P4bg{|3#]ɀh_HwG4&⻋#iP @v9mӸ@/BA,iԊb|NM#F{;}V$Lj q]&bc~:d>Y tMяJFI减?Ƅ)9uL)e-bK[[1GkbDcJZm6̃qS`~^ IyZ+ݣCY_OL3p %~MDGh=CI1y!̵̑XT5l:/޶-cs$ddlxQ1QJ$J>|)MzԿ;\f0Ujjvmm{ʎtkq:UĽJhPF#h~y.%7/TYU 1 YH7p1աg[cܣBԻ)b}"DObn 9~ Jz3׮.37bW{-nP>Ǖ/M A^|q,) t,gc(w/,U_9/^ٖLsDe֐N@V ^6{Ԃtέt -ܢ? DcgYZbdb15c26bbfd6741d91628a3903b3019600a5b9796398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2e9ec065bea7bb68171e9ce3eca85966593c7c91be6267361e089fce0e44a55994f23b423b755410