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 ;5~dt !- UHOL-Nominal-Examples:threads=6elapsed=338.877cpu=1620.226gc=117.052(/&@lyZ") KB;7'igY;HaD2e`2c1V"V 9+Kg9brC$?a3cnT5J%E1I1 JfflIoHZHKD;329jfݨ}ukAQx4* )ϠyePxvx \HHԤ  ,(@Zw?I s$b m lcʤv``X,J HhPH(5@,$$(((:92ŹcǀE,()ynMn!'dC.dME&hhvRˌ2ƒ5XÛ߿Tf*oȳ ݸ6r Ycae"nj=36n||*vkLU' 0(8BS&pXqSvSD#BĂ1P y{5DxupGC$0@a1*"Ă _zH .א!wBAA!A< &((Ixbs{]P@HhPxR_C #" )tY<4PH("$hp7P@̇ B@`ҿp$6DEăbahP`( bx@,( ` DDD@łvS@b`EBAHS|HA,3N=d:;sf\4Jf<4lj]W+[;!baĦSSV!.k g'- RҒ1ՙH\b񃕓XCm9IlE9YE1ZeJi;I%2xjge!"cб4r?[6ϐX2&h]}yeˑAnOM/Y&%Brȝ vNNT1]ͱ%IKք7 ;G҄69FxgyhfVX\Dob%VH4}.FWdѬĎnT^o/;]f,,oMٸ֦a jT7J+^Wn? &/1\mr2VDfg[6ۈmѯ5!OW^%ZH|_Mb]Wʏrwvsw9ʳ`Ϊ V?rU;HNnnV9iRUU KXV֣zDDU4jJ/:JW գn5:SX|U^tmJLI)u)MJE(Oɭá6Vz%rzpe‹oآ afehkH^Vީ޹obfC!M/6o7׼WS?Cվa}/ol3}9S!yJgxJzZȆ2Jf4U8|ݔLن6EOٹBpeʹX\e\.rU\͊m+멉#lueu,hWªMS$I~Q?Q=dk$D*Uo$e߅^UL2d/]LF0QL%i.MKӏ67.iBЬB-6F׈N#cJ1)/|r^nl[]c5*쪫iPUۖjKĒ2ˮʣ'Z\$6][ΠJ]Z7花%mtQ!cM⹲j24y=6MlV3ebJ"qJ4E&<6&Ļb}f2}ga]^ڳuJ4z >,ߵW:\FV{^N]?^3vly;qo *.M圿- $ɈLح>cPmGffD-ǻ0h, ͷ h,LD,P,dD ,t 7-& aI'2 *xVi+A|QN6Z.aV+쒓|aJcʋǵ?!/BVM,ar?7]U%jaDx'#b 3Fh8j\ƺhGJx=jفg/1FC|^\S;g,6n?4 NC@2Y!If W|gHS*Wfs3l3v2;Y/lwk-OT<ҭāf1#|te4 SЇTw0eqo6 O#5$*PDDU8nQwg0Sge`V&ȏR<"ES\q#noW( =QM拸ޡ [-Cph+GGLi۶hQB J-OK;sjoۂ :ʔ\58 R?>)o̞*#v[ ؤGd1Ȃ :,a۬FVcg?cS^=t&M),ʦ|h} A5ܺO) eg@%@o{{ZM0#TgΝx6+mu,k~h87&Bt ~IBGH c,ӮZ| asщ %wyxݺ*l;4tpyoerqe*0^fۼ@eV.qYRKSc)B|C>V. G0yP2S[B k.DI+DuA0hn%X՚1 qMRa4r=Gv0Jt#jm]xpP=?/)DaAV"ϖwh>Ѩ>'򱑿P@}Wu| LQϋN{ITakq׈[h.Нy FA,9aD9K@Fq{4+4st2BguuBѡE1[H8a_V~dS8/A'?.;5(#Ӆ/3ʋћPzD>J(wZ[PM @6bԀ2>N_1'EŸb \rw'K58q,.'}d+09:1O9zI0QIQu/qbZ;P㵏A@P"9>yi :I¸0ufǝp$MM{QOj_Ñ!x9Zݪ闽"f0ث=ӝ2!^BL&f{( lq^g=!@ ,jgvF6#E 8)xR!? 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 n~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n 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+<&B1WfZJc9L>puca9S~䕏áX`e$VP-imjfSULJk.}yMJk((f&1s11Ws%WwUU e2,u  00uEbѾ"}AbD!]$B4@4,"\p8C`XU=L3/3wi3]htY*L\/U?s-K uvJDz}؄޺ȤCPhKT*ova6>k"^6> ۆN7㽸ySi57s)Z +sꥈXiO@w]' ;5b]Rvb 6۸{[VZ=*)nي|)I^nD}* 5|{.qr=z^}ATkE&z &FI0(MlJ]٪ڌ8T|ƁzQ#IRRP43h`Fi!qq,P  A AD01 olJx& o<>P9H hؚ.`pti0W2KdUdy6Ԉ>(rR#pSst;S&U/1BoU/[6D3vs{%Nkt ʁ}qP/|}3acJd I$+_]jVavi)mPS R5K% "HOL-Nominal-ExamplesHO|$l#M <  ݂|{xwesYoXhUgKdJ`H_4\3X2W0T,SPOKHEDC<;:86321/*z)y'x$w!r[ZYTFE D ? :" }|{wt s r pkidc\[ZYVSRQMJIHFDA|@{?x>s8r7q6n5i2_.\,W+*'% " ?320-& % $ gTo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  $Ruk,JYS_rsv}mH Z̕b[LHs̍G[<.?\yK&u&( l#V1@/R-[#vh{;`uq+tjݛ~JNh_NKUdr]>PoN[E*1W (D2r\r,[}920HP9lr"[Eٹjx깗5⬹>PiɢFY{Ȅ恷ުt"c̺ع3j244ߊ{q–`ekWF[(`e3$: UܑǠ2IoxC_E{%,q\ejJ4[:)±^K]g4ZAE}pP1DM_Y{ ]^U1SYzUj9ўkn7N,ʣ-`V ;7­@O(. hy{lW f%FNFQ);?P܉b']Ps胭ɲ&y.(-^_ZM<'0;;r$v[fC.-D}Y[E;Ґ:p|nbPV*@tڶ$\sS hOA|9nE`woP>RpB/$$^RQ}82_^Y~"?bAȱĜjo-zi^)N5/wԔH .YEV\CrU,Y b u"٢uGܐoV u41juX(> *9Ya:qL/S4*{F4Wާ D-Xg)GZJD<;Do֫Xn\(E?`Xh4}DGZyH&kJ ͽ9᠖L%P)i6"k^a܉(Zqr H. 3U!HȷYL8t\ 7Vў^Jnx*lcu΁ *m.gbazs?k^zeϵ=G6߽<|܌HU:`s0㠷%a@h7_/;ZX;'nx<^ "dwGlN'ꆷ_86|kȹ-96?", cWv %8[c>$p2il3€ɫvffY-@A1 FR!#!1e"FpQC`Ci]'0ybA7"u2W޳w! e"YmS/=1@Tps<``~/x/W/VWt9>)=)r窧r%oq.?1v;Pfk@JNGT>r09D{qu`<0m!e6bypQ+0@S@2R*E7! u4rGwɇJ}AG9:TJF7ވWE`?*M S'2:+Au 8q` ,!#3\ CtnΪJq/â{䭑дº1yPrdnC i/5L/Qc?0=m,_9 HKĄG3\ c(c!_ 7`,[A_ Ր[-Ot:^;s)y%أS aPM4M ' 'jBp7J\|\3**7 \E Ba;Oϴ&08KuG۲1-9-U? N%iےB]0Ga,kAl]" 7ܹ Ce("=2#YC ]nhH9z?Dܞq@ٜ r##AY VF_2 i/%Fu%N 6 + ΚĢ}IeZC 7V$CJRٗ\$mAkb,Pq\Ne\S!Y'mSpcYyN+2 \6չʭVX7Y O=V!xZƋsiMTIjnnuPEvzp3` Px n_kar&PTILqttA wT4h dɮ/lk$z2EhAYe7XY^Y R}ڬ8c LewA'Q^ .SⳚU 7s ١)}cc+o:)Wٝ;+mq?$uR%oR{yǑ53h3g),oD]KZ ̏vKeq`wDN4IErx߹1kX M!ZɨɏjZ(XG0½UD :}lmbn[.P>D%%w ,fJYVzrga af$8k0qWO'GP:_O60cTvM* bpӰ\cg|R$L t9BZ!=ԯBP(iҼ)n˾Lqhw ,wHK+JV$rՁg$_&TJѳfuA|hCaj|Q[F1B r!;m##f)+O|V,̈&%ȎdL,pӒ牴uIFh!n{dr|Nia-g5_ȥ|g^j3}{K4n^.` )u FrCC#k.JBmÊbF?\RtKz ,  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[r$ =FX->z!pk̸֣u`4 `V)eUm$܊h{?~&,`xRp[O9O\nl*Z'3 £HB@b}*l,FViӝG8r,ңu49҇~Cv>Ǽ|tf *)wˀz?PΰrZxk1l ~Rz7(Uk_퍇j&(%&b + s♃a Mu/)~{7`V9m f!ABta`9x岨a&ZNa1rYK{4Mw=҃#i=s0u'Aq<4+YV{ ȏ>6+)ǮW3FV[Mo!NM8SNp?Ǭ4G盟naU[+cׅeg.{Ow!S̍')S!f{=.#\￶5J m {M}o'U7 -<䊥5[h~#(0fT&/YB޿sI6G/ִuT QxE=jY {o{q J[ОP`~@,x29p2qIZ!фΐ((D;@.C*'B;cu(|brg:A$2.NCF3g1& &~3OuEQys0=RxLRo?!9Ry:\qqR.9ФQoJ~Cqgisړ. ìҊ'NjLEMS8%ԉ"L'1SB̄Ƣƶؓ ,$b,gi[Gd};@6{$إIrDފ_e[O'Sb[BiuQԩN؟c%Yr\KZNIL~mh^X]-9 $e E2'*@.~ݘ?lOu.dPb{ B3∴DēZ " /!LĽVB<]{1DS4X2rP8zYm^ DΥfZ= "nj$v.3dԝNXC]d\I54lnE;xb/\p}3(!`⃪wC '(9 R:m*]o來]*bNtS{l+(//k o_em*2i? @9D5v HEGyuՊٸUٻ@Z6wa-4~`h+@Ifn'Z#<0DRtyS[J\zxbpYLedwе(&1}؏ \mIjpo0~mį\I1F8ϙ>$X, /7Z`Az5^?r&9"'xQz@yp5Љ/FX zRN >!^AH¥ 0 ݀V"@x(fd$x_lG}{ vf(2kՋ1KarA Fp*, pSflػ$v;PV1xP&a#&'[rbBA٦`Pꅇ#g|\zFaj3ވ[%<иTT|.xhxLWb1{e?cb n)MuΆ_4J;R˾{VZ赴rZw5^%m .`%B9u߲D^](e.Kpsli46αILHzl7՚ɘ`M&-'V3)`[삺}O=Xi}c] cܳ>c۹ˊ2o'iG0U O08r2q,~A=X!F׃"]p);c|`*K43~l"g'BӅsEߵ8hh$\ ?G'In(5/]0 .3 L0|ĺ31jP-i¾vMدȜY8? t Met 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+<&B1WfZJc9L>puca9S~䕏áX`e$VP-imjfSULJk.}yMJk((f&1s11Ws%WwUU e2,u  00uEbѾ"}AbD!]$B4@4,"\p8C`XU=L3/3wi3]htY*L\/U?s-K uvJDz}؄޺ȤCPhKT*ova6>k"^6> ۆN7㽸ySi57s)Z +sꥈXiO@w]' ;5b]Rvb 6۸{[VZ=*)nي|)I^nD}* 5|{.qr=z^}ATkE&z &FI0(MlJ]٪ڌ8T|ƁzQ#IRRP43h`Fi!qq,P  A AD01 olJx& o<>P9H hؚ.`pti0W2KdUdy6Ԉ>(rR#pSst;S&U/1BoU/[6D3vs{%Nkt ʁ}qP/|}3acJd I$+_]jVavi)mPS R5K% "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 ; PgDH1-vwLf`5333w55/ʙh$6ֺG!;ȻA $X0ИVIXެѦ*΄ 2H}B !o{QQ&q(Iܣ 8hJ] !ͱXIDW2#)+V EmZ]doLUgVlHs-g(!9gcW[zzroZcܬ3g~vtr1RDN`9 11F"e&P1Dy?"p3wV g|b0L1nJGU6.c0bha xZg x/#ϥS@ҡ(VLjk߷EuiO~f/Ƈ4KA(j8MqfoU{>YSÂ;amz"k u u];U :`<"L\%j+Nb?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal 15K' ^HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1a( x@[o oH4HʤLj,")O@99UDܬ9h&uAoW<ǴqW#R+Ole쥹E}Ɖoi;O (M)Ƭ7A"5פSL(j^5$h4S"q _Ũ\2S8Smc0iNR^NskAURpXPVaD9.5OT M (4y01=0{hQps 5RK.(Ğ= R5 F@1"yPc \5u9Q=3U2)U*&=Š+9}/ktgȹf:/bJB,Tb\Jst|-:@ۖ Ww78A(o'd7 Txl @\ǴU}&ýod$~*Wj&|Rf(Q\Ɠ*M45FUb/={?} ;Hocȳ.5j9^0HO|X,[u)&#Vq1QoiY"@j>˻h#/em9&\ۀ&{Տc]bA+c9*-F]R; 5S0tPKlΫ};"FT[)_Ӹj]/.Su5zj.xtS0 Щ1MmctiΟ8599 U˕wHuE]VV܄Z/E2i6^nxxȺe&)1a6i:u)*glKaT/k-[˶G  `wI@te $ؠAD%)).GNA@Q~_rEC(\ڲ~O5:.nP'Z7@Gt$"2ZdSxӡ'e@1弯+v +¾, q: &1pg=NI1_n* k`l)pr.s*jӂޜTk!RB5ov.P |dXR޳'w<֜\R= sھ;6k`Ì$g0R'YR|عj ƦFrǬޣLEd^jW}AW.#("Pnaᘮ b`ydIvok$V̔gc9m]Ee{2@W S0g=XV#dF̤ՅV ؿ=fڋaǁI)$2) w,qM4kW:JtA\d[B1KDO)gszBtݫo.0"7ׁDeWsؘ}??N,akH]fk(4Lv ˏ_J`=C6v(+kkm9c;\wkt.9qP-փ@(%er,`;ȽE vrvc:-wVˆD'X1/G^p`8Xm=@@?Ǩ\߯eTޅ0%K07^ 2Fy9vt;xd—2 Cm4k듾UM5vYpəh҉:?XWGDm{ȴ\23Ղ͑7Y,l|E ܺiBK}i>n[?*Ns/tk/].443jo5c *柃iA懲R7I,BRpn%DJ3J竍yD5sSqo y .@␬8&o78^VyTbp3yX [E۳9Hәvk[6hPVM?I}(P\:бMFȻ3ʢ6yo/kY,|mCZqq9usv>cqG3ceK=/bbanrqE_[܂1 £x!3^DާM)q %Ը=uaJ0^4IM@"H%oI8Ҝ8 fC*M4SY o8+=S6^1@eܡ-Mn3DK⦾ Lv@M 6G0q9gv<,{IbNcpj|<͹F/)r0.X~l(ej7MHkY8 }kfb$'镦Bm Jp7;t]ӆԛl94"Nݡ? +:~#/"{xã @j:62 ]iB'A7fn} nȘ++Hw>"\ýt3MW#@ME'to'6q9I~4i̢µ_U.S TfrobwޔI}Ŷc;*9~np!@zq;xzʶ11xGw#tKYMQ G&1|,n9{[72&>ZZ BfANj]0ɊOs:anzU@ݢ phk4YҚfx_גcXqY#UVD B@ Հ9D|r0wAb7+a81&t ̻jtȉ :\J R$,׮I+ݣCHYIcg=5-?7kQ >J܅v76=n:&D1:Pv>Lgjzpc Ei?y aBJxfO]yYDU}M5wC)l+c> oGtU͑.Eoe]\Mctcf-sh䍕?(sls:~l W{V?*nLxm21:H@)\>{i\9,mnH.?}\Gl3ܐ`C[2U X4YC!\qI3s켊nX;?c8,Dd8jx6>w8b0 ~)M32(,ނĖ?)#/ Im42'oZrI 4k^JIJEC K*לCZUDsZLs:xm `6S^9ho%s?F5a X d^|S{M cn3%gNWwb&>w-ō-]%w4Pc-C_uNu  Xj= Ҥ8U^1ہ%GǶUҢTi2_%rԫWM˒œ֔ܧC89 VsjF[ːFZݓpI^H`]I,OaP)-3’a75!RP#MeVĬQS)?$T PU2" [(*$SJ2ٖ3333DDDDDDDm۶mn۶m[mK$I%Igf:3333]ş[.bV'v Dߚ6'ے2#qF1n=|جlIloZm&%"V}}߷﫪:^RDDDDDDDDD!ꏡ'A(Sǐ"qƒ P_~Kr37FѨODrFum6ֆFcm`4fUv6lrBݶmKPm[$I$)E(֔!U<ȃnܸdAEDd:]j~Ӑ("o"kϪ$ݞ 1UI4=nDŽU@"$  (``  $80@ H`  $jA R"&eӅbfm6OdrfFCÅƆ11 1[eW'[rmmQcvKx;Mbl 6r4Fm۶m#7Odٶo"Ila^K~pR\  1DQ",L88@(4@ 8P`($ 4<@J!6@tvdڷJS?˿_r|.S bH 3 QMLHGN mT/kΩJV<Ү,z H q RmtodΤzbN!F8\D6K~Cr ˩ɜ^ |H2}ֲq1E5 NIgNDFٶlm墨未-gNW.}ImG^jUVefx-B& )f,9; iC Q@W5Nf7qx[-Z[m,cGOn}WU)~xZyp &U {H-dQ^li[V};pİbo&,r2䠹xEfRev7d0!Byc%TLȑH~Ki,x?R l|smDQD  Wdb).]lnmp4Y HLB ܢ|5TD!K71n1psy$$xhJrK n 33UBb5]cCw.ohbS=x BxX9/S ݫ0`9w_L6xczK(c\{y܆u?bE[֏ѷwjUgatq܅ch6Xk-; [?5$`#k'o\\ eD`\BRJGF˟۵9k''q4kmh÷#r4;"6>0n6:P99Dlѽpi8j4#p#8Z!|kF3m(tUv ϑé鯮sB1QfJUp͸_!/Kd,M蓹Y3>leC5Qb"%GO<1>T`lˁY@"%yk9z6q+fFFË!6C?1@@YfC,@zt6N S{ |{c_IGȼ\z*?08d`f^ *#ӰY]HLWY3 j4stK_1TwnuX[X gkmObqK,6)}IK,R߶ @gŚ͋k!,-`bx}*cNcJfg/T#M7@ ns)FSN&h\Yv߃^2.|>,It%[wН\ ϤҦ)m ,O:I Ynyn؃B3x#{2Wtz:c'ԓVrt|,r['\s*Ma#kkQA&ll{d=ýYd0j3IӦy &LFK<5>-}c${8wN xLv_ x h"lbjT֥t mmPa Oz/m6ܸ-7+K9m 00$'_C =m$ @ғ`"M"M6o $d4![6\GJsԍ"8@~]~b eVk,k/֓tz=J5uߗѵ5R9 HGWK)ZUf6Okj822TX / M방gz2Ȳ̟IIdeFtkN]Yo>IJ`:!|x -&0>ÉYla/f,1n§K2LZ\8ncĭcT ??([Ĵ]YX]\9&oF78@Bޢ,bK9 `C^3{}g1<n}]lBsμ_B jB?D1H'>7BmZ-"B--uÊ!-.Z!-;nP9WnfMYJtcJ( O{sppAa3e:̍#v_ 1,l {lvz`Vv/ xƀ#ws"cFfN>e>N6쟁f q! zN@|9r LZi&c~ֿ\,O)"ITm]; * #mW j-)lB8MJ 1MC?rXȽsBa=nJ=J 0n!}]0qZ;>IEPuĠ yI% l\*m,ݛ7\0m>^'8\!U-倾ߎ^Ꜹ[ ȏ5U>삥M*{.n=-wjvwv|:Xm;i-pN{W|(y,ݫyFxvr)P<) cti`5Y'+u$!ݟ_~EXl.QutHc`O[0^<)˔%UriDI⻈ tMʨ?䚮?HaC]9P4Tn1M!YxY)uȚw/_{yX#97I֢.VplӢl3-G,YO Eߑ~v㿆/kSVqԶw/YL%$R{|RTpB^}ۨq>.j(DŌˎPC1B BtEN]-yTCVܽɸɳ:Ӝif8"W9^Zȶ]PD^n6?wC_ ukq>ߟu\sFc#efyR& ml&Yv4g $O K,t6)<[8H~a[ ?SvNŵT3c揦mFJ_]s]7^3{Bxl`-[>G}  yG۱]xJӿ""܄s w gj%\JFCA̝\K-uO5yn%wD˶ F|0 $ذTBhytDտW(4mko{CQܨ"{4>ܟ齲~ Oe}6V-׺_J3r͌Y#9_G][T梎>+*jcM$MߠiP,x`7`ܫu LC# ;`:}n ".'Z4F3žn(E /ũT^9-DGX7!nP.CE#6ۄ'Ie+ k@F&}O:U;D0>"H&  *p ):C&==)ʋlgT ji ljED MK z:Щ6)HS5KGʪ̤n ylS0?s*7VlZI$ȉp.3!р 0m)'j xݏ' UX!pХ" v Ab{1u1dw[sx\'#&FjtK)ކ[-mwFQj`֐ljCRMX;z F B mFR5ͱFSQ=r4~?Y5ӗhtL--E'6[T/M-/ p`dAڸu隁rT`stEqT| U'D'%5>{FKLNx_5.M kyRgg5xE@"~^IRY1zP޵@x+Q:7^b_el*UOW&Xyy6CdMn!lWTB&.2L5(U1dОbuGSeV,1RdWI{_etb3\`EGb+z$/N>+MB&uT׮t`EpGzh}hdٴYMiu:8jkU LP"[[:U.\bt}::Uڽv-`Z.u&VTmFяT/Wj%#+ӜQFFg|όy4 a=VZX CTU6]k҈DQ )Ĩ SP<ڵ.Ĕ4uÀ,Jb1.Xڥ:E^Ĩ`܈!uaՅ'be4\tIBqREJqdM{Xt Z]5dzNő*,XI]^nJ%`]\liYK!D߮dQ?NiTݕNUN鮭iD5aRq3@WmZCtZ,q(b( yST ScJN*LjX/׵R{ ێT+\b_)J)qOj>l t>JCvZMjiJJ援gU َ{y@%=&] +Fb stOKZ-"Z7)lզrbX*֘QV(p9)>7q )AA~*MψΎ__OP0ӢSb`O*=9Gjcfmh3rX9çv iOw@,x2vhumBW ˱>Q#_0եku-$6e >+$ Yu(KϺfnJkkk[ZV[kFBI₩qas~y]"Jsוu\u!.B/{?ۢnǝϽ}a!v2PxŮb7,9^+]FKvb=_egٵk.<ָ88ή]vɠݰp7voݴ y].ծ]߷vaPvm횶 '톆e.n/{MK׻ݘd.\r.܅#5qk7{"F_ Kp [l-&Ė#%aOS*{+I@vc|ixB3*r]ST0)IzCvaN~Χ='Dޜ*8р+( ;ud msWWI߶Stz̺-XPk^sS:=R MqTGlbυ_o8{LI#|c^bbRՌaoNNime%HIsj עv?L)8="*jL{ħ҄IyU6!WywRNr\3To!2kd4/gaF!BepRADZChHSl"BAkZhYG%c7 c{/(bjݩ*Mt*T*DvEU(*üU *P\sVl c-^;_w0X+ܟD+v+D`R (+I`-sYV -zo*BJ:J1 4P|h˖lyD~SFu+B=jڕq >ch%PHʿVv6†uh?YvVq87P+S d$ڭVAMEMxO m*eJ9T m&*®ϰŮ9] Ei( `4: "lBеy{ E"ك[Cö'i( jT {N|:XSh h)L>%ůIZ9VM8;" d%y䲢4P1HF-R'V\gSM-L&-StdNZPw ->Jo0[h@)![*4zGVz\st%ZWZN}uʨ4SAh{Xrp2]Z<2%2 _M$.TMLO2ڰN1-CX0*ÒDS$(Q6ԫHD M˩Nu~g1("ږ7@OM=ZO%ƀT_vU9Bh-v11{~'tsQ/})dk²fC]zcCf{?o FHJ(O"D,K`/N; 0h2r w𑮷q&S`bq߷iTS5R$%}Bm< C\Ϙ$Ea!3v x+W ~#aҨ= З+ p&q( (k+3E>`jfN4TcдHOb́le|iɜ/Tt!(xdʎ\6*~ldE~n QD<hKmdk dU |HXK`lU㡰ʚ@.O\R6o&ِ*"?3LKd_œ𣩺z pHPE͓ Es0T{[07V .GGMs~-S^;XG p2Ca`́)هZY=?HM-qc$.']mEX6i9+i͂bfR{ey teg\Ctfv @nTV:{6٠~xY\ X{OF 3\n0ړ0i5m1fxBk1,|ff3+c Blw$UPٻTw)s%R!lgRKY3ϧu!U `jo% ~DzwΑ g__aHnoVJ(l*ݒ mxǜtT4`\32 '&7FOqsl^,bAiVJ{IbF'f>Yy| fY9BOZQ$lYfo`=*|'>@?=bBȱZdwn>/pTbx\Z)@ь2]vm+Pd *1mof~Kp VQe#>|yZgo͝WK|˦ Ve`뎜u!7\ї=)4q{hzĜ)5tR~cb^Sh[$kԂ =ԌfPw5m-ٔ߇m22߆h.#sKM- V,$3Iz=4 y]a ZQz20YN"@, ,jCpQc\i/otHUi'ShZ # *hSM~9}xex]pqan(t`?#<s&Xv4*kny=tbX|#PaJmH%H 5;EFҷ*噕=ZG [(#~fX ] WM 4@4y MJHd ;nsɯ*ܻ\{k'ۭ"yX$$ fX:縰J$L2WUUU7 mK 0W hEDDTJXCwWRR6Օ{fۿbT5rhTq  D:rw H%AH!' aAx%XDBSVJoiy~U[OFf43ݪkIDzیv["\hۻ߬ԮjHxl8Lo8L7]嶈JN1xpofW-"1;c6v]y=IW^0pY@ED7<| pd_=RaqzM{#&ѩG3w$*#yHCy`8<.062.^+E&"K7]DƎcy\Kd쪖HM1 z @y?pV7?VȻz"$&Bw $"|K-X`] EHhbPDbdru@2g7YA f7ofWDmID#H4xH q@CGRmdHܑt$4HֈJ߭j7""{*m(ofm{߬v[lNޑݝٯjKڬjMDrƼoV-ٮjOdtM!@hf˚r\Ƞ ^HƣM1MG21Vʸ\4fee\12n"NMc)SDb",k͈+TXD*f G<*0,,&,   D #G(Ő4Cم08$ QOz|:*9KzwnVKg3^/px d0Hvm͟E D}-U~>Dzg evWn)F5CܬΈ?yyZȼ ֺpco?&F=9zK`$`KYӭ|h߼Xoœ1nu)YVRg #֒qDMjsnƚ9(+IQIR{*Z51K +#AQy_v0gI[,Ww8 ghZ<'2݆))ʆIc( )Sqdw,zWdsX ܘҼ@Yǝ_5DCM (׊^^ f?c !Y)'' BETH36dLGf+bW  8j2e/M:,[c<+ 8*2Wt(LiiS=~.ɑ49̪|Pm-Rƴ-6tj}JvTI)&}Jew{%5s=h1UJqzT 5BXz2|<43$R[ubcd(d̐Zh֗v{]PR((dS6sIK h0Q?:*`bߞJ_dXSnZfm+ײw`uPԕ%:A_ o}WM~qOQ\ֻ{H+ދ%w;S3}]!/ L25;2W Vsk*@/eLf\`U.m@+m5Bx~&-~D#5 ھ4PCc{OnnB8sp&3_/ r;~, Ohgg/ ь& USJZ:ZY٪~/TF|:mWe8P72 hLY8-nYqe9v?/b+w c7 ;{)p&Irvj[yRA=8+ᛶyVC*& 'N1dxyKX>҅ gҩIgi5q0Y|=r vlkhDn^ ;=3ԢsSq"i I3'f/ݫbF@{+A&l=3`Xu&yʛhmw-rAI8oXco#, 'SQ$ q|/_ғ!OPvOc׎Enہ4o73JtmAJ7m(\$۴,BTG۳EN耐jZ'#1E>c>B.<('yuOX%xDtu!l.N<ҳ٤u2H .ѦHץ>eRekGgf P9wLOo@O.}YF[p~ w^F\ Cek+Tިɻ6kdgUarT q}Q@o7K U,{ P|-ճ k QPʷr m~&ĠIRaJ՜c\eM&FÒ@\`ꯕm,i5.oB=YRD~gw~*˚AWYi̬A<|Q#?=Lx򱉧|T[ Obhzy`$jw m}fQZt9NlCόǕDZ7 6qac q^j_m acɢMꙝMA끚*(wE^ůARASO+QUG}+3@XURwEIbhȻrHB4VzF覮yf/"6{, 7=F" `+I6g6ϲtW4 X`aur m#.p?iX3fg\?fPvzl¦ؚ`ѿf^vN[ficil5 yʖ=t=d`(L4/%Y>=`q#UUKD_ R4eJ)쏖Ɛ 0*ӫ•#y0TOqy)͂תMփmX1owh[ hίQaJO{ԋIlI1G{Хfŷ{f;9 wLnpj'DUߤ_m24*GC"~TĦh̡РI } yƴ=40ߏϲ?X3_œj ps| 8lZ ]:4~ *ۆl;80竼`R^ ߢ.F]ҋ?j@q*S_MT\Ͼo<oi@ERkzΊ YM,O.iN  q \䭘Sr2hg$|4.KAgٱ[AKh*ߜ]D8Z:,Uǹ9–rm_D_%?5O%ܬ=$E'rK5h5 CLQ-40((x5ƈBd=5g@vl[뫟vl3cUsj F 8įo}(>}2ߴJϒeQg8m\ƉVK=AZz>+Ec " /ix?W,X3ET QЏU8|@doXnyڠG-nL ![X#ӑxٗS^ˌ@Zl5O\aFdk :820!pi5ंW~P : W :L Н=AV*Խ@sc#%΄^]wMRS rIp8ϾG!z s~ %\qjKہvG|@ YȚ&^)`Mn/&7S~km؍<E4DË8OWMO"_!?"!V@cF'k kJbf ~ϭǤ:: yClRLnPal&V&M|eQ#79i0e{Is6k!B"'^QK~LAVE϶{f+/ RIz{'~X儓9-G><5TxEN%Aʛe5>$HjSޫ#}5lPu$ci|: T؟$B 0nSb+/kՖ(&Ͽ*xLզOhPb>~  h˪K"ͣAiOUuBY\oHZFQ9(8ሚbWN$_e!Im^\UAw%"=<@ͬ85Yn7VdU۟DYjE(ih.e;~+rGj&Ư: Syy07Ų֒g3=lxVo 6ֵ '@57 LQpOޝf, eb(TXӯ0"n$vǡ,ΉJR+į{cf&$kbM 2 ^:va {R"(33I0MZ|ur:wn Nَ r$?&5s<\ `3I [S7BH6z8+`lUV=h/«XNPҞ_1IxқcE($oij}ޚpFʳrh -kTӷQƱ!g8E(VM}veSe30|Q?ԈZ?)paYmÀq|$n^)Z H`_iGͦ2O)F^iU0x,yջ+E#I/!~ h’gV`_y4a-ˉ3XjR.Qe1b,B/y&рJ )H-ϷY*{>; I_#w4HZh*o,;-LPsAKmiUB(–}+ZW{Vi1!ڂ,m)\EPDGyݷ.s]m&SF;zca!ʙL'^ܠoѲO:F\^FZU,nR  P,>i- נI]% al U\& 3V)#frp_"[MA4"{BZJu@0cB2 ;&~"ZWE8΅Cӂ, ^g!تYuWk=GiE@O`ΎBۄ V;1mPXm(0|vWbmA(lK;K+&CWOzs$6a#?vy,դX,9vv m[ YG#;)M9D25 bWk]%?"`p6'&QG\ʒ/,,1vY.*OE ? o:f+d,Rlkbzق#2 'alUU&5#N>]BPLJ],sAMO*q`:xICPI1:z!1@}thh}~Fl[rВ?x!٥ &t{wig{kvͰ!BK}milPvqSY.;0秙O&5h&OJKu=\߸~I7o2B~W¿v>BKFC^(TB4.~Cibuw #:uDE3{Ca@{lB kKr$4S+k`tYrpc%#p/qQJmsI3F?s;@M)tFeQE%J~Z>:ŋ(z¢QeYZE3Hw׼tUܓK1X\OȏnY ^5pTc5w0pr93d@2o$wߜ2$RҦC"'$2b4nc1Qh^Fz(uўSږN=X&w%VF;zW)W>s$H-jJֵ T3U?[ԯ_Z&n/C@% W#gc5~O/>FUUPTJ ~3uV" ! )sJ_c ~ha2sTȬQxlFMji-^N-Yq waa="?m^=F8Y u[&7L dDP[V ?׏ NNo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=r`덜{YexC _Aƭr3ʑ0y Qņf#Hi ArMQ^Fk^/9c.[Y%Y} aeOO#iC7^fR92-7A õl9dDJ`,N$ 5K# FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/jh*k&j#"LO\!#.sRb0v98E,Zf9X0!:pH͒`9Vf%E5 G$YKiP kqDj=0AYF8 V&$4Xgw%j`![M4<~&CѬCy&ɒ@9֋diGμ%J{?(҄,A@(Z:Qn>b, , b0K) X#Jc<<Ã4 a2$fQ<urГ @@ B @Jr( AD,  Hp4NPX @H0ˣR(C!Y *A4BX\g9‐X`"a)bIX p( PX <<ȣ,όi , D1-@,MQnnp0 Mi1zPP:] J d]8$Pag9 '@Ƴl~ȂѨqlb%u΂R<8ujxlAe$J Q,Q laˑfnF=p Eg5 TUÁ2-1YSriޝ|C %ea$Y"Hn=N̙f;+A1 giI8*9GW4!Me'XiAĀi F,_i4JAWL2 BQ.gm}>wwfifhf33ٙ}}}>ٶm۶mۙnf"ݑ![Jd)YJd)ٮ.ޚ}ZjTMծWH>eon^Sļ;G ~qOL<"ohF"|t~%3Dg#C)>q쿽^5sn#[E/LjCNowwwwwwwwgvffffgҮOiWJwf ~LiwU3wkp9O7___????O?O?ODODGtD۶hFhvh#ڶh}hۆmhm4m۶mFm}!!qeF@CAEI= (, & 2> !1 &jj}"o/߭h|=G]M\I4:2 (+;az?nLٌ9*.o$+K -O+wwA)%܏x7)Ķ`HmٷȄ(d[l;g? f}|IY#d4ߢy>sqa `x,ة$m 0%pccdލD(.jQ3!zeQu6߆;2g%a[`%@sXEMvl;9 ~Di/ ʺ>WNVhˠ<c85k4d8G.(jҖ,v<>͟,wқ A[eigAZb' O r9D#9WjB| )ᇗ{2e*l=6cfF *|&x5;wp|hƽ29/ȼQWʼnX^sv::A_6*H j+7O]`.CC)_^;AAO* R&IarZLuFP|Hyg9 I @0evlq矞ll+r /廀dgr~8ӸPa]@31pl qq/ ƙ߼ 6 nT8ldLO]@ g&G݁bqƙo^@m$Xfp\qV|Ӵ YWnppMK<[C͍ӛ ixGۄh4&Q>l>=x_ͳkZHhW^0O} Pm4}j_Yb',S-6P%l[Vp!眅l `Baq~7'iۻ+egݼ<{2, $6-˽S BX> TvFÏ~_w.𰈱yvxF WƮˆob'Udw{0OHYሒק`/@ESA ٓ"] FN^/x_ZrQOCywmhd'3 R ms`nܒߞ̓Ȯ+H `pߌΦ$ۛBO#C]ʍ+]b;UVШLW`n#:7faa m(GRs$[6yi: z~?\qTTX.J! htФ%Gpo/'͢=a1V9]P(7pih* ǐzmv:/FUHfy` -575yWHuPY_FmQ6R~ b*Evusr{,Grz}v %~gv{8.!EU1;z;.EEӞWsnY#A%%C"ĮXY) ӏgL< t48ľ翮{ڜ˴h$:%q~1^<"vdSt52]=44aL#<:[KS=ro `>I`D^RjᢠC6 VF3!5#8sWv>dl!/֑1} "boa,-xw`]l*o=ό D:禴@aNsa\Tٟ͑ TYh%W>f$Y*e2G:\k/lg0)h?jJ1)٪ m$#`a](ײvîHM02`k,:) ]>޺Uy]4t&}hLT,a)DgZT0j<:#ĢB B}^bhzCgxɤP&g5,m(vЛe(ʫA<x_Y:9BM!/'vrĽҦ[\$-_9 @"oWoDiSdΌ9FiQ_kosxpROX681ŀqH`' aW|癡:!cV+^8ưTVavkҚY2Xֽ>hEc_R_U`fފF8G" o84fNY{n+'Ki'qK[ 3mr 8-7 ܞ>fC>o/Ud-ġoQN'~`XBDrpp2y)sK|lt))K*ƗU_uf|` IaHBMɾ7)*c΋EzPRI"SӔ^@ |%,L$.+㋗ *q~;iHܜj, m\kU1(N'/;tgz9V4DcA#xn}f].<_d^ VRGu gk{d-3crb3E|1IIŒ& }|jl`SD܏Bq\VA=h}Q7I VrNJ:,glOglJ'4'.DRw<H@Wz D-}i1?ywZVk#9 -^[xV \@C!Iö8`8B5u8~]˜!&q~_LL+)\.jJMdI#)l"Mʧ)x08CٷDg3L͵TI(NE| jXŠw"F9V̠L}F SY.4\'X SVފƑ)T 3iOpqHsXwJ"\.?qD*'߂/TJImZdՌ"x j-1x|dO5zRi\)},[ Vr"J08j,*> i"^Dp*&f>2_皰pQ 'ѥdf2đ;}[mXС *Z%h>Y4/[X*h\ڱ-V跃ɖrjڛ硭# ע iyY!d{_huSp4OTB\L(YfrA-*kN Ɂq,e+97{q;GPJF(-?ۢ0е_sh,t o'P"6QC΋)n4PĀ+ Wgls|d!#EӆT9 `.;cFl IH>\ƋJ Y/{iE@X$n?.h&g˄}~fǒ\$7VV7mK䥐zWܖH98DPh ,[αW3A֛hO<ƒ禙K?bu'B8Έ!d.(. 20 Nxoa^i,8Z2bI"sv_]xI8;>k݀^sz'WqV6rnCb)%}kaERV6zWr$M3tmo& XxF^Ol>k*Ӓ.!R`F͘uq_pgBgט_ HI8ldm==PӀ 9#љ\P7a\*>D>U}d GH3Z,z_e?5Γ%&l4rtdo53lPu0#oO7tN!hf"z 6Cffq' C)^ek37vr~LЃ,4S)Heg"Ӟz=Rgy27edj'!ְ~,;m_상ٖބk2԰ ]w4RB3S3ڸ^<`?cM؛,VkZۿ"A]&ݶQa5s[^U6Gnn_BTX#6e}>U<Ӣ}߾I6 Jd('.4c앨p`%#wӶEB'c61 ɕd6xkEaZ Zѵw/(.JByR!άo'ʸRc=O_ ;`E؂#gXό[qgƳ9pˁ.mM"\*]j6"E\2@1Kv !Ɖ (  jSogMYnh&=C,[ nä!,~Ch!%NV#ܷ/,cUҳ& "*@DXel)ˉFW]ea9O$ACO$ҷ`6z,4ɲ(]㌎l6%ž;'6>9(TR -}"TX41TWc!L'.ia4hX%&;Rp$ o[*8"(CqCsȨ_:v0 e\r >Y'K@ѽb.*_xL녜to&ܝը)M3P?lB%!x, (5#=dX}M1y38&?PTC)+Ѷܻ*l6O>-sdz,Ϥ/xȂmk|Ujp1IۤȤE@2Ocu.Z!Ȥ8%VIpC',blokAoWS֘٬&(G_]p*d8 Q}-2ּc)Z`V[?3]hx:o߭o)"= jjIZE;rTL 5$9 WV'yQ3ŝ{a$tDŠ@>[#,*~%lujIl꾄|Z 9Xi09110 bt)K-l:jB Ybi ,;1yQ".l,,$p~cѱƆqc-5pīt/XP鸡6TbEBc$+޳B&|09ZVfBBuIW*Q."s|W+ cF]j6`ux`%o llT X= Cj~?ro ^R\$(Ym͚d[  Mԝ3 ΦȌ5))%/vz+㙝BT]+HV@I)Yɰ5_mLI$as95U%bkRcT!`E2rnJjA၂kfnءtD*R+7Fc,[c )04 +a6 P1d/1vUJ?Pٱ&A=Z h8ryM""eMDQlZ Ա[r*UlAɊAZX'oi4:GY%a)K|h 'uHx$FCHl`IHř?-w H.\nloQ19n+lg`sYCPi-B^\́Ǐٔ){H~0'?j,efm9(RvaA ar'QF]Fum:{r5lQAƳ6O50ua)(*jOK} fD .XG/-gnHa^!G&iXH33maO9gmq7_ a6RY `6 *\E IYNRç2 bZ5[%apT? PUSR'o`  M)5^7T1v|V6kM8YUհ=U!GP9QQ_ q*0E@aE\Hi|q88"#z T@c~/ןo  w raU`LP]N~'v,FHO2_S*D,;yꈤ{~f4}nU|SqyS|؟0aK y} I-!TpYFduL,s;h0_Y/t!InXR*S zS;9Zbh$ۆ{:Q!Q[Uhb5x7]97cFȢ- 1 ublw?WR)i;mhk.'VTv!C,"\ h+2 cEsn]#*6x>&^#P5@ ֎9 58 -`a /%F8;b'͌I?c#CʺgX&M̢&qio3)LwzGdy]~/raaGD1_Pŧ6718~ysl٬eػ,> 6c m9'F {%Lofz|,vԣ KcH;63T(`=UXtMOg=-0 4s> QH[O A>fW,W2pFagò>s5luycc|4?([Acn*,g㉥alu<3?j\5-_Kt|79h/ekHr0 t'@M7QnhLA75Kژ⏊rBt Uwi<"xN<?Z?U!8UY D24F! +[yx_(; zE@le$ !2ZF\X1苻yBFW&NJm~,k1N1/>혩 Xϸ&ʫnq;BqNSlvHfJv7Q. Y` 7NC MݶV ;lEaB3Rs| _4To"p<MhY"35%-@",ɨ4g@[N?ܜ 8+tjWq1[o^rَZk)gK6A=$@ xl z'hsûȱ́@/'t2rGR mǠB_As)I4,F1X>z)siO'o.; cX(3.~*;c5"b/I˻!jʪmnƩiy7歺̋xiCww"B4 Sbm뾛m؎V—vvvfxaahډhx ExS㹙M獍7+/CLg6,^NkrE0Z]#^Xh- 0)a0BBA&Uen47L)9d40oX@CiEr{ !BYQ)#=+/ˆ"o|uӒ5tSCssN?gTL_\ &VHTȼ$Q5i6Ղ%_F베e~ p,a'"9džL m]ðF3JqOEP&OQ'0x md'FVQ锠,Cw/EFf9d_4Z€^P@##|@ H4ͺUC[F0Re;ƃgxPְP\v߻J)tQdp \ÿ4(OTߔx-׃fU65捸ܔNn3]0ŏdvSn5<irΔHeߜQ&MpHΰg5A kLvQ |lY$G&E4 Qa*m17w\l$T;9G[D8J0Zjt:@#xF%FΛަjR=Oآt9neܭ>&Yg߲+|)MNf2>aЎq2t=ojMMu7 +^s$JZVaQ?Q5UN Zb*~R{r0A]lxD1O@q'Kl"bGI;'>\V7JpL⛏N'ڐN>$$v#T&슋S!{ȧ/yd(4˖WPij+ 8 Av֣mg˛'p8YѴRjé?qgK n;OO$a9$3|kzq^QQ7vېùQ ',9EkC?%L:IH G5:э+ څXa#AV& "#@-hu7(8רּ|"Sqy0$By$'E𹫧9gD=8F{߆4Iʰa1=Bo=3&[iD- %<7͋#s.AӇ3_? HH!i!$u)lF`9 {4YDiK1)a& SO68G L ɻ5&m{h%rx !(#EE&ύcQ=b kZ<1Ѝ<^iOK> 2al'S)`uON`3f3{>{u")Ęd}{f !J`oCpU >΄6Թz"HzRӞ٣ΡHdBkPWw2yD;5E*:.z b.ʘ\ZnT˦~Sp6ub35Ԇ$6^ +{"_*BŸR0H0lsAu383ۺ3h#Ҷ)Ǹf]Y*6@#O3 J魗g)ֈdK,TVHLǢelBT$s΋B͚1h 1zyܹRاi=5MsZE) 7x$x~sy9zcK^+K/oP>\usV ss]/9#ϲ.P̩m5xΠ.g l/**;MFA'.x(W9GkdDOFcA6? pdq21A?/Jzhۨ~ZƼhRkm1d֖ѕCTưDLurT-@6B!2?2VG%cP;Sm$=9_y@A7n8g+[H0Z@ ZqZKy2TGF=_z %dlZZx8!>{}jR@mTʃzLsqRcI_`x6כHzyoj_vA?afڭ5\7~MTķMIlRO }Y7[2|;?Io8n9Yjrw[R.#sЖ6 z6Îٌmx&?͆"h Ro]᯼V`?UE~s\6([aLn9(pD{ZhpV/׶qh>ȣ)I".=>IGZ԰;UkfFኻ7돘Thmꁦ1&Ž;wޢ BI|Ucq\Ou[LPjOl-E!>WΟlSi͹u KBũbK p2@@"+G>j*>/ƺ³͉Z=x J#Jxswm~,6t.|(pƘn%A+bj{,:>J7^PbaO4j~4↚̴ES34=WT"5!zsN#Y5(}= olk!Vc91ziS %4`Hq>c@`"H$جdT/ 9?\ﱚ/5 Hx/~:ݩJU: `QF9 mnà4vLBa 8܎zH^9 1@'In"F8M !<@[Gǐ=LOh㡬%Y<$cidX, K$daэFH0JYe5KdI% H=P(̽X/P^H+r$ Q.;vgi^y,4ݾ7jtqn<d LK:}80qVADd>y}g ( c6vUz}:YOF$w Dw`*x0XQ^R7Z0W9;vmXX@<5jR=K!tdT3}H3^ߖF;tP͊@LV8^R: ?'xFIgE.}`ߜ(@6!{L?D&ɉR# `ij %+M" $S4>{obI\-1}S,.fNFw Mu/Gvy pX8f sKɅM *M7.tK2h*N[libi#BTyL Lyĩd{89Jy^$9aoW|j>`ϧ!M]K2C +=J>`F>۫) }@J]ԝ|f' 67`2u;ff*f1W8Z!w_kJ]Fp5$>|WnG NP u.$4>l`S X?(43 ڲGx$DO dڱ*+920Dk vMrȵ%dI k 5O' NHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օT"0o`>% iF{>l4b{iii QX!_x!%RSp mC-UfAA)+]|Zªօ`0~I'H+ xJ:]tK@R-EҐ |m2%oqs2J'-\h!5f[4Ah p.QXjE qƬuRjJbVMXcp"^8 ؤl )ZVky> 'L%hYqZIt<5⭎D4i«u87{{x0BVQ؍KlڧpA{%?IPbZ򧻹^%ڷϡnl%qt2 :F|s7[wNB?T`Uf1_J1'?2s!s7{W~3{8×;ޣ1xƋ-i^[GMC2PЦl5#8sΌYxb,prZvVÉx-A݅R`NJ!e=JNկoNyM'It2]h iK1OɛtmfbQR)yRjƌ[x)zsaMH$I5 @`EaEaA 1 c!$122e3j;[[1`jQ1X1;B K$ULdz=m͠a#s_zJGFa٨Wh1IO<~?UyT1eS-} D9p|Y:M~90Dz-(n! c4 6 FƁ&;65>]س}^*/&ZɐݙHd""t-tzC>$Kn푀#&{RŖkOXA]Yn>l StŋXwBuLDYKt翟oe0Do; T͘t ֞l3I1bߐݳ3A1Υ_c`2- J9ʌ?;BFdJ`)a dM-@kzSɍ$ u(6|5w">SL; ?!zm @!g{FUkb"ۂ>0W| B *:ZAUd&Qi W & PFO@{$f"'mD9 v X,Q!5D؏>f, KSk4żc sB7<fv#zq0:o>owb1y--@7F< a(0‘vR ̓qX=t9z2 qh۽?8ˡ3`W_r*uYEc,G[%/o4v: eFpSt:Ὧhk76rqzQ^DVs&%2Z\O|!f8hm4NQï~r NOG_s Bkx3VbvQϾr, 䵑Ԝ- mt/>Yv䨦ɝSSrq tr"*Ֆ X~g6x-겆RY_O{@Yҭ/vUio)a.Z2w9OO5Z*Aѣ!e$rlAVdYFtZs㫝$ ~l48j.(04u gF,`tɳgcRȑ-I&cPx >ts:( .0 " t1lxP&oAR?~~(Ǝ4%|5淝 苳,`%c~{J0 @ :/qr!Z Xlpqf]6\H(LD_RR}zb:n\3Ak K `8PU3w m̰&{½A!3)k[[ؽƠJ|#1sM}(RcjJp+1eؙA0[xFDEafm|ɏ|p1xsdG+Mqv9>xhLڊ IG8n2wƠpCY6nוʧk@?'B^VWW3YfES+'g1nSM*=q}pسv(Ŵ{G$ƭ\U ;̪~hM)/nwZ8h-si°!33Zl0lPgcT|V@vLJӪ1pB%B %%}UȎXo:VsU -Nq.fXldĘi8a*;6[qska|ټ0nfc+tēK/A*"pHeuDl^*@nRU-a6`@0#ÓK%A{)6-'ȞPG1NaBg5L7s zg,r34 ԈI;<L¬1A&COtMh-\š(bBO~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