SQLite format 3@ .j   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_exportsz \~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \ 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B-;4 Cz:@4! 9[DC**h(3&.C6okP˫ߗIu}Ņ@@[y^AHzCS{;33ә( Ԡ5gK3Q^%,ُ+W.t6υmtn#s8\x8'7RhC50{7S/RZØ؇Ii wJk(Y(yL|LLtLLK[XӓѓҖ_UU+Ȥu*q`8XV'/,,:9#aXԝ`,aaqDñH,J^   'P4 ("dP,EbĢdEٞj;G}MDjOȝP$s[]cL WžF9QDu+gg{='E8H9A>/r_Mc(<4Sm P鰔Gu P5K% HO$o#[ ZJ  قՂ|{xjw]qZnYhVgLdK`I_5\4X3W1T-SPNKHEDC<;:986321/*)z'y$x!s\[ZUGF E @ 9#! }|{wts r qkidc\[ZYVSRQMJIHGD~A|?y>t8s7r6o5j2`.],X+*'%!! @9320-& % ! gUo!Xs U 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/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms 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_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   S5|V =- UHOL-Nominal-Examples:threads=6elapsed=323.238cpu=1559.995gc=87.553(/z#dyz9#(MB? ʴ][5)'{)KϹ255Ո:24n[fH+aCZn֖;iZ,ݯ!B_#-]نq>r \ o2UGTwHy(J~ҡAf2"Eim֭x*A*X W; MDD -P_"sܲQrM%5zЮؠFRC*@ΨBS4}IdnݨXws׾$<(  8P84X40_U%$HX$"7x) /_|o$oH2\AH@|",  (0x4rQ2ˤIΛe   Ը柆TJFdϣ1b6 53D3L:=xU8N׍!fpHh!9FP<0(<8C2]0CbF5(D ,(`B@8ش`1^I"BoC"4@AA*R.(aƣ3rSDGԎNd !  s#ӌphH$, ""X4 `cXPp`h8NaDbA($ "FC@(@B @ <@$P,((@  , (" ( @pﬧi2NSe;;wzfuo9N٩촟X{b,uml܌g3qFx+5mXI/cm q3ؓ(iˮnHIOZW4{d$.+S\RF:l)Gj]d$RZ5h2݇[y +K$^:r\ii~p:veqC,cUnVUOVꎆ8oÞBtjizNK?KairISX5t5*}fvdW}:enl5J&Wt3*fv*] &]ijR!Ε1\lgxHV;W֠Us5WzwgUW^rvLl+kǪ24^ɰ#*RՠZQ4J[MբT_,kS=2)oHuH!YqgUz-S EHE3zbXujGX/{QJT)*݆j q,M5 Eބ.2m}SiJw 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>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.thyNqBmS}FcMmWd-k\nmÕj oz;^3ג[$(>8⩻;l PYtw4EBE&2N-yNj(T/ĎZ1c!-tNnj/e ~S5ј•{ 4):U(K(!5[eA&,u8~k$.'yb 32,O LۀP4c* v :i35A VFqk-yo zHSE~HkݘgRH*H_ V=XKW4H߾L֑NctPpvI#6?0oУ}ΰ…UXS?ʙ S\ʓa08+z\n"sBe6?IXxdriEUKǒa5+(݉M,s㏘g'}|giʩssٮn  \E~-MYrU,=C 6[=PB q꣟c6jDIXx yISQ%"Y,y=Ej!\o\|n'7m9CP57aŷ bkE.,j>0FkYZܙo)?|r@.,;Ma0R1ULGOۈ% c9ڒ_Ǡm՜H=nǸH!YVvu,ej갻侦&α":L#κ6$Rbz_X.oM]C =B ٷ6՘ b Hjz) Ȅ ڄy "e{/PbjB6N NtaE?oV Umjq hB,i"VȡxPa 47_QS.l| RXNIwl=ӠFEaΡ*<ܪO<ȤH;9I4'4=oˆ̢2]İ3 GvWi+4D:s䐵bJߤ3DMvu:5GhQg9r%rT|D}:ZW'ܺX"oD|0.54l.wgybwT|Soy XQVl}jy*{qm%?> >?6b|mUJ!FRks|F@Ze/FOZxku !miagє0ww竀Ak":>HN@S^熶U #%8"5\<^`٫! G[Aͭ آ_lJأLC9Z@R!4j56V~nuIz46(T`p^(qė ~Jl_pF!,( m/)^k@3 t0J'R'Rw*Z",{Y)Xbs|X.bx}m+ Khܦ7KrWrG8;3D9b$%R<@mTQK#2+UN1V`"C/_NwX@%+D2' ZK7t^(UaG6o 4Zx]ee2p>iHQǵ7ჱ4IWj\UvKbDT~0RֈKC| 0+'Qτ_6*,`-k5=O<}U!DkX" H,s@TW.Zj]MiiMh :؈(rl,PR͸u3e2@03u;w[\4+4`eωQc$\am9"u2 ") FSkc&T>m yG˓N"(o~>RB*$;JH4_%Niuv ɢ>_2V Ѝ6͸_ͪ|+XԻ3vE&TIO\\s!a2ֳ;)JOLLFkۊ| 0杉B=:\ԄAr S!y^eO[^HU RF~jc%2,*+6{c=٩X-ݚm*oAug*="P6ᆘm,1Jcf]SCCR"s'aV;;tnO,nND]K 2qF7.-WU5y@h1%񖉔AXGiF( P6SD JfU# :iBjˏ\;1ZU#>LX$9D@JZi.w9Jfvg870jpMo}fDS_eӉ.Z.e1ru-I&EdhR)$!bKv$ff]MQ`IGypᆕ+7IM.cnDvUZ4bU[-a_.ܽmKUῺ1+j g쉿5mambjݒ5:eqQn b"{8]GJ=`7fvO*$BZ*Ȏn$giC(T*r|va :vy5N|0~,XȴjvEKx]);m&\=_;=(LjfƀzD]u%- ۔!w@6nFbJفLDLKz,➖ߎ!Dt0"[2X\xFR;ap!\P"| ĩ{3Wh7|;!HbY_A yK_I]Ri艳 W e Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,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+VPqQ/`xddͮFJkWg:(դО i9B1mIltWwN `4 N,8:4*d' k4tP30Vm0k 47{8!5t$ ͝p䌤dEL~ܠC  > IUE''aAv]Vdž-ޔ3OQ͂'Ԝ?~fw!^3_gF;$\*U²d;4vxGsuM&̈B`s#1R1fΓ-BcHZ0dh;a>yo%~iUtubH3 .QG?ZHxrDk-,ƌ- צZ=%ցH$S[R߻aD6Rma31A88E4;c1 +[p+ %Wx , چS丢+vw8>TL`"`\CCv.h}ivOt*~xIbRUC  Fޓռs}i8HRL6y Xxҵ[XحfRt6s 1rtJYAVZh3 S}l(qDrzhsB}xlJn`'_<:t."?)Lqנq"[vWׂ3540&bp3C:,͇|4&rCP 'igd3Z_Eq7E%ܱN$ԪK* ϽeAU2HI4Wl#^04?ۻ #C'Ñp s. R}xNd}*fEy~($DD 8n脝/QS=tat#X&,HA_S=E5ht8, gCM*K2Pe@?]1庖:|l[^K) 3=JB׳B$)PnʐW}bk>r;~#[4S5PA Tn9M8O,kNZ=D5 qC,[f{ȸPh!8yQEH^sO*KCr.ہwPNr؍Ell7ؒ̎kϳ]i3M3+B m\Wl2ȏ5JR76y 2b %֤ U迖v R*]Rzn\#/ZqVtտ]X JM8ADt(H``]6FrTt0<3@Yȝ#  +tr O{h\gT|ZA(4W:$a aI1Â_:~WյMs}5&<_6)WjQ,0 bֱe6d?ъ`],'2^!% qvY}qğ] =q(PCĨY"k3!-b#d0e!6]"%@)+"}FੀڱmEqc G%'2@;O`LrKrK󍁪܃FW]TֻvGDcc $X3 ?P\^cˋ ʠ9 KVb!ljy|g(E[K19Vʄk24BG딦q^9Tf?6) h7œ\7qpc> 8](fI;(]e!2;azl TE"U6T=C4 !MvvTK/ ۜu\]u7c#ՋґUFl˜YZi..Q ־UbƘR?֬h -#\KRI. ߵs+}u5N4b[ܕŢix^ JYu|b92EZ1-Mv&a"A<1B # Kgza b M7:h~e)]ћźc9e13-_ Lޢ`+vޛ}b{d O8>e*|#y^z']ػ*0_ٗ?_ĞzrzrZ=VĈ 7g?ϥb)8AW\ߢb0}6|pU5h _Ҙ:}솂b{fCcDԶMMU*8{ 2pT| G~UȑB]a7 ]37LCt0j/ ˜^ZDy\ 2aepڗq,Ʃ|hIn Ɇc}K M ]91'I3_u)t[7 f j/K_$?,r7|w4uL 3X' '+w;,$с^MnZIxC;k_G7 ZR6J֯Qk>JE-X\0Cm/;ƈ_/<&ȆcG{{~>TXg1(jPTJul=|/FVc\u<0%9:kg^cٰyK뀁U…wէ9됄+@x$s}.=9is⧕Kܒ:fZ䮸HĢ`~9E*6^;g%Tyu] /$tQ[z؅.M\Dᛸ 0j@oS|/ka+ p Oap 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B-;4 Cz:@4! 9[DC**h(3&.C6okP˫ߗIu}Ņ@@[y^AHzCS{;33ә( Ԡ5gK3Q^%,ُ+W.t6υmtn#s8\x8'7RhC50{7S/RZØ؇Ii wJk(Y(yL|LLtLLK[XӓѓҖ_UU+Ȥu*q`8XV'/,,:9#aXԝ`,aaqDñH,J^   'P4 ("dP,EbĢdEٞj;G}MDjOȝP$s[]cL WžF9QDu+gg{='E8H9A>/r_Mc(<4Sm P鰔Gu P5K% HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 R: `g;-̠m+Bi(ut$I[K6!а45/TNVFbc|t""E5ޝL"AáPip-bډN<5RWYW7{4&ɠ! b(L4ڤ*@ h4ޤIW6cYt;g ޸TEj>9~.oDM5AXX`k;͹yn̸ޱJϮnlrAScSPFk`9 11F"e$ %#;D|CPDpn&:}sr…ߠY1) K6gsxY:: ˘L)dEk.(|e|8Uzjکm^ˢώ'QWX }XP7Z*^oȘYSaG߰Jڶu=O K f8KOp;CĿN16uTTbڐg1C\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal J5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1jb( 0N_a=ygPAI)px{\D)<{ ;D iŇȤ?f`]98q,-~^n+pDRP`탢j `[U=;T&Mp=Br&?.Y;DBpLdpb '!i c<^0-`@'`) H#' )R81 $c,g \>1Ar8Vyr!@i2=Lb4ŏEo. 9&a|!b2XSQꫭe.J[rYNޕa e΁I1 ̧Sk^U7{DNdP-9"=aXԫr{F?<)&sa#(i pn6gs&B^-+(VbrvyXѪ33a"caAPq5xrtЬH:̤:=Y".Nj7b=)Ds>-~2 2 d+p1b܌}hl m.ܺ5P? mՇy*Bnr wKe1qkx5Y+Оt" *@gw\vǨ#0.J&*LSυ,,c@-Ʀa ua^FYP1 ?! ^ϐq5`vJ*:P+ާfpJc[k)f_3Gbh`W*Mg@st9$I~az^v1ZBf!v&K16=poIðT*Z6V@R-xI]8\<>ɪ J g-[ Ő{X*Y[أ\e|ZCWuaGpAd 0Y,r!zi"߶sGPpxpU3V׳GL&]T活ާԣtVoRh9$M_Ĵ(!\6⇋UD1KOcߒ<zъe"ȅGn%nxh JQZ N\G̕,X~;_xyAfMz;Xs۝ghU4.H, PhVx?Xvٸ-&%G1اNR D)6%)m'1HPpaϕ9Yr:%NG>ü>ߗ"`19OSs\ )Yi?Sر|U<$v\u\_ipmH&<O*+TT|Q(Ge*] *G= 5!U|?a-~sz/%oio[ i9VNIlm!BhSH-2=~ {qpj.&[p7 úe-uĭ-t;xF HLG絻B@{!|[R4Ap~MAy?145dչl7~01ϒgپмyBG.`so Mo9NbU%(ic,-kiYJ iE2uQ5r6bpY&p='uw^S`go:&'XdECG#T\ Vn2ZSWE\kf0c1n!\'o{]3 #hi*!G$>")hI蜀wE "A*"$B5?/ !%rO5o$pD (Ûq 8 9̊T,po. (H *m.r"@9T,mc/9rQR ^4Ou4`p6_} +MG-i]䐪hM$vi']ڍHȇcs-=$Wa jM[CCjq=3_WƍHZ7dmb=PQb^l鎌kJr qOP'BpJNqύއ+.Apm6α"ŌH { w#5d~>:HY1_' VpѱfGy]X75#n\}hT0q5πE|0s fd~OI7?lR5 ȽbIl3Q|u'IB`׸opw>+i_tOR.[<# 8h$aWБ#)wI G,tnY}̴Oww-8#  n=XI(8HSX!8u;]rYlK |8qJXcRfr`+Ljvz}7gG9lhxcړKfdIb`fUfGGLu|R@$^le3S (Z[Ж"hEH);6lL9upwҘ/D3jذ/KtpWc*chR:,mکM; 45,Q"?|6uWw)MHft?j<v}K+|bdhh.V@(vojxz,!?~J2~yqκW{W˂Wc6 cOӀ / %*-`7UT:MЛ_i}h_ m&[فֈBY40YSA7 j|԰W"qLJVS,Q[uŻdRImiz*W]P>u6,,+4"A):3<-AX*GqG[,΀]DBMyotዝU=c"Rb߱w Ms/Š~~m:ƣ|͏yg \m K ௥!9_/Oʇ'SS* ق2pyً 7Q'F>֐E2O0Dq:@9e_a#m!,ߊqKܱ-hmK%+%lgT]r8xɛ5{)!.(Rρ c8O.UPt\b%|qŽ@ Y9:*updSs-Ҍf|"_X9dgmDFdx;?1hL&I3ϱ+KynSafWxdf,vJ;tb2,!Z9qii4Śc<7BYZVм[ BnЍ犕`-+-"ilH!:wGɭdkLۭyX0w1ƬJӫ bgA>8~ʞ\ufء9`Ɂ֧' g]F (2>#n) 5!uqKD~'D$oaE=WYU{sRey.!Ǿ|&--joςLtsK;Aj b(&ǰln E #ps1nsAU_H+R!w* _U~G=Pش-CDvc6 B`U|4eudyc-V.Z#Ic.C~|xGK&7dZ6᭘ɡu+7G5[xůqⷲ]ق;v*owc!Hb s[~֋#B7~,ؘ]=fL{"k&7kĔVW^lUj=j=\=ޅ>#N{hU٢F1qz2 B`=P+b(FdpY~ҍE'5n,k4Quف'l49H!Ju$ӟfQ:^#!?y x b/.pDEP&͕OqE&!\0}~ȇ}74'?_ޱMqyHN*mi$SX/[b5R HF7 Ws=rEdmnЭ[g .$NƑ%:].%+AN_z`c`9/opy bHK7߯ sq4b0ZS7aml<+<( C ~|TOLg{+뺠M,#L/EA^6fxt_TWmNX i:@&ϋ2d/?I~ J5) rCـ4)Yg{jBJFcɟ׎r?Ȯϓjѽ{ ?^Ea gi):\ÚDcDgS_7lls3료ؒX<4^h~;mk [ث"}\>햣~ v 9G.%dfKfk ȔM߿*5ea[ vڢީf%wo3fOfքvԦ9.e4ƶuMn]/n3`A-5|"Ѷػv vhʶ-z:G>vա0ixwjWJ?}4z=۶mq$~#Sf6I˸HnFku%?t#&٤j3!]Ӫ!w~-:E9JO9}(9xsXlG;9YWyօSm7lg<ݑIzV=G]؝ӻZ_^&l7 ׆0t'N7Wv9XR ԀNwV?tbaȁm xt7%GNݒav E=[>lfL6T7 /7ֱo լp''pnT1  ,[wl#<z9 1N/BY- SwT3wzCS[n$ MwGt |M$ a1u|@$P!:4Xz30;-rK5ip-т f}ZDh 1J opd̃򜠵-4%rQu^b!"b٧=I}aǻEnΫy4֣%;yAEuQ͙}W#׿\5h]:&I=k!cͿWZ6[ !mz6$2ZLcgX&{zFD嗓l g zt^Ǡ3=7|RL ڱ(nx6Р{&vug?7Q\5>Ef:TөƶkN8ȴz?ΐE\lyuEwvͩȚ߼h3Eĝ- yٳ P{{d{šL }IM9)1H7L L$ɪЮ^4䴜3YzX{{f^qZ3e]k/^kl{a 7ٛXm7KO2 {1'C6Ll[&_,3—_7v@O6RO 9h A`L2ɔ3"Sd7j?ʹ'Uhے,-I:   l ܱI< %CJAP`$,4h`@ ۆp|1-?=?! RF( $ROdJnaB$Yϸ=`BCUGd-dLkۤT՟Ȟiɑt۶m۶m۶m۶m۶m۶m;o'UDDDD?lBtlff33YIfz-I$9r[Dy[_ϼ5IE!-W_KcSEq+XAqtc\H.f)ЦҠ3-gs l[up%iZKc_Dfu(-\? YN+x?Gn:#e: T h@&Q#̼f uL^$e1Ϲ > QoݝG&0늅y~U @>ænqk) _5vC+l+3%>:RM%,) Kiڝ#мL\5:VOSuA>`pCȗ!+bJjN9 BdϜ&\F^[[&41I )Hδ'OE]^![|]0 ʔ }Go%r]8҄h} _bm?Rqbv\0CP%ϧ(K&8dl"(^ Mf:1-K* beq f QB[G͋LsZ(F߉ܚ+i+|n9&dc^gv4*_eUtj)Vn@߭%墐 H1i AdQʋe Y7ʯ-iPR!}g%92/7m3>u=y`%3Fͷ*g秊KCN2vz7ג)Q3Es5X 1['4涩fP_`]^Z uehһ"O!Uݳic\`B6 jU tvU}4{w5M=τ"H[@,oXQj6ڒTi\C.&ppsC_4:*ꄡA;a|mjt D5O.8URg*2_z@tdƦ hbM}Z- 4/b9-ҟ81 INb}e()ocVhNG˳ҫe4{B1N:I>ZeUWAm_Š)* i1*xGe} uʲ:pC#[]}2Ϥ?t q]h; U.Dw XU]kst!ؘ)lIDA&`}.,y@z>ZO[v-~ h}6HjpJ~CV[L 6G*>霄.KZi7#%a]Znj! 3vu@K3- 2.;d@xr׸aԸ@–pV1Kٿ _wT#5v[koP]^"ǂeJĨԀ2J`&*!*؃=TiO,`wz6e&7a%'N :UCQ3 #jDdz>fI$N=L 3QK1 _}iP,Ce~liBukXUw. oftVû20vYe,LDTOZ mY]~7:G/Tv~,pJ;56 ԒgF=9 @i\!Z7NXhg=\5A#ͼ>kBIeSҎKZfD,x_kyhز6G@5/-A\Du@2XM9(|JSKV&||O8KY<1ԹjYK_ǦBV\F^ uXQ/}"J`iep?<&o+ES؏i@ UTnꥪ4/дT%M*iR& }YilB67J):%A=UWQ)9)NkEU-u9}OQ O_H/bޢtl_/Li/d/H,U8-s9`h*=凭>e#9c(zO3C̫V}D. E5i964l P̽ˁ0OEs5W$0L[ae<4ppesP;޿QCD,RTK^/L8b0A* W[Rxŝe`2!y*fTG`*lopՖJ-B }0v`Dul:XZ* 4[:R"?`VC*pA2.r gɣ<ⷔb MyZŢvk̰]%  QZ;$,zVdG,fTE%.6Ɯfȃ-hE Dw_S w6ԦUTP}i;-3uIԵ m+,bt>Tϣ:ʼhCHk$Fv7ЁJkiuzP*UvD[xmF?Q2,(  _rЗw&N3&s9 d ~tƭ? qX *u/w^ ./p' $eChkLJ"*Yoi8ўN"MQ[@z9=̀&kK .cYOIc}4އ9ND(M=j788t7D"0l0^: =M40-8e%)@[>Y:'[{ Rf,$ǫHh8K5)U 5hXt c&Ƶk8`~ DNyPi4 : X%#=BזMzVgE%/ r`uZn|U0 Jv2 m1j7Z.CH:^nI9Tj>Q'swbֈ֨9"6jVC|JL 1l!`;e|bG1,i8B ?hD3㽧pKD⅞=O~?GR DwQGxW &BvPjŽb<`;赳Jڗ8+oBR~?Ho,n-=Y\ݗ$qS`BcҊɰt~R0r:X(͵])܊IX|v2`+ؕisOlĻ0̘MN r:Ԕ1nm 1 V1?AdB@b-ae>iR6:H[Ip oH6\6/ۧQtgBW%TTdx~h#MQI)qj,sv6eMdYRpJn'6GeVAx O,?@9Y㲙00lJd2Uۇ#)e3?Mvcoϼ@/U? eQ|`e֤]Z"`r͚]dEK@cq7ZoXi2&w4Pv+E -1^FKNM$PsͿ1#y  uHmap(BH/̈́\G=9i#c2MyT# &h+0yjAHeI&Q8ږh8`r0Њh! ` xY><:v*K K٥RWu[yWVUUF.2iTA ikM /^{X#AAS:L`bpA1)=#!7DBHY)fU{"f ofWD w*D';ww0wU-IOA.U"l87bs3.wmfWEDxpfdWD.E-r,G3`ED? '@6`O`;SO*,^/}}S?VQĴbFyG~Z70f^OZE}:s)TF; Mbw3^y{%|-kNuV.3& @ܳIW}Yld@bKs/VӻQo vH\jE5ά?ejSOhīfE{ p7P՞,3,gJ;;gҭ LU{\U{?$̀&d%5x"Ll,ÔjS{DVԩ$ "`2$5񬱃pdmL,&UL>N8s+5$C'*DV*+賲ނ)&hpdLwk:]5~F񾌰$!60IjR+i洔`͡C,4+y{+鴀\a+U崘S3u唧9 '6ToȚi58  NiŊӻEHg 0ab|VPG3^X{(OiM_m0X?0KUiKަSL4΃_vԀ0!o<nx 5X"|usi,e +w> QGA\z]?v`1)g|uSRDa!J tېfNHC,LWX) N\{IɹV+2.:+rB%o*ix4~Dg'/XPg| E^OpmY#Wݎw#սCES :>ִ u&I匞eg3@o{|^9 <3E81iҦ; -pU@OIOYF/ʞhgP6[ =h|]kbs ;z"~±c]ǵx" slM@%.)9OQhSA$*UUb'%IC2Yh+S>N&O>3m84dGã`q۰5 L$ kƼu+__`s"Hn|*a-Q{PUGy>p4#-;6_!p⌒%#Uz IKRXla\S-dKr>Y|I2v #gXrR6 ִЩ JAf}?;)Ff*_q@$ {䲡 @ɽ.O(mIgYNv=R-#"cI^^i+? PU[g`{@ 6AT k: cYu?Sib ز֏#,S6|CblnJٞw[/:Jn0% G9%)cQ3R=c%oƖDkTǾy^c  tԚ$ ^dٛE=ۤiX`¡wX~x *~OnA ?ۙfKi)XN1f' $Joem+ Tv!0oPH:bt $,nS4լw9,&Yiw] w0Ѹ+m=k08K  6R% @djyȬY92Gއ'>nYl= SV <{LV& ozE2e2l8i3P2!sſ@#hlIj|'5C2p`<Sw!4Xq)̒E&/8&Hi.mIiSXk."|63bfj&$:aBIOvErtĪ1D]o5]d3&2fwWֈ}z[(HX\2fc xD(i+nֈv](q5k0lJbiK0{B >Xk(!9j0JJUV.b_m2X&-ExF=o'uV3.O€k2@%VEMf"g0@YxLeXU xrLm? ys'mx0cD+0YIv ( 2nZҴ$"5 VF.dÐA^U(4dKFV \4*~U+nmCOlC,  Qz0\PAg4TN"1l mbGAOp˷mVp_+d0>D: {DW89N !R\ɯpЭ~aF[6抵oH2pz;L)y{i]=r'{h>'G.Zxd1n,/-ʘ$<Jޖpu`b*& i| d9H׭4LLMhCҟNnF,z=!Uu@m%Ї`)u6Txx擥h'ӢXmAK6Kg urfk{""A6^Et?)_JvΈ"+24Dx+ڀޘJPC-(\3"*mr h[{tadJyԇȾK N[3%  .arHØ -E$Iۭ_%1'Ͷ . }.D{QEtq?VL 9cըQ5epgTo˚ ˳6GSG0Y"v&'V̴-`;ñcՙPg8JVl g ]Vs6qkz[ß?v\ #h ,V)9޶MW-zY/Fn n:8kx\_ޖ3ҒD"_Q-vCԢPc? A*FؤsjMa,+@I(OYϽWlT"!uȸO R:cL2 **`Sq JH"Tl?TBsn5]8|ʨQmX=;\c@D*G|ഈKP"Y'jX \4}%׍‚]du#|0ER+_MlY"M^?tCe1 l~aMG1 yz"  ~$'w@J=M x!-u)3ji8}te>`mf-5+龈@gbPC2m+T^`Qܝ2i9l \V~u`w#u_9sdFZ^2r+8gKF!hr0YUX?/ I`d4oC-";""~5qǮoF@x=}&WC/`,氟+!Ԟ w|ïW^0 _V$|r,D> _qfVx($^s$fjS1[}7j6wY-\3`s>8%[ۚ4Ye6R?O2Ɵ<4vNMic%ķUphiDtYx+rpj#kj DHW}<3E#T2 =]١Y%(&lx-V +-Del4"RfqoqMm9,OX&:s[7\2k@:'6fp z.mT8[M7~Jd1guTw;؈Vhp'=s6m kШXɘ-/Gbej NL \4Im,()¹ծw񘋽yeZ}_jA Raׅ)ؖV_>?kWfzy[,5neQh|AKJZO , J3$,+$eb̡iQ-ZJ;Hez$F&$,pdP:e_!#r2IstjT>thzOʻ*Nb" Äwo .P<*vhoh\"BxGJ0P˰LqZג.zb-_$ϻ UIhZHв*$3%ByH(^&f|c6]- d*CmY8i{4*P/l {/82{Ly}A:d z[ G,YWhƀ=W;FQٴHV"J/Hᢩ/Ne#Flli+P+i>TʎJADq>p @ `$~6Aކ}Vv l[ώOJ_5d4(by\K" 8$!XopǤZZ TDA2܏M҈!M6%a܌u뫸ػa32Vať/?@ܴɛ䊼ؐ)[ljk+9|_ \  zPeOC.5a_d5G (*V3/q8w$ RR 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/H* k$j࣡E}Ԉ}Oz Dd/m)PYn__D iE~vmXFBqXfI ?AvHC4遢 H!3$5HjIg9?p% \Q0 ewCgq04/$${H 1NDD(8H R ur,22ʑHr, P4gLj E$KH 08&cDx83侍"@9'9h%5 $Zhr$Mr$D`x8IaGC cI$ QA $9ˑH(JZ8D㰤EIhH@a0GB!%H 90 `AJKB'y Н0oѕmYvvjv"*-tWZUi?Fʡ xtk RAuެu@Lj@RLLx^ġ, 5,Ł,,"9OrЁ[ɂc08:CA$1I,0@61$CQt'iHaN20I(D,FnG1MbI 0v00qs%YSh8ݫ7.C˒E%'9Or Īʈj^:_[~L(Y8H[ 0L<1kNհ2RHO3&n:4uQ"hSqf ebGM׳u`_'.yi3+q~.1A4{[ 6j5³3ܐU0W0҄eKnNhü={q֖"|W>lDڐ7IA; <\mZ#i hKyK=7!e;CT8ksLDZaftDQ5:56u& ؾy苸=+ʲY +YF#e27}Kּe!? -W_#~49~Љ'!>~O2q O9kO >_>,-kp4}}Cq}x3O~%O}FQ S~d2}㥏 ҇:u>}x硏$>DϧC |q>|Jiy#SZ/ O:|`| '6|p|6 ],xÉ9C/>-wW O|!>/1`w\΁>iy|V`< n߃ߓkA==7޳@m`aik g1 V";'I@?myG`>ÆPy@o>R[~#x^9?s;_I ? OAݑi|&H|O{홬-;+Y"Z/bU?pqpd:2gMX;?eb@0ܳ_$Ъr.Kjq_I/tz¦x8v +աPIi7_s  |! 5O% NWQc): `QF9 mnà4vLBa 8܎H^9 1@'In"F !<@[Gǐ=LOhl?]8R!1(1dVՉ&=~CV,]:7Uc ,BtP}U>ofR92-"= õl9dDJ`,N#( ( xW C7bwN8ս2%mp&[~X3X6aN0icf|I@qb:2ʵ~vQqG{96 -2SuMѫ a\_`ёW=mն [E8 䦰vŅO/sY1;%nZl}?e~1N?3[LᤱZ yPW'Ϟ25 ZV)qY8U&Dbiϲ%(CqV?h9j KH̱W ]M΃pc\T\GEF#օoEͭ>Y@3P? Y%G".P-HY&V|87oz pm^UX2xS>q:I #I.\e9*lM?{YG-fv3eT^IAtzFW y:\$]o4d@}7e QlӏBjjPoө.{r9DyN)5$vTӁv%1 mw?,8 U|STEg?Mcl" &Zِ9]Az^Da8 U|QNc'h]>!n^'no{ ,־%!껠o%ĎZtd&hgRvCgI)X^Y{J,n9K=6 4ܼxZtS@>o1Н?̻/R4g}ldb3ާ~)oo=Ƚo[tp@p%^3ʄgIs/o' ,V*ՋX O>Ԑ!f8:kTC>jr|5-yȥL>SZjK<3xn]PsJ *fW.sڙHN&[U5Iz胃2s즃/r=BC|?mb~0\[NbdriW;hGEqPX- ,oJw;T:7\W3OFp ;'@urQmAׯ -MbԨH"jFwr钊^@ꄝ5X w&9tޙh;;\TxKeKJpXπepWƖ4{(M2nb٩Zdoʙن5(g;10A0ʍ YhL)Dq#Zd6vWtЗX0ΝNJTS+uģ69;5x JR-. smRɭ rfl_ mT#'b<\ƏNoՂi:f}؆4F Èݾ;AweDQ4Bp\6UpGr*\ [8-#%ԦȺnGtÇ#KXfŐQҔ?#2$l|PԱe, YIPX'^oPM+$2KruihH0hY";/8W'Ө!0+''&¶EфHORÂy(#]vYHXM٫s+p$ =1/kzqؔlH;Zɳ˻ԴIxBr-NTbjz=\%\6X^'W5Ldǃ bV ˱TG|F\o&0UP%va6$HJLYk5v5%R=ʒWJjh]]NXQ\)bK2Za4^F ȮĺTհhPEBXv#l@fbFvY"Ub6U 3Kvw <m!_* 4k#&m@v-1<n,/|g)lt/&Q#ʦn%ШSq_? ;K ɽuN:~Э.m (]8=;e_)@%Zup8lSVjk,G6@mv1}{[I,EK3X" 2UEϰJ%M.PNJ} 2ƒJmvme@@wLz([,@/-BP9!.x/9Z:Xl_ը 75ƸWˀ×Ѭ_ia5Q}# |MPRosk3 )\@G5j<ɀ:&E@Ko B&oBLf7td5g/) Ta:N9 (6]*B9" sk7D;Dlk:6V%ۀ'U ~.t;~/}E"_ $<+WD*H06MaDڬy#%IػENK]f*k @aYH =6qL" 弉|ǂ$U4(iҴVb{7/yH01Ҏh giMضUoܻB^2a:ns|j7osZ5RNĭUoBFy}"I/KZyZwm6F2:25FvnH_*4MEغ) DoTaS1ItP"*cLt ,**k`Y , ,vǝ' ZxNcu%0oҏD|ԝs^tZjwݢ{HF9 QJ :80ο98&pәHeGt e$\G54Rrझ7 o/sƹDqCӑ%5,G _K|'Oj'yKD!TLRUmܫ#%n !Z#/>I,rNev lřcXVlď;+}a !IW { i0OZYhV:IL1O16*m>6@h\;HQ[b@y2ƕO@rvy2"%z>'g5kn-ũ:me㣺ZP۲+BǡİcJxfZ| yO'l 0%~H{徸J!CFJ pMx,jGl9KfQ.' q?A^#Wm"]rjsi` /u(X3SnBVL0] ~9{J'c|6v׵u1cӓ[̀f  HR-xh +l6e_0U%oTz neDp{b"{|f@j8hg `6E5[aZkBo*%h>*+MlȷMeioBYLR/R0o( KSSHгUJ$!0 X@+R#u{6H( ͎WHcXf l& È!K~a*Ȯ*)[ O]3dwXxd ? =߬OƔXȘRL` p>Y),V {˱R:GZKǩKv|-vUxٍ^O`x}.^b2KYI p03`)Q&CYXy.?3!/byjĢsohF(o9e&&/O̷0y7r[éݢ'QZxOfEpnXŚ6U+,5 i*qqJˣ$Fȇbs|gݜ`u=ښ[dQz3sLكSe1o[I̘u6`@`<]\6=90Lo?[2>h>Ent9xK;_M(m;zom޲7.VsɒI?YU$#Ư 7d4WCL⛩L4\U\Jd/.[Į /W4lš-9UZ\gI0$]Y&N/#dVcl՘mI[ ۋnd=C*Ү}r$%iȑL`VT7i +).c7t,aybOE.Q{ G, IqJG|;!^FߓWp l+ŖAu4Lk@K밨!GMNP ›^T;WL@IK3Z[wH,*ŕ>&RIy^ 8ήtX-3XoRzX>Z(ƍZBI RP"npXS!([!lq aiV~ ǁ[Ԇwf]̕č'+V<1X:ֺ_3&]uGul]=Yi1`s檌Q ڳ*tqHk[snF3(O G3tbetE u>$f6U @̫"AZX4caFJF2*@9V4L0 19&#ӻ(Ȃ`[''@E خ)vѓ'xnz0 ̓wM68N9}qJU_yan d?m .@hQx<47vQ3G1u@?*ĺ+95D d&b]'0zS{%XitJ!YdW J"`D!\V?!Qv8{2ntn&E94t_9~5=kcqhIJy+cOkrޯvwno'+Cf)!KJ˅9Ad]|}Eg_-/=ΧWaY^aW&,kS_ԓ5g7Wd0?x,WJc;+"9[Z݀4~_~ yjZLӃJ!=aMctND`*XۈƓ OFQħrh^GԻtE[=.}EDdCjTkp~ nȴ^?u*D 33yo?3@oO| Wm[(F'-ᓱW.7(Y&2rϠ&cLۦ!zGͻE`o,G%ZVi)챲GŷLiFo_I!W²M9l٦g1ws8ep!L/VT`p^UƘ1$gpn>m9=i>)}WבINŬGdԀc8J l<8  2@$ګ+" @ @!̿wPߗyvHla.=FV|!H< k/huȓPA c6_kSM#7yN]jz$ct|= zMRU] $oV s6G'(qF{,㲉=3-Cϴ c'k Ƹs50*{kŔqok,6v1,"͆VjܥSc;.-1 )HW_BS vMр[ t]#n|tC1|q9ʑ`N\:Z6&Q_#XAg[ pobk?~.33z]<,&䄞{)׸ۚ+(NUyb{K+ԇO~M?T50)8bѡnGdoסp|U9ga$~ӊEa[x[j2f~^4Ո+UPmI'|7EeaEhDu #^clrDtD} y{#hGE`b3`p~1̷5B R¾*7IEZ,<d`j# !0.->p'4'.ڳwzeez Va2mƨFnJIRp+/c)` CwI8FhJ{U7fa,YG3!,ҬkrOqyX&1qd^mF 8F N%NI+[WoI?([OAY;ԻM:AH."sBgRE5# E k駹c}l bQܐ2r7,"<S+ =; Gr~I1j9)oNЎR6xοL7ű~,r۽1Ol&kb/LTxϔ`J' P 61)oho ,>Gճ ;pUq;QL%=LBt"{ 6hœH)~5=.>I^r8kmWńB?#U YO(™+l>{*pHa8N2! F؂,ȣ&e(AX5`z5 <}F[DFUGV^63N"4lcBogbO*R};C}%i&G&FV ^gO l%r@K־DUϕ"veV(ᩑQP=.p77n{ Z:KlfWOu`uRb#Zh;GQo[3Tǎ2Qc0~V$;'Ň<#Y,Ur0\he7p^^ؖ1F=I`U G9cn%<:R%0c:F|vNN4r_|IVn(Gyyo tsGH矘t kg3ݽ@tvҳ#"YBevKWߵSTǨPҿ3=wQ530*IZcwCLy~ɖټJvϊ/UD!mƹaR6ö;dugkvˎnY?<_1* %04xMf7u"($b,І /59wg뿳k߿i,pvSt09?33i5@nxÔ Snnd@AutČ|Y[= p>VdD=onMAwfS@ $Gc1=¾CxDq01 0 D!C!B#oBn̈́Tlԁ2ޚ_%ܥM6˔DQ3%:zJ;%eK{5>эp,Vs Az9̨wSb` =x.|ཱི27`C/pjdcAPZ`Mz|40Ǡ5r.|ͤ͐w7jew.,J ZDS Iqb k20,lP1!v/Eb]6'GM٣ fstn&lⲣ%R$29E|x> ~\uT t][!!2EY@c^ܦI|3R8ZllbFҫ r:.Z2e>%- =܂~|iCΏdٙSnXΉ=RTzXVn0(/D|gNui\3G%t-De_ފ1gD S9[ rKp-8*:Eɦ҈Rl=xñ (iezl⾈S0EzZ4v< @b]1`G #oTtZ[I7w,doTn٧gVqSqN#۳L_6GTB;xnh$iѵݹz9 UZyQO|Zc1r5)SB]8Եv|6 l%|Dekp8T> Wm(GС'%@C"p Xj '3X1JBbT^oD%ʤ@k\&U08ujծt݀ vH:j̛(V'mO2` nOju+<)0}+OvEG 0ǰ_-w8"€#-F; +u8'(ͥa[9U'P'p#&`P4.ջqoN9um8SցKh9l0z&[@^P GyM r %FKlŎh܈$"DsqmSh^$_ ؕrgl4@{N>D|na(&(\ I0#FQ.̜GK$ V[᳘N'@H=ĺ\5D:X&$ 0pb?PWOc7``R@7. Χٓ(i0d0dlAd9y#3 S㵣);/W/=AxEn|NE;PoUdEґevCE޸J.rWwGU 6(<&y\jFkQV+՟M^9c’'5(Υ$8- گ9N.8Q]$˥wAZ)vKCEc){m1p2?- ~I4F۳}EmS!e3R'8syV[ױɟˆ%E-#.R6ŞpT̶I@AU#oP]Tb&|yD?F^PztuYC̢[jZ@4f Uy ݜ'o>Q sMfC]o6g5xw.:>qst5~ɊE  f/d,smƓٕ<_t Dhb;'WJqt0ьr[VrBVk g 9~nGrIߏ_ܙ\%/Wav cE) NIuqo̒.s[ VB~۠[-o4M*az`|>-2k. zTO7,Y Ƥap"k91tP)l^oGg$'+8XborVbF?o-T \oƩZ/hhm#m qc^@|.0xۍa66E!̺c{] I젻l}J$ YМ6՚ fuWǶq,N]L~n I`axÿyrjsXQf2g6C4{hQm^Fb/!c] CЊPdx12ZIo]f'^ͻKje7Ub]6f)`OLn9314s7YkI=^f 50_:ז|{ T-]SA (Fl>8Z '3 N70|vDuNʽjdɥ=)Li7j{Lj ^`7{$v좈yF7!R8$J&KS)h֡ɩߤgp(xzkG#C~(r )PYvGcĉ0h?sΪ5!I!fr6sOxrRK@rP"׸]U(D&AQƶ=|\T;,zͶ]G30+l@_rO}* &’rV4r!{|CA ]-`bI^e6+5*(7e*0Ppo5JE]&n*tL}@Ɠe -&A<ƒlcd?+ Xz4uD9 h^eYd.m%+͐Pe+.(*:.^_PeJM4WD%ȃQ#Lk-w)׸}DI46Z)]-X%DW"A-ԩyu٪*"UfsD'`61'%2 {]߹ d 5O' @HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHV5"0mRr]e~ ՗KZJ)3""XOK9 Mwn6Vu$zQj$>5VlEXՅv,1bV m I"aaM0⛍t ZFEE2N:)|R:K#Nj c&L:}B 8O*P`J`{x Ѐ$r;aSycq8,( N:W]C-俛/.J= ,"F F4>a[ pj}s{[sa櫬%gֺ)RQr5>G qzUj)u3сuno3WEյqӡM-BUK\am'Y>VTH^iAZ(`/USluyƍa/ƐzSȕ?uudoZ)jdpz!T*̙9 z^3a&$Ɣ7kݻ0Ğ]XRjcR}p)e\䋬| mjB^7{r=ZUQjJJ߸1{bi.ubEiH2j1 e@` ( a 1B!@c1##D>.45 E97P};JR .,#I,jbh'dnVGOT"]+-zRwT례/AM4r8aVٕEHn?BYAxGJ]ע5$7a+ʘ|_Qf 5,&)Eyb-4\gnV<=2#@xg &)zBgU erD*#D.dɯC~3f0.r +s@N6Y5؛$#Pkt To2F!:3;(5_ހ/jҲ la(ٚa eaP*R¼ ry$ERiqy۶Y#GljcIȆMnzaP% MFP:ϲ$tT%V];GMT9 j4*ǡY ᰮbZsbBk%f@#D|YBΤ}{\IB WI&DFcO Cw}JXX!d~Q BJ嬝iԥ'vafL2JT3"bN>CdyQN!b,Z9hSa1l#1Li)lP&K@R#x9vW/Dv2qx;?Co(F&eӣ=1[@*<)CUbWWSr7)ٞX>c03.Wtď5<|8ޱӡX?). jgq߃D|x/Թz{pCӁ14U2$QuD'NA&2zY PdJb! %~߬Mƶ@-у$a !Y@ks7z)?^Nm]4܁M)Ɵer~8OY >jVnk)^0;<8?@IhN՝k*-myWDӆ6 l 5O' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օTx# o03E?0  $L$%5+ 2 yK)8Hu ؎x6އP⛻>h0p>ހ6"ȯ0@($,(\\!ɦ~0/eu <> 4 [s^&O>tA#|2PSHSQq|֚S\)hk97+}s͜t+vTN6 sy7qf3lib?]OŇup֦C'竊l.^bUW,5Ԑj^!ݬt)~:[y9>T(n\5mH| 3o=tajܻwۉ4AMITs8 9G_|NK6\D݋"Fj!8|23i̫re )Me,jx\= `AJA:΃M)c͖-.Gᡁ\4:bی(mNZF a}*7nV=+g"V b&t۩W̫1wo>#IVA Dhd{"dɞ=K%T]IL&5߀^m|r'jD-/3D*y 4GF-TCbibe;Dsa(K22ft,2dk%MnQ(ѷ쐥Gl7AߩiWQ*TZĭY1ʶa ᛻cVKeWJwwc 4V =f)OH lbNBFS2ݳO诠&RP<Õ]j+q_~zm:-0mWO}!ӥ!qjE+AVM0:J`#(m.LZ ZajNhӌ-hwQS&MZr ֩pEyQH`Dܖs$ӁhxZLmVFFk@ ?>A{ݺE`[''`/3_FѮf, ] u&ֵ4FF[X {vl dҚRqDYӶ8_vn>gT ӥ"2dT(39G'P(dZ3))dm,}o_!\ &_'$ݙJ,zo8u79! Z?:e}GHVsB"+\=HpVr 6y:>g+N E?*Xɩ"cLȤP b !r3R0ݠ$|6O' )4q%9 \{9lI[GퟳK ?{imwdIyMp :iFue<@C  X)ޏ)p3sIjIeԞE0):Fyٻɼʾwӗ;0E1ӥ1 UzUs3 -;͡AW"}>,$Q|rBVtȎVsϣA@cӷ~28'kl1v2xٌEK|KqY}g 6ؐ]NxNyf9;"Lxz'͉%jpIK WRCh(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