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_exportsx i~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o i 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+<&B$VT&bE0XVTLE(ٛyxxyxظXQqgf&Pk8S32000(тX00P.`,`2J c_S3u8p Wݍi*ͷ?Iھ/vSjsM*x0wmnmNx0>#r"h{NVQQŢ<[k3O-O)ܼEHj_SJ?6΃ rI(6H$2D4L@z$]Y1WoawauQQzMU#IRRP4shpyDqVu@!q,P @ 1D 10sjJx+8r"@iy5Agش5gx貇&sb J5UhcU A!7 }-#mEL-ͯ{Nwb*[ {,žk_E^8D)#NuliGaŰk{h W5K% ,HOL-Nominal-ExamplesHO}$h#N=  ނ|{xit\pYnXhUgKdJ`F_4[3X2W0TSMKHEDB<;:86321/*)z'y$v!s\[ZUGF E @ ;#! }|{wts rnjfec\[ZYVSRQMJIHGDA}@|?y>t8s7r6o5j2`.],X+*'%!! @9320-& % ! gTo!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!   DDP5| z !- UHOL-Nominal-Examples:threads=6elapsed=330.470cpu=1589.413gc=96.905(/Ldy")MB{9V.y&D2e 9urd̻xhHw[Ƥ,rb"owS |6rz*#.^DSi }'tˡ\]elE19 ])OG_Y䆍NoJ1zhmY[c b#sHP@(PAFn*&GK ӶnJU|R& 1jBHF5nÃ|eR+Ă: qjR2!scvBX$P2^un(SDK+ hPhP8 `B"aE!%H;JXicI4f>x2}< XX5%aK ٸYiT1!R7Ti>XsȹclvX!t`PxANY X~hLhp^")9 H$ PqHEHC  M\k<5dAaPX4$V< <@!(E!tm@a`AgFgJbiH,h2H&ɱF`X$ 4#P,pdGADA ($Db>8(" ,AAB@C"HhP`p8@@  &0 M"   D 8pW顧.ߒ٦SڈdFA2h1v:P(یc&6]2xuecen)6:D,Xհ542CX&I )ܕ##q'+RujkDFZ *%[cޠ(";w;ݕoGcr;-VFk+!557hxΙ m1;,WTԲsvز4C%dfhVeȺֈg>yW'sͩ=T] U9&匑srXʙLh7aiGjBb#M(7sdдuȝ;<͊ .qѕc;*?SVCS_]$O??{+Tr^j|eu#e'볜~|ﳭ?DYϦ}Oe"ӫ^+s=k]u]t{L&Zc2}"EϛSH|!>;i߳ޔF^+7efjjIk/GG+tQ_}g4☜e>rldn",6Z?uxΓJb_bASVGݙ53y&g\kpJfnmjUb٫*7k fR,\YY UjM4jJ#2ų٭iꋗWoS)VMUƙ)Q}b[}4գq-oEYnEnze$638sqn\q;EcKgBRlM_ٴ^M6 _ VMY5my3"C?wlt3}gz6%OST)י5М!Mj6+B-&*p-ῗ}3n'~ L^P$RVj/tYQs/kVyy:vtuÞgEE UKZR8@ꊗ'{ˮ-Oebв>Qde YY:R=6ݍFC!NG!Zāmi [5KkόĬc(軰Wro'L,nŌj}, mIc<_ava!ά;4g oQCC|asK:͍IQ_ʪI*R>nyEO3(t=YAx宣(埋##(u_x V7'pXqZ`fIԭR 0ǵJOta{i߷/_d"GfBn2 D'>Y&wpQ6$ꚢS_d1[Zna0ԧLe[OUdk 'n9#Dj':ӄ~347ΘW 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.thyTs[i}tyaYbwKJQOW\u}b0.ojDz0 g 7SA=^%ߝKuN`ع09F|cuPqn&PW%jX9 %QFuHe{ 0SQ 5W KBih3H:$zwABT*L,aoNPұ'#{gUyuoQ*BrqؽDbӤP [fϫJVqJf}1 VaclՄccNSXJPa.1&. p4t [b繃yOVl(\d$q@W8e5'[LY!ZQDI6mZ%+4Iͳ2p k&c"% Y!; ~7_ڧ<0KLnAP5H|2jI<ОIeG#)Cʹ4FM~BY|ӜT͚i|S嗅%>4/_OyT"et6Q`.n#M)R~7scy=:u xl(f9E]c;Ck_x+e1 Yd/Y/~*P1N Qy9$'A%tR7Xڈ=V:'Y.w%jh G, "CW#XhO&]K(y U αڀ6n9Lx[rٌ_%7ogl/J -hOĶ``ccNoÔ6ݨ+(*uBqTחtBν:@*:Ҹ %Ȱ:"w.-bX4F_^ xSlZ[Z/*TXmܒKOqsE"c26-XwqPYTߩ*"kyZLZ0N4#_WHT~ܹ NZ&Bd́,+G+]Ҟ3gأ'UW~,emW9AUmVHl sC—b#n^ pr߳{u`*@%J"pb xFao^crHג:])~&$`z (BҰlWpB IyGt[t:lv R>kK$ͪ),н&:AY)m u@;X7 ^w9u81ss-;/JAmfj.q0 %^#I_1>w k gM* b2p U.ou6Ʈ GLOݖ.RړUllZ8>r H>+:9:GD*F*H~+w_ 89"sr#&T3ŝdX=pCS+W`M }sZIƫ@ETdw6y˙ aZƿ% sKJ_.G#뎦)耴@YwWpO邜9:xqȮ_C@(H/j uQri'ԍȲ,WJ#ރܒ^q>u" q6֚n#DP`;硺5GȳC>YZ5 ۀF[c@:T7 0YʹM-1PH֠U@;@\ųQ'ٞ2ϝ!:^aNn ۖUay*m֪># ,Dh9W,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Ϊa5v2"( Icj 'nbizCuu[fau3FȬ]&OdVDEVs51DJFׄr"g^//ARjZ-t(p?b : <3O PߞpfFf%&]2FlMڕG&Dș!h%i?3kh^]RŚlkɖeAgM=o/5' AdjnkވxjBj~#T]ftHi+f~x L^Z1$oT P &yYo@ xGTU'0  lK_dܕ}orbΊNyi}",7JǍy E62_$yFك3?^sF]Q>Nl٨M!ff&JjEPub٢X( (N%\fHxq @vȲw@$t6\8&Zd84|)T Da"KIp]5-bcL=Ujht=VyH[ s\ޟԥ^")RM ﳓ)bB - J4o5h:" ar5n?̯:6=lj /*vrb_.騙{еDy[]WU`bohµ7o1W)$ mjroze+3sie׏8xEqt`k}!BW;V`T ,K y4?._9 hhe<8M\MCz3܀m~[ $&v&0t$aUT_yg[$)+cő(̋>Zv}Dt 0/Θj'$J<ԴHaښFac+3l*^z32,_sQv}ꄸ.U}]zKHј'FKZ7+ U;}22k鳯ךd>xj,EOmU)/{W~!G l' ڕ5P oNt ] UB9 u#M t2R:T߁olu֫Zh\HBAǴj/.!pd q-/KT XCFҿ)VZ刟E 4ɠYY&;!kA͑Q%R(axBE. ɇ`4:@g ' wdyȒ;ZT 2nhJHgCz#cSH>S箏qU7Ƌ ۪݃:0C& czI(y4ɉџ':PdJCkkl+fc$$cK tIWUK L|>:޹0`f8*toHuԚCda~BlPšuK*X93e?7Qs d6՚<+'!Pqh E$ɋZ#nd1yW~ ]vwmlÑ5/٠,>(RDJ(}L Kv%2~XzP둼t9j^cCT$C|aM'V,$@9,G I(gR$CQgHp 'NV}97B-/%3;8 IT)OSwf3qr/zU. Z9 -;0Nl7`v/fE2ּ`,w?o ]f@ݨmP 2cϕmo(t}%.;ڀEĝD>S%\7DE+(d8]ߵ'm2g.e!5R3(p'܊ <$KD)-eT f?2. :EC+ ˚*AOm`LH"V;:몎`/X ӭe9K F1"jYxr]fTg^ww@Vas% _nXZ4l+%-Zتp3OdV!Qt@l'ɨg c}rMdD,m*^"2"l^!}{W)Fr$g.~ŶΪ11Wԇ6잗_eRȿX|N0P.|wPzy{TJXu"N%&{U {LS'K<^uS}1e 'L(Dő[Pv~[9̌'FkfepS|Dgq߱ÈB#C]Q]uZ;쵕'TFC:ȭpb^q$\F8]\-wij291zy?z+ IgDU#g#aNd6dR߬oIyԦ:4\s &ˡw1YxgArh*?,{МEn4h[H VA#;<]ur8l Ȋ}X/|/28('>K<:].sH钉 .;dpԀL^ |zhX|lz`W2߅%8_EichQw`F7)@["lσI_+ B[b 썣~_9XNݒ 0KfbbN/n[&ѥঙ/} [_ ~ Ho~ 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+<&B$VT&bE0XVTLE(ٛyxxyxظXQqgf&Pk8S32000(тX00P.`,`2J c_S3u8p Wݍi*ͷ?Iھ/vSjsM*x0wmnmNx0>#r"h{NVQQŢ<[k3O-O)ܼEHj_SJ?6΃ rI(6H$2D4L@z$]Y1WoawauQQzMU#IRRP4shpyDqVu@!q,P @ 1D 10sjJx+8r"@iy5Agش5gx貇&sb J5UhcU A!7 }-#mEL-ͯ{Nwb*[ {,žk_E^8D)#NuliGaŰk{h W5K% ,HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 5&; `gT[AaVP~dRӚnBa660 DD`Un$ 6֪G'"R "vw2$L(d,ohQsk':se)sXKުb2?$A̤KFTprƛ4 W2|O߬Fʖ/ũ?-xRIl;~9KsyzR*1s5Vռ۬S'noq{3wKKڷzjιr!SDN`1  111D!3PB rA:@1?켠y}.As;A" xIÔteSʟSE= ZK#5\+Lb`ʘ-wf~)Ej\#D{(2 UC~]{mYK$RjIVU֦.Aq+ڙ=/c fM<9NC(I5o}a7< `nk͐u}S3,txé uEt\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal Q5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1 b) v{mc)]§Å̤̐UUUUunPS9 ܗ3NP޲׫տx_5{*`Nq4fFkR#5GcժC<%RRFEZpثm*?ӜNs)a k\4`j0A=p8@&"(4q,1=0{hQpsj gWxmr8"EؓAJsRҠ ((Ak S{wٵ)W;3]}'cZOB hqD~]~L߉  @c2`4(2DND`inIdX7zwş颇UBޒ~yZ[ oAofM~ULVU_ɚ yiicJ\z!3`40P+xp  Ü>yŗ9sa+}0GkgbkR/.ruax48҄2_NNSw5Ռ1XU=uyR)*_Փ׽;IRXQI*QIؕ*UMVOL ?sN@y(vj${F$V-lVkztVT] pnYϛ49i켝l".E'E^Z2b/vMwu^[ 8o2\*RI9mSyK?Ӝ1}ZáS ejqxCho_KYq)Wo4V6 8@7404404 FDda$`Hq9L"2&. ""a@#0 BF1WYRF=1j#S^:e‚3e;6fw mv=7])y*k_quHW 7ǂEAYB6UҰb%s#d۱mu#kS7.9=.?ww<,4|v76O)l9]TaHpD |nYb 嚱]|t ':j^rIz*5+\$Y7WP7}8yW uZOhALD4U/Sj}[&6`9.'D < Uv$;O#H yA/8'@t1k7'}^fp׳q;[Yh> i(^XA'MHm ]V穇\#31pttWb1B\+rG쳛< TlȞo ռJ];Q/XKF?WtPaE,3Yw\Qx wxߚyͮè”+;dR4@;$,89qAvqDPM6k\JOwYAØcH+@ 7kt gj)~f~:(WG ypilKd5V2Rh"7[hMrҼ}El󚧄VĄA$| kOT<-gO<~L4m"0StWT>}.|{HU\O!Ki2;̗ͨFn ՙ!"bdf9$p:lw? / Ж4D:| & Ew5^Am9 ROg5#F ` ;g,( cA<\pYJ/߷PwJ2ߎVo5.7]12nM~0!9Ђ䲍p_Sz}WRxȰ;1$w^(Љ$/]'#MP` {7lY ГdXKH,ŧː^Y+M3i(DTRk|Xފ1٪{L_:O*Yo<&у<#^_-\.Pg?21R|YaW_D/|ni%Cm2fYYd>dۥ[:>H+AK\dT>_-4 bNh)ޘ$3`˫58^fWAE O%]}j eC~(BͤP%P1[J3m |J$#0uK7l*:c21sctJW962hw,a"cXRPAYyhaO,onEj,t T(D^f1(Bx!AI޳FA,^HEua-EDTVuchzcdշɥ0Uz? dkڮ\9cF$41PC&RY|:|峘zdryJjclFN.h,e9f/8\Ӑ`䓥B'`s%`>~? u| 4 Z3Jw(wO'\u"cN5Jҽ!8cl| a@@NƄ\bi |BL2OgԅX.kWia'[n\(Y|F;dl>9R08FwO ^ ւ @. (BrAXOhḴg>+Ry2>a û yʅt&kodGz 2P̶1`h,F$"m'ٽI 4JF7Ny[Ǵ0ǖeǡ}_yjk:/' ߰X(~Ko!p1 Q?YP{,-CG|fP%Yʹh,!Wkg̊{fPY箛lC ^^/{XĜ}`;C"/WD1x=# Yel7ۼ }cMzF/s/>Ee -S{@D,K2O'tQ$c}Ku]& 1좒KD~43wz4 #qwD>b1|&ܓCt|ѓCiq"0HdԹDҬ̅j$"<ЗՑ?{Ixrkl{0Jl}}"R?~ q5$|КJv'k9dl<1jۖKq[8 8\ĆzB8I@SmF;Y]%<ښkۈOR-/$A i8` #*/ i#ch>ϗ}tE|ZS @s2m0Pƶ@dXEݐk۶ݶ-m۶mKDDDDDDDDDD$I"I le$";Mi'*əUknتvKD8pHמdgD<%K\.|߷o~U_U߿m=ٶm? (L#&jBaX֪v{"r&⠰8[nJFO%șnD*D A Gp4ABB"*ˆRʙo)vEDDDJf?33sbv3w{EDhtVUUo۵mmID~fȫmNro%"gXJ ( (@@!,h`@ p@q  (xhh)eA x8aaC nݖD#g6OtpD3avpHx0!"7Ы-9mDhcl mD&g)xf⁑a"D 3b0 mdMEe_v{V WݖVJ ~-tCb!1!DzJnX!GDJ':ٙmR,%p[Yngi۶Y޶oۭm[3(R6K3(َƪ4K$g|IJPA@Dy{$P(HD$8D $4H`($ (@ Pbvć<̅i}3@5+ JX` 7hbvޝ|ӹ5:h8{N{Kٮ$ے-9Jy3 5KepAZ*Dnh0ۆsTl4|/whl4e]^evq.3Es7qC;=UԢ7 ៏Hҹh$ ER[ؔo849۲,8xPNRJlt%%ٮC~pT̸sv)FvG w5G9Ae%jz`g܈cw W@BJeJ*{)6F7bKll c 8^/-޾|Ȁ˔ɦfq}CsP~)vg\6o҈.\CM|N[)o$&n"-XnmE<][z|je`]=^ԣ-{ضXmF)v+f͝u:\儔^Mp#渶@Lt籲#9?--y-w iR}QeGs >kd0O0a\ c?g8nVè(-I "O pNsy e*|6Q9$cHV-V[yk2%`\?ǷLŐo\bo>DU˭ܯ"5ϟ\lJNS&umo#,8j> 8@)dд\"jjǗVX3l'(9r*U0B6ai(nl؉ڛswH%+{*b3JyV@s4V6P#$(َc~`8.8 pK֪N.3(HX؇$0nr=y=#r;*"e?qp\8e6s>r ms lCFmO*"\Y 6"*CN9G,N= >ovG_ֽPArw6d?8Ouaauop'D C `<-Zn ?ƑrP`6z\ - жCh2dzufH^i [CsXcL$>r!')=E8r|vr!@T[ 2ݣ?٭<^`K"[ǿ{ 8.1.civ: " ~s 5AR*}c-яPcT77:˺v́3\ )2Lci8@b=,-SfnzᗢAZ㙘aY*BZFO3n~P0^dn0M}\tp%P1~(^iUU:7FAqA] Pc\o_(;)z[T)g`6B%h$wSס?#WRMW:cjDgQ G} L,XCazC$9 )V\aȢ9ȚtSޭ?YtE+p^hFRZg$@G N3PBDlm o Q['pm'6' SkAEBaa_7bGWȃrx f^yZ˓&@fDlWVΟkB5*5HU9o Ec[ p+ſdlH9T8[k 2Ef;{ Җg/aqD;u'ҽzM)^hkv#lQkp7?2:O5 aiIWE{:\C(͖_DǐQN<_pKY586WQ2[#3_Ԇ`kKLӄaϝ!8AYz3)R3 ;A*CcPߜz~$[sѶ~qoA] "m&C$£Z!P %ſ]=K?fiUB Ec8Ki,V_{f[%L X ^j???VE5JDz|J6ldڑPz~e6[^4*s8oj2"SeH?#џw.ZK-`%ފJ0(H/5r;WqR @I!8c7 !\ɏRkbRFg.cd=Klq'")AɷMAdO@4Ac^&J Q-l Z@R@$BFBn!4³;V${o#eZ2/?@@ ]Oenu*> 7tX<@L*:Xbew:u:Rʹzi~eul P2xb`BOQ[FT/@B!nL0tNo,euIe)]J?w$M}M1*> qΐ׸L_j8Z`#a/||*.Lьk.Нq% ;I4$8;f%ͼYև:RV0Ky"S$ݰOk8.DPhҌ=LŘT6aħ*;:K(?T8xh?iPi!V;Wq[[\8 TEZn40h8FOH./wDPnZwV[3[ILdHTZ$Wz}%Tv{c_ cfX&qc_>F ]xo2*k[ӇW29!1dw=*^mVm \_@/R;Wvrԙb'&Z(n\{C;fچE:M͝ ;/a8!d$PpaJ\ Ԯ%ݜrXR /B|:&!J68gývDbijy!VJ/fQ6K x_VjQ#J{A[\ 6v7y޽0M_՝/Pڦe'ʚOL{&"մOqJk@h.WIOm.&o.-W? _<"ύyLᦅ$2zx{*(fin/m쇰7c #wH%Y  _>#W(bkY˦dl4Rw>6@~=U|e47Y; e#fK>GHK\~Awݼ+ gSa wvԾro%;[夙oB@^>zYb@VenEw瞰+KS:WwiD^2n;at0ip<ՑaV}κd4EoQ8<q=*MgPkn&ckCY093-($=FڶoZ YS_Ϝ4yXc<|$ck.b}![",Z8TO4G T J&~ȘsTmx=M[s{Cwsץաlޞx& D82,ühٺߨSyi=j?h&_0j}eb-.B4}^Txcy7uwgиztKtRoX2]G{j}Gof.Z9TѺ,V0}:Uk/I >hlJAϠο4T%pnگf9n]>f5ƢߚOn7~&H <z&v/6zIy43ݪlKr\^*M脱E_(\$`s^[~%Nϋ-gwnЋ7C/ItԃE;{^5oh҆Kq@4p?ɷq! =AjTЦ)O#qvk})j%Wi;3Jf3ˬn g)DVd#Ͳ(Z*Kӿ{ 36hg{SHAR Ms%yDt ZSh\ 9̃H+Af|\0y( 8 noQyWFUE $>[Hĸ* qѬ,԰(ʉq٘T.IYչt[bCjȣR?~&T,uYhEc9j|v!"WS/Ԝzwqxb8:f\{R?E_l)WYg7"hzԦoonCR.Uc, `$=ԭւXCmbh_Oxak2鹎챎)XCeW\Q['xʄػOX@;N…0B,A;lō)9yT'=TEү? DuՖ)͵󕫷%=OW cU^li>YSؔ3x?j0KX8bD7D{]fcɸ9O l5I TŢ}|;RuŹr.y~`2TS}uA yzK[N_ŌPhtSD vMG]H)ɢ*J J.] | N m=&Y*J WCxLrb)4JNx7&B tH?Օ )mR5aU)A5;k*5G`hFGUDU>v5s9QM6Ohs "`xcGU*!jpD; .S",CK&H,ąTyR%Mנ-N_p*mGSˆt5;GDz4bU^:TY&  ה#Sv4<./SՎ4vkS.c?=r14+kj?5ul/`"j l 8\*-osda"5wcO]O"rh@'`iUc[+P)S*\ ,e-6UHaĕ;7f6AkJ_[OfH+Xr:ģ[l?jXi@<4j0Ѳ41]'me"GGZ UZN DLڔ$OCMa}CL@*D>𶇖Yf$gѱ (WY եww[u7ZV&KYt:K\IL~z7ql?r· ׮.zheIq(mZ$D<56E^Sg$( KڗTN S9P۞dl q™[_%nVRux(MUhQڭXrj0ZC֭UkHҭr?k%2UER[])ŤmvH9DŽ/AϷjJYCUxU ;ڧc+eU$u_Վ FW2DߏV:<+*r=OG6lcL,&ݵUohjx˜ i*0MoM dSk) ?阢kSn퉎ILBwʝOpE!i4zW!'2^BR0STmn b:Z`= RNGjcb^ynj]ZYr`"C;Uh4{co-ES K4UWꭷ=PqSoZ$7, vyEܬD5j F|!,] _\Q'^#`o]YS2U ;RhZh)fYF0S:v7&I7DǔKIvu-ѭ--u5mogKd+I/wUZ, Z gX[CRGϱSAtoY gx2ʭuYu+zjhy(D 6Qh&՚]=_fkb4ThT% |\Y`M98NuSUAZ=l+:еZEVMɫwW XzױO:EijL8M ,M7/2[{6!ԽWo:?u,jE8qO(39Ϛl&j^=J3'T/p _݅&<\+Z`2Wi+* pUO *Zݽ-Vyu"?X_t +ѫ[gnSkks[Wיݺ]nL亇n15Ev]l핺?y9T9u}]-o竔ؽvr`'~U+ǜԞЫ(M/vq"c{B<{,-pkL>2.7v`nI=~gvifQ[iֻR.v{9zvGwݑ-*}ׂMnrJUj7Vj7Nxk78SR#Ul7% WqeL|Z#->r_4ȱyݧr@r]~z NݲqLggΐw,eL0-2%?mwH _\+uRaT-̪|f+훐nx?wPTmX`gK7]n a>TKV>51xY)V,@?x`H9Yyש{h^!)0WkRY8%M0†<\ MdW)Nh@ ݕLq^ʸz;S[ RÔ`Jmq s{)Lڥ!"ynTY)TP +q;["Y&0Ot)E&v5D;yv&XT|6H) &4qw"˜(Ob0W RD)rwFYfй( QAa+T`8 WknGwm>,f35 ݫfp|;X'pY"*hshݢc6+8zys1ldV4u;.ߞzKD +ەx6ja+4cjP'UDŽ"KG_Ջ& s)c$Z!LP:2FW2XNzael1.M@a0VFyK8m3'gQ;myݷ&R35_Urj$@ӖY_E]l (=TZ,`骳kr3[ct{VaOpQ\$@wBrZ<ڵMba,0lȋt ':vXIa[OIxz ~d/%ItXe~.4ˤ0X hÅrh8x&.3XPY5)en_)tҔ{Ұt[3d%7Vns@AȚ5tAtV*pѽZ5Hʊ4 >gX@H՗ \p?.؊\~Y5Obicu2umi) C-noX]:BӬ8\;~&QlD'08rqlY zLrn-Ö@`']QbQfk: rH{9- 1t9MЋ\)t -]`d<t1 Qr^9TnH0JQVThuT60urG4lm4@5e`x+%6 5vgՇZqk>Kv,ate>ueK<۸0Le^x0u2 u؈.WR7 }2ШvU&^AJVFD]N- t-^gAZ~On]ad۫(%4!AMb}"N_KGFvX_;Y{e[Bʳ$j0mw4`V%pm[<{^R};s-"O]Hi{+PY蛽^Fh/UK۞DZGf}{aA=cU||8kA OYCW~Q Z3I!:& ?"^UKA* bNu!EoѶdu2%^)kPكv߮4sK7W2k3 eXٯt)w&,2U0b«H:OT C2&4OC'F]HɋBXgߨ|"/6ZX\"Mw,HoA˞:EIWWnjX#gv?# *^V$VQxpV4p]h|TG()6S&8so(ƈ7b){4R(YFs~'V慰G&_#36zw+dlyTtELL4'| F <ҁ,oX<8 \P}%._T >e+"u:P#UXr-5 Va*s>֍2=x 7gHg p95`FCa ?;&1PZ; Pfz9y;L0z0_jSDdͺCVkS7ʹ؞*@JK4)ҙ) wHEā8&׼?`؂I"No5|ƜԜÍ")V!)UADǂQAHw}VrMĔ'xQ>LRd?l^;jhl~5Ͳ z_F'7i'Ȥ89{Z*ƌ`vXL2? ϰ1a|24xٮ=<^ra8>3Q,r3Ѱ$NM\92vD]]>Iqi%]g5[s׿s8^܁9%56)!bMhCR؂1qHsRAD[2, BtoS'̽ծ v$XH/A~sGwHv u:5ܾ95=t{ĊM-H -c1*9rſ+hٷ^c=}cBE"xNs[V{nqy@ԾPNwƼ-dq/17\Э~I3ů="^q+OqU D⧮45$IJ~_kh뱾png xY!$є ̫mR*xQn*XY)FoZRTG\%·9>+,fLpc>qFӂEeY*is3%: ]Ke\tPJrDS E bGXE ȿ7pLlH'i MuR袶 ezZ)IV&T2rBx=J2e}7w~R~bkY Lk;:*nt !*R>#7 MBFT#Dqs&Ȍ<%s*y<$ےi_yÝM+w  !w߶V( sph 65u m^y%+y49Yլߠ!n;hC G!8 89 (`h:DVciXHE1"5y? NtWx2#޾{kjf5+߈ڬK-`X$hXKNVE5{b95{fcϯmUBUIrh5LE ֬ЯjܚU#֮f*Qe7bkof/DY2Ց&D L0THqE],y)CG%6e4D5C3G%JUx"ZD a!YILQT"neG}PT 4h A4eѸayD@ &윩ؗ(]_RP$J}כ,I{M&$  MۤFxu4eޚ=ɮՈb2oYuWWsvQxh5"܌q1Zhg=Rebh'-s,,Zv0H ׈#kϩOqMHj>+4z| (X8 @{~ط7`hyM?,Z{C$N?D0[<Ug lKaIo,F/wuR*vf^1z[wRNg^nYHz}n͵뉏nU=a4V~Yl-Xp$:d ƙntԜ;?{ISE`fCQIr`+20o lbFnvrx l]7 83q"`q_btR[A >ގ:>Owh0ݟvi\@nc^Eٜ)!ϧC2ЀD[@PSjfH !zHyz6 RGŦ`S虯Ҁ޴]rCfe\JpǤɺ Qg!v=h:\nĆEU{6a%*y/R+rM>ee1*Q/wuoiVW K-7\*U[vqrȫ{&~&r1gGL4`_w3y~R2LIlbJ(_۩$ $|18 ]D ʍ)Hin݅8ο_5$2gڎI' zIX|AP9?5ZiK 73&}7" ]ی*[ꂫqר&Pﲭy# j-ݱi:+̛z8 9Lo$MYcI*3ij O[|b& gOo +2'6w9IbZXL' | T>,Eu¯I]*#s9h +*q&3|W_ϯfBb]ƴXZ[L6]-1]sh.n_Ԁ< A;eHjyR0Q{$C@$E6`1'%d4D)9UƖ,#g Z ҏ^vB:?^P/ bD#\k~cFDG(pCU4ڙ 25 $CB)3 GINA=*\x ӏu&NՂ *t zg@|+{Q*x\94#`_LԒ# TdQ2ǤtJ i:Fj{ZWU=N9&$\~o㕸h=Nq0ag>CͶ-;W5}jE3jV+ɯAE4͍W 3EEmoBƺxP{}=֓h#a*CzBW1`1aEIV8ѐ64NˡƼ+Ȥ=,]I5 LܺhGcsb~0Wg-DP' 8K0an3 $HmD$1lI[WUE[r)Bzl~R*9<n;D}wҖb!d[FQZ,]Dh<nj#Bf RhJtA1ŌHx3 >;7Q ү33ȑkeJd/ vk ae62h3k+qrg`!뚗 9w 탁9_:8mV }ͻ0:"OXyV9:S!| u J2nêKr6;!lSXCd+J[Z34e᷂?`Îw[0nw;g0֢$uGL kࣄ9wp3Lp㩋H.'Zn]aȭE$BgetH %]Q}/%ScuYHWt,J6GUL}0H"xV(Dm"6A8ai?#eJ6.b#̐w\wY~0/7pX{Go:.#-1foK+0@Lba<MAHһ F膤1qԇ @F19@_#tRTU*؜ōt/mG,Zv&~J᎚[P VkڭȊ)F %NƬU٨PTWfe>=# \"~<\kv婪@J7ֳQhqtB*^ؒmvTrgۉ40v;o?rs S~{ ~Nmî*s$Wθw!«s2ׄl>hyxSZz(8E K .O_F+ mEK3Oì85ˀ@nAW 1, IG _,\@iƶ՟mu'IS! \49-,D~%kKƴ顐ky5~@lԞElțOx5RL ciuN;c1J:gIeBۏg)|"QJZ:n]ZVP}T,]c$Mh;t?B mLYBGL8, M @qكW#c aq}ߵf(PГFaeHUu#Ngp]#j($%OD Bt 볎!EX_ִrc 6kTp0ņgs畹D(w!㠢{++b_s.ArܥJ FͿ]$YWSCt4]ԕD7G=6狸~N&/ȚݧM.&tcycpz7טWi`-P|~,fSKwi`і 7~IXQ5zoqAYd7;Te?`5_;_uq%޾Po|'k.4EH`_ҊX3!`WWGjڦIJxD?ߛ` pe3,#xӽs-#:yn/+ݹ_0'o,*p8c|d10U 2Bl/ "Ma }ݛCzêut5PkuWU{Eƃlqʞ':=)ܡê8uzb[TyISx,j@aXI}_Fl䫱H'|(J3wblQ[s_y*'M2J["v-$e,YvHI{K)x-" ţ&Qlj\,R2>ߞR(xXa+:rʞ/{$QQEj*3kMs0DZQ~$Ace.XZC6HuݢLm+*h` l>BRK2hR'85:ۛc-nbNbvWimsͩv aޢ^ӝ v2OxRVED|ْ&OIG0ezc_ A{ 652)n2 /V%7{ɲX}rҖWMf|RETfjEOWLV9d: jzkU)vBt;B1w9frujkW((KĶ")aݽ~x^r P<~V8Dx:j|b$l>dPTA蝧f0peY1 }4'˘c2;nR!#N|2Cv]1 3L uBfH˒Y$Dټ/;KV~h9G_{tfu f Ͷ'[I2-87Ԋy)+]ڻt/'Xp֓u4>_OS6~aUu,x߸_J~pf,b5* Y[ hf I<.oVIѬK{jjYme`PoТXIΑ迶Lz;$ I7/eWv5V{QC:,nSGȑecy @Bޡ)I#zj*^0Q;Ra?&+ϼ,ͷtGH7Uӹ7SO3_ҘaBuGY4aEgNˬj OYH$Ü;#MiE(sAo#aCmY tu+Ϸ3M0+o갚!u> ږ;M-I 4ȟMm?.~voOm¯c-Ruh][KqC1(]/geykK˔H VOԀ%@[&2+(tV V^[1t~V)l 15iaR4\JT'ub 1=Ñ,(_i&=.y;R}%KS~b hǹ\lFf˗$Åo _ aY  TgNXܢU퀖_`[_Ul?4D뫲 :htKf6WHSmW\cl(A0k`V'f_l HVʹe4IyU47ggܔBbJyo4gx`cJh6&^@9OcKr+ 2l1I?ask(qZE:Ajo.T[Ȋ)}r1e)NJs߁J`CJnt:=*-`:ԑFT]*/*If~WaT))Ro)FKIJԣpx *P E :bEj6+-CeB,e4|^XtyvYsyXte0'|;L[%gbi-jYZv~$-x˕lEck$Ue니eEcnGe\vKǢ\6w>;v@Tڄ fϊm~\nr1ǐ zVN쭟w,Vjnqt9*$B"е|FIfd9[)\Jk = Z}t8;;u2;H]̍ngaN"s0nFz C ռ`m9m1 ن'J۪Y@K5qQPD@ 9h=)*"f@;e.إg{~vwhxǩOc\ҽ 2<@_'@  5K# &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/4&o6N`ߖuh,x)3pQ̂8~](b)fynSӂY0ˤX&nd=Z@ Dhr89j Ay"HQdU8 &9$C&,/4LX ӕނ4&;݂(у8Zi':,xVt{I)G)iXUy_"Q',IU=˙eC(ZFɊг(0ʑY~LD ,A $HLDD???_?=_}>l>gTOTU϶϶/<2/flfͶl6..˨17mF@CA44c  &. $ *B 0$@Pg|L, yb{zrf\7jC_%j'L=a7Bz!4]3ٗO26uywoY'"L'پ㇔SaV;Y`7IJqOoUԇm:;۹鹦S~kO)vY[%P;$a ;$8+-$gr.T7G]H7qk$S9 V{@f8B/p]$Gkf|siv?]p7oӰt ܩ'kxKvNiqPqd7HrӇ"ڗy5[3 Fv"'+IzFV<4xAfxU*}yyرOr>4&: la30侥ܕnf`Nv9 CqLi1sN]3LDTʧl,>6  -(miEY%MQݰ@k'lz!Rvw[4 W' EO1tA苳j1Ǎrsrrq1-hلVGcCm`6{&f &+K׳$uZ>Ps&a{6q y&Iy}D06J9x{prCy)'WWNTe!FTEmm-]FP$ȍ3Wr3W@2(\ x牜-<^$q)ȿ\@t4$N('BgFsuh̷]3*|xpFc.<kU8O͇f#O]@ ARc Bg.9t b ̿_@%Ky0fR\@=/ |^/"lH6|ҏH45CB!!2\k< (W 4_ $~X?|[Ɓ Z/ nP <ԸЗ&^]@ t48L_z4X:<9w~)[@E)'D:KSN HTrBP%)$;@TNx tk垕'@ |~5@TN EPND&=R91PX&þ,HdH)'|!Laghyʉ~?pOC!?[KÖ?Qje!?l!Z"somv_ϟf!(о'6x0~i?ngsƼ.-~I?Zז  qgH1_~(?y<4E~"dsyBGOQ >O4T?Ogx 'Dw:#}B>$%3}>*yM5gX9kkvg9, gF'q`.s|o6 \8U୮Kg+y~ |E8|2޷GGn`HXMVV He:',R| ].۝lZFCDwN%n1`ާK 7K`8,@Ÿ$w*@tE@''ɦ18Q /Ә.ET5 .{I!eM=<@l˯jC!O4/nwr']#Z-Tjk_C#_' 5z3G]['xh`zAf ZaG_ޫ-=WtD !/o-L}[2EYhy(=Z+._YL5k{qZZ*mJo46G[ "^.~vmKJNEs98f<ڮgmlG$<spi=^NOUjjm)-i͇)&عaB[࡙2P[lGPCoVR+aɓv-~0TCz MGiO 0H226+=><ܐ"{yb]DGr |it+U: `QF9 mnà4vLBa 8܎zH^9 1@'In"F !@[Gǐ=LOh}XZ2:4?y ='P@>)&ug) YYh%iօ$ phx=㡒i80 BQ9 B#2/"DcF HE 8nͿ_3wt2,[^d>f &ywY=r%WU9⁄ [bB)"(8 $D  "W>UDQnju)feX~QW1O;U}z453_)ȝxӒ,~[7#KK2xHkafakmU=M=^kW'?"voo$,99?z]#+{ e["\ZY.Q덍%A]Irg;G^^IjtUULdFyԝP\P4 ET1"yR[ЖswUtGgNkNLlk[զiXq)T>e+/>bN` BA0 LM43.3O-Ou6WeeSf[UW5Xa@CG0ILk ("o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`Er `E~M"[VAO׈QU ̈ Hyu$b#؋(ٗƀ8%1={aKzx笎pɠ=b-5bYti,e6!K4%Mpx)T8ɻSh(v`MQL -yqCn<*faG6஁E٦\9PBq.f !5&72=X厗4C;L{E$t{[eڨmh+\'OZ]JA!SIƫfv`>uN m5 5=X B6S^!b^l /Җ t 7[P[L6Hpsk&K|7jB~t,m6&Q$#؊Dowu7yS aB2m$iJ%Ȓ 7n><_̀(sU0Jcvx} N,ΛM^ b^A&[^|-gLC-Yd-Wn*?j)lEl Eȭ^NXGP6i#p?. ~UN]~eJI|Uw<[EJ[,{K+3/FT4EW.(8sGsO_DpjH.5/@ 64CZPa`0ǵv( lh`ȑ1Ym`ݏ PJb4Duoabw @4:\z 9bW$]W԰6[U,Bq_3*Xf|S4עӴł75*u 1Ĉ;O. *.;ŮvYzfl]LiBqj4 ?^vyl6JrRx~*ntWv5AJ`6=%MN"iq9;ffh$#P<%YbE~х䙀kM }/(,q-F`NZlw&E   m:|~Y'1J [ʺ"E.p@{hg1ɱ4Q1,ڐ=@][MF!vfYH~ガBawBӦ ;pSکASW,67Ǯ8.XNLS-[D2J}Όψ)p!.#)qSLz+prnO;*̮U2qs$'!#Vx3UJc%< +nc-pH5z* _1+8@zY)Ti#ʷ!YA: &޴&.42k$G,bgU:_IfPYx'Mת2Y)ḭzqYEr}p JiUֵḻ?V5~["{v]{9 =Hv>P,,č"J ^'PsŖxP=[Ch8c)$36OS_7L^ 5r99v/¨Z5X7£iok0k-B`OZY+JB!ѝ?TIp%JmԺ+u 0wc묝~Yf&SQ~Bo}֛膡 !uEɐ\p9HX~ХC}R@hKzdGv­im1%Vh>m H5|oN#\˷Nk W(B/ct.\`lOiLt[Stہ9n dG8tl8"]߂(沞d4&$@U[Mҁ6|b\k@8U^* E/־ Xac%zK$1ځ ~Y:vVG }_>Sjes@:YL?Hr3}},sFe2 ]|ɸȜ>YՠտO$װ|gf;Dp@PaaqV 渗G߆qK'ĎTpT:"b-}ᯣ G4cT7qfx cM9LGb2s*g># 1ec$ i ^c{S lAnID`Yb\8^&D~B>n2w2lORrD[-"ֶ,LHVa$[Q"U7mZ*ȬtzɺCbTSKn,Ƃl;̠ӖUAZlO(]$N3őp#re] Kھ7ݱ,Xks4l*;%}!~: {ׁɸKk}Wr[1P8êtRP\Ib0{AseRɁE밯@ o1DcRjE.W~51RJ<{FKQZeheԍZ#e#]}Ot<ͲiY62O]7z{;Sa4%B2?ĶɪLHgc{T-޶|Ew5ث誧|GW.-GfhXN6]Һf0T~|qʟYȵ@LhZ1G1-=6 't:Kɩ2堅mo@Sq L.$v91a#S(?ʡp++0%OQMי=ۗ n`Vtc* Ni#4$OhIdmx#ʟ5₵v`9r} Jd؍wPq;2̎ ?0̱z#{fuʆ( M.{W ~,j<#RLBa{B|xk;/8EIPlKQn1wYa?&S-MrCj7=3bձt2?&VB }H{luzVm|9*p .yEN+@wN0? =6=Zݲ;yZo̲Dw8Uf;R|B}L,jb@eao6rmH<6t3!jM׼±oCzA4sݟY[ٝA^Rz(ɡdK[lp*9-gypFqZ=|%[N=Wji8~9j5ӡY}db~;jK)dא V >|cPV-\;K i4 f >];Fz q98S>B/xh8Zn`\b LĦZmb1ŸN $(NU_c;ȕsyw :[1bk?a| Cr)ŭeq/H B\j[jV.6WߪK0/ |EgbSWA otTQ ̏a?h#Ҩre=.ׁ]BLTJΫYp,v•ae,"[JĮ"'U^L4l8t/ ;( GL\Oy5} ?L)qxa(m`Nk@]'8R9]K "vg)ccSb5~Ti"ID*n)_~e@=1p{)Y0cq`w8cjȱ.RXPw(my'ikP霜bx` #ItENn&ieq5]2 c0< mSRǚѷnj.w͛D0-3&y}knK ^!#R*_A1704 (/P#+l ;om^h؏mg/ 'qYe2vnHSOk.Fbv1a"}MKsK)mġTX~k᯷^"쾅q$OD/63gJcNMvn9N'FEv[q~Hzr=eµ/!.dzf:)\|XXZ7Qg4&Y آщ?>Ұ|~*ِQ/Q6CwW (*R!|N:pWiҥe)2MoD)qfR$Mj["щJV de ]4HZW#qb:E Q}?.G89]bEnjq:)# Ď=?x힗fa1{Scijgwvfj Fiyӣ?ޔx79dxycM̿ !B2!m/59#a̼{DC 04a^  &|dÄa0mxô D0PР 0ݯGa9WW>VdDY{>3,(mՑ^yFAjiIz^.rU?GuNE??fMU_\Lͼ 0)H`4ϼdi@ Lluݎk㔁צyKI\F}z`i2~Wӥ, ¤XR&<0ΊACzl5"$'!koяdw29J8G&Y"v&&wo>ί(y0$ΊgU?NjuPŒ6e?HRD))r &o8'UO}'=-gcZqGChFzYqJNDv~63xRc ȵ3Z7n;fDUw $"c&G ~^- /XsOG!%ͱG* a  4-0&wH >;cm89cˑ zqdѻiC&k`Zk𞬠tPr?1`2?]JYRH@p{ AeWc3>eۇЀp"CGJO2gb]LZi[%Nqs,TGT;9lQ$Je]?nYH#Gςr Y2 7%{&05 {}0!F8KOZ!9-cDxAp(}Mrp+UDNWsBE1f~NX~=>=u&vOU>zimǚ WFyXN=R@|j4xrn"2=ي }BKEt#8 ae <8-- }۵\ޞQh;Aik;v$j5'.\IKn;.t-XR޲ F3MGQ?EMuiT'&ziY!= e .鐂q{ @Ǧ67TT?s&&)1"[}Ѫwmfu{"ۣ0j+{$VUD."-= :w!T1#'>IB˃zN>9"*ct*-N!z iD4D0w4xO$x"D+7܏SX^ Ȉ:Re&s'Fe[܀}2uG"7 Z؎e~Cb*4HYK.%IwCu2C qE%`P0U vA("/b[E&hZ y0fJmsH!z>˙ZPM'U7~*k \,N/1qa} Q,M7qU q?E&ŀC YAdSY@Qf/a ʺݢ(P DOS)p !Ea1|k~rxU1DtM9!1`j4E3ĩˀo!Ra>zAݡ^-`wC{pdpSuT}a<|;a(4mO "}f?ܞJSfQD4Dl&?NM9@l;!5=𭰩hq]o ٪_T0 ]>-![KyFbJƄsuZ؇_vZI IB!i&4k#BwHq( i|XpUdwMw[߻k2?\;Ekm* nhZT @5ֱAs lP fxX \_߫r5#풉紙Z Xy mLv/T{^{-1kPp͑i31GFvqP3ꡪa^)CЃkn\c b jY*uԠ7N|ɋ cޫx8YStY\T>aYDImd:o8Lb㏡%3Nai?!P b7{AxRمC\sg$d{<}O&Yn15'Xi%CIטĕNKsMeQcBuD"qlօUB}:Mj}'r++1>rf*\̱0_ur pjjM<̯[;Ec۩Huk7>fvd};[X5cAҝbF6yZwgUH#7*]hSb~ޞ&N%JS,*1VrJ9#V,ƌR#g>cafFcv [9gȵb1b|%(T`V4r>j4xYPcd)ЊpK53a3g<fu_€čw05bR+֦;8P!VAɏcZ̕_h 'o|~ȦP7Zm^MTK[y:ͥ|rbEIH2j1" ez@` 0 A 1B!@c!"#D>.(5TeĆ,.=lIqۈR/)YR ?4Q~FqlPW{HP,!ՔÉlyLZ,ү#>Ç7hpНefo6wƻ!:xH\-g0PWܧ658lqApy/GCL3 3ϡBvAA>NQ~LI艔q>C^GuV, q)ؤ.N+JDiV ַs*UZkeoUh@V ~C^ߥd(|4Æ<~D[[.$tR \Z"|MrY^-Ǒ :9%EQbmh};m76 c 󇧃Ybq5q ^0t^t8pĎ* ?5dOŧ4SNP`,TAA03 AGV` OrfF&?!/* J[h ha b̐Q$֒S-? ˻ -x[{K-+@l|TcxIsV!W8Cd6g S|W%EwAoWQbN8YR?I;H$O0ESm#e)3/ 'z.k4m}KhAOw|WqF,x *}T ]uyHͩApg #Lup}N*n" Zoܡ'(KV/Jg-R=a]:-Q胳3(G}.ˍ4ypZGUPuSx_nvxwP!B |um.="#qV:~GWs!E(DZg5*:e#B0OkƋd_WEli)A5\hNY\7#.2Miw(lO@_iUv%DHhMb-6BoA?GA(sc/x(\{l+P+o49ؘZ( nt񻇈gRJ >n @٬}%ŷRYdu|)+ݬe_0Y9 W^.r:DRI ݱi@<ӽK7Lqr;O/?ב;q9.FU!x~=˳8o.B9z!Sgq6A| aC6p6r) yT| "#L+]IB)4 Z#;/{G/oNБ`L)p~8?,/)R&N|% iF{>l4⥥e ]0%BKٛFnX]1R)R+>IBh0g5+F7؈@\ %@%NF a@"iH6뒷9%@‡ H.Sрu3- VD \s48҈x`n![BNfM#gvu6Q`=DqI@=CaLnVEd?#+`Eݪ[FrZ'yj[eVn0mVx})O 4:'_%ub :[pA[%6 QBykI'xrƒv%̈ɳ(Ij^ǙJ;@^UAĘVr wB=3bprQxXH#]ڢ18l؄B6Lfc,q;'%uTQ`={;s?nZg8Ҽ%FbwbKuJY}4tR%sf{tr:j:z9O'~]+UrIft:JjrԞn>$g /eгM($I5 α``aaA 1 c!(# A y䳊Ѷxm yd܆ʀ@ځO@x,<ϡ{I/E)kk03gTYt$B] Z-ebΔ(^&B2B'H?-} -w]~akJux4dD]aAV"$ꁯ sZ2aJI(7\aB{z_V5# M+ͫ:ˌ򃁟 .4Qo*+3[ ry6tn#c{00IwkATSmJ1֯n&V 8|4D7BK,>K p|jHmƒ fp7?*g1hs40[I&/!c`$i &I9}G3^\5 `I5V0KS"`?u[R^yzSװG|NW}NERÄ<~ dv_ۇ M$O0J+ D߹򹣉L@*-׭CS=>9!DK4wrLQ;Tg,Fh4v(X[X QLΒ>59Y?WY"*`aq`x+ddhuPAH-{D?X I4sKw0hmM 0zpD0݄Ot`-C㜙ޱm)>nfhwXyàP5")"sു.#J7+fBMA db\Nw*S5`Ǭϥ_ *w`#VC ;ПHs4POt+ك`$k#VҜvxB4y;^6'^N3@&ɪ‡F4 oG6/| xqIhљ}(n<Is^=; Ъ[籏o<8ؒv5TI(N(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