SQLite format 3@ .j   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsv tl~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t 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+<&B1;3܏onDñɹ^ ڞǡsrP0RH"WPM.}uvf|K&)i^W7()fF3uSs-_IiK_UU+ȤVu*3 ,ĢT^(X(X$q*'`$`4,`,R5E L2"hQA@XPp8˟C`XKbĢdEܞ 3/z{EeDl&.eP4U;C_U?uc,o^ }|˯S"MP&TTZCPҞ݁і@KU+mWs^ȷo90oQj޽RIq+B+-d_~2mlgsX>];;M]Uܭ2jo]qOq+]銜˒Y_V$S8+zp1Hj~d`b#8CҚuWfdk\ dǕ+q}20QS+IRRP4Sh`yFq!qq,P A A8 A1 ǘolx&`Hʙ; _᧭ '.'$b9V?PEocT3Lgt_ ^}+ `Mme\w(˯?Jv%k ~͸]9pE(@s8r7q6n5i2_.\,W+*'% ! ?821-, + $ gTo!Xs z T , / { 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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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!   5|vpf =- UHOL-Nominal-Examples:threads=6elapsed=331.061cpu=1579.286gc=88.101(/"0,z:")m66k:uȮӄTʼnM;e"b1Z;e:U,t11ٱ?CfX,Dwۮ`aAnl]e$,D a] e9C3\*֚[5v$sbBF&H<Ԗq h6aDAd;!b- )՚cDޭ{<.ن@!hHAnIrAeW 0U%HЀH@ܬ|kHU\!\k9R˸ 0P8@$x@²&J9y` j҈F5p@  +ޢQEhVm6{f>#$BL|oꫵ ϞQ#2uڞu]u-]oɖIW㚼X9ˮ彞唳* -&MoMrSMgmVϞQ9XhFrJmx>&7n#N*3Jg[OtMlZOY$Fb~ 5ÿ4EWWQn5GYyY?wV2s4Xf`mZV<+ZULre2A*Un׫-ղVd*WneL㫟+tMѭRo:ͬ')޷eETKrL6Vձ!"ovCƄ>_75nmW)[5Դߚ+ޓyY~Zmw}7乡 =6ټn,WIMo]}E!uJ{^6ܲ^l6seΘݔLѦlOegpeSU.i !WYr9Cvk5MUW<]mȬeWŲYki3Rt~sT62BtnyT6]j('x[n3px"2B7H4z/D}k&D˧)tiwCAϧ~t2-sqMM4>oeW9}Cgw>dN>VZi56V"[vIju.T>}5=gӖ4=.b ZfZڠ]h1yrDīrxv%uț6m&_M14J+K\AR3Se2ol>{ǵiX֗;)b d(bwZXqkoշN1z] cIk̜]9߻ٟm*ƽϮv#WC"3ao ylNO0q`4    \' s|؂0m(FSÇ_mWQ5G9!}́KS@a<,Oܵ6'#LN^HcM:{4p~rВ6N右jʶ̢5 4j,9i1.F".8FQ "oQ|leТ޼#QnƹFq7FĕAE RF}z[t:Y0-~)7r6a9>hX->g-Zh.>N\^<2xc7cت@Gc"-aPo^A;Pq&Z,OMX~\l:"+:ޥQJ,&UM.g̯ % w#kbbLT'*^X^,MpVNȾxke|x ɗDdC)y9 .| }Y{(~ΈԡPM[63ӓnQގMo0,] ͽn:CӔ!Üխ62v֌:Aρٿ3`0w)J6!C'~Ob[v,jP&eֻiDCWK"d^d]—%(O'/x`ɴCnqT,gRK=U:W`XKgF(K4,7*8͡k{a7|BB..|0Dz0<nYʌN1jj3CZFAzhF/.N.@7B\ይٞPtQ([VZ9{i7 _ eQPAÀ "}8g5p *u!BM.dXQKK}Ǭo, 4 Y~rW%/[̬~4,2&Zgu감ɸ2JeVW4ې ;iCPK,oeCn AچAqPП|w;#CK2e\nVy2r3br:&Q1IWm9*п*#h/DިB HKݤ!+?χM(Uv @3 ݢ*š?d+^kteɧ# bz274)@C ARCǎDO8]Og9)$>ե26f&)jM.QljVꓭ-EY!"[^K=vр;|&K`UᾩsTNǢ_]lE]֐}MpBO#gM1(9|褄O 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.thyqǓ7_i-EbwgtCZ  _Lq})E-Cz+֒vB7n*&vK}ewwWRC \]B.uv\C/9;CaP1' Z*29E!GaA-RIe_)5/2KIr"@tP "B5$#s&Ԕ/Df\*CjV ^Wa͐E.jHf 4(3ds|4ߊEߕ`UUDOcU_ױ'WgE)P8aCep9&V!D tN0⩽؎xp%1QN ,)F+=Y0S)yS#!O܉Iz$3%O{Iyݠ;Yw˯nsz]1#SH˻f )vڑ]g…Bb4 Ym.;FwB澯CF2}/;}\,v1~ ٔ+ĥf*UžkYMcm`}5tװ =/+&‚*MUS-;Jq/ŢKJ6n8O@6/gQn:˼sl$ B.;-\%aςh .}S]&֬aIZ ٺ@Z-5֗'a18gV*5trj%i1q;kVK*I}|.>[LY{H>7J!ѪJKfrN8&M=>(c0^1f48҄k TxCaF-!&vɌ IcBߥIU~}!j 1m5%=6AӼ,'l!7FĀ_пK{4!)0"rتc'.g0-MN- Re9+x;¦pɟQWaZC}R>*8 ǽӁBfcT[ćSK8[::@ E AeRSBJdz1#Uޑ&C4ZTW- -9fZiv-A6+UCw% ` 7ɜkn|N~(Ts5d :kJE/vҿ?Doů S!XajAAt*yX,e |g?GW~}+@W# T͵ _0NZ mٵBְ6oG+--Zԝ~q"޸%lҞNl4?L,VAW dҋ2}3#L(zt9nVҒ*!obx4E/ V=:@0M^uwʩgШ3@5uhxaD 38?τyp,'+ۡ% }Oji52tA˷QrYT -Pl*3(Xʣʄ諮"NVG KD ,M,%&̟So6W?+#P.9-P5zylAr"hGȭ+ŸD4B˘ɡfR; U2tG^ACCPzmf$pӹN3ݨ ["/Cꤌ<94R5u(_}RSH=k f\+ 8m6bk+1!+yDU|-B[}(83ת߂q_\xs_"ˀɀQdbFܴ~5TT'%|A 0 +Ѹ{zm4%/-:* \>w2Z2Zqy%˼@mu c`LbW_飚4/~H@L`ݓ!#7Pp/ajʁa~r=;*gY)Yy],Tw[(wr>a{~~ 5Uu@js] _V!}G5?FQp*h>W;3:j8.:Xz a޺P]v/ c8vk׳ &*)Hv8)tBW8'r8x@l'T"!.Rm ż-#)jU0lJ kwL[ݎ*.P A_ٜm?Sn+6p6t_ӓ^vbmM }N`%pg5֙r:%F@uDHN| !(EM^COm0(QʢL7$K@ ŦP!Q9ƐCoա>}//*u}K)aX^ &iV Avhc ħg{>o7`Y%V~*w>YJޜFh^q0lb VQ`,Q{4FD1eu4,ܚ!æOeB6\Y'jY&!amۈ!1|ٛ$#]0O$;N7wgŒnlKmb\6kRKBNl4-Sl9^7׵#8f!*ZZymJH`zRɚ>$ T!/+CxÉ0va+oyt*.e;By;*HrudzV*#%?ҬG F7 n&-Qۛi &Bh4FaAQƵz)Mh3Fc)%dHv7@ ǁpL:w[ [ށZ91dŻxr}TӸ ;a)z%"d`c[:=/xSVlAՓb/{*x5C$CMD*dfc(}xCTֵe@riԻ`ӻd$a|FǤ1)RQ&Gy"r82R7)zga;)wkS0@W5@چ̚,l? 3DTv>3IN66B“,p(zCUYf,FuŤQ*>!p!<|Z̀H^fL_X؁eWꁌ/= >+ 'Gp@Gч!(!]q. ģtKFY*0 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ΪaRՊ'@4SהB|=c.9aYU 6,6dy4s\CVXA>99^'r'p&*⣺$\8Fnי8<2Kd c 0F#<&մO rD͇#Iq*QQb^mG6&WHBЂjA]q^QoMpN/)579֏:V|سSI~{*.)1zTc>P 9Ƈp>.2 Ă~ -/hiF-guMm c'w++4c`~}_ZP |l(n͂p]Ft z8oϙb ~m/V·!uk3qZ`n4`׮*<DU=?lk҉}r)PI2p0Cry&KRIA MԄ# j^f ?1EB>'}3ʭ"HpmI̵:BDWMYxbՒ"fD!>5PR <(pDb|t@тE$O14t3.KR#֝Ⱥ>:A7ڤ[3䊍J/@_SL@-h|Mb*>I.uPCҌ[]V\ӦB_#üS|.\]6sM-r7!(]D,yރAPɲh!o"w5_#&9"ՎYч=,Go-k'eoYI\}oĦc;q;N8'X56ldv6 "J?G{ +]6m`૒b@*U4'+ H1M!KBdP ͧY7yQ@HL[Jo"3",xIIU_%x DlZgX3=\alF?8Roi%Qm%Oa4EYxշ"4H sܚN %8+4fcEKt˘Wn 8uMQh  䦀z hBQ <=3`(c a[%{b~ckYpVZ![$E<%T銔bߘ~ I3S&Jx&~+b.`_E5Oǜ*9#!zѼENx @872E/6LaHo_hLծ*)s,9=|50uvZδn婧~xBw%G!۵dt1ӌ6sRed" P BOinx>Vf"˯r cCi!(-ĩ߮`[wswbnfɩkp)49)][#v>~յTJc8{\ksk6aV\E^>q}KP'"IRL{PE\RƏ1fd^Wk \ !(Gc9@!]%s?וi(sb*(eVmdRiJ.w@P#d]q  n|U!.IM-Dc8'Klmt S7L8 lA mס 8}DG:{!AA((v V9MZ,+$mV©@\`϶Oq_t!;ÃI} H[Xh Ehׇ2%@΢zElM䇉ܒ+&l75׭ȖZsLce2dRJN9ehD>H/DH 5rAVSmni_L.#@#K>vvh)kOָ j0|=!:6lO~J|IY~Q󺻒`l^1%+DZEy` T,XiyL?IBEj16!,M~i>b@)SE%Oizd" !5#]#D:RVilx~޺l>˦Z'p^J?\T=G~NpuTp<4]m EN̾c=|qM|V+ .A$U @1x0zbbX)4% FƤ;3K|<}"%PW=3OJyofq8HvG }#aXqG04in@օ]L"ǃ􁥻֋#crЉ$ɗ.nXۙ&XZE~c p!g}u f6ʣ4iuDz dF7,DwWMḤ{`f _l>=qHx醚Ozԟ/YS+*z.7|gzo gudKҘÏj_#8%DUNbM#?_H `ׄ? q Lbq 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+<&B1;3܏onDñɹ^ ڞǡsrP0RH"WPM.}uvf|K&)i^W7()fF3uSs-_IiK_UU+ȤVu*3 ,ĢT^(X(X$q*'`$`4,`,R5E L2"hQA@XPp8˟C`XKbĢdEܞ 3/z{EeDl&.eP4U;C_U?uc,o^ }|˯S"MP&TTZCPҞ݁і@KU+mWs^ȷo90oQj޽RIq+B+-d_~2mlgsX>];;M]Uܭ2jo]qOq+]銜˒Y_V$S8+zp1Hj~d`b#8CҚuWfdk\ dǕ+q}20QS+IRRP4Sh`yFq!qq,P A A8 A1 ǘolx&`Hʙ; _᧭ '.'$b9V?PEocT3Lgt_ ^}+ `Mme\w(˯?Jv%k ~͸]9pE(@h⪱l~׈[N(!5~Cط;wsq;jٙ++?rA)S5`1 11F"$DJ0Fvor< 1? Q?Lm'=͊2~rU\X>"yV S]}&#]H3HyhgY FgO)_Bڑ^]{U^xv u4of| )nVgF}Go 0w6)(znv $!m\4p]juL>ў\?i=**?JSwq4N>#`4S\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal ]5K' 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Mc( 0N_a=ygPIIfU5s r`1sLcXf&"**a}U51IErD՜winY}iƉo^5{S^08oEjIǫPԼjIV*%b"O1gjrѣ[0Um.t=ӜԾ8 !_SU-8qmJPI0x SsA5OQ@&81=0{hYpsV+ \kAQ=I{4'% j,2a= JA-!*5U{o6b12?P¤'Zښ{/Ĝa'&@0<0#w !MDƙ0EAPJJ"0*. $Ca0( (AdzfӦOhט%L QmܔP wRhiTvCNR81c`# oHPm*TVHΝq`,&e:ۜ"_ߣeǬo4uv϶ 3n c7|~v%&$nϱF}&jIlR_Hvo3{A`:^'[!!A5 1\d< |SA5ɗs`jyAis=֥{?;˕W+- Hbbǿn ŏZ'Y3y)V< IQ=hX͂WНe4EBsSe()s*>:nHFr f#' omc vl| #3>t:MC< _9f%l?jokN`=YBNPr;Z"V( I`R>de;{'0)ɲSc("- +I#Lʘ7W˥i'?\8n> #]nL佸m(ZUy#+ȞϾS=`);M^V?N5tniR1M24۷Uرc25qfa:iYc$Mk;h^^ny&9w'pc9h:mh-E)S#H܇[m"e{d}Ĕx; nZzkۿ8MNc,QõN!X6,-M[h2D?/zy' ѣoΩC85W⭞X-zRR+ّzRzdpvǪhH5-ח$a?MRi46wp /#&|Gpm]M'D[tDc.Z#3nvz;r0욁4 5wix'm+_Л:6?cGSAIePxyXX8f6|ALI|u`'>`.ٿ=kwY^#b ~6-d(!7@8d1 Ň 0%?n^H,[${ ?!'3ˆsuL.%W`Bc?ә36sXW.^JǕ~U0;Mfs+s)@&E)/ K}yWQjvs:͵ gut,t&mC.~mp#S%)3qId P:},vtYfRȵ2k+2B xL4fG6q. {pU\mbW'^, 3r39[fQ+^X+0i` eV+*W`* oֲ XhxGJ ʝ$ē#m,j(D`\Q$ k_@#!\,ff xf H;|%%`gHX?`g{t'h&/n.-&l9Ȣ1)^ۧ5UB1UP2p&8CQ-L 82 hQfUM\n]ĪP-XΧKmVN6aOCi[t#OIerIx=l M)i%O\nzAWe5 Qmc\4բy;{2#|kW^>6SZ};SWAC궖tk\OY.f@H[Z(0?n2?Vb裘#:?Y!f.h ~*7H\B.{azͽeG^SX&C% '`4ex@>-{iRtvni(=jJUa3gL aɗ >w,zVD1;_X2&DJ4;l2<.A4my;R2*g:.2m6[u>$`hY:o5 h'V2jj#Z3NJz8n1^Vl+7Bl2Y撸3 ;[tx)sd3Ɲx;" mcKu,$Cւq_vwyb88O}+-IZ,W )b.w.}/o\d\y{ UXQO]Ph9o K(*!J0WQzsi"$GmA&Q?5PގT_eͶ"5.Ulj+&|ئHeUF88 6Ye"?rU% y_!8Lw7%Fh p&eˈC?Wb0 mGh"rE֗)G-X!C`d jG|D톿8yq0K@>P|Qj"G@P?[AսJֺ NmA,ēwpd:lqQ"Y G esމ* p? .(~Lhx+tȺM '*pg 24ት?X‘ߕ8MMѭ^ ]_*a- EQe L'xXdƪ(mYyIJ~4<ڤ}$11mDm A6[v _ _m4e@Aj3TF{LvTrv^ޝ1"AO;μD)aV}Foa87+klr {whXG v4n78[ǧӽ<~FFx]bE H1vBgxTq4b'nq[ųokASqm:B8[gf%bCIݱBĖϬ0Бdԧ6Xo% -UWK6%k0E081}`̠7lm3g 8ӿLKT _칻4.otڜw6PQKsrOgԵ|lo[TpQۂ^A6E1&dGgvڐb+\|b›rrhP5qPԷS2;cowv;J"f/h8| _Xl}jlR7~j?ykц E*;A_w `! _}% Eqj\Ft8m %ӆ\,ZS E(]_+et4_n2bkDjIٵ/lQ^BxJk;H\>{F$v ]%V'i"@@"sF :=nD eaK4ĵՏ\/\#d( {;O.0@vgXY"&ryg!Q>63Zs({tAY, .Uyq j/FFj2]%M6iP#4T#]m Sc G[!F73"'#jϼo;N5 *쑩e,sf{`r\#V@JVA`?TVH @s2my,Y跈)JS)Il(2زekm `۶y I$""!M4͸HۮjKyfHT՚,lo%MD3Idhf[m$ьAGL"#hf39әn荼m۶Ea$Y$gm۶m۶mXUC3HJa.E 4( /,@Tp]Ւ&!ڌcBjpLZDtLH혨8&Dm1!5v6Qm۶mK[%3HD(B""D!MD(TH"LmLfMU+gDDvU[L%/MM6m)BVXŢ2$mfܖ$͸Ϯr[639oP0 DP@(8X@  P ($ cg>a !sso/0*)ƕ#at_e 1`R,*DRsP"2-= w fitnNŞ#BUݳ7B0uH4 4f%bRw}iTӍfcBr#xw#}uVUX] ڎ㵜cYgK_RJ+sXg˦X 8l9t@^-a`2gxI:G ǙQ̗ctH WbZpdFs1y=qqpCp2fǹ&x9!<]s9+==ɻQ']}5SpD#z iB 9~8@PKUAg|zoL9D6 u{R)%M,w]I4Nd d, 0L['w^baEVz$7sݍn拂p r:[G0&s|W 1< \Y27JK6iNiu/e'T;yvO4io7ɠh#Ha^"sSd?[H v26;>#6(AMqʭOĶ7e1ylx4SѬ♠澕U0E82E[Dm{7Kqz[;VL|hK;]QwaVLK;Ac](os9N-fZ[l̲#?lqKxAYB"$ 5&/e#z(4-VxȿbƎ?tV( ˋqPb=T>"&ɹ ^fcY@u5?+=;ZX9QM۳#mizʟҕhm:JhG7PX{cC}8FQ(:j6n0p"ї)͜\MãHNl}:ۂKo)^s&سv 93i(i]9zt#z됒-bB\oCPJh yPsH,hwe6N̓DqDlHS"%4'響cͽ$[z6ˉմΊ?˔CyR>|b`56RB=LC`jQA?n+PߛUv2FwC*=37fwv֮BB蟷χyg\M4ϼrފ܉z˚s0]޹UÐ u# U b3~ lNS}+2 $Al?)sTk`ļbk{;okjM%[ӻ1KH@p[$nڠuCbrMp`+p ʘ)rQno"pO9hC3[cgN~CزGŧ\"m  '\[YOV_0>uF>!Qݙ/׆N ZJ =`0;rh Ip46A ߞ]!OP/ #_p!vyzca6=eU!yv B!#'I.Џ&G4ǐ9p>Vdx8#Э=K*v$4 N 4B[ jp$P@*c"%PH cO.qkx,QAޯV8r$erx1Jzsx/V*bS p7_D(#ln(ĄneKo3 t Sw B{L8sѲqhÜ[H˼IXi3w+ּ(qcAn ldHlF ^lS`Mv1؞7 PGУg,J:ܽ0}ƔLD Ò0s#?.|V(>Ye0j! 3=j2Tgx sLH'`+)ɁI[\b,DPz@J'MKnT(3ld},E)C4TpK nݩ?8%ԥ+K8a{h03ƵF!05RoQg0+A@C%,hi^˰Ӊ$Pn~6#@sHH$7nl~ff͎0;vdvN{);)`=̴+fZא 77*oWUJH"A9o LtŤ9+1aiFb^ &JNWX,L['vQٓݳ$THq W,6hڨ:O1vnw0fϷ>`-4(7gYbzSնw%O6e|_JB]zST9& FSH+Lh_̆Xa9 WfwYS4xd* F37P^,Higݞ$1f/5DIbp$ӶPpx\1al3v"RM]UzeTj;lvH-VSt36tr(ämEerN+gltr(dVTVGh%ҠeJ89F1NiGb?NXR|bX{iƞa}wFh+ᰊT61a%'Ͼ#2;5qߒ(K-4ݟy{gIg$yckF o&oMKnhQlmK ]_UG*Hyf36Ln'+R~ahlQ#÷04-~.akñ2AүL!BKYa 1y~FmZoX)9?&$/z65V:lfi7[˹>tm U^]z82i8o>M3%ˡu] TE$Ԕ~.}K=RHk8jTzzO (853[לJW"5Y@[׿,ط.]5w '4.6ht{̓Q_ǥ4DN;a&oI3k,織l 6oG6b\aL* w0P<腋i?\@W׬aT 7.#(KGLc 4g6V ߰+]{`TS# 'gq/ Aq>emm4}ÿ[xHv*yygG(kϊ=97rh|X` wCbˢWޞ{7=XcjE!$K"L9~~|"c[0ȽN)w!~P5$n6&D{p&df<9Gv MyZ5Z&?VQYḛ#*j&;71s)BrU& U0\OD=786Or:]vׅ&Xߗ%, ȇGV9Q`<G Rm[M1 İm8@!w YL3-'2iXfOzs\2\d@;IQa Hy@YTfkAE[<ﹷwVIL`4> %41OhNy҄N=BnAk½a:=Y=3 {c{ޣG\\'\ p5zlƀF:Yw=-3gq03n Ʊ4f糥 zd?ۉOO7c.Rpe +{OG>^: 'jRɮ, rz~ @y=7[g3^(xIηQPJZ[/O3%ƛbFrیʭ,={͉LܦTr}[Kj߿1ݲ,޵4v%m91*}֠|C7X3- 7: $pE-4|^d {Y ƿ˫̱Bq%pCdW 9월h+0.%R6""vU!7mFۮj;r3Q]6D3tX ^F;!0p+So[ҫA3͘+( \hDAb Đ@k-0{fԘYtUMKnzP( ( dP߮jɍhf EaBC$\lFh]UmD3@ a`!b1ST&H!m۶o߾}mWUVm۶-[lٲ];rȑDI$D9lͶm[S՚6q&7oUۑ#n6ufȐ!C 2dȐ!CDd "2dI )c)B߾}۶m6"r[rg%T]ՒьԨvU[r3 soWEnDY}mm۶mۮj۶m۶m[Hnmٶm6ۄhffFffff6~T h3*#! ܒQD*RP"e"fDD4?  B`!!@*d7oWa80x؈}Zn,b=Ȩګjfffffffff:۞jEDDzU-u߶mڶmUUUUjڶm۶m[$I$IRFn۶۶mD&2QQ LU}s A0k4Dd\8x@,$ L`L A ֆʋn NSuŶ%X l Qew\(-UT!lxaX 5@Uʒ"k7W¨'EBŌJ}xv^gta׽рP!g&z*BS`θEםq p;_E-qv/{ թ̷eWw:hBIJU-3y$!s 6^qTkb:JuʃUPTP Aq%@ĺSEc - ->ud@*؊gaX@ad/o򮠳ddhAb  iujQ̤qhE]4Bq+fv6gvW(:a?#U{).WTDWŋԓtuN>5Q]q]:;>-x&5^n`پu7usg&sfOK^E) nm31mXҶ-952[ x.15)%w*TWisr=:(/ah1X+,arU+S,/֭b\T-Rc U a j|h*Tn o"Q92#z,$P0%l{U[/$X߆M(42Ez𡕳K؆ )`xmmškq^ۧJ+,Gȳ]!uC>dKf`zխ{0~%[PY5lu7aRu5Ƒ Y2oם^d/a'L!/&ybEUW2RumbUE4UeGUMKF6u YVMUInXݮ!][t057FvadZepq J 0 5]\iCL;&h#ߍpYWE$> $>mr, ӲF_[N5O|nE*/jFЊBn@NS,xq !{6 h'"D*DX-E#rS_Bpɘ˸9wg7[lWXU͙nݼh`MY}f$vkTwHskQ [cWGPcgU5aQ)TƊPr`Lݾ!c+:+8W4bOjW_sx3.} y u k3´ZZB+q]ÿF~ZaCڢwԯ;FjÅ"kQjqS>ZG7]W~nZRpD)~mGmu.*$.vffujy\.IWuu"+ޙ^7+xXa -kQl[ӵ3cg3'cݴH?v(kV.e]=dU;.4:&Wkԍ;&J+6dʀ4 z{)Ji?*eiTj-}q,pPt5. c/([poPM_ZG.YItӚ߬VMz|L2 9Vh3\-({j<iUښ^8[dn6NQG_i=75Mӿ$xT8[M=r]. Vt:eE\Nexҝa"^d4rZֽm@*Z8̪.#H}zBJzO#(j%@ AӁ:v^?]Dn=vJS'd ,:sF!GUsC}h'.2Jz&82SRS.{ux['.g3!mc`E+o hF4f6+uu8"OJ_ojYU)e~-/mouٸūPF{]3}w]S mB%|LLIԱ37>_}iG4E*|ռ6%%͓LksDb_ -(}y4gs=#O.@>3 b1Lv>+}S +uX9x_`ə>spt)S; C',Ϋ1ls_@)h4RY㦾8UXX1ĥcrb]lN-u \eP 9_P4MPS_dUs"0[| MT/31O㳔?H/DZt (-:."$SK_4FhDi"-l^(\up}aD2Y4wtz$@5\ӑ;kTwSy?џh IN:ݟyLBy<ӓ>?%Vf%]HhdBVۥ+2&[%*ϋcCRf^ Bw1?Y5 {|hy1+ ͙R{~/ |&A(4q!nFA4DO}șӣ.ʾIi Z=Uk[ʲL0vX_>x=ܩ?Ku@A䝒w$:Jg :K6`,v_y 4޴ Ѹ=Y4fdbPهk6<Ocx':4Dm͛!#['2̿tz R4h^h0ʁwK9D _9NA}p[2?#YQ5)吜o,^;6cHR{wCg>ʊ`?u8hmwr0uNp #IHC Wc8\}dlwN$`8_A ׏Tx^ LN:+8*IM]YL98(Š#ya{cٔN |ru7?S@F h-ѻ3-pr"enn]ѡ|) Jy\$$v^^IdI&F j[}e@+" *PR"@0,ZP^U/UUbLtZ1jSȠlPDw-y{Tt"(3E0*,** A0HDQ(,!iC* 9UN^HNU2h)PHä3th-2}jh[i ;>b|qsb幭`|x-Ky-ˏ>K u&Qӗk"m7k x9y'aBg@OR c}L!b*W1X}Z==Ǎi;QO["3XSU$nr,NyHWnնnKwװ]R\#iT|AYbx/gqho!}x՞m>hS3kK#osVgQClzS_*/& x43d[rl~8(4K-qK&CdM?2// Q HO0vDZr 0trM"FuSagS HQ2{pC}տnP?XM_ruZ˜/=^U^tU)wV;-J Jv&.NNl WIZ\!]tT٤#+eeu% k= )hjxVޞSR6zߺ&kVIgnW{bU3X=B.lKgfe Lh [38. Ŗp3ɌgK韲̴@ܪT0Vxx dKZs.ڼ,-s0 ##h^it1Ɯf,YZ<&yYHJL|+aZ]%lZ7szw ya/6uoG޲IahoѼĸU6#N!~cn<eh2^ґK(r ~6`Q. ͏iH|݇=n@mY qhTbtu;ልj(w==<TEoіfptOƑcPv/vSp"m(yx9J+eI3lA^z Lu峛 [ȥ2Nz ߌlq&%c;{ $ukօz=MkNXR H>8ߖ8%Hu6*ٛu^=Z;<_IL;їO}$t]}14P=s}!p/~&9j җV% +,dƔ ,rs=rYй9NHn),Woʖ-VRܶlA)GA+7*5ZC 3ORHVezdyѽv4[ Q}ZM bСx(ȃ#S hFuY+2Vx 1+kLM7a8|Q_"7!w5=a#5DXF>+tZ1@-Ѝ-WH{~te4qn3;D4e":: H7I~"DGy]E'屬r؎H$i Ym9X' _ c>CMW[hzoneԍ)׿P%ՎIzIwB{/8CRҶHi ztptOÍh{ޞѾ~rrw#GLJ( uٳ f ~ H&_EGּPIy XፚL-5wl7!ZMQ^]4_`쪿W'AǴwͽ=&aEy$$iwWBLTޭytnۓ)|XB9d+xV6z"VR@#[K #k, ngYqx=k2ڡ4s4x{OJk~>R>.9CY'7%ҍ>ŐtMLe(6u}@7KKԯ\%R\5~pcyr/[psݲm$mDT$דqiLK0#R"=ؖ]T"%2-W0fgOMdR۪5U%UK0~N@"zpĵkT3R䝜|Ι<9w6ς"!,5 g0UI%q=rhەpLYǴ͙U¼ 91K`,a:q n^ IUΧ Kr5K`rr%Lu|1Y%`OKk nd!~jN"jےM=T^2hI 3Rf|B, 벐ҼLmz6Gܢܙ#Dɤ'Oݼ">HU_NU9}RmD3GbYh-b DA˻Zt=-Bt һ>ԊKW!S_Z syzt^Ϳ5K ز(ޢrj۶!o `ֻy.&QV0k/g[p4V[He@;_PFOgU0̈́?z` 0=+0उiþJ@Fn=Bnr۞XPm玲}::@~iDS扎9 0 *OAA9[ ;=QSc7"L{, aJ!#A>ӺcLJTf~ &ylnbņr}w~F(3zWtE]gHfdԷ^mq(`pHr+sMɬA{rk"nTЋJ5//`).B$ՙ2lwn𳇻I!G܌`7_|p[,?No߷}9< @!s{'/+ g,+c}AR_I'I9l &D(:i4fB-\Ů[5Ӑ)$Gcyм6xnS謲7V{l| D* 8N^4Jz| ȵXAD!KWKDJj_AT|zbzZBPHS"[ >)704RkEm;tYhGOa$:-b?MV@E{J5thHQV]O@ nws> {ueNuq{U;GyS[07C /s͍"Wbo@>\opSw~\PHy4y( wy.%6Johr7 +3g Wk$-"II!Iw䂌*{}lBqZ R=nsX\͎N`{2jáPҶ *2sw FȞ_IBW*߱LrObf.vSTN,e`nFW˛}16L]JKp\h5Wa?5@!EҚ7WBF 6TVE%itg5Tmxs MfւSs\(7GFᙳFVh˭;GpQO3+0ه:ܟi+?fFZ3\P!G ¸@\V<ˈAo# ͡Hzܸ֞aqywhFrt . rÎ~yqvl'hUnP-H-r|H7ϛroGjȃ;-si }(,۶d3r%C@JsY&M%+GW<1͋\(B lVu',%7ոKu&`ikA7Q.^0)ɼ>J5˪mY1.R]޾?@SNh[SE f>4G3iPA\BrCuLlV'h=L믂YM=tݬv{#JTwX OQǦ+{x'^ëX#S4]Î@37Ҟ|UWFƒjd( ÃW93*awwpXz_}]S&$1ޕ{oÕ8;$+j$D2& 2JŢk_~ӡّVoWvf@G<+"onN`=p U$tܸ1Mɲ,&.h}>jvf!SIQ4"&(yoX$7q>!##'c}fbA1 giIG%=*%?WS0I8VYe@A#oZ#ISDy4H!J2 BQ)!gf3ۿ}m۶mlg۷)ݮ*!]2![J)٦MIed0٥Kfɒ==99J(Mkkkfk{U*]ZS榦3311yyKNQ|„_\TT|b""ohx!NwL7E~Qn8;cLKY:ۻ@ƿ(m_h Mgkc&\Vii7>&%U4y+˃|`_'؛iS*0OE;ٱg-za:nX\J{/ ?XUlBQKɣc:%aznDk6\ VՓ:uLlw|Ҁ)l~v|m0McsTqϧBxiB3_@M].XI0s/ӒcRC2P b ݸxhw:!8 , 17HМ H<Q>CDM~WS4!Vy / 3~[@Sڢ:lp' qPcqG@!N[9$jH[/ !o|/@+@gV~<RJnڂk}hq @ @Lm0{˹1 F'|Hxnðx3C1ηS)8Vc>oaU. _vԟ{ >JNŊ%kh#C>>}"`iy`_mMLf}ֳ3JYpCS 6'>4e,9K g)|%,D[<}uxƄ+XqWtaz-$c)IBOS'r~_R*O(P, 1Vnzʂ\:TJ}^ѢXU岙="@Җ\CȦMƋZ:0mqQHLi-wdMLBT֭3Ԁ'MI(V>M/H0,ͩE۪ C:Q&zȤ*~9֦Xc?4`t&2[2v ؗ!iS'Fez1.F };Ckj Q/NLR[Y&tYTi7uIpiGlko .rGe$]`飾^1eWXҊc&m#wzBcnk |].y'$cd>-5bT`jQSo-OtvaR\^%?yz6{`!\N bGvԹ^G혎R[3;lÁ#疢I]dPtFĉu)vbgS# C5In2t\B @7KX+ϧ`N)1*!@Y|{x \Zn@ӗ(*H HD⃹ H,P.#w  )CY!aiRgP_iK4+@PgD` {܈[-E2tL`̗Q@cr\Չo!p g[Vp̚&Nbnq]= zIwO٩E _hgAN,H[4"3 e> 5xf: &+P#MUi:їئa~@M/ܴF mECbuY7=~ RvwJ{dpA1_mZtfQ-''"YТHG[:/T0JQ msd|SYS6帟6UG9SxpFTw̠|=kLClذ #vqY*A0,^q8[! &zC6(9%."58\RSR?-:Ա,->~0 p6b~GYAG Oy|Bg:>mc`+ w*,qa71\[SF#V0(iZ*') "4sjV H @RlaR[veRL'8{ô8eIA?;Fv8i@q!D$kMג{MuOK>`@C@Kk&9"$4 _F$* >gd9>d{l\4L> o ZZS$_&o YV!FT{E]2vǮ#{^] Ǡα9t=OtWEcRD6xB|ʖSΛMY^ >mtAo4b%^8칒Fo-9ZԂOn[-6b1Lu'Ժ$;Il\h[ʈ[tʕM!ĿeBګ"ޑUv'4*g"}id%.fĮ&}o|J9/4tӖ$0ee\cBWa# 'S7F3glNɖxZ>oR_}'$@\ [_;2gJ8#^/%SdX(Z q'%F/vS %- f 6pQ, N S**/+0wFI!,(wdxMLMLLp : %2fE7,96S 1IVR,VJ| ,wh&vYvc{9 Vҥq(x.CG%~dŠ$e6ABQ9;.em=ږe.ǥXaXyV/$XGHlF "Lvtޣrp)e|:lDi=DZ󿄵$ is2I`UJPa3כZr/Xe?J(Du- &dE+4Z+puHBǁ ,P_ьx3pkJ,ʖ5E`)VO>=4X. @phh*p9O73HϰKKI Tzفd)mO ߳)hps-pjqi2=9b3̱j8]"=Qٸ|VvG?`z*qG 1RQR%lIz;3_ ^!WT> Oj4M2^`2D}5Ό4"VRCϋe@ %$jN:HAscd؉u?Nn^H s!F$K^NUKOqm)%VRF^.x3 bkw@@adJscO~3H}iJx lp97*ZA7"W@b(N1 4M#nԑd\K8wc&Г7Ƕ/3R'"$8o~JN˭X3%"H X0"Jpkm N u;ʸ *gN9_f!Iž!^܋AfZ^6z<޴b(`#G\ ~BL\M+ oF !mqq(cc>:w iTb, rf0 nB&ںlNyCSax|$UPl|;gb qyapVㅛrXЯmMγ|lr! GF=+6L`m_2K+;\ Mk6c Wxhn% BD-l6 g"v%2}Wn xS}s ;v>F֫?לV[C ۍW jҷc[[/F @n6Ik(*/ JFX =  $cߺ?KFmlL[Brpע[a-'kk#5RUX D#3cW\Rk6bA%Z`́U g;"IL{V@34^4 q̶loo*F`ɰ -/gʀ\ Dr ɧb`d Y[wTRӀR Ua%tI#Y*D#I^tsxSUvQy" :,+`Y;SN֝]cN2?2W5*/O˒ <*xDT%㐓DyOĄ-^`a&.iSx$4%ǥKa;(Fo+¨#m̝Q 1ǎ&Ƿgr خ+}W4B~8HTNCϖcL @ Q 1+T~~w~.6_8 =3"x  k޷)^F_@AROIcn@܄,P$CA&@%d#\߷7Ʒ*.rټK>'0ˢj7 ֬ Hd0lz].r(Jm:*@ G$ Bg^S Cn!*x(t wPԹ+j$,-!oOR.lZmAե/%\c:-LeĵzކQF!cr,7r#VB0-w2 I+H&G:alIw*[CQi/ĥcM2Ƨ$C  ʷḃN,QH/ix/@5aMe*N[UkxDRL] ^3s\) :0րHCm1@1~ 5݀@CKuh^溅 ^0r\uJ  ,7?6Wi\uί9jr4cMN/:eyD=aߑR0'0gIvH! ̴KT܋uw=֜:Ė6̡)Y>GyVe1iauƶƙF=Cg44>& O+c뗩[yçDq!Xvީ:Ct5 s䪢OK`BlP x50ND`ǸuA,2cu|bSXluP5*K263[ GVވ>,u<>5 JdxdﲀUCP;_"AW p֨éB6og f1ңNms \9}32t^YbQHFc> 3"-l.,!mH>vZLN'2/VT,sWHy[Id`D yI5ofŖ0QuM =զYl 5|Kn6%a26fZ'E'VkˋgF>a {jV޼>`*A'{= Ylw %"B%ؒDcu`tgA' V_2|W)Ƕ9k&oj$kA:^ " R;9o o:]#R('\cVW_)L2]>hqM1'a,U1qu[`PHRuM1f̲쮒Ԃ_)ժ2e -ջ ] z-APፁrl8 m)".[-ǯόU'@1mCLn HM1ۙ* X3qF"*>ba QQ347OI&gʏ%eWn{Y`оʡ;{C.2bt 2NT>&ٹ#,Mn` ۧ_Cr@}]C $ 3GPC!32[oւJ(Ⱥ_xU?5+Bd޴T8=z=o X)#WNw6+ˍ -T ~*͊?e6o1O͕7,;Yu VU|w'!`^h͎uߺ\/u \ dU E/k)Ť&P[DݞW} 2pF; I_K}:8m+LMzvM=1nm Fv04@GQ%%ey2ŊĈ2|TΝ?Ġ[YKI7Q,?C  1LJ6(?J,5GOLnkBa<,"/㇒ufJ6MXS)$b {6}S^4 9pBS~vcz^=?_2!wJ1@(nC|F3:֛*}A{ZH_ۮ#ktŐdћ62^}Řq" 8eyVQVx((U۲NQ,B܍D3+)#7Jǡh;[2Kĵ'QK3*9UUzx)&=yZNs_cf 9`SnOEzث=:;aG3hTfYӜ̇t)"jcv̩T_G*F/p%PnU6n,'%-OZD W#(D +z&L Y+1Ԛ´l' Y',r3y:ܸHR U.㧤iKL@s"S9FAy Ekk:d&k6LQ:l-\险u$Έl {Uئe^/o1:r+{3ym`1ם4Py}X_剞A*UZw,՜F%x]{OYԝ0=`^u!&2x##Ax7=}A$Qs4d=y/(AEx4Ewxn}xDkߛ9=[=|?DDD;0 О џ߮˞azKzŒݪ}w $Fa0=2k.*z=*Y _lec IwgIAök_wkulXPa]tw~~DDE %bAx79f776ޔ̿B2%09^N5=0ZwwL#% Qwatt77`;ԝd3L& `Qrco /d>VTA~֝L|;p0Qi3+/hI+to7|u!|^2|=?g?\{fM0'D`bByyi7YZޔxSwC@ &G#@ϡ@q01 "d!> I)Y+H߱m>5ъ{0]]; i]z^!ꤟ`;(MΨVY:f)jYaF֛mAX8M#/yB}no&GӃܩ=alNdF*ٔjЅQo&ek{1 _i&:?RatBВW33^ ^a'?xIyW.4*y3ou4#Z-*98c3KGmhiy۔%3R{do0/;l1΍AP>3;- bIkQJrwZ~)#t S* >\]"η՚GV\ip,Aʶ3iHח<<G7L 1.0&Sf}8RxHMưrHîcI ~ЩSS )#9aPR*Un(OQ;q4/ɈMϙm~8!GDzxr`ct!;vF~9M|s$J70w]!& M^MהMT6{zJZ \Ema#]Basq7~m1艺7 ka^ 6L9U30+7aPT_ p7Ebeu8”0-9=蝷,ik^L s0VcpȻ_Cmb -OTc;bD{r$QޱU>&Ej k;fu슚`]N)03;^{kԢ*%'Jh FƑLDRl811\6f]L;pWf(FPghȼ'h3Bʼnf,Y94&suHBT[;j6/"rE3^ԂFihLp,76pQ|>IN}|^6†KF AbK~)Ad vƉ#P U d妟hԄWHr$# Cۂӡ⯴̅.f0WHFCÂi;FNO6LLlC.fR/@8F5%6PV7n™`4D/F~/F| m0zy &bk]ϳXz5-QZOt;iPQء}U~-OUV/=ʼn@wž9Z CrK|EB7#ou|*[/);:>JBb=~wu;ѫD6ajKXx]O1'}:vFiqwͫ O~4,bAy؛^4>TbwO;:ٸwƑ##;2WUnUS/CE=^6J-cEhPҵ 1$`%Czcl+\]t'+dL?6A!?` .M.ϛ] C^sl;N,2~lDzg%>P+*߆`b 1 >})wWT:h''wJjC 5+tMYX0C\ ?b7$99C뭭L^ELїڷpXev4]n>w7Yi>nC[Lkdi9D-{W wRYMH65\9퐿 F"Z=Px9{Whyμ4?MEԳTo :Ҽ4kkl^OL|~-ڠlFIJ[D3/ֺǑw}N~FĻd12lONC W ,xSʄḸk PdC!749 ֱ}Oܫ2Zzt䎦AH"䥲`Vs|bɅ*N׈$1rΕ /Fl~o ,pQt.HTy)ofUI"?X`mw~24L?fdr6T);L1Y!nѼOjp_@1xȈ+ i|@.P4cnzIkMǼ wް^VvQW,~k\i +D ݰY KDι椐N[g M/Į=BIWB߉f0n͉>3.)mX s xm~-2ä*+o{*-W~x'I%)2.YQx$~^[ݰ1ht܇KNIïQ8yBKSJpvac&,A.UH+t%4D3mWH9(}<P8(MqZӿk ޗ=eW'q޼y|M~lI&N}v;'."%H(Z.9yx<qKzYF.݂"As-N#KVxGg|T/~>5xeؑlUrAP9#W,Ќ?+N"NPo eY׈']z ' ) ' 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e BN- `gwdF23쟘^JSHV+)l%iSR%ŎZWwf)5NT:l+h^k9!zllӦĎc1'=>-q#KgzBNl AN7: `QF9 mnà4vLBa 8܎H^9 1@'In"F !<@[Gǐ=LOh4 i5"0c ,$`Æ0fY yL*iMQ AG4=L(IY 3TA) Rae%`8ĭ0QDΊˆG2͂X= [CZC6+wlTTisdr>wdTSFþ=~]=ųDďLךQ›D8%2-rQ9 0&2o/ot@Zu50588$$zjN4x&LH>ƒĄD 8q>zlNTQ5:OKgA rjxvxiwaBbm+* DDldlT266$~W{{%IWWU5]Vw%$T#"2 @M,PWK=nEC[ܷ]wWuwwZ;y3Qoq^D Oue0;*P2Fe$Ԓ~~yjy*i~7rm<W'f.yK™E !&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