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_exportsw m~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m( 6)4V(RVGcU  HLl;U|)z:Xe$Ӧ_U kaÚQT`EAj'``eDМp(OTD$V-_jU,Q=I{IJ8XXB{TMEBy ?V[[W} TM|JDKxԙrbƁ;w40 6oHp0 ^ ,AƁG g$ÜƂa6/. 59s?yjgIUq} CDwI4w慑0EA`Hz9J$2&,""a@ %p0 )Ap֐ǫ_?%?1Kv=6RZVAjV[Týe'>{6Di)SH؀=TD*mET+$ QUumÝ+F0F"׼TVP>Jh=OwbmТYUfkcg47 fn`)0٣?j!uN(_ѴCNMnAWg'M%K7Tn/|ho\kK;IS?#ٖSf kX;> cUGѪg0}"L-?0W8?!hHQ[ ]xEO>k''Ȟc&ZR=JN|#bW(wf!)-t`2,'Y;'8`(i }՗\z<}wzjC@D@gd2JO7|}((iΈ\b8@qBט2. ^:=r;aSOZ4w9{,)"T|;JJ*dVض# :ŏ6~5oȬpŴ|ЏxX!U89M欬؋+h#DMlj:  Z5K' 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`En|(F#@}f2{9׿Id7MA@ ժV@쵥 %$P.P8hAJ$k|JB,$q8;OEIV@Dswk@4Ez,q?6є=9ͱLb$Mdj(Mdr&ciE͸T@(\/; ¡j:Cc@BnBƌ35 fcO>Uޟb<<5MlIꙙI=$ԟG e `` `h[ hAζ  ̶ b-hٖ!-H6AC#ZP740D bۈ%Zб-mFcD Z[B-6Zm Ѷr%&G5tZJ彩{>D\l*f" z8y*Y]cn}W- էYQ)p,rP+ROtDS|ks%PԱfp@|wgbiS3)翺}ww;X{sUTlsksŃlDNDvU^VE-ڪ5.Ek}'uYgZRyjxnTL.ZFHc3A΄+ PfDZfiM䁠GnяIżq?:-cQ#IRRP4Ch`yHi!i,P  @ AD01A9lXT lPH00AKC_m[H ]v$ bLE("Nw8ewJ+e@&~6}kƉchXGΐͭ9IMFMd#{1LN֏P HRh U5K% (HOL-Nominal-ExamplesHOL-|$\#=  ݂|{xths[pXnWhTgJdI`G_3\2X1W/T+SPOKHEDC<;:976310/*y)x'w$v!qZYXSED C > 9!}|{w t s rnjfec\[ZYVSRQMJIHGDA{@z?w>r8q7p6m5h2^.[,V+*'%! >710,+ $ gSo!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_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/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    5~nz 3- UHOL-Nominal-Examples:threads=6elapsed=335.053cpu=1622.381gc=115.147(/\z") KB;75̫4ϲwˆM;e esb(SMŬEEnn|a ]2BW{Oh.,Qm;bKfdmni)9dQۯJmY^f#qDY]5fXӓ@*f jR4- 7Dh$6D+ipCuw6P< A@ҲdBy9C!u X*.Zfun@  A 5EDDEΫb2o.S2`P4 XB"n 0]ED @U{VL,a 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.thyށ JOw),>Sz,ZnW(4Nmθ6iRo c/DܰW7OXn%xp#Q+n~":Qx0oFbz`{kQ V%-ۡe۟ݾRK!~%ElNb:^U19x*%7%Yq} +')E楺KSTo϶#QTEUQ];Ij>QO2Phn2##&z!"BMZH9݌'qw,}Je/ +:1o?ؾpֳ`.Llݖーу'UJZh$pqCW"a6TZz[$t'Bɰ癛L_\%|@Nph$dw'f <)\Osn">l7-lubXJ ҴЂ)ZHl+l #y”/C vYKFϑ`$%gɑX!-U"9R5ݐ"nn)0vO.$Akj/VX̠QS%#s.pK}eTDfFcE| m(Z18m]vTX> J7>̗ 0oXQU.0T +vZ_x֣qۛq~]q:digTCX6WX^Xc+v!LPG2Bbd%Cq93PfYHȎ3DضnH6jzD QWx "W _|I|E^ O hO]@hE_yZΞ&U|N;$lZeeDpf;Xi<A07__Jyз0&0NmS1(5ϾN:,mg/ 'mp)i KQqt;n#z.F 2 (A5 B 󅅈R4B-_ #Ҋ%"U aũUK$eyh՟ʋk`q4 GpT)3'")jLxE %Es%r,Dǀv1iZ-UD35?bYf'EeY`%W'xތ ȅ(uxI'GQ wi0 p:O1ػ"v9DxX|yl7/+XbB{t׹*eoOp5c j_YV~κ-r$kWy#tevHҙ_\܊'B6v7)Q=L\绲ԇy'љ [^t~!fq9[nK>PQ<쯩\#զd+e8 uu|\`q $JL: KdIlԇ6Պ sN.PV#"4[z&8^3Fgɢ*:倖@AELƒ~'om# *VWK9Y2Mms(BYE/ǍLlІqwr`SK-RnOqR?7rx bBrSȊ`k>($xbc-8<`YCA,uwZOJ-*EؿVl ´r>r+[JwNq>ը緈E8#ީN9~/x=S1vvi<흶y kݫD \C٢:` .x ̀4Yi;舊!BDVP,PB{oKBpx/2km=H݉W#vQSgvX\ i2}A8v/[i'tW4@v~Sa`َ;:^ZwpVklL5Ox'.z*.ad8`E ]x@bbRgmyi<%x`Tp@Z4'>}w=9$ۈƥAͤ68*v ~хaB( sr n1 Lj4ώͯU&FMg'-)֛uYƀ C 0u~x=$=i"iC}xJWM{:z#.]6v g 2B s*l1-~LU6M:y8jKЕ"rlQQo{qyNKn9m{{8ՠ2P.4-ֺW9C n逨AU*- 8:VΘH0wQvfHHNqayY0o#* 5B&=Y&hc3wFhQ3tm4L4pI3"ÌUlH_9kc zDj6_Rb ܨ-A6=;-Af͞w +5jr1Te#7>Y0h:y 8FvDTAtEbN1` BZ7#1i6@P ˭ly`8sWaDe2ko9 bu%)BܭOmxn ]~ D%{³Iaq$>:3I1k1|V 󝡬Ͱnu*5 jr{= ȉyoHV T6+O8}c5ͤQfT䤸3BH !0~(eiĊ1]3*:1];:F5iHG4`n0. U O\2 0\i35&7 cḋjF ÁۦRv|5(VND%ʮl\P iwJQF u\t&D[ XcLO*X SbAKbaνũ0ƇT_ʀPqxr/CqEeg\S\%6V L"FHTwh=]dc7IdY -9ǽLhK`s9mk(nPyjģ8m8 ՘/r5!ɒ+<-nQW.q␑c428k ݃ ^OY\cы:xBhI=>2FSJde;QNt$Ϙ^VD>o|'shLM29boLrj a xUUVqwsu񵁘&jf ~XL0T`yWGєMœ=y]i+L[@nԅ(=z ;2ʆ;ߊD~ Ί|_vAy}B`}T7&keo&7]l˔eW( I놭<@7(4{,A\H_UB,»7ISa0fyr!%,q"F-3h_@u>Y<()g#6xwiZ EO"RBITE\iB!|du=᫧1$h_T1#GsϤ #lHݟBZ@IIV3%dh|#gFT};}-m HA.bXytj @4*]`>mUPr3aϵDZ#*5ID&vkZ`o_C,/qhs`|-iE`X_UF4K| %` Kw<cjy=zk(s4t͌/')`X) zǧL͊(7!|df HY_;[%Z 5$.psRI6"l`ņxo}rzKj9ZlW*i+FM{fl@nHb A Ub f(>ҋbeI%Y$ҶLuu @w_ƾ乊N>$sOJ.4BE 7p%P%%pIB7lomu--LHbXCLA:5Ǐz LT,ϟ>{f>: Arbݷſ״+ 깮z@y?dNjȮ]Jk= M:͌Y+yȝۏ[m~3|NHjNu7 \guuMI4`:pR$xzr/dzx9pRf2)=z`  J>Z.lye0ll*f̝m?5Ì[{K'hg%;V8+5h*Q5^ީ*.rWbaK(ZWC[fRYIJW2p0VM|&b#7"tУ"dB4 չWa3(kBz"A!yM+?zIWwB\_TBʒG6M#V-̓&-45pH.Bے` t~,.EĀ@HQGGK\VC:J3peoE Hsȏӻ;2w"4As02VKHLhÅ @?PX C{Jg1nۆЋoGW!H͸WM He~ే gi.W8ݡ9: ʪ+iF 9ڇ bI{# !c&CS5nrabD^ pԺqӐ&qg;g~!bC45Ǎh>0f9]lh>r%p׈um}- rV"vK0rIefQLyCњP5FQ;cC$*+a+Fp6v:"ʼ7tdL 1cI:<8 7JDPÊ1;q-r924'ߐQ!8{`CЇo7dq[LMzy6eΜdF "YPFaʪ^+d=׶ԉEo,Z@&Qwť e'3x1 N!Qc{"D2~}:fO6-egߖ6\/ EFE䦓zq!gVdȆ`fIS/|2!_ig19OR>:"WM I+GWVg{a"¤2d޿8$ƸhvV&l]@dzF* Dgx6, cec+,AF1_f?{dG!NA/C0÷R#nf0\iXCE6X.C5ro w$ƀtT~A6+-`9吁)(A޶01AFoE|_+EާUCzu8Y`OO[mq u5`Q.aa*}P'br,qkI_ lrs&tčyኴ`ض@xL\7zr׽O`3݂;+10FEPyS Nн! ]=6@Tϳ޽ךz3^acBr+-K}DvcrEM 0D9%}]:G &ZM%a$Z{(Yao:|븽BT7td- IdhWР$w}hӿq9:/b= W ^XV$:@`2+n<˖ba[ EunvQD :I6ފ{l,\~Q%cI*Muʤݒw%$8cGd}aRkVb"`D:QH%BM$@8ϼïG(;{# =r#ʛ"⼚2l}*x9ݵz[:Qj>)i/b7Iƈ^_/V-%r '48l|gX)og!c@BU8`2{;t>"%Ab )R_:\Eܿ=nlW\U*3MEz*kk󣪟iOϿN0S˸BL΅cL3Ȑ[[f2Գ{xN땦mS)(G ynZeΔA-:8a%&$wɢKq]سcV1ҍ)ZϿuV`mH vcXɦ=CVq~\#WMO~.2ؔQш R5%:*.]} y[rzq,>}/a P'y۩ Q:\z 3*֖G񺴲ӎ 1.wng"&U;Sl$FkX0&=7.L0'֡u) Yk՛rMKҘ2I% q1bT4![P'| /u 9 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| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@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۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa  JeC5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1}Ja|( FP[Ms_KEr0|SRRRIMPCM”'b 6.9SsT!4Tf nⰦTzD3)ﯥM5:3NkM㪁e( 6)4V(RVGcU  HLl;U|)z:Xe$Ӧ_U kaÚQT`EAj'``eDМp(OTD$V-_jU,Q=I{IJ8XXB{TMEBy ?V[[W} TM|JDKxԙrbƁ;w40 6oHp0 ^ ,AƁG g$ÜƂa6/. 59s?yjgIUq} CDwI4w慑0EA`Hz9J$2&,""a@ %p0 )Ap֐ǫ_?%?1Kv=6RZVAjV[Týe'>{6Di)SH؀=TD*mET+$ QUumÝ+F0F"׼TVP>Jh=OwbmТYUfkcg47 fn`)0٣?j!uN(_ѴCNMnAWg'M%K7Tn/|ho\kK;IS?#ٖSf kX;> cUGѪg0}"L-?0W8?!hHQ[ ]xEO>k''Ȟc&ZR=JN|#bW(wf!)-t`2,'Y;'8`(i }՗\z<}wzjC@D@gd2JO7|}((iΈ\b8@qBט2. ^:=r;aSOZ4w9{,)"T|;JJ*dVض# :ŏ6~5oȬpŴ|ЏxX!U89M欬؋+h#DMlj:  Z5K' 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`En|(F#@}f2{9׿Id7MA@ ժV@쵥 %$P.P8hAJ$k|JB,$q8;OEIV@Dswk@4Ez,q?6є=9ͱLb$Mdj(Mdr&ciE͸T@(\/; ¡j:Cc@BnBƌ35 fcO>Uޟb<<5MlIꙙI=$ԟG e `` `h[ hAζ  ̶ b-hٖ!-H6AC#ZP740D bۈ%Zб-mFcD Z[B-6Zm Ѷr%&G5tZJ彩{>D\l*f" z8y*Y]cn}W- էYQ)p,rP+ROtDS|ks%PԱfp@|wgbiS3)翺}ww;X{sUTlsksŃlDNDvU^VE-ڪ5.Ek}'uYgZRyjxnTL.ZFHc3A΄+ PfDZfiM䁠GnяIżq?:-cQ#IRRP4Ch`yHi!i,P  @ AD01A9lXT lPH00AKC_m[H ]v$ bLE("Nw8ewJ+e@&~6}kƉchXGΐͭ9IMFMd#{1LN֏P HRh U5K% (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 %: `g;-̠֦ȤmM7!а45/ʉĪ' kU$ț;DB C & q1nrD'K\AOS:,&1DP܃tmRA` ps4p$͕ދVrwsUx$Tɝ\#&ɥy;ԋsݽrbU{vɽR9j1孹+r1BeTPFk`1   11F"5#:- X"}#cp,uorGd&lU_e'VaI49/cV3k1RV7sٍzhB[i j/s];mѸ,$jdhZA}X$X{<4l簠`lX$ ۷yv]AsΚu|\oa7~%թ97p \5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K# :HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/**k&j#"LO\!aew 0`b wT d(=%1ɁB%"-I,;UxHM)MJ8 jU8`$aby#jjpH4  rHF8 RHMBCԲKТABK4o;@`N,Iϲ>RE ,|C|hAh$@(t90@:Mr * H24Xpc<w 8uw3߮j&uA?/~_/~/~_?/__߷w;%ښYŨ1uG@CA28| $* $ (D 4¡@RW` ,!M;nwE|B)خeT.֗]ǘfŭV};c񝿢 3Q-*G\W1mS4K _\&/<S_'*ɻր$q\P^5<әYI(2En1Ls+'7 ²sp pV~%},y21'wi4`7|q+(yr|W1`s"lyɏ {y=NzKMF$|OԢBnW00JRU0f/7`Ծsh xNF|B{;OpYN~31>g(77> u#e0ܻ<%x&9\ۻ1͕dWb O^2CM+SR&\S&tCA92^,)G9kb36QdJJ6%cH[[p~ת9QIRCx~Wj<{ӟ%=̞& mطxz5LTds| kմxX: u]$mCx͹u=kέ>ל\{١C$}~FE>>FD.Mw1YFk^$}؀As;A4{r!, >WL{~.pTKÊXy 5FVMkoxHShنZ^PxP ߎI>$srɉ庀IN4 z6Wr1,n 01E!2\hO$qx3*:lPw\p4569ÖN~.Upi98kIx:pI/ "m\@Gڄ^fk$h/ )'P}/KW]@R`>y-)p/R.=ckT8o~/ZkFѸ&/]B2n L_@,fp^) yB>"Նknk  kn Pq<Zjr,h L'"5H"42I_?SX}uMx4>&8ԦS7s G>-ɇ*X'3 G_OLxC>U вb'P{bx1-DD{) /Sb;95]lZnU."Y<?z0600w8b!|:>)0ه鋧` N9s ФCsp)ؤV6y'+esR+{pS` t=*93#mD(@5[DlW3 V0&?֔e;<"mh̷,LۨV|m D#@qsWc.u'ֿ؏|L*r-uSؑnFg̓JiTBO6XYoiO~.0F' E'?=t.mO/n  5K) 4HOL-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+<&BZBqjFB[f@ S:$ B(].AKup|*#bw`qɛ*Ҽz@ x 2 (N:0ޝ QP.-W%.}2[7o"m^‚o1* (v H2I 9 S(w W{avQs]yʭY;yl3p1? ܒ pz>☆a?;>f/}A@p^b9w"~'?LIfDƽ9{/hHk^X8$. !?(qzg;(K{7+8T:Keٯ4c7?MqT9'N4:akYv; y_\$⼓D9X6ugV6W]+;B\R&T[zpnr[apNS, JɆ< 1MlՆKHh fJU}ֽs\MQZd7܌tJ+#_fE*|@ }ҰM3tB 1ù-{R jRԣ15}TuP|ƕd>ᗖ3 sܟ|qZ 'XULGcP޸Կd'x\o7HLRE`5w1 <}Cl9@Z.ۨuGC.Ν/Z7}KxM%wA-\6o >?Ru DKGO h '@(1hx H" l XmO\ w#u`1tqnW)Tw"J,עhi ;Lnykk1uAmX)7TP\<9+BbZ`f_s9:B;Fq/mIy1ru lꍥb|{uSz1Qbo]:Ά_dޱeaD);?];X()gn1rl 3n-4D`=`WW 2X\Ӧ @A#c=Pc{f5񰀑>6Zۢ۳ r6;^HZ.ϟ[58DC^V:Q Yk#!,?^PsGwu{k#*U?CI 4A8/|r0с>uZE $X53~TM¢*0;!7d8=&偋ж'8ˮR[U*Ll*!Xh0/`˪.VPc43c0 QXYYWĸ{`p기UBhܔq)-Dj6F4)զB;7^a@%^̓<75b[eؕ9'žɝظ> uS4D7QQ` en*}gzxv4!6WPL;NMƒ402ʌEE30?d঎_KFgc. .2X0S!-#k Z¶lVBTy/k gi_T1<U.XiYsjN'NsIތRK"$5oӘ `df_l{Ʃ8nh0gsҪ1ۙKrI$ȶRO >W%N][x0eyP?BukD`ZRaX~ uV`y !6ߤٗc(Cւ](b4$:cq792/~Stw) ߞ䵑(PrzH=x_g`aH&46%8Ñn`ry.ʡ͠s)߇.n@> OhwMc.1o02"16j/;fkEp_|^O@^- U0O751J!O!BqqGv"Ҥd*L TaŗH1HaiC`Htڧ/d0{Y[drqxSIƴθhzBI~BCxQ>PVvzG EV%25!n$%h Վp}X!JOEܦ۩p2u/x+J}hx"/>n2T/$gb3ӭΔ)r- B a\f.ML*c hYz=ӅԔ ^{E=->% `_{s,%Iv^3Ax1"V\ZuŏV3hߘ{sl6Ow$7uݤ;2Qk}á`1Nq q'ibw 쌽Gq'FmK! =?%Je>=(g񲦽I0F1ڍfx_:InK~X.Q/Αy69[hk?1{((C0o k I1U"73=_(ȟ_vpXMs6a7%ٜe#:$v@uzԐ!!c9R._}A˛[&O@\׼E#ur'ccY ,c|Lv9`3EWmm/ÄD-/7=v[XO~H#E {ydFӦnR;C'N p$sob ct@Xo Vn݈P{h|zt vXşJs`9`he"r5  g8 ;ru*`QU`0媭 iᄂ.dn EzݍV+)qY=.mp4h6 ' H)DB02ŶIAK=$ < Cs*ĹUR@)Is&lf=dͨ ,zw \sha%Ah5B܏n@+SD(ʼn'(K#;@7J&*ll$jV@=ݪB1h~6?zy!* V phN7 œ${:Pɔ ﰒ\& 'NV! }TW+|Ӷ \Xä_T 1i\sqO-d&X>R`!<I4=|_UH6OdtVh PU _i)8>BJ2Im9333CkOH۶mۊ ѐE833"!pf$I$)BD6rgoD3%KDU-QgHO5DoWD3jZ UAƍA488(BPAre6m{m۶*FқhXdV8(r(WIbT栨 $D1Z ͔[L-&]5-,&&cccc-Jk׶m۶&2QfDHDD"WK"T*R!!UnАFnPd"m"ϔF߶m۶mPH*&ܖhfFnܖhfFv~Umh3[5fL t@EA(@@Q,h`@( P@ I ɹ vH[5fLۮj;D!}&]͐2T ajMԙȶ """r\"Wk?ߟ~駟{iӦMUjUzի^W۷o߾}[D&*"*"{U:3 p$|! 0DY^r (P4<<$ < $4XP, ( (@ Q:+|st%Bvc Hz4F_F >g@}AR#w ]<kÈ`1w1͂ j~"E-:1ݞo֎ p~Y&_&mAm["nЭ]tqK9 `,ńu$6ې[2R{5(:o"$ 4gl/U?^D $VKOD=]l1An@R|Rr0y4@xryQyBD=$tv>'pԃ\9H{'q~t~T6GF\ܮf`.A~^H e8.^~R+la`U?ؐ_OO?l [kMޏ @Nq^μ &3yxׇGs_^|hDy4ФJS^捡yn;œ\K_ZsXc4B塎%ҹ>Э#pjlV)߾'̓.X_`⺾pcxWV ŋ1sB8vIQ1c b/,QY MY ޲uњVlIdT\h~᥆BJ)b䚯"Ɂѕݎ]@}HVc^sy@AxWU2-Ļ1bLAlݘ!8Sqw LgG 3gh1i!N?PSZ{OtzRScm&#Ft ݎq-$eōXX#vb`U\|,6 YzHuv6Mp,Rp 0BN큼pTNً}.,~ζyZG$]1I`\?M0t&%wm_Kٛ /J4i] 5q`f|h"#ɐf8zYk&+dZ˥5j }bn:Ӝ+mi?$g8> ܎>"(\zՉ8V tk l_A:`x-ɦ2G兀p_, .Һzsm".3}_0@~F3ߤ4! &gϯAC.056~Hmp6J9!xm~z5$,"21awzSS泷'&jPx]#kc{n-5H,-s7'`PߪFv[{5:39yؚ%왙(ei2| kء YKT57(B)DMk涆K"g/kRבn>l}@pȟI*d@ N4ءsJ4R*r c:\2,G~s8sPS7w0yHp=v+F\EXF]AQ̭Tz cɊrM7o|45ۚlkV7iAzŽ 8] 9(g} nnČ:`QhDQ06' j#|6?;er ,3|4+$4xQ E"qgmTՇﴨ F*!JfC%~Ll׈vctLBE/}eo/uN2P5|ڧZredBƭwV4{ eX~UFo2E*?u ʙ 7v@D\Crt(,>yNuτ9e kdYɒQNKf"а##ӓ,%0ΐk޷/EH΅5oK^JKx%9Z/!(a6"89@Uc[EI/ӊuJ5$HBLǶ1W3D8xZ%TdOpByTp}7`\[juNJTHKW6,Jn4DT F%'BOKߍ%Ł[I4]BWlp۝ S[ԜP=rʼHAhbGprl̗aƔ~2>D)GqDo8$Zln/TZOϥ#X p\ j G_-ب5G*"c=tzx*jܱ1S,QeYvCĦ#va1nstqLOH):]9{HyZXIHv3?*rQ*V ZxK21j%DU`\ЈͳL8sţ="~2){_dkeY-FTlQOT]_q)P/mi ;{yIadq7Ŕ})V= y v5uD@*E`Z-6Ζ%YK8;!Z f5B+n=`ÒJ7#,C"IhBH|Բb%[X ?.H{}*^@t#buM//w(+wյ=~z )WͣѓBl>z[Z^+ he9`}zC㶦-Mn8"#ti q~ [{. ^l0nE}rqƵ [/g_lp\8bq 4ѧ)זK)Z f봦LDUr"ogӬ~WCrP8=j}Iq v'1h_s_{|uP<KT2khi/H8C)]pJFRZ>8G~!'q.|йX\__ ?hnCE@ܥqp+0.f]͈v!/_ W,*~ZE+WKS*FA;*DV{zCa0ݠ}|{N$V@~ыQ߫=:Qڛ,ܶ UpXF\ WiTۨXi1ۨXbTh4,'7yŸ ӲѸ=%^XL6P׳Ìi-$}m Gz=r}%maxv1`w ΍r3;xUbx029C4mTVeėliHq٥FO7׬'f>D#uVf^:CScQSO"%[RhԮD [zZV1V` |ӻ础yxD3 *c=eJeiAYnz. 4ҦE.1Md+mV桋VuZtizk]h`Opf/f.5T>TRx)A8b!KCP6Ƞg/"^<@W3Q&_M\I&5W?蟴Z[E۾˞Yڗ#5Y~ h<+B%?.XSreQMޅ :o`o)܍hmՠg3.hOr }w 6+UKLwȾ$p7(>;W c`Pd\젪,țIkf&7j9HsρoMݼRrt`^A֧|FZ67VڢL~I;;ځuMz$$ X;UtU_~a1]@(ߋ Y 9!# hCAČ$e)%(՚6]U3՚6]U3՚ ͞da6%@8LI  հ8LZ& @  @Ph84,U58mC0p[*"{-yz@$ H,mWٞiɍAhqp@$VL*"gZr Łk_UD;Ӓ DL[bԶmK-&M4ir!rnݺuƍ7n&2Ld"""""U%=Sn???W W W W W W W W W W         =l=lD=SnU%=SnU%=D̴%kc mUDk-N'"""m۶mm̴m۶m߶$I$Im۶m^lwf-Y*՞iKU&7ӒI$I$I$9۶"*-[2Q"*-[寪 i $XHH "k%g3-)_Bc)37訊ȶ$Ir۶m۶mɦ5/d&UDeLe21۶m{lffff:*]3n"1$I]3n,U&=ӚUU"3՚jd3 NQȁ0)   @c@$Jf;5fN1pժ PfMk5v nBwժIBL`*\6Z՞}5% Bn֞j҉Um\Bjb#뙋<,6LBAM]Vb&/>ڵz5f<\lZe. nܱW2O`SY{)娜BG{X\,}uI޴| GR73RvV Q]HमR˙f vxU<0bMWT9وHQ(5GuO{VIx&!˂=<=]b"֑H*[GUJ1A~Q A3(\@#S|Qݓ >#$!Gm>HT y(VT`^X1ҨjB"l=Ōޒ }c6xQ4ĘdJm‚Qz4l4t' [lHMQւrpY*G9+J,jhRxXnX>Iu47~.AV嗓):ȁ5O 'KkFPsoXm@s_xK9h$yֱ)[ Q4Rg$S$֏_FVaS ,Yv9$b7Vр҆PխZ[;k0e7ꐺaheVgĆX[ڛiY =DR408ד[3;8mlS<{˓Uȁh1Y2lTdn!֜^k[Z5 Z!daȶM۰<hT E"IDXxn#_n~TM9_Q2P fzko~pe'}&&E+`w5t 9ECWs40$huRzJ35bwDz9z{=U Z{W )]jlF#`|8hUxHeo4C}vBƴPT,R3mEW`}LTr8'j ހk@cߊHG>SZĈjHWRt }uJRER@5³*aZOQUxLdl4S쩝BIT"7w7VTpŇiL4_j R`(ͪ!|*FJinUҠO 'JQKHI(c|!Ԑ7Uhw_-!y0VN0Z>)$IbS{c"*Zj[d_|>_i`Ij~i ZjY(F-FLu>󖚺x*uAU \@] W *`VӛEVGхC,*wBh5h 1Hh) j⤪5G.(L5o U*`woMaUzjtU(:U(;T%+Z`f&nEuSDcx^F10nvp'' ؓ٠T"[*5PW v$;*}?3=hE{B*mW$7XXaPW>d\zAJYERm:9mVX2/\vV8 rBJ銾l^$I:o<Ϲ=j}aSS?ҟZuh:;whH?D`NN\*BfBg[֬)xcjhEv'C]X1Ө]G;`U$D=SLl(UYzZ!_R^c7Xw;w fdȯ]>NFݪZ[ ݺ[om/1zx]rڮ+藫򺫅e`7[`[K cvؽ,B~nkbwV٭.-!nY,cv7]MEUnt/vv۴}ݻ3nj.vUO&΀݊\l7lZϴ]6ڵ]=YNFn4o.~ـ^^.]6*qwq7Tr7U#I5ʪ^bIgKͶM{y[G:%Ioһ2*d(IrOuśp6 /$ ?5VTRd{KW뢋5)+I*୉RIB{UV /؄cS>S0gԸ[M!d*nY,S '5LZI„ӻo5B%IV@رt ǯk򱒄@ޚZ )$̼kb҂&{'q)%_F+lhRR%D 5@U'[]@T%MkB UM7f8?h# өx=S2T!YKtij]eDTx Yf`YjrvA]FWet nl5 $-ktedfOmZNjӹʆ%uWKu+>W&u-i6L,l^ -ϫZ֙4gS#K4xW+2j=AՅڞ ٝ %H:n{ W"d;"=C5vG("}]>Ĵk&NS2eJ4eʙS)0IvԩDL դ&L;fr:!S5mD8i6uД)Ld´@MMƦ:/uG8TPD4Ӆ@{JqSJ!}銤6\ $) `Tw21(4[u=N}`}2 m4b(Ūv0-zzC`[hjݦ=Rl=!Z];˪ySSR\$ltw?lG#eQ ڎj  [u.DorEŽ)W>H!j&>+"(JVQQ> E.N0ØY|z/}+ˣk!n4^8L_Gx{[LEѧ-$#o[ j0 %Ḇ%ԴVv(Z!H*ѾTT0RbOWwQIY4tfchn0TCRrN OLV| XP'gB 7EFoH|3pU=J~}I\%(AnMO>D"M)sEvPbO41x]:_KF8O/"m;LJ?P2w,@eoWCŒ5߳Y2R3 ̴`R_'R KvyۿKe?HW&̨ܮ xlK $|zޛkLgפcO9F &KHVdKs1-kFڣUL|tXZ6L,Ox{ `2_CD;J!nDGh+~x+Q,u-)O~)2#B{:ڜi+M?+#;v7 .n#&sQcXSqH0#^>g͵=΁F[u^O@@,6uߤPvs j0pmK^VgO5ů_R9Tctqbd \D N2oq~-8lLfSA: osFֆJN d]ߙLLWCر4P)`dm  !7r!$iK :dEo7W襖0քm^Jȡg#3}{?0uC_M]Kc'@ރ 4]t=Q/jyC-sJ8Yu@[FɌ~fuT2sTV6l̤0pCt~3l3i,.xafFI}4h5;C%sp7PP-gnu MGwz|#: ˷Ӗ^I)%Aom2`@SD  @H C/d/df*]#ݷ/ҟ:2":k1EV!*0& t^l9L!4x@Uf!$ǟ8&1UE,q8RY)7{UvK~WXEtZ_"*{Wsv;ARw]iG*a~3"[ҕptg8U~k YD[r TY@ыDu @T{xM EŔ#3":UO4O(*KDD3D'ϖH̄aBAwÂl:9"EĶybjk~W Ge%Un,V:@0 :1`Q^16/+)oUYTwMDH]DB <,X0-b XP3eiXG3 =c-i!e5"ސ~՚Ųݒe7 C04I?/41{aMו[a7c"mWyG<7Äa*$([d>j.q' Qa;DXmͣu1y/b^>aG>nvcCSp=K*9Nxj>ّD;BB-Sv\F$l!Vv`?Y z2&eCr6?R{eRË;PH88~ O!" -+ ,ȃx5*H0.G`w'-khy_YQűC^D*<\o#d#isZ|X(D -0IVzګ` Ą\ :67@\(G+CT4[{VfzBT9Glk(Zq-'Z-e {,"n:k/+Ǩ\6=݌L4fūݿ a YU9`l|X~3y0L ytw53I Iyy~6La/1%ruXRI1Ŕ0~=APD2rX74qf~k=ȒKj_#8Qg 93$S''08b>O] DyG92`*/4xە _[b1#vV"wQ+r/T2\=\Y bP +|5V:Y _[@#|}'Z0Sb'0@] iϋRgg+mDi)L9mwO˷3m3"Wvv zpl)vK U͎Bm?c2Jgh\AE}iFPOuJP_+7w泏fӨӃ\3KKAdYύ9 i6r]K m{yFO9ӟ@4잾x>vSvω.;È34LG;fekӾ}ӶĿCjl'EG3xhq4 m{uD*{f^ xnM2~uhe3JZIߋ]T&JtJ;ֹmq[ʣCb\"/fmS MEi72 < \ m @:" W1T ݟvI0aa'mrr2xK3,&aAB8 ̗ X)klF=R~M :O^p)QTv-vx`-A5pzsƀNߘ(k5&73!CbFToh+kεM>@jm{ҵlBVN~QQ4ORv̼}*/?6+*4n_ON_k'_YbX* ;,\PkNGm:{hO>TqcT/vQUXE6GU Xg-Qy2Wyߝfɡ&@nckl:nj k3|m 8蕴3I*t/(Nk28Wl+׿Zt;UzY &n":Q`5L_<`:}5DqnzJ~Ԝ M^+a{c_v%ߕxc~+=LRE`HPsw˚ȗ``)]e%1s"-Zق07_oTH`>u,~yw[2ɷ"z"],@1슗'^p֟W9 ISK4>6[M-<_s!Pc1 ƥc-|(t\!}[!|=1*G/Xv*kI%`fq= A~fDT?}⦨+e*aV׾}2CY-9(k̳m(!K\fqH P0pvXg x(߅g PV_)Y<C X-תW"&LCIPiN#$ UD3r3[ 6ƶhlK!)qX&U"}^ o ț<>P0G&9z[Z%ecIdRU _ Kբ@0ӝ$@l&!1"WЍ'B^S3Ps&Ev7GcŽ[XpGln&BLm(L&3 6VpDqPTA2] 3C ^4nx>0t/5:~-(!QjdK>nOZ1OX f@{WG^a@<܁ܶ"Jl?OoR/hJxWJlmw}”A0m(6 :#ŏ';E5|(Q,+œwMcn2F!@R~M&qtέ_ #b[/l8;T"MUhH,ȉ6LI o0YdfP5BR'qƓ0gjZ~j KHdDC@ɕ ڜ$ҥ{IXlaRXֳD̽MjeNmZl//>(K7< e.HJ*lFW R:WD'xbPNؠ Rӹۻx$HKcAVId’ZNܓVE6f"&ٱ'ɋ`S5ƒNm*~hϵR 9=݁0΢_d׊H? E@4Vh9o<=.bVB?na2r~Ϧ!.c:R\pÛ1 B>$ ɤ.TsqՄD _:DܬX Q و*W%Y'g؏8N,r&+SUb4dֶhxNoD<_u+'ny3D zM͍,V#]܈|B9˿dOJ uw +trygYK.B|&Lx=i0PrsB`&2LqoGmCUt $UnDMXwîVZ8$D:auհduE_'Ǣ$ |pfk.@"UqIpwP'I}¾`ڦxfV@X 05%YB Bb,XD%doqLMi/Of=AKAZ(@_ߒ`r`+Q HEO%o+n'yH H'A2v3YqB8MWdhɅNއ)-jxUȤ^?Қ vrJ|CD\j.P yԁh]VD.|NUhgU*=jxQQ"Tov!  `YA뙁̢ĵ;~[WSUfߑ,_gyB{K olNM+Ws._h]]9A H#h8i ͗![$_2T;rإa`҂i{Vs& B+X,~GƙULW\Uo0q 7gn>;LF^gNa߀9Dv_qX te 8#~F0vuZ~{9J-HA߆0J.ֶrˡ?Ip'ZMK}2^O&c̥83?A\# Jr:]qQ5R u!"~01;#+ٹ+$v5}ںQmseh BL*A.Fe'<0lD{c&2*OmX!$;ԅ)3t?12 @??h=/ bV ˎyq~"^4<ʦ3w"G^E]0-D"dyrw 6urHJLҌ:jNI~(6 faw/`k?KWvF$/T;`܂c4H҂#Av]\ bOnOy'>s7rG+ 썏W#i^cY SڏEo]Q$7 TCsJjQ _'`~%uA Qeg6Hܘ+٥Y 0sMHtxV:0y &e~w1mF]# 7VgӰ7$8oW1K6e)\GWx&V.<敛y(2SKhE*|ʢbN=o|+1 wA~[p+BS:V(a/P=PBc.JǢnB{rLRػjP \d6) [e4IRi,2m!RQl@}ʄkY'^ ! 2?~ ⸼*+])XH5[9kI.zar%5߰єMs< L\X3X{5@Gw@̱8n3s}fI!upڽrIcRj\y/[U8|g0}!rԃA v2)Lp)NҘ(D\C%Er!w酑ץ&0%iKD7)%vĬĹ\g3E4 +;vGv4;prfQiN-nN! rǟ<+N%;@-UeU,'P@Q#ZTkS@3&FH^56y,v#6`֛.#sCo?&2ɺ'E"< ߚMuy\MxMBaN4%^rEEc,YBЪ@1K)pzaGFR:$Ru# #a $J3>qj:J"\T.)qߵQ%%0ȓ`2ĪXY[ZBaoXW@dO}ɲT*2@njfU8?81*g %aKM\{Jb^+/4fܲ^-J -Bh̞\#^tFc mƥv}%[{W(\`VN[έƬXO[Q 'Ay1rH|L5[:0mIq˂)l Q [P$ L]O]=&ݬp# 1dY3p\6.!*,f5'S  { 5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m b-PgD|xĴiIC?K3o\!ffBͩjjCʒ$r0kG5/sGڵ#S-V.Eys̭Zsl-gKɧmm(Tc}T>D0FD#?TN7ܵ8R_w ˶@2]_f##2KJ;z39"/zJR4⹡j"3ܼ{jDf0i  z̹݊o̿k֪əֈzM\QKPW⋯﹜)z>JF¨nɚ%m/:TBn3oNO}| Te$(&Lk (  BPBR0((#x7ڴa_i fnm:!o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5R`G덜{Y?(U јmWD˻j,,I u˻F" 1O9cG>\7]8P11dVՉ&=~C& guO )@?d*7fR92-@ õl9dDJ`,N"*vLccx¨kПť𻴂M ͎bOӷK” wf" zO+(RUݲ@mPSq a'.Hڐ,lpѵU AL:qSs:Tt 3@<9~54|Cvŕ[vDK7S>`a՝*drԓH7.a=zm/ >U\ LH<௙!NFa(oEl^d+Z֐lE#71Sl r.}{޻.G\ V Mm V.@!)hw"a4ۇO!PɭZf0wY."SqlrrT""*P澩_&׏mW -/=v4Ǟ;͡[@f;{ Lزxك \5&Jrv<>ʕ`,q]@]9[v=MDGosRÖmxpx[J2l$nhRh5o6)ȪF@7d=rL$``nMqtDYcĞAa0c,TOOL{?9ZeᠳݴNsU pۥ5Ӫ۲ȞdP]J W0T!s4;^еpQbBs QF{]1ԇowYtzޚP1[*}IEΚ@ggĠ~̚3qufb|P!?iqtNBvn#}d  |"=ㅛMY#{ԠVHF]~QJZrh[# a*)s3FVi:DMhn}}Rue (akKŷ)R،CH:~  `v1pavn*>AC~0@3'c'žLܐac ƑaVgô`_vVeo9%?n+T\. xI7wf@gkfyE'8|Y)m If8 R]hc Vs1\$:bb V ?3!/\;vW5S=ި&8Hܬ',VeI`ܰǘO L:.~|8\P 8yQ$teR<&2ACbq92 Jc/b38e6 e֛2h#X!PkzvIld<"Ҵ\aK"DnYn "1sci>)ިv2$5!1egedZFot,c67ihY75"⸌/b?IMQn seu!Lq;17vXF$ÂSSBU+RoIה6xG K2~ 7cPU=̖.#nr'D=vH"/:?j Fz,9&xeDoTD/}sTh:pI.k"dwA?潦*(c),; W"`('"l;)H )RLϰՐ9q$ɣ䃸T˛p4.bՙ ;pD R9"ЬZGBT$'_4- )Gbk`ؘ̋;c|yBiŔy̸Y!wq#Aaк ski}UIl;\ -Sa3Lӕ%qJ҉T>ʦ_i0AUӹ)S4}%2Og.#E^hT59:R_cqG<GK20^ la: oS߄,;>Wv|7l"%YܒA據=ኰMjnҋFEe}{S_HlR>=( ȴ٭ $~V:a;u m1+=0G7Ф2tf`.NT-2lK3jKF}$6ݥ:X2/$tNXyPz{W b2RԸG=tSUA A^bK|:|pѥ=e!ʂn/QNWr 8Փ+Ǎ.pңhjUVBmCf$ Ѐ (}!%P%`ptL**r}sX},V)fP%U-ö跼)RUm@\6=LH7JBϔ|. :Si p=4،'j%(9Cʫ]qxLfX+q5k8oJ3gB(D\Q":Fϻ9FgMVAo@m<.PkѡĿh'DFNX<yz@Q^ifS0魕ҁ'ApJ>-b^x7tL `X8}91uy3rZy$M|.SɁEJpP H2(byt/͍x 8`#mE<ÈKs"v$|,G(f-Bf!b#ݎV4(禦b2g~)pj\6\;D."S?¶~D)e$VZ+$xd$4U2g':' \ Xbru^P@<=lޞt1- IMu޹n Da+P[sm`<,cReOQ1r ˂XH.CoH9(&M ']+)ɿ<Õ=ܨ*#30`IW%&P0ˍ}*3zn.0)}|?=P%f!7Lo ~AK{wX`)d{ y惿,]E|}@=~NQ/G\F.  Ž@c?_5v @Ӂ8|5i ]l~䘍Ty^ d&qZr"瘻@r$ANC>=w!=xB/oe[0h:8k~ڣX>(. [ Aȝ+(g%rܒgml +#l\#WTGѰW1e\)bV"uˬ]T |L葰dh {N~(g_:>9O^Cޞ6|Orh8l\ԛ8+؋EnݮK; xd7eswr as82qt!|U~o; km"UէhKA)֙oe!/`LűxKroe#t%|H:[ "-9~VVl-§A @h[7h6bWqR){Eh|rj5r`y/ bԲx`&YvsR0{֞eb#1be lIMj=k}ŤD32>w`𙓐هT+.Sҹ? IF3oqSϼng_ͤV=_I͏a9ĻNd# {q +l\҄NgBpp?!LC\5#+&ô":rX(Xa**aFE~]C0u3_qRO[KL:dJuT!pbi+I5rtFGnV-tKНY%sl^h)+0)!S̾')Ch+g BA>W0IP"Xrk)!U(l])X-7_S_]L-+l;T̑b P#/#䴃C\f_4 X)0|IU3SuӼsh_0CdJsF֝H綦k (ۮ>pQF<9(\*a~qR\.7vPy^jK$.;64 U% S:]f 4Î'T! UM-$4+OG#|Z&{mC]bDJvgo= Eh w9FI J3*rtfPIq󝳜AEg%pxka5u11h8700d'Z@xL@^d3.C۫8w%NHJM"_ >6 /(1yl]q(,2K?.Cad@Q.uj0 _` Fɂjc#wPF'PD'?a:|UK"eD5 OaPo#?n9Ec34^Q6DGI6o+6У2?z_N$+/yylc\_z7gr.LTe7 <ʗBo"Rܲ?/Kͅxq"CMƇCyf{D}X8EI(A̩6Ք@\0PR"t#Aⱑ1 cK27 %e1a. ;.diGZȖʛ:-q%Z95 DJ(P[ɽ)cF=5+:47VP\(grZ "y qc(˘:afcޅcVeb\|D22v&@ &q:^Ucl ek3(bd|eD߂hC,xb}xS|ke=$E199n5˗<['+zF7$CLQ40 {:-Z0Q] X xyʹmlw)ް0JO _ciU2)6"0 Kq!AE&X~'{#85|{+K+m@_Ř=51EIbϥ#T"M|d L$-4 Z4j1VXSӵs>36;7,.Mbּ\qy3mG O#h{c|"J2B_~ejs(y;f"x?B]8E6h>[]CGFCցjnLas!U+/cg YC^pGGW9q26\0*3bVf!HS1.OITY0B{JA,{Ibhܭ} LJ|'L

e(fcIOQ8:rlr gXJ{spʏVo6u(1^^_-p ,(6[BUpa7]fdb/kNo:ތBL*B%ȰHj7cY(|`nY4\\Xk%BX;ŧ-`c_TNk|OyʹDE4XEgt3Mᎈ$cRᅾ܁ > lzU Wwa5dpSĚD 9?2e]`E1pM!*hsӵ nQ7U9JV[<.~CEWPX/z@ĩd4n4L+U`53:ݭ~eiysW#$4K_0tFb;jZV lUn=xxzrpҙh\A-!=G~} UB7vJT:-VOFpjNxˇçV-tẃ# wb{',zi#P/.\N7})=.`2rTPӌEy(j[mI]iu%E괥lמݹɵd+M C18|f)yrUO7NV9X[f~ϣThghLywrJiU73󛯹=hh?GD;^{; ߼޼g쿞Q]_n^=UOF73/fzb7:co_#eT4 %i1Saz1Ôa[MMLGDt^5747so̸v̙J {wgIat;l;_DoF<[ʡb繷jk'⚿yFE#xMjx76ޔ &(Sb,Psyxm{O;GtK 2:]TNg7$ Sfa0e)3!@`01 d./=E˳ S,PCiEOu[g= kXQSG_~V^hI+2*]v|u!Ӣ,3rq){[gY'j7eofޤy"01BM(Dڥ[Z8بk@ &CA B@0 bAAE2QB$99&`Ԯd;}sW4UZ@E+u/ UIے]cihq՗؇>UxtvTglŒY7(Ly_fˌi57lx's+o0K6uskf3.&G->y*hqv^Pa' 2=B.VnØD3O|Π aċc Qn+hU=SLe߻(٫:d:2;Mp% Df>`V|8U_;bXSn:mH!NU:8zF1Yڽ."Ffd3/>-.\mJ/=S\ C܃e>x\y?@j)ޔjE-0i ==7oL<7t@VNbI4Y=,WX野qo 83Z8WIos#@A?!A.<_{r x)&˭F $oMΤOGw'PBGQ'S V wS|`Ss$wW "XM O.`@r,Gdi&Lqa,MbyYn^?=R=E-An+rbe8cet^GHY{F}vb!0Ӟ~UM7*_ELBPHzf|5͵AKLdGMjaE.Q &yX ƥ>Y 430HFsgĩ_W_Nc8G 4 dNdS}WH ,#K({1LkTԙənh{dNUM#5|?PUP'RŊμsM41(J"Q!vg53Նe4|zR}ȕ3,ۈ7FeTcoQ1X};[z<ͅTTϑ3LƂdu>gDƞ&]?.+n`N*`Z0Q|rfݶXnۮYׂN+x1?7KKTI5IIDn`y" 1S1ؠ)k @٢x[4mw?KdKt5b@[rtqoٻg2׺M̠@4=e3ԙAu|#x"B%$P{ϒ<q`qj"iTwqQ5bMM?sYu$Rكy^ќ|j ]z>~sJAր~{J(@2m0]wOԟk&\b}K3Ɍ(xG_TCQlŮj"Ie-֏!nprd^M5P197.Y;d${`8p"C*0y+!w˒KV3L mjXt %\ D{]\T] 0R^֙y p mxM9:N `({~vG?SZBMU+^|*>v',,EJYFyVBNǃM}wQþwi1x)(1+{ UBSMt1sbM!@ās2ʏ', ߠXH3J>vC2_BWV*tX#|%_b 0 qQpbIZRRn1N vc.Aa9{LbKv ~Wth~`pATMm)ŎPm_T&L;&TYoKK(Mڅ iE`^q+ɾ<5TZb{P YR&d]՘#UUyfGw(XhwbhvslBPtwSs@r*,-g@gL0~nq7^ƾqB c 5O' >HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j}H6v"0m@-UvFXh'GNPSfDDם8Z[QPى՛L\!>򅸉` BaE]hbVsW#~SM4DeX|FHa@XeTT4`l"I\ s_aK,!L m$H$T`J`PL&ns'LN<|X„'?*/k 7;Y~\ERgaVN!ko/'[ pj/G-3RݐREM1{J+!7>mhdכ}gZr 1D'5jFhf6^˫ͫN.fRB+ΟknuJnKxT/Zm`4ȓ+e0aJp. Sjq#CT*20s8"a.s:FjS3"!7!GSK@{X1ՒLTerں&Qz K-uA#s.ŀdOQ῕~I oZ8ڰ!@y yP~RɮvRTD>*<LJCB;p ˙)kJ8R=`ԲXߎ{/y7$ ɷ2/?Sѱ$켪 %pnqف#oK6FͫBN&q~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