SQLite format 3@ >.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1x$<\ ]/ Higher_Order_Terms:threads=4elapsed=49.304cpu=142.516gc=11.3567zXZִF! N L]ŗXiɟO}M:; Auܛ@{w6hxJ< ܳ):lkR7酴vg7)-b7W~Ho=='LE{ 3V[d4NEB7 7f$e#TWR] Jj/14AXBt5+`NU74㎐ X<[ܕia_UIMjkgL;^E"\*X6ÐѯDk^_gäΚV+Hԥs<"Ka$)yHrԠ5ٚΧ}1Nm%^\^KUd\B* p_P}z~3Yd c-p(p"+V*i-y!6GYdKS/M5ʹуqiDHA^~.aT$iu"J8@KYʐLfeLe 0@€4mvxU21M938H'e4qߘz>ZNZ}{9ma-1› cm0 XjA AU0Fgj_h?imХؒ^ͻoۧ*pscRdt=Z^'Jypzҿ ݀I]ǾhDvz4OFS(U|% p4Gg~X>,KĖl'v8\S4uS+C @bgo8?1uŐiq=Qە =_G , X)ڸk{3L[ d8.gqֽ6dgTE*Y*qA2'*=>Y(q阥* B ӵ*ӟ\6?X6_yhfVX|>TEi[5j ZtՀ!};i"{+=5Q\f2ܐ>Q.Wj)ФtP9|]4˶Gh;~}Jg%~"Jn)aD@_`%%K XbʳR*Ѹc֨׵o"ໟ.2O8e{%iWÑL)'E٬ἓr!EC!9 9=Ϣn>})n&ATaN+;6w6PAq95b76ӈA:ؙ'-$"]|S $j_KO;.uԬ7bG#MvV$::su_ӫ^ 1bmD!&@2]-Lz",saG];gUj򆥧fpY}qL,$M>X~fr)OW_}+]}O]8! Q0i-l"M4w]eT|#8Z(.y;R2:] e𐆮7kq?]ٍyoembL:C۠LL*NFao{{dBiD$_MdVTrT~Y4y<<"nEkI50dH?hޘ=|T-3zKq{&r4D|d6ۖJjc!~1Gu}IMa~zfp̩'zƁDEOQ=b\uu*+pV Dd]^ِJ8t'O3aWqh{-8ӡA͠^9p49p91)p1,T!35Hf+\"BXf~XITi}[M @D HBV;AwLjimy6VŽ̠$޷"t815%Higher_Order_TermsHOL-Library.Multisetdocument.texL1]%Higher_Order_TermsDatatype_Order_Generator.Order_Generatordocument.tex;1;%Higher_Order_TermsDeriving.Derive_Managerdocument.texG1S%Higher_Order_TermsDatatype_Order_Generator.Derive_Auxdocument.texB1I%Higher_Order_TermsHigher_Order_Terms.Fresh_Classdocument.texI1W%Higher_Order_TermsHigher_Order_Terms.Lambda_Free_Compatdocument.texK1[%Higher_Order_TermsHOL-Library.Countable_Complete_Latticesdocument.tex<1=%Higher_Order_TermsHigher_Order_Terms.Ntermdocument.tex<1=%Higher_Order_TermsHOL-Library.Cancellationdocument.texI1W%Higher_Order_TermsHigher_Order_Terms.Unification_Compatdocument.texB1I%Higher_Order_TermsHigher_Order_Terms.Fresh_Monaddocument.tex;1;%Higher_Order_TermsHigher_Order_Terms.Namedocument.tex ;1;%Higher_Order_TermsHigher_Order_Terms.Termdocument.tex @1E%Higher_Order_TermsHOL-Library.Order_Continuitydocument.tex ;1;%Higher_Order_TermsHigher_Order_Terms.Patsdocument.tex >1A%Higher_Order_TermsHOL-Library.Multiset_Orderdocument.tex =1?%Higher_Order_TermsHOL-Library.Countable_Setdocument.tex611%Higher_Order_TermsHOL-ex.Unificationdocument.texE1O%Higher_Order_TermsLambda_Free_RPOs.Lambda_Free_Utildocument.texE1O%Higher_Order_TermsLambda_Free_RPOs.Lambda_Free_Termdocument.tex<1=%Higher_Order_TermsHOL-Library.Extended_Natdocument.tex<1=%Higher_Order_TermsHOL-Library.Infinite_Setdocument.texA1G%Higher_Order_TermsHigher_Order_Terms.Term_Classdocument.texC1M% Higher_Order_TermsHigher_Order_Terms.Term_to_Ntermdocument.texXEfyѲbOf]՞sdNKY^,$<]s4*!bQ|F0 >`\" > ;aYjDwPꋠo ">zǣ`[mW-U4& z/ϵnOirbV򤞇X_dHb {gS<W;bJ3 2v|6ÿ"?Ju$ZCyyf'X"9(2Zl}qn(6vC/A0KGA+k"sZ-\e81>ȧoe ,@kM5 f43 U.6y1,GzoWU^))37g2 gAՁ '!l0ʾR9Lr v<Y}=O ~zkx?do)6l"sm$/f@;zrďI s¶MOoj vX($#f^_%tF@Y툏ZDf}GJǪZr)@JV.rbb4sSN.ͥY󨧂nC7Z6ǴOÒ*W :S$#mgF&lr096<D*1ԦQd_qcј/Nx58J`Pdhߪ5Sc1^' |cTb^ót g3G(jZBqaZ7GKѪې 8uH?a^~Uum!3CbKZa Ӣ'ڤ"8!#=*n}%ɪh r]n9Ӣ~IJvZ˫8 #SyfZg;0%zOоMGA:eb'2/ՋdOE%o`E) \D1G&]&Ar@=lLCCtB *J2.}@ܗb%Jk6ksj-2 ݣFq _;Ge4\.{ 7;64Z?sҭ)+RMP4/+I}ݐVx,K__TYLLAP88(3PR- ω[&H,i):{a݅g g8ͣ$C*nڸlz`" fE*:ka/ ! [u{CTO P%C-1g笡 +"BJn2?J`^lF6 defUhpGlVI6_G'$-yX$??l0$F7+G$_s?}hn8;(?8âJBm-@0>S%5NuH8(]`C AmEyP=[i1 '}m(j׬ڇ_VP;<~kvuu*g)o~E1W%KC(oM72۱>0TɬfnGgTR)ۑPXaOpdv~oؤ~S]) _H@LZţgr `~6F7xcaf#M V@A%]JҫTl< i1s-(?l7Pgg,o fxQ ƹT=q( .h{%#Q(TOT˫U w' qE,:\2:ۧyVm]ao2(5=y籲KA|z=92qIi\Qb5N׷@5wS L WኟD;"d/:w}h55v0(N/"1FfK_J2 >@݉XR  <%F m1R$y/UyxDk}-B=}dgx 3pO_*OBVLNF`<5a=;ڏJ;KCDߺ*R8)I2m$D;ڪM>O2f[/iIکCᄇ(z_0VLbp)wk# *daqli:w)Hp EpBvrGD0S&ySAe)6!BJMsWWFQz4D NNsAWXھT5ݏAS ,"ۘ3ـE*N+"v@Ddzb34`ÈyV.GH:?3\)*bN4f,4>T&WZ:Pb_2HTÊ41Х^ud(ފv45TU^=!֕ [CBԹP̼cEql]|<&,`18ƿ.]ƭ4u0_qBIHjC>zP"e^jҙA}>%'~ N}Oudƈ?Ź-g4.dt7@Z;{JƧ5ZjgI!nʋvg7G7BV >ʄH{? AV0X8T{.;[V PTn8."T~o5#L3ZRScS~}n>>k6*m59Gɼ M}U$]eۑ֬saWRilJDt6μ/Spٗ.2+?3}s&H1ސ!VwN_j Ɠ mC0=j\ ԠD 9shK8)ZeGXF)(!eb׎㤞:ɆO Ҳ.:a5`DTPJaQ 4.R{"|Cݖ΋`#?W2E5tóY;MnL+T&{E&h9<z wUs/f+3qA͟'YFj.4Ԫ$Յ#uJAqvѴ_82KdԺnY%0z5a&#J` t pjfN͉b-\zRd.΁n|17 ]u66RAzJ[}V"9|ĉkA&'"zX:xAͱl3Bg S#%h&?͸2twl-xN- ~e >94v5&D9lz`7uo ҝOѭr+2-{4:i>8@)0_j;^+LcƳi OZҾlo 5C!-wTI-PRh*u>M6(ON.vW# &.5}EL7,w _ÓUyMZ opF=@遤Lzv#x֞g*G8eX'p#NXҏGi:XD+kr 2#{nlda'`9Lz$2cDVN.@9(];[߯U4FMQՔפZ.EuFQ&k)  "GU> > .g,ָ,T8"n' [dDž1dU2婼}(]ђ^lʔIJ w},?B/Mdy}3*b?h|p٢ھKމM?Q\50|//Jbsrt`BNM]-7]wfY}`IU]YBކzLuJ&H&FK=mG4 )zh8)?Ňض$ChCͰlcCZ9#XJs:*i#on~/sAr>vܳһ##{^AU \%}",~`CDdaMBEhW&۹xF7>/^ϼYH2DQ:Ode5+!wGci㦉g**3>/̹XeNIw P(YOPu*5 .Va%,3Ea,wJt?_oǤS2ra#@ A(6@;WGWrOoo5EhhDpn N1n]Jf8/H?shE-X+wy&-S)]blZ[H[ +B=Gh4 2ME'UBHV^̫!iv?߿=]@ckg* ű$=zi R"p' dmŔklcB!#5ێzpO吮b(4OGQF`M2R™$Tu :(NUUL|9s#baB+Xr)uS9Ŀ_)|4-Eq|Z6AL~ d]E;Xe6DKw| vqXyHHlx#gleyq|gyӁ"[Ư“>\ԕhcRZE,î_5#z@k}Mw5Tɑثx#~eAG4+ Tz! ϡE3Rn vk?l:A`oyf?A{p7"o׼-E$*UH3[~%QsKzH(R~NЕшtMt;W7OΏLDo,y}/"s L͠}j_$:ڧ*#}ͨƦ0o439OBxb쵶mi.j"s<_&AQPQpF?a8]tWX&O Vg0{t W<@xE!oӷ%Q餸(Q 'BŚ>HGhL\}S3@b|(FXz(v?h t7jw8 /u$?པ`dK=P*653R?ƈcK>)Z PDtix(a'&+!U/ nLgdRE%C46+ I''USe?;|ѨhSH022E<0#lJ,ψ(wQ*>> D틉+f=Kx^ijb[4 b` I!u1tk5s"-(6mR^K"^,N38{~.g([O&|9)P% G-"Qmptf0!;{!2t "6ݫ㏺X٢iPtb:|8Tp2X>yˬ9ɻ̙!!*"ޣ&ib!.pq^y>+E8jbq:ӥA#pc݉Ϗ`fR֔n%«6'Y|_* `Tfc8SA2(piw?{=A,jDAߜJ@-Xq5v1cQyמ3 ޻B=!7U(ĻXY.R/R <ξz s7/w߻Ob@=3fz$u݆F Eݞ;p^Jfy~\" R&Ѫk 4b vgЕFp8uOݦbU8*SI?8"F\ :"Uy. ꢌ6zi88&|c!&\:Q];m'h!z\TY#zµbj:;[)Dg ˲򩗁/!7 8# S򍧖Qڜ;&[TnPAmV', bqư7Ǻ`P; q[\7ū4ϣ;j6 QQbe_BP[])(`Iɡ"͇Cj;a-EhRE+41"ݿ Js)r!XEB:C=^*Jl>y6~f;'_>%KL'J-/fI%W%h cA_~oU簣](rLO_+g %d¨j]s+|I;NǒV輅>G37-< Ks]9.ϤK1>xh &<8@i9N);2{G8QhFu`bnnҽnr7Z/3b##`{-uo񠗦Y.Ȣ[vӈKKfL+H=*2vdļ/P]X9ك-+ Hw:qK։'2 |Hru㖐b*;ܿ"o`x'8J( jKԥC+JsIQ{(%GQ G{xy'Y|@\:MF5(4;}X;$IDzUW8[ 7T{P q" p>N g^LpQHPZe-DL#A]1U7? wޤQ[T2K!rhN&#W+'=NksR* ۜl\VtJi5;X&ViBRbA( v(K#(?.ie$T̴y3DFr!/sVU2:̙E 9V>' 8[t M!| %k {rщ%RB . 0yjbQt.]er :>nDJ.0甌JQMQө; B 9Sv%i݊^e-4X9'fZn#th|/wCK~\OYXxz!:ɇf (sl$ b#Dhx;NAZq=@vU f̅B^dRz{'/»'Nj9_ $bԼ6cƭ3NM凄ʯ@S7sg.Tj2:>fxB5vP NvuKeqG.(A=Fv>? P&5+d@T<~忘 +-:]w"DnH'\XnyH0A=|{+]׋J8.pئqtv9:{^/Ͳ˧gZ"'v~ËBZܢ>2!~!h۰ Eear;IvBYus?ޙ]AJ_\*7j)%ũ39(jT c3Ad.ԜMlH踇kA=8\a_{_KV C;i~z܅"+MǃTP$rʼԠ_TVPd%Ciմ %N0GԻ<3}/%j->R17<ܠ*' '_s̘ ڭV[g5aS1OkIڋJIpf;5 #  ]`Ր0&P0W,yj}ֹ @q.RpO[-tB?2̟P^rF(3-+2//MI&&?SuNWR6(E3NRA0J->muſOn}l(R  .][Inըw(jRI\w$ E7/0,kͫr~ڮwy*WgmƮ+R]m7lӨi!kOcuz`OwmPZ:UF[!U_U8ZOwkϖ vHݍ忱ÈX 통V \C†Yk['l^F3ɁcX HG<5')˚ mDZi8}uG<[NJP,ve2T'|- /KZG)P'ysEZ^4 ^}\ &t@W(^/4JCT::(QrLy 4l)zEEV|!Y= /{W  K$Ji VMvzO_l|pp[GO)"q9@ĔQ,{p}fErqv+ M@54_5@cf:#'222F'j5FO.*9H`YWߺ;` Zbd6IbﵖTGb,>L S\:oV^]wD}isFQǥK'/}_tO1c|jmCs07&BaZc*|1畤ܴZGWvHIA((̖M;65h)'y.E )`Z F ak#۱ʩ.]z:j3Yi{in i~Yݶ7l 俘^7__-J-!Q^P;ٝDsC-6!?m]d[4W%&}x/ø>a5G:,{Sߌߊ֋\rDrۜ]6I&}۫[z Y=ˡFhsVXt*QO|+WP-$w,lNM+.r[=,Y2gUMSCx [BX~Xl1]:3QI}:.Ta#[#6)i8UpkYBle8;%7"P9i5f $6}Aj"bUHEC؀s/nWe+XyHqJ8i4 k^3sN後*fh1Y#2*Wb'IbD <<-"k6FӌY`R9O)q@`s⃐:qKH\tM>*\cJu(8:JehPp40ey=<[jS'BNケPu(-~|{ eNPy9 l\iòx729q4(u]ݱ4yB!FP E鲣ˋ&؛J-~D+Hy O?nL9C3ZPb#ڰ wޖ_l`= :͕X 8b0ދKdB aw;x_&J鳘1FA.` +sd>jdFZkU[ֲGa\`讒8JCMExSy74Mc{ AO$ w̳f<;q+/MhnF7Z]\&@T{BpuPnܼJfԼ' .=ySV_睸}{04-v`'oؤ"~̎/ڈÞWtr3bTQ(@yxSQTh^6M PtGo%^|'||&xEw|SΣ8;sU]2.3hSU )'J C:_G`0:xϣyY[؀U lL.…x$FwiY/"c5͢?H36;n4R9(b`n, _drW߈P|\NT0^tQ_Ճc/8U!I;b,AGb2P%%g8d q3Rd)^,Cf O< 3o!M'QJͯWӘ&Dh܌> 住N%c>-qӍw&;w/eND *ԹB}T㠍:`BQ ~P1E99JZhT+XmztY{N "ʨ3q#q||Dl ^tdyaAx#KY_ 6h]-D-| 5$ݐ7.V0_U[ ؅ NҀl(A|_Z=~ F8CZ\V5Ԓ$l-9 J|95{G {ٙ;=jA*#d*iUd1MO)` %Z4F;GO_ /y| hoQ$GVγv|߻]#(ܠ_vhtND-R%[0ML>ZLC ȥ mp?I?{{~6MI.$ʜJ&Dm۽Sݦ4YS'™w:!Veɀe4dl5%WV7RTlF G['`8]%CV<{ =P;8|ȚxMG*#R߶J)5`r; t8z>"3F!hW#E``ENw )ބCL;B(*Q2y\ifxj7`1DFۧ篎ǫ}b5F i]Ӄ\ B1i0(Sl046-EJf$hrN xl2O7RR hnO;}o>vy Ys;Z-VI6A=-rsbJIS" }.5Hhy36h#J3ՐW Jef*Xem9Dfsh'dzfX^6unٍZAiIA "l\C4rևnў zbYB4\"*R)57DB$tG5 UmBIԧ7;PFoV뒶%\?Y@5. Szf(U_ sZ V0G9wͮ,ZSPzEɧTpQEk/'gF hK( ;R G^'drH!w3OmֻhާUJ,/5ΰfbH- K&˻˸ NK-*=Vdx{~)IM-j_!ݙ8%hL<'ePnL+krKIKF7? `1BeB.LBn.``,z懘yr]5VL]h)UaJT;r.]E^+/}!kWdzmP/1cpzM<®ܥ8{ (y$꽌H"q*1P>s4՗6 Pl>ֲE,ފ>^"b?p| ֤Aʲl̍ `xH|2JN㖾.ҿ&ܚ-@tq0~S6xjMƠ*sFú]j?,r|/AmR0!*HklZ}Aau;!4!#kSV~; zX 4iG(˪M{UW dcuH#,=jor{5\ $ +'b2s'E=-BW0|:nJg'?;_[rzA d.#˷v!/|a jxs@EdGW͗uH8 KU.g?gE MG,>e2}\boӝŚL4I<¿ ĚfIpGrH9l筬}{( !m, -* mҕ>\E5:9U^-/~~`5Y *)R QqWSc8XsQ TU@MuCDVsuV&o6KOr[-2'ߧም(\5״8Ci٫J/mw`ЕcTV:`7`XCs8]WB;ȴ0 9yޝhko>$ɇդ2]UE%opv0"eSc|sgZ;5sRc$7N> ZW-:W&sҤ09 G'C{ӵ.K9 > c[jx"o8PV~Ԋ9{?WIBѬc3Ж.a5J `+>OY] r_zXb  KZn.U[``{]ZʙNfV,He`]mk-=®]8+#*f5Yڦc#<:qZ\igԱ;ז xI~24-NUyۙMj銭~JU M|6h^ANKF]ޜXt]=DpɒT;2LPF|JsqPaD'w ̋Ae@O5Ü\}9XX}& xjBkSwu2pqNJH0)Vfb599IMk z봖@U¸u՜yfgpijӳ2~Òd<r>dƃa⇊d]v]Btַ]^~yhF M)J<~<87m閽ѩdnE V:<dW{yF%W oMѯ }?5>|Gq ^J.׏ XQiw?{yF"_8g)MTp!]z7pjb\ʓ}&8r)c< ζf1t狃zcxc!zE d]@ 3bO[s=a6H.}`spɒ\n4rL ½N GꃜV?pȠxemʯkYKjA˪ R];E3l&&5{tevjl>~Ͻ}j/k1…ʰ6hަ{1rI{ix q5TP=B sKMnHTO2d)Ø]@@\nx:2w^#=חjs,A&夯ڐ|ҏ^@܇fRaJ"0/sլZ)t^z6j6N ?L7KJGĕ%$Mic.YAGs ?w8O{Qi;nQqx$&mD4+ hJ )v/2邸Ã%y^790j!tݬKd6cހ͕ۖ,۩䀜0#)м23z"Y}=qvԊH79~Y\[P&V=…j C Lƙ $GF=T/tn0==P~ĈagPS~;pIw7L&֪?_4z5US-q&f !ES0ZܗFIX(V}%\Ǻdd_hٔ۫Q>PX ~5StZg3C5ٿքo ϕBBϱר}<0*׫w1ET j LG_u7fEB[X8xwCkbgg`U^v՗"F{ٙ(`v_Z OHF`F<8&Aҋ,jn8m#FejI'#C_fDh BvYY2hٍ)I[djs:~ɔ4Jbma }}c^T| LiR=ɖMe fr0q22_A΃ȀKWA.k#iNP&l0Xp2?oLO<؋ڃaf܃E(;kxԠ۽fQuљEoDщne5ۅH4RRn#e2fN#J.VrF\ Dt{[0S,MDxUs*kQB>ĦhA]=&.9䂩;_jt T,Wz+lKGKL3P\t6knh%3#:CIKPN6H쫄:`øE?ӞN'frNy!WjK[DjJ0^u>n,l#y֮fPݪB>,ʯ%c#vW*ç櫐o kUDi[-nwDH=}\s$\3~mڿA{rg(*/ Ɣ[j&~kЛ8(데JF~](fbzL~Lj!v_9 4<.CHYCG}3ۗȳ-M".K >EYз,$j˄`2 ˞8x|9D;? !/>OحlɦAWt)nuڵqT:S FK䧰Eր"Vu \ah~"]$_i*];B=mMG/B1s'ҋk(5ãTEv;ݮ W.ltJ?^-6a, &i#z6%+E1'o OYzdi4i't#e5F]hS5Apwӱ;-M'Xfм+eGW\6IjLwWN LC#w$qP¿׭߆~.5ABIv-öN1/ш4%iO0:':tA˙4)憠Ëy3@dJ.|UbZ4m\KGzo ئEKuF[#]r;&bvYQW 3Jj ;u=&t0h?[cڛ:] >%e='hv[Eb? ]w[]"96>AjdMiR؇9mA+4#S`=cVGu8X7IC:H+m)RnN83̱ K CaN 4gYZ O 1M% Higher_Order_TermsHigher_Order_Terms.Term_to_Ntermdocument.tex7zXZִF! !(]A-MՋhvG"uIBm5k PZNj(7[G}:O!pLDPT ՍST˾o%8ea=MtƉy96.ImK#>d\B* p_P}z~3Yd c-p(p"+V*i-y!6GYdKS/M5ʹуqiDHA^~.aT$iu"J8@KYʐLfeLe 0@€4mvxU21M938H'e4qߘz>ZNZ}{9ma-1› cm0 XjA AU0Fgj_h?imХؒ^ͻoۧ*pscRdt=Z^'Jypzҿ ݀I]ǾhDvz4OFS(U|% p4Gg~X>,KĖl'v8\S4uS+C @bgo8?1uŐiq=Qە =_G , X)ڸk{3L[ d8.gqֽ6dgTE*Y*qA2'*=>Y(q阥* B ӵ*ӟ\6?X6_yhfVX|>TEi[5j ZtՀ!};i"{+=5Q\f2ܐ>Q.Wj)ФtP9|]4˶Gh;~}Jg%~"Jn)aD@_`%%K XbʳR*Ѹc֨׵o"ໟ.2O8e{%iWÑL)'E٬ἓr!EC!9 9=Ϣn>})n&ATaN+;6w6PAq95b76ӈA:ؙ'-$"]|S $j_KO;.uԬ7bG#MvV$::su_ӫ^ 1bmD!&@2]-Lz",saG];gUj򆥧fpY}qL,$M>X~fr)OW_}+]}O]8! Q0i-l"M4w]eT|#8Z(.y;R2:] e𐆮7kq?]ٍyoembL:C۠LL*NFao{{dBiD$_MdVTrT~Y4y<<"nEkI50dH?hޘ=|T-3zKq{&r4D|d6ۖJjc!~1Gu}IMa~zfp̩'zƁDEOQ=b\uu*+pV Dd]^ِJ8t'O3aWqh{-8ӡA͠^9p49p91)p1,T!35Hf+\"BXf~XITi}[M @D HBV;AwLjimy6VŽ̠$޷"NJxNw5 :!'zR܅\f+T1/VϮ%)J(AXc9t1A,CVgH+i0Flu3f^̼+B'8:f.m1Y%6WA@igmslBGe9<>OlZ{5HFNO9x\>Nĝ%j 7zKVGTB4:)P:89DF ks<(BчU+K,sVp@ wHox*ٮE.T0s +#? ;(=;!faVflrs-4{qPI؝Rʍ5{D`8Pjُwś+ 9’0Q4aVR5AwlvvÌa+ ìW{z|oz*t)Yt݌eCFͿ#FK qsfu0IM#TF~x4nD_ޕrfNawF`Aq ZyHRqaroE~ٮtp <7|aüF*S0lg-İu} ^)zAЮX:Y(b09P -//E2kzZa2`?&s qUKgĕC5r]9<ΠG+kb@;2MPs:+\$ E W MH9 E6 u*76L]ro(ƨ0} ^Ԟ~Ql5c.Ny[X,Fm:%mտQՒnpW'%^U׸L􉗟\MYƅ#Oi4 `O Ȋ*6͵$$K̺mt@wIU҉ Dd܁y5}աJ`IeX25Zr )Цf,R t+p6?ƪ9q f-x1$t{N8±l[J'rG:5>\~D%#kT"z6_jxk|#ILc;vfήkmNѷ؛4Fa[dvi^2ZA '[@8=2+enSٲ(Fe0ed{y"fP|$Ҙ(![V试q2"~0 hۆv["穦-rF;d9kC]{pfl8ZH7PmI)Aƌ E6ܠWtѳb#)B7۠&NN yV0`B,ͧ"%ba:V$DDj~7m/}HTO{@'ǁ@j|֣> ` WhK>gs7\g] Dq96Tkrih~ 2u̚E%q9Vş)*s9dd.OP~ phKԒpN_ݙ/vJC,\b90_ X e$@`;У@>b}1_VJ딊-Ԩ$*d2J9Ӥ-[duP=+:קɎ6\^ UulӉBP'Sf%PU{ڑ~*'C8r.ڜckN[[5f]] RAwصmIyqf,rrL^רWǪIRc% Fw MA@5xEKݴu/ íԊYҐA,Nu2Gekto,},iF+m'[S=]F IwHyv> ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:QQz@ mQc$iHJj} EsbsDStK>p޻lM >&!7ԗv@ ==CXxK0E_O9œ |/Q^t;oe,v3~uU9E\jk ?]QBbg ABjЉ?w5q )"u GPrcBᆪO©1ZC*1#)Uprr%tG~wmbɤ}̙qmQ10]id5F.RkF}e=3v z++'pK΁Áyqi =äU5FfΨ#94_o*J0LB75`1Y1;HR+CzO⎴%xf 0[pDi HqLֿ8A_]Jb;6_r ʶCIʍހ9El_pu,rΊ+_Uf+ħ0];[fB/o!?kݡE0h &ƶɖQAyzM£!:V{xt#tg*.ZfaO^oaf5!'Ԙ4j'dywCcRJs7K}a[!ͤ(MṴ³Z#ocbW}&Feh)o2$I_;{ *pvcܳ1ZX:Ed~}f4yTCm\I];Yó!clb(ʟג1]֏y/&xCO'fH^9dk"ښA'_KC^'83@{т"2FF7T!1^mPbs5Z `vZ/l7Cg#1ќpc8u)x^c;T1)^ay]ɷ xpMhNkwc`(1Kᅤ8oGNB-i~`aj#7lЋ9ܓ']=yP8n}͖r.kB߀\Hٽ9&(;Ѡw\ "Y'oj|Ř"+x1h|*{s^NMVrNskbI~?WE~h25(Jģ6G >}ZͩLl3!kYU mdC1CD?[]YpQ%dڄʘ5.N륝[c+*V9rʵ1'5y'rG5z6cQeXW.%鏌AWAV*е g'@֛RZyph,sFSVs=}QYbo+8#*ԁ/dl节aKL dy3S<ٞ9_8lWh4% r~2]&&fw': 3H;-ci5%$?T=-=3{=GH4Ze'`X2mR묚>$ѳ S۞Zhd\^U@BchLuhvBA):o1MLW^zuFwrH˵W1?|$)LAWh#i4,MlN\W[pHى(gER=vOM]]Vb[!}H %KX/)20oaÃTª^_9\V'sK$Yͣ"m=zO-l  ;D-!U3so&:PF|\~JvMR-DQFw۹#*:w+a7)펩ƀ9{8rI?;~&aU{#/v-m0etzLEԌ/0s:$iǸͩ8GuЁzR";Vt]OΌ ߓ3,9xX>BL;- s!2 l:Rlfe wĒ|3Av~`HsBa{\lN9IZ[,2zhr/h0rb4ܭ C︥Q=B׺M# z 3p@Q CWw-v@-ލ pSѡ,s72dh W8cj6tA,(_'6>==eOJXZ3D&;@ob{K}*F"ѧ%@O 7 !vX)7ߵttG/Cqgau~lɃ h|^F[<+Ht uZ)t0UbNl+2Z7Ksݳt _y6nr{nlhZג[,7J--wRmZ o ؞"ԏo\cߒI @rs#/9::sheH /Y$/}u—Ďz0}h7A^,-ʁ }{%@0L\U?UYXk,7a\τAh?vmt1';yk hJ5Ε#x/v!Q{? Xا$*o3l5O6I5i ?"!–iOd*Pe`ōVOmAtQ3͐uDv.>p &AJDhTڌWkXe/tBVi bǐB[Y+{!P !(TGWTM87i[,#aPJNLU kuWG/*Q˙zM\O Q=$"r`"(RD%ZeyDn'WZ*󟦷!@ m*{F1gil7葸]W.@\N^jqL QZόɔ'ΗGKU_, )W0Z,G'Gȃ=uvpG(.' ,(*%nCG;!q1ډu|cP-c='ܢZR[O>zS4A”g;rSÜ[ *m+{rC%!CqvE.9krg7Nٶj `t%53x^-t,P~y]$墬Xgt$u>%7wsDI& RBH#iXJN\G+Wg +\.]sc޻t2w$} -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8s 1RW!gX̟A[H@\)g" 1EUЀ@ &V; 'R)H1N(zyS"U嬄`]շ$:6 .j! +՟z-q)0{T NoQ'А~;|"t- <=3|*d!󽬗h-UK! = o/nW kz .<˛53 r>(WSI@N?Q09@e+(G`$wi\O= HXG.JRNNܥ OvD`ÿ̵{^\UFL9mɔsձ< ) Sqgo8=2#FzB5X`Ce[Ưk7 A2`(v#֗c_xŁP0B1cuk,s&zJI@s_+*>ҫ 5C2Ղ{滮ƐC3}kPKx#F-y's{A k;BܟHNS2^1˄+3!F34. ,GHy$t.cheʭ/SkIcomo4l;__ TS!rZ\2d8(գErݙǃΈ[K@Kwef]]Rڶq.T/qsA/X' bk0g#5h Dl{˴TDUXsK"?ED <:{u~!؂cx (—pZh^Z:i1m)|e6pz|`W[n3=}}y g|-9Ea7U$ZUd̾ ,ZRQ4l*^Z`*ynν5mJ ޳@S;Vaij(lp9JWcsdLpٽKMB SU + UxXRkF$d"xŽQ,0?m_|B_}Cd&(b\!/Z=S}b*G&مmBu 3гhD(޼L32Ph HK/jf`wf~n2(ѵ੡>#7t )w!0Nhbb"ZSVKx׆x<q|!Qx ;,R b;8Z@ 7޵jWELnd%S!{l:B v2,:f ]Pϡ̬i.uȉiE.D57Zz9 bK̮ز9 yxb(ÞCSC<~T-G5>BfRTq8۬$QY AQx!1.ZvOS#d){ Ș慞)Rq*7kǰXI~~>hݓ<¦?"it# HڋMF>5 <]K +*:%bǗFV ɂ$C38N"n!2yw[SP($X,lM jYNdsTR;%N%5wj^y$Nd@8x8 K FSX6Bh"k;`1$$wBy3db:[ŏrz H ZD#~P83懰8&%L*t 6 Q6~:4?4,ȹYy/.EWY+.1'C2"  34>GZZHW"Hr>^zE3oubX?GM?^n,qG~>F@EXp-W:g ;C-= xԕA!jv~t$g'\~o3^X1-Q.ͧMلtH  \;zk=k[CJgw|j.)}T::k#F88-'N\?rZ^R&$GXF\hYTa,ns+f̨ DDcT `JG;2WF\n͢47({Lq * ~0FU3&yJ@ ^PQ/v OQ_.-X2\S.QmM@Ԝ fZf_<#]I U {Z*Y|碙Իiv@yYKFu޻ǜ=q5PFA xeȿ=Rً0})wFnb3g`'bq!R1sڿW?E_hT,P^nIx3Q@s{ٚ{L\F&V<)칃k/<@ 2ΨmA=m lvaΩ&euz5SGI lJavN_MA6Է^k#*`_ytסϻc!;-z- hsIʄ_3fq_Tqyeoj( u*'g􆉖|Q w:x|}gcv{.s ,? !efǺ!=9fZi۱ 2ryGƃY| -Z&pr>rmnϫZ] 98,%p*QC ?V "$(vc>\-6*ZZ`kQ͟vbHHN1G&JDh fKL=yf[ƉD!/SqQ,ݹ䑕uN sW@$sץS&T”$-m.G <HJ Gy8[yek>$LcQnY]:)A0_$ń=cYnXI`{flwW.ضN/m4 `´0@+/;jCRV5|ѸlGsu+EKtvKX[|bpOpn2d'wd/t`Zp Zdozuɐi-Դ{-Fj1Ş/\x &NOqbt}E^E9D` Q|n 2SR>"7sr&Y#,89nL9ObDV_$(}hw) Z6A!+^,d@=yuj=S#sOvgLmsu`L;7I !ͻPvwvAt@RH@Cd|3/8c'hDM},kOF^D=iƩ6 S1|U5NI 6RR"lg^^Mҵ JC}=yW-P[x,w-Hmn !QKɺߢ:5fyԳo}!7gz+iW8E_itpkp2L,*׀E֊Ư'hcPTgy ?soԲX,nA@:b^Z,{TYw0j#1U%5!㬙١c- h 4FS#֛ݞG.RgT̔)N q"J-~R ^Z0  &3~+ $`ڈA$>bd~>5{Z:FVxLq_AjHzoF8c-JW|})`I eZ݋!hVH[hdC јԵxS)(~´~u/kR^l\S O=~G-` u'LJ_MQ?^D<8u9TE!~@v N )M>?P@7kbH9!.tȴ[2Cɤ6`E{ 7GGqJ:7k>$4)sMg 뜚9_g;QG8@I^Ww$^=);³[JB0pS52CNf \? k'MjNc!lNN4nN^LNV.lI]ߣM*=<<v'U#B'._3ɑhOٚY|x;5rX%-y/^]z!v 2de# K[!8D㴁39hZ4M-vIHZ2 `$;'߹db H58mC1ɇ7ڋ eiVn s ?;hF]"EP5U+*\4B{ϴ`XXb?ő~ ۠ti0$trIdB8 PcGX7bl8 & /ז`垵'*z/Ǖ߈j)"Gc1>xk+E b*}AǂFX\].밒u NLmm¹2Szq\k _]l*_"*/&GH8γgtYQB,|rK">tcمf%5^8{#=!]w$Rcpǰ1\ңU~no'dI)N,[ˣ}nj)5n@ yv?ؚc؎I׉kLh!][lK:rar s-̤&8>>!2i`TUVpQk(yӯT]R~Ito(ҵ b#Soǡq(5@-.n ? 1ִ^5pCzP*ꬋ!![rBϱskNKh)q[Ѣc61:L¯ݔ)FG:x N}/=A] _b߹̿y#>\Wa*ɞrdH[߾ƶi!\s)?uvfK6#ICkrM̞ECYe[/r''5ɘ'\dM:UB^ЫLz!!Gvid! o3* H8ZE3R)EHbq TKC&Hy &["L].+hH(lID4P+1u+\@dr&~iZG$ȟylA#@{Fӛ, 7x'Kbpwëhq8k  m>dDB"Sj ß!l-FՃ _.LV1?v8qzճu5T!`ﳣRv}օțMʹcmA<,Cm@"<&VyKXug >rg〿i'=PmGA j%L3_\7fTUUM:κZr ǽDəd/)qr"{R)-?ת)^|Ʉ~D">l>mT9pŲvӔoB+zr$ .|Wъ?I^PZ'VEgzeB//d|@WOKUe9ƌuMuo٣oQ]mWqv)PJAtput☨`fC"VtjVG?1r<σ76OM'JMb,H,_qit}Z nV~9hG0՟̏dZSmӿ]7 'ؠA˱(? /!&D .)ﱀ=Ȓ2Bh_ 1$O$|ʚ dE!BS&wTq5Dޅy1x%6=ʫ$*P6 Y5 NvytMnRPTA <y!QSs#`F~֯B=ACaKcz"Z{GC\yR#Jk¬;F !5؄Z3bȾفsvԮQ8}uKб[ْw)sZ$،=ΪҊ+٨*Xe zi0OaMJ"\06{51lXUoh$W[ /!p-: ҫ<ۏ|,xd@ -$G.QbeEтpqQ O1$rDM(OUAr$[CX$jb DlZ%Oп,BղR0U ġwA$0&,1D"P7tn뛸?BʕWC EȫTw޾?qm<'fs0KbGbk-wcarĮQJ 3 nL5Wh~q.΢Q4df[>C4f2!}(h,$n߀lڸnv藬QT'k3[1/s&' 'H6clMoqPl^ \*87,%1Hm=d'rO,J"ipRԝʙ>`zsUj9]c{4g#6Zu,Zla>u4WB^20<[#K$MM2Ho!AJ'?%^9I^ *F# yиZ~1~,zھd tMƞ?/D6`a>I,>G]D; ZDv0%./ᵸ#&[bZpjpf ˙6kqYB8nyjJ AC7)䴲6̗ݙJ[q}3aQH}g!Kv~`9Hr2X4-^LyZY{ ^`jcR_ձߌ\2h!4_jxtd%c,/é_3F{D I*CZMQLfwFG^DVqv 0iyGXwԄ;9$:ɏ}&LU3mS.9O_s rWAs F⍩Zt bEܔi i# Yl2k9 RF˭skFZkK"_ՠÆܔP>Ή VibIse?Sk}3NGP_eduo$sgZ DPz! es҃&d9ֈ)cnGoh|:v7[? #F 5ny7|E*lHeqV[L[f縹,JO:5FmZ?'~L/ Ł@$=!T6V}9ݨ1flʢ\6[H# ,^Db!Q26vV0T**K&8qzVJ~c2Ju6PMB`w}Jh Rٖ2iiMt'n4ωJ=pM%py}ӔɐxgK_gLy8Z+C# m7 E%ibؾ؛&2$珨+E[5-gf?`/Po#Xॺ"{3pzF[_r$&tk63Yym-m4C5axٛ洘E'ͪv+2T} m2S:ʛԭ 2GC<=Ѱ(eK{oo+*tԣ h4P-yAUkeO8کLX75DC/%@C?n.y"!\UYaeGBa(ZGC.}~':@gzHF ?$Y*;`ts1 i2xn 뺥uךE'Kop7'"d{132h|:%r>jnNEL 6H2ֺuHJTҮֶj\fO ЖXkaljn9kT)]~RGxbTxѿtr}F8ȱClƀn ;W5yZ:īR4R@RTvnj_ `u/XWRiQN y#O-zŤ[!4C $V# *$H=@#ޅ}G5܂4]]EW6YZ3AE桡8RIZA,Q9v/ѺPj/RqdS0i840KW˺PelP%>p `? 1.{bfa^GևnG-nƖ( $$v3ݤ_-H槄g ON:]]Z[pzk<ہws+CgvB4"8|̷!_ !CX鋶DK.wÅu> ۛ$޸b']-&|h [g[̢*iLSu c{Îd~ʓ0UDũrloI-p]80\tRт_}Y$yYRvǒ ABhyBCq,C?'- s}<[|ý-9^ĮVډqӲ;~˟1fcд1Z8ҭ) _[ !uI#3RpSH[T𛊈 x͕lơT,?͖܍k0ZV9FV:7d0_'RǣoG.sfEؔЬ SF֮4lwGw!>N_!Kbzߵ9|ER ~ jbHbN7cƓ?J [z}I ZFSKqSBvaYn(g`8Rw9UxjkȽԫlaVG˩'=GeJLyVڥtE-9i͚N63&+7RBKw8 wNe9&jDawޠ7-uF|JE '=๛]$ڝLQ7[ݾ[bnhd3oΐWNFm1Yr[/AL=] ,fo#A7 Aau썝frd-YNf=H0(xTښ/PJ,w]v/{S|-wKH=);\Ei'FjgY}! Hנ8 &r6EG Ud3%DZ9 ,_reNSZ_E6^G.4^\u=X ]Ohf Б< 2w3ުy|MFV#(agKj92#IWl6Lսgܬ{orrOrgYZ | 1O% tHigher_Order_TermsLambda_Free_RPOs.Lambda_Free_Termdocument.tex7zXZִF! 't]A-MՋhvG"uIBm5*o$ſm^>~_F4þ$&;'-Aܘ\V Ŋ7 rpa/t7며YY-RӪB\D#˩1I%NJ?[ڗu)AA&^0 %RTGS\&:@cXgĕ=?սn\9'T$ܱx~g4h7:56Nv]H7pqhN8 6B伂<~󽼓˘T8ߪ8KSQ@_ oQZؑNsyoJgW$wB^w-h'cFE YQ2Yǔ^?4sa2 sPp#z+WA^p33t`]~Z@Շ6'gLZ%Vj2† ˮ1.'&UA+Gs OɡW 2 V4-:>&tBA=_95<3^Y=f` _p.3E [mmSHo #!*) Kξ2IJx^Ky_21}^S"7$eAL<^FywubH'4k{(~4H㉽}ڧ&Ł~g$˝C m39u2d$':r!E6H#nY(iȞ66̄S(Omt&&f:oKCωb^k'c/9.7|gUo} *Q!1q;,=⌝2x cjRLb/j ֩gsk'b/ N?f\P ߵ= 윱]u4"2B[>OA.5 ܭYՠ!J\6s2ߗw%.bGkD;풯c M6Eͭ9W {߫ZY[8C-6KRv[zކγ!IOwǪ!fp:.Fiz+z|c@<6K?n,)ZE5?)IVow5R=քvO5_bp"=ݼtlLE:,6ux ``` -w[ k.9=h/g;dR/峌GeX]!M4CuE(#5RϽ;d{n1el=>_RD_DW }Ҏ|CA~Jm?$m$>x)t'`cF3 [Gp/bd~>E 2rGU!6b08 \ <IXVu?Amڢ`4B/XN#yQN nBĆeb `fTGM\gUsJ2JAhkm l6) Q,۳!OQjI&%sbU6Z f_75pk$-Os51jYY~8.ݠE( z*dfɊFhg P%90T|&H).Q5lgVUD~UK]6q?[ vޓ5,Lē`6:@Țto3 6Lv Iq(c 83Ģ%w7%sb_Ӗ9"y2r`Ajp U!< 6 ; 3*ep5bE_ᅂds 8Đ3m #z) \"s=K&1 @|r%nS_J}k-Q!h[Rm} iƇaߡxSsepVS$s^LfhClh$OP̮רGũ] jk_W Ҥrֵ͒5p^nk5H5DϿA>B9E'r!X#+L֕ +3A'i3bb2e=)pFڳ"i`Q?B㬓#9t䒒rH^9LRK>`'ZǠyH.˜lXG=οMXX \ -݅4Lsg ;F甕8M+h*ċb0]a^6X2,_4VT{J2G]LYkBɡ^;1MAv݃`ՊvLۧuUЭnʃwV *n\{"ʴ%(QxW9>MFEeJc'wD(3z~W58ӹɋ**~G\"KN)b4 .LGt]*1l{ꄕ|*2CB`5wڃ <o^!XVtsv%lAC?q1:M͐*@(YN5t<2"_e>9/dC[(r.驊N .OSt{D;{<-D}ggo A=۝׆U tfWcPz$$y=EՄt2Qn|$l ]\@w2k< CvaD݀۔='w]zģ?:5elJ;#xLk0"ͦmy2x>7"s/>(3j6.-* 1CР J>f Dy$.<GLLJZ3$'Ċ ,qʙe&R64Ѭ=1K΂|ϸk@`/]6Kی  ^: ûjk|Yk<'޹N'd7oCb%xgn7 Zh&2j"c=mMv=+gdyb\p)`yʅ9 Q)cG2ɉz5HM@{ CmϡcI U{9z\^A۳C?Do-X&oZ܊d樨! F{g')eI ]AoJKc6>c22fߋTPCWڠE!PJGGɂ;snZ@BT%O{fYuj_Y>o[-wJri[0 %M:4qSR+9T6nؑO`ub$""mE%ˬgԘ uUzJاe\5;rP21gNJ!xnBeUhɛ`DQ4~z'"XsR>J&tײ+0M6R^N[3R&GmZZ[tors1$C y;ҪN˚ky WVp[R=r8|[SaLGd{(^ed˫:QxŶ3 hz\0yŤ g?tA⒩}͎khWKeƻqSAL<ǺG >` u? : f~o(ЃyXMc UYrq&P*ʓ<tymd<:Ɓm^Ju!5\U IЦf:4r" ?-UW6l.5"AGG[GlFᆇS:]8֢g{zdY^SBn;/AhutmD \i 4ΚL~aIWl ɓh\l\m&%NZ\9HmGiÌTg^)]u]5~+6\25H}q6a֟Qnhs "m2%*OYeΦqNخS(֒xn7Q5>t2RqokigY'f'([h=l!41\\Q#qȱ;5DH[m{^>q he_s)vC𚱝r!(HGxΜ{ ̖xPGZ5.5W v}5o 䇡(w67Q G-#A&=~en5qCTY@fe큺*Y?:'+Fu;z(.T١lzao'̉u&􈂠хϼ^z'l 6 ?8_^0K3ճcmhNj HT'qf\M, :]V'@P$aξp~ih?y5[k6)ы4%lSMzwEH爱ɼ{a&p_ aWGn/|. o_#K-b͔^}Ӓ~ࣲ~yp koAn; *.`ו=T^PDW򍰑;0+)Ƃ&xײ?CD;7i0r^Ef.){ԚO]3@HT:O "Э؟9<A! 7| 5j/XWDe }GryU,feR@dͷ {:^ q́śSybA0Ӵ 5S,4ʂZ\wwiw=Qɂ#u'=>.>4xJ:G6a;18 #BO]J? K猴8ֲmH5K]֊.3GIơ\#v72 ?ӗG旋hc㳾\d-WEv4͟YLpIP&r1P#IѠN8qR?bc I)&db TI$;l+g^oP٥12/myx2DpܝKj+Ht?Kz!mgxڒ̟:概v8GtC Y_n,p%տ0Α3È2cХMOwMakz(4$A,ajlAyA6uXx%CXbÜM] vq A]UKVb, (F6H݊=zy=Drߌ9ӞO}DŽ혚28)8dhugoh[&Sg^lG\zBaxn*XϤ "& KO{@_$$($ƕuݻU['8O}w({ՒBJ޴ǀ]{Ü_<襴*au0_ }ITFz@JxmW3cm$>()%JEE0RBnډo9Jni^vӐ@a{~'(k﯈ѡ>pwXF*D 'cn1g/tF!ձ$S=;mO}HlْU4z͎Ԕt>y\)f} ćS?]??K3ϿNđ ^5p )7HL:QF#;Tf7AefM}wLCqt')P3|_<Wθ (DTГHNMt*ZmJ9y_Y'\[Ӝs=M\( 9nss0!2a$rcC}=^ -/ 9ٮ> E`hK‹^G`1</߫}(%"Dd?r3${(ӮP@ؠBjLn@<[hɡ,M3<&!ֆ+Z5Dr[t42˵v!qM N4 /YfFYίƥg- ɠ>ܞs\ɘzNK '"K쩰Ьj ۚ ,0xPX24V jzٶ 떓.3Mo(?=4 @<΃0K@QaBģEӼ؎o?[IJ'+ ea F iI,oa=ߩ[ K3et! 5.XNPT(Olѭ T^{qw}rL@d*,v 5୭cvٹ*0#eĴ(WPyKݟj@)DHomh wV쿞ʇFJ5vZa{4`pMGCiF?uX/DR4jt-D{ 'g3蛫s4;<sپng?qny)hi+L74Zt,Ь@M5ksl>u-ktUGd6k\&b~tosьh4<c։2M_݈xY a-@m6p0e}bv͌L/AWgڴ')}s|Cs; `Tu&TA-"J9вceJcЅLjdIUD̴8OբScyԯЂ_[ dR[Ͱ/=@ZYHGJ$玮zm'Y_\lLs\hіXVyZ"S+͆uet-1K[2ZEģV7`b؝[7I 3Mڒ9D3KؚT}?)"66Q!-tu;^=[T]3!͸H/\m/YHzhEl.8arb9R ]~|J7+`|D`GNYۃ~٢X s/Og `Y&[/JwbWlƒ%M%z ͖h9GZ_l^}PU-5,P_Л홸$gQњB_;ނdI2{WQN\n>AIwð E< =3Mp[ZSra2w3kGmsi)p+}c!-?]9ʄ?$0杺$/TׯJͿ>i=9=P$y ;炤>&ZN<4\Gfb2'o,3`K+/3A87j8)X) gl)fIV *7 0 B5vo,= v-N6H >H,Y}Yp﷟w:CDV=p>7Y\t6"yp,IZ\'Z_()fCYipxVg儕V9mLNi˫,{t!4_FTƔ{=K`R{Q5<_ɮ^=;Js3![W~˚5#-?綖R9ޟJ"z9NdH͓zN`q.Y5KNJg=|,}bzqxEǼj!a>֒ XZ9ޓaW{ p|9K饠J֏6 ێ&K%-vr{gQ7eҍ 8z $"$ש GHg^g[{X5ӟZwث.=ȟY%5_'O83?$d#|z˶ 0 /uz=>C>kٴaX_ҥfs.z4zLYi (#b傇`ֶ}7AHݓSέIweR,=CaW$Xȟd:-~z" y߭b.]g,[¿k< L^eSιm!;:泔E.s6ގY襕Qd/'Lr.!a?L+;~QAn砓cv iـ+YUhC~KZ.eZG..-Fܣ8VZ柹F,ѸR!yE klY,!h2`a7,ci?bR433xr 7c'y )VJ_ g{Z3V@U&p$gYZ ( 1?% \Higher_Order_TermsHOL-Library.Countable_Setdocument.tex7zXZִF! ( ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq.?F|.LYc#0Ly[<ϊ+&ܻM?lť7KA NfG2g\+e-HH 1/*_edⰛ 7}TCst? ZSWl^Ss4G䳃+$ssB;oUb O"?Go'vG'ru='G+/A" gzɄL/p+<a!# |bYaPm|EK'%6JL8Y퐤@VGO<.k2!LK%z 11% Higher_Order_TermsHOL-ex.Unificationdocument.tex7zXZִF! x ]A-MՋhvG"uIBm59rmQ6˖FYZؚ"N9C[JeHj[ ^k so-QR]] ܆iP,t@~:}L4 pS\y7w @p}:3l>_m';JȄLpnܐ,IѴ=Ww\pb*5 w~_F4p q!ߐeFp*L|Ͽ٩~ K(jYxNhPN!6TQnT_e8?Bn]ߟMOys#ZY"ň2Js:T0>m 7z Ӷ %6);,ٱ,(b~mE^-/uE\⢀41+0i+O5Nd”%|s<`-*4(C HƸ4+ƺL򨦞 *mYoXLqxkAd˷G7#- 4ЕznncJ@na tIkN樽[>, htBŧWŰn'tA@:4d2ڽՀW,th:t&{x|Rw Zk PrWD/oQ\DۗkqO A&OXIi+{i툶6bxaOd_&ޜi=T‹q&{_%?$hjF76Gaβ@ff3Ǖ@@ϋ|DȗW{ozֈe`P Eoe0', 0s߽$%sԷpQ:OҬ*õ,nC#C^-Ph@H٪mv@mF"B]ńBU-k]0Efĝ28jng7ұ2[ ;Jr_&s6PAUݢBHi5֚O ȋ9` bG2ym .!W 4gX+H"GM+cY)XJEGG6`28Lt as~m 2Α[d[X0qW~9jlW21x87K^n*xy <I>R{؍A|a"Q#M-'f,eI`AcDբ%'Z1״o^ WQ2EgKy1x^\w^u6.l8=?`oT҆YS =1 E՘p$#Mr'~JOH)!{i%}V閵ҴnR/E6I]gAf_x7W!`3C|jYOx(L {npK3 ikkl9[FFKl7JED!%y0,lxG5os}c|F6v7k-T^TKk!23l*Cչlq AYh\$hla+.=b XVz+'8m$vXCFCp:#*M_mu{/T!`씺g2q\`ɚ=E/selp&+hÆyD=6{`?{1b0$fwYbTAA\. ꏃ'{"]6tmq|,Qg#]r'Y#ĝ?fY#5?l8 AksQZFcKӃ*0Ycd gX(41F|x l}"\;w ,m 3#rvXni?@^.#& \ʉR8@vn>" !`q {d3P{ 3g_32ĺ0 l/^ЄZ!Հ M{u8sqߴFg^C7_0N*$o<*!sHc5n$2"f]D\ *3L *bȞ-U0 ѮC9nv)ߊz6y_5Vy؆oْg3;j;69Rí" fG[qIC>3=/_fc +.$<@W7=dc7߾Nth4A9C;8gHs9<^c(]|qpMg&K؃DO i%uyL_ =Sow:u4-f5BzPl,d57|& 4W?j)9ˊyA[7eر!:u>&ѐ&[؝uc';8= ^! 0$z}Zwv=ʕC.pZV.Tsa$-=":F!Oد!) Vt76 TJ^&Ty \&hYA""lDf$z[bzFWe-%ui{>1@c_ b6 >%…Ƙ5c? J{&̈́BːIsP $Mj[cՉmAu_<{{ 4hG"ؓELv1bYbHRX!1l%xHΞ}3=G,Ñj\!n2 -+ͪߛv\L>GW[KxK-3շ%KZi%@vapr|jpgej(Fu~Y5iv~E*r;-yGc)ǕY¿ >9\WSrrƝiS>Fуl#$ F+CwG²ƶV,cVx'ǘ:`+~c,V͏*LB3Ҧw DI Q<jf)ٗRi3Ҍ,2RqOLtl;>h@o%-1 'qZ֝(õ.7$x"prV͉4epme;=F0PTɤca轳܊=@ ]([o8<C?AnD+2ž*ă@ wmLXߊ?e"6}d o27aHbj8JKk;*jkc7cd_cvbѲ22KN;78#gHmрmXhp)jp3bTv5)@tІ mꭃ"]j)D #<,\oٙP}t2"7M0o9#n# 5WBTt#l̢0Y⣩oGhJ-STz*W5=]=ߕSuJ'Y7Pj,唕VM)No&(Fp c.S=|]@^þG UQ [? --JCBiyՊR6w(_wpqc_Q4m^x&R1_dyCLe#/v\9 b#JJlzۧg&8Л<ޑ<;\N' `zpٿ ˄mT`>(B <-|Ã(}?u73ʋK)혿00(\ +cVYtzR0rL>Lmm+E{GRD]3B J+C;$gws*[QnEK04~SYtg ܰSp2T;AM攌'x_`CHv]1ʒ%P ; I~&aQ(7GNY61@ξ>5:E6QD''.vDP牶Lu cm=ѩDV[>$kٿŽl !גM: Xw^1.=D4 N 3VP 2/`aG(N Ϻ[o(kb..31?ha K-p2x#3wa5"[oA+XO?A7_Fpِ3xg17)A]Nv\יƗEu'Ev)NN8* uE 5afj0E.>Fxu]|k=d\hjFP劒h9gMp/._5iV>`QQ+꽷KwPp Y/(pӼIe - ]ymF[o%P$aor&2ĥ_4hG <5 ?;1Dk{ ƱQȄ9@wP Dic"@F})YDX0X5Csv#W K̒2Xp?rj FC}(4ѳrb*|t&AU}kKG x6%SY46 J,r\veZIjc+Uf ݶ!7' #-Ɏ`@:eC7{1MB`~X{ر{[1W)>KutvXaݍMͤOʃtBZis`YlY}2H:6I s$?ez˵8W1|?LB}BT[\M1Y,XbzW9+hHs%h\I~끼vf­upl.dC'ΧK#B~Wt*")]OLYESo B6r2bq*n/X)CSzOhF D0AWJqeE/gü9^%aF4nxXRHP&bE~ޘQ* U@<h?F$kum8WGު-4KuĦs/xejO%$ Ot1YSBl܎3\Clr@\Dd`+v6RiѷxEqp;A΍u.ߔoni\b=A@s^Ɓ^z4/yIǀIS /m2kRB)ZYt?{ $'tF ށx7pc4br`X[|jpf ͞izc'*2G1Oʇ˳7rVu^>&:| n'o Q])sWt8N_9=U{ig(a&(t]:́>o6›|b3F <5.1AtȀy5ĩh$Ge1)nI6͡C9mU˰zY^HT\;]`_YQ׿YpF`BgKkq؎>!hg^Kۤ_PyXt{`%xƝcyL3cf\qO7I =GgZ4$ugiH !k-AkHdէ_BvRrLge80o~ ePд't`mV&q |Rl{yƀpcWcd3x..i*lqP6Sŵl.utl#A_]aQNͤԀwШfVŽ ;Z"3Z)|OHR"3TNsp/]o'+/M؆O99z=x!H=+g~bfjy2+tHjAO2sxVJ+ !!%>d%p/{ ܑĶ//?=$0{\V'H3GYR=(&旭cKŴ`MBҊ|K}c'Q3_A3} a{%,K-W*$(|;x>^uiIK[7ПH)q>&gdx! ˅S?ۻb0 {H5WGd-ˁF|$H .H7'7wmFN s.Cy{=zIa>0rXvviXtVItFhB0T,-"ڡve>y0Mavu\+Uw*LۻKdx :7韣.#4ߺx3 TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰjؓap|;+.#F6#C6N vc+)HFF35v~< nxL`'a(Tѿ>.P?ПEo@oum#Z'_sٯ|ctVmϢ ;̟WNk 9#)if)^Z>do*bQ(z0~apxH𻦺JreS[E$0pϛ=tOQ: _%|a<8ԈP`ō1X8yg]dHCLu%|$Xͯ2|ad$5sߪ|J)^py]:!T;sH6I%Ҁ0K$/ DoY~b.>5yÎV|:2y ORsIkԕ0Rcbs!{oW&˹-qWhi)ƅU%1;93Yt] e/Ccu\{cWk5_@XWO>\e9VOS~[VKn"#믜 g[]c $IfWwbHRKJ|*!@@QB>s{ Dpƣ#+{A"b-lӢ³Fz T<߬\]Wm!y|!Ccrd*t@TP); h q%Wev$;tup 2t DqorG}f3y:i f-&‡h79B.e v[}Z#ݞ:oɵAH%ehD 6:?Y4= ,@]+P]ikarެL{ytFlaʷ>~ά=d'/j~xfFQiij6C?x0݇v]oz7[3CTxNɏpmͣfE--AAYkR^h{0cIp.Jw;78.{:_UJɨժ1>jЩVujԏQq,: s[tEK*)<)N~aO´XZTf6pWmO^R !$"#U/EJ {a\xm9u<@`n]mA~d Gꣽ |NRUD%xe(nijpefb#TfW\cH;u2ceUa,w3IHO΍#VֹޱLd3tyR.FA7x dX8|8eX)lBē v4=L3斟7r\XE.s"^j_59F>(t&Fbꯣ25_>jZAuؼ;kϨsER vbY51^2ZRXqz7)#m.ċ3P'K3VIr}_ 2ejΓfj|[(} XoT 8C:3ʨi.%YgTxU;:ƴXR}[B{ZXȣe2м3#2J]I'ʐyo[e@^56@{5Y7`eQ-X*F:Ml)#I#Ѝ:l|W'S6-aN:*QFI1b75R%oiԌ@j:2kB"}HSwA)| tꠜ֠Ά>H#)Ru_BW ցNri t>0> XZXͫ؊DgHP8AF\pm#tI0[+4r޲ڿ0c{مb6d,_ϊ4#h+wLߞz=Nˣ3iRʛ m=[ӝ-*@E99àOz eCU% $⣍^kȡzbلrZS|0S!WrГ Po }p3y-WƀG y+~OZ]7,Xk~>؋1Waxr2k_QdjoWFA>f=h'>0~kn 6ylZ.'@"ZvA퉨 TܶAY&˶T9GInxh 1Q.'(8JXT?ѭI))GUf`{{ʈUt) _/9p'7$NNHrFu2lWbGfm0e>TqrKa{X¡VhAXw2:ڿCʹp6Kmj2R6 B@5" ).X% 8-%j=@BR(*7L8glQ'~R;Gqs[xJ:WLFyHP "*`1z{]B*ն1ok +۷;\b=PUXqm8E]p7]׶;]/QdMgx4jO!]ِvf }ԤnmjEIKtVHQXϰ<;ڜYo|^R&k6€ BjqfRa)Ul%1Yĸ1*:@h&jnu:wOfk_³=]iqK /Z iPųsi7w 2!6{Pnۧ`4w-HəFߒΞҏ_ aWoF-*쎅?7?PA/ =vtjD4w^ Y5@8G iKv_Es%V-Dߞ >dy;lF}vֽk ԍ=0yմţMvc5{"L3d/W!)!V9W֝3m5 ͿOT bUHG/@4xؽJ=ZSↄqƎG0SpX`҄Dr$sDpW9&CC}nJS`n({h6:^ HgfN>mG^+GW +?Hbhޘ+T< lsA|C. lFs|~Ooau Pi%NE er#|`X+⫴oYtK&)!c* NIwE找>h'WS4:2}gh%RA#a&q`h@<&7"'0jp*]2 䕜@t"p n`eP@{t ]*}1UlgLB~VC0R̷;6sv\22zւBps.Vn<ȹ'! u@MvkSoX zaQyIFF{S(Xq裕 jЄ {P8C]6>&̘6ڶ()װ1 N!S%Y>Tg>`bOG90&A = #-IA9R"s}K`oc!w`6UZWːþ-wWcw+ E:" SOoU.~H|^s-P|xqr`aTPD⮚HHz#eG.^O+k,;;ؙ7se{3rgP9;?Q?[؂Ռ( .BfR (H 9nQ+E- SHL֜*5{0.GMr'6?fg{ N)5X^0ml\DY,2_<'I_Y+ ř3'`>1L㫢"COKfx^*Θ䲄)ڼ2̨GP*i? Ee1$ubg{F^,0sLvz*1cbk(qkE2,ϣc:%XGfv'І4HA˗%s74%<ʂAgYZmR^0MۙXK(*vgl)|ӀCmkW(BB>'2)J ;y֙Ld\z7hm1A507_ [k=q_Pl;rNYT^t7[b5YQn'CswAr0) g@?"ff\ܠFzҼ Tupnەec|:-àC*">[Er. tloqnưz:Kgb%29=DZDf iި7JO9}qmyL?Ȫol!Ni)F7Q!i2~` (C( /Z$*_lwLדAo d=NJ =Hz@.]O qۦX(;t lSrbmf>ݓM(.h5*vQt9QFˤ6_ctLI wD%*=$A' Se5|~䄛I0G _R&{},,n,p[>s$|͹lјؙ1+@,0{7d| il8@aж^/605Co,EypϫZ j|$BԧUU˞+ĝ*jOKPziɬWʣ%Wp32CIȒ՜yg=NRw]?Y+gP_7nlCb|Z;c|B=BGDKc/%+L{&FX](/ՓɁgĵ\s=k`ܼ]3>"e?k3˓kRSHe$r8{eaGrVT(/nQsia"2,L ֕~s% ʩ 6 n9yK;>Z˨l!}ʼzKq$giC*2w= E&c/-d{(Ӊj㨿(Id[t9)JY=:F3Y8͛J>|=*5Q'&RrWxr\qMHK(֗sr\o]&q<(C=mne=+JrXVRީ>j g 1$ʧ 0c#v㙾^K1z9VbSb]1 E%Le2xM oɹ 5!~߃ŃXeA۟'>VUyTl Yζ~cqO_簮s*HTC|-ֲǩ@]q FArKψ.#i,:pa@Z+"Iʓt\zH H-QϪ.0–~k|cFW!ȭTM 72I0\Yd].?a{I98SUe\ .WWPZ& ||4k$QKJiULښ0#ղ8Ή(B1"zO ^xJ'cm |p"Ӂ}?ߧ4 7|+=DbmݖܳSCGQF,K1'Lޔ+a~Df]`4TϢr0!@̭;+Jpq?ivSOX̺5*CH ?^p¸(n>VlW| r}0dž7ɲHV QPpV:IGpMr]BA{| nɔ!Kr\׻e}Nϴe=!´[ڦq(N^.vepAxKUއu0z5oj֫]T퀖)pG-V5\IF#5K~bڙ>nNRO"Wa@$Ó:g5 ;Ce%7iJMyvoY2qjKHx!aN9p tb7׷{^"cq#?%Ȅnub_#_&Z ?Yo2-=?CU^/`V,D!lpfQ.y.fsu zK03^Smz:Tw%>I'ʔ_bl^,@ S5O3$]!Ilg_ R͊PƬY%cR~GЅa-צ- AT<fIe=[ގ}936l)16<mygYZ ii 1A% $Higher_Order_TermsHOL-Library.Multiset_Orderdocument.tex7zXZִF! jy ]A-MՋhvG"uIBm5 6+Yl~ay',5B@aJ wuOVLk]|bQaCprz,蟮]X\0Lt83EQC+Mή MTYn*n7T[c'!GW13mOg bMAw߲l(O 7R *F" r_ ң}S\;L0*2WD;EƗLCKf2:)C&$WLƴ@{H=b>b-|+xd M%⤊z,9``R G;2v䯕 VȻ۫U&M壊ON5l&!%]J!csyoKyqF%# BȎ48P %E;ӵ%2fZzMr<vg98Cq0fDܽ@&(Lomz +3: #O=#ZM(%),Z D(OƮZcMI$TA ut0'lt]lflhgAe}OXDx㸅N{,lc?!U00%'1)eS pXĩ%S7|NZr Zzq5v~Gm.aoՅ_-Uн01D_8x&ȹ);UG%+^;7_kӦ՜k[xyõ2ނ4*7r*ټwdU0b]|}'IUr4&0p.9>?q {Z hԴ(cV؃KXTy\SLUeuL":tʬ 7k a"*s{RE Z_ΰ*1C7c;k0r#I-jbJt)/ (E h7A}?GIth@+jK,`o_yG&(*ys(!1D֝g߬c|Dvv{3*LR)vͮpG3G-]|u>9goYhv){,Ax6b$jB+ha9K0 EsEpD5|&>gZĉ|(X__$$Q jT "W}gFpV$sLו rV,I&snB=P)ڜ[NލHDf\wrЍW\d.-^RO-R%6hWGV;+K_InZL[fsD6{n ο(IXnŨّoȯrG!G_%]01hFy~u,/򑹜vXDK3ylƓ?v$c^"TU"TGNzOJM'"u[Rabؙg *ýSLP1cq&0YX/aC,gr5SGDmt`UY/pÞRNAXn̽lli_SE>r&Sw( w3xh8O(EmٞZ8=37;a@2w]21q|yK+/7q0ygg Qy js}Y{]jYh[%,op3P*N/h/LJ0tWw3ME4 HV;8^ѥh"9է?IJ%K#b"qY\-rVet|F2kA[:m^s*.A Ǫ(mC?Q8춾Ŵ ?Rf2q }t|P^_pZ#t Rʤܮ7'W&c>^k{XbEA0(P B2C#MK :}>y 9Y8$u Aӳag+'L8Dm1Knqv|:2fp7_K$q cMFbWͳ. ZBdEWOΣ9ng^j':+x"'219^J|[ooT{I +\$- =brZ]Fn,KpWy| :ZCd8?Z46aX׺é #"+F4(RZL9Kd$4c\g)ġ"6sW`rAH{B|пukLOܿ; _Ygq/i} ,8ʲL}B.DQ|9y)ױ} ӗ2clw˄CQWW*XffFuJOv6`@[ n , Н\dcg|-QEXD rSȈLcLwv!BYі:O.@K!?Bf[ I7p e ug>#HFB'f)\O0郯 L-7Y)Tl!`{_jJEjEw3ERP 4Wĥ"loc|]^=/+@P /S$wYTc@NƣJEw5[.8@;.)X ~ֽMł/ sl(x7H1U>xe1b>/ Io8=>;]W*lo^qs(~pj(cEcqx ZsgV?'SMmP;x(!V!NNLK Vlv|DUX{P[*ґ C+jCk`!pZJ9d>gD#9Lb QT=kGgA x37*H9CtL;ڲY+϶_L\j ڃ:w 2ޭq:LveԄa6I>at"(O hƁIIIoO;7I]jCX sBv/`99 40N0ʷ}/3,jAVRŋ咃r0Źl-՛Q7Y'ڇAB3u7\oґT嬷'J;4xhIQo#!,"yqO| r Nށ=&?Ź?yJ\!mpOw&_5 ]Oލ-w>0ZՆ~j4oh#DK |ЖDH`|6̮*kw@O\E# m@j w~N-@_>LTEm!V rt>a:UMp0Ɇ5T4BT=g3ޏ}M S~tںwsNp“I$kx(x3[#q?%x[/%z|;wNSp?,{M.Q@6yKA\seǷ$ҹ~hun#t-cˋ-2K\Stü7=ݥU\8".v7Q1%/ӜrNCϞWcbP\[񺫝ZyKttu\fiu43..x18 x#r\LL ?nl` 8+ޔ޲a%][幝y c@yxȇnp*#Ԕ߆-$KI!h.o}~ꄆj,c^ 3i@& |yQmuHm^-uYm-mw5{rf`SCċf%/2 #;lVD*t}YY^' p77?YՑ1{\C/{/&)L駳}Ap RH3^x#x~Rt Gy#xm{[Lv6bdٙ?Y$ex'SG`9cya0(۱ PS9M=k[)7|RAh26F$匶X= =LD;ċ 0 Ͱߋ{)0;G|aHT}^î "S$ (W(b>ڀާBmƶ]ߦj'bGlz?FZ`P'VPTw& $j_5+nhmYOUspp K=ū" 0#=u88WBb W`r`xx(iQZw82=겁sKNVVmnh1i!aդX'[" %b@]iLBB7\h a6`Y:Rֆ#}s ޱHBȽ }jHbf5eA3"M&}oPD#+~W b- W0zE[Dұ lۿ\V0U,g.HK-F5yUϫ$j$B"?])P' N9;WuǼX *bΥNj}gWiqk+kCi bc*8=buS?K'0Eiz.'~Vvts-d9<W*y.|t>y|?eml&ipP]"}C%rz,p4:6mZRǙ`^X1~ Q"Wx{YBǎyM1UM^j*r75t=V%W9:JܧGZ)!5 m>oWL\C>A<'V. õ@-2С<Đ  9Tcٿ^Cš1cδ(r c#mk(qځn D>]Z76%,xkt߸ED.)llC^׼G#ﱠ9oܼ mu14y7əykq6lfɃ_=a>ƹ>n}c~䑛pFwK-U9S¿+\`q )-D57bPE~'Z0o}~IWK}k`b<D؇"YF_Tm'-5ƿ[ҷj,YWQ@atJ4]VSyPȠ]Bq ,إ#. *CHvxe~qH}8]Iiذf#gɃYڤF&[Qsiz⣑bIU#o5bӽ) wwC?sV9=T5j̅,@8]q{FVlcHwtKPRqw4gK c A2,u@/2vRPJ#~+e#Ƃ(]Xuaw̌}#2H`̊DW- CG(R=&8|9#C{+ŒkŴѳ zZg!շx3*&۞'б폹k|*w?+r`쮣f|hiٝ+͗RQw嫖 홋tF1r Q,}jddI^x,fϽ{r} H|`U& 3Յ}2g:3L̞q5<͈gn;ΎZjҏoG|앖WJE2+*Ac"|9m@)wj!"%8>ɵި Ѹ n"U[E07 z;) {s *ws}|8k{-ɦVA$hoVou qt!s]ŤIӎ*ރP-朽drehSqv(eﭭKAhKf9fv'F?@FA,k3](q{KPC}B"ç4B !7„R$CRiV| FaENU0u+$Uq(Wfy ^wqfq>"$ug;T}*qN0cN7S-}tpFڇ q >L mx53'3MژTԂp{~ ?9ȇ/HUD!i8LFCo''Sl]*U?kw^يGܧ_OZmHp.943k{ޯWg0(5 5̙xR>ʈ N ĺ_xS(-@6A\oɾ0lB"XAaOiK&̝z," Y #/`Y_nsK2)k*QԋeCbNθ\j=;:yM T4L$˥U3y.v(Y ; 8\2K2ђGp%|_e8b8("JN)B>$8jg ^w-Z2ͱ(DCtjשocP{lᇟEBʹHwt{2SyZ{7Rؿ}酁_ c)hK8HL)wbTd2];8599jw '֙p`"ؙ2drjHJ9lP?*DyS$2͇֗6F/7nʛ_Z/d}]YI>`C=)Ͽ&X#uuEn0+p$[JJ%\+W{.~^'s>kgQ)q:)؎RESc:娲`qO]}jkkskOȱyv*uT٣Z݌cy&LL'F>e3$K]0Y??C{(:QU=+~꜓} ZK()XK}d= 31eHJ yZn\!mִz%+zA:$w@NR=P8q dup( pĐ (qr^.`5iw_1 Ku)3L5\*8]"3r0m&c 4h?6֙s%;R)c)Tr^\OT,X>.-a+ÿYJxc2^1 RWW6lCjzkzܓD)ݗH\EDPR!0zds}٩FauPز# Zm81;>UcsbSnAU$?%Z*p2jvmOr/x%r Ī s']UeQl/^㷮kbߥ݋LفɟHp"/9$~N& WH~{}ȵi)[;aO/ўm[u.ǞI<*wcb3OxqA6C/Wі]SA <2}s-Qnn/k4$d"C"1nK{4QUE<0o"ȼ=Dі{' cI1x0q i8fFrlb _x/l|!J*|vXZsџ10 i\zlYF %#S.fmv l/9rPϹA,3wkOFx- q*nΰJgaJ7-LWBϏgozY nG RZKԪb=z>ЪG -JXV}[VDB!k( !qME]+ZtAP6KRz= 6;sR3@rnd!Rj>:H7t{fY#j`:6igI`$cBwfî:;Q1FI;MY?'#Ĥf|"4JlM{EL8 |gG_Տ>;6Pâ-"T*iB7:8F4`*(HQ[$Bbtp&"p0@@s"&(zAg[|hl4lR_.>+Lz"15 ϤX? '$S>Gr/3\PNAXܻ 4_mZ|e'2H)ʙ ˁO)F7007v7>D[}L:?2h!CnpCfU:[*GS9/8BఎW##B/"*  D9ZݫowvT H/P PmC{[*Rbޝ \OONɥr)ʒ!f0R.,*M<_=Yb_Q5,L.nd'v>~9򟂱Ya%0u Ci[e+LA?Zi*h =Pvkm ?1#2^գ.2s pIdg}17/x€+2b*pWE Su$2\%[{Ulַ KRU9F&, mFRHqKjѧLi]QC`' zENR 5"\<_]=yln7A@{(#&(wOůngde{=柬 x*@ͼMsģ\Ke3 ]Ģs7p_o4Pg.(uhUITi/_D6+jDw-β|u,MF 8WH|sy q8O¹ :V|cј1HՕB%N H9`ft;Gt @fM9hX]38Gebw9닦c>7p*#^6&~=:UjE+A?mI.6PʦquӋ+ݗ|dr:B^Y1OE,@XzVJz1L,P]W8S j^L`HՉhw< mlMs)z3N|jk^V(I-zI 7\m.'VeX&'>/NE\d!P"34'优1{*Хb5S"ǀVWz+&tn3"Gf}[ g)P#uTM*i%lM!yfiOu*uSEǐ"vŵM^SvݕAi{%{=Kƕrӑ3u0`+g6^ ^9`сmfy9VxG&c{%s4"}:qJXXpyg9OOg#nW,tIx8P't~_ 9' }Bi7sހL`jJ s (vx9pHn5uREk، :DVQ\ 1N=j9sg;V 荁)jUC[,Pt`_NFL*`8$nqѸ$2ҩ;"kC.iQWfvx1\ʑ= n`F+Q l<]P=/& 8 ~\S3) 2P(k*IDJ t$`cNe. ~ [I(//,$UhDzս̱2sŧy׷4حg3P`Do)B E=5@5Ѷ8ڗƽ*;}Vc|0BMMF%!> x186=]5bp~PZTd|uBz.Ԣ :9NB >4D2p7wZgVx&1 em%93[7dfQ`Jfy>Soc&$M 7('2׃F,)RVB9ދ7J[g1O.,M(g7DTG6t(+$oE0s-k<"u yݿ|x[zR`#ԂRaz(\ljfXU7oD~??m-: _ioİ)M8lo&Åʫ[Km/8~2ܽ6XBR!)GlV̷M@rWͽmKR/YO)s?!v*C^B_듯񖭍EeikBNmFxmn7ð[[*9gjtOvWPIUzOx$U4i&b0)-8 JOk%뫯P:^U]?BчhֻQ_1wgcqΡD6_}uKu&i NXC(Оp 'Rj%H2%m #Ch4*"5TY(pSD]_'е-K{C \ݍ6)E[ b5ɪmgYZ b 1E% LHigher_Order_TermsHOL-Library.Order_Continuitydocument.tex7zXZִF! H]A-MՋhvG"uIBm5Ń!31 UF e¬|oXx^8ѥ^Z $Z 7'̽1=Ґ%X;g֋} `X ww={^g'?HեG$ѼXu U"{&L`hXMm|:E\޻Ei۟ e :jn7FFC98_؟7Ni!m qB^密:W'QB nE.|)sEN:6uNu"yz%~\Wm:]T4ɘŶA29*ƚxy+ \h=X-ӗ /ddе٤=LL! ]2E^Tݻuk)O͒qęϒde%q;hڠcp+ G3%iYH nA-;k*ݟ&c4(9VxፉTF`-Yp}'}C^ƯЙ VTR%Yua)|Gwkߝ{u2^t?7d7(o.(7aM& s`p̏_n#$Z|˰eEѦ%#l3WE>F:h|, fKӖcE8.~C!( hIRF"&5:pGba|SE=19XTrԩx^+ɩy6a5M4f񺞾HoK 8iXP| [K, .RD]"\1Α&w*o-hu(Y$=X>st#K';idӮe[ Gp6/DzTF\XuJer0hX[ՉTPVWAypjyh` e [s ^qs.@LwãvqYRFm^~bNG |USؚ NE#, +B%8״8 `-sNґN,F@T&æg|.>V8+nꓼc"1;N~|"q +4kIE)SA4X& O!ݧgs=m,|#D_!%4@Zsoe歍DF Y(V iwW*U}gCC*Cn>;JDٟt)E1;"̿×}ʴ_կ@"_%|@V'D6l%Jnc`3HbJ#i0J}*Y)p+FqJv̓Ic'd_i{qkP{N"+ڳul/]IȄb{buNM۔lo r\`_^n/n1=[VyB?4&`eѶߟ}It6&5gDgwU,8pL5$?؟]֎m-<пgf @ NJFK,fǾFǢc/ ^T/+0vI8!h(f'Pšyk.:5G)Ff&5.XEeǧ@wS^vo!?oQ|XX= fc8>c!S:*/(}UȾE8CB!FnZa$8(Ya,+N~ǽ IJ&ŧ0xU& }>[!\b?7 x ҂X@Ȍqx4OM:Kwc}@=eDI@sJA8vR>_A}e*Rm'lmZ|PGi!8<-?Yt`^±I&‚6()Q'+xTO'%62#phe@+͂0c䶢JTRcT =8g]zKT;Ů;5#a9 @:.|xϦcђ@[KA,tJ/;7ʝց2%~߈r=ǽp5:#Ni+f-{5]pF%+:ksLX2$BHG [ac@իI̫c"= 4i?ނV1 AеdBUZu#}(*a* %o!b5sTu7nj& = X!Y4EaOA!o|M"C͍L5+is2Bo(m*?m'y|YLN T`/Pym4Ɋ`$IH~ߙ&PkP?S81yq[vjS"gbԇHGzga(gh~o,13!mi$gN1F-Fhzl?Y Je}8 >}V, +(]ޖj %k|KՂG{;1r^o\ KP?h6֭OVL}l5g:ŻP(?1$H`hGzu2fQDA$H+eI N%J` PqU;1(jcUx 9x5{a6L̹ξ 2 5HQ_2r hG21#%WpѩZoH~[Qdlol6ϵ`A_yvd_XgSΨd$kthW(S-d1D5.76{/4y1t}?^C/yo'нjJpʨ.; pع+MTfH̭_YHmgJ0{3ug9B+,0fܥV(2 hϽOưE| gҭުY7qO; 9Cm!3ZPua!T9tm[mn^9PyM{Af!lTT4bh?e%2GZQE!\]`xv[w{Ϳ'ާ!6aKn z|jvY êTRh'BLG@a;WI=B =+cWfِodk$Wk;Iy<8Yyc&(3?bk1g<05C~.jk? o YKj~2=I 5~cjkVC01aIkQO#`X")V>p*u6J5EO)3cŧMn*AR_rS ]({? 1`vI/0.a ھ CKIޜUTLϰ.ӑI˙HH0^:;y-$k@c'HrW>lذ5pmMKÃI Mw $}v,5Ϡ,Ed묽ePO|lT)_=5G7#xdQRcq2 Õ\R*Q%ThCPHL ĥ*ܬyaz n|_-%]L2D,ü.duXn?Zdn#58%N_W1>gk.:O'V8VvS,zLh"ڥ*HZl0vs]?Xׇwܷs Ū)]rQIW词rϗ7m""Ȕ{GsA */W3RHl;HBeR)ί$".ǝEbY^lK*$YfT&I5[ $ۅ;› b/PM8*+5I,۞xm֞t )lJ⧠8anKsidA ".\l~HU_[ΏX ^+ Zfٔ.Frv2@t%dDCRvr>XYl3X -鑬YWb;$eM &9{ڥ-x &U|^X8Cb 3t&TYLW\*l2a(R`55`U˿)G_] f(͛ASծV !;DB3us6017&ϛAPrm%kaTT*pwJJޑDژ G3  9IssxtL}t\_N`! dҬ 1W)}QTA?٧ߔ1Uyqz [#SN}6g! W8Ns]-[ATH5uZ$Gma=rͲTY7kC2% H#|j--J5b?1w 58n{0?K)){Ymȳ 1A4N9H3m|0tP.`J%k2U^&Ltоek֝7eVth{ͨLˌ _~A07Lktm(aNOSҮ"Tiq'RGz;+@tld&'<6*1;9{ytf:FcS3HSUqƑ\ 4N>{U{f0h"WGފ>x<-`儻n}R= 8Z<{s$I!JKHF|5.]XB\bs|%O 0/,Cq/嗘#X]';5,0셽ݜϓQ `Y-x8z簙?=69y(RB+ =.n0뮶3~JM~,eSRİSYE3V("qitRK%\S,z~s:u2a{Dp&ǛFdOÝx*fꙤ#8.33MQhe7Q}lˤ)Oݎ$l;h5kQ ' Dh}%5^:ޏȠz%-EnOISdmRhޘ>/w  ikei/YDQ覕{7u~Vv~՟1 Aa9< 'h@50jl¨+t DnP+I#zL&{UjʛL[MHVv HRC&orxδ}V\5 DX˹U7ԍ:.s.TF)0]3/EɩcNCm_ƃVal{vWNO;Qπ 9l"o@EcQJ:I*"TXTS!y.`7ӎky>?ZޔSr/| uʜb#;ǂR en!X.HCHorLF0!3tPf ԸL|\oFA<ܷ6\᛾+S[ͅnZG/ΑYܭl,UKGs%>X>۩mȫ9/wKIەQ'N^/ǚ7әeQh*gՌX~{-؁\p*o49՝Z>"C&nGƭ97PjS5W0o 1e4o!g?)cXMYrcp_n\.Z7+Vw ]_:OUhBK!GєtNQ q_[d >\9a2j^ Ul\R5Xq5q oI@ޚYDtIye0Oۚa,B t.sh{AoTarsK# _E?' #qp ŕ^,w\l`OoW_ႢlK<΃ûv]oIT hҞhmz1, i8(HFdr5 1Iy \Q`,A!`?gg:X H TF+o ,J*FQ@ =1wPiD(]J2C#49|ȣKlrBQE# [V74`8y9]HKc+J\ĉDL.IENg| wM))-yu˸bpR7RSв$Y3TR9C{lzb2ha,%i.=+{g:'Ƶ.e|yMm4J%NO9Ug!XdKa'UWńH~FTAv >#8i \a$hZbWou3py̋B;:42 B)FM\ӗ9w"Ϣu#}WCβf׽ˆW)t0$Ŧ<#$Co7C_DbylЩ 7qnI/BRQesG&!e뷬fј^[YX`u2e)C-.q/gZ=->fC0{>FTH|PR-TWl!\Pԓ $^&CD@%{b&k3r23/K/ZaSD-g"-vAf|wXϫ, h]'` R>g}( 9^SM\s(pO^pt鬲U~2ssY/D}"|?#D<_BWQhǒ[\]?0T ~ h^}[  dW+MYl͋pv덯CJjþkT= ¬}M)ߗ>䞁Kډ7mе<(N7TDkKv5IO'5ICG\csos\2=o!UhR's 'q3wQڑoD5:iOz⿝N#N1;HY)eRjj :@)f9ndhpX9%J!g4en 3 zZ)&?BHzJ&.WukGQF{W)r(;ZVÏS@0m$:А)h3#Xv-ut32Ya͕vf;ojOү /=7D2r֛Iu@|2jFVD^Odh{T Lea5ji%5CAYLtejmv'q@H9"0e~kρ!ym1"f=!?9N++h ̟Dݥ0Bj{z~m w _ XG‰t9.܉#XZւQhډF,1Gߡِ7s$"ȕswy i76DKRw.>aH!W T7TSyjGІJfD96cmC]fn^eU(49*$ u 1;% |Higher_Order_TermsHigher_Order_Terms.Namedocument.tex7zXZִF! J ]A-MՋhvG"uIBm5ı}3d;5!˨8MFj-\ywv0d :VwW)os%n=F[}o^\Qncc}g%a^溦G캍N$1hCbw疺![j!†; `D7C=KyR ITc2~s\tg(Z[b Əg?`m* ɃahҾο 4n'=؋ٕ$sͦk׮:6 \71N Dwޱ&!+!uA kZKtYAV]/eSlZʫ:${=)kHT:J'(zCNU08Hmlb[CsA?c\La!\"zN˫r]$۠Jx+N3S6 )1gXءg O]ZyuJ }Hej@$rJ ';k7ȀTd VyG3܃$]~j%1Ą@{X:}}I{s?8e@-[E! 6|OWq;Cm_M sʻDKxX?;01:L!J%dۃ131Ϊ=[Y-+G߱ќSQLD]qC\j:E4C:.C z:)d,ゟ;K/ ,3p@xs!iApQ# CWn @f*&ќ#ĮmyëIa7 A;%$ G~3/Ǔ > B}C^KsawG̷nP7#me.$IYgYZ YY$1I% LHigher_Order_TermsHigher_Order_Terms.Fresh_Monaddocument.tex7zXZִF! O ]A-MՋhvG"uIBm5oĪD^#tv3`%xv9b&PDd#B5:nJenjF(Łl{c÷_fʪ8C~Z*l>*Mwo|"TҸ_cs2d.{|y_hAm}'ek>[{wφa>F}QC U8[ `f OKD0/ I}#Yq>laDة@*E٢F@._]7!'K@U׫@U/BJ r6 0kovobq <_,) isAz.kqz3cxLY~*q1έ T2J'Jd'˜t(W 3(LXQaLOރ=[#;3Gj#vSK'-~!.uiv}GxQ֑[;ࣺɍ+Ybqk L)MecS"a!*B\tpyT:'߳*a#2/=FE9{oFqȘԮ˔ڛYvi?Eh`1Ġܘ48չk][2xm8AǒrB*Т0e{RByh)X :rJrӧ_$r(iI  Dfнv4Clm{M׉3m 9IҨqOpiGQtOG.&ooJ-7Z@cdlD)5 i=?;>6),6Af08v)?ֿz| Ҡ[A8xMFbe)LJ,恵(cC8V>h.`V <~9b 7((qS ~/NR֠$k._ԛ2N5f0z]922Lq,ˬ 4gYZ g1W% DHigher_Order_TermsHigher_Order_Terms.Unification_Compatdocument.tex7zXZִF! S Y]A-MՋhvG"uIBm59rmQ5?RBLT}Wyb6%]Яu_O¼@"rS{XF p4o7[(TVA5^Tˀ[gÃ6I&8c! ګM|SȢ1|.+#/,5Iˊ<.;U%"~RtnB`n2%?|+D_< L% k)?M jud!)bp'2F5&FNn=\Z_agiȭyeL%$:s{% ȎOn]&Eɜ!AtN'-2Y#+*hy:vWL-Bʗfl^DOx+:Bf ߮28lK9v1^2| N>AsfjKiZ$>(K(7 fߡGrF, h"̍GdA*|(ÞXkUOsx_]cм~ b!H(p$]w:%QSK2 L 9o6za+P e΢ZΥOVU\ b2n@bJŸ&=#(dn˽ ͅ۩]6'R;e> z햚6%t[S#}$*tJ0.c]ʱj4"43)M-ct )Ղ`˸} lήN;,}Mup¹Q:Q%WoI>UgޯZ)q:awW|p@{Bqڱf`2̱1f/^SkJFI;GТݭޚu!BMCñ93;09)%#ZUi LkAX_ܪ#T2yˋ#2=D2$Yw,Eq@`m1{?se hϳ<ӥ Ǩ}Zq̃ݷ:B_ ywS^ u1ߙ{~k͗ Pe iPےM0,Jߎ!3"=;Xa b "4~ժ b4̃L@#d̴MQ6L @  @aǨMi:ڭ^S р6Ny!@ePGH_8We[z9#T1R6j4Rw!Xj_#`_ײAK!3<K[;sL)\4IfA[F b@dYXchkZ I狾NvRSgXSNuc&ڀHM$\U=yȳeG *9ւ]OLo @Uw;cIP%κ ߫U xO7PFntg]:r3Q_*o,;Uobd|7Z,'bV%I3iQ5%6܂g>5;3YTu '$rSik  ߓ}IKx{Q1:ߜcEQᡧ55`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ 31[% |Higher_Order_TermsHOL-Library.Countable_Complete_Latticesdocument.tex7zXZִF! B]A-MՋhvG"uIBm5`''-6ᶈܝi7wq347q40"*=FxӛnsSJᕲh>&R]KK ֝Ѝfpנ0h%~^r1%?aƳSAVG x&xUSN IMcNKϓ29G=a&ZI8Jx/Y}~ F1`tAMYgA1#mZN7-W0rrP?!ClNmhsoG J4} eJC2~ܤVG&vh@ 1ډN8gp1>bK/7fɑsa,YU/(52*[WZϔnIX,L'D.e2өs$.'ZÌIF99ZWK&Wi_.DSdAԚl!LHR\^6%RJ`7Y<z>4m)G&2Csy!a2ǓßǬl@kr?;jogj;qM(kBe@IsʓϝWLDŏ/;e3;O9@$!:Q@=igP6U~ L = MM䁔-O'h{OӎG 15g7? (mс [53bޅu8C$&*@Ft~"1&KK_R) #|BP9gbx-:_2pz>)X֚]-h!| Ԣj6BkqC' 7,=_ 7cc( ~9 Ҋ/jRE缀Sh䢠Ǿz¿xl*!1NgDv@UϠ,Xn fچ96oBC5!Yum].FqEF(jkϢ`+t/pN3dեT1WW$,:,TPd8wRzЩmZ & ̄=%J 9ꩆ=}g&k 9X T5[6<0o*qf4T>ļ ;,R:Omhdcn5=9De]:m(_?z'H""f$ N)h;MW H Ϫ_oEK)Z駒t8Xy+ܗY?j3c؍"yjZ /|P#Z X:xVXBę'p϶E;ѯMAF??\ԙݾ Ӳ,goèi"Lc+ﰲ%6IY0'sU㡢9m0Q0$٦<>-(m2R I&VxM%t+peLBƋFIE>ضWOʂ1f薿N!fZp+G~?$+1JYhʸ6KO1O+i2i;L2ʚ iς$C,=YWn~l~kG(y6 t,lTuS#4+sQ8K4 h+h፱gYZTKɶ P,X^lPx"[AӖVUĮI& 4okm;qjy=PI-:au,ml>S/C=8h%]RDA ䷀(<˶?ooqn, piR{H5jtȫc5 8ՐN˔FV)bg|$ BAt73d6MUtNq?JW#N"Q݌Τ]+Ю܅NJmJމ|MN#""9~䳨 [t=`3x]rw"iGUg^Y-bnQfyG8NoF%d:枢CE<:"DM.B&:0>յ<#JӃ0(.Ha/BR)iYG.ktGII.ؤKt󰼾la&gdMW`pz'uWr4۽(̦b#iM3п{2KG!9Z4YBP-|9rXȱ"VMi\h@W/U k#o00+&hVjhi!*RuBbs=gT:j2ʴ.]S<~YU@p !=Aބ}T 4"K6XEO+bsY - u+s-vۻDtF;~-e:>oO)d1G+pLsvDUo<4gkJT4s2ԭ)w,jLOaw:3Aʇ9O´?w9㋎{F~L7:r!=mc[G$>DžJAi97>KaZh,fcBp.a)Tfھ^wvknĬVHo8tD>tSgz&m:' 6wf{WܡZWs(gnĶT >9 zHUvB/pp;Dۧb̤촀|aģ 뱵 yd 4wYE%ґGhԌի҈IF28ɛz}R;"fs8Y.?AnQ391DΝ\ISũ >U@=V1ň@Sj\)ʹt sPcY)΁͈7cn.%kra߲)cw/@>'` n6 Or*9]smGp#N "F_lA"^ȗXZ0?ȘQN :/dy3̃HzƸ߯`pPƈ]5jp kOg#~EU3$dER>)gziYImC7:S& sﳴxib)|BʻpA9YWUU*E˥z._.OgU+ZUIf_D+n_u, '眷5v.`͇O&6uF@;j.kej $d;ErѨƬ$Y؂leS7RrQ?Z`v/9$?cY 9ʢ&F0.Dxzc5yW惴8/~FFa37H֛U`ө*v n֐Ch[R+%ԎHYlvGR<.i2z+)xdě0OIxLxH 7I){Y2Fm -ВVBeqd qmRF{e*܍ b)Q2a}dg|r/{ !:NeGBZ?+i\XћR<5I#mgB/N-!Jy@o ݡwsEt-{PU@UqET64"b#?db b9*ʊ%]FN0sTխ|#>f!{uCiֶSkna`cۿe>},۝p>^*NtNo:"RsmE-p݅X% Xlw#9_b DG)]>iA1i-#wUK'Ҡ)P1XGi1ݭ4`g3_LdFgCK5 9 Q+&mz9g7CǙ>O1ƙ䤁mf hO"Vkf\Q=@ۑS~iG t.N?:b!FOmڅ̡ Cߴ-竘02K-G\=O#5N:mfXܤLv;s+{|*+0[8 L b!/[gȟ#0# p ñMjrugk`:V%xmg=| oWCQ_X[UFJ Z&*D~?)\J.>oF[{̣"BP;FP斀k|?6|wNݼ8MIFxj *Uݐ^>8eCNH{10X嬬Λ͍eC.Cpup Q^ G|<2Ge,}eK:ɲU*ʨh.*fTu yOp)2ɻ S`? ;:%"/s}>\Y/t凂p!љW#E:E&G@O((RtgcXFu#,Aޚdh!hS3Uocؠ"ۓr{ ыY Owܴq@&^AB  |mT۔4!9?$ 5=6?{p2toxxJv/ ]"M4.gE_{|z GT]<M]$M! vpS>geŅ\yJ2e- 5F4xd\\c.> DVT[b(mT([d94Q}j$ū;]tzcm @ˈSd*x&(68^E4sbX6&ܓ u&kHܧOCFԇC/=1LָF3۱zjywKjePvYTֻ›{krjY"7tmw>IఏA~ذ~!aR|e%%] Ixdu>[UZP:Zjq9&9}sFO=eÆKJd4+ j2on z3tw+xs r!/;Pn&$\,o?mXJr8e._=cWr]an_H ʨ<۶N!a.LdTӥ2#0 ٫wmg,݆pG8kߋXr,՝f@r3Vlg[ǫ/Uɉ yk`}5zn[>D I.i yZ$lu`4~Ӆ@r]_g6ї~ mi=-GK~sC _sd~exNM&O5T+ОiӾ-%5D[n9VoPjxi;A?Wê锠ECZ=2^=0-C#Is*"T ^>u0_ϴu]R"nViܔ|1YѿITfnԑr-el/ǧ$vw\~*~vDJ8#bΞKxޞ53Ȑϻ @mNW:4S:^4RZxDp_xNz7 \,Qxzf-IGk괇 z^LV3&-cm7ߢ}ѵ&84ڢR=]{h@PvºP@؈\ln0ЍE-'y_!v>@`5. /fj{s3b{6QY׆B8(:?g%cQH7[W/=64hӹ F*LTsOFbxF5 ]:( !rx)f&`#x}&υgvY3Qsc$MeeoJBLA{CߩK3QN'*tq&_~M .ܬ{C8EdG!ųrY.qs sz۲k"KفՐci]b ƺ)۹ή|";r>rb>;^SLa'l01u\<[1 U*>urFŕ ~grqJZ KhgYZ1W% Higher_Order_TermsHigher_Order_Terms.Lambda_Free_Compatdocument.tex7zXZִF! A{]A-MՋhvG"uIBm5*o$ſm^>~_F4` yx^cyx#b1g^0洞Q]98Kkmדcp;IX]ǎ qp]j bN}w%cEc=Sծ{̓H{ Ge ԑ"G픾r 07LGBtڄe1-#9!+\@`,f,^.`!TJj>PÝ^@6oӉ*#*|2"?uҕGb/pKGz5;@Pj*? W$P@ye ąz!60Vʢ\23~dv3!>c:1 FYwJb(]Gv%jN _ٔO쯠KM hB 79Y>XBʽoPb.ITě Is?a٬p=WㄅK4Dvk.~`r_lF-6BK VF-Ӵ q^}lEq![uqpdi%?-H=饻0޾yJ`3K@F2.sby =5_gK?!)j؃!ۭPXA,ٰjҎh)TA(nq){\nx8⸾,VR >^Q叕 dY?n[(?zkӷ!t1{cS#7nc:;MxD{/fBgޮZ?[=1N|rd[P$E~:zMoaA*ge+"{yb#wr)V bK"i T Ӧ `+ĉ':BIOR4N2,WĂBjQJ"J&+u aj4a.2ȻF\^@)vf UO-L|rr'a|ŁhY.-Vv59et;kKK6uotԇo#'_W\9G[Xu# aQ;K o ɨYF|%SN$\n"EDUI)K{Ig<q.I8#v${/VN y;|_:(M -ۋk6dgԹhn/'(ЫʷDdжر&Q:Qpj ȡ͠*5ҡ3, z~jv<`àLmS 7LƵVېL=MFh/& nX0=RVd$Q/%Ŕp>&nѴH]HXkδ#O5B^) D[yfȞqFU(P)&4wa^4-*g kY8tǺ-@s'­>ɮ4NtȖ >I",l {օ+ 0n/r*A"Z׏붕~? 8p-A!W!U\{ئMh~]j况[vfN4j2pQGIxTA+a^U݄M "8e @7") KQ]<^;Si)E|ʴzb䕂%,u n+5Jd R9 wa?q5L()F^"aigFD0]Eo֤?M _SRp&'w9:K$+>d CDKg䖭q۝~\AD[Y= q1=WӤ*-rp[y9mr,WBgġo̯nWXŨCK}pr^r:|fV_jW2J %Rgn;gYZ  x^1]% ,Higher_Order_TermsDatatype_Order_Generator.Order_Generatordocument.tex7zXZִF! X]A-MՋhvG"uIBm5Ń!31 UF e¬ ˝Ja)^fd !a&G?A6<]:_SsG]~k/n" B-=Ve|xq"i,oL{-EVZ-Ds@l[?4{Fbۘb\ ?92Sud۳ !*VQ֜OF_ v,^7\5F"z!xSA"UH3{Yn0Nhi:ElEqh>+ I,޹qWٮoWKT!(r+~=gĔۗg?{"ܰoG_fe,tj}Y,`07-Z漄2\Bv2ʚ=@_B0S xx^>е[*%U*%*e%1h4f￱Mm2?q6.ϼ@P1xlrPq-1n&.# JlV GUvD%n#b)')ww9PCj/)7K$Q? wkȴn3բ+iofKFMd0)qP#Kn§/?#{x'a$toըBRV†9i"{l%_W$fAX?\PpNۆC{A$"}Iv;M)}ysv9!|_بzLlɫx mSApBeJF+r?#K^F0GG@Q}+P? a <+)$Q)x.TrڽHGk0{ze#z()u IHVeRD"P lye+C՟մ"jۨ2#b9b# =@W$(AM__$rt`wi nkl*EʼfiGl#qeC\z'D5U B7׹aQGZp8^(6n ui+J]@&lNЃ +\5*S#ٿ'J xYW]Jc2lǎ̬@d{R5VU)'x덼s,7j} }Ef8;vYz 2h8qH{tߒbMm.vRI͔oq%k=a, w3p>H*sX'‰ϲQޓT;ȵ۽IOъoFqP9]TQ2G} -iJ{V jf hn"s} *u&Ā®kP 9 uo2ĕ2zfjkiЯ-Mo='+L X2o5AgYZ 1;% $Higher_Order_TermsDeriving.Derive_Managerdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZy1S% lHigher_Order_TermsDatatype_Order_Generator.Derive_Auxdocument.tex7zXZִF! :p]A-MՋhvG"uIBm5֕)eGBŕΙPSyjsLOzÝ oYcCuIӰlk>MrWo`eDZ닋N6x'B##iWXo`zN m7??#|h6#|L }*uf jL!Hc$"mbFs@&Q ]tijR8>dV$_s/\f7)Wvx䀋 1 Bɤvsy߻F ÷y6{݁z ]p:G0RƲ4?_J64)gYZ/8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u2 kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{33 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P4sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl 5 qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !645 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j7fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i8k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o9;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!:u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.;AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=92T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~NR㕖[埼DoH\J˺B:eo )/rvNwm"n"15%BIX"4!)S#铇,l"jG/$'ҙ(E3C??ދ?s涟UX "0$\GOz7dG`Jl̦z-zkKط֓+O׿VV~=(@h^b@CK1b@] #ɯ/ dB\vCnIh ԯi66<@y(0owȺKwG'nDۥobײq}YTTx-<΄n#4Ax(~^ MH6HQLȉҚM^4qHK[gV,XO+%avOu3S )6lĤQC+ڐX sY(mX3͛FsD58p=| 77* w¤gi[?ǘ(N7>R5|q4F=cep<GV>ܑ7FmCԽWWy2luS E,}W _wUcq3Xp`}^Rd_w<ГZ=-5ߌ ~5_}oإiJZAݍ$k>^O)4WU>EDYOu l N8Q/ 91@mTmĭ|R=yYmr~鸊xn2_,păD)a J< ыXDF)8Cuxgʾ:D}PW)o^^`CSx$kB0#]3)iB]^MitOUZGܑPGxp.":1(05Bq>obŒZ%;3-<9|}E7Rpͥ Td=f@xVDjx ;$|cm&T%ELTK!Uy蘷 M%Kʿy5æ&pu ߆ ]\VF$*T{d`hK4rQJ]gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]VΎlM_2w5hyK#z8-D@ _e{ᭆt~wyn4K)]7F Mn27qBǑ׷J0~8_%hz2CMITxL[=fz8'E!tX׽t~/DOI:LxXdYGkaHzx;cſCO?`v(֙ zE6z={*_II #pK?a®^r2"mdVQU{X+k%aDx<.ު>{d'ڲcBQyMp$Gnc\~L v^Ky) 0 RFS}|Z'V@iKSsl5)oӬ2r ܌"BdRo/5q>: PqZvBJ{M"[?0 +,?=#/eĨSV\s8 '%.$0v0\})h "Ù irU[1E搦|1 #kZi&j-x`EvzC4Orbwf%Zb#N@S)(Iz!FUMj3\ȱgYZ7zXZִF! 2%]ŗXi%BzR!Ϻa׎]sYKWʹ>&OmqĻ3ctM=I,Cw^/"G搮V2 :9 H%T~4p JF! / `b|pewҒ)%Jwxĭz['5Ў][q CH6Çҽ>؀HwL =mQ77fֆk2bhwV^fEݲ7y•gcHl@[KhI8S yTߪ/~~],pcq | #Nv=ag)3iwO0k}O=p~ot _:h7ȒEk10buN9Mhll[(Ч27jQ;3*Qζ?B{a.w]wQ ˉ^C2+‰`3 pkn-n5#H&1ڏLO,b'5B<_o>K9AXy}߲[aEnkSH(cbv8c'v!\KZ|"SB/tSHUb VfQ1VGsc-7ϷQC.| !h. *FE75".( M foqX:Y:~o?QMa&$ԯ&W$BWm87U5ju#@~9p#vBVL#%-#zO7PTѻiRhH8Ymf3+ &zVO֍n+ 4J82%&Zd5g|3 ;0k mf1]sDE*BW}>:pDG(R/|2zڶjk3%wS , I1q?RgmoH!}+jZյ @zVp2EN\.% Ys?_56szȑ]wOh7A;~xuNع5^ S-3"8O]#\2m6pX'm.i؅䯉l5R0䶭/#QeVw/c%[%2zW4b[y[*x;>6KJ9 TMEޜem>Yz~]vGhՉo#a%T(<ĕ̓D>VzGuLv]@1eWMlV5'z.%J,;l1ݽ0j(59Ҧ8PXx$àbdtBDs4d@gt ;$%{ҾL{cg*¸f+1}'~VFvn hj[r p2',RJ?.!]Y@1~q^wO-Jm g"ZNm\}.IGdXF^i"`=/j«|pW׫ԑ;zHSZjQjd>akEiG|PN#MtlEe&~'W|,xތ903<} +jDh@e '} jeⷕD(Š݊ҨnjI~p?[<%F]<(~?> a` H&oquE" 2԰oăa}1y, 9/? T΅rJ"AsK@*drNo c7A>TPXijy&dݫH,ҩCE3ID >z҆n/yapJJN#Wb]+j9jG[Z~\FDHoN2\jHz|Z[Fa|枮f6:B~07Q4Ӛ,w\Gjx <|/$.z8 ~]PMXd!b#W/QYzL,oyӘ>ͥ!=> Ib%nz@3{ A֐L զY}STRP>Њ犛VN֭sxr瓉?}Fld2 "Wvs3VދXx{yÁIWg;+ 3rK _Ib #б͈0:4ŗk""Qi1]@K8 1zr\-z o"y B/{[VDp Xvdbhq|#*vskGH'؅/d,L-c^;AYK>(<Gq .G)0s[}`zǕ SblJوƉWy)RPGȇ9,5AXfZt'59_$)xuR/HdiHlrxar,ե<_aI&#/M01( n~)܀>=:/y-Űr[1sN@W> <;f)CjpޮQ~e>!q8ؤni_[dP*k @*ڹ9׻HJ)Ԏ|߈gmѸ<%$0PBC2Bv3Ǣk4eEUNǾ=XBo*@~՘a5s^E? + 4<ێo?cY"T~sxl<Kb<\6d:^X(H'bw-7#7~T1Xq/'v_~M%v(ebӟcX5"̯4[k}eS{ E"&)턌3 orN;6';Xa>9l]xj$p5Yq*Y IQ3xTe<: oVK c|uN*32I~? \n$!oI&k]mINNx Uaqtw^61 pɋgX0N1TR#v=MRX 6BZ96MF׉wUjS/-\aMڦJ1rMMYdžrڢEjIͅ "W7!^v@MO| rώE$xӟկ͇_/6^R­C~<}rXYΆ I$kEpO+{yO=^k"Y62PW9)ys jL0d%q-}4Q,fPDPRni5IQ|+zPĤ[- ɷUAi,DI)_R  _3nʙtLJ'oJYA*U%R'PRQK+`A#]iNY=%EAdZt;ZۙGvmO80i{:I6<&z9rv>emtf;Y׎i4("^d]`Li6~5ȠL(Xa@{A5C/BDk`u0h"6Va`#~%?Ա| zǖ3n&v&E)<ԕ>l4T^2~tLP6O'vwW" D|k]l^_k Q%t˺N|*Xso z5GUr3dؙ"bn7qFs?Yś+h X+zѣJ!H+&f kNpH3Z^[t"Z4.?5gPiF[En9 ݬcIGHm^gzfqaö ^hX N(9`̼~6U jϸZfلDCGuD)uO//KwSZа,1| }2ٕI4E6=xMr2΄LڦN_MnT]WJp_v v7!I/rL?>dsHoZі7**躟3V>o]M8[RLLBͨ2n`J[, = rD͗4ew"7cB V~ ip~),@M`hvǭφ!LĢ,[0g6Cg)LNtvg&clC =ᩙ2';8$龀7̇f,dLWUԓI.h huf8`.gW*dn - /3UieD] tvdG@/ϡj8F'؃[ժTuiV2byw*宝m _)8Q)ɭ1a956"Ȏlo#l;iŋ/Xmixk f fޔ/J<DŽ9Arf3G{13sd@iH5۶k^MMH0z+o׵>#}i9E4',zgN|0