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 o~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o 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 nyPSBuͩybT < Mr)bAHPx( @*HY"1(y0({i N/4$ "ʼndqIq X0,8$L NBR]iY[o3[SIEQ\9]K[?53&KŅͩVfWH%DaS$1軻1#4"&`80~[?p Gĺzxh/gwp``֖h^E%xgL\y9o-/PLZ^KS^8yQR]<_5WwF4LjD4/b29ǧ312fbf.l$jz4&HTCl$jrȡ'u3M W.dՌasoxh04w8{980|ƂחBgơm^nWJJ47%[cHHzw߬ʚZ="V2 4(۠A17##} %bP*зA1}H<4"rp`+!D :_Fu,(pE ܜ1ӯr]~Vݵ@,"^bg{Nz{KY5SSqc, IyI V~ؖGjIS&ޱp,2ixhʤ)(@4o74\]L(34Mz{srkvf_SRݝb'-yW+WgfzsXݨۻssYhU*j]kEHj2N%Iٷ,5{ 9PyE*ņD&TLX( =}ݿIcbtfdu>畋a jMU#IRRP4sh`yFq!qq,P AB a(9lDop+ AK ^+dkud K5εV4>o!5)*V }}mq ejWW%cUgk EΌ{^:rܼX{S&aC(d0r(T-< T5K% &HOL-Nominal-ExamplesHOL-N~$^#?  ߂|{xjwfqZoYhVgLdK`I_5\4X3W1TSLKHEDC<;:986321/*{)z'y$x!s\[ZUGF E @ ;#! }|{wts r qkidc\[ZYVSRQMJIHGDA}@|?y>t8s7r6o5j2`.],X+*'%!! @9320-& % ! gUo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   S5~r 3- UHOL-Nominal-Examples:threads=6elapsed=338.030cpu=1622.129gc=113.981(/GDwi"( MB<4Ft/j'g7+wJ z25'2OM.v!rS,-j1:[9k~2Ξ!ʓNՌIjMil(W R]T]J_A)UeVز5"+*4G,&00 Fl\u)]j$G۩;$[7HhH8$ gθaOQ"I@`xPO)@ D`Rf<|?_ # Hp X(   H@ ,,Pc#sޥvQy="N)Ry!Ub  oU!= 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.thy3 JpZ>b*Ikt)U]:9.sj#W%XM5C] uL=};Rq(S î8KwLN6]ijo3wR;vAmБ0Dۭ㪾<jf[ W9]խOJ}J9 *f^*EOe,=8¬8s7T v L3xxo4DC{b69}+)}߱UF ce28B:M5)* }KMڐ@F2Y*` 6CFaPW;뤜]IpNrR qN:΁6Ľ`}.&}UT+MC%Qqm B![+ZIe~Ar=K,'.Jة1 ryʿRCQu a¼* /w"Ӏ3#`0PG~;my_J7lوz@:sX.v -pj/z8]^*ʖ8ʋMMo"ӥx(б1mNEKVNxg Z$G`$hXڻV*n.^¨Ih|U?* p3O/4urطUjJC^ZL;_+,ңfK#[3nyrUds"j ~gv&ZĊ jcY>aBUѶ D"e/V mcbX)' iʫᠽg2=Qí&o-obs%\e)[uY_MsFtT `s?w#$6{B^":Ń"]&Q]xZ NɑSZ+W.!e~h׊4.s. cܨÖ טꚉ!`'^p ܭb'j"9|V/pg)TqZ, AIGY45!VPY>q7 ?EV9e6̹C˔m.$LZ_|YҨnsɵ_EbY d0$uAR _rxGz57H.D:#[YgvX2`;\7kHo!d: '5VL i.4epS)o T:Z'ۤ>( xG5ȱV#aup+Y@B6<  ƲG{W>Cޖ5ڤ0Aݯh|d5/fmXC2Ecwc;-ҹ8B?=bjY o5Cd,1PlZoC =GX@v;ʝ\ c5NT #)ՓЕ ^a@pr:tyW H)/PwFgY"vz/B7#HC r/Y]ÜI0q¤J2[*xջ `^+RSkUv,'`9' 2$14]gؘfV?8q+f#xq2;M;!AN9vx&eN`bv+Sfs%J">3y=ˍ@%G]e N~M L\ 2DS>*7:-N,d4A x}qH9@v V|BM($G m)8@ÕFL W/xThYOzH)x6%[|_ 젓{ifi1`Űf{Q65~"_ vVwK9Yyssc3nzf{0]Y=2Ǣja_8 ␖Qݵ[< }ۏ1wv)Ymϭ8R|K)o6yW ՠzP˃̵2K1Ā AI(C%M -:Mm {& Gͤ96#( 5wMW'4:TΩ0I w:=9V-Mgμ'Ǝ[hI ed_p$:g I"6;\y`6Murgk%"Y@5'j6LʼB|nq1uLVSWbL&v(Z?Ä#r拊_Cm)?9AcP!#~O Y!߆,Dl1 -E3̡<2E.a<ǰŶ78?]^QQ7.[ЅRDGKn`zUjt 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-9L$1h9huU-mzy\#Nu̲zNd,42P« '<2\6Δ0:a<({U>Uk58XoM{F?c\8{ˑ$_2daj1!8d-9n K-#nBhW-8x>Zļ;a&ΰR4inyPKIy@cgd([]uo'GKM89N`a1d3’%9R=s_DPЍ*ǨKD!K*6?m鍎yé(\+L a+n[JAНbxs۰Ea V%UK'6r2^XPւ%v<))iZHMylAm"k ٖeD֭kwWGpLoջaXx\4w ƼO.~Zzl2"BRA?`6 ]hzPŵP^ffP\(/@ n˭ȂEbkp_Y^KNJEvHo~Zaw}oQ4)vE-`sNJ9^_+*W◬|.zlSO_@01j)2-tSXӼ !4ga4{APB*~h8Ww|SVxQn" K4m#ӫ2,'*Xg!3$t1Wq0nvƛטۢ -lK .`I|8Hth^I+P$@''NV4X5 F@7t.E`*'hFrʓ5e[48VU{={O2Xls* ݞg`~?2~Jעm szF=גx-C%.*J&Y'˭7bKl,x3:o}EZJ8!OmO|*#ٵE93m/i l 8`w6߲ |;l]U`D)$' SavL8#u-T([;>89#%!s wS|=&:A5h$ aFo `PDbi?6?U%w|ƚ:{)#4Zatvde׎P+ks>[>'+$˫סɩw>7&*5uϟCA/YRXP6LU?' [j0PѢ."BW]10!3 83Kњ?8Y[1xuO B OQZ4? a)eJ% SʎNi>2J!ŲD@tK|ROXl&gEN8\XPsF`,E7615Gdz%ZB40!q #TTC^X<I5LCq5V,… t~h50{/ys`cCuXsrD]ϰHo Ø0fòxL(=y:II"P8z@C=fG "#4(h,I@?tFg(b ^`1ҭUƸVZ  g =`(T` ae]"ܟ+K0g,BG(B%jG䰓4LzҠ&D%3u<6מ)E7V[̉dİњ;`A +RA,l̆;|짦StWw0V} 䜥M [~Tɀ7,H+Ob/2e&EHQO(M u37N5#X'"^sp8Cb38g4r@N䵀U6 ކ[x`B<ÑĢqIt Q JzיgAącjH ǥoHL<]Kz=h=GL/q1pltCd\5ecL߱J9]7BBog]ߢ SM'߸۟u1SPcY ]'.582]TgJW'\W2n6&ɠr4: 3g=Xuj1 OcKi$8Eܝ)dDzgPLT*?c6c- *D!|JZQBaܿmc=9Ӵz arSa|Ne%D{ ]|Dև؊]U;Me`HIfhB/R㡇@_Ac<5ZdkoV|?P_jŶl6@V/}9T H&g sX+pw%Rc -=7*϶ Gho}q6U\ rYiak ?^u ~y z;E(kJeT~Х;oتˇo&D}F_)w#1:Fv(+zěĻ,Xy =\mK;Dv㬀}XHd|'ZBGHяz 0XE?&Z .)@ TWc%_up6/|S&;R+ck;1)s{#{=_sЁ7`b T0|fL|41X`.aZ;Bm6jj!NWTGC8tcr:Q99sdS.w )iE-D`$@0'|gkB5D,Ĥ#@>hA^cS6/0 7 qt5L}ƶL]r\wr|'Nfm|%uVK&sjX="}.b2gӂ A=YLU}EňG,, 6; E_s$Z]l|EӂAQ_{r.9q=~pV`ĀaH) `t'R5:qY 3[5|&y"` ɳ |[Wu^afeȁ˕^~ Sy^lQ&1>98e~Y?ڋ Vԛ&^/aȖĂҏO>/NL÷㄂N2jKI4w_ުZs旇U*  Kw 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 nyPSBuͩybT < Mr)bAHPx( @*HY"1(y0({i N/4$ "ʼndqIq X0,8$L NBR]iY[o3[SIEQ\9]K[?53&KŅͩVfWH%DaS$1軻1#4"&`80~[?p Gĺzxh/gwp``֖h^E%xgL\y9o-/PLZ^KS^8yQR]<_5WwF4LjD4/b29ǧ312fbf.l$jz4&HTCl$jrȡ'u3M W.dՌasoxh04w8{980|ƂחBgơm^nWJJ47%[cHHzw߬ʚZ="V2 4(۠A17##} %bP*зA1}H<4"rp`+!D :_Fu,(pE ܜ1ӯr]~Vݵ@,"^bg{Nz{KY5SSqc, IyI V~ؖGjIS&ޱp,2ixhʤ)(@4o74\]L(34Mz{srkvf_SRݝb'-yW+WgfzsXݨۻssYhU*j]kEHj2N%Iٷ,5{ 9PyE*ņD&TLX( =}ݿIcbtfdu>畋a jMU#IRRP4sh`yFq!qq,P AB a(9lDop+ AK ^+dkud K5εV4>o!5)*V }}mq ejWW%cUgk EΌ{^:rܼX{S&aC(d0r(T-< T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 ; `g;-̠m+Bi(ut$IMM7!а660 DD`Un$ 6֪G'"R;Qc$k4 H6QXެ"Mse);:։bd1ICqfҥ&&U1\0G&MW6WgͻFʞ\KxHBeۉv¸F\)n Ӛ?5_Y5ǫ{zbRKb]g~nr1RTN`9  11F"&J(Dy҈v dl$9|A"Uؠ}?'[3,xR3X,o1YL0SˤùԽM,b*U},cPISoԂ!}Os XgQKA 2(59,I@m[4p9kjؚ%rNshݿNn Mj+U~X6[r4\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal D5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1 c( 0N_a=ygPAI<jj."`1sLcXfuR~vLZYh9&Z4f:"qiOlY|Vj--0q"f[ݛ_5{S_08&Qy EkјD*%b"OƱgjEnV DT9I\#6!$ kz5M ʺ4 Oaj0à" PXܤBsG4Fyb- N`N@-/69$EؓAJsRҠ(àkʘ꺯^SIs>'cV(0vl_wjbpXpX ?@H#/" 0@lKH0j0$XKs 2t.v*/^~^EW8,u`(&5PCc:*v2JueRuSW-&r*9iĞVmFmR.E&q 1%Rk(s1)aO\Ĝq,ͭ_Ŕ,5wh` - h@HH04;^sa^KR좇\T2J oaTɩ 95uu+gj֪Z{'͉1-zv  0"0@HH0$sй ys=Ks+m6 kV7j49t)a$pJyJ"0*. ""0 $0 qȠ?FTמdtHPd.ڀI]1 >+~*Cm&&K(zXT9|2) GBȘ|Iz-@yTHZ3Ɲ1 r' jm!b}IC+A~.{C4h}g9]n>>?1Rt?t( ״ '?>J! "b:cx"ݪ='L'}XRRVP@:+*)Dm~("~Q4Wy]xR)2x9 M^5cm\)@Z;©7my~7!jԱQ7! WnnOX=&hVi<ﬖ\} ,{$E=/7tbAl֟.aeug3 Թ&ak!fϼo"s4[0ޣ^O`T9ymN5<6ͱnS?=Px 53v{!}t FɋoCgnѸx(5fF)РqⅸJ70K$ۜy S`}' /T 4~( 6R[[r,EUİ21PRCndu"E2-XhoTLjU5>/ü*p]0-z\˵{/5T굴ڹlWC BFǙKغ!y6lJ^=Mi)fd㹛.<+<86F B̭1GGf%g â> xfd1fF W 2Ûی5i W\:lx87r>GoJ 腚Lm6tyf<v^[J5&lm(W:ю qX/tӣ/&^_ѣ g,iJu*fT%s a!_!ՅkdDpf8n5^JE I3iDq=^ 7\ ט*rac)ok fohm>4.2z[щ.! 30ʤ0|d-(gJabdǺ:m5N=x_1.ΥWV:dp d·#7ˌf(O66a[ Ly+TOf/lZv\e<9oEs˦z0x\w9I]iç6eklm)Q M+xKѼXa3ʗfLx_Io~E mVFԥDj邛:WG%F_W,B&M: hE $bnK8hʩbΘBg_\,?h JpWxeɛ+oHZO% z8 qr2Nr 4sR8#m 9tl(1EnGK-v!35)MX@y)Wh}ehlʦZ0`;㤎*Qej7@4Rش@O.֦'6+ǐAd8Cx=z"re(y\I2kd Rb02CIYLWWh\A[.H*J2z0% /6#zgr/apA.;]#1o5ǥA3{8PUI];nYwxIžA9p2Sٷ X {jZ$+5Lz". J8*ub@WIum*R5Cv[V{dUAySewBAi/=H& Ī F c_D}H;4h }WeT0!vJ`=Xl{bc9O;tsDKLA˹Obo1c4OAà2oFn\lª80`/V17BsI%#V5i+@9!tFEHY`⌂E٫ubm${Mg; fvϏ,۰Ix'X᳍ŬEROSVKI|:?1D~9./X,LcNAAsv ` 2xҶIt7s ` s~'8TixT g}u/7B~3zElhTI)w/3qV+Be8Z(OIpRں(ˈ7uɦ=Y )͙Y6FsKHX\+c_Iu Gèru^ Dw&>ڌ6Pcm.MFVe\-R?|ey3=r78FGj+Z8X0?dg7}<\&Nub$jmhFȉ0R] Ɠ:6iu$ۏkr!AU+{.U[5C?-\O[!hId促I{?=vPr $E%dkFm!9- 0h_'MBGIZO>DS @s2m0PƶJ) LIXEݏ&g|۶oL33y i4I$ίOdCzU'~V5?3&ۼy~" pHᐘH3CzcٲpXkke]u]׮kJ[U*JUU/ZtѿD%ZD%*QJ5VQcnPtdXoOt̐8(4|8UG48BG@PCh5Z!j԰m۶2m"mCI!E($" RH2Fn#f.""""""E*~䌬b V\UU5f"""DcYz!  4B@ p ( @!(0H bA-h3R$ P{{`<а ^d*v;Cn4q`hp,qtı]8$*Ln2Ym4MU?9n"daS~!]0b`0Ln!M& W(FRij?m33r{vgGd̐M#qXgLhQAQP/og(U'=Y*MUUƦTUUU_ngHWԖV'{ڶm) m3'~"3''U' [& PA HIEb8H,LP$4D (4HP(  ,@CQ[/aYAl͘g0f ?4ˋĢоVpI9[լ'>{ QĎ0`R8m?j 8 O+7殚Wrl\ ҮjF<(j…Anθ87e׽4Wy^΅%z%/$\9U i09߰;OWx]x-nny|f<]ޖ5J cLctJAY魊Y֐vw)F1yZF;Qy#z;:clj|yeɺ1Xz*F.㋟z!TYaKpLԙ<1^l[Rc7D%]b|Ʊ6}B$ Ooj?ʬd︔{-VrU/#+hh)7gLr! v..Y (H-<+8k! mj %EήJ.ѭ.0rזhL?ݕz-W;qU^ĔH{0[p7b7 r<^AB!\s{p[,րe#n U,W7]-H6ICDn$ф,0}nnùwnN`snՕ8$CiX{K~} "rw]v_fś-^X/ٖ{ONEtU/L(`cINqփyc۪÷lqAeDV-vUwr hI-o-Ӱ?(#!dž\}tK&0UHPN5 x rhZTk/,췫A7 ۾?/zVۈE6ϋj GfƍK}.yx'ڐFLZJ~-<^J6` Oo OXՍ"nLm8_!3vƜ\NYᷟG<331Ty$Bw/~-ҡڅ Ri>9k h;$bEVwnf~a0Ht98V\蘙'8j3lU“=QIƌyLqԀ'  B\_xM֖4 p*!5K@M?.[{ -tĵn>ל g.6 $UZ%BUXi4ToWOeͲ +F46ǯ!AP6]5e(ϣ.xUG<]mGEg?hu*kh~w^]83@o찰DPCq{'-gqX!l6 (Y)`nNA[Dk<+D~JtsQ"~]]]9?='ܤi6+z:2C}WE:gqT)Cߵ;(Oa4r$ޞL.c;ًt_B ^'fWE{rj#J:މ8bw \kF,s(zk{INv潴ySE 'NIK < su.EjGOrsrLc'y]:,ri' r@&I|%DOML=kw#h=X>2h`\g=He%p3i%Sր` ; Y sm@yc'qvh N5 J!sm:"\Hj/vr~fUKuD LPK $}y5Y[c )HwoT툇1 :,,DlG!.ƷD5(f9QkE5lijw n(JgF3I!,͑"(á-6l231.ի cˎSe1|4̉Y~7I+\TtX {fv@$K>`]@'Q=irbmՍU;aTZGZ& m eR`;a*ÐN{ -%cbnM{WL; JQq{rRm__ѼIX}:Gt1;ވI|_=BFHnmxxWn?*qzxx~ʝN ${zg;qr'} WV(ʮ,+[G ޿e;y#;? DR{6귫qKi V=&N1+d4mˬuPN4ϋֿuoǩ]*XM.<ͭS|Ud{瀱/ Pu/g]\8 6ˎ )0j,?<GF{ jVHzG6]I>;0ᗽ5_։*12/|C~2=q:$kmg'" N^wDE&6qJa9O4ϖ0c6fNۿ;;Ƽ~ɩvxus,L '8eFs+|11ᆎ\Cþ MpAK ۟ /}D1qnoad01~ޜ7^V ?`BܾBB[ %R,/.Jxc];`aħy~VE˽ sΰ9c~.kӴMv&瑻Sj'٧6XI Jjh؏ztmCN(~~}{~Ru1 &.N|wS )6 T5腱 ҝ.lM;ˆ2YO G^_I@م=JݶW|U?zl")AxvD 6"zΆ5,jfۿ;$Fq[J8 w*бK|BM)3r Bpۖ:bpk%g`oS*ƆyyOx]5尌%64"\ec49k! 8H b4nȍ:7IBInN7 hWdӅuBCa|S@ύ&:D6Pvf .FZBb%,o Qq%,¹TgY7G ދ;`;3T\n!D_F)KKstŢFœsWv,xA׎ fň^<)8jpO(}%SrFz{"U>s3xi*Tsha{ =wԁխAG: ھ)x{hP]'>I3tP6gWS\BN&̪h9RvN f&1_쪁c磼A `-1hzn ZмmGj/-tFzv;hB3uKh?٣ gpQU.{ك9-FƢmb2o `H|Izi13wMbkb0Bq'>͓dBe3X2^;g5gnԟ)KDOAvw{o ﹓]>q{ݑ$_oBv`|j%l?/i¬rtMNpl lyO/RiPK-Bf\hDcL> F򴕥|]?Boj;wK܉*Ԉ]PE>A'SMd}aj_\{lg HbTO p FJ t򵑤xu9)$LvsUUv["qUlGDtb{X\US."@pvv2E*, Uabn Ab@QYf ǐAb_j-Ft"XHP EZ"3B$   rHX8PPMfUKDl z]ՖDBmV&"9$m۶m۶m۶m۶ml6U%2nDvHrfD%93gUHVTܼnKDzܖvNѶmюmGG-nvZF dtƛUnKDzf#ɨUHtOUlNzz~UmGDz7|||d۶mWUUUUU8ڶm˖mI$I$IlƷMV&*əZ3 @p@0@`HPPH(Pi5QIlmj-poW["3$I%"m޶m۶MDd""""""Dz6m۶o۶mۯj[m۶mhd3Uљ=mA0a"<8N  $ $D &=-|$ݩq z YzUDat/ҳ92$(]~ka{ vj#zHLN^;BliѵXfZ$,BVLjĞ1;SX3%xFWEԣkA9*I=n\mme#1AKBs-( 5JCU&1]C"BR >1RܴOJ`$vdlyΚ #ps#a5< jacD~"`0Q J$ỹHQ+%^8kyEqvVٍJw:W$)Z%kuֵ{~2 z=(fVưBo/Z onUCI2̸tYsTѧ1q fΫ~zv(ҕB^K_Xaq-/^|N[pWEudR+@֝o[^^z˪1,lz:{vP; qπ82^*AqDT2lZKI W|wO]{m̫Tc&nK10X3IW[ @@Ǝa,ǘ(u)#<6.̪Jk.z-q 2*X=4@+VuiJru[+3vF۹[pfT~-Ͼ^yUc-jvtef6f*vX1Qu"Z9Z9iǓgڔ:i2sM4ʢV\L[Im= 51yr+cN9u W&,gOCh*HxӱdYfl>r 2|-]moGr4CBfx8XY5bF>e hKK,1ohd! 0j L }J,{z<м\8 sM ?e_Ή7ʣb3e)һ DzÿGԾ_$bVlvD$PLIlV$*8: :/Xjl^fO|M*=/}\5x[t5.4'l[w.0ôCDЄm31ࠫn5p۩J70IQU{TP&^uc8%U0I5,S>iO$rNKe)(GX#{oJ)z<BAmբM 8PZ*=ЖaRϐ*gశ>jU1:ﮃ`UKu9+Ô2215pq)QY:UkAU%՝3V{%R1z1',ja⎣:TkUKE^l'Ƥ9B'fN@: s+] [1eR_VjMn5m%E*;hW~47O#Ǻb "ڦ!WJ_jxhϒQڂr5Cq5z-*pz-ΔfPJWM$.6*}-jr#2N- rVܪg[+kG+pXp#X c9&{BVׅa#Vu IƯ AdăT@fMhUj%$jSN}M" ˾lf)2 4JԀT"n.{)e3Gj xrTW­ǭU Yn`1`e6\۾1fp ,d jn@̑*K& -!>EMdUBv%QյH`k'R>W$ox_{rj]z4_)'g1:J]GS8&??-Z&ΉJ#_׃Pz(JѺZזz j쯵rk*y|d,V_ VVcq6ە!8{"{+l8eζ3xX]OkӦ乥;kG\[RvJ@%۝֒F]+vmWrz}g.MGހ'@zy߭nKeE5~*Y *5Uf^0*^CTQe&U,һ0*_-14w"*]`@xۙRY;^v).MHs#j+sSZuO2h%BzAyJxJ oj R RzV@ݔQƎðM{7 _VL>3ɄbIۃ:Lx be=iÔ)7ynKyK ʵtjqLk~5-yJ$1,L(<*-} B)-54ƅ k1)7,EX*WRH0,U}25Ǽ1RcX0 W*dH iX~y4'G5Hy/DyW,|*LQQLGRT[s(PSv2UF aaŸľC5łYA>1d(0 2SG,DA~>蟭PHD! j霰c-VJMs9j Zf]qQ y&O^(PeQl_olgtB>uXiơ%͜ jD7Gu{M$P)ˎYnRDOݷ&, vyM}$EL;@0ZNMF3Ng98j]F .ȪO.D%LD'`8$6ӚvJJKbƅst~ PZ ެ]VIN歶@t;S & EzOTurūČWJ ύ)rAoS~ sW ZvEe!Н>@ `iPö 0ƀ4UHJs)u5+V0_i_27d-mPͨZ\Z( u6X.-@ p_ں=ҔW:%z#*!ilQFӧ&[uAʴZbBhŒ0B!7/CPỴ,^FI/8N1F8 ^@@rR“+M"-5olzQ(&@. X͗8PS>QVwVC]e7>*WyTƟY4`ִ@.YS?5X #09-pyTҵ\KY\Q&kTW3T9|T0폰ӊlz)a\<& ^7q&Z?=v5 ;` fW2sB=~wZ˪V&-(` BX4sH&nY\n@6|xN_,t&m9ϫ"5)S(=WtlϑfgIM; yN]#sÏҥwI G]\J"mexpaRFJ\K\XlMd2si!zPn:.oҷ|ZoL0D.\6+x<پSOD'FbUqhdrD@xNA]Rޖ%yHՂU$TXpN2(Whr!,uyK*pə`tXL}ƹĂ\TxZT?۴EƮ6Oh3+&0m]gh ,$+y[&qf2lא +fנZ Z1xRecs^ka1ڌrD좳z] ecC?߱Wac)@YpxpJ U;ONNfK5\xM>ӓAlS]'1ʄ+*%7E69D=>Fd.*|vgƛvB\n 92?5 6.!> q (U[$7;Yjb %SL*Tҵ6vx ;P?#;W ,XqTJhrH reiI(<I?@{("!fshD7ʉI a`l=k[r!+g1iYIKaIs)&h#q)_wZ-bY#˱~ `yb$-sC֓y#_İ-P|#h.TnފPz23RU0lQm.ݐ%bexIrn X}Ë0QF?!Cs؂[N;y(q/f2!WK8G4NMM۟}Yk MKnλ> Tz9K@0g r*ndpX;@i<-ȯ <3$3Z&3S`.ݴUs##\TG9C7<=5^5 Q= < EaH Jw&?'V%9IC!rLښp!JOE<s4N=G]0{ 4zQ_{Մ'RYu&\O; uHqiso8M5Tc-!H9Cɖb(h2h5&>7Y4㵳gKxQZjDPJޙY.ვJ$a}@WXP\a'yGB(:&t6[xI\i'@3}UxۮYgvflj%@ ofLQr,M᩿443A묮8؞dDE#>UGto*[n5@VJc"rףQZgw9<ÃCnL 0}=40:YDDEB97GPPv2o M^tIG;Q(gxWf]o3ݪ23a A 3/21*cX xLXvU{Wm7bn#63C]gfۯ־k?ݙٯnĻD;U軚ٯUR"$!⥹Js&(N0\H 6Ěrn7tCH%:/iН 9'ICZ3Dl,!YI>ʤ¢+5*J${gf-ewp?  ⠁ ( x xaLDHL*,*"$ƎlџFi^CB`\@*ln Ba@$eUTH&DH*]֒~XV4XWfSvU":?ݙWVX-j=GGdyPMѧhqYZNYB'cdiH\d,X*-$K[*ѧ4ŐP*&$[e?7D Mۮj/c9sU3FKmo_[*$ 304I8è <>6*.*, D "q0à,CC)F!QM֧CݕWQV%0W-y,c꓉'Kw8wphn0 aˆ=v:wts_99_` ՗a#9A|T[9ǥ~5kuKq> ԩ̇wCg<^hBSCRo@>n0̱)eyݥ5T׃Vc RroRlaM|8x.egb4nl) Y\Ug$Pl {%d.1Դ1пA1 p/wJ`. N` 2_€N q#SaMb7:QwŰtr[\^;#Nm-Oj ^a1m.`D$(6I% ?ՓQS->~Qb76j<]t㲉^r=\V{ɦ=9@fqxm]QiKUKDYƯ_*v):bWIܺko5"ď1-NVVs -xe- qP\u =2LWx4JU-`K~ޅX3 ;r8E߹ }b &t >?D$A,=0K$\GLn1.PAdPO5Z'gXگqa"fR{-Z/ĂTӁSia!3NDҴa#gD_p#WYGKz/UQS֠3'L3֥Cb? $%JVOtrU[JncY,<6l{n@128TJYX~ !C᧚͕Ds\CA@\1L8RRYD xnjEKN; +*W)䵶$V`#fF] α.n(2K<L ]5bQ^,Pp &"du*p-|g^Q~whkׁ؂DjwxMQP>Zgw+ c>wAI,[w + (s@;VgAv6 r@7?cyMdx֔ɤV!F] ]祳/n934?U*::pm,SV[mZ=]ePiO_౞턘kHq]M)m *,"&3>5=rUT2z+7:s1@E3,lu?8'Ή :͘u4X#8)~ #Ic8Y'FƧb:C? ^` \2:۱iq',?]꣬pL?Jxsh_ :^,)ݏ.fic~15a6T EY<)^AGkuھEջ.f0nCba-^:M5&jf)y1?pKn8.jβ j s<^V'kY#1#:x-:,}BHw#иXlj(vlt%G<).T{1ap{ b83D\z !CzH."ok%ڢ2][i5G&qm= ʑ4 RR&qU%SYC|hk`鱅DqgYVL.kqD*?5 :k`}L?_K c(/GWÚm,j:qWnjic!^U1z"O !l]#3"q#̴bzv8$ ɧjn`_w$f RǕ2b˔/U#~.߈"Xi>6ߋt*1B)2X[ޛi yV=2+hJwr6 2;+02f3=#g_i8'9uzQO6{J>{RJngf@a 'y_]6 g%|GD ڴ+KOZJ:8XpOsi?&yi1P}I6 G30Dc܀#Zj7PW¬Ij=v 9r3C|,㶷v};Rt89o 'zR:(b-#c1ᤰX bW<ܝxio%WR/[R8xgU) YʡŃ34 9 zھ}<)ኂVq6wCP(عeCHYVǽ8e7@*:}pqr=ѹil1_cy݆m϶>a-^u&ઑTzow؟T'kW ~0^( ,&Ի$4U#޿S@|^HS 9|9p~w0;gCn1w"H"(ƳjۭUpARVh]i{F8*5,eZW=I* gݧ39* _VY6%Q. ^}12mWkVCLnR:wQ:>6x^ר5 d13\O!! PʶZfLG ޡ . [MhͱPou]mKΟ覤ң;T|²<2Z/ 2G-Aw>VekRN'p@qs?-"oЙfz2 +`ةΩ D>#5T˫win{Ms TS0 )9ׯ:lۚvHv`WR, h*Qɶ>q1gVN[!h{q怴ΣE:srm@ j\EԁMmh>f9_1̨\ @s\@0S(Ǫ~aꅳ5|hb OۀZ PUxš38=_y-/8JfQ\:0gFmQ~΁ħ;mf u cx/ǁW B\cI\~`8rs axW6Xl+B 5u?%&Ćzؗc<%_E#?S+1' {u앲[Os[Zȓogҏ\JUL/ڿ36Y^`e [V ֩o;4H+UaW)s,"{ wĴ()n>^rP 1%=OZ ]K/it #'Rqұ>gFEyg̬Z2-$=Êʤbʼnd|74?i-1(:/U{rϨYW:TDj(t!RƼaW,!h[V:2s71pibڗ}tĐёe-0(Dɂ>H!UsJgQVA`OjFsu=V*oҶosplU+9Os ཤK}GrI]j]J*]-@)zϒ LhvlowbpmJt#P%W IQdE UntR$T]nhh H_q<*NR,u"̵`1Oq6A.(1L$0QB[ SW]d6 5?!wsTl%Dʊ;%NS:l' u05P1N]2jdI7Tl>M_M{yMw6]GJfxHLG/茐M%.q0y A[ok 6p@[%(2iňCCNoҶ2?SC a"ѵ;m^&(xQlO'ʞ~_ԕ8(5lRc(0_ij'&Z*b>LGr(.w-ԠhŜDO_$ sEGFt).T es);s_Ȋ#93M-\/BH4Q8_lNWߔ E2'Np7X^N,#A5y77OLq!9J+ U2'ԡ-D40j2zt7,e1)qKjDlJ?`7ttX&ˁe33:ǔKg-#,\U~ms^I݅ŵ\ٌ+-860hF@zByL&+9 :ip~lǁf%d"W x؎Gn-׈UJPHo- b:~N+/WF\NcWa/n[,0ݮ. _m"ڹ8nt .&7a3QExnaYS$c>027c!a*$$PBviMPC?1p S褠+& xSrNeZ)*9dXBnࡣƅmRU )0 Q6m5phRbHQ=%KVƪ*)cYǹst,X=ک.|LVo+yMM&?78IqC$?_be6-o3V91pK$}G@8[V1mF=\mcqXaHI *~Im,ߔ5azGUYhRt00^SpX_U\ܰfK^?j_]AsNWo+ɝV6swZy&Mwڸ4jpH% a 5K# @HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/|,* k$j࣡E6}Oz DdwNIPYnrRKb`O$t8J(~tj$NCR I &!h_pN9' #$q:!y!i'9G` EbL"qP)(8H{X8Hhʑ<ъn~4a0Mz9\$5z;( A4ڦYݿ:,<)4rqXTNrT}YӤKbh1d\ɓ, "DxOhjƒQ$PV1P?1Jj$$Hͧor$Mrn_pH"0< 0ʱ$  `H( II FB H$%-JBqXR.x@(`̑PHc1R(%a@ XǒI%%$vȪߣRxD( L*]JL Z]4Y',H .G"Aý|Ag=~PǏYD-P+.}~@[SDm⣅."MPf4IY/TU8c5֌(dE-woH[3xނ5gy6sEܼ7q+7۬Vu_3޴'Ҧt_}nr#J~BC{Es ! j <.\ ;~fPnmͧs߆xn֜T)kLD`,W,8Z68`^BMy^VT.BK:7pYjKJd= ł3k/RIȃŞT?Pa`L5W!SxPNb7{}A6@hNwء l=kEh#>ѴMB@8]fo[JOe' Z_@u7}$TwN&ȱmS<*m_-y۾^ǣٱEt BE-HEmS /fo2|3ٝ3s+Pk1V h]F^@,5|HwlE;|/if}a׸!dF+v0nfŶmwٖ}o#1n^@n4mil{. i . FpM5go>UPlqF޺'Yȍ x HvY9kw=K$ʁ!vfdw+1~}Ƨxo>Ss`_/3gSvʼnljΉa h:6W@TP,}ARGԶPo(M?@PBD/@ ( Hz@ !y4JH7>yŸ\1K?2 ?d zsA<Q3G7ѽQ^o'Lv.ۤo+o`2oٟnɩ|(,<׏EO /ȟ|&[\|-(hYy3@Y19|k?pfb>޷!q/<~ Js~ !ɗE96xS ƏƏlˋu? ?x3 2}F}DU(އ,wu(}d}`WgCWǻ 2>*ǧ &HzD>/>']o`8TDR~Cg}1v|` 4)G~viC n蹭qC`q xX&0f.J}U: `QF: mnà4vLBa 8܎H^9 1@'In"F !<@[Gǐ=LOhtǾFf$$E7IXpMCiIJQkIY̥f)ZΒ@ ;2-X 6a 0%%Rꮉp4fNKJfE`t[F-ђP,$)F~RDPCJ(+V:_K0j#OO4arO9OYDfEǖ.0t{6u6}siwvc6w51CF56^3>5wnUOhܑIiƞIIܕ[W눨I[!nDPMq8uU\lg?F @P՗p&w5+rc* "$0%]_<~ CM{t*=o1Bz saE >gM"4"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=`덜{YexCwք]ĂKb,r3,@mPņf#Hi ArMQ^Fk^/9c.[Iڣ Y쾅mqnh鴡/fR92->" õl9dDJ`,N#d~ @D񉌢~7uegCR7Nk}VOh1)+֚ʷ  m}skp%9 TQi"GORbߒoG.2੥9Xe\b]urgl-%u^)~a6gbT"pKu dׯDžzn3R$֫^Af ھ[+/9P"joiZ?Izҍnpz>] zj83!ţcT PXݳ3 j6۷+:-n z/|2.E,Cɔ!"{+e*So Dru p]H`m\2NL%)c1n ڷOH^r|c=ґBö.؄`ISSRgUa \;Hgƻ'-k6M$0~Z`3z԰\!Iw|mRsִȞym@vqNߘolCY7M}dž3GPDt4BO UNI!!7xS:6d˳=3'82}L5L+f;ֳۖ.[k ͈ltflU8\o;SVA4AAUY;f3n'q_n&lpٍwuƉٿu+oӧ1$Nd6T$)p#|l r$j;_2Dq]riU&X6i/ScU.od5~Q8[M8dDJȘam:9I&4Иŕe&%i&MDif%#jjQs]ї>H 4EiJE ;%^Vț6t߫xL жQ=(I -1Է!7%+(MҲ-c1`kr=XXq̱rֻ^w>'g4fLf=ƖEQV<̐4BCH7Ea7}.d+}T8,bQ+aBF~ g/2y1:D)R?QtXz+r!9U4@'"E+u aȐ$MzM^sɐ~{M C&DE9텏&iX!(]7Ѷ'S;׵E~Z&hݴ,V>?z2!v@W" ՊQ )Wjp>TepnCNOw jY '#N 6>)q,$$bsw=ڂM9 %DH7Hxʖ cbC1ܶ&UlK/u鍉N`7]oK +>4K04A!XuhaotnkS^(Ocoo2-8qv̇<<(g+qi7Cm '}+{cjr]̢kXq(1w\sº1!,s'Bq*RD@) \)㒱5kU=QT,xoſp9xx/j˿ !sYS,`zt&Fĭ'(Zt(LhK&yBY-kH#F.j+3XP3ʊ3[S˖.zgqhbXg,#'-{qY?YPa6CC ԗf3jUͯϾe ]؁9a6H}q,eό<,f,bږ3U[DT_VO{#lh@oaJh4g6>8PlS?*ʎUfݎ6.>C8ue:^2'z}'+6j)O0;HtWH,9\-BnJX;JIM.68$@aMJ$]Z#BB7uE\^^R[ .5o?HЍ8_]:x.8N]y!h|O:GQūD̾Iw4L8C8wIޅH‡r8^wF45)3W1 NLwjӒ{XT2,1ӠnǛpUZoc ۵zaC^8 0}gSMpԘr1;ݢQh[dI(@$h1*mp n@YҟLͱBȳONG.8x5򖱂=ߞoG^<0m,zǾR5x\gҁyH&>s/wL]e C ߒlCo74>*ZnMgH3{; WRPdrd _fM^aa\@%%Pa󌎆")#r=KLƖnTb-A-A~x=ٙaMj`Prl |>(%`F4sh NW*]f6`Exw0$} B~@;[mRo0,~S܂Vf5%sr*B鍮y]ŅsQ"^knq;P0cu+lLS%&$E̛ުodc.#RUC>IJN Ix!R.vW)`(3-MB$6D79!nr8[1:OQճCcL5z(H!`n`gz#|.[xz >vЏoaݦ dF-;K|Z0x"JD'ANRpw ebY1S:֥ z(k xN wz.|YP~$鰊,9k@$$z~-_};9_bo$gʼnPcŁ*Fj4EV@iI.D*o:W;fTT;:ƤE^= /d5D\`yi(ȈI'QSgnE 4Vͳn%=gA4 bAt_i S? ɴrg, cf#d;CX;aQ:AI(bYLeqv9ǂ pZ`k 霜UT8;P#)%/ HPXYL/ M6HRmSgꑒ̍u1u@Ƙ Dq!_VPm] ڍԨY\&)' "R?:MEB79Ӊue'A8&24apa\ք&sn܊C|tMVIj93u21@>Gd`# yUw9]ZbVC(ɜAх4͇VgQY& nv'8D6LCrJ0mI0THDoܣ&oH%zկ'U"Do9Y7$e p]yq=tx=1#D<$ӐVhlگ D_Y%y{ZB"r!7†YO%\$@ܸjx3κۭqT1"ņ6d9̠掞1jCl tiH`؀iQkޫA)fX. 5gyBfVjdHⲆ󒬒 IZv.? ̅B `eort͞[5ƪ ivQrf2^>h2|W5#_ߔ;1̂Q\FB͸,UOrTقWpзFAPRZɻ?PBdhJv)r؉YVtበu|g@ !BYQ -:*hI+t]V|uӒfuU?[NͳNNfMLͼ 0)H`ˣp>˛,=@0 H1$C@01 BCB #oBʄl^Hs2~V,PlRf(lX*yYn5[⚜ߵ$Ef5RiQ&duVz9f2y>nb`wb=xNOsG9 HG6arpu=n]آ,W`2'7 υ}}Z-[!U 8ѽSf/WB?^"aN `e|NF,(sD%vcݶ1@:.xTUC;w8:_pj<~u7FwA,NuՌړ0OkJvJoC(%)eX+9U(="K;zl@$;M#STz$l3|&|Dghilَs c#?y\?+[)ӼYz50BU}32ILc ږFi4 Ѓf⑨אtq# $0Ϗqi#QGܒSnN0'3D5aj`4^|@,N!Y!qF&{(Pނy$ )"BiI'SԜ*K%1o8n+UTt^L}e`^ɀ"=wd:l6޸:Ā{f~XUhRMr]d2!-xMٻ쬕0mj1`^Ѡq6R9V`j {gj. p챋$$[RFm"*m# eƭ.kÑ $"}q\OlV$Tg;cMTgJL_W\z8@Rcdr@ovrEÉR >M]q0uׯ7BzɃ1f _mdMFQd`w "sBvq=TpP ?*EZ0d3b8),6RٙmW9!4 Zb\>ٟт''ҴFQQ#\f$}bSC=1hk trw^irFqAj(oMX8j7&-5u 6 !4a'@V% mn^9|3bR|4p|Y'; :^-~Oπ? nfH1]· >ʙؗ-! 32 "݂n<1])D2oe3XǶ]: 1:Qнoá];8Dvp>s@kOvȨ-nYYu'2T42.rfjSiLERs̙ͮhڿh^af skcKvF`iU5bmzֈ}BIxjMU}suis!zhyTRjƈІћK7ړQIj>mʚvǀx tt 4P1ݡ87º?YݓN=aVڦZ&7ZI%Ͻ`Ud-СVx ډ'YxrqxqD|'gݧq=FH  ޳,-/G3vamw<>[xr^0yKP!/Wc ޢb<s6R8  }FqȖ;*ŸIx uK w?nQhG ڰr)*sH|n[yWc% .1OpfQjR7a4(I@n ¥mZv.m1M$Wl`P[K;]}4l2L9T>#PX~e?{IN])5^WY@ױS!H :'%e젠Ur1 ^ gYfTs7e  V&ZN+2KWe|jRݺ*qO:̣%5>gY fwOhn lA@ZH3^1r? z_㭈yL FƂ9j=;qpHy[źS%<+k%I6w߁MV9:=*Z!}hFrNu(j}I\i~-"yUmM!|U> 3eG?W(pY;vp=˸Sd1 QuD9kMz$I=rn˵!.0[I+S;DDXNC%,+ͱ"V=:p:+H }I'3C CR23ުTWo'jʚ 4mSs6TJ50L8!nh?Llq&!:SH>o|$$.k0N>AL$w >pjxB<$(*#k[qzڴdsʘG {ySR9ٌϙ+ͲiYKwMGf8iZ@Y b5}%'v'OceS@ D0T-4w rKw3Dē Y4yڳ\U4şq{ NXJ57bl Ôͯ>oWO^UFJA!HAҝ!`qbqPΉ%)oمrPm԰O/!Υ;B$S9ܫk2a x]Y0bƫ y%b6aMHM,@B޾+(~ p 5O' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHu"0mRr]e~;&.OHikj)3""XO4r[{*(OT8#7of`*Š/d`FՈThnn0Mq #?A? 0 K $ dt+|)c XB 8ɣ/(>X8ww<?m"'E>VPɏ|i!g!YqyrR_%r\|1>\l$Zvc63:Kn?WKq2yBv ca~5vټz[Ủ /%SX纱nou'E_|>2P^Aɏ#c_h[WHS-^>ҹ7ڵXŭ4S1K(-Fٗ4:!w\rEiH2j1 e@` 0 AA!BCFFhޱ.(5ԡE--|%r._&)m@vg©,֫s_&es4wgF-4} V& 2 y'NGuD ń 6~SLF2wŢE|t  fr4}*GqYH_cLO 2aPNe`vo͕5 KstʔF!vtרWd}0o4vCv*E|șeؚ{[j+Bjm+w-s}Ғf~3ɐ%`.2`2ࣳf dLp.zNDyg;$ MYoΰ#EJzr櫉Q,-(ҟmQn&8ٛ9TNf҂QY%iN(Xsy?Hpn(mO(X{c óQ ?A30.  Yx0+٢a[ 7VU)EUUmm i]ТJN Y8KLrZ;ٹ# iPU<" LL"]T%2F| {wD!6NęxIMrb>P˨,ps7fx[OC oYxS4+*0 ꍧZ/k4mu5hk8ta.'qf˰CU ٴv*$ȳ6VwїhP9 {iLm"7d- z]Qn&-sg%z|\SKyqmKTX .kB q/D6WV9B}.!;Ft[ Zay'ض爆2!Pژtfj7%{ dy: (y4Tlcbٵ0m+ѽ)❠́c!R~5&9@ 谢۹i<&xxZ) ڃAQ_;ڝ"؉o `5⥦(?shإrh/F˫62hO+R_'q[:RP4;@=՝wP➒F^ԁ^q.m`mUa}: NAGޮO0IeKv]XV1jm)!+.е;VItq\X>"øALnN YJD/H~q-(-?b"v8۸:,x/ b.K39Pw np6dAαBb[ynf2XWާ)ұaX'Hr gib¸!!$n t%[}\LysᖓmM3wo=F]t7!:K]Ƒu? +QX}J(X,*;+xDn~Q1R7ghiא`~ŁN<9 & $[Mt]yfM㜒8(A#QBJAٞ;…Xdoi㒰=CΙGj_Hom?wd TfC$Z,N7 d 5O' @HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օTx"0o`>% iF{v`a{cǍFB0%BKbN@#En߬-SJ?g-RzR?-a]~e4s1 m^lD .ί0($,(\\@! &s?y(>^6[`#p@>_4!> _lUӬ}P:Vvn)lʬ6Q %R0.jjU4&'3 +h^ŒF2>x'bq{VW9Ȼ+*$_>>%:8cfsBڳdv.A|)ԬJ4s %aE %gc'/(g1:a!JC:rvYVsVH Y3zV<9pܪA0[T7MC2Pˌj(̐#vU[묵,0nZW$8Ҽ%Fp`%:cK>Xc͗*̗|Dm5]4r͗J|9_.f&xKrӚGI-ꤓVh%Q-L4Mh$I5 b`` 00(B!Pc ?Hg6ǤWhg|=-k m̮JgdjHak y.EX.P-KS?apՠq /[JH3zZ,wry)` :`,b ,.҇|m/mXYDKF 猖2̗QELxhjU x~3n ev(hF☞V3GEY旕5Tqu3()FV}aEZf9W8at9?#yϗAL)vf:#Ya'.Vwh. ŋC% UfD2h KTBJ9t"딌gB @Zl`/r& r+ Y4שz<9yt$RengF@?@u{*B/T:.E6ELt!))Pk9PZ΃95~ c!a$-AIFlkd4\Jǽ)#ɕȒA.{g1 VN3Rr|h\VĿٔ'ڄʏȡ7vwҘω]ϕL丼JtgdV6W2YP2W:z^) r/kB~hGqp'09r3z0S'Y7MsgE,5W:j$3fsE6= gy9Vx:Q˭t4]sGRYA, |1 rxc 謷tif:b'XiUNɥhf52iI 06Xs>2$ є&,= >P];D|>.OfdOe|I@R ^4-܈!E+IR(+<aG+gguv)gYOih$1&{/q DEFG5A8H4$v՛b zE۔ 3д]M0GH7t+P ,?%NR>R#VQ#[À%L[K93D c\I8g<|3_=_Xo%С^M5DQ(*.\!8, ݛyLycg:{ w0H\x۝r&?y ,Dб:pS#sX)|yTdx~B/D?9dx-3n )a 9~Lz@FAxUZlI (x)##2~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