SQLite format 3@ .f  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 p5~t ]- UHOL-Nominal-Examples:threads=6elapsed=335.166cpu=1618.751gc=106.136(/~Py"(M mHހ(ʂ)ݛvHbGdVdŨt1\쪆Ó44zqHmFc0'72vP-$ӭ]~D1d6(6lcỵliX\ppHP9wȗ{8ČU6eCy3hw] L?ѺWjO]8, ) (0`1 d (,xH,X$"XTvD  Z 1"rEDDBE2I2GOƆ8`P< hB"mYCȄzj y#%7Ǭ{eLYW CbPet=63XAuj! CX\@@A'b[k諩j pl>J$0@MhhLX8` dV!^^QEhVb*9ƣ #!.JǜbAC:x`Pxp{uȽhPH(D, BD #kFTkTH,($Sx,ÃDDb^Pp`h8|xO   n" `\CbAqAEĢ!   BbЀH$<@ P,(0803 D( 0h8XP@Xp@$df3=m.6} bsuNbgsfQ"6x5wefW7+~mwlĂ Ij8ew[S!,`]HM8CR-=]YKiW2WT5'+HHvdnXxٱkspڷ>+zٓ׎ ?Yʈ&u5Vuux~-YujrM4ccʋ^ta/?aL|Cbii=ϳVWeɩJF=+2O/RJsFcO8yu{D4dDA綸Ql-|MjǛЍ^͌vsSZ5F+jEUحcajf]uJG%z{i|ӠkQkEb]F[Q,vFhh1:#mQw˛i&\ 6K̶}|<%>Hv|GTqoBti׮wgG fŬwml 睞-lZNFlK9tשF+w>gVZa!va^;CbW"97I4d5Kv.Y>ddD66c353鐫UȦ+oqX0M h0LD0L4pH $t7Տh+%E$| b#!>6ra^%O9)uNrjE{k J h~}BS4'n@2ID5jר}{0 cyeYmfKY܊x19~]!gơqҵ6HbxH4g|su-'K\w& |i)bïp0*uE"fRLGB6!f)SO ֿD^+1N:S/[8n*!q\kmɒY_Վrͷ=‹!W8!~X=Q.6!G6f,^=€Wn3s1 F<@A)zȧZo'n$=֠ yʳC,yGTA#j2>r\ 5D bdXB>MLO!ǗPCOYĆ{9)';u&J󺲢 seL<4cw\zl&P2(16슂Q8Q0{MOd~hr‡XSA v<7Zo$mw !ehRRЂdU@1 ?{]\{"BJ"Ȋtj?) I=£;X|LWr H:ޗj!(HQ=:' JddSR91Ʒs8]v{5X0ݕYHPFIcj&;N  :'zru>3`яh!յ66Jefl7VHDE8Ueo\i;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.thyz [~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g a [|GWQܛ/Su&QyEkјĕFC<%ǚ+P뢇_+ƻ 4'-v&BgJƵ LÈ0x SsA5O``@⦄8K=O(89 5+Wxmr8"EؓAJsRҠ ((Ak迚;_RE\<&_(0鉖DY1{beFΊVaF7eDE0! #ܢf?.LU|vP0Z+PH0$ % 7*::ERU_U?rRs9DٿNs{X}ZM<@<$-<q,PO}&&O6Eb;ͩ ;Db{xP7M6$b1߿YV=>Jzʙ&mWP29aXI(*<% v<ơ9UBBB!#/@졜J!7GaҠhĤ'8` *",81NDƔFbQa 陋_hN(,'bPHOX Xp"&)L$G!!*A6A;s!gj*(ˢ\§xwzyם+3q1333{vocslf\>?TF))l 8N/Sw1s;Aa#*E-uk ߼3w?rq>g\e$`4rq.|㛿WCb7{:h4V/e q(i~ua/*}$gIcڙyb%4F4}moobb:.&fbb*kz2zJ&VHݻ@@w   JĠbڽ  %bvjhX t D Zk@0`(h4ͽ%bPF tٻSer#Lɭ@,"Q^hZEnVk>dUDd^z+si ~3MZ?8sĶ<"IStCP4e{hʤ8@o !~^0j_n:nɷw8p ~sơ4ܨDCqޮ8i&Lwcyَٚ)֪ewNdlqW﫮xW視"q;#N4TSHCA6DjaK=$ 遠'׺^Ic+BOmFv8W󇖨I+IRRP4sh`yDq!i,P b A aA9Ǭɀt` }wސWHeku;sAqVP!sPXM{*+ &b5#rAnHhݍR vCl +WU*zpUcWK3곤m{m!#팼CŽ}F*V:%n,%X@ S5K% $HOL-$^#P@  ڂւ|{xwtfsZoYhVgLdK`I_5\4X3W1T-SPOKHEDC<;:986321/*)y'x$w!r[ZYTFE D ? :" }|{wt s rnjfec\[ZYVSRQMJIHGD}A{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, % $ gUo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  daA ;[* C%'Z{vĮCD]ÿr87-˾ͶՇc5x[<>We6`(0F]Ҹ3:aNjK4D,79Lc~ѓs#٩g:P8ӰV "lc,:4pDP MdNssA..eHlև鷚 JI'僥-gf4 EJqU>Byڪ^Pšsk[a&2pz^$$EEj&Cr;"uO)SJ(&勤`ƺ"j>~{XFzl4#Z8y=;D]ؼa|\H/g cmn*2MIY/!5RͿPJEgHfy֬⣟?[$åVv'{]D,tz߂bvpbvьx)MʧEklʊ_(M,2*;D_!$G`s|:i{[_=Gy8)=#&X 3Tg碥$㻖I^Ҿe$ ݒv'MiH~9aq8e0#AQ 0lMقU _$t-}mdiϼ\w30&&1 n{u n(zD낮+/}$~sHO}Me@y~PѹEMft׋ͷP ,,O olm~+[惣,/'<3zM䰉L8wkrlUб ]8-' R 6W I)[r ~BJ߯*młɴEps̐C:g*3aad$#7輹 \˖]gBrs\SS (?dBsfzgTFQl)S i{]riA>hIjvi@JaXt_dWb k?_LTo3uwr%(){xt`۾SxS9ϳHܣ'C}K=,f|5ndcx'!@*9)$&y~rP/& h/pբbITk[,z,IB_,WݥG܉|@*]w'ӝBTR)E~ђr'VÄ!m_}N2-*LPkY\- odm%KzRL"/1=/u)n wc썓\3_@1ҕvRlp`Hy\ iNS׷XlC >stk0ov->Zԩj'Kx-eB0' rnpwkeQ2Wv}`|zX 5l,^m6'et|sά)s&s:Ѧt P)Ey ]EB@G5u]XtMV\qM UP7 `s߬o> bl:#7WNgLܨ["6@^3B 2ƽ6dz4sɓlnmoa3^8ny&l

"w?(u,S_~gȨ8'`EܱkfN!E@A=˓q5sRAPg'QP60Iup_]m40­hPXx®0o΢* M2&}宔F a}lt43 ~$E@$e Kxnpိnb:͋n_|2amY*D*M8 -}Ji8e&-یV~Q}K,cWJW8 k@mя)՝d?B7F"M]` OdߐK>X1b,y }|MEtɥ{IôᕻH=;Y* $ÈыbcE v.YFhhF6VG!ji}9}F17r!"8>1ɗxcz]߃]d=E^!ǣp'^xB_ֺdzW8VuIy0&BاoܖDu߬" }r# yBTV^Q.mnRViT&XJ$gסcgS0‚1qG?n~>l㮭-##Z1@ɱ/<A`9T\sNvxy #Lֶt4SLn38G o+ڗ954_!U[Ә uơ2!'^*bs1Ɲ0&kڊ<_-&y1 )o`g3թ ( E=`Ogd2V[QVS9^|nbyZz"1 ӪzSb 29+ߊ=xv*8꓆#^6Q=XDCu9Q(scB3LTdkaUsUPl)˝V ;m5WmWg5sUVĚkVE2!.4ch;C ^x&fHpw<&"&yfnt#(¸ê35byj`  ֊Y\Kq;ZtCJj8T/b2Y8>.fPȀyȼf;e͛ߔ-@aћ8yůy_ X^ecg,D'1$ߩB`[qk5wnW=J[.dO:yPN yW"f*F ;EPGA8$jmc .1gXwOc{CZԓ|h }|'[\(8w.Cy$@G!D ൶S$NP ~fQAՉO RW-`D5r^HG `QN}y9Kt,`ά3áO1͑  :1 ]vߗ12ӳҚjqDB>+dCbuHyMdC!U{Xp߰H6bhlcSIڞz%W}'.~Fr tWf; Z12z VZaGb~NL*ͅ4X#H6P2CKhx:}ɓTpdCN{ƔdT:L-&Eh00ZWORlyV]lZ0VE 3_Ҧ`)"$OF,ݎtoU 80rΕKžfRfW'[`zurڧP)țgG=RZ " 8aubߥ1Y͔W5fQ4citjh!m~"\g AAff l6[%(砽LT'ey"Mbd ҥeZ9ςJ^WI .UfBi{ mb8xOYHA5tU'ތJ޴B0a[zXBiZֳ jřDui  %^hHA8V~6 +[VFA8E:htZv#}Bv g ZO ^ >#-cc7 V?a|kq\Gv]\呈'3&.K&zਠ]opY(83hn=o:" |놸 řkC^U\U'X٩̣lP#x8pF)<*i1u:&vo fz>pJU,tWԞbYNND<\7'S#ZXZ>qW!Ԭ qPå P[Ji3:QT.P5@-lMbw~G'gH;W%C !j*݅Fe@c=bsǩA&\ '/0\cXNH~,Q#MͪYaat@Ç\/X'n'ݓ vT)bF,hBUX >r p0e*e4_m⭅%:$ވ Ǡ¸UR`}&HƴnM7=%$:+?Hrlc; auK:*E"WyܰQ&?KTTĞ HݏZ%{LjGMf|]Ok9j~N#)zYb _%A= A"b &\qBhb^cN}͓e96:v@le%:B^E I.m1$.YDI㧳8PXaQ*XD'1B Y"?a$|[U$q"HnV gJ4P;\/8N3t/^jyebѐ)c2#a4Xc(y<]4!.06RۧS(l! 猚NR&ڝne͡/ -[^ږN2yE7ݨ[LieB[0B{4wbRI~\CPݺnp&lË\Jl|bjR[{`z*05̾92sLSCf='8뫉OW^1tdHf2_-畲>':uV~J|@'SJ gl7囂,|37=Bs7nǚ ɺb*Jua`\f@IoO鵋"yȕEx~ GGNšr$-!%΍YtO]M= 5) X~be ^P<4{ cC`Wl*h7k-~KGdw)X{_po*c},\^j]N%AK}t7,Ft7 -bU߽lSq剥ͦa% iB>Q_sdM'u>emݺ3jnd2 F?@6[Ë, "VW~n|N6ѼU+lG-r FOcI!8݂.WKp~ݚq]9c[snDIJUs:M~Nہ[Bz @ n#]oH!oqFVstWHo Vagw;A1HϬe_,I{}wvM2c2z_Ჸ@KB5 L9eJAj "ۭ.-bP]!]v|9ؑ ÁdmdH\J +]c8Y $3$$yo^_#K1Cȳǒ Xn;e/jܡ$2 `b&ۋ`@l`L #|R#}Y{9P\e(NpMI/q6浶`ЬmU_>z1sS| 1'ߏHD-Ҕϗ}Y[ښ_\@ 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  LrH5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1 b( 0N_a=߾k-<q,PO}&&O6Eb;ͩ ;Db{xP7M6$b1߿YV=>Jzʙ&mWP29aXI(*<% v<ơ9UBBB!#/@졜J!7GaҠhĤ'8` *",81NDƔFbQa 陋_hN(,'bPHOX Xp"&)L$G!!*A6A;s!gj*(ˢ\§xwzyם+3q1333{vocslf\>?TF))l 8N/Sw1s;Aa#*E-uk ߼3w?rq>g\e$`4rq.|㛿WCb7{:h4V/e q(i~ua/*}$gIcڙyb%4F4}moobb:.&fbb*kz2zJ&VHݻ@@w   JĠbڽ  %bvjhX t D Zk@0`(h4ͽ%bPF tٻSer#Lɭ@,"Q^hZEnVk>dUDd^z+si ~3MZ?8sĶ<"IStCP4e{hʤ8@o !~^0j_n:nɷw8p ~sơ4ܨDCqޮ8i&Lwcyَٚ)֪ewNdlqW﫮xW視"q;#N4TSHCA6DjaK=$ 遠'׺^Ic+BOmFv8W󇖨I+IRRP4sh`yDq!i,P b A aA9Ǭɀt` }wސWHeku;sAqVP!sPXM{*+ &b5#rAnHhݍR vCl +WU*zpUcWK3곤m{m!#팼CŽ}F*V:%n,%X@ S5K% $HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 ; PgDH1-vwLf`՝5%133+ 450ʙh$6ֺG!&vol9  4U27kʵ3 d2~O(!YSѨ(fK$L4Z.@X,ޤ "W:W"Yۿ#Ԃ72uFm-ž2ύ7&2s YmH! S(!ĞY^~[qsn93Re7b_5׮۵r1BFN`9  11F"P(cdD8_0 n0cϚ[#np=(ԚuOnJMU)g#J0O00Y4>/c@a0*Is)F&:l%j>=Uk7wmmc.Γ'lCp*H; *ۀ$-3P6ksX'6,۶fI`9k/YӼw?g8%tA"JZAj[NrrG35\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  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+<&B3#_ɇI6vx?8HRn*H&l3]O}'BHم/Ѐvw;xKR,yӚ )4795ny+8n<%kݰUw_WӸ<5#f=q _G 8q7n@-nls/Vm'<>o{fט9~oË5d(yB.YmAƍZtIqJ|mMѸN%z/SwMWT/VapN:v~\Kצ4՞C1ѿiR):w ʔAnfNMQ[E١$KO:Sg{dn,GՀrFue^jufazM9B^"_hGU"]yS8S,M.Y}Z8@dߍHwkA'(xX]1*V/L!EÓ[ViѠDdL„deY-<'znU BhZ@9` hP~zk2ݰI%z(5#&~0nŃ|X\> ](J`v@pMyJ;/\9Aql9-!@B\&Pܔ]d>^j8cʃ}*KX7[|(ău^*]sN"&]"_8!2qUE 9k(q%sIg@ s8"UU?*o^_0]q{J/ {2%P>X3;*aA P_+.xi6kQq86~%-^{ʀXbNSX[c(XND?FXnT-֌0W "Nb;` t2+:U|:^3ܷLs:B̯d%e-S=vm|jSñz,Ӧ-|27T5̥&FkS@3CnxƁ]I'R6\YLyVgaO 1 cgg~jH7v]gH読n-*q ?Ntf861#@؁P]r$I.@ڍm9KV).’e*S{KD!^1F);X kx"XXa(]+cڃhvt?)w"'!UƵ.Ï9Ho ^^아wlܔ gvw㐣rɂe:3`U NA.71jG=noYkiD A>m2@s5mh [i4Ֆ@ۯPƪrQ0L6k>jǛb}nIZ\id][\й´dޑ0eLJyz.WWKz/Ģ GOE Wlފ>6gyΐXf/S-΀$)oU$Ltz.$igRf"PjAh3oLM%ڃk_sT&dEMt;n(4mn:ՃMM?}?~ Gz_x%@0Ƭ~4g+-X^F2l!ׄYlc`EWQNJcxה\v֋;ž('.s4I8ٌmwތØ"F\2gN}O+p J$fà_^t<8IRʪxAk輈gksȞr6nx:F~ "bߐbU!-{=vl H8:t6TE:pਧ(̓1Z,4{] g5X.mtuôEy"FɎ._ d0˩-yvbaʅ!2x-uc$:c.X3ِx"G ~fW[r@#L̞MSyh0: k% $د?.)5D?m>e*Q(eqGFOEH~=}Ս ^k5*HlLV?ΉBjd(n{ܐ+\ɰ&yw_ᖿ9Ȟ1WXTsHr l T4jj˰ɀnȵ-g}F\`uWN*EA올}RTnHj_g.JUZ}T8dw#)kLw` a(#>D]?GXA =u`Ìs>8 c|qg?.$l(d"H?1SX~.A2ܸ/v6IRb (lFCsY#=j`U$⑲]69X1ͣ]fkqK "EAw5k}j|a%3OQ ?$jUCX](0Ygaq\ENur |pݘo2qhdAMdraPo햜["-neJTD[rp`Ĕ9۷oF6oE,RT"V'oMrfjU$~k3vK$-)'2g6?L3&O"Iw] s 1cQ xF9T1W-M9"GR(7X[[N?Eޕ{ˀDom='N3ONs d b%O.n1"]ឞ<}n 6aH:ڱfyb%VՆ'q%\t<"J{$#$q/#x>w}ߓ5xAq@tƷtC8!M4wGq8Q+m) q `nbBFn%#lޅ&Cv 4Q> ?t¦E9;U%P`ʑ7@>0ym +Aph}'KrrT{ѷ(V9V-#^wyQg87ZHνK+le^q3>PqQ4+b^~!{#5tBwpXGFhӱ;z% &XBQ:b?|tƭDml:`A K"6p@2\3sI6 m|p MT*ddI`H_S jؓ ɯ #$>6%H5Cjq܇B?=]M-+1P īSL0ԕ+pϠIC:ٱlx֐6-y[@PA iC#6nߎ3{>mR~|n;d)L$q&in7c:+1.6: !z~W{/~guBڼXb&]04P ' ^nzM+<-Bc@4ete}4oK5"dzXvׅB˿۷~G[ܮri[k3'(KMDɼT @ h%z}-ʭBR^!DphSG7d1x/!hyWkeߗp-bpR=>(+`\gh㛣x2,Q5S2Qp&{evW+ycI3gﯵ똯'P9hPMHbґ^ysez{j_^ `>3`6xp}-`4x\<4qj׾n%js $A%AtVb#3V6fXal$1~,!_ٙ~x}a.G\ڪ-I1 .'X3ц3h粺@[qOV}Cb [SX-*XW= D%"~$cc\2җ!]kP(4z (,Y@#7hl , @@x|"JYCGf'ޚhm!k|HT,O Ghq`q{CByᘑ{)TVщkqK3v$% onG'>fF}_~{e(W >5AK2Y"4K^5&QпiIR{+siJeՅܕ,'7  }ۮ ({BOi P{Ak\@a 0FHHPn onXa%qʐfp+J)A_ :]m *]Xba:!ؒBw ž3e,(@#?ǖda޵U[5,=$`RL{lՙ1%"4nHsLffHes:3(?<g|f`Ԇ\ |VM_* "fq$cI{Zv7.$-E['" {afA87nsQ1UdQJ{s2l"Wo-苧8 21E~(h72Pm͌Z542cz'؛?疮~R9\5 >8ώfcN5FJ#_!+X-vp$PfrHC$NAߝ6+{Jm*F<I1 G%~q2hhZx)_^aYŅQZܐ|1[TEwCz>JTN{lI{Pr~[ Elv!c.((9bWn{LJKkØtLTX#QFչ <ʹf{hLu,+ WFT2!%''S׏72aQdk7VvZV3XT'FzyrnfMc{Ip)=GUhb"ktvI75oW(/P6fEZ%,(_knl~- Ƌ.]cKÕM<m&t7?}Zﴭ d^%i>K\7e dM.@evAh&ίsN*bʜVd}J0QU/KY5׋ksGMr7Wiܤ=54!h do/~&7Z%nN:nqsJUPN^Wv ^Z0=JY_2e2L~|XfԔmbjxc 0vD=3Qsd > el*CV0b[lkt z1u?G[̸`ZT$F/S0Y]JUvw_\q|P3R>SUj?.fxsV_~k7`]>aP9*FVw`rZ*_, }}pԎ>"}kFmG#Ʒ:޲|A,m[͑`MI T=W! ` L1_i-w?`rESL-^;0;R }@_`/X MjtȢ}EPtO7#>Q_aRTfyKqݓwVepOzoD 7-ޅbz$ M-p]%ߨz)gc>/NOM<܂^Vƃ@nz鰛0m ^ӯL&x ӯUnTyѐ vhɾW:^}x"h3AShj]=e,wi`\`s2rMSh_( ר 1 +n(a i&G=ӊG.lDƋ8/S3>^^.s y)z!0ʨx77p>3>;&Blq Ahwmy$zP##䘲 >^2a|\6ـ/_~]bW/ke|x5jwc-$:%J+1ͤ:SH `M 9WG[ba 6;7eb! fZ&MO[3EJr$ 6t ·Gҷc,@<zPc~Nd2(IAj//!VmLYt a5f'*}b5 ,o}UEkvY@^(ll\&6a".~e%/ 5RZK6Y0.] x<8E(R9T79vEr%luSuPԐ,4j鈍^Ӂd*pu #XZu sOl2LkIAbRG-!➰#pql8dhLV+PMODWzcpcj֎F0e==TFB֒uE+Rj׼w/WBfkTtgMB'Uh {C*<1L+#ޚtf[qYj;Z]~@ LlxpB9fיY|aZH>> QOG1=&.?BMrOl*^{܀T]<%&#AhʂVA#=E)-ZUͳzO_,bjZ~*VSŬX<:\"H$ EEea$|EZ^}-MjKljk}/lK$z0i֦)뾲ɸ OCJm-:Olڨj 8R<<]م2rt r֢C2MfRiWk6WL}pb+cEK'?f x@k6QeߘU-"xO5y-`Ek&u%CUZ#{aU7W_BݱS%W>!>U8YsX~OT]j3yu./'l0~II_%ORm͟1["3MΥxZo*Kj~j-0VS$;mH>iOfy&eO숁5 |TMmŀR]gbEPu{79& "rc2e#:e](Է'UR=&#.ZivLge9)TabV@[)FQ ]Aҹ5|uvl +p9ڔp}ֱ_kZXwZ"hos:PMɚmlRuݨNl% %ڑr'£9OH0>Ip $EfUNk Q'uqMEƥqw=-eSnVIݤKY4xs/A%Nh˂n>Ig;%ҶʼnһTܞ?K/ϔsBd LyYCoWp28T//X_߯%V$kTu4^yuzf|~(iB;׺QqnRnk2,UN|qS wE8ߪ$n5ģI '6*ѭnSUhBsʶr,sZ'|TsWۦlT|q/^!(_#VqUe\ihFsaxohB[>BtM[&CF^=P'Ss*d\?pe'\Keߤ&O^^2)*)`jVd-J%L\3&ylx)a6T&r KLQ*Ti:a};(5Zh*Bzꄪ[uR:2sr#YU}Rek#v pa{T  "CV/kZ\(rjFu(VSRg" >[m){P@VZHIIW"1dfzb[^a%ٷ>C-ZW6y)gꊳ*-r֗'?YwG³ie^"4ZB "-΁aKcϐ*NA܆iu^'VX\ s/xҕsײB EH[3W<'_˺Pӊ[mJԖMսBQiV! ^3lf^5!*QSAv ʾIMsH"YAՀ3:rC ep#I jhnZ'нrZUT{JeJ*V4V1q|T+6*G*U8b-%]j='^nPw SiUT$PH)XM*AzU>1Tڷc헄Y?pS7j􀡗XVYh0:܈T-=ljU0\.l3 %ERK%UY]Z]d娮.}6._.Fe7XwyX)Qe NKU_MK)JUq[Oc^huߺ{(uSZ7eS&_R_e$uw! 4ASe뒆ܘҟ1[]\)w Y\f:͆R_1{ qjZ<Ǯn)Gv`Kv eW! >f7~f7L8@] v;evahqm[D)`| is#ծjhTkn`3}_u':mneYYvr00ޥXӼ#vuS5~G]㭢g܅L+: e(r5jQ+-< gG>q,.n8̸BsF ;p`xr!y񐬺Ťn-Fd&dYH;JQimIt-X~ MD \H.ɚp!u3\ВULuXG=YG.$n ZܩV 3- z&v.$<d]lVaBeKԅb7v%Gc/dxntu*1 UyL^%|=b)\- ^U$K(Xk?(6&l@Z꘰ :gop̮s!UV6qۖ}Mh09 sg[?T%l~ݤTچ6\lH}́mDdZRmXX}AV#^/?5e6j1̂E~?d+hwܮ1GyNEyJyC˒R `nI݂i`6BY IueؖTGTӰY*1qGV0d/nڢ[hڔ U7*ݻ3z.n9 x,e7fz+OƎG-צ\Cv 뀙m&X0V&!JX/\J6)dCeoJ2.q7PGߤ-=9eMՃ.c=aa3% ~QoMÜ.Kl,3lM[L\_NӬg;eJ`itig t~xs}ی,O uM:ͧlt{1,^/LzV]Dqt c4 2M`?SBTT"eF7Q"(ɗO;jE=jc'|"t HrʿK RŧC .iZNZp| g}<+,͗?MK#u7N0=)Id?\&r#ya& hB%Nrds~+B|\0THd7Rq \'4RA1eAe~n}E٢YQ/\;aOen 1jԨYlΞ < 60)o+}EAtn5$>N~/<HQݳ[V>C\I\ya`:MMAVaT MfG\LBH+N:1Q%KezO Iqd"aaj,0.]M#}1 Cٜ9l}/PY\PՖlFJzdd3$hmvxS 8! fc{sź1N0YZazb`dkّcO':\HUь/VlMs8 jβ܌UM0?,̮Íc`|B_xvo]7N'KtEfVDFPw^>X OfX%g9?dO`@K՚/~4*7>.Eso;kT?qk*S]G:Ǧ_sNv[N9R^ Mc 7Tĭ197i k-`yF =ju,WBg75 @@nCŗRY~$*Ŵxm__mB5Tk7R㾜[Rpkŧ, RR 6jWV-Euc\hX~0\0zԵTgZ,D;sZumTS)i1~wYͼ5ƏdJKE(9 1qʾ(4ĞF_|bHG6.cM(,:OƯ4|~S oCpz bDmӮl6:|$L0Ho>t6[xI\i'@ gcӶw  `sp0q pZui2y<1]YY޷)Sff5h묮8ؒ`D>;~ɭZʖ[ 4@Pٿ @* s ߀٪dohBmJD"4W"hW"ϢoY$W"WOV̲h}nHfDD4BKfH&$4:rWUK;UFE%LH gW]Dߙ]uJ,|p<8'_H?{Ba{gw9<ÃC(`Pap]~A LTrx `aBaI˼Q(vyg:['FP4~v3fjf_ی2`@0 AX\ W3X oWXf~vۚ#b2-Ӯ]i~!۷ݙݮj{g6Um3}UmW]̾*%zFV6?n_U[34zP#D8|;ð0ٍa@4lEsE dln1! cC硶C"wf*&J$J0e6&VƜW"ȍB0$"2JJD2fvUK!ޙ]0ދTCE8h A^Q2@@!DĤ¢"ni^CB`\T"wVa1Y(,2դB2!BR!$- @Xc+wfgW\.Zw7nV\IoQx<8Zu@WQ<(k<5EKҳҒtRKK wi4$TL.2R BZ2}JS b)L"%QOTҍ?Q#d"2tUg,ƌjWf,[UmR7s008P 8:2*.,, 0Ġ,DC $| NYVUI KFDC5 c5w-kB\jcI1֪G kKdl0&0Ԛ[>=-433]|BB(-5Α[QZYV1R|wJ$^_zaǯ^X%}[Cnuә5rc5\?VHO=7@b4|0G6z b@2T)p5M"Z\2v9H#Vf T멪NLu)лvc`C ^XkݽYf ZBň@4* %`Ћbũ^ɋEegnqxQV&OpF =$-;F;E2QOSA?ž:= BYPPxj_tp| %=퉤IʨtFvnk?#* _{ZM!AO?Ju@W,;7WfI鷫:'Ooxj97Mt{0d-@Qcn]d5S^vfL s.t^_&@S_xTۏh?G,Q5[ƭ)m Ps_u]Hk});0z(+( "kg CZg eALC>W$b*;ݏt }U~?H5z ˂xLdWTr`B/pύ~e\7T2UV ,SDltWPoJȅ YcYfk"'`֯ r'/95.$緺 8eA(sZ,#*\cN=Nu>rNlX`Ͷi K۸WK7~M}{^uHjЅٕ!|rĀrDEOpqQd|ʺDx z @ BQtïU] ќ%K o⩡["M,$OCN8"GAȥ>) {Гy`&})DnH)=3o]2{m2yÉfʷp$}nZŤz hO-m}%v7+0f C3(߸s=䇀epBu_M(Lr&F:a^4C'ؚ@K2{] Uym p1cͅx 蒹ʥqC~H|-3Ҩ kPxTk&7j`Z[yͱ'%M>Z̄{a=^Z=>}aS}8|\UXD<ϝ#v!ʔWe2Xdw$tt J٥sM(%MĎ`$A5Vø1 ([7S5#[L I~!Vs<^y8p/.awpY>'Ipòsߒ_8q/#rb瘙'7 ~4nI>fN[GΝNټzGFUp1:Jvz# *_^D4[ @[ Y#^GB1Hw$>$ϐT ֶ$>=* Y+ɘeI|KJaJ3Ҡ4?O 7ːc5P @K f}+7(J]z0->: q]6#sGc$Ul< fLc`& 4f>1M\^8펦ayc+O|tY4tNEI98=zKԍЗ:+-IPs׏frư #* K~ϹJ*ʞKގ)$)}@҇,n@1"hAPJ,bw_Pqz@gk#`4u xnQm6f Pn.w* OTY$`3C];$7\ϫ@Z@x%U&xX|4x*(ߗ\X +s*olwRqw7,'nD7+, 7ÜS#U'A6eE}JpiU8a&p4uؙ!)Xu@ A+Kԟ]9XS%41~m; ܬ>=$uS2Ku~Yk>֕SêT4ݦo%&6^HrIq"+Tv&y׾h7S= t?'I@ :*kg]5y ?]DӋ#1~R*QШxز0O5}ȨCΑk<s=G`Rː0>}D1s3ЧXލJO:^o9.O8u0d"{S6 af~M}QD#O~ e{mAջ}7}H2C:難q@%5\RJ}s4;Nn_JdyЯ;6@P,v7Ց | `VU@'sp \"@uj.&B.b4ݻ: ğ;57A lw_^K{ש`TOG֋d'LSLAɏ eL~B`N -{hwJ0- _+?|9K%@RHs$4[<%=<)"O_EN\8PR.lUū*6*JP.2[&O)@ ŸӪ櫍 7Mg0|z1)f(4ET!JRضÏeI-,⇪  &tNS=(I녢Vp'na;[»]e dY79`xúY܎/lsaSz1!x-gY@lk-&ԡpDյ'=qؾ$Di#]@07(36f}b 28:TŠmba'v Y aTDžԐ\zfD1*p\T]RH!Y)W$%t8c|5X0 BfݶYGIw1)V6'xiX1C봘sԩH+4tXPqNsg}J *γZj WnOYS;`SLeZ$m۱RQY'&k uDjj%Ý'P\#ꄞ,졇T–dLHHX W $X{5v> yQҿpʠ6!&3 O RQH.UZI{WqM[X P b]DoܠoW^(փ)rYXKd[In YLdZET)͏~oxq'2E _#!J`cDJ-qXlY~ ( *Q(ۺskM 6n#]-E΍kY$1LdH͹8tVw9{gaj]NV=x#j\l Օ9dUuNHab#îZbU9m7?Q˘5\ۯUCiިg=a@ON*{eǷ;͸ҟSi`PoH-Ix4!󈫁=MHNcN`e& uzuh_֮[, E^mɢXm˱`qܧeXFV敃ھg8$;գ3ͬ` *ʍZb4~ډ+ߊ$"`W쑦w/$&{a(_n0IL=xd\J׳b,.,]2<%;#Z@;tBid#G}m/wV yȶjr=H:>B9x{7b\\t $7S=%0bSGk}dwhj*MVElW>@ !]1ZM#g3Ѥk A3W|_Z͵+xg#%?'q[4w~N O&/Y[ڞ'$z~ 8ԔvTs2QƖֈS7^h4y4a{+@-;]-!Т.Jcp,~D+E |7E۴K5ڸjE;ےk&K3.u׭:p4И2 *ub7T,TiR6 }T"7G\z̖X$EI#vpоaYzMbt>ɝ rc%ueӍ̠N &oRf"&"  7lgy1s0Ry#.ز. t3(S +"F!X;&f9~*2jXBJfC-U}BwOvtM! ZPYd?v {9魞6nܨ9c2$џF1GL2涀~Xy:>s^Ip ^~RjF+V~rϜ$WcyǺ}FaM=,oP3yu:`׎.+ )0|A:yB"#Á/X퀑П"|ݓ)0(EB 1ACMs(n+Iq(iO` hlGz^bqůxUsd'&dfM%Eq|wP4<߫pj7N`9sl Zu%#DG7tۓ)Ԧfi9mZdAKdE^M6 `+T Wjbtˁ#="ʶ ` Z\|ӿ-gmQW$M_Mx=Ѳ6*\?0iQ-0 Y\$aCy(m8:=qW1g5buւAҢpem!_4JH?rI~ 篗CuŅk00^4ҚX=?_m.,P>qo#ȍI@kۑk+6(p؞*ńSM*s`^ћeQ`i<#YԮ<kFY*p :}tq-Ɓ?m˄]=8nRVY1BGEG Q1q51a=9aĀif~t}7^_%2!K2PcP%Ӓcx+TnV4[7s:VDaff\9ӺҀ 8sۺ2mkNȹ6nћA oI?>]~0k("eȊz,_*JHv<gTi*(e صJfa ]XOI/\2" M)`n"}cb; `⬩3QqkQ6TxZnXJsP|n$gdbRTlȖƓ#Xt&u,e]ŽFf[d ;HGdoHJ'NT;΂H1ҋpĘ^d[k ,,3AL`%2X%Ej}+U jVxV03W{ ~bhWġ@Ofd(6 A1V2.Qj/uc3xtaĎkJg{9 o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`Er `G_茻g~1Ya0˻"-PeA?)+Cu{ 15чM􇐠@ ($E9ۊФ8Y/p |VSf?j3| s0. fR92-"= õl9dDJ`,NY 5K# 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/t 'o6Nfkw`>уBIdw-5mM IB \>b-CiUQԗ(5,y`NQ% L4#BY:!!i'Y\Zš@!cj&ۑ%+1a=ѓQ:h I8ѬgQ:jqZ,>kZ nf"[Ii%ʴ}f1:/c$Hth=hCY9G$KX[ xF%JShqJ4(VQ,)Q)ĒTp4Z萢*PHñXTKgߙf6lf6ٿo۶mf߾}ST=d5Kdd|)d6&M)d)Mk{{ki߯ymҤjfjjifi|:%LhOL<"ohh]]ؤ}WNJ} ԩݬ?=E5Av*9UD7][fEE_"&x;/x{ݟ}\6Qvx]ɼjtvZ]C(qÐlW N1;7=̤iLhg@c$o+~,)myxHJn%K23e;(mJItt}f8A9_\x_`F+TH^}jp QEz;1]PF.jf!6m & 7!;$3(]${{@hUx:2n+M'JYik3Km3Wõv'e£ w纘vR%6 k!|[HLD"Kv*HC-sk ^y{]-yh缛 ,</| u"ߜ[ky} m{T\c=Zm[*ZPD`I/]F\n+̻hq<_@t-?NH๵D޺9.級'6%1gl86 h{%)GG <9v1 T[\}~GTN5XZB)RXkk= HՊ/ֳHgRm9 (()/ R*ڒ'5x 1;VPMk}twN9 (pi$/ ⍦٫-gl^R;8 ,WK<BÑvg 0Lqyǰ _s1|)Va7 aIaE<Ps<͕CP\;O$2$m <Bm6ΝD$q Prh@}/@*@ ?75yDJa0r„@+@%Y(f? ?PQ 2?DQT)a8nLRʉPw" xS9E~?D?vSh`diYgLrЙ>`64g ̿$!~Hp?deĩ~niaůϪk^P?[ SA1ơͣ(T8?jޕΛ.Kƒ/?h+?b#?gal/1:⧪ ?5[oRhWP )>8lyΣ>$ty  2}T>@`yS}L"!Z}aSOoO)Gq>>*1pLsP55Tf (C_)xL|M!-]qj%*Y@U.,:I?]QB;W*J"nj <>*|" is+^0efc3V7܄xގ&/Q:" PB8( A(tG죦OKbKN5Iz30Bna[AE.dS<> ɶZ)bCk-*KSd3\iY,"tCrWYO5@!m #xub 좛#bRnm Z7 $^8/hmIQ$Kk !Ϟ})T&OZ46;,$ׇV2T-X?Ϣ9pD]4Mf.Ei 2fLldl76U*F><(+c tcz_hpцkL9 [=PP'g ɱ>k#b<\8DKvOF"8ICֵo}#?%oȶ-ks=ŧ0^9_Lel'i/Q;2Jټ#3U ڂd%s_&\:HNCv)pg]Xu5T2S3m%خgTYlxQe ІafIDu)!t6АBL ^Qgo%ZYu b-S W4<▛TY&d'ѲLf %Uo"< G Av )?x:NVKZ_ʉ q%g={q!aG1j"7n:$iѸ}p ۋ$wY񮩣b;] 0MLcѐ_Y><3G9+6ˏՌ H3LIa߈ F &̇ .q,ܗT4uL,{#L`\82h}L{j2x?L{INw5>ey[q/tȺEBV^k x[f1i ^RKrGO;woX^Ukf$tkvLĘtDuG @&c\1T:lh΂Τ !=:9 +jj*SjG1%*E[+ݡ5C|Κld/w:f=9}^CZemFDšdEC-kRCƇꊢ&#H=`%h1-P݋v&f8<%Ηt٨=vhRtv`wס)rFwcIuxCR4TmY ƛ}uMEs!M$Z * x4՝Ò;XhCphCۊj^~Z?qc_l\K|d;ҒѽHlkMqeDP`}[vajo9ƳF'HM+Э:+v5cj6hXrs=-E%˕;k_. ezy5?тuOcCz_CfZPqXPC eFz9\ z wk=AV2F;A'c!03 Qh{;2GHb%(7tBʹF-sTw)i8L#vs넞 <ɧgtH(uwa(Trt 4Gɪ1]66EIh'1}IG^ EL|hgm|Ljk qx3Q][,M":tA7紡O&@THXĐѵ$gJ!rmەU cxG}ɤ+C%lj.B &BY&3K+D/€@$`oG<$6F@b騈-܏Dv\<2/2 7 1= y4\i IbZgEOnȃ $6r3E$bj"VFԋhpJ^v~n-Ѹi2]saZa'glVw>T0[5n6YCllRLN;X&۫2&1CZD`3y'a45H?6y|<َ}񚰁:np@YW,;~}GTV]ǘSRfOd$(K-V9L'0",YWL- ).@re"-urHR8,#$TQ>Ui3&5!O89h₥<- 8'eBhIM `ai,6 }g\nXx'R*snKA#P:HgY`zoԢ^ iF`a$l˧@/3\Bc4.٠p dH@z׼"JT.JUod.(!K=DFu%nBLkjE>%hxX4Bk+kXrY*L(֞Cy1 &2Wk-f{L2gdBnYѐ}/^U6 5#)V޸ Ed4QD-,0{x&W|ϊvToҬkC;7V9N!̎˂n|-@k_7g*t1ݬ%H'NPNhX5e@}۶ fiټlRp "X2űRS7yYt /[ p TKGb"r(Zݝ2ZMY.sb eMxR)>I(ߚC0+KV%scô F3~5k[O1Il#h -q!wm̱?)"/#箴g[;UzAW١QX*t"74r۫7ua4$^oefR\ uoqc[CfX۷2?Xa.AH=.UL@#J~D)Hax yrCF9C+qeOI1^VUu~t+رi_Mlu4ksoit-͖W:*]VkB:6 Z|xr?hKf85ץ3Kcf*P aU&~fjBr1lJ40 HdC9Sabt')xŇ="0f@UH 7$oiҐ S/fMY Qr¼#P}=LLbՓe%4 6@#}%HJ%2bKJ Zgו1Hɓ esd!||Cɽ?R8ev¶!}.Rw V !"ժ~3)NA"!Z0!l>hF {4ILJZal4pkg S-LNIrczTNr}G[qE{y/gi0>]0bZ 2J^yxA<r*Y2^R$:sƊ5vsAfhDX߄ ,>Ͻ;rϭx[>ԡ U)GkF{CHՍퟺuS'Z9'j YC?)Xo29jnQ`)Vx"B#Iβg΂[:袌~Do ".KH|^ Z#:ap_[DU)=6?6QqC1~lG47'˚pEo-7!3_߫G\4-q"濱xvW z8 # NcyK*]/-^;fB_K ]\WN{)[w 4̈́+ w/#~w#3N<>ycidO8yl"D(G"We{*WӃ:- eʷq(Ucd uBG1l!W3wpn`&m87,\⿕SsJ^D4n JVvDejixʪlVQ?RG3<3UFOvum%""{d,]%XD` 0SNoNɣ, MT[ތX70?=#%Φ|Z8b{96-Pf-}Ko<33Æd3:;`)bKvv5o0( A>r=5Dv}CƦޫ\0-+*.Vȍ,"-P􊧐wyHi*6>zbkёdl8Z%q߻G-DI Ýbnfs6-*X, m e+z|02~e5)i4k ¶ӛ0E&NW"_c}\qusg Xs K{5'g$KNF뎬$72W:"¡t8o"Xd/#VCF@\:?$XP@Ll7J$J9Ț [gXRB 4yWA`sUJ)r)LT}\4]ף{ Tޏyۆc BR0߹j#gr)c)`p8ҵ\bt+f=q3E] z /d4 wjvn]^4/2Z=>^acH$7X!3EwgUڀ 9 3z63+86ٗ=S0?scV<4H-l-s O !o>6֏jW=[M3AĺJs 2G4݈0<;w'k@4> ;؍-Hze C&EpTKoˊ=Ov:n#I2Z2ʂG]l91i>\Jcڬ[гN5\ e&g}5ck H~'{Xh\*eNDw\/P9SXu`Er7<Egwhހ!k!JRN2nfdȷs\d#I_dִ$(a9cBm`uϸc+-n2 9*De z Z[Y3zz tVN) hiP21Y MZ٘~1^-pV݆XºFF,@$HXeoRC7dKjBcYX8#_YS( j|5 > _1d)H4g.YEyUfpWx}Pj eAkZu"K1Y.]@>3[Gf!ƇmoNB"oxM8V>aEu_K "S x#Ʀ!h䍋?b:ad^ jXYA+\?V}s&1`8槆]{Qh0Qpܠ@|+%. FI8-Xqn1k?S}nSR!cܸO1Ӣyp^vJS '@Ll$ [y4HA=Hx_CUt`-VbNNUSYu6,qpGL>GEfLDIX}]1OO,~ qCq|\ۉuذzS*Cf4qscxeXi%.kGYoHQѸʺ^oz`bVwnp/OdkC. K% ud#tw_m i2@ Y \t.xAi5%qG1m /Neyyq DLN9މ *is%p-Ȕ\)XBe9GN峏`@܅Yx-f cmӱD82 #L.39kXbexوP0Ӿz{Jrt㞔o8 ڰ[<1Q" Scп=iҢH@Ս2 4XؘZ@jE&}uXv6bؐn 1JJ &J=~ g6m6 ?R2<w,#GGI<?LUD#f8 vUmɵD c+ $ ȫ[.uI[ sxaa⅛[K[֎+gmFX M2):Խ=6k]\Yr kwHy o;ouaˢ.\=`rlےc GMM1ZT(:n&ʔJ,?sŏEgA6xn%6|z*FO&9t̳ ܾ:0/LaS2)Y44OsPud>Vt d>k=vgEֈ"HÂ]|u#q^2Z?O^NLӳNd4&K wf3@0$%H# (BD(10 c!?oBn̈́\lŕ22(Ҧ(]Sv`!Cbw҅jTv$IN"z77iv8 ,DE_T\eZ~r95٬r`gR9jt1ǙݭiH~(FӴ9`ԧ{aP (XRDA YD AAڑUʃ7M|&k&Afh=5$˃8'[%K" vz$<>6\2ͦ+8I+Qs. f y.CIZXA gÉF}97lu ᴔ"T1mt;WSI~!o8Kx9Ozsh88[r `Nyסɛ)!9w^In 7w@R}q$ڜjTVu7؁6Ԃ5 `b!Oh]^pOB3FE-h0;VE"7oyVؔK))lop)OރYԇ'pFT=pS|ЏLk_CM}3ү70%dP?QԀhmQr|*Tcxj USڇqY3"Wt wp*9 hg?i[~+])Wu<\.lHlp,8;z1v` qNzο9c6[t^rH36o8:bwWbt(j8so^G'p>&DCU5UOzs@"YJA qxl3wL,>5h #T>OH2^g38a^!G/K, ߃ѣYzaʹhFpy$\}(LYo l)C @0=F*Hk@$M?hZ6ȑϫ56l`ɱ?bBzES\?I=NxN,™dnuW%v<.#=B|"ȅ_,Q0[=ԙDn.ݣWCԛCD~ h ݘ=DVt PwrVwl OM`a2AV8ӉPz js ^ӢQ22Sm@X%;V th=תּ-?knn,Qǝb xd%Od҈W5R] ƕWRJyF 7>Bnʛ(_BzF@'> 4wdq5""wYxiOER zW\Oe>d| 翝]e&qd/c4D,{>A'ޏ2%T b'\ZtiH2b''?I|iж [Xƴ`G;S@׻} v\ْ#p/}gJDuG)[1ر9B?,{5QZwNhgpn< ܨ \8>Uδe @;DUSVDlnjvM0ـr | m#/8Ƀ攀v~ˏ^`'?๏w攻9*!k ŎWT~c˱S|FPq9l̻.,&1c@69bZ>8hJqhmmAg bhA@9\Ք5Pv~#X|rnSɅLjۓ!Q :T)UȾm:tCr1Sn[~pPti@/:~c`'<ȩ2 STdMxV4a`5ppj<#uɌcؒI=-ysyL4!))u75d&KRqws/0ZxcDI˚1wPx\Ӏ4+ uzchFRl7svxʥCY"bwᮙCb]0I]mhK.IĉYYq^9gZ*2{f%2ݬ՘~ēcRŖ6t=O_+ݦa0-\\ Xe| .Oy>Uy =#8ޟ׽P3$p>Upi\⺋-:P\lA˰8o02vR*Q_rQւU{FyPv*,VSvKʫqN7/"nR0>&oN|2P?tX] ` b ` 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e ,PgD|xpmO| /'寧TjbLaLj,iM)&ӦI#Di[-0Њ30/ti$VR kG{ң2EZQHJq@&ƲIK܂&qp,(dQ\U-!y(X zZ^c"K Q)ȷ4hR4ʼn֔nˊ{@>-ƶ|ɎhxmȫDě)q0ޘ+-I-z:-KR4FaEh9P} 0AdDXC!.Fj % HM2c=}UFCSWqU󧈃T9q=Rox7-1PտO=:xݽrV9)|xJγFoX1+ &997g7]c/EH,Je[ V&(-UQXG]Iʳg^=s^^IrK{UDfwypݍP4`5M@\Rϝۻmm9m]QKwtݵNkNLlkD[u'uy)T>\//>bBXaBHwxn~RgZJfЩg1qg7+. 5i@CG,& Lk} ' ! zz 5O' ~HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j}I5" o]?#[fގLFF@s [Ho] tbZh˛r9%&Ve4 Zi93:QP2>EN2)ŅA&Ҁ[\t'K1:>Ʈ[PHġh81yL0xFEejʊCȷ$>M&id'oS: (o*L?P<Q͡a&9^ϻ,OmPzw?ouqqkQFMySaز,c t" yUJxQWaܬ1_6OVTeNv1IЮfVݎ5|s$?n|h&yEyjvv U!$v ܔ7Q[^9kͽ:/Vm9__w[ [k^@ؕ?{,B8[pŞ_qMWC -G V/(xb(4 11W>|rگOPʛ͕7v# $a moHCv|ԩ룮'V ?}9%^RZ"o8LNsb=JH2j1 e@` 0 AA!Bb .(ȇÝ7};["Z]. X7j@(V4YL%1K4E0a,G|"^K>Q&]<$m;bBb4~li18Z?c(JpQxaAQxhϽ+-(X( 4W<*_Y4ٶ ;(%n72_g$0K42d1tO]}&K}䖍h n?0ç}w]uDG\'-T}hF@W4iV|:HZ!t wjJb?[M. '#)2XW%ql~~{k(jBo,2>y}p)F~n# 5fdtJY"| NJX;0՟#D',ɒՁs3kQs3 s Hph>^td&Ѡb?:4[26*$3oo4cGYWYR+YMӺز;pkxNk>X{q>Qc#:$/,@ހ*_$'6˷eE@;1sTg"z#$\2% *RcRH֑9Dg{?VVEaYٛXḌ@a4}W6&F էwП3P ?U/#-ѤgJ}q3i*E_.JEzݏ| &"!X_p!5yOm0$9(s)zk^fg|;N~d\ζHؕd׬cJ(b07@}u{ )C!u/L")2GMa푟E(VH0[ N&ASr,c|/5Ԑ GY  B~ J,e1[ΏM X{S~d(y"^ 0\v c8"LtI8m˨*i'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