SQLite format 3@ y.K  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h5|LDd ] HOL-Nominal-Examples:threads=4elapsed=411.556cpu=1485.584gc=96.3967zXZִF! &^]ŗXiɟH)0!h^h0U2Ѳq)wT44&L3Ľ?э>ļmӌ%V3ٹS-QnM1mdQAlڜUɴ<F"3zCgFȢ} N1Ņᇘ]]Ҙpk;:PuޓX`Mu;FV6@RGCدrke.!G ֹiR{7c|}}`mk_;tT  &_ H 2Tddj{RB\O|VLщ(6^S=nL^c=D0R4' ivWn 5 HOL-Nominal-Examples+)m~ytoje`[VQLGB=83.)W 5?/ ,HOL-Nominal-ExamplesHOL-Nominal-Examples.Fsubdocument/Fsub.tex7zXZִF! o]A-MՋhvG"uIBm5p]~MŊ7/OXeL\b2OvKۢD͞$'eM+eϜ::1& auॸ|`bWN 7fZ™ވV~@PkrimcjWgTbNaL^A];ZVQLF>:96521.-(%"~!tWHGFEDB@ < 7 2'glg C {_= uV `.d R v A* ' h : h! & N<5;#HOL-Nominal-ExamplesHOL-Nominal-Examples.CRPIDE/markup6;5;!HOL-Nominal-ExamplesHOL-Nominal-Examples.CRPIDE/files5A5;-HOL-Nominal-ExamplesHOL-Nominal-Examples.CRPIDE/document_id4D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lam_FunsPIDE/messages3B5G#HOL-Nominal-ExamplesHOL-Nominal-Examples.Lam_FunsPIDE/markup2A5G!HOL-Nominal-ExamplesHOL-Nominal-Examples.Lam_FunsPIDE/files1G5G-HOL-Nominal-ExamplesHOL-Nominal-Examples.Lam_FunsPIDE/document_id0J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningPIDE/messages/H5S#HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningPIDE/markup.G5S!HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningPIDE/files-M5S-HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningPIDE/document_id,M5Y'HOL-Nominal-ExamplesHOL-Nominal-Examples.Type_PreservationPIDE/messages+K5Y#HOL-Nominal-ExamplesHOL-Nominal-Examples.Type_PreservationPIDE/markup*J5Y!HOL-Nominal-ExamplesHOL-Nominal-Examples.Type_PreservationPIDE/files)P5Y-HOL-Nominal-ExamplesHOL-Nominal-Examples.Type_PreservationPIDE/document_id(@5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messages'>5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/markup&=5?!HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/files%C5?-HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/document_id$H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/messages#F5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/markup"E5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/files!K5O-HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/document_id H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_TakahashiPIDE/messagesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_TakahashiPIDE/markupE5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_TakahashiPIDE/filesK5O-HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_TakahashiPIDE/document_idB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2PIDE/messages@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2PIDE/markup?5C!HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2PIDE/filesE5C-HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2PIDE/document_idT5O?HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiondocument/VC_Condition.texH5C3HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/Class1.texL5G7HOL-Nominal-ExamplesHOL-Nominal-Examples.Lam_Funsdocument/Lam_Funs.texN5I9HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mudocument/Lambda_mu.texH5C3HOL-Nominal-ExamplesHOL-Nominal-Examples.Heightdocument/Height.texL5G7HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/Contexts.texJ5E5HOL-Nominal-ExamplesHOL-Nominal-Examples.Supportdocument/Support.texX5SCHOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningdocument/LocalWeakening.texT5O?HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/CR_Takahashi.tex^5YIHOL-Nominal-ExamplesHOL-Nominal-Examples.Type_Preservationdocument/Type_Preservation.texN5I9HOL-Nominal-ExamplesHOL-Nominal-Examples.Weakeningdocument/Weakening.tex J5E5HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/Compile.tex >59)HOL-Nominal-ExamplesHOL-Nominal-Examples.Wdocument/W.tex @5;+HOL-Nominal-ExamplesHOL-Nominal-Examples.SNdocument/SN.tex B5=-HOL-Nominal-ExamplesHOL-Nominal-Examples.SOSdocument/SOS.tex @5;+HOL-Nominal-ExamplesHOL-Nominal-Examples.CRdocument/CR.texP5K;HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/CK_Machine.texH5C3HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/Class2.texH5C3HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/Class3.texZ5UEHOL-Nominal-ExamplesHOL-Nominal-Examples.Standardizationdocument/Standardization.texJ5E5HOL-Nominal-ExamplesHOL-Nominal-Examples.PatterndocumenI5U#HOL-Nominal-ExamplesHOL-Nominal-Examples.StandardizationPIDE/markup>F5A1HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarydocument/Crary.tex   Aњ@ryF˧ ܷwl7د@R] M"`șV2|>}M}b'xR~jh/knz{pP Ocq@gkQq5Z6479h:#a8f8eb+ZY7VA@83f.LMEˢ^?R~D1\eq p44^?F܁+Ʒ&('tm8w<"ێAǬ>P皞6\dR~5pw@턭f OzT^l!] K δ'= Ƌu VC_#YS>G$"qʏ&":@XE1KCR:.o^cGnU[V/\n5h+1Q?PTyӞ3N)\JJ2V,),앑 &"K-DsIehbkxL}fKp +hJ|\a>FtkU>}b`.-ps<;eY};N^ a ĥiE{?I@hpXwSʦoՂ#t8hfB}?A&\[ى d|UL(dv ?#ɲۋ[4Bb澢%mAy_5[,0{_&n8Qt*Bd`Ifi ?עWJPT W1oE?/nq(_7ԻHx?[]8Xn_.`hOA.cC…An1(I*y<$Qi-vٔ۰s_ ث&,cĢ7\; z"ca̚$YݧI>eHE8>l$YMo,XbW6*#01DDmnVKL\ø*3車@X-)"o7ι;G&BKgL [Կږ\,v#Ƭ]!ءM-+eȃߑ~|*f_BG"Z=D|vLYѓrx9EZA" !~3 1UqLi¿23Ł_8z6b d Nmݛ+ք D,t|87ƽȢVQqd97FflϚ9T 7*asQӀ*2Kh*lVM험[eSYMm'tM)$2 ۗ%gHc=#kM:B,K3 X@hg}X*D\zc^WwE{kJ%G!ωo? k-yW?BS&ь>XFISW[c,wdAGH!iiCF5M@"]/PFub2L'`]xƟdP̖ ;D7 BnmsA$JEq^7wY ~ks^FV?38I aM7!Y$(*Rd$XD7ԧ3O[^>bzB? Lrzu$fM,QjR5LN]wj;Pku|WN)o;&7 Uq:IAenV̸(`': 1BqJGBeNQ5N!; 7S37 9U-eMz`ۤ1YwjB4-U~Igj'!<G7fdv-6yaC `T:gEkP4&HV@ҽNo+RQ>k&%Sv!RcFQx3谅7EՒ\<ф ݥ[zv9M3tPw7C2hQ\5_ygt_S>1BW!P|okT&r^euJro r`,NVS8sW<==8ݥƒfkC{I !y0-pSMX(^t!s]ڻN =a".Faqʠz<=Xk[Qdv*$۷Q!Wig7o|J$H2𘝴HzQHB ju2ɿ7xm`>{$XKnK]R X8KQaT =*bQBm ğn[SR\VU#iq;<$Km"8\8 kŞ,gj;aex~Jr «bh4a"fkneLeG#õsixmqs9^%8S"@d+X^ln:BoeOcܗ%D~vgЀ ;?iG8cHk(+$Hi87fbՃ>sS2C7>&^;Eyn0g^`pt^rv6݋_347[4exllM~Ի2&}:aw]xr=ʒm1F懩ӕȠs",`Z~c;o[&-7枓hEa3ɶΆƛ*(nz*K_arF[{=| 8(1>7;sw8qo_@Х >cwAo* M8ӥ ׄB v=O_s`e V۴/,P9Yl>Чz|?&#0j `+6Ka}m W`qsJHEJ%TPlo0+^!\Vqy:h  My']mV 5Ŕ $>_h1VNNl O7 د8vX«Z _yLPe.t@GB;:鯎/e0IN[:_uHzC j-MVL֗4B\ꬴTegIh/bo᫛"Jj$975R[D}jS_qc.=V~'oXl*29)䶁rb)O\3!agED.j؈@drW# }hx;F yX,VQ!{C|:rZ4`5)#f = X &>qoV!-*)ӌ͍,b/RJNj׍:E-AQ$l ܘ, n]g촨tS"lO5:v-NYƺO^:@G8B+vSp:2-%H+l@ հTܧ۾bfO^#[$Xг1R7K L3-xN6^(4b{w:$c\5bEx6|Ō-.4iV^E:|_{7{wluuUgUՖd]W9sv8az1a<ٞTw`2q:G;ؚv} ePny3slv\}t4Y7r͛(7&"}{l?*-"ϓz̶ tSz; ;4S*4%jԏ g+~r +l,mw71TE6¸f/l[Glx/qEoT[vkZ;)(֏@Z*z1X6b%' (0:}Ƿ0l(KQ[ǁj쇦/v=XgU_G|)Ʌī[#5t{.?RyN}IWxeۡ.ef+U:[Ymy .d٤Y x SCoX=0C swIζI+X14 MW}cuBp sV 2pGUdg[ȆdE>bGHzX:'a611<:?;0u7òӀ̃AqX (J</`g ;@+ U]f5s,Ok'W?^90QϔsWV;,oZT%W1TM9JUy>4@=G9mCCp;"~WژӢ"x#G2ȤX?tTi6*m/?FtK.'N58n=lGaB]'BD3?N4tԒOvОᤳUiRqMh9[ۄs=P+*ߺ]5|sc#-+;}nyM1{m w~e9p@eVi^#Q Q&-,84W0V h~)Ie3!l.$*%˼O]r'T]8>%0I DJUR!^ZWMr ]څQy::@I,{i0n#NkV={pff*9Kp#QS5h %ƏaC|P7i:^_wKJ.9 0N[WB,&urԒP¾V,G2 5$HCLwMMI~D! e,K;atty};@6Zzvu ћly }F4;c{!kvVK_R{;9iߊb}s߶j\wnipts :$_3zoBZ8J1t >T79r%0Vز̔~ٽ[2eV$φjfw[roumչF26:CDV }G6{ +t&1 Fr'<;(1Mjכ0_/ Q̠k~AwU%~.M+$( %%Ԉ5cȿVG]5$Rmi48otVemZ;4^EU^I$m&'zLN'x_>I%^Rv .CCq|:sA t jVr$.wlv>˔$n{-`qi5jE [`IJSX8qvb jY(-4(Uhl<}^ԘupqB/IfжHO XgMSlkA,ы##ᆓ(M@Y|]Z81`s HS:J˸qZ1i`4GD_[g`pwծ=Q:q>O,,rmSpz^wQi[0?on X!n= l4(|^4R}K߭lOT ~ h20:fUU PM)\)|^1E7})5/8ne9&?zQblՒy} ։gpkSxP,5@v#EN❹a&7j!nqY\&^]ߟl7Xoe`s4's @ [d5΀t5"sM7_qAk6VR~!<Ӓo Nr9c^mK|LU̓Yk Ň7Ix:1TQۡY~[B@0&?zyZK\_&=NW,)\zVkǻO?VD*!zY`a$fख़4=R绻e}wܦY0ՠ ,9e,|Vy=/@bUli[C+єΚ G?8t^`DӴD<V&\zp&V(2KX6t7 h >/\tKKM픔V"#8/P+@)}6A0uZ$=UXz>p)l|leV/Rary\`>Q75"2+]79_Ւ&uv1[ۿJ(`rކ6!--s)ɂ%~׆jp>g5u3oJVbjnU1duzߔ<(3i[*M;ŇQZ>2 %Ġ.zlҦ& (# 8ߢ=)HON/8l_\MieK WrHP;$(r O T>jSG%CVHq;n=(f\'8~ G 񥏜ۍrBgHf|ZR@oSw%Ŋׁ!s#s5b.lLZպ ?j<ٻpYy1):*06s*G΁"pRh!h ZTF?ho -h1ے aiQ# P~8?'"=\t~)yPd&8$zcʼn7;/,tj>WYv2Ge;mN-~fi0ENڮ`Na e[,Ds]} YǠѿa'R g3{0 hQ*; 8/15 :.{rEH<ݰhu,n#(Ѣ}IBqEgpR.PAG2]<҇n-] D1꺄k:"(E J277qc8Ryn¦+]^B!\@hb &; &6=,%s̾ވ! }[ک8m%n|5.W,a%%2MNPA}RLթ .=J[#J/m!G.k"“D˗9@U2I;< gv=6+zD2 0ȯ6n3o2WQk:Ou~(ߕl7d X.}T])Ȭ޶[-eA~wel"AhX$QIE *Ww |X{F *I0"W +8>HΧ-zH8( #(/'X-aFccv=tAcrGU#w}p`)ѻX \d X4o>kq@;FCXMJ;Bj$ ,omjytZZSIĩkBxvoN }~qΏf:xUدyU޳=wLyPU`tR4˳ozdFlF W?KxHuCM^aGm8fE8W/A:op58m @MZK|d__7Wg;[O-²+DCj٭Y:g{"WB2eős ? GSt3#5yE?:8K.%B9Ӏh||;+yb(ܴYˌ^IW%c45D5$ 42?iu;UgGWZg#Zt,2nwN1_0c]iMbH˻xטFثg%L8(4K,NM|Bmq{L6 qEH~gQ0ʉ1wIN#,-Y[_w >)*o[ Mg4Ď9w 2/sԿdmhe gDǁ+<ځ+<3W,)(9 MVtg[J{V$Y@O/P(;".ӯ߁ KNJi;o)+߹k_>NϱNg2[ƭPqz͒w=_^ML ^ivN;%'|-VEH)O)Vg(TY_/4aᵥ( {}nWya^r(ϨETdAlxD~P8$~zE@)XnkhAM}dq+̋$5i|$ Ǣgb;?{6e ƖcՖ9G,^F|>~r OVQ׽:'$y[n,2 M+MsUG fnPqޒb?+́43+N'BˠND sD3rK" $ЃB+C[k@ o 0 ?ZẐ>#8O{Y*ed׳;U@1h;ڒ щa nT]ϨI|=Zԑr0>8=H_DantцD-r膬Yoa2yE86n3gŲ,R֣N]&'t3U FC&GM3]n:0 CiLGMmnr:҉E@ G$49D+3NjYJێkt57"knW& {ϸeO:A xvYU JRl<9ȽɽE4޳@8 W{v(fMa2:d(\.v]a^~v dIPʩRܫW¨TKk6p/L'%LGxKf_8i}nhxr= /aN΂ *vAjЍgWا O*+MYHIrgUәX;X3[͙)"x68iڜsusp" 1qQh+)7'8#(2yB1h K[̤Zⱡ *V+"KKq'%(IR%z]$)'ĒpJrQ!.\ ;dž#K=ZEs+6#jf b8 -ؙri ظ%辐A0&,O]KTf |Z{OU/SNUq-chk|?ϘbMUL<$|0R&A` 9('wgZrpުp8kYQ?,~HB'dS.WߵL&C5bT~@ZE#*1q^=0U-*4FY R9Aq.ٗ%"mE֦=9}$ΕŸ~֭̔zCvݑª\Nj_W].c`2D4;ۻ+d5YtO_HO:4>hK5c< s&:c pL?dxMzj>+UX|+OW@clV /`7C3@FE|\dX.QWgOW7a<49"Q&a834Q svVoJIE8gw{_ܷҺ`-ZmyB*ʺͷp7 _*dE|>Ft?3^6Y)էy&«e6Gc]x4h]]"?wr2}S7aY!c֣t2gŸ{#/9=U"B@'3LC0pB)1'lSuH?\12[ާ#kgrͿtn(ҽ;U7\V&߿6&M^QfzLd5{ h?7r´ Dy 6"  (7i:7̗sT՟gn s @gl46 $z[,ܹٚfZϧ7?gC:IDuGҰoIeƃ4t2-ČVi1'c!f02eK,E~qDx)@W$һŝ*@KY K] _aLcvc^ P5;éaa ˵Mx7=\V\;I}*\';wεvݵY't4H~ߴZ2eJ*-mEsy>8|E.A 6h[r9wKPӂ~+4@"+ootƢX#@6-*~_b1 6Ōk>Kt8x;4Yh9 ԋW_T&OEfܴ x5oʎ@ #tEMj^<ժa?Lί$tpq0I(FӸ}%> G]()'zN¯_6`qI%b_C`8L5P"oW=ccqE ClR"Y2k6㤔 B@s:Xb^#M+|r!w/0ɗZX4k@lZA% c+bj$T4g`lg$ 1퀏 ^y}Q`NNw 6,nԀkzzUX꿞hnnΰ'm4^8y 2I~N" V_!Mixbfq.ś+ jzQ]f1"_[Yr:X ){!K\0YV7ԣl;_*a H}J꿕G |6#韛ey#]G jʜ/RhNuhm{c8+ZK|q+(A\,MOX:HhDűhsE S^nC?ܲϫY]bFt_IS\rr&6&\Z5y K$׽ RWmqPPGpNjc4g~!ufx7H&0 ?)i8CDZdEANڗR]í=ҵ`of:ՉPS2m|LmĎwO  Fh,0 qK_J >ǿ8u92#ט)GGKٽMI\gB^87F3>IǙ N`]qبG =qkzhaS/P0a(8đSy*(@;H,EĐXݷv$Cۀtd{x$Bb6FY.5|ʈ)hqպ{($bCDtBVj`0HnY/}?K>.T6ѷ\PX5d{c8xqMl1ܕBxl)MѶ: 3ѽy/ l>9\lvH9"W|d_r&wJ^މӧ71i1V8hkBW< a\-'>o\To@ )Hp/5]>qh孓>rGyݭpf U;,*;ۡew*rs?IH|qq'1@Jnv:&ZQ7+J ;3XP,_3Jz;Gb4*>l\%a0Am֋P *evzm(_ =j+*" T uI3q6j,mf_'nĀ>lăBw^ xb}ih$YLZUpH3,*;+L9g_ >ү%tg &0k0Y"#vő⺒[fΏe+Y9T e\C|5jӇ8}) Hwnڈ\>]coi9*M+Xb55v\nʚ6K8j,  v73.;B|zW!Y=7V炯GHs,f,T?|uMC<5"9N"}a,dE6+nB,V~uYX7_0Af@8TSеOܹ&uT \YZ֮%XMKm{4_05}m>vZAz,$h̨f"x\M8R,uf:!d+@6D<0KfVHf3?K'=CBi+"'W@`R"J5OuxU!µ8)Du:PG]}@2ϪQ2/%(Έ3D!sHʱabumDN}䴨չa/+q^]Q}s"jVַU6L˝ wු ֑XGk8}J{) ʄ۞,sS!ٜMuU!S{AG$ҞJZeTE"uIxqs>:fX)-Y/j8߰ؤ֕* "HBbIЙ)*|4p8䕻Ne]u_jyy1 WU(oMz}:H"*j-ljure=/-'W<}$O`;&P% nT>PgEgr@^hPm%oӴm+QY]b`_*8$LOy_ fГžȶת]loL#vA"-tڟx@cVf8}uc%l^"|8iSGc+&gJ7جJjr.5z-3Nc )uyC.y ϲ '\T~#Nʔ&Z3W%z܎E(-Hbra#-7<ݮ_ދʹ}Ne"|s}X`?C (ۘ?>†hGڳ]_~8䌳\`JrQP퓸WF& 5W=&=(ѹM6u)vzuxx1ƛoMmfl>RفUF%XVo[6*+6'j n}2J_-#3DrA~.:ȤH9>KσvgN%?7rto=t6Nn?wsvLC{kV u~r*JM,F;ܓenʠz32.+W p%z `#]>iUpUX٦*)79$9ƉvB.%Mhya{5+ L$WmM@ܻJ~|16# Ҧ}OϚl: ,Ɏi"N'`c=7vS FHkVI_:=c(# -l]XҦ%dM,!xa^?2edB%@[>]܈ Y GS?K;mff;=6t*dhJ<+)z ?>z5`#sܔYГH7)gU'>UQeh%=;yu)58dx!42XvD 쯒q#<=D4o#$we\6+繉sYz Syq/s OySnb~Ֆ}8\C!Bks9gM.)b>7uFP%! ۽H(m@tZ ک?~>,2{c{ 7pu.6 $iZW74ɯRo!߮<R?#XH:Or:6rYr񍙍KiD,'EwƷ+0ѸGd]Xi?|-m:ZZod%}6qA tK o *]_5B\nbA噏Lfe0,R<.af˪Ea&MKHv -B^F0;=iS)lp:<9Mp,mRgiA5O;H8ųh\1p{+ $۬xؓS3R@Bsavs'KSB\5\Dtq<"ۖ"mT[_s!h!m){ JFw4{V:7!;yV >BP E@>hz]&b>{Wq(`&0[CP&9Ul^=!LFnk^q s I0\/@|ăDDC"u(ثߺ$ y&_@37*לfyN P XAL'gz2-qᩲS wX/O28?bſ x6ҧE~H:(vE;d{+%LŠpЋN/GשbNUIp^"Qf6F"]S ʝWm~A!t0ccc* x,Dv KW]8/*:$Yo(ɄLDŽ`Ϟң'r1W!VQdx^ѱZEXظ+h_Ls R ڐw4>kD+mߟ*N>݊6ʅll{~t -gLj0pPOY#K 0E7@.&&-d Iw$KUBlGܛ+B ㋠5o@*k_Js?aUk!yYU"' @;x(QB% \s ִE$ovgx5_Otm.7'#(nDڭ$l[L#R28bViVϤZkͻ_u5Ӻ:GTl:fb?pF[}~@ B+ekvȁ2l aIH9rB$o!-wܘ!PSH<79[23Di;c,HkQj)ܳw-zݦQ) )-wYW&!q,2zIlE/ OGndV4Z*ϚeaD!Cd4we8~!DÕ lg2g77 cP i*NSDnU$+Dkl9}zFz̓?I? M:ӢMߥfآ a,CǗZh͌XUL$@.O"Yru1T='Mv. k|hn 6s}&ȅ9 َ~Js٤ª&1g:Bt' u~_վM=1up! ODmkM Ķve+8eTس£6ښcǵmC*Hu9Wdmw9Y-![¬S+b6mCaD2IOsu3c=eHwq`@޴za]0u}S6nU 6]b"y/BOAwO9hӅeP74d?*ѕ3G 'Ny)82(9#f֎v7s"&'}VPfuY WT>GRIjt$E[t_ZDFH[l3?X>-u+ -aCi40fh !;GAH2^s/`W7@: &]i@N3_V;)Ǒݩ% *ꬔW% |5 uau恁 q`. ?Bs}bxI"qE1J:W*,p,֒~fHΝxۆXA":о7r1%jsƈrb^CJx+(f2zfgIy8bCȠ!mƢmekh=dz@_"pWި2L3p@td՝%98:UK8l8H0fPzƤN~VrS)=; 'o|QNq8.1Q:KspϰiI%0 |bKYw׫PSam(5/N"KqZ$%9~& \9!:pY'-Ht ŏP&6ԉτ@$\,jS{es4uen X++^ӄ{l ԡ:p`$@%HAk 1ukNvZY()Ս5۩WOt=xYlBHRľr.O)q(MK[JG\ FjBP\1賦ͥ 62GMU/)KI?̉~D-h9 / 61H@/<woSM0fAnTڐw-WkڟOl{;S ] JSzdqrtWK']/2wc3rm&虘63(Fo6кts?7\|K Ҋ|srvXIpb98i jJ Kӕ%t3 RdrCfMXklz֘U))mwtCŻnI|l֊@T&Dцm=t箟ԇ&Y1g9j#ga8fNU"eC[(trk> !Ax9=-d-{2BH"Dq׭],{xᲖ'J$^*N#*n7DVdK„B:U%SjGLܵ2w픊jwјښnTV5\[ ,±a:us xe.y.F⥨9Ć6n2 4g*M51!v::XS6h⨼|]^uNY%Uub姌 7`Ns$՚V[uM&U~IǷؔXpK􂿳E4kVu7$w@-g2Z%ж8T=PYWh9uy&V(ԃ:͑ Ŧd"!|!S[(o W74=`N~Z‹n7dC.qc_kCB ׸L <^icSI;9Vm"!)HM&-R8Օ:7ؼ-&eQ㻔'X[zw Vae](Ix3C~V md/M(ijM?2=H?g.:"sLK3-LO_r@I`"L%ƴ+\5 Uybx:6c%HSOs/՝π#rA&CAɇz$N[\Ū/СPW6Zt"Bp-O.Iugj: (gYZ+x;Rq/1vgͺG`¤Lbà ~ܥ3܇'qPg?[[T9PKISu BdvDmUOj"G,-" 3y}Jۛ-> !kA?۰ DDO^RyK#J٧(I]I3Ɏ(Ndy\ @hzz/޹Kk4wlNBtF  y|ŋ*72ᛋ`,5Zo  K>b6EozXD)K UAH m I6 9KY 7VJE#Eڦ#F1#{#fodMq ._ um *ͽ^%2a݌u>ujmwhES*fCzApY }B=# 7)e|VC]Yv9A|WadZ~wbGWhGZKp ]5%qBI˶Mq l1~6:cg$zLd nَbwX- K<lbD_æW_ejPvRpA2:c߳Ezjw]>~)ZtEm \-lGQv 凪M ~W~,7ʈzlXƬ#; W 'śb SY Vv:vjAAӶٓt#!geqgN?Pm 5RMĠ$Q Ъ  2`;tN(FA6ngMRמ0Po89?dp_ y!J{yCT+S8ќwrZ-  "'N+5pYKMC!tzs,O-:)y{4Urj׏c: m1uZJNԿDw14~1OR7((c!B3j!riP-b?*`_9l$>ceU#TC=MRiX^kf2})y36ucYNuzQ4"SJc0 #qpu-RNa|oiUbĊ^s8?^ճ7T(7T{pG){U#V%"#1T='O~+Lo[/qꌸ_H@?x;J"7juѻƘǍLŽ=I roOag(e`n>L(*FS\4 Pj%W`Gg3Q]Deq+Ix@ɪqT Nz)jXZkΜA|"3u7fƿBƠj!R,:v0dUM)3QNsdK y,vy gk_0pNF=n<#hCFknj_NFӪ~BEArDӑudjj]]jV@ml'6Jz6>u\IF #'~rHl}@sPU˫W,-)9yB"n1^$>z/6va +VO\~t0Vv1*ⲦھэOf7e5[hwL'iU)d'`ǯ9^[EcڿxeFDx"rJ{.oBLd6Bl]cjI?*s<.C9\SWSe:R䂿!;8v]h׉Aoh >8>O *Vˣg?Yy܄ы\-/$+D5O;ICJ lFzNu|Bcyxk݌~=}q!`cޏKDM`nsZ n;鑪l3uZ|OFZ)&Dp}jʳU??z75"bHx]%P-ex禒q3&#:?z) *H b;XB@K}Bd +դIP1gJ,hRzw4$ݣjyy,o@S*ʲlq:b n}D"WT pl-H}dp /Hyo;Xs%3TyP᫝VuS%Q3by"GE717QjiG7zr=R:YaV&w.v[[-ͣv٥+ _+ ΑJX ]k4," lؙ\k,'-6|*qbhMٍ/wXg~Yi>!IJ.nkqmP56 {a텣e+YUUfxO2[nwEYG]Kd+ N2&ו` RUmGNfMRw2 V;{|n3S4/튪;uGr:Vu#9 Ax0xe[_Rבo!YW[ bʀ-C4Zv"AH,IA~ e J3B١<;dkoc;n|nBƶyIǜt' W} CsAth!k[gC ufwxS߅D;M#_ ˪y2e+PКg9m[Qz\۝ <%_#5ytYuQ 8C$#U_PNߦ@Kwc$I&Uh7uU9DZt%_[5b Fn$"pF*Y7.^9HRDE^'^  Ѳo>"TO'r&^ H{%1 v9>[<6)e\0ǯdS2כkHۏ ?2WĦtB7H^_}q3uoе],exCi ^  PR2ևdFÿz:*; ɝh]uPŸ24LN " Cl"p9O.oM5ʠX~%y<ˉ/ķdC/tM5@@j-7{oLj5z&ϥZQ_4ΆVUu9WF*+^ULh Uўw#%mi2j'V`*ujJsbn+ >}yL+9i#T#.?Ԇm4FX0>4 e3[Me͐WXT(*r pT7P{zxA- NԿL, HYJWmܽ (_خkq/.ga[{758~͈f9|Q5`">K{ݺdz=AT~q ֯MiEbX4`߆vnyR1:]̘M|qBe.e8"&I;sGsnW [uZ/ Q/ DQ<[-IDŐ6Y@3sAϽڟyf|Jm^`Ӭ{TEP_zixb悪/+;B@+_csv__'S*!%Aߝ:kdꖡP E7FS/NfbtcGͰh?e }ScxYO~g˜?jg>E=]"(h NdeO$SNyb˅n>)r ^۠M?J`7VSʳJ6JcXىlp@ !g:-얥i=|ozȴeșyى4{?Hs 'F#4ٓ16'PN =#΅` 3ƹaKmKW[z?ܐ-=FIӋ͇08niU_u_S 6 iiZBi5bg,F3Vl_hѧp<EPXyO>˷XO,|'^ ڭzB!8HhP%:HFok&> "wf %Ef۰@}ѳB^0!X.X #2EIXd\>د6w2 8wM"!QHa]jD 8"kd zJW-E>^sDi~^9LٛE|h0&H\UXz}e|bIÛx W%&RD) Zqd0x UfRb܄.'">\";;p%䇏|?p7 r̯LF/w]FBS'aANj<1J2OϙGMG7LL)6:ZZv6;oS>>[ u \;vi&nBA|Lb^j<7XUoszSzfY $Aٵԡ3ʳiS;\ * 2H,:Pe>k2:ĝ 8%}C xE<(~*< d۶6З*\f$m$lhzD&J7өA5 p%k4 ~M?b~N1@A1$RHWp_#|)hd5@R~ gBɔ S+]=S3< F!)Q<2H|K: A Jɦer6 aʛ9_7| ldn/[I&t"fa{p%i~Yz-; jPA!Bk|Z&@>rYg?躾A6@4-jPU<VKL rqACq#eåJfaڝ]W=qtLSݾd>~Sf;]1p\''d97+ѼNO}7։)vhW~I6|!Q(|6IpC0̦*t ׶7C?/?C빘lw^XNc=ThIYxNjw c|bxv+[4L39C~DK[ќT qs7J-.d'+t'fT 8" n&S嘱!ZCL!ܳۅ۴4T\\Mt .E2Av '8Go\{ w F՛+I!a|֎Dج⇢fl A0`@~qc3,7!m4{ Za񿷔Bo"f3>CҮDd4JaȀo尊ۉ(.>++&i\C[OP,L5Q_O2*4Fbي>t?%fuX}ؿXH:$>6ޝl,Dتr qP֯+ǦUOA"oUPfEp 0ښ- 1eB@YHTN_{&ZȺFjz f7NQK%=ŖqN==5;N +o{᧦G2Bu!8I ~| G)ř\A{vn -i9RlUg+~,H0lS6.Ef3O`Y7)8obz? 4 t# Jfm0oMޗMruCzP&5c+qתv2yQrGcZKp^{J>V?0GQIm0iv~ *h^݃I̛ d< LKQfד^nFy8[ /Zx~aC֟eyq}1D1'&>R`:=(ڪ:&2onvٸ" _ D_)]\Zٷ+Eq9-X UΦif"΃[(y(l .6ìUB̈́_EON9-0}`sToK_t,ؽN]0ENc163RLSstо{8=Џ3g54t;leK+l R@qvL oj&:yQ=1퓨uy8Ugx\}Fm1wΩ ?x[OkaNH'Z5w,2F m>,饔&B\ \|Zjw}Wd q?_֛ }YDn B ٬0"; Y,!XH0;[-Pr:,|F8rZ2EDbkMG8ִg*l#k N}:٭nNh.9ǟ"k|U/w| ~6?G_:8dTVng醳^&S*9(ܢ82PWL PZ-2x u7jӧA3E5+ő ՠTxkomθ5Oan"_ܹ?:^OjɢCw0|xZ/)ZP)07DʵizbCkG\2Q CMd&%QoٱFXxYk|t&Pщ Z Зf:8h[,_'"$ }_7ɑvIƖ؍?QZ[(Cjrk5$peZ;а*52ĨelQǸzXqoy2j@!JOO)Z@2j}*\3cQT}z5j@aP:AJO0xizJ:U7^ 3[a 5[Ba!ojZ{j?c =ӶPϐ&0q@7[Q& QΠrB̮X-]b SO!4a1L"\F+zZ}r Hf;Ͽ=dm|OAJ)Kvu&nԊ[l5ǦKZK#opj'ϴ5SjZ rOT}>_02&_x1R(5xc`:I}Y+giVU)|?RŬ&)ל3WǖDFc׷0pQ0{{d?^ОuOWKǝ0o8 ty`3Ȝ=( Sj,zIR&teBB %3y~O"k4KA 16u†;v`Na1[+05p>)dG\,=x*y8Q (/VW%"nDz}DtS Ǔ dB+ER֔)$ғu2l8mk?t#l$Bܫ5ϻ7||r.i2lc0R#o-%d~RiѬ:)^J`K>sTm'Z>qG|n)H9BS\,|B^5 vUyf*YM!pg-` s{HgYZ W 5?/ ,HOL-Nominal-ExamplesHOL-Nominal-Examples.Fsubdocument/Fsub.tex7zXZִF! o]A-MՋhvG"uIBm5p]~MŊ7/OXeL\b2OvKۢD͞$'eM+eϜ::1& auॸ|`bWN 7fZ™ވV~@P6)*1#Lߐar&># F ǎF9C2u[Pֲ;4|yBO].eg٘t/Nvw2J72 d\ؑ D23ErhQumȩ!x"^^55b.tvN|eX3;Xxg' q 5A1 \HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarydocument/Crary.tex7zXZִF! `=h]A-MՋhvG"uIBm5%^BJɟY流_TGGD/8܂~n>-,¥l2%gQ(EZ$ -YjN9um1[ѿ8 :ZOn+Ctlץ9pf4 JB,rQ dVyELvQ\܃%ʊHgv[š#З >= IAmcߠeDP(7Zm8FK^ηRU?P>ZL'2 r$qKB!|dQKU` f\F8(GQƈm>PE |§Egζ.[r\2AzlzW/+g,Sd 8Ǽ ,95pU q4UڡGR@ N3ڷB8ku`UPgYݍHf֥lq9g;/.b g./pįr r#AhŸ~J€eme Ȥs68 1Y؈NX`.Ǣ>de-\V5>wޥ3oTs%rDOJ;N刺e)j@NSSɰA=FC֊ OPʨ.HĈ> ^4p}2Y:G>24dn!63ri-iX`10kqf&\̴ q@*>?:Y@n/T QbR`1E)3YWرp{|ʞy PJ7WZψu/ *¦QrI{"B ~MaYd@ 3'<#wn(?y- ~KȋǚDP.y1Kes;=(JOOly uamkV\%/a8-\aT e+[' $6QW C@l|mt;4Kn $; Ԫ}CKS]U僎𢡊 S$mVAɞ i_+?!/sb*,),万7"wFԠrCeֆ5W'7޸U/4̡2Xϼp(uc+?%B80q=f\V?0#2UG#W֙}5!|䨃h32T&$/0Qj$j <7#j.FEK#pluw,4@/9gusJhل"d8Ŀcr 76y¾㲬sV%dtTZ ,Ęâ,qNЕQ3g~Y"4lex4Eji2݇}oU^/}AF뙠" Y!ôf*NꆒO`5.Jauξͦ]Q*κ nµn+^Sq/vnRT{^;\֠ڣ#y.c8ւfGsPB=srRSp<?jJgwz/m$j _߷ 9"/ wCOyb!L=J%c0E/vݟt'>0imϰd+^Uik#Bxy9Xc.\JurxCZZ9_AިĠ)eEܭcTtRק26㚫/NÕ1֯gg\|C˭s"dQ3kǣա(fG;i eQ&ea@۠kw0G텱O]P:䟎[ĵ2HM$p۝`9,q"ARֱW`F9aͤsq JfcI S> >R%@LU4b*2 4+-2tI*(!Ebܗw!Yy&u6)H}v&D$w(I}@pFv>XآC72]x[Tʈ<ʳz!]__a2(bɻ}Wɮ溈o`y/mW $SZ)qFmÈR$u@#MW(* 7ʚYUUaVZ/"\MBCIWo _df^%1_&WR&GE$Ok<@EMZA$l('Q)Rf%>U cׅ6uDWdZ!zB~1~Y X.|{@Ӝl. (ىeEbQl4ȪD,{Df#7n_}yiPs5.oi "w~fZ|ZEnR2K?>`QUԨe_0yߚcxk? UщvM.JCI?D]EP|ܼ -3^ 4:IРYK9h(^iZ,!u初#&FaMSSE!'?n.v,M,!EzND Zm0c̖|Dž&jj^n͈uD!.cML\bՈ }L lQCZq}=6G7wۭ~@MJm8k㗄v^ٻW+7*K\1L--ym8_C> 9UO9H> C^u f;s0C? ZN!cZqB!,5ZDϬ (98s$wg.Lh-2hGV+M4RejwXbU"2x<7}vC:1*NH+(shʤskvgd] 1 X=~CqKO|e4p.k>(Qc;JC8 S,ʷwט*DA)EY&}ev ۱~ɤCPXzYS 2 "3P?1E)f=5|X` Qw`{  ] :JXrv–3[U>)-gIa}4$hy_ e \M#r1B'FS&&9px^X>ȕj4AҪ[HKT?'hl|w]љC a a6$}Z-1xThΊ&k'j2Nw1nMtH~}g:f@ ?h+nyDd#'~ `_.vE'A ""kD@s0j)kn!xFYGk+C+P'ҁ9QtOf)SWPGuz(1 38:\8cҥOsw Ţ>> "l=ק"=`P~Z'q}BMAUJR꠻{̯ &=t*R$x輡ax0:N0uT,Q^V _[#[C"j Βl+(hW2\kM JS%ۼ<=SvUh*B͉1B?[$N% I:7P{Tn[Ct4@$DWQث{%ǰYU?>@;՞;> nPQޅi0p)kY"mMדGE$1͸<ɭxJuȺQ~k8b~cR >I~?΢ߋq/ݙMcJzA& $NP 9Sb瓴fv9+m4,T(> YU9][X`X|#扣gfCLf}Z\P (9V%,5rAjYv&?`7]C*]^RDp"#u\VpWѧPHHsGTQ>3<O4ottb4ɷ:y~]FVZDMRQGq9 hEˋTTKUC֪gBP7s-B?R"ۡ$,fh7w&3CW3_2o׸]ҮZJs/s&ڰCfPs]Wd~0rIۣ7D^N߸jDžMR@QEPXyi"=ƭ.r6Uai7mY:ZԻl&MjLQ"e[Ma~=`%,H B*is@_;w(+[V^"n;{*AFo;mQPHO闀+?G̥sDSt%lD"}e bTĦv:.2ٗWԒ~hoƩQhz}*:04zOB, &i x VmLTZ#wvǵA''u6nݛ`d6$%''L6S5.iɒT ++vژSigax,ZCPsDZft A|Tw(yΠ6Խ*%OzcBCޘ(mmߤ"(-xDk˺p|i>ဎ!NjQ=C}vc5ńWx$/,Qx7be H//g#3O෢a^q̸y*m|(ڑ ܦA'Qꌓ:}m:[WMF{CJ3Uûի.]9+g`Vl$-|z12VH߿؞_mV-|<sۻQ <$fŜ<-42s>#VTWrw)C[ jX*]2vl/ Wfks/5&RͲZ`53In>g`\ʋ?;F=?v|FBJq4#uQ0iN<ŏqм"IA(Gu]\F=z vi2X龭pl۵MMĢsYi (ߠ1dȬ`?CHU*d;dkja0z8O=/|xZkáꐯyq$o+;?nMGSS=Ją`ĉ# nGhu|]=UDZ `׌ 0 BvF6Հ !A#PϷuXVѬY > :2|:B;D1b3^jz剡Qk:o!)=kxQa`vA Rbs 3-F2% PK*hJ5[`of#=NYW/#]aB]p@ؼ΀K2Ξv+$ !V;8v?aL1.ɪI!"~Qtm퇨$u,SC %J)GJ̳nBMr +VP{;iZxG1Zyv下^ 4Z2̄}/ )T]ǘB 0`}*Lʜm;mt jU 3wB5PiV<#l-1P]œN:)^qsBx'qgm%sV1Z /OpPwyF0|n/D6?B@Q*GVV3NRn7&dA4 cc;e'5ؗ LZRgǪmaOb8f{s-ԊAH[g*<]IY~{J=9 NU|2T_ݐBIW sQ>E|9uW=-Fv01#6!Vg[[?:yLڕ .\tCZ(٠?ߵmx\ I }Z@cX3s}Υd5?Q$ԱuKjIU 9ɢrC }`x}>Oi"}qPlaChZ$Bݹ-Trmql8eg]SH%mݲ?Mup(~8hQ[$0's'څdKe}ZX='[%@K^::ONz{Y I)ĶMYۑJ>2iRnb&6d8f}è%|uǤR${ =-ظWyp͵!DiX=AZf򭻀Eu=K e )͌ (5[A.{qBìRW0ċ߇~7[r;FaHCBݏaɲY?H7ç*f}|O0(+< !AL\v$bR J?-@jtZcry133RiS]o$HRg}!zPp0 ʎhŒ] V*=lzU],'!Y,Q0YM>4Q=# ަi^?O:i ԜA<O- :jxtF!Nq`B aw0Lϊ=h)+Hb(Ñ0m;!~Pkoa'fhV^ y;">8`gݏЦ~.Cn@tz7+||6?̐g:_%af5[Tl4ո3fV Z͌4:/Ȝ eWV' RVCZƋ4(݅TMcyV鳄ؗA76UuFV?!*+˩W]W[,QW &S`魇UDޗx!}jZOvT|ܥ#Zau&+4cg-1yKwKIT6GZrPrѐkv1 ?!d] ,-5kЋOXҜQ06Ew?Tc0g1¤ܳS| `v Ez.e- Ln) z>XR'.R]I)ֿ& <InhFY__$ٜ >O0?4 nvQY4n[>_` CٕIY ciltH4U;_43P4 >pQvTrkhލl( JRVo~Džn:._:?Ɋp5j|ҵsdst`uNyJ .GV|..J14T4ĚG#hXx.lx4WГBCRs,iv1Za0C 8'TFΚ:埅֎b%@Y:8˟FA[\08!1Fj:GCP-w~%#qY'}cܲf*/ބRZ};t=[QABgtJ|M CcERA7YXjcv3 F!E)$3yKkqO;sLmhhM$K EY1$wyofv L|:Q*j<3*3@{3XíĪt(J a$|"-jX6NU+5?aEV)Iqhydy"@䖟 #}ޏH*!84WT8:tRŦ˂| u om;-IsG(oϹǼǷw 7hlOCǓ# ( mCOA 'r˿JR'RRec&h,-2 !,q̉eKyq"#_Ӄ1v]"e8 pG|g<yK[t`ݛΣHyK̽'n^k ^O4B p7mǮBbj4F`c?{XUQʁeX6KsZ۹1smb/vj!+rnﳨMR&ۺCp#4e>rи ~c (q *ѽ (B 3쇃Pʯ9q(ij"U!8<"쟨\%RZX\PuX>|_?(/KesB5y, wࡘ0reO71{ 2.Qd-%W,<<n+HGuǛ&cW,g{5 B}^6CdN-@oӽ,y^BY%8hmE;v낆o={! i~|OlK 2׬I{d>n-5㸠h}@ΌD7(ZǃN.aj78?N$Qez_e>r81f_kJ?VH5ҽ?t)U K0꼎d}bt# b-Q$?UByXEh׌-^Ԧ4!{8s}ݥZEiϡP4S:ٯLre<'9s4TT[uHd<3hL3.GeALkayf_ڵYDKOJ2heLP1uO'~tlzqY,ɡk滺# uk]|WK']Rx4`LKު8.3;T_%?e7dIvry؋@hl=90 ۭdJD-:tTNJUõDfٿwooU[#|Ⴓ1jIQ!cZ7&coѺZ:"9%ܞl5/hbaM1OfL ;a#7ﮏK ||Q~T[N]e9NC xgCɅ&8*muzN,ѩlta )gYZ ] 5E5 ,HOL-Nominal-ExamplesHOL-Nominal-Examples.Patterndocument/Pattern.tex7zXZִF! :O]A-MՋhvG"uIBm5D$%H6sD\+%D, ? RoRiDfۿ~/Lk6~c>޼;,ހ.X^A9QN5m yV V*f A>@{`7Ij?OJX rnlKnpS2yTJfWЛfU<ձ𛫪TJmiZۘUwQ ;IH1s>| g0:\9Gqb>~gc=Y`11[!ϐXv ^%&6ݧF2q>x՗oܟʄuE>-NN8Cm C)[;WTetrJ'\ \$c'>ZJNgօD+%d'}5!ϦSղlѦO$|E -s9js/Ů$~Ңa/#b)vBŴTC_=iuz7*BTN9kO^4|%uu7_%K\.Wz8ȸ$ &"(<{beR>Sv5 }Qi u;W`ťqRjgB f>={('D8ihcs U޳WJEM0W+^J^}k0+D3`ge(J=_RM1T{(M@;8G5_3 ֙;3zy?xT;3)-5|Y%)Yۃ 9C\S #xeKh9|6(;)-M;[V'n@7װ,e0W_ԥsa #)Gy@8GjspJR 1=)]E]y4-:bAB^qW=Ceb+.N[VD )x8X(s+z5$fqK!e۱: F3bTl ~m2H4D0P@ޕsn:BtpO'WvZS]RKgV# hb֛b5jlS *Ln8܃V:a]-ѥ vavv)WvQs{w\nД5Omx9Eu{\P6c-s5fGv ޒtqKG\\m=+ m0\93koSĿ=JB77&u#IdCr#9֐=OU3ղaMw".3Jj2Wr'*L.)WZOq']͉ )4AkV(]@,Vp~B9*mŃ.O/ 4m\Ohhܝt'bU)}ZOfq'ʄ*HjGFP&n P³[3m[s"0eF;P2 c S# &u_x_p5VR$z([%0t/ieEsATGn q^$b ȑK>c5g @q Յ0q´q:*z[5s0q*O4^ivlw)HPK'AK{jA2OcMI({d޼P)w=%?e'?`z3)Q|xcǣw1n vw? 0rALih:Ѝ j2V x;zCuBvCT׸x9ߨm3_# yf ,^,J `9ocHXiX])|ht=ڱ5&3ퟅfu_rYx8'& +¤x~I0"'Gb_:z hv-g Cow ɿ/h%zf/ {#nf9q)RCKx h[LX\nZKv! \ʾt4!ݥ IQ )'`od{D;=0hj.)rߧ\r"txյH`I62 .@{iOK~cuGIz^-k% @g:'Vg{(fEc^dQ?[B6x: hXlKpN,O*<\L7t#08XZD<Zض27-k)l^RRbL.w.05bwS] ez 4 aӻR4Zkيj}:n7reP%W$ICb'h !8TgO]@Eh?[t̑/2B[-/]+?| k@Tbxc]5LC\afL0Hr0ष87L8U!/ sbh}X&hH]+᥌va{q j& 9]ẚ zo?Cehm޼#*]rʴ2^+΅y623<%w~Zr,QL:ڝSw"c^Ңm2aW um6)CV.UZYFy[$ tӡ|˚£Ѕ"0o̖]۸x (41 5ԈL @sHX4& RcڌM1GVGz' 'Nvf/LNQȚZ-?P{J \aJG;Rx&wt>#r9K>Zn I/9i*ıZ % xyB-g=ȶz4yA1K֌ *Al7%P/RFL0Efa`vZSߣVDW,Gb?(Y2/ӞG᫒4ͳfw!.!G ׆%Y$*-sRLeᓚ v<%[i"× O` U}i+4 {yCihQ)3Fx8S{~gj.ŹRZRc:o95'SWúsE#Gs܋wp{xevB !{L0E|"ǥC8uLɧ+aBI1ZxA^pIv mQ*R1NX *"~f|&:EW%S֡ [%}fE>FdD%wa"rީZO@wT0KcOQr7LAȓ+14ڽ;atjy7I;Oѝ_?wV4493h}GLkCZ8_c4:W]f#26=xჳx k莆z'#:ʈ^f)e1(P+tgz}šUk c~C2DUT=]54=a>g}[39ZTijc~ْ[;F{Zx0Hy`}]軠d,#nKhvl+C0nJ HINV@ϝ;>Ur"U{Iwv"ј/N*. 'Z''* 4Y:f3/rqD9 b-6 1>eyOK'G(,՞U9E{PjH_vv³I iƽ(ϧ붯xsK^VlBa+I=eN{h*FIG;KRxHx#A[k[҆0RoKu!Ij< _1>#~] ݜd2|-Hn̔įp>O /.L(I/IB5-<rLj9m]⾫kMpah6<gP"о\FEIlo**K Ve[>XuI( ҿ:jg/l>̩_@% j}j2cɐ4YtT^2aD_ ^+bBEY+] tL9 du+hȵiPrLt][:`/%߹9pOc;6huS[U]MOC.$ވ5Fr@zSzZs4(eL?3ʆո$gY ̒&}6r\?G=U5oX)*M@UiW_m Y{G)bZ f頄bsv&,AE7aepI%(2'5˷6sE~McϔL-i|A 4 Ru2Z)z CAZYӜ/ j'˼CbOQt޵N|C߀ kשdmBk@YN~ 61|}Hr%+jW)nQĉS@MtK/r:U8>]z:h ue3] 2Tڗ*Gwցg$j2&1A8PM+2 ԰п-+H; dp ǘ\48K5 d![>H |vn61!ұZnOB'l5ÒrQ怑ncӱu[W(K1&370~1p(q |#8ǀ?ZLH3ʃ9k ~;l)e#mhum=kRP&D)0 ֫K@)Ù9x,^Unlel.d|fW#G_M~0 3Dރ:젱Z#Ƣgi0)|÷`s5+&) B-^A,ZF0eZG%2LYp&(+Jc*@`-OZ_)ב!'+a˼\r^~m[Q";l'9ؙ-ԍkB ƒqH.[lL6mp;g삞}t ܊h>Qco! \i\7!VXr>uf]ea펍uK^r"Y۔u_EW?y?yuT=|mҀąH6z69A9/N1$Z9>q,H`eŬ%V%.WcB +3 lk@JtPB4% xF?uv *i 9߼cu7X8"!3xESO|RzaH=` 5P6~ 9VSOaez am:67rvfWn)8@7})#IV&ZK.mƠt[ӕbLmr[žAnh/KhyNse/9)m/|_=z1~BBʲ*MV9_.[xu@Mjd'OÀ2m,E4S*ڿ~m=Ɨ@A)>7jjo\M/oʁv7VKJ5zKDužE4v IkDQ- -ZJw8yم#v)KȘ2Aa&Pӹ.-S7Pě֦'W§V-/%*&B\A ͆߬ m!#.I oS)P"4 z&/7llu%ꨢn}Rf=zI5)1h.c'%6AkxM=C ߫q#Pv\Gm*} Zz"#Z =gsXd(ϟ2٢| '2uVU+W'-'DS PsBT^|_7} 0펗#\PR1Nhb SnePJr#(* E!73'a䔈wE?{ۨNlU>6HYhfUVcƀ^}xQZ=33f54cRq^ P\JC$j=z7߆rt0^0-Z$Wɒm^y=CZo\K7 eX3uӆ`+CoBlxo>>ҟ+^s@8H3({+vRe/ófggĀFxT- N"M7oDh K_+ ew<9vYN).&;KE%Bb._5٫D6R1i Ǽ=T~\L2Ϣ BqX}^A\$>:kf &bgLM~TBR|ƙH{jM|.@geE sD<@N|CQ۰nS3|r0s(>SVpHy\!HJQ- &Wꄳ 3ތ$vƃ:#H”nBiӣYg\$w7V^Eg.5Wf;7`F{o54<Wzy:=^Ò{V)Sb;5*7p= Cl:+E J4R9!au= Ih ]h5V UOtV87ƴWyUUDq5I0w7]ǔu.-hbI;Mf;H s[>څwr7J=nݧ/i@ P:G?88h t 楝>,?@V3ƣx+zGGu[㩯xX {9 TRW<ܶiOfLt06 Hmuk¡x? JaVxo+1L(o^iqھ}rꌮ,g1 l@Oup(!2L_Z|[ 1,_w߫\-MӈkfZ'%ٮ- 1YtBEiqIrX3*Vh/ctߘ^] 'e y{, 8؈:ؼ6̵ ?0/H(+LxE +"H]#iIݏ>:ը6-syB>af>ܼ.2) ,mրldp-cD0U.>519 #_ Gf=pWO>uHxhӵ)=QbdǮV K96OCt1o V͛ .򧞰_kbD25}y׿w᝸?::AOM A'l]uGi/%̌:vy{#ᢨulyEZ*xXECH c{P=@(ݳ; B~YX̹d(N`%fl DJ/BI/_gjܺVbЯEI4Tks9؂J7(ƥo#? %5dZcԝBƀ{Z^4H(ͩo 7Ca2'SFcmN`;%"q*mBAP?LRm#u+쥐 Bk ?XYvU&\\۔8֬cr}IҸW&U;}F\QjЇ*e[-Tg;TI[dLQ4ӆ gù3&[< q$ !]hpƷ= @kPV ʫB6_v-Ql\٭re(H_S6ϕz_-_k/.ve{,^@TPzԕRzX&G/=&@z,CSTS~/ WaGnˤ$xC;D$ܝ%й\mbv2a,I8#.^b"M=u v / YV01u<~ (<Â۰]ԘQlh]|W+DUF8gy"tCSÌXAl<K11ʡy@0[ʑ ½E|y!ëQEM̈́ȏbp<ѹⶣpp԰Sp1rJ≅#=jԺm6`3 "{K>_7]h"-k^KNos/}#!T$K8d^) b!!| 3>F1NPqyYDҵ4 ʋh$P|#i!Xg~v4S\.;=YE)".qH]Fc5|WIUpLƵ!iquѾJҥ*g52)j ;p|xq)d.37p1.B_N؉pC*y|u dhŷI"ӽcpPQ?bh{G kQ5w2,^+f y񈟕ZLʡ DYDdOޅjJ$vva.~)!M7%0xUV5-e\p?=u>O3'{#W:n#$tHe0֌7dHcFqP:Wu2UP?S<WBz2(VA$Ǐd~Tu\fv'ꊏ!r `hk"@e!F|9Œ۠p[na|gOgC4*Q}?)g <}p<2P;DŽ4GB얅ziGaL- )S4#(ABDq֙c#l[s!. /NO_cS g<.9i+H[ L5uCbA}hkroI U\E'jab\xDI/[mWϼ.EIgOk (o5)*"VZoAE0>~^"_ ^slW֧ { 53$i70j5,ӎGx:4}ml5X\I=Hõ3)%s !Hs"a KþeS7Ṗu֓+Zb :5rtj3_y[c(39>4Χ+\~^Sk6z#rØ#ZJ+3(†0u6™#`[A%:`4))D(Kp\4 %"8f'{ix#rVAG\A!0C\wY_<-М.Ƞ>ut{@翚)db(/kHbSaf[b,۫!p&pQӂI#w RwՇ&k_'xrlY U%8#gxڰI# ,1J"p7؉?5vkoWR|EPgKsêؽѻj ٱgYZ  ` `  5UE lHOL-Nominal-ExamplesHOL-Nominal-Examples.Standardizationdocument/Standardization.tex7zXZִF! _4]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qcj|Ddž{}5梧'f _r Ni/ %c=2tP`ªԁs5W+0") 7MCђWj`Ab֤ӗ\7 K1~ YG FrèTY*T?(7W?7hγ6 "e~O*mЈfۛcT:ceAm8±1^=1Ԟ" WyHsMVn B=8MC띦Ji%gaHůKVˏ3q,B]qlo:(s_^cw<$y@ cб:66ϐxc*9"z\K)b ̒Il &RṄ}?ɴ9EÀ f ^( Jg ((z$ʖAyYHN /E``k*ɫ6}oz׺"&M u2+** \br5֜mz&: 4IZ ADPnoXķpgMt+H9.ir{LOu#J=P*C1 S@aH8R_i겦WOЋ9H4Hn .]@g@+[EǮ ;oN…sjcA/ 9J$:Zkc=ۂ=XW [7t[(X D|Sn<Æ]׷Dpm3z/㘾ĜV׽}ĀA5@>o "GYfyu˭K(DA>5*(IF%x:R:*++=sHLXg8FOWLgHuE)yֻe;MdtA͡Oɷh:U_Uuke6aGݳk*u8 վ{G'8'ݐVo6=uZr%qSLb'|INk#Jgv`(]BNjo4.YdAw^:ӡn)0+KhQ6ش6ۢL/GrTѰ9/ͤ@~f>̕iIzI+`/&a3*2^vQx̯_IڴrU ~;Jvf%APaKdլ8ibQ,>{| +vۏoPx^,=Ջӝd l~4`VHXZMw|Tu<ƛ?*!D n6 }Elw:\d=QYҴC H ;OC'd2}r^H֯gJal6x:6RtfuBJg9^>b\&%ď0@@h׾#a*FpHM{9Z9C8jKtRF(`rX~=A&ھK6^L FLmu>PYƩwr8MLɔ,Lp|La#1j s?N_N7{(9!5Y|S̷чqͯ´,bWpSQrp#ݎGC7&{=cd ;|.t|03C ,C/GDC+dmW47̝UI}!.4geDd4gZn"wy $*M)7N`y=b0ӪTOgЍ>kq~rDLmI0v+!fKHx"TPx&wIn,m KrV8XWf/#}s5xhxp=?VtUڶixhKn: fC x;| J5Rrt/G-5]NC7-GGc/Uy;/S ^p]Ы#y't/Ù+D Xݒc9bt_T3BʱW  T99tc% )̔-E'WF 0+OEhEqh^x6E.wuhʉ#ghKxӯ9K f8֢1q9`˿݀^ +z o~^ߠ|Cr*LYFeWTEm"+_T<IxF4xr,n6t>`*3"tANQHUZC`Bg?Mf^& =J#pP*/̔?F/@$%fIT*co/^N7IL,vG]3xM"_2sb$EuA</oqw*G|-~3N8O qj\%]J ;]O?$_PWudf2X)ݕ -,J54诂wM83cۋ[ʧu6a.'$T! jETHU@-k#Mf:z(QJ-223kfÏK=] Q<3%0w ֤.-OB Aݟ@6 eTon⚔%ƩvMP4`&}/鳍䐲U!O\O &of7ARn^mz!ЦN.#ZL>.dMcV촱_2/߯)*ύK(NPc%Xg*TX-m$Ԓ748yOp8RNk{W3C6%hg<' ŔncDLZȻhRc:6wdrRz~)ʶҙA4L$ϪUb:畀x7#K!NQhT;eÆ>{`,kHC^_&` H]c|G3Lwuf"aߓ) &ᓼP5mZ9}0B9JzRCSCs2w-6a꡴=?|B.޺q"$佚"V*(zrZۻOn|8)-Z'.YZLDnWvz幫nOuz'f>cȷ|FgiúiqE^pi;K|pP0:(0&r_+*bmNQI^:;50c*S)2!VԱƊB1- dLW-Lc*h̏mex5_]*)i-w9b~Ĺ62>Ȁ2< ޴:1TqВ -/(1ו(F#Lf:ʉ뗣=14s>H,l\f]ﱺ ?*ʓ,'C qc`* > ž~v[9hfJvDUw FVR9ڍ˂XݸlefV.QoKG}tm.h+j HIǻ|rȃ0BU)EF_uS8vLuUWI;r{'nO ӆ>kޤV ^¬f xST,W#2yT ct0 `,fM4w|"KJ}yzp.VopP&H\2Rlݓ U!cѺ[tNJ6LҟݭD=L?0`xⅴy[Q$[hҳ4-<+1LL{916o2;pkUR +Z䟿CcB#KKK5LuYUd_=[ g4Jឋ2zΌ]F?}e"]ю+N64s!*%Х`ֆhSre֖xز$lIN#qI"Ӽp-Hf&yaj᭡73sb6xr8q@+*ޕ=d@EG4M ZP{u.bʺ<\pb`^zZ$X(&1 W2}kWµrʧ``;(8Kw"Q H67Ib«b<̖0xX{'[ǽZcQ]wa*Rj3 >c}JrĹƥYNH"t%r1ʳ|~~e[WD1Sw@yҹ*ZU0}]37Xu/Vx7y@Vi}HZ_[5> '0廭:5\]<yT=^r7&0MS&3EZ掳O8a Sslc#hCxf {x)0r'Gҙݗ%'']zL;-rr ;a)Qpːb8߆^ؤx^?;0(/%_(˽y(#9 ,42mg:1:Bl/->jcj=u|+do5fw"R \TN)_I+h?C"Ā9VR*t񎔹El6VCJi~d?#x n)q2,PZl_ʐ:F20`dS..Z.w/b>tvn *ei(TfIspV[i HHfWiHIfIRzK-x9 ]YV #cXy5 O2j$QC)l\OJt׷qG(U-X:LO*sT{L) ^hrd5%-f*H0âd=;QnGJ.uqxkJuWr5BB`LfzL%JN_!)r79[H 35XR)GX+#'7S/J9W$X}`tM T n.btb݉*}d׻h=m.CZyaS˦NfUz8 N`E X0jK:m*"iI{4WNϚc>aFUUJ{Em?*C\u`;}sKfDMdƼa\fnM)D]O}&W397o5n@3 plt|B~D)3{o`818V\#|)PBPX㵄\\>-3 z=JS B6]81DZ;:Wj:o, pjrߩE jLV܄L9; `!(M B^/Eo`σZP" Qٜ XAw&^|vC aY`ar #}1xF͠n-"[f$3isIL(4_Z}X;_%ae{`(^\EVdYB9T< kk|PhG7~.$T)OdH7^DboduUAbp*i #dy>DWE1<Ԃ(1Wy+P#9OخJI#h0~Ru}6Zq4|ݴ}%4N!,^(^Ri ;kx,$/vPI˰$f_KBQ 4M׸Nݿ Zy6\=?gݑVB3AжYP'`UTt2bx#)bS:nha>YYÍ-$tsrp]4x30~3[usZHΈwhèGQ?\xʪ`F7c# m&4Ǖ!3m"V~Dd1>'"R;%phG=u] {HҢ>³)p*DYzB"oVV/ݿg<`]{V/N8P򔑓0B~Di(I"W~bBw9KvLbk1{U7?{V{x͜l.^J Ƅ342V J!rN_^0ӛ8Bxy=]9bY&0PJ;*b^v 7e`5Mc7u+)',4f6iESKڜ6@Tw4֋g"E'b~J<@u0Onְ Kut5# *xh(j-r-L&<דּBd#4e$`DP4BxKVa 1A]X|.2ߗݮt )CA{FW? .rYŌ(.z@6LU=yܽ V4gIxaG:↛AgA6ǘ_k z}oUUS")Yb|;DG22?%ĦmQk7$keUD&lnz8 ʹf'Uki`F[]6:G9ԏ I'*]rV'|U@KS㚈Q1m 5P#\L)ݍ^Gzdb?Q$wz1Ξ R &HO\2G" p\?N.QNC?˱Ch7"j\ǪOG`!z>o_v.&Lj\ Ukpg]R'K4ǯVM Z̎x6ͱif-B~ũO<'(Ta'ԧa`{{\_Z!X3md#g&Hu&<5h ~ǑV;ā# ԁO >Gߕ\.d!iH"$F]2Ɉjǝ޲!FJ|:ލ'g|`ȬgiUm72\Gi/P3m]% XpXG"&i pج  (i$uu[w aB2g= uR<\V&F%ۑH&SU]TP:_'NɹT=*a&ٜ&;-H32C!7e(IޛM.Ee*զ˵切IzuBN3$2$t<NoZz y4.BYJ`h iCZm S~ӣԈ嶍8.F+.tՊ(׶ui<}1DAe9n_{_"ePx+UZ.(Z1f,t{wT/&]޼|ֿmFd=&~ǧ-aUJÍ ('Q }7|9fzڥTJ~d2|4$ ⷸa :o!H^ n|M2pJe!Vǃ{|S,| rw117sT%w*#l(= Tj=:ٕ&2g\ jkkזA) 2W4eZ,H nxj3Ov|;*Sc3n_sWTE+Qux5n1uDhX׫!PpoinM 6a2Y]rehxu2A^w. oV7J)9F0$[`nK*੭ ۋF=3\n2ڷ8jCv>>.3bq{򮱻T`P?$ CkJ۾z@Թ X'-!??TAA@nln(}/8:ߜ2lΠUD^KVF1Y9˜1DpSWLX)`Y VMJϳf c݃>d1Qy!l^⻣)Q{|hK\`L`X?"xAµO7kWzLlv q^-b3zֆPz]tA9kSh'Lq`"qBE-+ i}I&WA%7D)Q~MV^ *ng|-npdvhd mum2a|f_,J<ì.1>[ϱ`Z˾Z- Jy's"XQ%rVigcX`+;E:3eY| [ v\eO=:6Q>*_? RVbP`մZ N:8C(_aQVWW큔d48aBL^ )4=[.zDΗ2,%&?qRk +6n(]ś"2OQP_iA5H(oMFg/jEU&3D/#:a^V y7eAނͣFǑ T6z{R15]Ԁ_ 4*GJ6h[>3` x $sbUTӂ r;\`s^񉋪Z9犑7Hsا'ӜFZTݿģFp;GX\UŲnyѧ>3a[jn~Y3,]d)品.`v` \/|SfdCѵ{?K!?W13|Yx%'ŒT@ .4.P(#~$񝩋EɀSsBnnUlv, }8Y; ӬhdSμ%g +=n?7tu uhz8k7嚝W^Ϟ˼1 6WKD4BFp|1ʣ+s3qqrn P/a lew~KssOcWtNH3JmXD@є[EA҂@wgEnRK tŚ[gOq3S|ɕf#0A{8:Xľ"R*ylFox s ƉyCy\V8z}ü: @_Fn]M n0d?ʙ-"EVs*޴J޿v>DQ1'R{" G&3#ҭB_zGn\S]}QQC ~sftV_$ +DN?R $7@:GB;C;"BluB4)N2gPJД o3'e$ yL`t5- 13t _QڙvCITd0}gp/UB䝻r84' ߐ9t.[?zqb;^5p`ΟqbqtmLTO Ҝy Lɘde FLJ碮N8Ca}t.x܉J>9-7jQ9|WY2χw*A.U 0gEͻk2>+v紫0niر9T6$ЪD;F6#c w,[f,[d~WwrUܞ> *LTY5lNY+ԒdP)<[>ME䝈`Y6x8B}!g^uYkYKRS+3]JݢYKTsȬ;CY5SMbV׫cUB~^htiݶp{29Q/Ŝ;I2 =-kY$eqy}/z$yTIzHxZRh?ח!>ҍ9kzS46saO ?д 9#QTį~?߱2I.kE ^IYdB[ N*ƀaoFB XRAKKN2sLe :ǦSKHWYQϧۂyHPﳧ2*= Z96qWD@)f:%4SzpSۧ0#ߨ-ڗ%nJZIEf43ůMN-]LH@&?" GOT(]<NJ",(!~ $C`60 7 . K$^@wugI=]J&)s_T=Ԑ 2lg8_\$ o^\ƙjEr'>c;ѥ9zÑP&gKHȳDM N9/R*E X,ʣa:bu0Odh/Plbn_ gBNC{[ !ǑKcGm!oΑjxs=Cn%3D㜖6!EYaw賠 'CH<՘㷬X%K&̵|1HQUL3Qh}=DS߮#W:'E?Y'ԸFC3IEѨv[L1Ro"F] a6pt;(?5µ[|:52W0h>*mR".WxN_Je)_1iMfd 8UoT\ #(5%SJɔ5t-=;ְ1 Ɯ?Jaa 27qf۫6@'.AcK<3~_ KRdf2H\Lcf&jP (7t bA?Dҹ*]R-~Q9bķӝlCFsB׀A[zN(}A D ]حc)gmlDwOI&ʥ-0t'`@-E岆"tjW4R%3WyFS 4f6.j#з:k# Wrְfztx`',}krǮot ]@I%^__6g ‹H%9I&5z#&ŗ) F|.wp @f#8FKZX-g؊.%+Ѷ%3|s[wS庤ò%>NdָC!xs.)[E^+жtH-ۉ8k@{y╥zFy Hǯ-!*GSkIlER_.!E'ŘqwlZ1H_fNck1dߣĢ}܄Qs&1Xwջ1‚(6ױae'{dYބ%Q# O8{}X,=g [r vg/ sEYP