SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsw l~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r lS5K' "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/Xjm@)H'j` jk 69DQH""RR<T0i=I&r-<0ҤZ$σXHi֦Я*5VDI5Z5a (E%LN0F@ G(&izŮyqRh֬w7(1T[TZV#y<+3(95IP>jm{*eUֵ1z\pʂP=DbB"49(4 PhJ'"qijlq"Lf!z ,JhfȓSEDLF¤Xy(D # `Xx$I4Eتk1LPL7[5{3ײ,̉72[+[2751S;:^Iş(edaijy 5ﺻTDL!.N~X(pwFTοgl{!OD=<<pFeVp_E%hdw8 ]UU+DE  "ȱy``asFF3׼H,k^@<$5h8$5C#@^3Ep8 ˽"X,W{\H=\uyMDbfHR=Kƥ,ww׵깙c ٮ)$ƼElB_#62p+mhK;0| X*+zywkr꺽FRd/r^'y#S_5yUVDV4\?i1_|2i3Y3yv}EV1k{WZu\\6&q7ѫjoUSJYq字&y>DiͯS֜衢ziR-EL"TH%HD("|~7c^0Q#IRRP4ch`yFq!qq,P @ AD 11 l>ewz,$oP9bB(4+@lu;\ -aa٭TdUk(#ً_b x/Z~ݿJ*+c5)44㮷ޗɎ[9".sI5lkzz'v \l@itl Y5K% 0HOL-Nominal-ExamplesHOL-Nomx$w" ւ ҂тЂς́ʁ|Á{xvso,l+hgc`_[߁TSPOHEDC<;:98632y1u/r*q)k'j$i!daMLKHED6 5 0 + } |{wtsrljfec\[ZYVSRQMJIHFqCo?l>g8f7e6b5]2U.P-K+('%" ?821-, % !   HH+Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machini?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesvD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marhF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   ++e5|t|X - UHOL-Nominal-Examples:threads=6elapsed=352.383cpu=1742.277gc=94.811(/X4{ 3I%(MB 2-];VMD2e 9(=҆ɠQ)eldMj֢y7hwȌK9;U?7N4$&z\2T{GYT/b- d^*\bi̘Lʅ#f'HiiDe}`*}Y<[wBqI9VhސcylڐUZhSQ4Jw\΢Wg6WEoQ_T8Vq*ԫPoUU2Pս~cWdYYDzVmdɘFRz_-V޳jkVͪ^VY2JVɢOuoRVJceIYiTy_+;os*= ʡRmLԷooJnn^||MǛhTt{oMTxOдTR:Rдxe'H;H}T*?D!$UO!Si><C\g2O'Q%SrCC2gLe&?BN흤jNuTY*KGFi ?nmlRkg,X:œ<;5/_s=۟_S9G7ܰ6 câTkj4;S v ozt,K7sT2"Y84+VNf?4U) SsP?ET'^3 1ͩbs Re_]*_xکi?j8>k*w3=]UWOtՕZZ2ڙ:sYe6HgCǒBf5\1&qm9k#嶅Ļ󴵴vṅA? 5 HOL-Nominal-Examples?5o] "HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/XNh*ns-\l4ă %h[&]#ƈ/?>r_Y!O9p̱`;Aqcp!9 I$ <]bj=:|}:]zr'-B8ђȣlml4aK!|WܭDsB9>[N[)$K*!Dmkꪘ6lWq_/xQp&k+Y7dpZR y֔sggI'˾JHI}}oy'zcܭ᩹,٠TN-;\>xf3*YM9)i{Ӵ~ɺQz35u+2fUucQ"x$Es.9eN􉿹H|+g]yfP%~>oPD,,]hj!K7Y&ɢC4/eFP9 d7)ȳnơ/aDΡ wNQJyd-Էi 4Н3s>H;;Aj _Hκ2G[͞p! N?WċD!\KŖ/*檜ew+WQR\owx8 4!'x\㓖u)}$z5W}+[W[rXTG5X@3y8ܝՃ;O!YDg=ѱ/K%ޘ+Mc-k<'u*rB^KRmQ¡;86 5ih4Й 0oGs]=I6gyR-%Z[ӣR t;4uDsMmmH ·yZM]%Tk(8u]8=2ȽkxɾvZƷ4"e|(O$Si-밗w f`--RZuWN(GdȜ_8-&N9 u45l⇘ j8%:l{>:y˽~-t1~@,׸9H?:Rc v X%ƋZ; `j-`0_Fbb>81+Q0R E(+xww|e:KrbTxʓxXߑqqSJ#^(t$ei@)y zX|3&s70\LWݠ6 \=Kk,qjbcRfM,pO*ER'X0 Y-q(1&Jc&->$L3^E׻3+, I ק!`՝[|5N^'ipEqo>&HPAgtp)n;bbݴuT!5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyH-ZJKFPJ ѽ/54y7w -J~\!dNt6!AӖxZwj:Nh;}Xθ2avwIlvk"n,9CEGT%XBQ9Y[ -IxXWjXmdK9)<38%r~$\pWU1d]e\ ,rNC0,TSԫ[!j25%ҶT]ı iR}yF` {6jd@Sf$n1@i*t~Z^5Ÿ&oXyTG\qōr5IB&$$ 4cV $nc &fFJ]xw@+}ٻwqfsR$=)tP$&RA!a6r } lO+H4!XiդCbgBa[ co|=oܕsxy7;S%P;i=Gtr|5%} o+ ؽ8rr05^4kiK*Yrw3fj%sYNq ;C@D -u7xSQ-و S`q Grhf`_@|P5^\zl!egza.p7Wi>9܄Z=!eZ_A+24+a^ΕjDZٝY4j =ҹ8RX43dw!5!]+ELJ7" 514PBʝAmsfe1\SWvXZi9#qZ%MRG>9,Q0~nۘhus"e@` >˥ʗh(FS z*ԣ…M㤃8vP t*lzyٯߢ7`I%c?e27f!QFM\r p~'p>C5З.%Pc[}SSz.J^@FCnֿru9jaCF\Z=Ur]6v KGUȌa /c W @tr.dk9beLkALZ@|=x`3G,} g#)7ݡ+|VN9sU-~+`,X>,`-]. ¶X k>96ߝr?U.(ouRG8U}JUba/t$iENFaR+K 6Mt*LIw`VaZpǿcVɓ~atyxM]QH7la*# <ΒZ<9?ay Y*G/q8صjfhYϷQNNN KR "֚9T"k]LX'c&`iAGw>/ GzЉ-o؀]5.& R+{$W)+бAiI<57XhZ*{e^Q҂j b.D%Q e%e?`$] `e`ٹj1(@`@E;J/]t^z+ A "XC3/8w qeoW7 @PD8FT,UFP޳?zj7 /ob\= J m:O8}gL@N{4ڀIFA L!K'f_ ?(6Y.5E^{A"@Mϭ@ bw{܉jMAe-6y5!Ayu xIHa2  밠J)u@ jz1!tP' #D6a{ `wOIQV|KcIȾ n_7tQ^S3<#< .xwV5:UTJ4Q6\܂Pft k'qH"'0T¦7Pv0.4B.3?Q -PL@J]e܃65T[Ec{T<7i<qaGN=f/,ں>ac_t,IL0$^R԰%O7-_ʕ2x2`Rtl3q1MԿBᴠ? G8Шd[c8Atr^[+H^kQ8d^4Hczo8Iv8;M 6cW\ j\Aueݹ{w"WB {=~}RB <_L>@퇅q8Y{J>s {DbL7ѽMc4[C3/:{ӐV+״>gK'w;=a'F[G叵YIgK0Rxԭ(P#,[ Z`h(zP?X郑#n 霶(#J}B5-` @E7r7@] ǔIʽQ~4(7]~C%eDϽÁe:vK"KɸH'1>&*:,u dFBp#y㚡\U4^\Inf7)8"3DcHV ;whܶ 6Yd<'IZY:y_?ezNp=hteYq<*E? 3&<'+Y;CRcp8(yXt<OQT3 =NjnT3$(f #EX8 S7+c$ ~A^pb||:81Xmlj ^$?>z\k!3yjN)h.l|,FxbK~bRfܧ׮ױu/7N:skNM)Njp):gLo_ƘbnjwL :1Tc8PPzɗe )D}N{ZfJ0ߟr05ÄEDe.z6OUrPЁ"'Sn͊lm$N 8'waܓYł* )wMȆ:4Hj6K)sND[JXauC>Z i,d:a;)K$|Z2Z3A~ ۘ=r!+,LF]2N5dėZ GRC44* G1dx=5xmW(J$r3:BrZ,{oDe@;"L|="o+QMDªځWkRqK&[D7Z#Pr$a`LHog.n_.hs?!ߴ!QtCfd&}):4gIV;#E18qN*ߐxq]i&5H $Ѕ-vbM2SiQ_n![ k3ΉEJ47ٽufD@4pnſRu"f Vl3*RP[PRӭR:M1M!Kq^4B>zhFp?V֬aD^CŹT.ɐDڱlH_^%f "$vr_/&*:J[.(&4aJ|WH V*(81G~L$4j=-F\X'- ,@6 ĵ\loxdc+a=a[+)'M z+nAĺ5y3 TAx=7l H]㮂eUҦ4s4ȐTww_#`hK1"(:9yϷRXouA Yօ`9_s [ A $i2oMԗXThXxK˄jI=bw[EAX'.UbYCX_\k( ]4@= /dРmx5&ưF;e!0pqBn\ YӁukMډR D~0E><dtnS&4֨I3u('<҃'#S rKCgS5nh&I/69{û< dz]b1z\¨Ȭ^( oY24hX@nȿ]h/K~rK.+T]ԜZs9 dȤ}I3%B!?BJJq 1!Sw1䬏Hv"bF!Dv,R h_G[ޘ/YHvu$8rZw0&)VzVGud:^1`CNBuҰ.&4H;݁Cɒcjys<_;8KFtKrɇ6N5"0czZ2^W0۰XRuk@Mꇀ_­*N.??!AQ{E:hWBS.E&O l ePwAKyzie) "# KybK. ^j<ր"w}0v18]>lR~)2ŧ _.z9&PHXsmWbVm+z$ZR>E)Y! acB[ rIahY/*c>!Za"tEFr cee ceF[_iDoA|FnTw'}î S^-˿dcx\::^?Tq_A~sV27a# NÆK[1/IWFA᫼f󥍆SM`wb$zUpBXS!8IlXt$+S}=27ݵlLL6>5lZY Ci;XQ/4/i(]V' h FhS5K' "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/Xjm@)H'j` jk 69DQH""RR<T0i=I&r-<0ҤZ$σXHi֦Я*5VDI5Z5a (E%LN0F@ G(&izŮyqRh֬w7(1T[TZV#y<+3(95IP>jm{*eUֵ1z\pʂP=DbB"49(4 PhJ'"qijlq"Lf!z ,JhfȓSEDLF¤Xy(D # `Xx$I4Eتk1LPL7[5{3ײ,̉72[+[2751S;:^Iş(edaijy 5ﺻTDL!.N~X(pwFTοgl{!OD=<<pFeVp_E%hdw8 ]UU+DE  "ȱy``asFF3׼H,k^@<$5h8$5C#@^3Ep8 ˽"X,W{\H=\uyMDbfHR=Kƥ,ww׵깙c ٮ)$ƼElB_#62p+mhK;0| X*+zywkr꺽FRd/r^'y#S_5yUVDV4\?i1_|2i3Y3yv}EV1k{WZu\\6&q7ѫjoUSJYq字&y>DiͯS֜衢ziR-EL"TH%HD("|~7c^0Q#IRRP4ch`yFq!qq,P @ AD 11 l>ewz,$oP9bB(4+@lu;\ -aa٭TdUk(#ً_b x/Z~ݿJ*+c5)44㮷ޗɎ[9".sI5lkzz'v \l@itl Y5K% 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/XM= `ggdw#!2xp4U*lfA|.V792q,lD k.A Jq>#R&|H|T :ΗKF2 n{D>ObIQ"O|(ODQ 7մKiWmZwyLÁe8NxvIWT~k7aay7x P@HF?<0sMTƁd$PHq9L"2(* $0%( (AG W/ha%}8ٌĴ6KB=QspC?qY$Un0t8P OӦ#Ap'\ ̿+oeF6hZˆn%K}A;EÍ!sE+h0 @c뉺[M-m xbQ8Ugtf,\ |w$ X0vxVS8oPrm˅ܘۮ1,cyej"3#dIEVtw0Zw x7gƁV7" Db .= zW0 gjg|]?tt{J-y=Ttʛ&9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$@X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+VRCgx$voFQ& ~ !%eE8f0B]p 0nr(ݧAX@ 8uoL#FpMt[bTѱV&pjq 64r Z/e2|0X4gN"c' XG%w"nӖѓqy>apaUVЕ:9qi;OGB;EUHgJ^xʮ]&\)F|!Zcl! .4*iԅ^WeL$6 7]%Eօ`>$1IBEdi"?"#WH285cq 勍qIjfNeߐ1?rvf>DMb,N@%yK[5Wv&8xvhpS[ me:X%C oL+1IAGN!x.O%0& j"âC%lv+F].%/ ^d%Ɋ sv"61P.ZC CǯH7m$(.S 0ǻ L f`UrU~T0jcZ`2<"1 h*Zfe#4! l\n9[IsARs"CBhuZ ꣺v&GWȲX]bQz#UktƳ^w,p_k}\8q*|XV1ì}af.{`^,x)Po3Z~N2ΖJa,j~x08/JL @MKRA*~a}'^;Rn{296 g ixwS׈ O\8c}o`Mg~`E9K[|?y&& 'uӬ[>faim+}\,USd21ns^iI =2d# =0O3,nK V s<7~!hW;͟.U#^c) 'VdBnLa1ب|hE|oJTgsktRchV"(^,Bw/wfC&LVoX{ HDq5cv{xy&'{'1XA&֬x\NXISVÛm=Or!*%= c "L/~̵pzb[/C?d,qC#k%$؏3 ȡZzpA]B nEirCεbT_k98q|9֧̠U,b&҂@T1mFX&" *Q)xأR6͖+RGY 1[K$9zCp!B* 9}I>d@3qꅐ"򶃉>Lr+ w+"x/XobJ?0/Ʌ+1z5HgsD*  [{?5#,4Zjs`kk-w"DGgӯSЧJ]I;Np[Wx}E:ΊpC@%2P4BX]Z_hK-'m'Ni[Q+- .ҜFNXT,&?`tjDދVII˔UWdtF 6Ȟ-c2cc6[v"׫5ΑHΩKfwWuuk{W9ӎAlNN^()9DǠy%Vfv2ԋJޔ3نU'VAҒpBفtx 1UoKBhˡ=Q0n0#Ls]NT<KBYiZ<Viv]|GWqB/T<R !@o cj4#u20GQtMm۶-I$I$m۶m۶m#""D'"""rff-8p3F[[633oFH;Lmn~D홙q]RJvmi6M4MtU4ͪZժ϶m۶m~ _Hg.lH1Wk}o'#_D$_dE*xE#W$وfɚ(dMH& $!i[-ZEt[Ҥ[$K,Y$Kܸqm#vgZY Ka!gfX/RDVUUUUUUUUU۶m۶mS!ufUk%h34p$ЀAp* (P``hp( p XPq`apR$ ~v¡W۶թomdLH@63q8x Δm~-r#MKgUݒьFIgV+WF [J4}DD3eP(XL3m{d̴io%Ko'! Ȫ~[r Ka)RHԙbV[n'Ju\*WUUUUmϵ{m!y)]|ۉ:RdͼVێ D CPA@D{ "$H8@H 48 @H`$$ ,<0JAhUc%cn`iԞWQ]u)~R2XrΧ*ނ7|ȀaA$o7=*GZr&b"XMrM#vn9R |S??6`d' ðU.KIOjMǪz,}l[ú}Hewn4+Fޞ4匵/d/J`VUk^*|"JY$/ im =jXUIV9Uk%EآGuѢy 9[>~wk3tĻZ4bN QWFJ-.G6fF[fP]l^Ѩz+hœ,Yef;BpSYu6F{!fM.:FŠ\5s 1i2d5+titmڹDIt32l!Ϗ* }+6nF1ϊ D1F┾9"IoU dWU_z'#A^|8>|O@;"|=7fC+ $Ҧ OVW-]yw[@n1PKhC%nP=ԥby5ʢi`ZH+G>Z->[B0"n$ L`1O.ʋ^[[0|^Moes /q˓bkOO(6Pf8|%t!n,?6 3?W@$9|y\tpf9 f,Sk܂LHS.xRv{'z9la0*W ^2y=s|8]Xx_{@N\y**7 oإ#}y*pqմM %FYQ8K1QY`Pڋ1X<9tޅ2uM%M9g_ņZxNyKku,lK>8t9F8ǀq Q83ps`(Z!%;ͽBfZH @n d)@=*;&)9v(2w&[%?_[LH۔bfڽUiQrF~r+l\^B2Teye l5 ^[z*{~P2s*G},V²ePzEbрMqiUx&Dfq"g"ܖZrC gf1UV! vc~Qָ3Qvi13N@bZԚJ1]S" <=h﹌4ٹڛ+wqZ[GL4b7Qަ(pگg+.W<س8#o !{?^l ?h|6ŤDP \WNEBGޮ 케4Vѧ_swA;JUtL.ڹT4n6\j/ٱrPLs&@]! 8X↑ ]|vPU1ƭsY#px= P=_d(vi靲0N [ӆkiܹЂ~ kfj#>aVhf:Hʌ5VҌ=DioK wz>=.=/),큧kC6A/Qk_9ϫK}4(Rvـ韬eh3%Dz!v9߼ӟmtg#(O ڝe.OvV@lC3ɑ촇s^X>FvwWwCq)L&wC/,L>#U.(9\ݷFOdw`2\9'^ ^%B:ԁ'&oϫ̦yT˷2H1%.3dDkm(ȽI ." &]h7@ %2 ܯ9$v7箖+ms1vr 0I \mݛў'?O֨nbUAf+vaņ- {/Zr6_ܞM4rڟd j # 4x*=BtLHͼ}LES2﷛x_dxb/ɆNZ9*[-&dc kGP i"Ӭ*TkFN̥Wd:s'K4z,3X)FQ_<_c}Y b{>?![cȇ7MjK5#Pӭ_,?JgIՎT|o̹ϵi?3!<@,Ir R䭏Eğ*虓7K7wj<ޣf|ήT\ŗ-i?c\nVnGm V{m|[ok*+f%xV1I^Auo = 5lT]!vk.ָvx!ClFU#+s 艴oO0^ے Ij#YugDmdw. ,&->Mr|7?ORآd}<;,:ٶpƮow1H fW.#Bf"JiXAj z-_[aY)5zkrφV:dqiW$w>~.,Gly\t؉UN;Q~j !m 6 A,]?-Il,jj i4(LCh8RN`~tEŜ;Mtm%MV8GPUW_W^3ؿT\X%J>&ݭ:wJI_dVrTs&*cW{.%e\rq%f$CP{ZOCK yiT+s̅ru[w4Ŀ6HvНKVzzdiS u]> 5*lQ:hRDŽV% Y}u\MAc̞n5 sNU}^9]ӬơdUDɳΓ" x6C"EKeY]Q3F*_?qiQU}|4FU51G ZeDg'ew4fh?izWg˙[N܌kӵޝjhD!@^oUT;5cMq֗n'.Ϊ}aN(}$Mr!@0`U j!nT4UJT-=wiw#q9ƓsȭY1N[ na8Nn_YYwUЃ bM\gB5@V'|u穨V3q'/7 դSl);-0M:O֣uNR!+Lx :-qŸ́k)FAfݼuƾ2ҰEtq7gk2L͂ڗy&3ey*׻*,W6g×}|b g=r5BsU634"u5s*&0bek"rO&=87˝gÞ"[2>֔+fC2G`_`YAG>au ܺ;OUNU:#3QŶJQZ@"uv誵VS:{̞S.+1SU<^e752::(5{ ̢:}ډR$(J8)Wa>#@=leQ9`UY"||hĸԙ.TT6۴U;Jud?Ta?MTyU_qkӫr:\Xb]NZQ?\)]S3Ws(W 6*)IIVZX٦NIl&aŵ*beߦb{T5vjGT$StG,Q'H)*t}QZY}8RBOd؍eDIFʲ]=V`Ѝk!}fO-`OKJ 6[S$J L4?_x=e+LQH }5 ϶zT[&μ+R*,ۍ}-P}9x>RITInҊ/G5vpF^uxUs5.hz5lkJD$=@,2z@!S5UOMSklP1G wC=ph҆dg'3ZQ`왺jmxRa{ vc; QTS"EzpȎBKnV78uux^M0ea]!Yd݋me*GGVgh]vwkݥ(nNk.W[7mʓ\DT:O.ޮ+P*M[IΒ3_7͹Ke`M4BO<䢰n ;VC؊wbwQk5_5s=v5\ Gv KvV*[JiV1 ܙ]%XBuvł ڭup],i,IvJXSFLvrykݵt4`xH]n${mc}%4ܮJ, )6owJULUpwkX wuF*ZwANTĚ@,U;OV>z=2xPϤ)2ef+{{V)"{IrUO 64aw{1THP#eJv߅-rʱ *QSS?= +*Ou)h [ O1rs5 r]\a$R@ۺE<"*EE *X%ab뫚B@d(ݠ)r 30],^r= Z )f[gdok:5L!9w3RoG^ 1ZPIoB yKRcc@pȻ9+EU"WX%dRMDR^o]̷\Wy;;)bh[rM0JΈrX%?\f*lJHIG3eKk-sRl9AaѻbQ£3]}Y9Uhe-CL8nIh٨)Z`EthZ&?-` j9ZE+l[^ r-1?ӶV1֧a o0ef C&1x#5LO~v=Pp6%*4L&cW1WhR<)sW b5[kˆ92cmrDV ۺ摌foB=)㢞mKv5SERa٣ܤ&v AȤW@leioZH! Y#]Q(p3L>{{ئ/=Mp˚`1eUpYQ`Z3q%4P;y:[&5C?wP#u!3U}Lɣ֫B 2Zhܰ.xY0= #yYcp `9Sc}-àE]4W-bc9ͱh\42wD`gAZHG S<= s3c5k?h .73^ad;LA;zځ4|DXZg}G`M놥W^̓OGQ)<#/˓鄐9\"#I'{:؞DxӺh"τ֯,Ե9&Yӷ Ȍ umb 1 ?筰ɇ-<㛍H _ 2N&Y*ƒ0b|j]g =;6X(U8GQ,bSY-˞H8-&֖ȋzU,s. 1 n, K(H۹A)M @ͧta1 O9Gc5, ,qYSޮN5h|heEI -$`t^*c80jNR!l'!KMۃ'"yċ U?E Aâ3i?YWՋ0~ȅm݂ n;, f.`%w}UZ&jcY!v'5k/7O!.׭lrPBn}fYf[z'|&O]Y$cCE0?׾f5+FOq^]s%8nlJ7`XXeħZ ذ8Dإ'YuȅD؞`rHoT'r0ڵqʹP!5yx¤h*(4] bOͽ)u[I[koʝ0tZwh G A%MՆ0)ӾLZD$ut1D\ཎU@`/iB_ZԲwY~aqylM~"C՘А-$2Eoޫ dzIX ;)㟑ƕ||qi&3 zk9M7b\;Po}u, Ѩ84NNda+Fa=ցGw`g ܦxFBjҭ'-%]n9I׹]-~sH]837AF嗶GU pւ7lhH tjT`} i6&$&^JR$|Q'f,*6.҇$A~\EG V/9/*%Z3EDV&ޢ^lԓnuk4H<٨i @ciL+;>w*A~]~ͦ:sԂ7ZS ٟ(+̤לf)+-vC!4l& QG<<=~t(=+iՓfRju#ǟbk0m5+!/oVH~aԜC) 9 $kxan`@XրQ PޅiTo( Y,sأWp_{T{IYWAl4F}N,[NT6 sg8ud99Dșq5 zd1[\Zq PYw$ |ɇ.7^3Y$@ds7"SeX<P=!{}Dƫc~8e@l"Dkӛk݅/NWF8 [6b |irЀғ!. R qw$}\*nV/3_%km6h+?iRimZmLRO4 M=f PF-.%p;#jyI38ja!) $`!lB\Aٴp^DAOǯiXsGR}(g 6 xSG>XIC\*_YB$2e^,@\ShPǵ5^}x}2y/~VYX^1,bJ:/-5)YY?!˯ wTorGeQ( Jm٪&L.|znDe-ohɑµѮ=r$$v6z?wXeMfLN*R6XlۧN|ގ=8:+1 oCh(G\t`v_>AtRB ,m?3[&r֢cxK.U1:)':\D=nM^I3 im]hئ j >2kn*B?z(e¶GQ A$/q"*)o%Γ_*nYOؐۮbK"=^pX<$OqsS[%*|݇/)C +&PU5p Rb!{$S#膒wg[F%V Nf &+G?G֘`3ʍ7zwj06tf.5K|efWq\I0ySSziL/`VcBN+(ᣙѪ$?3e >H9)/>ܡGwhbZDC?P0E=G/GgPzо24mW}V /ϋ=#pʲa=5]L|PL@ψkx76w_~nٶ {Dy<#=t8c]ԯcĠ]?k\7S^$qUْTh "H} a*<-RН=8^Ȅ=AxUSm)6Tue&\那)Zꬮv8rY4V_1a9Ð`bGVCH.8a񜄛a$c%#[m՚5~G n?O$YHygӕ_I郳Q=je:Vo3RK;ȒYZ:TYnS)(,$`3L*7OSv]YcS-wMΩ0 fFSBނG~^R<{=;<`pmfa|Rf1&dVB'fl4\ {'׌0@c"f_~ym2[4>揔Pp~ G!;X9!Oygo'&$n&RKN tK !kO yKqb)|`9c`W hw P lYm+fn;(NAQ}ݹxm}JrmjtϽ]: =ʰdϻ_Re u|MxKַe=uJDjU͌3ψ%?E G= IG`.El 8pWap%-gMBIW R7ØA$A{M3Ey=]0V Z SYN3Y Vn72J I-`XD5$N8F`S&St.ƪyǺK׊z1CS 7Op "qͳ{蚔R -H<$SU2tƣVMW.LДrVHԤZKie#ohcsѭBiKj==?U Dg4h̊Ɋ5`x"S/GILPՓN;\;ߠ G/o d50boxDZ+#0@Fت˜nphL-.|<*l8R.-%ض5lvkl5'6 ,S0*\H|Y🁬X㾈@X3FqNbL:=@8wu,+ўbiexQ3s@&a} 2z}@PkP6nWvU!0%[d?xV|HSo,/;yyRZhM1ݜÊ&`#e^=УZI&;rm;W# L% 1=!_*8XE˪bBs  W+L t9"%Psq;!ikQ+-n= 2JF?ٳ/1RW7^o P%ZpCұn. Ȉa_Q(U+_'x#,Z]_Nt@, ,0$d+bCRքJҾK-mT*{J{зv~ZYإ][Pe#wDU!+SʖP69nnaZ7ek h'@b2ta׊R=ABbE% i_E]]vve${e ݦjbxAe57/#}(Æ[z_s)}߀oW>#3]./HNm:/@c|rŢ >a $gЖtMKj2A@\ և&RZ&D 5|l}onǷE[2 ~@OV0Qvߣ_h fkZ*A#A}xP@uC=B܎C)qS'Sy%4RV9e   8ބxˀ7nFgoGIs,SZ MωQA7wogA-Mk ci+{i-"67aw+@-Οg֎#Y SoX4P[ꁗO %>V4(NS1L`[%xz/̊b+?u^vtPi1UU'n>8voi.;Ge-8K%=-zۉ쉧 vu2=φ{uۗ+" @R5ރٓ%@mVX(5bvͮaVZU.'nHw1hF&nd-bbZfA&'KO̬Nfw r~c:!]~3x0 \/x?F;=rˬ̠[lYƀECFBz"T{2H@_HJQe!c.,C` F "FЋZzmYNqɲư7' 7AJ.PG `$vZmyⷚЈ0o2w;W䵊N;Ly:mVQmUJ>7" FF>YoVϯըa]ݼݑU* m2#h)IΚu PR:ֿ\Yܦ}LƑX(ҡbgcWKՆl5g7EE&q"a|IH i,'ۑe"tHEG$O& F.?)φ;\~L\k ,AL%١M(vh6˗7B-bPRe`j#,^>lxGk&t ]n#$2sGTD.ۏ3?-^T^tP,]7 ,iٲ%ȭX̝_VLICY@Q6~ws 9)_s :YHDx_u/zW쥌4}bGf $?x7tb$W)m(bR*<]90<(H#G^)՘=v;bJĚ5$-çD fQ4U0thm(⬩ۘt6u%6 یj!$ҶQ v6 qW;*f2;oNN"|UrbЖ 3k hf\$Pс ж1DFPeg)~ iPU+zCƮ:)V8V*mZ::@"Ƣi@jsw2FI.k{f Ss@jHN>3\ڪlV)b~Eh#$€D1RdIN7hiVP8oϞ=ȏbQdk-r ~inK˔h,GnK~wvqDODD@%V)6xc$ ^ʷ$pn[c+[Cv#p5~1.նWԾEAC\OXvF[)+A/d YWxQow<Dz PD$h0N'g`4c5^g ci{pFR`|k07'7o BWVxs `m#ΚqK&~"Ѡ n50mhKꑶ\ :B 9da0rCC J8 b{I `a?BqLHEEI4$IQa.}Je Ʊhه9!E([a ʼ"֩W,Z(G8Н(MDxL5F'qN!i0@ir$2I50GYDPc8AXkYOT$M Rݡ Di'%!ãIi(@Yc 0`C( BI$( X0D @, bI2'q FCB"A,I($p@8 `A@,IB֙J!Y~oR SJ 9!i(BD)mR_{:zJ^i5ƢDKM B- Vk:mY-p{ Aq,hJ8bQI54Yh$ xG9H%p400PD8Qb'\MA9\ ICr6AytNb0i/?!{{aNZl+g_Qq8şlVV@r H SWv_sE6=, >/mvVU<;'D&EЛfߜ.m qyQ7œL,DMf3ďzC t/:4Y*bCf_}NMg{Φ/(1cn%miIlwA|cK:~߯L[)|FJ߱BKZD'&>Oh3*W,T#Q6 }^^,dhnBu xj9oNPs$k h,S{͋8 [j25\Hڒ3ӥ2Ƿ h߼q΁LsZHsͽW96!U`Lq9T׻,)'vu\3u-\i^|g^:O5)޹ED4b.*ڙO|Py)rl6c ht Oq<.NoH\pw1b"/ Mgvr=+7,s4vAqp: ^p3/ LGp-3sg3}ډ]@$;;{X<8EtBJ殀^( @:9# & I t3Gs^ #9Q;@aώ:=; f2 @chvϙ?8G֡ol I[s4%m4ϙJ;?!=5A+.#g?-C6" i=(şkvoF gGPYfv#,h?oq%e*p_?3_~qՏs.^lO?Bc G\:?5v#^~*?ni.cvC<sD9/.~?Ԧ+* ^|܎im>lٳp>7gG܇t_ g>m_|QF ܳzه)|F~}J>tn}c}`AW_Tgz2}4U8}C8,G/EhտC;T\{y |r>q{tNż& }\gjW>ϡ+,=|< # ǧGbhYr4Zae{/vNMwE7T6xpplݗ#]]V( }`h4}YY2n9uhU8 7sWpxff\ ɞfY+~X[vHgig8$~AmDCxmIge(__رwu12/:mk [Y*ڬ ݨKj;MsFlڬ+!Pw׺se1;Mopܨh%ilMlXS6 3YWƱ^WM4<=U[N] %ESrwp9%=op2|ۗ)V.k_JSu='oyk(]/b:_rO ٽNUmc?y#@ePgsבOٺ|.,{`쳝PcN,Ķ8+l ,zcz~6=FnmɃD̴K/w/ޏW3?:@.:-ߗixxͬXI4~0n`-1eץ0⭯wMxcċ 4$ 5O% BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/X /PgDNRS$֦C؊r\|#ږ~S0 偌D"z Wŧv1m7J~kiAסei @m @tA'rt): ": ν7ab;PXbpo$>xz"HD Ն[`W24e{t,{& :Z@Qa-aS<"Z B:pR+'NwJ8ԁĤz[T.;^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal l 5K/ JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/X|)zX,kHtg.h_EC矼X̔[B ^fzb,'ogAXa,_Yx[C!ͣ8:Kqu֬,E= [vjC4ŘŒŘhbQ0P= o7h,XXePSyW%Pb1叨iŠXTDLA ԟi؊/BNLK<(:uZNxSjgOVNO-΂1G-(B;&T% gAZγD,rp;!kF%岧Ѿ`G%dK U] %!D-jTcAy(h@ D,&Y <:G5͓,`VbY Zmx c5A,:1`QNBh J)ڙ~jk+n"x ثra8N:aPڅyq߆A/]O#J4,L,wBG&>"b~,wc1", ,y]rn|?CLw%ϻ)eEIMdL}y/^i`%ϴ[BBhDɶvbcGI#JtWn],lGDT r/ŚAFN;A8 $YIvB׏8QLk%E aQsmmx /Ѐ@C  bR3=|0s^vVgAjR< 4E\GK;Vʼna#b4vHx컋0P콶 ̎"d<f!vGd䵇R?Xx`BzP:;Yӣ7g7uFt^vch8h`i>ӧVFV 4pKL3}622b}'NZӘ~}[kU{{[k|UNd.n%]U]XdQ3i0 ^깿w+=L˜i7UMΌ:Sv&g:vjDF[զi6qhMU/;]K"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/X=I P<$&C4mNS:OCǶiffV~T̆$3yͱIVؒs}LJ:T1Pj[mţ>guL~e3Zo!QtSlBMI bN z~̶ \N2u[da-l<s#G׌!ʦ SN.QpΆ.[4F @Yp]Hzٕ31 |ƇUA#zʅo ,8TCŽ3EoL 5ֻkIJѰȞ9ֶvh\W-pwB"a;LݴעBϞV?upcxk߾?o3G @/Qn },ZmFz+c3 yM53 |Xΐ'e*r9+̮Di],CNǺX] f㘙TTS&/ ŌQlxە\K 4r<$ ,lu8,7RY$9/| Thq<5[a.չwrdy,'(t1جYQ2^du9&9T>݀kLƓ?o-֒)\'J`/J^r`_'1!&>2Oqm+6pB2Qj}YMbH-M k . ;.ܬ,yQ?U5uKī8RHˀa6y$o 7=\kyka+H|c`7)|R^f31iļnXH*]ng;zQ6"i ٮ3xd\Q3VIDj<^=^ <r+!btb \bVҒ$h<m(Gv^`w 3]5h,Ml/]P7`B_lb,( tDe|! EpH\8o{" ɼ1…80N,7l@'Yܚ˨"]32숬!|dBQF%]c}'IQT4|ɵ R k:zIO7*GL7oByhnc6Ry[߿Zզo,B 9@ґcGh/R\֛os?0EL6c־ 0DC'U1뗒UFJURBJB1)=NncRw_Ora{T"ݯX4#%^8֐j>JЭu\3/Xɿg~t}4b (Rxq+QcP)r^ÌޡkdZ>EѽוAl*KB0 (x$HF^e_h7nhܰ[#dA7b5e-&jhHN£Y"gbҲɄԙrtf5}h8jzP9&cdvZ|PIbN i@V˅1sӺ$.e&=tZɓKgbInq<+K64[E tAC*sM߆ʽ@OcRzԽޑshR \j&Xhtf~qMVp*ÙwJ^cJIv VЙt~>:fF\F(8|G`8^]ޕr.f'wkC"%T a`&װ|EI\JywpĂF8T俘"ç~0{.mPUd㋗64L$:=AP8U9۲Epj[*Ll#G)p14I.+M`/n~䎷5DpwZ;N %wsgȅ @|: Xy䖩EA\mSw߂0c*QfK7oIY ;1Wƹh@Hxm[閱\XL*xaaSX;u7_ >Š^.sYHu|o*i]߷d'fJ=-W׏ZFUL Tn]KHaXƾY%]9IO;],hƺvij9+&"1.pmF,L7&{QϺӕbMTؘÖ_Cy_Df ѻ J! #0r}9kCoכd*덣i}*z;`}:Ek6TfxǓܨbr~eb=L4pÓlIR* k&gyfd|5^X'-ـ0U5UD^H>C֥4<]9TMRP$E DXG&!mW9̔`WI ]\XdyC ؗ]ˑ,DL4Gi$ dv-<%JL~<Ӑ ոՊwVy^!1(FJp?AnԫǫehN"=kiq]a}ݴfM}ahi5?ÄާU^۸./q bhKHY&t(L"e.yNɡ0aF(UR9=,6v<^U3] N x0b4ƽy%v3|ܽ l͢x+̮UǑǾR9)?gD,`ҷ;􏞴r `\wu|C/]f^ X$|';}K>wJ;92-f]/T!= VOF[`Wm J|wlw*A" Y\b擄`5x߁Y o}wS܌D$@VЈ}oH$.Rnl ZFP#aRǁbPÄBYWt+gr9 %Utt`U'V%ҕTHGj*UWy kGyur L4HQXE!Z/:|,iDƜe)+Dm»ɠ\GFĤ?D}rLye-.B^"&,{`#uIX?XrqTa;4-#Si7A0vHh 5,J<"0!@+ ykC98"Y#1ɈEoBQ».-3:t?47!4Vm!1RFSł6lM(B^My+q+7@>v$׭+kpR#QpX)4HEBXd{g>\E#,ʇ ުcn+@ŕlx)t5P1g7;G֐[hr=Z3PwI\QBsbkQ2 X֖&Y' r[v-iEZT*ƵV;K68'1jv'=mm[ 7l6JRW@ HV}3HG͠dm +ԣ>3斎a_'' (k,ܒlHTby:ȆaaYxz BU9 AgI)upPXz|jR*πe !;8EFqBmUa }ة/ y v[X+`zeԔK5YƲWZm֦%^[ 0vjrĸ&_9uʳ/UubҘR*ml'(iRP23LUGxtr@VTIlj<#xȅb=6!. (a w~>7N8rޔZ=Ch삇W2)OY0b0W?.]e!M bݘ*v?9N>?ҏ .ց NGm Z1`.7ZJ>ldu4! V)BgZeFdJF$g'x.k2p`GJ@ah1>I`f #XL 1a`H%N32~oqMNȌF /GS0[F8OR .4.=cU(}U@sdyظoN#صIx JnGX=(WoO/nF`xT# T]0& n_ʵpP!;jūMϙ*VI+4g4 3/6>0hކC*ܤe²8g̸Ĭ+VFU.B,43VAyakDžO |ITV ɲLns1^pV>m]hr棻Ďdql(4Hb>E5j.f! Za_#D9Jkу41n'sW@:gxڽs?1Nf-ZjX- OSO4Yݣm{sjazZ7jS`5+ C*̬ţ@(Ӈp2#~v7%g92A-+ a\te@5ſҲGp'NIwWp7J xEcK#HlX hH:c8~M+e.L\cZˑP:zo9gӪ3| r/r 0)[p\^C3Xq9իY1=h !CAl Dp ili|%+S٧2k#C([kL\Q#[ qWz4L:Nžq1ao&`ϤA( ).3pg1R2w"_۳UaiWP;RFF>u/DޚFll (gto؛f &c<mr' 81w2!Q&P(H;T KC|@qdz${Gq2NRRLZAK$Ovd1Vi^\a=1$URưi$F}eCLť!.%r@wb)aS&w ]G(ް|&_Ѐ_U DŹL@Uz\L ` ؁ِ5y:2t/x¼#xS垮2 bKH׮LæH'nc>?̅ SvGAC(u 0 r:(\+bPfvB"Y@f#I~=7Y5hfo>5 9M/#bZ\=PMcG}İ5r}GtsCg=葷[ '7u5֜Ai2}ԁd6#m,siv)nVʖX!r\lnA~蒊e* -VT q7H5u])&D)oa@zсqUXape``y%sN\Ճgl܅V: Lt6 (4ƙBqj2QR"%dIŬZ6;|O/u04D_s-ڴAR=i9ƌ$/䭂q d0Èm>p1rw>pو#6j% --8f/QD&n_LJ"Ψ(߇sH4sG&{)hgș1T}ɓH7DQe{涐n3q '_>fD 3v4h]l>Ұg#/t1+O`4X.U% >3Ñ "106MxT֥>UƓCUۀ扚Yl''q`?eI(-DZ0G{!-LK968 5iX0 f`3/4T &4̫J'YB'ն!Ȟ!*^rj蚍dv,+į#v͐e(}@{!,3`h =WK]B_ em$FSO젒qd@0haKS:ĆL62wf~,ޗz9Upˀ(`%""HphE{{H?}:&OP@3GLO述̀Ac0@#{ @cf+(t?.7%_HշOS""IfnVm|GtܾFd3qFt8v^NR5#;;]LRr"B5ED۪.S^)S^=^ԈxxQcƋ@CYNċ+r#& /aVs//͗="%v;Q{N"Dy#DN#D!: )1z7 $Hc$qԗp7B0*YQ sZ>eǜYy+jAIbN{|ugѲPĚIh`@Z3u^TfMGOis50,40)D4.a@/(o}sby 1sSƂ1\ |WP5*eG5B+O4#*>c{ͷ}juWiVb-֞8zR l6m A@;'v.8 q½qu9j` H-0KT=4 Vߌ~(+X;TJGvښsF͠rFd@MgQߠ$ )g.dG]Q"S]>Gؐl|g_ȃ0w@O#u8w\>#?D)7{DAw`G vyéb2)E¢RHv@$Ȣ'g=NHhLb i#ޣ!z0SxgЃ}wW3(dp{<ΏNEg.OMf|=9;Cm: P>D#b_J܋r #PW6өni; /bRg7PwQebsv_Rv0tX&5]BK<顷b~6]~G4褸h!Oi%˕Fd|aBpoX@<;HĮwr@!ȘQ\lrc>Op$ZҌ_NJ{S17 '%H kDH=Y=>E'1@Pur<9412D: Kc1v6cyf.B/F*c3\^A2{11٨p|}BkkJ-{߲hxlh OgCniC2N޳ zTEZ1IJ7fp 0xlHpx \NRQ/!08nr^ 3 ^ WC68|n'~GcR6^{j9R<$"F\SPj}.ǣ$} u.\ 4n-%'jx=(ݨA.Ri.BAJ9eZ)Sk0d 7Ux7@c_/o`hoje~Xag~u[qۍ#l [*w+Y[U~&Y䕆ޤb&CE8myd@ C,AKMgqvŬ9e6}s{ٱ5ka2\Q %#*/3#DƓ6`bgXlndbE.}Pt2D\hNjYövC{#.r`>UzYMq'XWIvH62ȳȎ^4jk,!{,a뜼 <̹0_0uj;U]ڂ#\ee v/pv`QU c B6_%M5ѓnydrw%vjVCaK,-#&2+ƔO*+pXCSB;(/zJSJ4ʽqci \xPK)3mv VayG^*O'U/ P*Y"- $xxQokrMο3\ɫrnoAD: zj+w? W r 5O' \HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/XH洔"0m@-UvFXh'GN01QRfDDt6 q#(LPʟzaȕb5aeEXJi%ՈTh`d2,T#ls0@ `,2**06$.yҹ0tFIc&LZ m$H$T`J`PL&ns'LN<|X„'?*/7v0N6~\RN }UXh}As pjHPxI_9f].;4q/Y/.9xbD'V3Ʈ!uټz-3jUu3tUL\z0K9JoJbNM_|<β\Z.wK % kFCbB7ԌaF#'m\ur)A5[Ѓ8#fy[`QA:q> dXRXA@(+ws8b0TSܯ}!@J ;ǺP[` 1qP GЪT!efR/sɎ-VM6)z)gvXwRtKsTRMH2j1 e@P Q1@B!#1!.4ԻEц 2ht?Kw-)m/=#d!-WN,IhYC]" ];mX"*yxS2RI{*Q ŅycOQ5[cb+gz ,IfT{s"32x hk 2a9t?vEa |(Zsʪ?KEw3ݜ_;8h@GEJ{BrYZ5hΧ٭.Vd>hLEq%h_eZx:5d ȁ.W2Nݗjyx?I).aą`Al6B_)h.YCZPCh[8bjXYǮQPgm,Gf2!`*ňw~A+Ϻ@5C _:#+teA 9lWyׂ9է-Oޫ)|0yY"TCf lYc 4CV{(4HrbQCR nϒm&qb*c&RΎ_ s>I)˱s`̼lm56 MWxxp%*Tҭ:Hġ!g$36wM%>^-i:xb VtZBu=0K, yUOd昵XN|QB'%q7: !JFT|J#x<e,OP "O1~ݠ+X ^//Ҍ$9J jLO Ab9:]8Ų&UH?1"[S d3^h&Bw_\DO!4r96P G|&(1Eu*;4,ܖ PR<8BW6′z_>1%aPS>fPx6m+o}28,;G#&bgѸPr4{e70 ݬ DӬCJ:<-n'ʚu:TkU88fvR+40eYƐ7>f"K/Psp ]p@:a@+sL r@ VkŘpsz4Ò䠑a{}CvhJL?C} bڝmS Cv(_WRH^G9Ow<(D }5h9~=JUILLcwuH<&:*@vr}\_JO'=`/wRP1hڶ,<Ϭx4{3gL>6#lp+:u$p8IgK$#CKt+L6'sq~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x