SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsz [~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g a [ 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+<&Bc뻊yL;;RތJoƕ +qR3n3?7uv*Cq]S3e0`իsuWwl^vqdʙnCϝwWmq#r"}NM_mUuM n?Sf:^3O-O[d)뭭kCE(Unjyq,/zAP搉DZfɚ0 PAP[}Ϙ~Ł߇M+IRRP4ch`Fi!i,P Abxb a 1V_{{+$R|_I&R'*]0p)saG(?BA4|r#[HƲQV H}~.o/W/U.gt.ٷ۫ZCgW]?ķt7K` X5K% .HOL-Nomin~$s#m dSO>-т ͂̂˂ʂȁŁ|{xuspfl'k&hgc`_ہWSPOHEDC<;:9863x2u1q/n*m)g'f$c!`]IHGDA32 1 , '   }|{wtsrljfec\[ZYVSRQMJIHFDl@k?h>c8b7a6^5Y2Q.L-+'%! @9320-& % ! HH+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_Machine?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesrD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/mardF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   -5~@n( - UHOL-Nominal-Examples:threads=6elapsed=346.093cpu=1697.140gc=101.824(/*"( MB|Y6Ft~-nV2%8L>ݡ SzndLV)sMbRJKOQ*^(q~(1tuURVRk[&nGdxtgm9ienˆ+ 5njCgt.BA! bKj78$ Phh`RJ;=۩ȤP0p@0X@,hK;Z2dxy̛S ;!R8&YBib!D Z"mMwkՐgbvd5qB7OϐCX@a\5,sh[ )1`UkY2L @b}`bS "ƒyH< KuP8 x{"brP,0XPِ("|ЀHo!CH8((^T"bP,yJ}!  W$xI44@, ,ݪf}fF Iʼ cbAa?,"X,0.( ЀHH hb(<  X C"A$H@,(` C L@DX$4`@ЀCBb8bQ M$QitE|bE/bOiwSd3fnس1M!3%)R"uj4Dr:L4XӑI.&M$2l)ü#!r\*Ԑ IĺG䝰fU STQٍӍr3Y (3i1WmkUb~7mQ>8HUVCF7(E&EM͙J\_iBoMwmc5JYV6w; CCCJ 镇?Aut:e7sֻ4C"A=hHdq9&J_բ:̌NB4ȼ9T{!4D1pHW`s6#O֝o=947ܓ5xVƬޝn7"sCbi=gF.oj5jm8HZ51SɨW>;Ũ+Ҡw^ԏ UBoL~[kdc7SVUczbY{fٙUa$);MdVMDDR&USKc%Omr>Hs)ʭsP X7M^njn//&zRKK 6LXzv9YDHHߺ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.thy!L;(ڗ'QR;C'ۆCW?MZE~ۮ,kmw9mmouT27@3Ųu+Eg&lE!rbA(9!ފ &Px-;SU:^Y@@њ]prj K y!'@V&/yg `' `qdPZ2&B|U᛽Dz*@}rx2!0XdFjKJ"sķnܝ`ǃA8u /q0X}f[Xn.[a]TWii8[`8vcuHfP!V=(w |W ut1 m\SIxU:r+hKJCrzz(Ek5ɗR)RS'ݼ#g۳*/7,di-:Yr3,&~;]X9 wG@̛7CeNHZL.m !ܱ?\K-#a= ~7>#M3=#Ju7ORƚJ\z:-rܴ jFI +_uJN~V4Z˸ !Q<-W`3U&.گYG9ZP5+϶jh?Rgv6>m(~: ]?.CZ:FB 5i_l~׈Ql;5,'[[GQyԽ/Jg eޙ;yl"r%RϠ:eYE'I,NgSP5:do*xӷA'/(&g~Qˑؾ,>.LlDիnRє}|o.jb~-Ce⩩>J?-5`,HDYvsDesrҶHWt"|1ZUE_ ="F!WxR(e&Ic~#cr/aDQR.0^& /i$$pI/~j9&%w3ӫvdDlX}Q矆s8F7 U62r5İFJwmTE"Ok`+$ {ZGk/ѧڕ R\ꝁŵ1D7yF~[| CENFag8"C+:HyyTgy' $M7mg`2"̇cA4[ × 5e@Dl0@F2F /ưyO?yEY- ۑP? 4~X[ ?+ sv)ZdToPnBmA$ lsK2H @t#["@@ q82́JHq2̹\/7@ ;F e?w#mBkih)ё&&W&}HJsI'#^~@\Ԧ=DD&`E.Q3KD_`^2Bh:P^ @bj%D\d;Gxіg1 @ۗ<Ǩ}`V/*GsXcTҩѷ]H;3aV*H>JKQ:/gXkP:W0ޔH lՊKDAr3z3݀gA "/Ys*0vh1yecj2Q,Ar]g۪EBv>iŸb"D?@Ş]~FSS]32t7JeElc(eAأn:Acqg *ng{vkK\A P{e2{(y17g]adRqpMuR 3/%uwB`@{DDc'颓tc&A0,mH.o7ziٺ]G6K~j)y_T'l(Gn,/]W7l`3VdL]])EI@U2 ʘxhL1w T{\oJI?7*Ի@>o밬R p1AT tÐ]6mp-M@B k { &z ^+wUo~t'prHY97:c3{8@'pVƴcpNzOUt [=xQZpivQ9̾%JS GT;3X5/Pp4-Tw.t:&'h7#RΏ6Y KPiMdc됐g0X`_ws֏ma:1nϿQK/(``U S>,?I> gc2^vva15" 8cH=2jG (Ͳ_*>T?L];}7_0N{ZwG G<W)C|rETuR${EirqzY]n5&2 S#u[O, f"Xa*N}{G/@Nud]p^Z'9ǯJɆ*%V0ժ]QL&فp{F>wnM谹LISΣʅ^4.7S⊔ntAUp!uu:fUhRt@p7Ewlʢ7*NPzT&jJ2&Xs0̵Jqo`pƐR@5)Okg6|B"gcpuabdbH1caDps#_ c{0[rЭVQҷa_̹RSa+,& g4kV36{ <졀y=oW 4;10chd7$_/Ri5ňjee[8/4މ r߱4R/@V@o;x+$fO؏nj!VüsςPS]VV Ͷ`"5Isj,i;!nnu=ۻ6M{D0tlM+N%0Lѻ6Ȩd{aoS9W,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+Vb7F֘ 4LTea0_ypLuɮPoXV\FÈq)nM77?mM>92fŘg~$0(> m>`"i ,vΪ$J_wZ8^Tě57xS(g\)SĠ>s7i*c9.:sSkbgFCvYʥ%u­z6q!pḘqP)m>$o.Z\;RoYe1C* `@^ oz+σ# 4 BQ/`a$El [:b)M"c(!̈KA5&DypM<2FK2e)<`!PУ#6h<*LB;IW@=xݳuO(xXgGɖe\kG}e0+H|)jVĨۦ#m7/)Sʠb#j-*@kٶ}yAN\҈c_+Fp*n!Tk#E]ujdi+v+qNt5 {ֈlf)4@D('oI_v3,ݢb~UdA=!NUf4tt fޙ!F'Ȳ) 7 ^]}ʈr{Q:R*HJ"-/̔L+P _Z[r\x8U~gM"CIZxH$P@ p58RՑ),>ZaawE iVUӳhqD2&LK@hC'(q^*,b|Z͚,*!k,eO7EE7 z NDoHnL w}Y$en\z ~en=4C1Oo ٟpud":8^ c ;0Abqk_2 Fb\̝]ii&~l9nx8k9RSM+Хjb ~86TO7s+fD6_ Zrܪu_po@Ȥ:<ޙ8}zF),)i )uě+Dyڷ! K8f|==hs 7#sdN=xp+>:IfRQs(7bs2\ . 㵎jj3K'%!A:C=|v\9e¼\KUAY#/*S !l-Er4cM" cz%`@KLT{JZ eEu1xθOJH%!<8h1 p1w~z w3z3p  36d\A?iIokXaj>{¤"YS$oQ1Yݔ nY$C$CuD/!ck6We9đ*+A,e5FW\X5ma`LJKM _h/F |~΁(dҍ?;@Y[N(ʇ e1K3M,.ow8x%jSzH0hݯ/փTf,"@ n Mý`?/)ݠj z҃@ɁOpz'GvXpt`;lS8(c v9+goAwQtgV&ʮ]Ȱ:FþI)“!2H !d O[u g(dsQ 3H 2K̒[+ 4A 5HQ_%׮T3R^ k9j<@*_*ɸV7;bbN]7!c u8WX"Gad Gk=1ndÍCHB5j.+wy.5+؅>ئ,ر[HZ_-=PG$l Ī& -./k*pJyFoCQ6Ա'RT OUK^-];Ri~uawd gp<+Cv,MBw;&0_Wt/JѲ9-f'`n*QiqWmi%W?Z38ք`|NJQ }h7%u-3])*,f gҍ8e2`t{+`ṳ,_f*cpv>}1\ D!h='%!Mzdas!hn(sW PXa6xdy.I.H,q®+ )6d#C[)8TTS\3y@YQ<~-rA ?w[wܼK{Ȃ#>J|:\B+e~܃6]dT)b䌧Zg˧ƐF*vK1p[ ,/]ҀAdtp-R"x-HmKBz!k.TnS2v20Ïs;K>:9w 1NqC6>q#]ZͿ!b:/&5c[PW4|UO=x,ձXCw.JҦiOј`^D^DJf͠/]A O:]KNw j9+ iQX hɞ$ xyCDvЖ#ց. P?JOhcQ{ ShE!rI"[`J(6ucתRŘs-jG3E$cM?_`#ʹk5 z Gkz 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+<&Bc뻊yL;;RތJoƕ +qR3n3?7uv*Cq]S3e0`իsuWwl^vqdʙnCϝwWmq#r"}NM_mUuM n?Sf:^3O-O[d)뭭kCE(Unjyq,/zAP搉DZfɚ0 PAP[}Ϙ~Ł߇M+IRRP4ch`Fi!i,P Abxb a 1V_{{+$R|_I&R'*]0p)saG(?BA4|r#[HƲQV H}~.o/W/U.gt.ٷ۫ZCgW]?ķt7K` X5K% .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 =; `gT[AaM[JC)%IښnBa45/ʉĪ' kU$yGN䚃w2(B$L(8[ډNq>uAJWdc 5{0.}Tpr4Iqebir/Uʶϥ61O "s)ƞzq.rիyꔺ5ujϵܗR]\Jjc̸r1cCN`1   11F"5#Dor|?#}BS,;>8K.s:^"vIYfگAel~I1WTv.a:՛gY3枒|sٌ^6R(PTgܵoP`j;6u DZÚ J>ME$L3A0)ڍ)(59,h?$!m^wi`g5u};??7j+n*?JS72w \5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal d5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Jc(D}`^Z5`wܻ]̔ *΍yj{c%ō{\4/rL\Lld;l΋֍0aH*N6Y2888@J@ 4@8QjpYjt2;qVǍM˙WbQ)ߺ|Id/_n&_׻BY+ZVU@L'YTsAOTwD5F쪘UbS Uʊ?i|!<# y4;H?_\toۙ  AMa,Y 'W)=~ ; /jg%6u݂icyWb{mUS1Q_6AMyԆI(qL珣qy ZRER0M4%07[ ^ X  "PCFDƑ0EA`LrJ$2&, "0 8  AGrVZM ( ,iT hwnNh"!(C; ׈\5z2%_0W{/L\;]WZ sm#as>Jx2:Si9|}Wqgegv:ֿm^sGltaY 2Qg6Yo V}~nmmDRJ:QW7^3Q.R/]O 2`W{C`~k{ '|c˘hH{@jx doXFpjߊSHHb]XrDuJGB]REVn#2dM'96Qnr/քMBkv) 4;('P5 dS+\ض!4_6tIPN {IFSVB´M KarEl }!3uZn*b#pHcToe|۾#~ܸCɠÖwG*3`H tt}˄!ez{Dd0G&.g*&3&&JJi4xd- N׋ I'3Y.O K/v L\tPNΏwռp^N״PseT Yy.1L`(h\et]*qWXAw 7sXhX)n< ;7{8~չ^$,$bs׹1'fw !(׎JAc'#8([Ϲ08+3LPHBD,4e6ժنOS4PFGgR:,_hPN%{W;>72+vb<$#ۮ!.Si`m+Mɕ~blE:g~{8tq3V̝; F_l/bV~6"k(6}wD? Wš ~Z.yW,h|)pd}JpHNcd#y7&aP֥tM6;0E¥ Ý >w)*. ՍEQ~$:ɑ/Cfp9z.c|F=Tgp7 ;,ʢ85_Lc54@Ge"}vb W#R0:EO2-ۑdص_U-oߪ 1}Sʃن:ު GHbg`k ) 2W @L }]iHa`@5mPRK>Y^]mgLokQ, (_e&k0 e 3p4ec&@c}fvd.V d#ᤁc9Ɲ萙Lm*VnX1/G©d?Iϟ'QX,y"[59$mzV<5T&d|IO_F+1zjӘȴ*-Ug#%Y! o! b!k7aGTcz茱4)_0;&C*:al!zu~Mpc_}Q.|nZv}bMq4H,GlhY@IbɻQJJIXr b)iw&sH9ҥ'[kS/y;Ɉ. B  scW**6ndVH @ (Vg,2Ss Tm@@Mfxm ;jj6V>Zjưa0 2752m7x!{l")&ՈsbxK$/ !yu[Zj r+m%o"q4Rlld m(I޳] fb^Q7JŞٺ`wa:7J*kf>B7 uV2ֆ!7 pO79U ^&0n_ʽwS&b zP% 'ybSCvr f~qQ^R]lͭ Oxj`:Pk)"\iTzB9:dzlCL*vC9ܛuDn# }`LR´vufbMveXyg7eY D,<%I.OB{;aA&εTZnw 0qM]%H8UKޔ!]q>VByE`$:$JKh ?zxߝaᐯJhju8-sksrrd2ӬCTh({od{t:e.ٜi\e2d0-,}5>i2Di5IB1[&(nυHZWP=:cwk)g&R!ɐ|Hi>-m]&EVΙ927N~lOT7ᤑ2)XRk7))%)N)=O`]Ɠ&ӦY6Z!a_r=aՎwSG|䖑CEyFJ?wXGD؅h ]+ -g9k&aEID 6 JD b>,MX ,ƬM7s6;.ý&Y|iےM@MUځ{";R'J@P[)+?[%P}[bt9r016Y$2YO IeӉVaW #{aL?)1$H^4$mCjr%g ڹ7Fr ~|vM&CeAQbxۗTy O9.(wlAcMd6}p%V}e\|b8;B:I{MQ14 #8}Ps} K\9ewD ӎ8BBHu+pB́O1SG;N>V=aL,^B;5L plpﶆBGz_]94oX ={h(Q0pk$ F߃gܯaAzj):6488=bO Yp]o+H hh,.4L ̈́dk2r2DHa*P#k%R5|K&}$yZ%P~Hs"d­QѦ\@wv*{+:Oށ-eTкv?`ĒMR }t| 6cAtJme6lj>$@Ve&сs7Af4|Pm&!BI= n$ۋi+`"&H6o!ބ&ҩ ]~q3xpuPq63+Yj01ݦ281KČMۢ#;xR[9{.^!%nS;+pa|4'rK!Ǝ7SE"_$N| IgsJWJe{ywXꆻi0I`do/M)|b>_; s)S0dSVgnKİm]r0y0v|<|qo2:`$Go--) 1aܷ)Lyg~-< ų..]bݐsqdZ?o,!HǖF G}/D 6sy tE!a#ʂL<7hn o\ݝFQeY%B5aY+iх.a0:8pަ~a圆wSBWL?.̌)wtfֵ?e/'b7FTw?.^J4/ڍl6@33LyԬ.9Vw-qʴ`Q4n%rm=RߔaT7 Lb9R$=c7RHɂqIejfh{`l lυRБt>RBY-?_PDLX֏Q7 O$kLy[C:Z'O eo,ؼ48 LaѨAtj70ԙOޘ.{p e,8l EmKS/^{ݗ8ͮj!焲t`@cu5ap&2^s|: S0a 9uW&7~a/T׼֍TlLh'CXxK%.Քac{dN"*_*ʅ&.MvKRrT|L=/W3NЊ!Zd dތwWík&$-|ő[LSjbiH&3+`i:N@Z"sҫbey%zf;^)ѩ}umP.$Z}.sK&b³Pޛl?hqyކ>T?05Tze4tKjP<J`Y`QG}["tvrOPPae aAѿԆӱgQ[3юZHcF f5BMxObٕz|A=EgNl$4>e`4dU?I;~@ q=:|! f_~@-óoD+1N\]UW4"*A& GK&j >b5 p/,jtaEU?/٦U2=ܢ%wgkrfE`c2$C{cT'j<\r[[t`+TEZ6h2ύK f6TBn!.Fw(W*-UO~&$޼24[N+!zԏ!;dH( 92^=hđF1ĊAyV8(3c#ӌ2P}&WcI.p #`"L|d"|zȾ 1 '9l"{4\s_5nDӬӻX6%z5fR M`;Y ՠJ.HidJ&njXe6g՚9]"ez64KCEΐY ;]w-ps95 6'sEY| CCII (2k&;~Qj~6/RxO*7:͠? JD;l5Jl!imӜ= 2#фy=m' &< :G[t? K5Ljh./Yl]L=t 2ɰ MZ)Ӊԝ@_Zض޾XմwY$~ =$SN}p{K7EuIb[hmXAR4gnLqU4.F|iƿvV6|2"Bwb TkӺR߭=_lX;FupE(Z[.;#L?C9S~W,WGHdA}U څN?ڨ(of>^~+V{N`~K\Hgw"^+㴇9P.!Yy mcs.6iəQ%` ~% P MI F[jnfP^[\ eCҤMSF}7h;;l|ARc|aѵƲ̒1]3Ӧ+N7BE?S=SVYҢؒz>*p+`]34 ̜= s2n~Myb|hˋMˋASEJn8co۶=l{EݶE۶-ZhEDH$I$K[!] ۶m۶Ih4̼i51ۭIn4k!7!Dۋ?x1۶m۶mn۶m۶mۋ\O9$Iy۶m۶MF.IT_ɭ?~ %x@ A (8ZtIng)BnZq͇ rƍ7n(Q$IF1o]ަ1333333333gϞ=={lӶm۶""""""""""$IH)r۶mۊmȨē}:0Y8D\dL@$$$D`<@B)?&Nk!L|*hY5iqThb>?.=1"Z52QWl X+ĶwMׇM!,Be&ja.g,G5.Zh ^Ük./b$۰R5P UVJ0TUQpuDvs)!͞ B)%vC'N ; _'Sj,U2AwR.>څ@]0זQk>eC\ 6R𡋁isvX3inrzaOn )uDa״ΰf Ot` ARjeWSNa^oLzU0L҇7p5p$zzIntٴP`9D b߁N8Qitiʴ1droI[gj%V3L9_a DY52)y ='^Y (M1PN_CKz.pɋTs#yu-^pěڳ7:UƮs VwEڳwA78Pj$.'tV5OìefgkU]~d/V Tܣl@≽DXﯶ2ƣ >Opb,Gߐ8F?yGhO(*0Im~i6^Ƚ媩^|b"]&P_ռ|Y5&.VgcSWe\)H64/]%тv:bUon*: "fjj-;:w6>Ϊ|[|t8sZ_%ER{|5ZC ;Q):]MEz$:K'Y4^mGyLt?KII]fhɠtF<@8 e$A9lZ2%v]X*2~ '!'q͸= >]]R]@8D߀N$*j[ȊIa-'p\KdqVur&)lBCm=T34:$AU$ CV,H| 5ųؠZmkܿߢDKAׅ;^tBg d LO *J0@inrVC>.Q>ڔg&S,M z]b v^43ܱV0f:4|| n0M/]*C˕†L%'M4=/}xTچ =õdƣhq×%[:8 f՞ )jBQpT(a{ѥ3B%!V-?T422Jf&A% o`lVL2jn_+s/qڱxnϴ'0h.uͭm[R]F7df Y5Q=d?VK=Ckr ^aPG[oڴ²sgr2[ 0}SIH*j\ZCSQx˟fNʫ& tiҸqJr9q|3e6bpPRb>>nN1ddk5CRsҗU Uy5յLOA"SE6s\^jku6h]%jyu+]# ]uY%DՀuom ;{e .b'-ucߺ['׵5׍^oɹ{o׍bo)k׍knngp_Hrb]=n]Ѯv oMZ;p=[%B;ǮcwJ\fKvݐ]"Yvg,cvܙiBhJg7ٝx݈,vSA3Z.FH39Xz7O,?ZHSVonWP[څbMįܾ w M!^=i~!=5nu ovU`k w Dθtܝ, -."aMeUնAO囐|T07@wT5!һ9Ȩ"4{7E/EqTR&. ᆥr Aɿ݀ hUmK&b/ݭc !:tMrœ-a)8: ma|ْdRslBgxyI*aPLa9uu Ipoq"6P΄L` ej kz 6 ٛ@LJzYX)o隚bW!T.#S=a3oVht<_W;6HXx*^[7+ayA&Ew9EL}"5q 7*] Mg n6 @ Q͢=&vE KEtS vkٱj W+D5Z!n3 |+WOJX?4 +(savn\/}P(AX^l%FwITj4V䚓*z@Y;̊"VY? a{s4Vgh L>JuR{@aL(? 蹒=v{qҕ Wn$jKp%ZJ[ 1xM[/w4aׇS/hϘ K+HZHZr҂R)郸%3`^AI^~vϯӳ.208fQK^k)- 0L#R'Ь">lҡ'UBP]zu:V혔6U}.hHV-_ W/oUjہ[Vm+ÜQKZ{~PaQ jySz[M)VNuQU[?áSznU̿Ӣk## ȮOOaxKj`7 wXtڄ/ :P`&p>JvCT* ᤚTkePCvÕGBPfΌ[9Ǡf8GO ߵ|'KJcC)er_ U6ᵓX3dS32.C0WZWW(byl ʌta 46,DP"LurhgH>${AXjB&*]mQeع(%[C,r^ VMsBq]CQs7B3Ǎ&!YGm60Ο ,LLJ^pX5Q U#̄g7tQS6jYDَVBW$cI$ٮR#_)2GYwxa_h/7w=;NKve@v K=4,8yׂ -/ЖqEuO.0$s(gTO^}J$A.Pb ̤y QI(Is/:+,etE}<ՠ"{9j sJ9,3ãA)<x뾤2!U.>  P+VkY7g$jZ/G>Lvicl6bZd3T;TvJlOO.</a:N&q9p9Vy{Zl<VsMvl9 ʜ$[vKwQCGӯ/c-@pWwz)O4K95!+JoOhq23*-O=\"R/w(i >j|L ZVV'k+M\Z4qZC͎P\<#{.|:7$WByғHGkz,B~95üS>礥] 9_^|+48":Gûkp(IkO;`GsbQ1!|w4NG<O]Wo{hz]>9hA|e,-a0t+k@DuR4UMծx&Ƴxܮt!˭VY(0x!WN|l㥖.5j|rϺa^39 M鸅> !a$}f0R+ ]aZb3Zج?N׍=vU*)3mT_ ٌr/gcl {Ľ6STh۵y2Zed8^D]V͙E^"8i"/~q=J{$ SlscZ=h[#zTj)lfWU"E.-'ߧx*FZ=a-t: 73If[xua5@Q|uؐQEO-72&<y+x,[,$U[ݖ Ȱm_7"V83m?yc)Ą5z6\Id5ڃO{IQ3]7*3JTžBj+jQ'\V WyP9ua\ͽcDh_mcN96s0(12+c@*pzAz@l4>}L[(/ibtutH"Jw_b)#AIw0슱$/id#eHj9K|.n@>2a=/A-Ţ2#$++D¬rf(&uB6,XVJZ: А4RY/ Z'^o˰,̺g4%㧕! aY\x?F㱊!HY?<*K_W a)xU٩~ jaV#~L&3|݀+gBLhҤE,u~CN#/T`FL)c1ePxq2ژr~/ڴ9UU}}PS\ dz `!A*bܶ5wCP UcUaF hffz;#ϷYtezqor M3;5a ]ںBҟ5AsvlYWUx9T^}}~'Y ,6Ba"+BATI xd[!1?7_g͌5G/źY 1HRAa@Yh8K.ю=EĘ/4'ф Q3p ܀$fc=ء;=7}p_7\0Rd [VB 37Rd]Uin(Xk4Ss&iNVdkx[;4Ym.1fR\ 3PKPTGȕ=|Rom 4fJ^R/qʨ\#<&yMAgJ }k>|s~st++ol#Jlv )8Vs֐𷗀IdS[%=q-UЂ .bQ{RM-lpLtmg/O['$iDy,yc'|?ڀjXcd3yQ=706n͂KR jmb=4(NiCa.:*cJu͞^VJDR{(G' hp8 &=.c`8&&Lknl * Zұ"BC(XUqP7@ kGL!)PR ]S,Tl UP1yЌp¡%S4Rqe99KZ7ruEOSiT+ܞIbzSHMg/kV0AQϔiV6etC2aDAOέ+,YR7Vz R3 rc]\b3_D*u- M٪JhsLܯ2)j 7 $laX΄ܨ(|r/>V6z،2iṟ.cPY(@o&"G|D 9m% $,v!]@9-\t ;5-:cP^fDtaſb|DOSE]VG0 qSpXD BGAa>r댽D#k`w @Z.T`zRHm"&)='6g.%VHXĿo:z^=rx*0JuOR Nz:YlGRL̻nSo95K6#P$ Z$D\wBOPOYp'+%Sn"xk^:+:G͔d76pDGCJ?@&,<S۳}E4?2_ 31-/ޕU]|/a&vK?rxoM镫?!_WTd݉uoPrS8"ĄZEJ:'hhݭw؉M84@4 y: I>x8d੪r'uu}h/ NdY(EEV,<}c[jNpo-Ќm[l 7X:OnZcŏ=!]*j\ @7tp86su$- \& eFI0o &=T'6jX=Kr7V6yRwb*Yv"܈@LIɺ/ AjW(Vu'p)'4p4`鮑G8B*B,u\Kl$,6XYfNѧwP2CD3X(. y]+pCSr\DuDu`32H5p[$YX|;LTDukIx?"-q5X5:&T&7K<[&OUWϑf=ң@q,)Sr p3Fھ&׬$*7|[h@h> dP*} Yn.9i7ތ-2uNĢwA܅Ƙ4Ǖ52xsMARJ7/DfӛdkJF1tsQL%Џ5oihw1LE~V70^EsFcgmCm-ٴs, m 4zꉐkw`;&3_}c;{p\\3U @n p] dl#'T @ȝv?v@H/y`܇66fWɗHCō YAfJlloޙTpSNPĜ Oq3cb;|Y פ~O2 =vW\<$9R^Ḥa2W{dpJdW^6XS+$tWfboO1M€O`v[!$R t lC$x6'K@SX^UMfڔ|IiߜIT, JtRj!~oHՏ"Fn Rk:Wv >gh} p Ȗ-?9-Q] ml Oubyc^0dqE䙽DSH,M2ou0[eVp%b&0h4/M`5Ъlq ץzͥcR} ڄH2tȊVR%C@&6XD&Ec,[M2F譾Un/ǜt*HAq( ȊBaV^FO Ĺz;Nr&[Q<~W)Oj<_onX[EV Áx[ Cpp.~\s;E!2'u̫o go8ϕ7,7D VffAȲ,$Fݬ%h}$nVyb 㱏܍eR%*57i@*$jK,y3o+{25Ӳf 9^LU)$:Iv6kJTjF%d "v5ĺo/fB4b_v/?/QoJhL҉˘gR *V: lYA>%mP\xЫʛe"(Ԯ~ګRπ'ZTtB~l㾝wQZYNk@s=!ISWyZׄ/D/23؍UCSSL bUF.?y۝;H5%$2A,`23,1eUpc2ϧ87uU|ZW5.8&F%j'qg1 (a1qHoއv2Em<_ygMGtB,^;n 'nվ,LڶR4f QUǐ=pZ[)t@P~1`@SKNWיyNSGRL8Vin̵E#ĬܣIe'H8s!mO^Ѿŭ *e)X uh%ߠK^"ؤ]PHl:GH[Egficxv pzyH A8dIQ6҃OgY  ێ% ?^v:!XH܇ж `D,D쎩%G]gbK7llv fbMߨ@5V1)9X]܁l+aܔj8 1tCS!DSԕ\ I̟f"f"ڹC:)H86Fgr2& 8,;}Ďr{Nv֐8R]M ,KفΏTJHSا)"4Z6i3ij!c㦴n! +FtBYը0Ze d#~Q}#F)DAJdC67EŚ9m_S4̈e[fj s 8)P;[C`FALRHJGb&چGMY4f;6m aT  /?*+b -wY~E xw07_uʾM=҆81*vA13Y0Z}ȚR6B4١lEnx8)\ޱ͵3Mu CdM.{]27j0sĢi5 XRqDGLݱ̡rLuQXR$a_lqd踷AaRj a%4E 64SH_~6kLjK֛7w  l1a` y2a6nlX=Ȩ~p{ofКϾZAK&勄 : O qu`Pp|/;+֩]O!t 7nw޴+9rwp?X~Hc23e#D.h?璱1%lH^jZ9*9@`vT~]gVݮ<ª2];1? TfH&WZsƠ1 2$iͯog7K*C{H$Wn";q!} a֯@l))ـkWGDE]/K/{v]BakrF|;p+SPs/"lO1E44-fMOx"!2^ \W!$@R ОF~}rY TޚlbPXZrP6eO. u|7z1wւ2dk_Z3XSږgX @U``X5TVT&5t"-l(: 1~ 56A؜mǟfe17EY+(^&wxhT UtUHUii4rE5*,[=TV;5T܌#ܧ@T Qsh93HLbC?]-5_ Zcuppm۲,kJJh ƴF iSFz ݢe  &YeDžx.F#,~qE`J_Lk t+H FBFy5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5R`5z덜{Yv*n(WD˻)QRBI2|cG>\7]8PBCo+Ed !gOK)]S_fR92-"F" õl9dDJ`,N 5K# :HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/) k$jkۣ9>jdń!Ȝ\i[r&|Vf 䁥iʘ! r(Q%5('t%ieӟԴ#5&5H8< ]t!<r(=P4PC@NQxج J倏/P_X E8|{f~&1Mjv H, 4 Ljy9C 8A\(o L$HINq |1rA&9 _p NJj(@A,  P`4"X䐐(˃! I (IX-%%p'9ҐpHGQ0H)R($a0,H$DxGI }{iZ7Rc*UW6k2>6W;__a VP\—TP\ [Lj@!01PqS% r%cC5$ړs8 G$ARP4quHsHIg&1p!T 2:1AZeIΓ!یd>0w?X$yDqPbA? 0f)lX)$q;ffffvwgwwvwwgvgvgfeofffffffffffeXk]iYiww)7wvKKKVkjmn.efVVFF>ظ{{yy{wuussoom[ۮfeVUFE==^ԴKK9977[S33//4JF]VLDݯfXXnfELF;oVWʌLw3.>Gne]UTD9UYUZZZU٪ٙٙfww|wwwwwnfU}&#ȼ˪y;PAʼd<x'?>x7?~_v3nfW3^jW]jfjW3]jW35SLLjfjfjf˨u֎4AEQU> &, " (D Qg|6{ЩFIįϲ-/EąWi(\xmUej.w'~٪ 5hK#]PպH,-^'[TwaIοotQ|]c2R8`Hff= OYvͷȫ^t~ܴE}v05@XB^JM~͠!~;/SahFBǷmYc6+8I풥>,8ų^Ev\f0yi&U$&`ﴬgMJ}ت< qOln]bHq>}ή~9aWsP(j|d\pcgR2 2 `G[prfUFT}8 MԻV[8*S  $3xrHq ܅ޜGbhW\EpI,?.p7U_@8aUi6wk+kFkܽD8lGȜc5\7'|ɗ&'%m3PQpб pD&=Mm_8 fډ|k U߼8r}sK ino?P@ܕyF _@j :zϐ2 ~F / '*nl/ 3yg8\˜ix~~]@ 3WwS `^/ z94 \ 2U\@j3z' ]@* cqWiFA㖧t͗A< 꾹b(:k@Z&sYPwi r6΋_@Y@-$yQ~ (@5/|ZC:#D!aI;@늧x5#>%LB @9/@]o>Q! P24̈Bc?ꍡӯn?p5{#i{bǠٳžLJ©dܟeco?8.SRTHμHy??‰IkXo.G_{I)"0C4i?E۳~drGd5vg?b?߽ӝbk1 針xwtvSqlw~C7ߞ*?qvE~0,bOs.~?Z)FilQӼϖf0XCq>{>KvJa>>0ܧ2cR[~KvQ~C mWaO`$SY*nrIډG7MlQ.3F|`qC܉uggtmƦ_&޸mXv|3nj-.yڻ:݇,GMۍ,[iv|![l49dFEZ`~=X=DSp[DwZ\äK,Më%sY9UpY9<>{t>$>69u} d)b- L@?p.'mIZs,W&Ύx;)4!g\[\+|,  `{WIqd?NKaN]Xk2Ej`(+y;q@z1n)=g;pĖ!1@ p4t,#t46Ɠ5.:& ? Mr eS(.hο*&U: PQF: iU14vPBa 8܎֌}O_k9 1T'In%FM M H?ck//؂2lAor0QSҁStNHᝎ8qDDm%1_ 7^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal 3 5K/ XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/(}D'DD컷R"JfF9F9d"&ja80vkC%pTκؽ{c5D iHoHh9$GES^HJ iEpe1xTt^7{76j7^[;wA LK҇#mm!ߡ鈞wͳd(!M΂Hb_^A) HYY_=$ pl#wEE S9K_B^Bs2+JsFK HEfqx1~Ƥƛl|J7]7ʹL\{[~fU7oG5V3ɘGƞIAvWn]#"*G}mȆA7]bqvi׏gݏ .IzMR"#([[5 D AAĄKL !tb D(@ցAYOE޲QL/2$w jj,aˏx跊 _ٽOub-g7+<=5%!{l>uyG׸xj{mU̙9%xxIZhwH#:K|gޜvˮ|(&m80{dDK7lddBccI|ߕ{~}=sD?WwUUOdFy W04`Q4 p\^1"¿{Rϝۻ]Ж9m]QKwtݵNkNLƶF[զiG-BӅ+rc* "$0ڸ3\yUs;TJmo3}l^onm]۴U|W;dXe @CG, Lc '  BPhR8$ (tW8a6|("o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#ĭӇ{er|~>EKg?:Ɉ0~v C+H5 t(pvfQŢ'}j1nt`PV$SۑSu-P 9Afڼ<i9X~N`u/9vdSӝc;O:B@ٔ0ygC6`R]4Z>#o.=MυrE_\]>`8fqF= /}?o 7H<_;84▐"5c(U`& ?nv `>"r/hS cH(Ek +>Zq)(~+?X:q%_Qr t3`9^1S*S+D :"B2܃UʇFMw;oO#0rRQT;F Oưվͦu^FucKflhEGSIoyYوҙi8u֠,c:mY| `$*g H}5K=FPd?j4+^ypJ),#o&#{>,u܍-ΣߊܔØ/h})E. ZWe&#nXQh33GGx~ 2IB1>o՘|@)Y \2)Sʒ¶L+ :ja#KM+4fɩ^2P-SRɛ_'42Zj+]/lHc\B?.G䘆0Ks -XUD־|ؽ!64Eڋ_c6xࢁE¸C% ;b})0U歷֑%~ CbY u0 61ΐsN],Kd w"LFTVv RU%) qK6YEFf@V|=q@"MxR}Jr`qQD]ESWЁ< .0[[r`Cf]}4*(.)Nhy  m`eY1e9V"kl+MLy lpw-X,c巃QMs5#'bhx6O%kS?*7a,x!6[gvmClm- PWA#p7di9k[ W~U\qZH-P2f.ғ TE79u5liù$N:myhp&W=rkj8LW(PoZ:?)`Go2O*MȆʴ>ӄ&oL*1h6tAZ2EL9ʶ-ǧC#hէNɎrC}aܑ9i7rXyߴFR1Q%9CGI [P &3Ǩ($3&:ϳф貼+wV8;!+Eue&hB^ـ3|jQKCiL mKKT>k-Gz|.덷[gK &]V ?M%ODzh:*Ii~$8?ױr4^0~ +bhLP*Qv5ūeIA"Ks(qJjf<%Zq^ʰ~iB+HABAB\~Y*5q0 71u :tjSvs :}`"`WYkYeL+dhv*߶r)Eko=Ek 혔Y@›dp; 0@rCE# ,m[ĉF>; DDv@*Ӈy58&g62^&,Bjωg( _(Ͱj|LRVYNG@e CXf cMH c^%_yXlGuҨg5NwGӎNxv '#5xR19w'b}`/l>b7;<*׌/ viF-^X s-%6&o&{Bf1w<\C\eӅ٧LM=)Ec9쭎RbȚwjɓܽǫc Re H b FnQ(_Xھ[Bt3U,!-P2 $cHݫ{ʖ _ mkb8'/s{(J(+NǣT|z9OE8E'[ x:cs'>Gk sVª!ºe)nu]WI:ԙd xmUg(~ʰ4S/+[J2wt q,R E;lXwy]y]VoJvx~iwt,(E4 v{I O d|Z t,SR<@LI\.'- #V,t(~h5* ehuW-=OC-0ߓ =+WB/ UZfST(7B0&Wj aB X%o|, B\5x #;a. -Hfr!2-Z7IK)|6i0Jg1)!:hv%rvR-j0^lOoUNqUSF/!4~z-euIAtݞ2W+䰛mM]{FDlFW0juT@>-54Twc.}76"FSPayjY@@mԌR ]%XIWQQHio@LJh}*;ҐO>WE?`/kۺ#jId~9s}d<qr梧*ଅ0mS)\@#DP]ѐz(v`p*xTAj2rS(IBגbxJGcS_J$& R'jjy Pfh 'FȐ$>|}g v _$>c^b>;NW!"w-N1LP6&I(GmJtƢ\ܕqCǸss ո dj|b#3ƶs떔 2VcZwϼٟZ<nb?GLe[z{c Yfghk0wF|3gl2KeHhjIm~Z3v EX Q}R 3R:?| `ꄃc]e G2>I{Ase vYxKjwmvjݶw܂ĦD;-pX"2"cA =l?wQޑHOƒGR_w2Ŷ b̄`C)Ghu\Fo/1o5ƀct˝l7Ḽ=VmrX M/ZN+,d av`hxy2#93$ Z; d@i] !cG 2TAzVxQVbْt,P@0낗_C1woGy  vYaiR i3xs;?'z%K0^IꠖCV6%Y 'iQ^(əK2evSb`lO!)ɖ0v2(W!T _JGěg"6#^~C1WP -phBFuոPة{_F]"@ɛhm, e;qQJT84( yb]P+ >xb1hg&1KqY`Wo-aIݶ0Fe0Kx< 5.@6aFt3to!(-;=xItHZk"U0/nLj8Mlˑ7 v,T)BC݁KPڪͥ8浃-& ?Bz&P;7 "ɜ='MvXڂ [+SW3h~o)쏴% 7%lMNҡS,cTq62c%wCzO:6k:R[t [?9d|@^Ẃ A:#8B_+t=#;(լ@!s\kiPzM Uk3yCE M7[&fv{<$1QCM$MNϦ?Vrr`dҬ"bG]6yo_}>(ꢐ;NM=}S,9༩Iuޏ ( -ILA֨B%XLJ؏K],̶MX=̫8fa5ǧal$tŽP O8 "R#@ *5G-#b(! 4 &)Wb@38 g0ȍ5"x12_BN͏rLcDDwo(h3P mF8#j"=+ㅎKo0ܩ-e/ЩY֒[ Or/~q,cHΩfC$\) 1/A?G+(YIS𛸃sn:ljCNN vC9AϷ<53 tF`{䗠V)a"^B$n,,TfVXMqP%O (bS.QcBcʽi()ϪCi:JBQG̵SY"@~]54&!)V5qks8Ml)@9;jɠK^_hM\ -Mc)i&L5[ͤ죹ŸJl3ZhAy[T2F~qk0:BKLJTx>[`wO]0#r#4iԮ3$G!dkA⍅IZmHm34HSBP* kFQth\MwrjQQ^J_}X{"yڶ|m|ʋ #ZҊ c[l}LKL\z׻gʬyaRQ2IkC`Nl KyOa`yR:Wȏu腝qR]ŋkFhF]|`iqw`.}ϣ*:* y4Yթ ٗ)BH_H]P|WF몍:*ÒBr툏36&gd% z\_+ =NjdWv`9 @oL9[6l5\V_kR ^NmRX6?SJCp,\R7}_iՋN)`k\Ϡrо'W7eIO5}fAS~^C>Mr[l>tK:ݦr{ˡ^]RWzIuVnFӆOqX6Km8;h8nd8;H])? `#=W뼩8+ۻ'rIYL TMwj{xN!U|BV؝-8_i<<KP`gP##oa(ŗ>b5ML2ϛ:M>Xw*74#ClhT&.=[U} \jj )%~E%[GӦx[{OUUz9K ȋOKmOg̎ unR6,?`DbYQȇ|g}G$g@#W)*pb) pfC7`zp頽 נvŦ6!KPè3ޠݠ) i~z{q(-"_ItpYt'9RI uۧK%+GQgs$Jo#'/cV@P%t2B!ኩ Sp֮p RΟ4 a|'F(SR9q6mC $.Qhw*q8adZ8g`u_93;{K 2soLyUx[v [ܩL*A32tKlKPx6}Xds&|O Qh\!aO>Id3wOjRIYugA]b@q.`ow$y ?sp/IK|ňVCO:j4*J8CLkٶI(4S) <9AtOU=6([ N>,IỤܾ^WkL`j?d<ÿ_bT⓸$!=ڍ}Xt{Qpqn !FhyOq)gs.PΡ{X6崃 rH0;ŸK[9DHwY68AVn\ ?NH1 gӄ[>!1&9^ 9{)D<8!`%C;WO1u'Ǘ[YUק M1TN\Da%l~ڍy3]HMM(jSo Sg޷FSV1.v6o6v=w<.dVSipկ]( NJ-P;nߟ5^R#,u>Do(26d^>ݸ8ԑ) ]?-%W!E3x7Ӆ4Rx7"t=W~2|;IհC reOq9:'貱[>.iV㵌J&^G@Ol<(i#:9aĵRՍWP/Df])y0z ?l+6$oa+g4;[žkY:kʊF8%azU*(A.+7XG j)v|-'v38~IL<#KB2wp vL}% ~K\[M]Nt†~QSt y`;H \GxGEc?)u dqtlE#xh vO^3i$Lx#EUAqPT.IDnK\j ﺒ#S1Cf|79qQmo$ O̤J0"L|r<;*qh*QfL}Bb^锦="Ȭ~|'T^=MFFf=[0@8#^هܻEpt,*Pn!{)AAd,spÉӎ7R yM&f:4nTd1X/<Fxups^Uρœ+;PS]l#:ulz s8*SSM@yRG|Dۺ Tu\gl(.MBl %S7V~) )G/f*|Td'gO9 <!k_ /1fڦ/{0O o tκ;QA#`73Q̺M ٮUl(#kǦ_=Ў6i׆i2EkVc)g#*,tOlUkij|#kLd)<ߟ)nN_jo: tb#󌕞0T}n`t=lt@A"ٔT%! puw}gG#۫sz+ _gP*i͌'wUo19.L!F@l̑G`ޢ T-@>1(7^hJX/6KOjq qȟA{bK *m07tڹb jB-aIH7 P\N.4ep$4Ռd[(y0͘rsԗ m&y@Bl7cbú$2=Rbl8Fc5^\kq&(F5(j=lUO|H'Bm'g!~;G}tvR&R_<1܈ Y1xB=D,2m:n %Yl.A)ō¬0EƯ8̳Ws%N}̧,[,3<7ߜ(05U ]!9bmɌ}, =F'6 )%>x(xUscC|8>c^.p=+ @JPUb.oP)8(TBq;(q7 ;ujoTM!QZƷRB&>[ Z"8 <%"4`-A&DmeXKM] Z 5O' ,HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j5H"0m@-UvFXKVPSfDDB A{37Tu$r7h1Ҧ"BH f]F|M6$ aaI 0⛍tZFEE&2N:)|R:K#Bȋ c<ƅ6q$GT|J.!m"suc:pQPc |Qu^QT1}VY`uF!Ds$8l"Z790UFf=-_s߫#淯RH!a s^߯mf쯝cx.+9oܧzEXS3}c%OQ,=Z3`1h!gFI-.0*%V%njϖ+T 5C|ݞJ đruV % )om! 5H'qdhZhA@( NΜDܿu_ޅ-q'~gk1 y//70P(=uP׷|љ1~]hx/sو?&R̝v㵼i.u bMH2j1 ez@` ( Aa!Bqc !.(5B[驃Bq: |\.EgtޒҖI,Jid(a΄\6HfYav>$mv3qi/V<,P 5p+#^)z#jbT}#Y,I& bk )Ppvd΄qhrgHk5ެ8G6ܷ!=[L׌l'gqY+a$ĒF`[҃~BLWH.y<@}{pIUԏS&2$I^n/*lƃϧ<)4"7N1oah9QV<%K? \q?GV:lμ9nwX*2;ʨH[;DJ(g*<ܹ*P砓w(X+US'4G<)y8 ؛2B,!Olz5%!r`( uXRBIFx=OH*U&L͔pt3cA 'EΑB4RR#iz\` 4ȃ.>oqy?A¸W T֑+(x3.>DoFop"\YYkLc99RxCػwO014H֬:"+(zh:P*30ٿ(K1DS@Az fjW/= Аe ~UnmFس4Z͒U+M聛@Nr@CVш{FC=a-ېe!dZYBgAyc cVEҵ >W8t QԊ֦HXٔ% iF{v`a{cǍF i䲅7._r .rc}_n20̏Jj IZF`ړ + oxJ:@'pT pqe4-?'Hx`vo-LY\s=j$I5 e ``EaaA !B!@c1FDF[akm5Cqiǫsf'dϰ ?G@j_͑$ř$G895˜ӟC$OWG2LjVLƴ#]pɸj((μBzG-b觑4/UWe6oװw hRR;iMyw$""U4&a*;sjVT&!t\Su.~ 2wi(ݾ`)0f՜FIkeIRgu Mr-(ںqE-0i lڮ`< 0h%Kl >D6PWegz/ѯVM8"OU+#ҥwT 1bdj%ak~PAK:}ʹӔxAmB)"PvzPI'I:uq L4 ! Ť!*`<P1[!AD_qMpCwT eaE\uJ̌ L8L. A%p [%;\7d{Wb7"zF:bk CP0)S˸:L)g[zĮDlr˽yI 5ю}r4F'U>k%B؛v.IqgxGRP ! FO634k_iSk91@ Z4w}d?OgTSj)ƦVR$iWd3wPEM]7%ysoI9Ц~#c+&̜؍2(i{n`dwg7TsPKಟ_џⲟ; mm9Z`YNnBwq >*_V<2:i:4С8`‘Kd5lղe4P#xq9LByv&tvxT \Ǯ 9X'p/y6xb]OAă=×,t& qɭ ciB@zZ3fₜN_@iD޹Ce>+}#:bcdE@);{ |U Q<.!3)+P$vƈwjJ'wM~|jPOyz?l-@8bBiO9?+Vf3ϑoJmhܮq:԰"{AsMZoyn#r6#1g:0VjVY*AXR{Gs IA!qHRE3 S8qy ӑWɔ9)\x(S$\n{&g$EY XR(n@#NUCOv1MK[R`RҒ; lRG{#Tyɋ!fЇG N*<8F,rE$f0-稢=lvSvK H\0N窨׮al BQ$LAm(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