SQLite format 3@ ._  5  T11Stableisabelle_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_exportsU--]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_sourcesu77 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_info ==_5~P`T ?- UHOL-Nominal-Examples:threads=6elapsed=274.925cpu=1373.434gc=116.307(/'\5&)kF6w~aD̴鐩9q9X]n5w/vebe$m)#hĆV3CXf{ғ2j8Wוt_l\zLkxMFw<3䩔A^XZvjA,UDz!K%;jPH cdIHLHV{YMXC.$LHJU \=4wg[kLWy4봬vw=JHNZ YWsɩwhuֆdt`!  c6\-$egq i!ƹx̘=˾!Sqjh\DdQ<*:RܞC*}E1f&T!D;}ˠkY1Hj ]WcMk?6]3E7Ն͌4spڛj/ه|JV |Δ=!D;絿civT;m}Oӫ|__9WR]kھ'|蜕\殉2uG랯V{nSiͳm]^kV/kƴZJ:~!59]I7mE+Iw4M=ky!jZ͆!,6^ZRk}xU|7h,ڳ'yR/<&/ᔉJ'XiUilIl-VT#U$FbH3h~Z+]OLij,R22LkZS6"ߐuu:qa[Ke")b^.cm3%&ѧX QXkE*?'>m3戽/I!g}DΗ" SOvZn򜽉9W =u\Iw~~}:p_2=Z.ڤ_~Ų,MYM66\8s Bי9Y#x7fkXerfmm|6snj46IJQ4ŔJtt+j$&zJ3DX[dm2Kn$QL;Sm[u_>u#<\OG}F)4wn~t|Ǿb~\F7vGikA״DmZ"h>ZH;='.cOJF;ZCt5M&4(K&\K21i#])6} Dmgua`0 0p BDCBZJ*ߪdlTi='\OLonp'ާϓ{?+ѥb,{DpdJ9l?Yl 1YQ؁kTӏQu8wFg `urD8lН>.~CP y 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.thyw nw~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t 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+<&B7s.d7Ys<<`L)LҊM,MEzL%P̃5ԠSOQ j ;$yji陀Td5< M"["y C7kd1ĉ!@(wZ&-H5-#$L4=yՁ$Ul[A"f(֊@*6Pn2X VĶ@0{DD ֏pu(U68 `+U\Gx4nȉgkӪ(QUuWF=F]kN󔩥2:SS m#s޶%TZYC虠g:ÅhB%ޱe6$HD ;KR5Ⱦ輷 5~|wQ+IRR,sh`yN0!qq,P @ 1@@0ٔ&%t0?n 9!}|{w t s r onkidc\[ZYVSRQKIHGDA|@{?x>s8r7o6n5i2_.\,W+*'% " ?821-, % $ gPo!Xs T z , / { N Y(7pJYj Uz(7>D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex7D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  |N*> H- eh2ӄz; YƲz^c-O \0=ʑkTq3p1ݏàbi|Wݣ63`+l=r ]3yl򪲾즛s+㼹TgHɆCجd ǟjuBV@y}&͌YŠCm="l֞IBGo${dOX䧆`=43CrmHhtCQGJ7AO*O!nvԄvt!d+)Lz=&'7 F?xzN|1+2MjE7.-X:FFjD>HGkcoEWxcy)693v⺽zXH۾#Ih|[վnMY4;?s"@I+w! H 1y+f0aa ^BÎk՚/_N^Ɉe5eL!AEidbi s3z\]6;Q2!7)s).F`0|?\ r6q0о`B\l1MH@*e"K3u*?;GclKB2텒 gdu/Eɧ%Vqr ΙTîl(n.S0M"zGP!؎H\w˕;EkM 5cˤ}V'JɻԲNɆ{|b(F/$]60Z: kh)g^. OvC>r5mX:vDDz-!&&q9mFv$ $+K rQnqZPT,X#iHJ&s(}]fW_ 2Sxo&|0q$*~"j\`Va4Qr*& [z6hܥ8_'!-([4K1ޯEW)T5dw2]ʿ$ʿy֗pΧ{kw_䠘UDQ3q;K/щ!b:}Ĥp=U٤*n`$tHABhMO_y)2tB]ػ0Ϝ?8Z4閼Xº]& a(^1$amtPYw-FBqEQ8)XTKc8]u V5 H>v:L{oskMt!|O:F&&22QFHӵCy[٧-дw E_N97^]9FKvy˲Ek4$<\.~ ɚ0m3KBzrX/Y`R `BU5x "l^;C 㒥֛,XfFTPjPBN\GOeWrb{"29fcA`iLsKU1dΔ%zyѦ44H_iLópK@51*Dp:(uQ'0q,fTϗrI ! enPĔG-%~".L[ra͘oNZ>KAdq/5Òc)' K {24ՋD c ,oF '-`j*\#9@ҏ6뤹N?H{f_Lrʁ9vbFlo9aEಌV/F3B<7eE^Dc/Rh!-H.#~B‚3"ɾ|[ĈrzႏqwP7 Ok&*a-q*ybc+f 呯t}6S`+",_< c:P< X- =or^J`4N@ؗBorj^yR&=>S I>FT Db͗AC`,X;E,?Dv +K^upL9?8O]hTf#0$HI 5A@_))OXbq[+%ZB' t `wQ{z5[B2>+ߥX.]7|0"OʍLDp<}8~~-  eCc+68 B. PAYG򺷒 e>m"|B 9D(s&ΏH\褊:Qk *x%V}^k_=ȏ[gAS@~Cv&Cuŏ70| vJ,*8Pc`L#La0i ,)AF+SRF\&TB0קIw'K)!`׈!Kb $:#tKOJ|\ v%?RmdT*$dʹ?cO7`5pfuoa琢*^yyKߺY8wݍp#u4ՃP0dN]dOyx JA:]@y\ Ȑ1J'@E|R'dV !3"(S,lH: 7`∉P~(}W:"wa2Nlы;5Rg1>ku"d7#[Iiˉ(["y\]Hr}9%U}:enfsZlB\MupLr(/ ;šV5~;8+gW`Y9dV$S'Bv_D"MGZN VltϰU &=w h.4,NmBr7x n a<='y&zpcI<.$gnV8܀PP6U,~8㱋():e;qAP*GTQ2$U& %4Nm:NRDyp em;c@tAxz7[?4[T':H>jY5eZs/[ՍX+C+1bɧ+Q= zT\š<ca'H#~u%V-]pՂIBBt> eǔs͢ZA?]];V6b7q_#݉zA5Svpi4_}“\փ]G]adʇH 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+V4$}KvO0-JY#RuIǩ*fuD>d1?KAVy'[22*)&.ӺaP?ɀ'!G+IbirXS7uX͸<ESj͓sSv"^mSlLEˮ8Yh~i;!/vHJ+JSnl ʤ`ʃ K\UǣhSYpON& H\: pB 1 iL~H9[_'J%A2%jJrB8?_LѮ:0Wpb$A',R0da+5R*8jTḇ~:z&V\FBg&|ӓ`N[RQJ?_Ftj{ 2hW&lkMǩ)ER J&}~me+;Ak kUbJT f̓*ub#ĀڹuIavڵ2vwt8yuI-.lX?kw]B=+ A'VCwr &r' kyגpgF:T|AeI 1dvVqf2 ɑm:N <ίf/]ӡό(Feu74>GvNs8GzQq-'+k;lk#s)D2x f\-/5ume*Jِ'-`Ŏ9 9uWНCfZ;2;?M_ )z "AٗhК_X6YV~uGkݗŹk*FRLK0N|+7R&F\mXt[|Hţ_鍅ex=~㺰J*fp-_diF*!u=(zo淄DJxX)0 Fu&==!^&ODS_~Z}ΫUO<=]Hvu}ꗏ#Y M+GSiRbxa۳!ޭexO}*X[d4 4?5mc8>B]G"{/I*-@Jd} t\Ӡ2Y-tWBׁaq}@@r/+m7(J=WK4K`IpnjDۮ&k+܎z <{Ö>?]ݳa=;7 zzd})#|aeZ@0 XE5䡢@􌐎19ppZ_&ݘqV E`iı`hR:?%s{.[}hTPr/axcLB JHbJADcdtmJ|wz?0ۻ@76J2:+3o69pGn>}.Oh1_ -# MA%uQ$lC͢O%qRʷIS䆧 ٱ hH$ B H@22CK MohU{B[I~K 9ҍh,)Q9 e&'7:Ze oGy%(r]# ׌C[ɰ^ 1!~iP n?.Dɔ.sudQfgVzۣFT5&W[0y^* 'A~'N<&!H„,BpV+Y#ٞoW'͠mӊ_ 2FQG-1\>e\wA !T`gFŘ1Ybr6\i$lRl<:;jRT4&;cQjnIWJ{_/dgOU|qS㋜n}:l'i%E><űR@5F()zGwD܌%}d7ӯ'Lzx/-Pl7qTf[OSQ),lmqL ])Xjt'`"1:9>||, "&U `ॿ-,6nB6l y\ABpCdNܝp.5O,氿/ :+ľ5`$^u 6 wލd$v9H&2tt/?Lu|(W'5{F4r28yC ci&zpɄ:uf`oI㼥$?Y Rݛy^'C/$in*dg"=(Z;~I5KgEtǝ ޝ 7\esfp VF0 /2Wv pؤ;D5.[vP]d"&P4&#Kl±8BC!ɸش'* bS>1K*%jQ79?Í()7YvJ G@x?GJd6ڲFVK 7r~ 0Xy햫~B3\61:'N 'Az;@z_@._k.6IB# Lq*vLJ8L!89S|hay`%u1%o PL12Og)0{U/IT*_>jF[&zr`\4wJQPNS`iZ78"  gd&mku&4tx,|c*]avQ 3aρb"[=`dA\M$m &k|ª,6c1_#M#\renSIv(!Gn4&Bv㒳MK. He, >S?dZ% B6; @0tU&nEQhӘj y}ļ&OThYPΥ1TL s" $m)i[-g<%>̴YQ*㶕nƦM6%rҎc*;, ~.Jl&&.C7g iOO&57㗯*פUCq   x  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+<&B7s.d7Ys<<`L)LҊM,MEzL%P̃5ԠSOQ j ;$yji陀Td5< M"["y C7kd1ĉ!@(wZ&-H5-#$L4=yՁ$Ul[A"f(֊@*6Pn2X VĶ@0{DD ֏pu(U68 `+U\Gx4nȉgkӪ(QUuWF=F]kN󔩥2:SS m#s޶%TZYC虠g:ÅhB%ޱe6$HD ;KR5Ⱦ輷 5~|wQ+IRR,sh`yN0!qq,P @ 1@@0ٔ&%t0?nOI(a-[;ÀÂ{{gt@Hl?<0<&XB`[tN^l)zN+yk5C C  ry|޹z$5`I"dI:^MZbu?.E&q A%Rk(sA)_H߷$)Kݽ%vA%Kr6  N$@uiӒ0ǚ˫usTk_C@R-jũ4111111515==!ղתȨHQ<(s&(`<<_{D, /!<]sy0vw=y[5;sNMZ̸rGx9eH+K_}y[r~Uls^f;5AJrjg^.'%9n_~$%{;wc/  ʼ8jHYxg ^oHջܥصW9})z&~zv/o48Q)DM 3 *R_zU\{+~WVHʾv}YP,}gAe6bv^ߵsMfT2S{K}zG^k{m6eV"z2TT@4_XM8%~V=Gc8q'ld$g$ajT%aC Yɸ-b1uxGM/z_"mZG51Zhgq:MANY։u5'yof,Mh2D'ft̵ww@N]'U~L$S[,c$1T7y\VMyP`4PeYP\=,I,l`˴Tczʂ*mxl]weT m&mHaF/÷o~m!&rd+·k޾  }%vn|5C~oW[o:j>( ӨQ|x6zڶAC=Jgӯ;^ď?~/SՆC'`O?P.|So?*|{@?`in-VyCFA{{~&?PwVkabA~΢ne(r{}Ы>m^w03 ~ɛu N~&8>l>CzAO+|]gؾlY{2]=0yI==l6:=dT:+27f ڻxxPծCINǁ# a5ޡ^Bػ]lSܹp3};o;Rw0'F  tvpusխJa W|wO$Nf>=^ZtI:Bd՞(3]_({tĮu{t:i9ot-m&9Ւj',HE~ͭD<[R,%Lne;nbzz1{ g,*Y:Z{uyͬszųY]xܬmqw]#lމZ ]!@ڨ7XcR/@4}6ljUg.ȣ- Q? ;QڨqFzhcta&5 $5h=@0~S]_5lб( 'S & c%=&ӵS6j= "btR@:{_ Ք4jk"4M7S\h2T)TD M !rc@ Fuemg+À?;9{XB"9FVMӼ<]p%HⰘ3 aFS$xTt{EnKEjV18;ȣQ1;B߉vE aFN*8z#p}Ed8_4@b[SqWmbDX~޵}9dϰ%Ć#]vQs%^F\L$tՅR/&2!)KH0M\E5Mƍ[  u& `6-|1m xP'Evo:'G'1|^ V~nB?n\Yw;+6^;|u/?՟(=5}Ky;hEu5yaL w0!߽DACzl0CtfD_~q˚bk? dڡ EZHϖ n8^UZ6VȤ ]Ǥj0gݙD#ڭ5+#Hd23.{R ObT=XB_zI'~Ӄk68#Z8@ %:wˌ> dORD#W wÜdoj p~ؓ",[MSǟbN^ċZ[ C_rf j[ lWi}b$p#`}Bߖv70 οG _(yOZipNu 1k+Fm*Er<&xpKe{c!NTtC$+w <xnag"`Y$ @@O>:\^p1y=Q F<+5Ő M}CP'OzP UШ9{\4v|afdw\>Y)JrJ+Q!{t(k ӠMJô0Zy^Gu`燣O. UQ 6 &q{,_PA-m\eq=B;bر=-Aln8q&FLX.#ShdY bfE鱖9Rrax,EA(dU< Lf'l p|'}lbvDrRbo~/ݲDe\{D Lf~S.wG"%$x"u˱0v7\&K2=0]3mFDgTVitxP{@ q πgU0,_[6$7RVWpܹ&4$n%ՌRcE =%G,ѫ90 T8`61R.;'֡B̞Eg;aФ8kF}]+)Nnv Wtpے8fd |ӎ)θ[ԗ9+;mmtfhn@FnPb7p׮ h3-~ZM@.SNJ?Xii#*?LW 赊m rT Tha7mʊg/)ג%%.mp.'e=E_.{l^NYP{>")l,|2!wLDwţ|x!)֮5F {+)b"u\0^Q!W\~ 6VEE g=i}JQs)3$(kę\$N<ZJu6nFXRXCw, ΪO\n:%Й+>!3XȦ -ؐ)`Ju c%[*ZMmeD/Ҟazelqhae8:E]Ȓ Əzb2ր)Q}8 8"ˠZ>=D"7־bLAʱ=gg{ 5G[ӧ.HLS6ܑ .e1@CTȑ^Hw3 WsX,q:gzKtf~|IqNRٶ!<%P4Y8CD~<5VOd*9xB^N0"x'*G{R{W=4yI]8]q$*t9/9"fHю=BV  RQ0m3L9>ɸnY^YJhj(fתr w 2~( #2gx>z_vJcCxaoSVqhcHHq釉o+#(U}O\YI#0#$Eu$*Sb T%[M6* 'A*]DmhcŇ(wo6ǽhG%{ə@|)ѮL"'1+f?%ۢ@ AXa3 Hͯnr@c*eT%b'vSz9&STO=-чb .hIĭթTLw2ǦAӜHCK@7l1fhǬah1 pc9u,Sҿ,S;^t3 xIVZS vMAR+ _HQ{Z` "0oofG=eI&l/a%zH*,Z)$&3ZE$$2G4D"sGzۮ*~\LUUUUm۶m۶%""""""":gH$I$Iٯn!O? offffff?m۶m}_UW^UUUUնoέ6es#""2$&9'I6;DοY&jUoMTP0 0  0'H Fsc{v`4 ^{$znUKD$y,$!D8$%% Ʉ .-iánwmUHEwrHsl쪖Fq#"y6Ec2pWr .VH8bZ(QZxl-f(6FDÁwovUnC14_D;5]D3ۭjMtӻf[Ŗu$b8sfڙıp@ II$ə򙙙ٯr["rJ+uUoKDY3?ffffflff۶m۶m쪖K3ۭbKt3f[Ŗgʻf[ŖJU*UTm۶mZ$I$QۭjMDzfHcl"G1a8jju@8Th َ{H`dA).@% ⯭S|dPXx ]!fޖy)&Căan$b"&$, $!d^R;H"]8hV'HR-;DJMtIo&Eh|$P4[Y'ژ%w,") [Qjf&vpk IP141-$&O?ڄdI. 2?H"EIRi˯Ou#>ҡ?1.[#9hbG\<-T:UC&$U ؓ+8ӷ8i|bUD ± zW\8#WXkχ{ fK:> tаKXire\;1R!ߪ ӟф}|*5!ϊfr($q-ιYN?essel*U+W/"(Zu} b0 R"(N >rp͸:n^$@'RI OKsXmE١E lv!\l5f F3R[G>La uj;:7&OMCLk/ m[_]qr5~Q7q[uL8e3OJ'G%;]9Ll>fQ8[ ջf8sѮ0-4Au C;\&+_}x?r7=XW$6Wo3(NL󺿼@oQ!6ثeE7 `kX.R,ZAx}]lC|tʝQWQpmSւ"MHhOq;z|ދ]3GgV&Z%aN]'\r"67L̩@DW-A&fTssjFvhp/M~d=08,wFYسhuCpWO%1o\vѧ̂#X$*\c@v<}Jc2jޓM34{0 i|DžB[|E`ҍb5W)~EĦ'dοGSL̓ MډUAk/o}29ЀajZD(!zLBT7y`z]E%?'; V]*T: ڀC+YÿE\%t%=Hv؅.,#}!' _cz PD0 Nj~kuj;-Yrujb/>bvW aC1/j'4G+𔻝ݏ(VT˯hM\xF/nS]Z^BI_DZBk)mt`r^v \ Qw8͕jY+:} o~3j2o퇭D-(xPÚ1! ,o-:#}uqA$G/Xk^/ NasMձ,H6A;=׉W]5"sɴ\לv%ٕ3.%>m77xnb]X9ODf(Ç&ӹN*JgqzMszNFw.k|:NeڹjX; kg^Lĵ O /]=nQɔ.BDkρwhA1Av=G@ 8Ͻh"הb`7HT!XSO6W"(*G\ qn}#R-\ ډЇ'S}⎃uDl"R{?2; z" LHɯѼς3blb܍9M7+G*u A - HxH d4P^N"Ɲ[7m"b'6;,laH^OFbYJҶvET)ZOR $9v{l:ΓA~k@BVFokOj?@m3iܸ~eo%Q{V|_Q/W,iDћD\ ,ȾkTXrw8RZ45FJ򳏦8"q2jz4RJIt-G&#JM3HVb@V8cû8 ǚd.F O d2<\8ej6No? iP$55Ư=!R"˨4Rqq0v솜L$.%VpʰkGN6A1 Ǔ[.ŝ <ʁ :H'u׉m%j6ܘj\I6N]8]Uґ='( nU5,$59 n.׊"D,'"-)G5*L[o"k`9 H)ʶrnh!Re5# 2 EpdA&1i:QV-ska +(,qSn$I27LxqE.B 3L'vRFI̘Ŕ7Ѭ5LN/8=vtS ,ZRvIzA(d<.^̽qS\pѴvpcT o1|daq!_yAhl'Ό-rSjaM,?C,0Cw z1og9^ Bp2 OP@y1%TD:=(G F.e`vEd^p`iSG^xT\5D)?^yIDIwscƛd)aj"J\z"R+29Ҕ=Niꯩ[ QgCeR SbaӈMeZI'l8GclN -ə'6ˢw0+3^Bta(2F5f.H!Q7&Wxcݖ-5ק8x̊UJ 8>sb6=Uڧ&+gc|lUvtD!eoP)sii) _V+tP҉x]4"e?iFvb "Y/eg;NL<q3;uOg9|eMdFT{O< eAEGPDnKxb`RkC Ă"adWh`K;s~k,lA#W$z ,%=*c"ǏbΜ] O7eeAM B [ڞ[iXDyܚYQCsC-1Vh۔}6yi0txn!1нRHmqM! C>ޏh-px1rD5DgN40,GppDC t/VhXW_Cn]/E%-<7#V4;~K #[\AznP4,HqZjNEYP#>:R;N U|g s5%qu`|q6ҁh{ܩ[w&K(rDĐ'@J0n^2_sf8 Zb84 E: P^se8CHT̑-VtkrJ}N~QXU4Mx#B+;5Qafu87`T޷L?<҅L׽.J4Irȅ0^7I`>G6b"YmS c;@PmF1VLBE i_ZvVmmF; OmCO,qr?q)F5T-@`dup16[dp!)OO72/E@kybѰbR-}LQvKߥ:B2a<ۋ!,>w7ȸ9rn]An s0  >(o撟.}\/\".c(ߔ:i>͇ z/_0d Z}s)XG܇>UT!%)m$l4FG pFzV :P zxi`&O +L q Yo,81N~ق#1$xѶOȶxƘEWj-VCpPyYIb5 I53P+ExGTЏ(c//)ɨ{8-FV*j)d#iu x$-C"#i- wV|,!b$mV|$@"O5@֋ikШX5.ބ$ʬ(.M,3Fqiq7- ph(X3(mHP @Dt0d"[m&/!Uk`F #ʫB#nrau{[5ylLX&ԎXܒZ`|F^ISΤ 'x gU493"N"DQԆB"+hY.JWh,D[gf(mQ(? W|ywNT% VK{W KdfDJ2$&U-9SZ"r#XU&"-[~__~m۶m۶mm{ض鶥D4Ѷ$Y$I33Ӛ$g6[vDg6vf]՞m۶mlkEܖEʪv[36&m۶DDDDDB"$B"$"$"$I$Ǐl۷o߾yyHHHT"mghP% gψ HܚF!1` UnIDrf0Dlp[vD$gD,Pa 11!U-!Dg!3Y y"ʫ!b+w۶m۶mDDDDD(B_Ul}ѿk׮m۶mvUUU}ƛߚNw&""""""I$I<ˮrKDۮjK"3tYU-QIloj-QI \pJTRCjRJixۀ VXri&,n% PCo   v\QUA8#cScnUk3T~ۮjKDzͪD$g6i @_ 8"X!h8paH ᎓!kH9dk2Djc$.ՊZV^<@, 6 "8Q:AxagW="VD%ptxoh .^SKgʋz?5v?Qx&τЋl3Oټ*#Y<@ X<@|EEĄ7" 8aQpᷫZ"rf)lUݡcnMM&~:^jMq6U($&;]$G4`K׀Mx|9S{zþ3J{e&Ut4ȩ}Qˏ|O)c<9X]kk3;1m9T eqe C;α%-43`x螇*V _?l{itH }"0uE9s%];>T-:ڎ 1<a(>XTx!,v& GZx>1a)}, H->+^k@r1\3w %vX<[|(W4.|;<ƕDij_%w sK:^y \ UgJwt}'vW3w0U,a }˫!IN(*Ѿ ЅwNo 2H?DHG Վ"$L5zaBчmhA@AEYBFr[8*c>P̥Q̓7,wI>~C:[YOT%w޼m#N-tܶ1AmY[!TfuõPzˈD= fh_,D)ebO~2z Zp}!׹*#)!ND]X4`<+h X 'i)kk55ń=XD$C#/ᮃ,hcbqLFK+A}>׃3yxPS+F7 c84Z*}#ދQf)ݴ?y[׹Oqө*K"HAJ.6ocfw2#qO{3avtU`۝"пLoz"R>+$$v{6/ըNw}Nߝ;xf+8p$)ɘ~kGWq0u?a;I'pK#ے$1“_3owEOcŲ:qgc\ oimoF1[B#V!&u zDU8juMֺD'b>" g^Q3s" `iHxDuqH}Za{ZFKdhʨ_Eu{#$BPHG5jt6 Ц:a窜ACȅt8"< a(ݤ^8ԓ0m}GH,wvM뛗 Z@W_ji=xBs`R`r^Q`<acz`Foqt0k$w&v#O9FsH8ІzϺs }ue?/@z >tNbWm*OT^UT],/tT5Brd[1Lʗ,AeR0N<թT1VS[&#i;N/D9I~)sĥ%+x~Ò3f,.Ҵ2fWE w9&B%̊씿Xw-O1.-j{UVث{u[*󂥞@%?J\B]zʉ 6ⷔ\?OXmT8KyHcAYRs׹\GmJn<AS~XnJc Ɏ5Q(K|,ǪVkw:[egXt`ôˬ`i`r&duPvtTyԞP^\J(kqzS̴i?X} y +E%){@K}3BÜN+t`#D ~C t[O:Oz)G)oaGGxṋ߻s<ϥߏ^?8Bqv]ǖ!fv]f|<{>:*Rm, i/-+=t噅>ZIxUJ9]Zu[eBӉުͰ룼8:NK UD,tőɇ2dQ=cT߅|̅|&|Zk Pׅ N-Jpp/&1(zۊ(>Ps4 >L]o{I߅vن[±/iϞ7_)'0/5/NһRy#`px'[;ޕst >I䟡~| paߔZ@07#wS/jay։!hTrC)<5s;RY !`. f}(5~N̖AafS#^w^2, VvF8{DT|s^ClkcQޙ!0~uoPbm3Hx (1u*CQxM]O[I3-|.2<(Nӂs~oZ 3!OK!vd!O=\ z?EKCֈ rtCڑN{й#v؝N1ۍ~s %Γ}d G8]/*A $lLKP:, OUc~k;-?o^@I;lɀwӎqـ3%^tC'H}%7[^^ qeH R (y`9ACrebߏk1D ʧEZD& dsls cͣ7W;d_I?0Z8H1<c*Q]Y70Cv IE!kcף}ccMF^"8y1mF1Jv%?Ƭ1 jD5[A@6-?~&Ȑ`Jrܑ ZdWxEEhDHxHq3) aT錘[J8~fBv-0a'A=c,Qvk꛵[5r2S w_IJ`Gt<m>`kbMOcfx K#l 3b}q;hܷcN εŞ&Tg? 2f5U6:k.jw+'/VlZ֝v w}?G< G7?|f[=HmG-ɘ)˻tH'N9`ST@I4D#w&{5!+*%kLTI!YUy^̊ۺE9hE <$g7*֐I"O}FIxuMq 9ᕱ1ͭ?gCR G' n=kw^ O% 9p<CZ 2x,Ͻf 繈U#&OtGP W<g0Ϳ[m @OTO& ưdKvqC1Ko3sQ/ J?z'Y9}H꓂  BJp/5fEY31Z>(H_q>AHFa yv >Lsgj+km>r@LjA1$_ͪGUKx _GjZgm-/d|. Fpr j?V 2pZ|o Jd*a*M|;CԾ](y,>4Y;a.ꄁ\Otğڪn~O?z; \oEih 8 B??@ȵU7%![=wZYr!_h\pzj%mm`AqZ_NW*K\q; wuY{LZQMt$'a2ʾC֝"|uTe鞲|߲я ^XNhGn  vۨ`,$^O`>5CSr], {0W֦{ֆx :n;0Tצ7i;{!00|l\m#|Ra)zΞ؁P~(bط돃?&Z{dhcwVT>LZ}d˒Ok?_&=M:^Hu#*01|7*6+IC%lQu]%/>Ih>/i<%uۦFj|%^SҌvࣨe-Jwܲlj[fYf:JŁ1t@s ]e_z=[ٽS&d ô>_gmewfXeZ̪n7ujODhwfU?{gfUmkOLCCW6f"❙-!ij H9<<66'&"V(!q!5$Ot[>6^NsoGӏE?چ-wf6r((8Na4crrl9ƮݒѬaVD3˪~Ti;*jզ\k kr480AAh0P((ACBC2 !&z[Q%AR85%:(Iǒ'AuKOѰCv8p4΁ s%"A&r4}4WqI[7a"0u!cp43k BCJK_|+xa{P+ rK޹f8+)CkmYf2:_jŠQGDiL7wc oS*eBA#E "hð,kXN)zʼ 8r)>_OF9KCHq#m1qC`N ";47 Hf Iol-l9+ H[r,` g(S ?(/)&i6g&b.}sE&Xw`ReeI=!ӣ>dk }v>^c˚#`i8x}E`ȑ/c/ &G!e'1ߥ(sޖw+(X,D |)ڨ[ks a&SZNJpŃ^]ruV>d3e%n@Mș]یSbã'6Ӛu 8A}3ehO"PFyl5JG'}Q&sP_ԇrV&ܢZ|0b,)P#![p@WzpSܰg\JR(;%rEa-ئaK'5}ȵ3F`<J[|eL˾NՊU/:rv֠ur.nYmO?3ϕR3x?oxy&Tl6?e7Q@U+p/NPy`bg٬C.?+Qj ?ʼnYJg?p#y%Ҭ>f s!B R>;dԸ uig_-c @^ %D° "/gO#@0 $Od$ڜW[4HRF?)qu$I^+S]8S?Z|q8ы}VJ]f!i!NjKqȚlmo>խAԋIH^JFdK7!<&BdV;9WOŒh;1CD G_tWF>̻tR!Qw ڌ{]jwzTE7w.~/=wڙdDLci6n8xwT]cXYy7 gg3we4yX#z?B;=HbvA"߹h0MVp!iӯ+i'T==`+*2AQy7λ6s4auٺu ss3ر{Gauo;w~"_`|H`HzE)l0slau/2=)YUEc}0㭪M,"A0_^[)Sbi(fIykyʙGHTR)6Ce7l6K_թUR3ʌ9PR^j5 K~:Q"AD^{~ܑ ./>O R4_"~Bŭx}`7n緿0 ct (;@#[:8LԾڷξ  ]v'K^pX%9 ʗPksՅi+]G9 x\fP8A9$iHȽ?J_ u4l'q?JUZ9,8ѧë́mBhАK.q`)¢ƟWk!$i f=}=KZN**2[}B7n ]}'ٯ``+ UafsaMY5:kJ$[wXkԪȢgncHe-ӻ= 2`A9cn-AiKQBW{bxޱp%̉[ g Jqǖyɴ4! $O[DV8ZfL1Lu ]NGENƕf{/kit@yH7w:Ԑ-Y^b7l`NRV٫Kgg[9X^ [2BM@ L Ƥ#Mpi4ng'eW\m^%db LF+^D.zl,'Jq ,c[\Է8:imru׫10 Ž:O[ t}W!V[s ?If,gxZWKM c$T$fb:%0&3KF(2}"Jz6bZsENl$r OXHPS `oFqy} j6#҅qtpȀ5Ҁxxޱ"kk/j 3ʚyFτb :$4PwCbORԙpoeܩd7Ecۑ3ݑ\#qNfїUA21W|} DG~:_tmgS"canF' l~5 =x pu>m5D )Sr[=S`ӱ;h 1Bo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodl5K) RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`H`5zܶ~ULTFPؐ)O˻m)A[`,")=S*xv%yM7?Q" Cˏ̖;sSn%@hOd~1BLIp[_0LRcH  / 5K# \HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^ * k$j࣡E}Ԉ;r,{$@@@,7a q.9 8 Hj$Ƀ$Vz@\`I (h(PYRAܼt8J(T꿑"DR&7$̓Wc 0,QmQ0 `hH I8A8, İ:&8WQpPG=X8HjeȐS99 $͓GH4Av#A တ"kdQW͟"KG}%19:8Mb"|5UCzfV|dzk\\ֵ~^h~znj^Z~[Honkjgfcb^^Dw:xxCCBhDG}o]O=/xxwjUۊ^5fUmȐ}WU3.xgfUf*YofbݡU!"fxfU?&&fb^^om7۶YY[YS5Ujfff333tbщiDDDD]]]ޥYZ"".VUUUUUUU_GUD3wU3 wfȒ &. "  *@ &$J?= CfEPV;mvBV4#є/vżnaʜ(^4)|2bDi5DfF!^dVOzjW8EE{)A_z8x>xF.Q ! 9R>tղM!t P@Y)Hg9e:xw1S\CP0.BSzU={ Ϲ3 `3E#=|S ~SRF_RQJdNiD'@27!"G~f΍k,27Fjkhdݱ"S`^$ibD}KxKDq e{UJJ޻5 4?=n);:&Θe5rwlrx {P'C@]saqpUlzL| ۇlRxVhN?5Վb3Ũ%vЖ%yT>Ts5)$"t7OFO_|wL}cբt斛O<:iߠ0e{%7r?m#C=%2Uzs,1di5u7Wt-͵۹(Z٫Wov_6msդ7½Nj*n3[v_ŭguX @kWކ(&MLΛw=Wci؀}q;1ܣifsٽʞ!ZC_\{@FAnzN'!iҨKpВs#uLbco2Ci_y{@y{-#hAEt_uv9Zi2m:T}êIVOg{{[>5M?<Ł_=8wO[.^.w"nmlvvl̜%9VnWnD7(BiRQh|xP?x7430d;?7h̀f'۟oʺ쎦xb̨P(P(lݨ}wbwiF(J/U>;w `Gd\g9!zsv_5"/58/аx˶$$ZY.0PjhlVhV̯w޽k5j1?xNi @C,(Tc & B` Bb0( (dMu(~%wRNxO6,LeN V+}|*LB_tsЎ aQ"6Q)ĭ8rs+[ ސQ1qڱC@~ɡZqJNL'JcJ'FԪ«7Ϝc Hy +g>H}tDP{MXi$h>Y`*p@PhX8[_ij>'uK S @GyVos|'0~ pܚ%FMKo TpZB/(/>;B1P `='i:E 2 KP+*[5Idq 8#9a!?駳GDoJBPV@KC9 -BZ_Mp ?tјT/ݣcubNH xpZ(VNՇc )Nn~82foXw|"'>" vk `Dfr+҇c%/\p ߿2gLƢe_5vD`΁4ten[j lKjͼf"h̛ =m%3 2s_LKWemc_ulj!84nu*d4 j eJɌ}Jc.'yFr6Z򆴄\QFDLk03=zS\)~򆸛 4H0]G][ftIӱ> {R c>l'MgATΜ 6 J/(wLf3HG@MgbsL؂E54nu3KRW(Q g>I"҇$μ9"6V@=O?tjȨݐ0~_դ Im6)p+% ahrMfWϮ5/DZ!g -/%:|JiJ(RcbÈo}jvaѐ͇q-qyX t-9 TE9emzx`ڵ)Y4/m@LA tA9 5SL3.& F"Ukh}hT iB"vwql< x-`_@"6kD!X*av]1ƭQ2y!,X㛐f.esQKA[ENBHROq0@XU|^<)+}uc.uO-uu>o*j&q<ޑxy?Fi]&0LԺҫNc9I,ٹ䫸]MtCK} d,Mu]"kƴVdNbmm)II2R6p׵@ ʥbC&AbбRɆp'j:сЍ$܁j_brbFXM+3Z${ZJ8[맊Pe4Or`]MCڎ7a!Z׀l,ª)WaWOҦUXZ2ͪSYu NB."[N387[:-rBް/!+$LtaD/D  6<|gxk 3XvS>t)R6EQ h`1$}<9s)a;d87Шt)'kaTEW Xpثߌu5NYlhߤ4EKI,MڃI0K GbZCL6.(XX>b_:yQB .vM~AFu!T>vgƌ7.NZ:اU>3>uZawS9%QBĽ vuNKv]t?K/ ,QWYqPih+>A'oM᭸\!Q,#Iאּw: 2V8!2>Ӻu1X~mOUK?\Lr4%V2^ .&(' ; %`n+_4!@T[M Siힺ(;(BZlpsW-)8thjĸf3S1y<DifNOKJ6?H숾?-'ڡi-9y@8ؔb>)HȌ]"q D۴tMraGBZRs q-ӡL "ҒYAӾ,*0eBro <#q̐AR`S;B^H 8jG΅.M[ vn;_~jQ-7*/։%У5[A`(. P0' hLj ;g7qk$\I (3 Pp ^3XA?Tl߶uO<<<;=#'&; gHҸCMU31POK_}V.51cԿ4Vgm7@)E,H-qf AqԸ|A=eg})Wpd?\ g^$tunO ng.~2@,H`?d7\#xEY紀Bf8 Ճ=rVڄK2Uʌ_ z!a1=1I4's' gX*<€w@kظY.Wn񣎕]! 8Dӽ7̦m21  *}XQ"ox.g2j0p_7:kK.tKdD YC;52`_BP Q̔r *P\V.p*?{%Zo'J(5%$QEVsI߽W"<:ϸ&^^@*4K䉼GOKW WJQ%N,A5F[$8)唨f0=qD)HAD% {,t([(G 4dXGs#zq9mG{u5678`Eb@ 75}˯%rZ̦4Lf^LI݈))G7#ZhN;;ugcTzgg( ;']ꎪ9DGS| pH5<5nT-Hpd} #$rD=Ǐ4@|Ȭ9*HHh%O5D}FMV5"f3iqE0fxS@d~.Tl~ǻ*,M?boP=K=VtA(XO^/.^[Ǩ^n\;Y1\\{y9.`Fn z82 -;~Q_t,557[iuhe8L7;g RsV"UkCsX.##v׿+[’-z J9l8opϵq)#/)ZbXNfCxe T\:e*{eD`Ţ D V*$4G#"65Now<12[3;S1e1v(k' ǧl5C_:( U8.̟2Q 6NJ\ކtB[lE%2dZ҉u" xPTpm'3{ENG7l(oxǗl`owa- >Fw@ʞr'YX^_K Sz5" bqI1M"G#CuraWڶ dN.9ХN[{tb;>еa5 :AT- ^%R}GηENCȴ5IBYT*"H?\<<B2-c4=ՋsždIDHc RͰ`=C~g+fL-lSCB{!JH C'z֙,bn<ɥj\iX~[E nṴBi2n_EA]_3{rMNPԚ<.cS+p* ڴr0NioN85i3S7r 0(%x$ne7;[JHT%O 4>^W}PeT9aIۓB80 TSvX aN \Z9,nT #JGt z`LK=`C$ӲyNinZ&llBY! m&) +A)+$b"dbg0$+A@A)L7sޞK`#-D=>L)pp3gmgNO݈ۜ&ST_R/u1KS!0S0IGzڟRע͠` \pרw[\ .Z\CTb'6Fe<Õ7׼ ]?wjK_˽YNw!!; -5[eE,=rG O,WmJ!4kG/Gn(Ǹ\81E} dJSlFhJC[ VaWTD"9ﰱ.@.#=Move@ћ#s ZŨ MU>.W"2u*AΰeFX x}Xa>D]!Kz@| < ɢ3A2qrTa~K%uf5t3ƅ*1g'k. bFm%N!r Dm}Aմ%#/SD6o}O4WMyfsY!ZQ:.jڣ/H 6JCO$ߚ+4gs*&!YbFFVhgyqea19Wx㿋C0^KO!8cc[O Ǯc :&. ViQPM4Kp Hp3P.m0,InIHCg8L`Nc2?LbL eM]^"&J K0cҶG*+uh&*`p^[ӗ?( *ߦ WHL}i+aRs 0QL5W[QNed7?h x+ W0cXn ^/ұx4,Q# 瑖LmMe(MOLYsLdY\PEmNJFEv7 \i(I%1~,BK:dRA1՘qL^pw!W@Ŭa/8b SM4s)Du Ym&R2E,f.}^I(mHWfGP%,+d@*~/0c`HB3P͍Pqcu!ԡENDظ 4k$mm^z- ıw̘3F3e, O[ S 1;N>9>L.?<Ҽ'A8c+0 "T8a官%=l͎o \\wĤ2C G{qh-妼RWST.R TGi؜W1_2υU;a\B[jŧ,m#Z3MD$ n͌+K{ߎ5g0imӫ7f}J,P-#nE.s3bu xl:@vY6z26hPC7t}y iJi7\<^Ԙt h^6 %#Xr*@rkxW@(Uo@Ӄe<*@`B06Nɛw~5LMܢxEo<@;;H-J _w?5SלFDK@ B*DzgV*DW!2;;8+Dvz0j^z%ݞ7*fe&ZBx+/P gy/9  egw~baCS4~mjV*D\==$"8@y̚xƿy viyE=EˎE $g7>\ zh@u[i>Gpp> ,NIJ-i>*/UuDKTyĨ2fh i " !BBAPA 1b!D@Q1咱ِEd޻)?5،5⃂B)+&(sy2R sg#tɱCܒo*iDGq,{CYL :0f9X{ǝEDPܓ>^n z[ruU?d]wcU6cfmxOҴ?!>LH/rePrt6)Q#bK ^IszK #Rq,(Lej &:eU(:B;P,K0: TtiYlK Bb@o5$8?69pK„YPa›^JᓮӬV82#Be>Ct%@2"UgCmKI'Wn8ַG[NhڲNxr|Zh}"&< ]b俼"O: F?NՉfWHhbe r|p xsc|C =l}'"VP/귮Q`dQ0RYv~..E4N4(ƽG "bÏ.h1=? 8 U`i/,i#,?i5|%sIs܇J$m⃼Zr׳>hʒ 96w{1}P: XBXE{(JD9[GTlS+ 9ʇC!A+,Yoo)ZM~"tR#I\%/4xҠ2׌&ͩ(;h(9y|a$^^cK:_Mb1[ jعL׿q%=ץpNō[8@+|e%:Fa`GbxH`(I?ZPLY S1ZA42Qm0Z8:x;q0əR3bjDt?Z{}/ΐ+i ǫQu-N ge7,JEVHdӶڒc zoLhR2{fORSAoT*%GkY2#?$FTОK5fP3!)a_OX½C* (Lʐ/*9FNol*P Te6PXbȫl=+su~ma nJt[xi@3d9JG)MoP[4 1Ⱥ!fW=\' 6ZW@@fyo5HPuaj[ջ1^Ֆp:<+Cl+$J;tG0`%̨\Csd= !3M謐tXn8h%o C 3_$o%[P5PU v:1eEBcVujEd6X NB\mJ`=M? JrP"(LuCJ-%wN͟Rj(@\B# wL2^s`/tР"X>{N~!^?}z@cUY f2og*1jݞR1YsY$fQ1'E `i2QUxUa9bybAM8`a;g;[ a+g_PⰯ9`(:0J"`  b*q_u2ܣvAM]aRR+P2mcW\ӰSa!I +.OԜ"GO%;Qu؉Z(ښ)oaq3?NҪTmQ X-m2A H)?M8m/Fsr< hס6el9 )3,oR` j ڙs*Z?lzy9;    5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u RL(PgD| Ok'>piF]m733*r'k;A hW3Z; ZTKG{ﭶ<>;1B f{5T$+l@_%m I` ! \ە0.K솤Pd3_0ү(7 Y RmhH"0A[8J " h|fF%\ǁ0<<_ 6F ,%D/M] MA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal s 5K/ XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lQP-fPiaJ DȌk*~Vvd}g2V`]șwMcHca9_+1%z~nT Qj9cIpĩކ4uC H RƷC3WhcCEI6+%j0Ϫ443ˑ "Եb,Hd8,  ?\&9((TSfAEh$ "ĕp)jX,>?Rߙܯm=тձp4̥VR51RTK$L-P W QR!Zdx8 CƎIGj3 J .` BHRӤLrA(P (fa,4' G-H- bII Y D@2@IBh .ABH(~q77H-wiRP 8M17o6oU|b_b&ݑ0nޭ̌YQNM$qp^t wj КNdŘ^-oJl(`k@G 0( 5Lt eRLۖ5Tjh$P4t1y5M0=8h /QQڼ#oʶʊGCȷТI|hpSidQ$eS (o$J@O;4̄3kRjSBz/ DPQhfG[w,y:nd/3vrv [&Zպj>Xᢤg3+EZ,@j\5uA Jk5 A3w]n[X:r"bE.=+ H^@K( iX*7~\I'jm,rih=FOw/_L:MgzT+DF!MS '(KgڎkurD s #~L*.yu;fc#RIѲݸrv DzU%)SKUllփTmoE/1-hGa1FD=4i-5(IDeM4dR b=YeTDZ!FTq8>cu !bĉX+e$8II=x8+軺`gM`z4r` ~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