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_exportsv q~~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } w q 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+<&BAܾ <ԦM^>muZ5*A!!ٓsLRPŅQhP#AlE LD(b7ˢ.޿[^^Vq-"ED\Rq="b?.mNQNJ@*WoIP_WL=Ɓ2b=坂}W#hP0~!hpf09k^P4tá8P$fMxQA4^}h CY6=tqdџ"".bMb$M49&tJ Z }x(6 hp?g0h`n|<P0$n>рe|ljjҵʻ1bVD] XIL*FTsz'b_^!2vb5N*kL "t5ӦnƁEBسͼXX@aV`(h0 bO3Cf^@<@48 43 {V3C8@8(\@P@Ѡ3p43? ={ 2CY\5q&aJa2cd(Zگ56"sJ Ĭb8a7`6]5X2P.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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    ( (h5~:x - UHOL-Nominal-Examples:threads=6elapsed=349.808cpu=1729.698gc=109.925(/y!) KB;75̫4ϲwˆM;e e4T&_opj1ۖy>PK3ĤU"bt8Y9܌J4M /sV-W qPh GK}UL;'K*>14VKdL  aѐ ,W1(,xH,X$"XbF6Ǘ@AsKQI1k7윉2iH$ɠc~s. *C5I^tc5u[HP@W?5D1,$ XH$4,P9R!U-ƺcVڔ|z2}>y* WiBb 2J$Opj@ jkG*t H$ t\ ޺4=9)[-5F4`bT<08]ac! 8@R 8x`Pxp2k㑟H(<$PpC^4(D$""Ol< (D$8XPxG,+{ 15H•eLc)D$" 3n:U/BbCCD" р0tABD0x"b@p  "ƃ@(@B 8$<@$@P,(0@P" 4 xРh!@@p ES)jN'Q {);Sϔ\,"l̉?B5?cc63j{$Tt16I$ s3j=.!5d]DDe5I kP+ǎf }49UֺRMʗb3Y*1͘ܬջFѰ6nxkbڢQ?48 -Q],E4m L1 lJ+Ϧ%Y$[ޙlHۗul};;s4F6i͐>:89Of: :薞ZY{n٦5jc f՛nD2y<\ko4IGJ"&ʅJZEr!i RZS}I&!{5DzpR4XݺR+޲{>$}r̒v5=jУ"嫹,c> f,}ej9 3C_M ?4S]u`Ѩu%ߞnL![֩j1M[;5bW|MEoѰg絧 PϬ[ش*TuV^_ijʟk7\VvzXRixbFjZγR!"v*<Okuop$KA :ejQH^+j5H{fQKjoۚ[ʸ&GumikOr-mKB[-Q9Ґ]^[^+tiyl$K^9e[wH9˾ w.(eHI7D;ibᥣbouhC!:F71istEX 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.thym<7}IZK8v9C, ]rfUZ.ennYUT3Ͻۦ2DmZX}Y㾺nck%g0PguDBEACy2B4yҨf)噅w7*pϋ~;;G\>Pn"b1nUđ>+}Q<`e_8`xǷFhlsߚuP pF gV]ŸM84h<ېV@}Orj˗ZfnRRoJwJHT!ʩ"",n(s: ]#ŭd.@E~z6sZ8KNJúם!:i"zC"l suht\6UFd+M$X{P HDk07P\.۳ snגzɱœīu)&}*m$5빥ߵQMq [v9R`\8)<}gX6qGL.w-=iOd58yn̵waGltk (M%j67*U¶+NIv#Ј#8뽻`qL82lr/3GEgG QyGf7VZn H^;Y5Rʏ{uujstVrJ^yh2qu lQ$ 2XZ3 d$5b6D9]#-q XCjLdK@Aͮ#d_QӇı;^bDUF4e)Dɽ)u:/s]RQP@_12⎞ NEW\b0MEAOE{صu =Mr7ha;,UH4s@ { f0vᚠe3aef&Ź4]KXH𸨅Nnަ Py ԔZ1~*)i425 \}CO K9hItH.1C h吖 kLs"q6%@7ei३bYQ 6Tư:PA Ha5)6~Y~e/^xQ$>e*]qf_~ T|x—qBt4)/Tظݪo<9 8޻U~bs=[cUlmBeQ-GV^YqϝsimP% =8tot(JAT"_玄=%S :LUMd.AY"LЌ[筃jE56%UDjy^\.ҍlIl, 27)L3!clC4p4#` ؀|-Ʒ38<Гp=v]f0d Ή9Z]HItxENjߔIM"hyC`p|׼23?>: 0j CA0̹-Pp[uoCfßc#wW<8 n.݈EK̑]IW"D:v|&QNv ]~C| ]Ħ#rU n'!F, iRȽwpb)CeW|R[Ok^Ld76wCEFELΐmw.1E lQs]~~*yͷjNPSo*s,mJ\Z)"#[P 0Ϯgb!Bg*hóaOwAC`\gmjФ-|oYp_v]H,/(+؀j"Nq@WcCoLPX@\QP-D8'|TJ@h29Nt!HOהqe*5>4XGEBnׁbXa;7_;5k=$0Ál03z{(EoGS.IM$S?6 Jl]2\ &?P8&,ObN׬I1*eby>cgN4+ܵD9\/x~53C{j~ρR@1 D7a,aӞ&4p8vդxFb&m!;,eT?V>VDMW`!r*yt!-{ |e2Ƭ(bdΉ5R"Y-PE{z!^A'0S,ݤ ByՇkS& Pt .*Nnd])ቨ7)*`2^RFhEX֕P![Z5蘷S\ `·uk}|>UŬ{QS?#'z@^lP/'*xeihdo=3Q7f ?==E#N:[ 6ևR أ:߬cJqVd] +P.17t,wftJ(TlqY*2OhI|V.iRM(&(ho Qܶ;|b޽ EjfmOP9<#t뾙f-–O}z:1omI78:'(?M{!>ȼ'*H,љ˃\&ZESL5z%G>aBQR] gDN >BNb&A%d̪P faWC\HԄwGkB S!g3^ջ]Xd8 (ʍHx4h'7 :& UY #S%#YUwYAu7[o l~&X2Pn/sLbe4HhkJa6~ {Eh@R%_YL$aEIQV mb9-WGMȖrEӑmӨr @a[zpAX72HB{Nw/T&*X҉J?zmG ɮ׵8d5~ s) !Cw8]~:0 &}_E").' -,K@*}c>StI\Tkh;C˸%\ڎRa([  7&G ok}[$tnO<^Yg*k#"Ƈ\RjZ&& v&)ļUҩ2=Ŝ[|*#7r|0Qz $^ɖ|ݘ279Kp%u"^b8"FGaK6&+v6?'jwhwv~!`Iu:IƋP6c$8z8"՜M$%GSk8pV;D5K CpBiej(ϧW˩a H󬳺A#{C:unQQZEE{xZSVf,IYQʊlAwr_qhC>$P*jb1y+[ЎSkvVz˘::6-M 3yt DH(eW1v5Cy4H F8 b$Dc0z=GVhΨ7t82?QQEas% nҟ?g@* 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+Vy˙Ϗk*9TBiD4r 2saPD~ =VT#>K%ҁ2/5@=`wɚԙ32mb L-4bLǥȩfXm:95Hf aiJ,ĸh$՘~־vR y>Tjs1; e۟PyՌbAK/v\HN"AP#$&> oXi Ѽ4 p4: BP Pb-_:Td͝Xҋb^cPCW61Pݭ|ƃXLd?'*ofztuc#b &Ŧ_PHFuf磰t 5KK,{:k+׼t@sI`O+ycqfR JW=r=1!@cMWS:9|Y*;\uYu *EȺs1F¨XuO@YY]&y(u ɞ PxX0.竸}QjC[!nH--\EzIgoi#ÈdɕLU5\3n0 1ε'0e];P,7pڃ+GƓ"hD<$tpH9b BETUvMWy޿ |,<>P^nEy,NJSgj/F2dY"-' B}  PޥbI|>w`1l~=k 1d5ōo@:o`&IK26TeNX 8$m|`z n4l!8;ƃ+s?P歕9hn10NsU>U^{3Z^y{$i2ʊ cNcJk.7V^&ep3Libȭk m S=sO%2"Y %{_]&ɪn!yQ9 +B:!4-"G#4>Jg_a?ѤJF:r1ԗ(B-(S<.(cnۋ "O ', FNDr6&-,L'3"S%.D=f-np N &/ `px#eA E1'aE )qUk!M^X&b+O4R(uZ`ٓ lђ@t]ze8cdD$釅LC@ubd-S9;kå8U~? 6ч(N9ːzE%ӣl?UR OaG\+p0OI 0UB}Vvؗ"WKk"oT~|@\]k8Tbq(猯DyDhYt΃i7Έ*E gY@ʆ x#lZBBkPFF|" @ͼr |mkR*4Wvz%T۰2W&{t5 #)\ 9b9;d-^cVdД 1ݳ"SO-oG؎whU&CB\ UE"R,zeF-$^J tbƁYM㧋vs^ڦ?e_åB yB-Tv%w1w & :.f,Í֫~'Mo\xj Z(f;X!5њQ:2G8;cir7.cjpq 4E} ^IlK@0X9Ӷklqa@YlvAM ݆7$rѕ*_Qs}ݤԾ&t&Tr b 6` k{ٵ?+t_T%!NυRVxwc#:7PD 7K$Qފ8r6" hN*wCH?Dno~9$Vc9k e܅ӵ>ׅVӀ2`&h+aޓnkQH|$&6AO{pFg/oKkZ|ǻhϩ^auJ( 0k)aUC1)7ሜV VSon aUEI)=ΈA^""0يI_sT`r1#-V$N`^ #̉`a@tַ[j,6x3.*'gz,aL9XA n%})"kKoT`Ѱ[L|DVaH嵌X"^|/†QBa벋~]e er<XlQ0;v[qq.i-.0Z5&,vs{DbI{ ܘխshA{cc<ڿ~JF bY"S0k{g+}D0sCx R+[+,sE !1ƣw)AQ$`φpd^t2xϷG?Ȟ_՘ljkKyGؗfAcv!V\.\ S.ofAҫkJk_30bb hwk} 1ʺ ۣoνuO1O| dxJ$L4ɾ4Ӕf_c~ n I_n 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+<&BAܾ <ԦM^>muZ5*A!!ٓsLRPŅQhP#AlE LD(b7ˢ.޿[^^Vq-"ED\Rq="b?.mNQNJ@*WoIP_WL=Ɓ2b=坂}W#hP0~!hpf09k^P4tá8P$fMxQA4^}h CY6=tqdџ"".bMb$M49&tJ Z }x(6 hp?g0h`n|<P0$n>рe|ljjҵʻ1bVD] XIL*FTsz'b_^!2vb5N*kL "t5ӦnƁEBسͼXX@aV`(h0 bO3Cf^@<@48 43 {V3C8@8(\@P@Ѡ3p43? ={ 2CY\5q&aJa2cd(Zگ56"sJ Ĭ [MII8hp$Ge)āgIua˂U@ 3*fA0LYLW0R8kwRΕ*LR}Y1zxSTg&o$RrbIɃ-٪MDLbQ=ӘyP%FiI1eO&%Yh1c U0);޶BM 0  ĚY 04a5CQؒ8P[Y) Xw=Oi5J.E¤fe11&~**6A 4 ~OQGug5@Р$3CC%*p xj{ng5jp8nldXڵfAѕLM+q?&*g"ZZ?_Ue*VĴzkVUL^Cmf09U~P!oqo"g>&c}f&+} xaǻV>Ӭ#|gD{tiv^*M| z: 4VeYKxRκ}WVH{UP*&^217jV쪂i dyu UqOqWX}gätdB@%Q$4C_VUwD_@+!xC!"A"MՍ0EA`Jy9J"0,* $Ca0 p8 q?tIɦ$4}^.FH/8ԍ.ʥ(4OrM &QԍA{N̂eE@MOj ':7LjCO2yAfB+I4&|en'Dt7hޠ)O_ KMsmgϕc:^u 46_mUa&&Hk_|xlF*DmvKzNh e#!L \t#J| 91%M2t&+EUk{"+͡SL1_(1("|>[[Grc ODZ y9&;61 [a`q44xxKqɛqM_L/#LR6(t +X!' ʠ} M&^늊-6VZvXP{'+xxp4swWXK)2b[fl4HI 0H^GCz$E dlZn!<oƜ9)@V'z)JYסW@1bȝTE7PkvIY}E2wƞmωKjȜh{[G#j$߾RQ>)nD6Z:8DUxΛ=gS v.@ /V|\+k#*2_j@VR}_7 `!#<=ʙ[rTOrak ЙbxUm!PY޳ aH$u,nIaYC"04?K55\}$[JV4 D.QHJIڒx``{JgQy oM͆i?%„W ɩɑ+48wOm[? ~j%9TukStl/E䵽 dHFTOȝ-f6xKiU E̿ʹH[Xנ$'"2jKKPhjKafB&u8r,-k%fh1j"b)>۶^^{/6+M#FTnpK.ݭ촢F:AZ|Sdb-'@S2rŕ?mq Y-YWU=.A[[s PnJBn}afl?o}nY1,Gm[f[ۢV?R|P^ob #Ő[X +@n%(t|Zq괍{k۔[ƭ[vh8Z33ݝWLpIoHZ ~EHwdnk4T\Ġ">1} :8g {[d 8i E{~eFRɇm@ n%(e\/PS3D-(+ktb<6& +zC,E Y(Ãot+H$1<5`oy6~-.fm<7$9$!sMIetLɸDm4Z `NNPx5ZQ1S ɤlZ嗚r=sTF!P a7T}Q RvS$H/M>R y]'t 9#o ǿ6 07™ xF)fAWVW8r[~g4ԃQaNg4"l: #i n;R9#MpOw LqؾAd$צyS7qluA^5(RdN- Ml]K/E7x*C5x.@U&ZhKtQO2l\9mv'De⦹ڥo^Iv!+دCBx|or],Xe$8_t>QɾBt5;4:]ꮼ4Kx܆CSV# r󏃧ג{Y麫52_^Qޖ/ (FO,)d 2-HmQa'Z#=CANM85'-@[AB3h$Uu6lcd`j=GdO*$gj4rח?$·Y oS ŧ 5V@A}].x[)J ~ʃEch'D=_Yq!b|U8NLc/'}c/d:.׿b.bHyBfJn2̋"A{@".8@i*|S%UrAi LkckRʼn+q};" &1Q?)"D& ;7Ҩj{5gڴ2}v${2w+Cն/gPs-Eu@vug~0ѩj8TE*o;Em,v#c#ˀ+#ߪ.#Ys<uVzPL 86?v#\͹"3O|zƞ}R?ɰªQ=fI;vܣxM}ZJT'[L{/|RztΖ0oQgmPֿ5k.hMDwUG7U2:M*"eJ'Ħry:vhT@6 G^3Q,:+E Ͽ nvǺ|C~|iCPP%Y9EpHd mЭ9yPꩲ?[]ƬbH_0NxrqOo]Ռ۠UAvKj_ $ 04-i;r4)^PʑVR^ߓUZN6O"ŊܽXiYI,Mn)V"1֞w(.WX' F}Hmo %8ݤ0Ui|!;+C7Jk?Zf"-0^~9"[df gGVfm M查sO }L^oK_ C^% N# _gL#va'MSߵ.}!I,-`X%ɉ $un5mW81Vi2U!cFgb<"<~3ЩڻavX5'Дrd. 'vI1wlv@ORi/x`hH=%_m|LdX/;ћDr柋$Iv>[鈴tu1Yc\q .6K1>֭3N-009ӣ}i[=ak_'Sp~0WFՙJX"v}:b$'n= ՁK[z4M5mcՙ㹣`@k󬖌r"j+A!ǝ s^1ȁAo2\0vT>R1bP*`zݵCv FuFzSt;lJn-5^)d1^rJםsΥhV>\`u'NE[Ê0==kYQawG.8~)ccùhHy&'JPF>T >Vqb(Qfs ߾Řp&f qm1..~P1ۭÔQd6aAVk.J=aQx4X_CLz([(rńC/ЈImiP VW- Ռt~,Deʽ  pܢX4JD xT$vmvi@fh$mVVPmXVDJ=S Sj5/ڧPxsDdTld"nyᆏ#YRh"Q ˊKxG2/B=>C&6/0=RB ۶͂<״ h؞Po^9}ʍ\nCU9QT>4ulA^zQ6AOPDs f \+uE [<|ϻWgѨ!;bHǶzXDᱭ/n[qw=ywi6ڳx.&Jf~H37ަw\yAˈwpmƼ},2yqe}rh4 o |^R:EIxnEs(n?)|)jʀߪ^B6mw~I3:z녗ʽct>,8un]t'$md[42MxWio ;Tm[~JaAO 9월h+0.d3"i%]mD[F?,Uq# 9Tej|B<, a(M q`]Bq S@p0F:c䪾 I Bb, 84l<-Y "p`Q" -Y /PhCŢiڈfߚۓ-""""XDD~l3m7Q[َӟ-IVUU퟽vUH4cO;UHInYDYDYDYD.Y nIVm$1n*nD3$햜hJRKRiJm۶m۶JRT*%I$IJm۶mHVm&~ۭIVmD٭IVm$ْFo u%XP@p@-ɪhfD ZUf(vXa؛7%"""""!1v*okGڵkn۶m۶mے$I$I$m۶mF.mnɪ󨤴=M@0Ca " A(|B!==|@eSOOSf?a[^̅v4 닥0Q=IX|號*힂r.J\MRiخ*ʮc33,A/R44R9_9gAaŊ(ɺV4il7!t#L8* dmثvVfFfJӞn,1/Ur@j,K0k5j=w!Vcw5a5W jH12kX5dR0;ҨF^!v@.Sg`d+tq2pMPlF8lQVȯQpX: I_Hc!AͰ3c%iK+ !"m[ RQ`H0k=a(o`@ڌ^)d|cQebtIgYp@=Ee)FU@goڷ1ŝ8v2f+ 0gu;^J `5Е_=N+Q`Ų>5=g'>LzU[zգIUJ!VY1[Jٽ3~GycpPv%\_i:BPMׅяTAGWE<n8R7R$A.G4:9+M H\8󨤮@5RdmmvgJogoƍR0vxi L =}ƙh$c9EGE@M$^0 Zx7""東F$Kgű\4p̡T5Cx7k7&)e@fsl*>wLAӧp n9mC[O[xk߭z~u?RΨR]jޭ˭yzEѝfd&D] O䔯F9tQ_ZQJ39ue_#y cV3Xo-}xܾr|QP T%_O#L`uݣڜ쌒%dYsc!җB*wgb#KsKTa9GϠ?ZYpzl 0k/ȭx&GQsQ&lIUj W{ɞǵ1\u]BiOL [̰F_' M:C@=KDB?F~;ȕ_n2{]5v nv&4 sjf) ND,77%WoF$r5njՆRi$EPl"S'͘6kh evXxK[ ܔV=TCt-} yM<L(WjGc8*e9V*խ&8[b Cpd~U$P8QiUiUq&aj'Zf ya=ѱÖYFeYRWV"wUVwWL O4|UYw֑le]rjK+Kw{v W,UjI ݭغ(_eUN"D擩{p( O&y 7O>J@4CJeFR_;&mԙJtc-Vi,_+IіQ&-G-z_1U;/e '@*a 5']Qej\{l8KHkoҊPrHTkK7d7hBdVKcٹD{돂[  ʌ/*Xi"*[ V*O[׊ff)5T ⸪NK Tf2Nc+b,*wYij4 KThi|V/G7tL8jIPo `l|;gh8%G"[o20q=nA~}_Z3Zӟ`""Ѻ{/L< D,M& 4Tb֮\)kXvzTX x>w=:f#I4LTuLm \u'jD˙vm 1W2U^]>7_\uú+X,umue݉\KϺ1txhֺ^l݃ uo(jW+]`u'P<-YQfz-u=u74YxvϹ04Ã]5~guKBʜcFWp?/M9Z DY` ׮~,<ͳf/+uR &i4Ϟf'. KҺ/Z0x An. ,a ]54S%̅tVU5`Bs#UE=tA!0ؒt!1]C❺Q]8|1`]ZI~f}YtLe)#1xƩe9P]&_55,Qb UCӀXu]x>Ŋ02H/,hu^X/fO.W`~JYKዅt\h9} ,:htZN:$]?}ͺf. :/zT #fPV5`ץF:_|> u _'],{ԋOWw?PCB0 Qrh\oꀺ]Ïke6JQA[yvifתa -ƁZ23oDvMx;h{YQפ+ͬ{ڶ.ʮEQApgo{{ vcl4AKXzizV~A9[[y"s% s)2TK=,fM`2ق&*q"uGp=&EIϕ"U@M4L_&4`FeO"zo/ёZoUPFoL('`ezQpbG`y8̈́_q`i.$Ez8DKKh{o#!LZÂt|ĩ\K^FjY){0Rf.SuQ[Ө"ƛ4(p9?w ,q$%-k+v)^cX1K 'i 0؎PW SsB07iE.13]avMC gnLC>M#}D&9V;${8Iˆr]}zZ!ӽ9.G6h.%B Ot)לeySk$Ye.u)0y4owx%GxnO uhEM!NZ[i OfnJY b]" /W'Ѱ!>v[k9TٙLa .߹ybw3WQG=ˉ{H-z!97tn[źϝAoº.]OmSff`-{mQ$8Ts W~kRw"xpWRXpy:@B)% nQucP=G+^O W b)+ڀ%7_s.xW@ sqߌ^ JCAps< U%eUV&iK {R&snFҗZ?AI#eVJeSe/y%c*,%v'$4:8T &"w7?+yN+'kL@/GsvME6krJq(>h,qt!PIB#%R;VF2N8ʰ=9P!p<8x>/ %CiZjxxp,$YF*x$جvdO#jdNZ6m\ L Vg֏x;ޚmke `0 jS Yj5앬nQv9w_ww6آfUvubb DԶf-+_e ,Z@ 4 5<,pK Ar. $ kx4,D%125y? ewڥt#2޵Kf7b6],0,QKM())bX&'''''X5_t|KfۛașXڛ?kmVU-UZ#wm[#ڿkk*=!ھ֬D[03TL\D~bsH"D@*TB"u|MhZ34C!y@ɬ@"0(,** D &"G(,2p!>OCM?Io:$n;K-Eĩ Kt~:dI-<թMJBn#>OGn7=?[@@߼Ш&umU,e}t驩/y?ߒfO ?Xl{~b?nj/KvY⌅$h,NU-_D_mXz2[AAV0tg΁i>c{"EO1dd,|n(P7u0lϤw~&|h'p\1ˀ&'akL0|сBO%bH)&9OY:%2Ҙb=/ W%ㄓsz2J ^zI(]-.ٿk|Nt?91~,Vn { @n4یy*sN̡Eks0 6 qMp^(@ Y5E _MC5P3]#iTx'b{R^KT94[C~X ZK 8fOw$RÇFNpp0Bm@`?DkvU3) v2$nl'd]J{20Bp{;Yu;W"p3i̿f^1QF]UF= P1VA5< !ᆳ T_OcڸWmb:`_L;; 'z%,2֖ #bb'@'Vv$-Vy3}+זX'T ؗ8U䣳>C6h{$7 /Dw֩T|aHbpҲiTC m.mŴ9)vgMZhɼċp7"  Rߺ lG0'9> єXؠ DS'xS1Gz MTlt(iq"ݠm*a;*F>h.a]ViVKL _.^{8S?Y"WhT '?OwM;˫!N\J=Yb7yGgLKg'LRfx36}fd7xq}N`~4mⴍKrb(!TD.6VaU暝Ln"Rás]6WLkl=PciMcSN3qCU #X_hҥ?'w3y1e-M$>BX0c\Jl+}W\~u0CH^։$u'dO ƝVW{6Τ 5k-y9=eIDϨRlmy"8KSC[hs*aN|$o ,"hN(ky m_Ȓ6Lj 1 0^UAJ+8.%ob>>wnD': GazQs!fo/9\JLvtmSl"Ni~f'a kvN_}Hng)YIÐ%&>]K%yUO&=P{CWUxV ِ!8=+̊cuM>yWRW^qdJ}PaaW .h5<hnVk{Q'E◕e)S?]ٷRwJs!37l6`ɓ{3ͣ!XД۩R4pQ~yp(!Sgh檨M"OwT(v_Q"2֒ez`=C xŪՄ/\@?PK..K7 tlFz@BXz ?y,X.A[*D@uҢ9.tuL@>-3d1.߬B3vf2(;wʞ3eC57΀xBb_ AErʛ^hF;Gp4qg#D8Y6"2WW@ gfQdM7.pxR%`,ʟ>r.c:֬Luq(jXiR;v XBƷp]#%HJJD}?IlP@9h?)OD D;Lg9SMr]Ϧs/)E6XC%$pNeMC TiThܴ&yg=3 %.(lI`=€Q+ӵ1ιbyLms*Z}\C;kob/hYWX9_m,^UNr!@S Xu oʪ@=6b?4>M)K97|])xʗ^3'I)~ܬ L6t u0].h@9|Ib؆fz})We'd^6t簢2իXʠx OZ zMΊICM.9 $=lI8mW8Z$,}GhhE`70_!! q po Z 6pSwEXP?#q%,ȶ<Ԥ9Mx5d`fȒi_zn|no"zen_vLԸ/be(g J$ܜmh|[b?ؑLƏ+ 2")}qF5ތc_a'#sAC}^P1JρyOϧJ%zmʄ`"Ryy|@fPT~]T&PQl;vj5q߇'DLd0f㼸5[W) P!Q}@F3#+5B,('b}~i $'lXyINҋ >/G?f BO/ |FAhչ˳Aa֌.{_w0,?)jqT51zѻP?A0wd Ȅ\ ]j:L+_=čIsLWcEş5M_@ &l;$ +MzuAGp  ) 0wG݄Su€ mDWxFٿe㒰ɣlx{T(DϹ(d8$2Bj*vTʙt>aN}R!zM+5(- a u'S@-ڢ53zVN%73Sq lh]#|t%Y"KOҰceU$C7NU o>e5Idon rDŽPυdd#N.h mH*/6<ЦbͬOoufD`\h r`YOv%ǒn{1БTڎoz5m v 1q;sWc_`i3ZhKaC&CF=ל_7CɦL}T8v%܉w1)!o# 1wji"9Hxd`۲-8썱R#%#Nr:o]CR eiG<᧦`ܕObQby';/'.]Q^peƬs[kC ~銹ѭv~y×pps(R/_=ʇE=.LbUd~14FX󎬂5g|Ȅǵ9Xy_EU. ZF<{@ _GGH{O*J:΅}* Mg2l>rlvdkJ[Hls {rv-P~ c4UV{eܻ:lW#.QsF8ρmi 5a #59 PlGk׵{Q)&LZ惚7BXoS!! >K!y nx YigYY ލO~bVsШ 1,Od,3 \琈XW^$Pڮ5poT.VxJ R1cVuhlAPiR XJzQ'[EJ )R|i=Сst$.뷠U*0lp [Ɂ|ՂZ6iX[/ L=*Hs WЂM?E=)hAAR~q}tZֿIrB%7$ˀZ)h"a) x 5K# nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/Lzd*k&j#"LO\!#.qPbA(Ye1. YM:pX9VHp< # by&g<h@1(a:$$4XgD-,=cQL:@'/f=k;G!c5Mɒ8sYm\Ӽ;ȇl b4󴛐4yx.% u"{, `w@A\f)@UA$ _c<<Ã4PE(9ҳMVM4TH, I଄Q($JA `G$x XC<*(b9M,UxH,0 F)B)j R@P Ã?k|>|?w???RJ>϶}>}zzzyyll66۶l;fiըımG@CAFQ=  &, ( *D 0&@L߆8!bVVw`R~{g Wtb,$ĜGmHݱ"mIٶzx҃x00zm/K6;1h!(܏ОFy:LEIqSwU"7?ل9vҵ//F q8>Ai|/Iva?vȺd 0T0Jɰԉŧp0gnmID( LE?,;p;~ jSoqzXcxqn>l~ w*37'vbP>lL cAۣxBJ.0G%8-i_ O;"Rlq;Ai#me}d6oS;nі6ƋWLNDt+ʼm‰ѝi͊كRM'TYu7z_"ٸa9M(VQ9#Mz3Q|1AƗ3h+b^vVy}} c{mK,|AXIf~U5-䦤 71'$aj o=GGhig^78/i ;S)4Sٰ\,5d攇/sMt}5ޚhH=%xQ( *ǣc̝gihO&yu콢]~&볣nM V| H|</ dO tP|7  Dzy9O߾'2'T>s|]@<~cpͥuӺռN0&^@VGXso+ PFneB}Oe6Vޯ.UUm,s !b ?* x4GH-l b) sY5|$j>l%?y/U)El㟥្S/g?ONlWӲ}p߀GswS׾] sC plt]Se+g ڊG?sy%8?kQ,S6ė>OY<'?}As?^$~rsO|#T%wڀ>>XTy3}}Z`r;ܧ9}Zl_*0^} OO;b<G>>Ck=>i>bł*5lv T+}>YRG@ƞa:W@[׸R3XgGv`)!/\0-Ҥxf7<{=QQy`gH{@ΔW`mȈC|Qѭ1?ӳt:X|(.xK 'k\XHYZ`K#uS!|߱>#iq4B_FМo\Sk^Ow>B$2f5/^!Z #&ad^x˺nƳesyLm k #BUX!3\$Gi ƈMb^rS $8{6B7rng`˖}f0Ob([?\,%>wnE]Axs$af/șDvs}]? e5rI6(~Bw9%}u|g ߓHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7} .PgD|wSM aK3*gú_`ffBUSzP!:]%*q:KQ};{~]ErPM^Ak:mAN:1$RGڊr2F~0Y1@ `,Pd$d./: iVg Ny.ޏƉn2t1/p [Fys : `QF: mn(àvLBa 8܎H^9 1@'In"FMM !<堒׭ݣck'4]^֥)e"Ђ^6 a8& NO!2w:PqDDXl$ ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ vHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/<'{(DuDňHV/d7-*qX./]5)gn8ǣg](XiQ1ﲢNXM#)i   s'(EƲ`Ibl\A- _v~۽wpX(Y'x&P{mQ0QӒ,"x0X0$ &2|FyE;CS$ e4jYݝP/M&@PD ȁ, V!ƐVPPP caag8뚈}ʦOD/ cA~ȃ}Qno̙ڛw@ E$H4=LA*zBʂ,+~pY}i0JDv}0 QLd=5p'pf#*bsFK HEM<]{7&^OGnd^mgfeEM>f[ǢFivͬz+^f1-ډ=-Ӣ+C1kC6Lk˛tYQ$y"k苞 pdMFdnhq^1ADD`!&(""$ AX)(CffQͩj2$ ge,z"i龬܈w>7qR&JLD4Lěĝil*kar$F ^>[ZxHi Y{mUxJ5Gd+r*?bBX &Q I)%ukm̼jhgzji7tXa pYNȡ ' "o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=r`5z덜{Yv*.oA'˻ ITB wCP(hy);JE! >ǐ}[qV''k9AVP]:7US,à?d*7fR92-7A õl9dDJ`,N# BPC0, ( #t죘ơXMlj~h@^Esv{?zȌ0r1jٴf!wף=b;Bΐ~5u`i05jvdjk$MD l6;_`&F_gR!ښn DA~Grls\4w- ]~ҷ9U$jn sMNpM<"ӳ7~8L9\oÏNq$5dRd=_A0'qrʡ\_ ۢ[V36WV9ecʂbIP&z<46Rj<{i_oK#&NFMWJzy]ns 0)sjW&e*koah˧ZdXDg,|kѬjb~{`[ MЫNڴӨfmɶ] y-4: ϡe^cԨ9!B}Fpyk}$7sw4M2T SI\[2G xyJe"*9偤}7&hEv T&kyAc y@% ^#vsToK- j5’N> l R>DֆA; iϹ9ņ tɈrQ[v{q8Эr=GR%Kl{DkI"3{P A`y]miz |+!LTV_@G![YnG|/^k67uDD lقtНpor:5dvDe=sǯ*J6WlHPFHw/FF1A"yYc iBҝQfƼ Bd_եO85= U  _x"#j)qW'%^cg!{br܃Bs9ҍ*K%II;LL#p7&rCo L8ѕgXF#7.b(a MZnWjih>|J]rעb'=D")/ZPa)5>U7H[fA(Yݑ˩Fn\Zc^Tssz fri ya)f"dly ls`K LI,IZ4R4mKi<-N yٮ]10sYŦYmI*{~Y}kaЭjl}4IzJh@(!(s6ճL^/ݯF70_>[[cמ&Lhbsݳ}+8f!%[^ ? 5Uino]c~KWDy.I[[dORYb 5Qs,kwGP%u'ضgs]~!FOdd2|ZE;̧zjўK۲)qy9+1t$5\6& PP&TEw6e+e3I, F%tc#&Ε/yB)+KC3 OOeԏPKU;-7%?EG~=rti7)X9R*#@w,'!'uˀ,|gGj.`|F|GZm);!8+fgShU2SB7j@ ޾p¶ Lr+JQ=0<1(T4,1Z6kœTۇ5$ quxh%2%t[Bf͈xYpƿ'Cc:K8 JRleQ~ jK\=xjt799Mː›-^3~MhdqeP4wYB;9m_d_|R]a2]2وE ćh+B A6o_`ʽR5 V1jR!_=+4ڂ:7C,NQ*Yu{'擢·nxv K#V*绅"=Nchqsmn?>ܼ dQ4 0G$l1m:\TX7E6}g3j6Љga*f3pInf]4M$ ˳\zHvӎQ _WC`0I)1m)C*|j7cxP&Gp6d @!iĺ9p0 WQ] H6 "pƩE|0$u"X%iח'1 Rm@^x_(C4, )12̀'ZW̮s]SrX[G9flA_g'gLF;ĺ2tt bPʽ`( m{39te@@F&P!|X2n{)f1澔6yW8rzqHAnvFrq/]yz#s z%eyiTA1e!*5ūiyكqNCiKnE6ZF62e}8Jevo4`l &XsT1/Wm' sYD̝e!o@emIuighU60<%մ28~,_?Y]b+뛰u 9#cBd(nF Tfg3&Gfӫ[:7%ƎzQ^gjmDO_(5"K 8a7fil5=00\I] ɂa>!&/#^i6@@& Z6)CEL')嬩?A쭽2>i U藾μQ W|Ke /3~z3xe"V؆(v re%$"mp3)$bx[`Kϫ W_4yRtKhU&2:Tq~>ȴHsMwl R#cDhr#WOrڥV$ u`\:!Ԁ&]`s[Q7:21?Ͼ.vYL}a蛊;l} ~XP۞a!'ϰ,za-q^[W/<Ņk|GZnc'01.˺)V8nCW`" hW+B7naG P7@>HkDsb[cc3_&'-{pׯ#E1ȰrhWzl{ >sZڜfsS|`ei+zv,$,PK׍W۟3 Mգ]|%m8v ,P~N}L2tlH`랷t\( $f}:-ke$8JWL%[m FtE(2oQaeӕy RZeeYxWn.G>Y,ѠˮECs@NtE0hOUC9r]Sd#V~U+'fQ7:} jUR9()hK@%H*[H %[/ BvP2q%ٸ0L31=3&bR[qznΝ6ΰ-:c K+$&,&͎,S$K9M\#٤,: 狽cc):팎8)S<؝ #VE(t~߅TbE c_9%X5(a)F*JEP%{bá&iuesJ,ث:ӕxu"Voc@ rxz~ռ*Hbg(O?ZA׽ZX1jDKug^W88匭;DZ)]iNT&Sc&IVܯ ͕R/d&HE~wG6e9,a2a*}tZ[;yn0M hr&̙R떸|![Y4]XI@g4 =fRUfu綘G-Bʎ\ۋ%vqT8Dd$"6*F ѹϫ2 hZ2c ^ b߱[`pc R^y ~9и$0$,|d*みZ1_E F`mΈ'&oPP2~̉v[I`gG5 W0 ͥj,DedH2QDZP$Y. 6M[l$*.R/ 1MĭD\]>;c9ɱG<6LTI 2oYp77"xvS(+Q=Kȸ u.;W:EȔ剠Ał$c v ɳ-$vM1%Z5iYr|.K)$aB{cb1}Ҷѳ&NWaބt)0EeՃ q*:{ҡsRJ_$5DMg_<@ƣ _w- z粧O}lT%s"$A?x 竎 aSmMKTOv ) B̊3f}f,/-H혟h9ã㏠7Olbko0a J.ïŋ5yN?XxÔ-}0&KB G܅MGѳJdfxŐ,!J -%߀ 60Q٭Q/{۳GNL>vy0¦վX;{3or^P V3TJ h(-n S@Ƅ1VVN2%ړ`f2WԥtEtMdL˝{c_qd \_/^)F7z3/zxxC4SR|a*FK0ȗ(ʴօs a T/JzO"\R^ o^cl8U1#cv&hB!tiamƲtPӫ<6<!,?@m26?v\qƲq-1`(EA+)Z2& Vh̭vlbGyQUP*M(| d#C g?kT{q})Jb8ϺC HP"(YQ1Tw,]6G"$.N m1~m2= 8#hhbwat\&{Wa u{Xtb s 0P'b!RDgA:Fѐҥ5Gcu(;DO筚i $=D| AiHPx).,'x>d zV2s}x=}}zJ|6:J׮%M@6y7y|GA,4C@\a`NjbEqV{%,ZٖBurjε/훮Q4ӥۊn]mP;ɼ"U~2EAtq(Ș94ai@:]C\ Y̌o2jlnDOkjƽ R;lBX!q6N.ݖ$1*Mi Fsh7izxrd:}y9qRg{m .SeMu.Ф@yXJaҐxsb8w{bO GkMŧ`*76R~=@$3~b O`", q?0K<>]l$>=*gڔrW3 8qaqxxexHx.ᐄ(BtgcfwcN[,5ʲM\ &j_NG-N'Ja7%HOJ Z\b-[8XKk£b骥@_XEۃ$H9'䋻]pfxά~%fz:n$WbČtS"# @u"߷va<<:<LB7:fZrD{>me8Y lYT ƭG? I}` 9Ǹ F_ĥrDj 'Hζ7y6Pu­^q[7 CUՆ&jC*>bh"7Cn%!!Xߚ%F!Fړ4 <{GQ;O :P*>a$OԲDU4|/|5EW Yptsk{DkEz&>yߛ=?DC@p0p|^{{ ן|gܿ|˩zkX,{ڭꈎ׈{~aKj־a |~oޟuw8L93V{OxD;¤,a-ۯ{]ۭ߱S;V;|G?S;WװVODs Eb =Mxx77x2ʔ\< ƚˆg-a֌GdKL4ո7´{a S_8x Ϗ. .L)/Lp~CiEZ]cD`%IGj|-Cu{IkԞNo~29Hԕfx8坐uSj:4+5R :{3'-| YY+kuf\Mﮂzυ⌂8 ru s{{`H M* :eX9Y[C%$QRTP%9;ۮTΰ ΦLF(2OV .RODU;mEJFTzmMD!跈0`doxݩ pz Cޘ[9ˣΰX%.gV>F[v\:<]k r2П-^z`m4;M;T"ڢ A04s^mր}TR_`5zFm j.؂Hjף0;d&PT4Ա-"d">LqAþ37oZQKTbGk^ߔ9QwVXU=ߡ~(IlG毠r6V2:.ĵ 7+^T}n>?bvQh˜&OlPekM8f u}@hx߇H.s GШ q]S^o'-m'+gN_mݠd!70uåg'XE#ZQQRR E:x2m=UGMd8oѥ˜۹0ˇW~Ac(Nz6_@ep<վļN,F-; @\>OiG,qQd8}'\ISW{"ȜW\LOA2&ĐaAYMb,}J#/GKC\O?eb@yRFIDGnaHpiOH~ݝ y׋]B'ijj>l$jI`ғMX h/Փ ݜ.Bpi}FR.LֵS9.PldNwaJN9D \A$JȮ7\ABYIqF6yXﱕ~{ъZ%^K_:pppR l^V!9S]%{6rDgF9&9Udر{)b#@>J dPd3u]0TOjܪd?\b2!ұKח0b@VB׉ LxF`hOh^Ći 9dyh}e:?+cE-m3tGc.X?}˫6Uf`vy9vIr )z-O )qf/^~ i=MǮ ,P1~cqI gI" )#f9\(ji-C[&Z[)a^%G=%wKU=P|T!]FAB S߅F'nU@r$s@lKO q9tcy*)8:7plk`j^f*$ h4($]d񿹎 Sq'9+/ ٖrv5d?LӳZ0Na~WCԆ*@̟=*I+QC "n[YT$ 0{ uSԷ(FJcsRm=L Hj84 ,Ǫ]GMfaUaVZFݐZ*go6BLF ZZPٟ9yL1K>_Xc-[k`cƠf @\D=RW i`n{MP8{*uT˴ٿN&9vc`h=xĉBdx=D Œ 4 ŬI`9O`W{'ڛO,4׸Xwk=HLܲDNuWMݘ֥vb*~gopߌ͚F9&KN>_Q[Ü;]OcMx'֎zzGr b׼!#$ͳ}F4wP]no״Y[ąYSpGJj Q%,Hq+2Fq|qVbFe夂%Wu:#|d12p /z_dD 4k^꺽ZtOWwm yF˳`܇uHUjPl$#֩M[en D|)ы`PkB誰s##?( 'cd"xEQ(@׊fY]SދKgD^ I)SIr'4(g¨Sbh/`n1ڲ$Tn糀ѦYZukqC5T gbuaA$^!%HOzϸrh?9!?!jqRt6B5XZES:IEəg)*vn73m8!FrCA6 (8iC-yC1AK+K*Sv&)Ke|ի`oվ=H@$jYe$}cd)@Uy}scq^.! D a 5O' :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jmH# o]?#[fqL$%55+ 2L!ɷ$<ڋyVkĦYu;@K13˛Wo:#2 ?S3m8ca>((a`L pqx4꒥q1:>ݶ4;꣑ChE״7e

*ԨQK<GоRRg_˷Qhs'괜'[݋Bʚ=S\ $:ܣTIŘZ5D|(7'ԻKwZwٹq*2UBMH2j12 ez@` 0 !A !B!Hb1##D>.&4B{skw.pj.^aIyiw}JS?sMZ" *ot1Kt(%0,6ˣɥ,\h{1"""hhiAx9LZq;?*x -2arښ2phRsɚkrG;1!a9$#GeoI.8>σ56ߑؙ UL$3kW+rw4VAÉeV= d*L|WSGEB({;o \jA w42Y`%bHWTqhYPodӓı !WK܁/) ϩpr we,9'u?ε|`w% )=hyt-+O&сQFf :O$ yE YD»M[H:]e@=*O{w\Ld\Nn)U]!0陲hfRD@(|w/%fǖ:j#P`fϨ/{lA^XTړZX?]ww-E"тak Vf W5F5[$6d8GPIVZVwE7U(e \(f\^i%n Yc۪خ NCa59jT؎ 2@pG^lGn\Sh;P~KG?6oM -NJK TB3gѓ%8RUqz1{)*| $s+\-QSE\ ,%͙@I\'u Nk9dWIwbVl'x51> k'N\wp~߸s6*3zy@א߁IL'R=~,7!p3$ȏ;0B};Bj u1Q%w {g=襤}` W49eŞ-7}S.׷k/|0;l"I7~.C[=\G $UY[]稷ba2h'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