SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsx h~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n ha5K' >HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`}n\(:'rxO?Ҁ9D2HIvS@藏Rj9 ^[R` H#h&`MMShJji*jP&&=LYR&"dM5hM#yb<҂3_ vIb3yfP -hz(T\p J DiQD I 4 B'$q)RŁ,I4 XB3@__JB"BQ`$KZiAg,jЬ GZJUG!!iTI"1=MY{1ef1UeMSF5,ӝo5Uэ}yz(E|5EP'!dY),zn۱w.;.422DC; |Ʒ_l;:"붗vv" EvpXx<ּ,`}p"yL׎ʹ~?E$ww:soکC}!<W[LF8lq׈܈ȉNd@fDƂD& Gć%!b8P*{GwG^v8 @]sa!e4 (2y&\{1)ٔJ/YR5NB)UCR5l}x؇}xظHL33zL/yėV8а8p۰a"WBaV例Ţ}oCBZѷ/F}a!7!⡀Q@Xm6F: iEҊTZѺGےݖ֤HKuHBa_ɘ#{&bZk ܮm(TP&*1R-PTKzXTKj7` _+"[:ֆ|f0` z358f؛mۻQz(0۹*UO<766xL<zUQLvͨǨkbM\)S.yjyJ}w->TR5mjizq"wL3e3H/2Hl Y"HB!@^/~?u89US#IRRP4Sh`yJaA"i,P @ 1< 11s75~ʙ]u;$y\+5+uKlCVnBo_VKP^)6ﷄ|VفwÙ)HoyC <錣Z9h(^c8Q9>o{NsA:Ls@SĔvP~ q; *BЖlo N U5K% (HOL-Nominal-Example}$]#N> ނ|{xw[sXnWhTgJdI`G_3\2X1W/T+SPMKHEDC<;:986321/*z)y'x$w!r[ZYTFE D ? :" }|{wt s rnjfec\[ZYVSRQMJIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, % $   gSo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   k5| |N - UHOL-Nominal-Examples:threads=6elapsed=339.417cpu=1660.939gc=98.792(/-kz:"(MB? ʴ][5)'7)KϹd)ܖJY[:b#s,M)r-Kruɞ;S' ͸XY~$/7W?eJT33dSF^MEH ӹ\K#X,ゃC )GRIf+hhxpy&6e# G8ʫ:*- i!  !aur^6LcSנtc6J:*&$HX$" `Zd--CLjBap@BBC1yr(Sə:b,i \˼-EB!PX1|b"t؇Tt! S,5\э?Ȭ*&q?CS-8DB rDMY pX&(=^A!a@HYP@$rɱŊ8ƻ@ Wg/((9$bAhРX1'u!˅BC\  :# *9=z*b X2HyQ84HD$>DD 8(݊ łCÑ "Ă 8P@@(@B @ <@$P,((@`  , (" ( @p,LDfΩ ̕KdF*12Nxu[GlDfʬS֐jA֕QػR]͐#WH\'_F~!שDFk,%;t\2j2pk,Rܝ&W%;ZJr/GGv~q샕kjx\sV41zUQ*uG2^-Yx,;X|{yoOz^?:պ7OuNܩzb9%IU;LL8JGo/G禍нM[ CKg/d|2Bv9Ov,uuA{Z ];6،U[D+Zb4qoH|Mٳ{y#Zm%ڰTkYyD5 hHūY߫y6h!N^0q#c5[F+ mbYkUvOZyUhb7̟KbZϮZSwvg/ng9^JlZ\mx\G֪C佺Z6kzee%r]vT%^FdU#ZeZ%Zԫ$kuv{2|&ҭ7)Vh,t%Tgx4E.Mr\w[K"Omjnf*+by"ulS3KBkp(}qnjnΦC7cfӦڭ5w}M+ ~Yjo nm3f!O{Z؆$%3t:'WiRsiGG?l$FUTbKd)L&2TRdQ6zo|s㺎="6M dtY7mG%dDbosicDWg+}srWWݸ%WlnZCVrɸjgۆºjZ!%0kVZJ=4vgFyRgASvWF"6}ijb8.k&aL]NvX&ӽǤӤ)6yV}}e[%C::Dnr2qoB]B4Nf{b[DĜwWӝV;Yw{蟳UtmpLS#'-~^ޕ5֟VWuh]s3fH$êfa]%Qڵd%ڧ~j[fj33 MG^E>m'go9=UzzR];n~]۩:drԯ0ah4  x4H84L4pD $X#atc_C5~%m$W3WkAV[l1\:dbxzshPdwLƵUp)29!ݟV>?UuׄI@D%FA^@QU =378+6N߬eɓ UxY&Fcf%zؒ +cXge$-0<F7Xi,H:\iyKTc &d29jA}INNaVm?r pG^KXԀiA<ʚagIFJ œbѐ\ X16zhr񏇠(p*Q% :&?8Ozp'* a:v>m؂>:⠳YK;F=Gk ԑBդ> 0%DuDEA=;bԳd1NhY)V2K(͠DEZ&e&nz^&7#x\_I];{~]dϋ.+f%TI^ *K"͠|HO9y # Z9Z^\B607h+nk2<\wX|$BBX^yG Ɉx P  +c'| ㌰z L" 'VH"swZbn|YFʨh`ׯt襡' 4n_OCLrcG볾@ЁE w#v-!0M_}IG[g x^ixgɪG8|`Qm+b-C Xt+;cQa;&yA(ܸ\r8~iɎhP| sP`%- F6(5f)uiV)j"Ft \3%ljqq|bN#HȦy ]D=&!kvv"eK- zn,8)^F=%p]s`Z7nB/SxV)LRik/ Q`_bgb$bJh=,05t4yl'/>Lls\}pu%7nmr8go%uŌxG#| "k7 KEEHw=(c<8ZDݘ[\(UߎI IW>[2 I ˢ I=ʐga!M$Uq˜! {jP e2) HmX T`oqY/${0mkbCFEYO֥.d;\mde\_ }ѹC^!˘3>X1ϫd?dY"l"B~g8}lmJ+$T3D`eɵO",JS )y> 3㉫F.J.LѸ.+bh  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.thyi>ڮ o/EbKGZD[c]/CfW웅xY}42/C.pcˠQrmLGctLS3DѨ3$ ;jsj ښYpW % Eļ|39WsXhsH~j2I㠾0EOgQ62g7u }H،̝axWZK=2\Lt."a3*l?afDR׊ %SZQc}+Pl8[[Ndu#b¢Q^ \:p N" A=ZE9kplKWyPT/!)z< b[n+1U7&^$5*U)1JwB&e;'N9)֧6.( N'mٔ:i.[N• V:F;3&>W #=C;4zFR9_<ǎ ?R{om5=NJˉ-UzYpE FZqyQ6P.8+:mT?!utWTmQ^gqn8n][3,:XnmO٬'-Y&[[ /-뫖%'qcG\-K~xWaJ}l~km:deVL'1!H*Ck$^\<{.gֲuH5bflhOϣm_QGEQ82Ka6{d !#5!S~8hfdW^-a؝/)nF4gV&G6[3gc1//YHuaܝcoy>'s]vU uP+?xtGL?TlTϒ%=iQoH;s d1 8~Hn'eGw8@M@lD[[r2u Zt+n~$H0v `Rkm:Iha^#p śp %p*bڥ9v0$9:fc?Onf|+tE4\(w_tg0H֣9cN1D6=Ջh,lI⍛w=W0ΆOxTȪM wǸq\=7QF:7OZ }_$:HWb3*E&~#JO6iHV5)8cdgӏ XjǃCQAva#/ hn*݋X8QF» ~!l~ب?n<|&ǃ@Vp᫬2 GٱC҄c`7p<e#.k_Ԥv)U7aPjN2smc^uGQh^$ xu(+}W]Ӭa2x8*L<o(K95h4ǭ7UoR8׿I>²ߠTמz4qZڭEҕezF|wb6B!'yK) ew AR Wl?0'/ T9L,yE`9~&JBDlO(z$QТa vlj`&> V;GM%vIИ1NjcSUىP@Ҍe,,3eWv& 74`&=`#$sv׭\W>-cVAk"vaNV}z)sʺ?uyUŴTF|5t r_)&{E1K7ͅ%oM#ma|`inY@)n-.Wd ^.[.5{v2ܭJlfqщmEL*Mq6ZS`y;BUx9Ja@g,cJSaw/JknmUm qݖT+=|Ru;6~ ޲f.ckn<7#:Kt7=7w߈.Z=9tQȵ丣8\ P.h"cHM=BlT#ko' h|XIaؖ2QW=r ^O8Z͉ rUT͸b0aPD(lj=L`i/~  *`'m=zJFpb8׷z>=Q÷#)9}B.j7 ].:'9 F.7]T{o 5ŧ,)J!U~j> sfxiqjf,u7iqSMj9xCI05E(xXS$K< eꙢV}ri,xٚvL1c@Y )c*/kq-TdR&ܒ(4[ŋgKW6/C>''{c/So*%H[o-Droc\!u4ꌍXIVÁ*J5I_O*/*k?&ul&&Fcl+[UVlɐJ]']k1Y5HZ+OzmQk6Ö d ?a6({5DuM槢LuI8.Ir#.ob$ 9xLr!ʺSTenT >b[χ|>DߌSH!6f,eC^?Ҽy^Ơ0Dier$қxÈ A oϼ[Tsf4R:?@+\bV9՛U%.jb<V+ü+L$nDTzXh\m81^=3܃YAC7;[#_(417z ueAi<.k(ĩbGxd]$9~LB[@>kj7-J*vEiJ[s؋BWϜ$q)M?X¼A.qx Q !3ŬV4U1Ő 20$ƩPIg j]܊HHQ vҁۼ%3sfDԹ`Rc&eoj=vzEd KAM Xq 0Ҽ"NڊPFwي<gIDG*䁭2@H?FQJJu-J6GElJFÊso,,)k%7㊴ah |>a*<;<1ʮSye͠vl ږҘ` H1FF!bONГM$ݵ` >sBDS9kEIIf1gV q*NjasҠg VTw2E`k?jk셻dc;r QCx2f^ Se7X3cg1I97̲O_EL.v ɭd0-~jǪI*] (WkX={SAR&5{_R~/rl<a;XlGIeV :HuQ歹@)[+A31FXO ~:pT7MXB/^g!jP!v~y'VXbu YJ.H^**E1QC[Or`k. T 2XKriqBոWz`ZGB6HeV'}%e.5D Dk%+Dه&b")!WyK j.8lK1Dױ-;Zt\ <0]"CH ](pLH' y}Z懞c:exRda b 4(VP$OS9etdt?ѥݺ)S d@Zpn} sQݸ^!Lԑ>̩Жu8a.R10 NHBV4ln#P ~MC}mPP=)¢vIxf<5l PI6IR6F6ۜiغ[R~\dݭ>̬W4BP'ՃƪxˤTH@d%hC|I2&K&Str1'vgxkd1AtYLѳ^K C]]^ xlώR0+=D,>l?l鑒5M9;.Nq.>ne&t:>ZtGy3l߀m!Ap BVL4 GS'~' s`k@MW/ޘg|g$LfR% :W2Ma1~MMJLL*? jOsfR ~$d@ ^eFE 9.%a1Mz: %WwK1'̭țCLD%Sӿt %VB@.P9vszbW,rve/ pF4xxEP >[n لl_R~YoO\+e) L<<2QV-X,m%0{eNj<& \ 23-@h!PuWEU"*\rOKk* kV Fp6Khр} `~@6 $-(W iNk;'r6"0!Ad,7V¬byCbe4_"XR][f@Ħ^p`俣H :oŁ੐ȷI&#Jh^l~8F6J&E>XDfE-ZajJs.u>Q RuJ}fw}`>$!T'V?C$"-0`V#J]8l!@(JGbh70,nDw._(9֞ସ&Orgs!}{U+p@L7q3̰X6o{c.=HƋױ焤bWN% 3#(^T0sJ[ 4@ݍ ]:} e5=XОi2ݐ΀nE v._B _>07>b&c%90 c %,X-;[9_aؚwP+Añ.Hg3 \o:{En thxOQU9^VrZC,N}~:=SOgYb'j/zJhd MȇC?C F# Mv9a kp%V}J[Sx?>lw*SO?(]-^;w@'æԾX$$zZL6;-5+aY=OMwEҬhtͺR&R 1H ϛH1 {ni_ o#xc (&>EX|e[amRoB׭],/6h@*c$Yv/\g;O cZ/" PT $JJڙ9+ҕwS@굖9YE^i^v2(#O:,HAaȋ/]x$8MjMh, +y}u/])G$$k0q'›Ak*m|cAP9Cm @Y}M #kh4Zّ_Z[Hq}FŊ!W Kߧבǒbhrиdfy,$9D@5L'q/Є[8GUB12F>g_Ȭ^^4m%\U ¦1[? ^ J^a5K' >HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`}n\(:'rxO?Ҁ9D2HIvS@藏Rj9 ^[R` H#h&`MMShJji*jP&&=LYR&"dM5hM#yb<҂3_ vIb3yfP -hz(T\p J DiQD I 4 B'$q)RŁ,I4 XB3@__JB"BQ`$KZiAg,jЬ GZJUG!!iTI"1=MY{1ef1UeMSF5,ӝo5Uэ}yz(E|5EP'!dY),zn۱w.;.422DC; |Ʒ_l;:"붗vv" EvpXx<ּ,`}p"yL׎ʹ~?E$ww:soکC}!<W[LF8lq׈܈ȉNd@fDƂD& Gć%!b8P*{GwG^v8 @]sa!e4 (2y&\{1)ٔJ/YR5NB)UCR5l}x؇}xظHL33zL/yėV8а8p۰a"WBaV例Ţ}oCBZѷ/F}a!7!⡀Q@Xm6F: iEҊTZѺGےݖ֤HKuHBa_ɘ#{&bZk ܮm(TP&*1R-PTKzXTKj7` _+"[:ֆ|f0` z358f؛mۻQz(0۹*UO<766xL<zUQLvͨǨkbM\)S.yjyJ}w->TR5mjizq"wL3e3H/2Hl Y"HB!@^/~?u89US#IRRP4Sh`yJaA"i,P @ 1< 11s75~ʙ]u;$y\+5+uKlCVnBo_VKP^)6ﷄ|VفwÙ)HoyC <錣Z9h(^c8Q9>o{NsA:Ls@SĔvP~ q; *BЖlo N U5K% (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 %R; `gT[AaVP~a550ʉH@lUND9DD$c h8 0mYEMpFVRt;٣1YLqC(L8hIU !hID̸q;Şu;Nƥ*PՉW47ވ@Aw^kS㎥yyzԳyw-ۜ=;|1ڽqcnrACCN`9  11F"&N(D:'k|lS6|A"f ؤ}3'Sūg,xDR;:lgeL:Hf {90r@$Qj^oʙ c.HXn|}Ms$KggB I ͚z;ĆUm@oy89j,i^3sŠ VC -bL\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&Bˢy˃Mfgx_W)k%ZۦUNsyL z8T@bBiN\{=R0Рa3x8!@RB";w扲0EAPJ聘9H&4&*""0 #8 0!4Je{]6RX!OOvͻD.SR2͂ѝeߙ"7aSVgg4o\zo-bŰ-ߛ-LY=yڣv9i+E8l{Y>3v_ޅsKFe?=NsBEFI,Tm/\e%QʖtvUuR#"(EQ'rɿWp'*(nvSQ*-fE'Ԇj8:3|V`*9  N1ල tqZE wqOAXVS0sdzgy"P =V9 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:/XJ)8-")M+\4Z,21yUC8k89f4Ef@ggr~%jh#{[8l$`vθg Cn T(õ?V|J)䑫zКWˈW|]29UKL8m`_LǵM<- % c=hW pI!ӎt܀vn/P nG)gWB-^o527МJ7Qà 2XJ epG{=l7S ם\o8BIsY'3$ˋ992@^S_Rۊ=̾tz c[yQNgK_dTuNkװ閁0<Cg3fjȽրF 6|w[pu dg,e70:PRn0n4uDȕe=ЉotD娵i&duT,t|]35qUMIæSDq.o7!QX:VlOb%S,R#=*.\o68/7!f;Z:j]3B  g@Z<.Vl#'l0WR NNZ8Ԩ$@yhG"fB3A`H\iPx6&z23(񀈔*'* G>TJ'|ow!&&?&H@rQ@,kQ4YM~`rPS֪V"P :oc+ݰV&.UzRmPa\EWn;aTtP<T! Qf9!RCF]D-oت!aմkh{:b]cL 鹈D͋ux+\@T8V`,".kXf,5^o\ARE@PFX/0I;Y-w}(xlw}fs6s0N44jѣelSܵEL`eRkzVqyVp7,<yM! os@%I9 ٌGa@Qxvǣ9\⫙U|fN33Do^B /d?sR _``;۬K4fd4F?p#)~471BvgJ owKE S7.2f-D!p9?0,Aܡa/GDcŹvsFawW)U𷓹%O0Áփ9\b%NQb6aY3q\sMEʀCi8ʸҜ$xTkHE=k5\P1FeJ7 YcD!  t'q%Qό+:!:4Bl(-7,ޔCY"GJZS>5.7"ldc@\ XJcazq܂GHZ$1 p Htf6 U㐵kR$# w\w7fhRJCJIi /??w+HxDz@K6[&Uȼ)T° 3{Z{=sl#\El=v!1ܺNHJ~=)B]fr5?$F,_aMnd^Mmy@?kF[+X(QUzSiD("^4xfpQ($VgÛW9 Ik罐D[$!nG\rY,Eɧ4ND*ͺ+bDSHkćq F\2 jĬ "cqϩh*k Z6R1Hg鎘6cb[b]8ƁH4r:\LU{?# K /&&0q1",69'vG%t7\&ʋdAy^9bڭS煾v[ElpBfy,2[-dQmjf@PU9P>BUb"Rl4cx /^mMdN#'rX_!< kii!I;=k< [cmƨ%_i7}{L9'#䚱J-M?#J6[=/ FY0?u)Llwe%X1p,M(˜S'QSږR1Z릍ufQ4`I8`wA;9DC.T<=%$`M1nSܣc&^Dqm̋(56 ܦL !tl:ʟfW  9b)B.pdOV5t)G'Fj""Xv)>S 7|D>O]M%jyiqHj>&A q۲HY[l\DZZuO =A:h G|i Ă0͌5=c6F+@&psJ5t!9q_-ɲ Ȅj͵ V!i@Y2uoԁ`.EB3ވ O) euGbƯ-%9!UίDl5ё7`&S!Q Y^J#8D%r1QQA]r2dq˩D~WYݖ2F7Ű __{19S 6qՠ0XzbʼÞC: p;BUEZZuVuX+g֖Pv~=|y%Mfo>;0 B? j;h$ǷB =Qho;@hhЬ0 BӅi_d1Ε$e҆D<L[n+ڪ{~>ɾ]mh} Ո> [1>n4շ͝p^ 3\< r_q2WB^vo)ԾDsG.es8T:rz^J=[o1Rp9p<`[h>{hCgS$Ź>aJ7Np[2.s'XiUJbC{lr)3)f<.V;D׾V*WFlR᩵쪝&$ Ƀ|[@4ө  m>m0*p/aѓ.|ՑT`_CUo{^yup` =?_664x\n}C]|4udwſCLG|)n,68n$IHah2CEp4P5@yմⷸE7! <8xds$xE} $磻sQ\e~98tNJr N+$_CyD=hF^3[vn[DK+$~϶%iDDpgc\rgv·=0RN@ }L6$)+V`.X!2:bAɘBSB ݐ]"BT@S?K`2ã)f6?'_lj71Sha  ͜1~_ֳq TVbbF[fP;LiApsR|6p8גgwdhHk1WR;4$Kly<ZL->忹_pՅ2AqunNvosiqe>m5Pȩ兒:LxIǡ#MB˚I*qD k?}2p^F[dҚ$$vM@Q.>K8.sUO܍m*$;oka7)ܝ,1}P^q5wCVeB 0G/ 3c6zZuH'WeB=UAc"C^^@\UHzO 7UZ[*ফbyٮKv8PoC.̦>XH#j] 9@h eVoj]({`TW[hrNen6V8``%NWrj}7*R:vƀWY#oiXM?ĒNJp7wS\6EV܁"Ay@Z=vJܿrєq z{Ƕp`V<1!Yz~WwoV|@-+Lݺ7,vY?u#&)I<ˠՔh[)7 FXq8I۷ zUۯ8/ Pμ̶kI$jYHY),&h >o$CK9qr%/P.m/dlv~"t rC=:vN:.}^oIi.s0s]k4DoS$j\&]QKxiF^r6 ^huyS 488Fa 9XN*K':!Mӥ~c,M#7;9J`%3۰B|Ԏ_lDج+$zh Z̋޼jmYكW FN9-<5=S:CxB SK ے#e3 ĆV7*慭z h+8LWŪ*+MSkw$ F S9}/}ia;Bm!;ynAeIUBve]4ɊqHk_e GuB'/JyM/e) ;DN5+ab/pdһZs{d3b`'.1>~YMp_@Rn@lP\ފ$| rFjRqk9SLMte}!% sgkƂ4?Wgݐ_sv[[Rha`,s1bGR2:ۂMWqcEAbqq[%K_}@ݸ,8Vӓ8?}%}~x~!7 ԲعAocGA>)ӃQ1MYe»y bm#DrX"3iLݷ*XsHA>P1N'#V=Ξڢ T nsKFጿS@ϝJc\82DWL\BI}5ټxdϢ ! EX@j,3^"[Jݷ~LE{y91(AuS`2G`vBZΐ ;l5G32(lxڔhhPjeգE;JVJ~UcsV@Ec=A ;!,^ bp=xu;af?; i>>:Ypk=LE}1$mx}C 9$%(^x02VvR_{gto7R˨dz<ܣ3ST^Zһ_#{UH{͖tF[ ܹ:̟ۢcHQ<^Wiȏ 2KWpɬaFֺ𐷂$ZB_}HW^j0#6$o+n ^$dbڥdjJ.=Jcuo:G.,Ntzs9lK5&mCjJo45^!8B5js xPp@M1hm-Gm/JcOMP1!HK:wiQ?wbP^Ɓ4_?OFBr3:>xz|kv;aCf+{״{$B(ap]V.̾<N揦/CWܡ }ً{I_}k˖kG΅HcdrhJK|\5|9;,e$ Ov=핑v `S6Q0/I7 ;#-TUl6G4!H0m푴 5 f: .&3f݅Ki3JJ~~i3ek_xa_5kKR((vK$EgS+toOJo dAjOi Ymu u{q:؟]A8x5nmGd2pMIȡaϯJ?4"w)3  &Ypo@.EjJNt]̙v8a]G42IBj~pN?2u:ᇞTN7H#lIR'RerP>AZ_[Z1\4]Dq-m< EOQ痣S#8([PyT?)E;ϜFf;g6JqDG LJdз=3]sޅl(2ԅQgEFK^0l蓧YQO=~yʹ\fh,yӺ*Sfi=c@BժU2*L8V+ a^YS u12Y G,^]Fvtw7^s.5*\GpuٌYQQWoY[Ms˯C_|hΖX{WQq"U~ '5bYw<:J; {Z/-Uu\Ɔ h J>TB_ԕ uk+wK@WEaLj88r&3žݦ "L׈*r$m8ō&j{'ZcpU&(I?}P!UC x~ ѕ&#mzGKG>9i7pMvatt]~HXrRѭ#]ہ?$jMfBuH6 ͮTW wDj<¯kHE-|c nm#8G%o !gP:˹5~FBM˗cSa׺LpX QZ R\ S M $#bV9D;B.84h~+'"{d/7ɤEeRb :41]⸛Uw7a͋/?xS̜3S52|o~Ut39$|.PjǰH*7U*`7/VV{yO6ΙmܤF:yr Ǹ:S=7ӣ4}D~$d4kO ×:U| CFUj`tx"&I^l8*EDcV"w2tr0RI,Y/RmD+Kɫe7XAR˰qj\J;mMeϧ:R 5PH*;WXGffP{ :&i\];Gd2ɋ B兯* GEf7[pQF,R5Ѳ:8;G5WūfgycUm6SN>\eU˙d  L9 ]1Fg6L+< ۬^M.7e1ޕ;5$"WjS#k} ͣ$XS~ t@TQAB2W&+J*<9tOVUZC]R%MdUk:VUfJZA{ZITx *(PY ǣMEIlZBTxPdU X0eO*16R :՞PSόio".zB*ܪ6fVXUqvU h֋m4N1qu5g78@G\1ϑ:9RTrk7dU^ZZP;XRgL&%ړl,O;jc኶}8Q:O')mm)B)91! (B Uѩ8i5~GJSUSTr ~-+*؎VmDmj;GOe4˪~̤!o֓ő L4aېv"xx>%[]pW."؇ҫ;nq%c}?tWMI.+àRVrSB[(ۄ.aBһfTfnȣkJ`PPUid赎"1$VITB&qjM?{c{hN[,|:%fGR0:윂+9E> B[sѬ$^Y̢^y{ӏPEtۑaM֋fɔXxw$HlPu!ɤ {K+,S4i {#KX J+*FEĢbWE(%`br V^7&,/LzE ))1,z}T0I l" Tpq8!%L RR7,bU@Gay-J^ܘ\LT.M ^X@2ص "(Dʥ*8Πu0ٰ={PvaSWHi*q'pxj!k^>V8h+4N낳[a[! Sm  ZT`,up2f. P.lhR|Fg+R J58jn2mohPDf_ C[-)BR@I2Y;3UMnD52I4K*Lt%_[@u[Y$OއyCC;˂*dhF %lȸnkVP*mObtF cWmg)gx|0ղ\_%e@ĂtɕU^nm%p#DE`+e5ڑJ"xS IY‡4X]^4X⯵VHi·^8 QzvSZ~5~ީ*VnҫaYѻJ/VhX.K/ /b{-Z-po;.%"5xҋ5 WS^L1OVHk_2\`(l=o jT KCӊ,VN˴ ZӊE KpgU Bn㥽F{tu1ki Ku`E}ackiŪ$+1~E~AUaB{;eٰS^]X-*{U[ jV.Oǀ/O'YVp<ԉ!Od:WԖi.z1Vg*u#Cm tpC\li :5mAa++jʆxĨ ,qN&KnGl!ujbnԩw^xRӭ4*UiUAR|Ti'a!T\!l 7Y,F.j Q.'h9-QU&qv@vLh5Y=RK]UQjqv05[P7 FglSPO!AcY:z~pm>LZYqφ9>Nl0>4Ⱥ!)Bn.E~Zp[+} sY]<;^Iqe]c9) =镰{1 C0R ]}-Ke#ʉ`+ҿ{02S WRIccw#kTl\ -pLL}qEC5SDP!'v VރL3L^bkSyBk:Vb$G"kܘa y[R`,&nTc/Iw9f16c3탕)9fv#-7bP >@f?\NZYf"[x%zR˒rOփ- Z0=Q J@oGaᵿXF>2$*wiA."um+S Fv֞gI%-%&p4kn(cAt-J"ųx> jXSIźZm΄"s-sARX'(̕#+,A-׈'gb(03%X[?Wq42%%v`([JR( e&ÛJ(B5v(cz(H1=&َK, ~Ȉ6nfut=װI~[(`uA)  &&lPmx9XpnN U2-} =#̦a2'h"p@u&n k}:PRs If^uG^K7h"+5kE`żif?¹zAN $#.J'FEPZ(HJg%h:ЌȈ#ĵ#(Pԇ"=*'m>`D Khr8Y m.xԕ.59(a);+ua#sSQW?֜e76k(2CP,LJDFPB7 ή 1O NSĻMD8BgT|+=V.LV˓x~YٞJh.?B.jYUĽ%c=bdL9{א7XLV<5 bL38 x9hV(@ 4NB8|Z짣X|MfB\֩0V>kvjVu kKU Zoӡ[R pC|XF(?7mP-\k w׆2.Ug3_b&ZwwGchJKoS b=7Wp@\ ktj] H.qsB2oLğ5‡,qyjI[E$n9=@{ VUK9O$H2z%oJdz0[*:sqbsM~1zgf_Uv΀<lQȺkg\whfLexD]YKoS|. v:*lNf2S(CRyG]u"5%8+l Yٿq۟|ls#ޙ]՞<|>?6o4bD3UK3k&w7;ʭI&LQ 4'쪶&0Oqxgv񄩜3#lW fW' du楃Cd0?`@}cCC]X2HsOvW/HM˿@"ĻU/Ѿo5(.LXa f0EberUM3]*,d8ܮΌl{,:x`%:"xxwC؞} F>B!Bá;`bE, rhhaDž9:wbe,]]ޙNvDX(ʣ8.G37bn_ۉ J8@ACFRSb:O4㈈GhW]k%:Dy(vznv3mK?ή2"ޝ֮z{v;Uמmg3UmwW3UU:?Dߙݾ*N#&TKJl d!0PD8xxNC;t>Vytz!q\ ?̼@"oh<@"^ 4 (/+). 2#6U3GS,R-LBDE< 4($h$h'2X4#"xD91{<.T$i#; "BXh$FXe* S\@LqX,st(~Ļ]udw.D8[ʬ1lW=Vr5-j5F i\SWy5W},eK͝RsX,5维ch $ VJ TR+OX $LVZ[yVm'RLLSi"Uj95]NXl]uUNq{DO#02JԾ8VpR͚ ]f6MF9Y$\$b|)p+=>~n`Ny]tr1}}j<2@V-4KxdM{ױj',Vh7=`jaNpIN hO#5fn b3Ąqv_+W` դwI>kGTEK @[oKvPg͇emcWӺhLa_m7G̍<@/a٨&'Θ"p1,ya9\p5(|tǷo.h &NK>,ieP2&1?%-سdI&Y-P%e=UDxP= ذ0V`ĺ0`z?>hUb6T U(Zx"Î`Q|R+"mkC1 K'? ,^-&~Ez" r??o2,`zCyW(3a hS'PÔ)=1K%18bȋ)ME2)XkLAޅIhr~U'Ks<_'~$8&zzIz\rfBqNNAWAlqZiDz!c;6#SUYǨ* d5*>:1"-l>@QPW=yc)*C2S˜TJs 2x >Us$uq:\)a5^ӭl?gVeM9m/^|^7Yf1Uפ¾J%b5)@ 2OvHZ RV}$SyHE3cěXWO:o] I' ά}_r?DfG_rK);T\IYn`E0J>&KMgo2avVh|lkb 5ĬlΛ5Wfp`1(Z7$䳤SѪUS]= 鱟.1L(׌K^lSLY?jMIo!-ܑW1t'x ͌l'kkcWPnu{KM0DɌώu4@R0,7 ;W7% 9G]0'NoǛ PeO1==.$@unaj0{7z6pfʝʙqz}:9!`^OYm q#o5e$f% ~x9UqE{((wYnS }DpOs;O#.VČ{`̯gt(V{"ɟX>y?q4~[xXa~|R`>ClZ]"+ ʉ+\Ph [dt7'"ɽ{0G@OhM]MvzQ{ro`7&13 B9aqv ^>mրOoCXKQ@x*0άӳ^F%c# gi ˊ'u;PhbEndC_:m@_+8q 9$Ӷ+Id Rձ,N[5@X 'KQ-u>L^(VDz'7f?ܡE6b<דUzJ+<['KPwZ@>I=:Y7I߳G~u:;8iIFҒCۑ~e.314D'tR3rշSo_&w-m.L<;qk槕.tȞ$q_8G2xI }HBU$w껥қZ>U iVth/"@ht7""͜ZQI M0~fXmS]*m-Q7ªYdkc$S7 m#.r6:^jyi1.Q4KzOk}&ď<x?|wiƫmrbUX~7D48jܩXw M F4)]D  u 'rF]u?bdZ?BFز e4/@ӥ&f9 @t(.$Ʃdyz @9l˳ ICj1?g aeD+~K4" Yk>^[#ʑ,% }p9'FiUi{\m^lRtmOC{LRs,ߗ>s#=PYgiQ%>Wj0gS.=ԡ&#D YC9B+dw̚|޸sčg IUn&-v!'jԧo#"vԕ$>K0Տu`V|G|p+fd9yLc೪c)w)Տ{zqP?VlOmûR/}h2(,_t^.D58Gc'oO` [4BRErᑯ 7d#ڄNpbrB͌ac,hD*h:@4Sw?: Q&PmW7uyZ؟;M;-(8rD^)*/$Eaܠ#k S 1Lŋﬡ0k*G'@ivm]+@9NJO>@94's~4)!$5bKoc } .tZj~j?e4pdȬ:4F?^egskm0V)dch֛v; V1O6Z?f⒚ؔHbABέLRnOHt"bcKR<ȉ,ȯI*MŬxl>m, ӹ^=ǏyuL]dIP?&A",N*a}YX ł`l;YsxFjT%Rҭa5@!ɂ ȣfW`SOo@ƀ9Etktć$˥Iiy/]r.򑼗=_EHqh=UBKW0i%mzpXΌpps_ӉU(Ǩ.irLy*$yG͗}+'UJ!vaA[{Ya7Y!Wo7.tcf9(~XY4)Bnzd0o/Pbz58:_JM<0 N$j Jb),FOsg,R啠@aJh&O2/(׽en1wt9diy麝wc9TmZ3qo:eYm!uT>fN)s; F<>lx+Xڀ7\º0V=X*l޻n˸+ IP4oցĠ>XV Yn.6d)ӱՄSgk,s_TkfJa wQ<^bVc9=s';CKm@a*HQHO60H2'di7&SZ`.ї<5Ĕ`HVٓ&XhLgvE'6Q}_m!&QNCoK\'tpp~&r 'b` 9,xsSvF&,Ï^AÒ'Nه=gMH\ 2ӓ}qrҬ &_rWcjb6cSVu L0zd$39Agb^ݕbDFc򳆕v HIʽ8Mu m.[̌FSMŋ;`Z =$Strz Eg~K՛E|pC'Ҟ(B~mŴ8ʹIȾtDŨbʭP9"t vi59A9CAR ~HaV p;i;(l{ECoE0;%NZUY=B@/_wOdYw-@,=)g_hq&rxδ37Kŝ$2Y1TW?; [~hp`:!:" k<ׅe*,2"ẫr2_enR&6r!}E|8Ʊx\XMW#?+.nط{[sθ|עd-A0-Y0GQŁֻRZN A~<-|攏4](<-$`#Tp5yŤ,XN_9uE:+JHi]N97YdVyqq"omPjEoqZ4nz6$Mϊ;1nSԊŸ=VK\e艚/ dɅ@ɾJ1還Fcr>nc}$K FImhx 1YhgMQ"yHZ̈́Åy3tM_nrJ jo !8gC9lkzFvG|:AdK'/)$bt,$e @& tal4˒&r q2)}НӍ2C|>O ݼNYMStb b { I9T CN/[zS爊 59VZgVwݺ;"_e܊TId|ձ|KI_9gdBv= հ)=QcBbɂL΃a(Çs)cA`F6!)N9zUZa07^gn (80?"/[0uPVylUM q]<_F%RLwQ ]-cq$ymG4&Qݒ)WLY\,%@#[9Ę2!gզ15 +jqZMf0Hͦ}]]p禵'`!$ )ۓəe+`Y{h# M) `z7*2]3d /ƯGTɺhѺmvDAleGv*G, ] ;Z }4ƧpcўTB=,cLZ1lc =` [bl\g+{uJL8éTuڒ@4.GpӨSg*bw j\V59 M|!ޘ— 3/Xx _kh1~[8( ja $֢&$VC-˫J[X/e±ӗF!,oO$41h6{ý"g,7hk%`or 5ْ uEb+~B3ݦ?j^Ѐ{ c'c0TŧKr)_n%nPZ4!kNi‹5kl@:F;}i ^G :"_q\&(OsF#~'ÁSѺ1L1+|Q.y͛EH\ ef™GTwdUojK&d+Bl|lP9ƃ,O\vWԉrTޕEF>SRq-۹=XJVtZ{r>ѱ]vc$XYpZ]2y+1=qcH`Z!?bnD +wo^4{Jޯb'ʼܕrxLju?Zsdd#ϘSe1 AAo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=bp5zս(#UApo?˻Ka K ]C` 9OYc>l?]8ACSo+Dd !+jyAO 1a]2T_fR92-D õl9dDJ`,N1 5K# `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/\* k$j࣡E6}Oz )PYn}XM.aq a9]#4!Ҥ4CRI "&!hpNm9L)P< $uCC*\HI q1I$H{yd iKO99ܧAYX8Dr0䘃d$ Fs<A$@fVmc8 f9 D9L ݐ!8H$ 9 Y8 s0q>P VN?agh38A``*o ڗ ) ł%ZVU-__e)=(% X40"ncc]2f?kvB4,yDs({: c 9+ms@pH 8Ab(:b$mwhfhfgvfgvfgffom߶]}6-g.bme#-"EF!2##Bww\ֶ߯^"EUUUNOLMˮ2JKP,2MM2L,2K,{>J,ClqLQ,1  2 lT#ޭٿv>1D軪wLTX!ݝBfkfkfk?f#wwYI/BxgfM΁<_W<xg>]g6۶lmmjjjjflml6f۶mmШtqm7@CAFQ= (. (&D .$@Ng|3{mtH5.PMǥ8E:DJ:u/Y}D_[nKPO?끊z u 2 t(n×D}M=..t#>3"~GmKaGE|_‡>wa/ÿcV>S"{#=1~vMGy_"n,̸stq.^ݵ6Pu̪`0nfglN A?َYNpz$){ٖ};t߫7mb]*ܬ>ȳJԬ7U%%m> }wQCMOw\+vs_ b7l{mtw=%-JGL#~_-]ҍyu ee;R=J4+c|푻u:6c*r;/|Iγf6ƦQҶs |-l& ;gU(E-|auQi8-t*t|KBpr,=QI*Omܢ :"J jG}ܶEhۃ קm1\{J&L>H<&]#mɧ53y<~_WyΈ>j l"<8(6J2<l^@9kxNC}lN\,gm`OC #C@+:+ $.b]<(ҀrxPU smj6/`Hoh@F&,lbk぀ysM\8|8k{8>k7zYqx hFqn9H,DYq#yZ؝O O+BF"m^@5'5#~bk$ppeb:˼vT=76dcOn|r (hk$ʥK | hF8|7nŶ< sYcQ.'F_@Sp7ol9gxZ3RSfq.ٲU:@:DjsB}+DV~uLk$jNjG@ z0y Q! t-w@ ms%/@@RPR@Y<" 4Ҁ O2?/?l xSikϽϒZDTɏQt꽐-zxw2R:%vC:ʶ#@ ~~x+Li\Pl@Thn~c? )"~ī";)~[yÂ~zK9!v槛 1_~8)?Ok䇜?B?P8h$S$?!b9yf?~hi`ϵOE!}>Zx4GҀkEhc=#>}ذ}qr$yӚIPƉ>UNۓꇿzh:RCEt׋i|^|v+VE_Uuۆ.nnVB6HaF?sN#Q#'j]Ե+qDS.>)kF! Y^6wKLkZ!zm U^mԗVh:eb.FO+@^Hi^0ɬ̂]9"%.7lFAE4U!M{E*? cp䂲l_Lيt]@eN$=?=2[ :͛ ώw#<~"cdI*a'W kK-[M-U)"2huLjzՄfh]Y_}T/Q @skq)u>7o/hIXxk++%7˰cD:`Sp"MЬKBLB )s~ ]ǞN`*'[R%|"N!z!s ,E2nu뵰 evMH[Ɠh摥Ggp?\>ax*w/Ud;S!tw/f@BtABeg^gnxЗ+ԣ/l.'$"@(;౱m}dK{S鄱ȧh=1b,yCxG&cCh}rxR1]KG屑3u9"A`!&zdɍ'P8sMo7ό@i5#bbN9 z}ӿ6fA7}ig~`qhxؑ***`:&z| 5Č;GazlTbyO*)v Âń0z @tdD(č5-BÈ6]폩=HL(OȨ:I˽qt Z$>6')G߭L ss;\K z jLT^+ uCaZOv~ֳѦQsL삶ꙑ= (ᡶʭوMrC{'#Q5'Ou}樬6{% nWCvc=inADJM~t$i-+?9Vi핱Lbt 7k"{RԯZ .6mva gB@v#U@/͝oL)$0F{)RcY+/dža`6塿x/x|-Cs{rd9<[ $p‹o^Kz KQұqӤ&nHc֒%;gd1nx;LḀ3;nfgqGHg w,^@bbSιKB҄S* #flcL.[ï]ӯm VB/'g 1_톫V?Ȏj7"tt^,em>5zr.N nn)XXCK+pdUWevZ!C NR}q>yW" ]vr}hnM~8ŖnX21l3A@EAlMsjT^ڒxG(- ZFX} JxQœ4pV!Vn;J2l\c ~WgxIK5%d$65śdD(?Eet>NTQxOp,T;Wra9bU. q%CcJ@\@܀Ow3N\"fpN$Ӕ)z%(JdRB- {7҉{7Lh(򬇭6'`nfXiT F{ x]@=DGB Yu^?1i7uQQHiv;='$in Z/w䎗yţ^sK]UzPpDG;"²ZRxjuj#wEd>>Ayxh ~ '7Byqq28QM++׆cl p IbW9xC1~bw1;)ݢw7.R)MK!sޅ"yV9&0 ZQvc~)i a6[ͱh"8 vJV)C;gF/G$}C1rh[~$q&0L˼;kykՐh\vjC:]7?씲;%7i= ?)*w1>l?y2d&s؝DfUy7brx!Gb Oх`Lµ)T`g.ϔ?b |H6WA-$C|gu:1%nuzh=uv|d7Or~s<|&|6eSL-i8d I!;ASR #ueQCg԰0?0:)9W0@7hLml _@4XS4Մt`[vlpx2Ǔ2\ʈkW }aR#e%2RabI heFX*Hs&"J}'R |#Fgx9w$P  :#'y/ז O7;6WULa]B) ;6<'.VF:+ZRH-2ggDbZ2?#D%2׮8Ds3!`+U*ѩXh ǩ,@&UhOqja)l VziǪm+Q(-6X,EMq^ gM3`Zc1Pa_4%HKӗyiռ,/1߮V7i2C)b4L^3~ؾ س&TEYEs B:*E)p!CۖpIB_lTT@kLfiD׭:u,ð;z ^/KVBJ8o>t!/ZW۝JP]e]zղd!^Ǥ~؏Z]G&s214hs&pJ2:ش|4ڍ׏#.LqNٶhq-%%{=%kG֛07OyEnQXųP4.cg4^u<65XmvKń&itp`Xw'eBeHo%_B I 3wdSEbDXQE& #vN!(6`>tEW{bܲ6|bi T՗G0z^qi'<`}PL d܇ ~\iLL(DqC.^Ox;{)pƒ=1l|qeO+hHH,&.lO[:?3cP#2H$pȜ@W ݗq#M0Q Ck҈Ja(x\!.h؇L’ԫx&p:ŚkOK8ѹHvHhʶ\RIt7_}2kfLCjwhrMob2-]8" G9rn-:WZK8>-K &f8Ādh>,a7~isg S}hT kp򲣭NKvoqcN-9-:*qo:h-JÊuSE;#@ hI LEzj'o4ҷ#pd4 `a ga>&V)cd&RY 2h{xwE8A!^C[]2Y Mi%jBѨx݈;IS$9Vi>d+ Ą11+γ0uUc+ Sr:r@WRHV2G#@H&G|yv쟒Nі #"5 SA#-]K,2̅q]8'iu`= jLM&9ti! \ws)#>9f@^#=&wZ[!ؑ*0CՋpNPF{tz1m&QvXxa58 pnkm,7>m ݫD6 xŅot?Fu5'1.TX^1-/8CKG+"taXЯp5(=[qmx>51> e/8&d\vɃmK0c^KA|6G!j(aQ/k9Fj4 ؁#eo^L}N^IRN7̓&hJ>Jf o]&s)6V4% +-z*h"%+,<ƻ$)R9\oGvQT6%1U/EjiR|wlq+PU 6t;k݊n2) ey m/,a^4ڊA~%/}(8Cɖ!X6tUBθuXe&Yȍ&8^_&t8Nv枴9Y89:|5eD#d Y۫Er(cY2Xu4%u_ji?G%:\&oh3w\Ml^ q>)e:X.[{5],t-BI-~PC o6 B%H@ ~%LR\kRm?'^…ս.^iIrxҥiJ6iR02QNGd$:E$3u|&ZVtڐ vhx:RjU9\NTR0y.Ә6)Kmvrk (+P.)C RR8nsȯtȇ,z?45SJ-aշ /)l37"ݨc^꧐i ɔpl'Z"]ߚj[:2X ׾Mdq7u(UqWT!؋d&uԌrPZEUzN$C\{- R^BjcGnٳhQR"4g)Ca6*L BxDWB9k)FC -5֮Sg4Sgktw$܁;}{~ާt@|bY(,pvp_/~Ⰶ&z\A:Vj (-7 jg pkS*>8gtț* YSXB>_I8^|T;@~J|Ew}?s"aIo"!3V:!\)>tp!?MFu-G@Qs}ٞ)[6?xj<Ֆ޲9?Wr+]F<56N6h`zױ6*6t.%Ъ-N1hCw\ oIdN. Qe#=k%cN)5V:3SZTpDa9 vRQӐ{Ô3z-R'#`(/c#d͕`0gccUg:΋Im|1Su'cH&2GB R H.`<*ge+$.(/sPXђkbRT7p A)#t>ܢ">T R-3㰆̀J"ţn$Q|3DZvx`&m-$R)͓7<f qAf3Jo$]#&>׹Ӻ x!p%%^$O*LL}Nv=K̙ #`JsH5.jƋz^)1|LQ8GO8I1j3?rS{_'F(:5&4;M2h4EƱh6cr)Wqr}ugl+7qFwer{428LA.I1 rCqw.cDX\ U;86ρu58 MS;up-@B5I+V_%Yu, iSH?p\t9VI[p׼"'ڴa7YqO<~u<9d5 iT[~JXrs2L. Ԛ%̈A\˼7Xc/{& ~T|imLic@SXtɪbLU׮>N37ch&"GTFDy yhюqaͨI> Linei/7Fy4J䪈fx gs + :k<<4VCtys tvr ((D3@SPkkKO_1 %![ބlo=oHXt~c6 ư'V(͜y)ڎ} )ՠ՟WV(4YnAqC/8FD>h._`y B#Pa"+˪OSݼ Zb<dM$ĭ@觷sbCXRs9M }QVcr UiSAJOi ,[*}oR(EF\DoJ#Fo2>~#U,VYz$-S4c\fk2sL?#4.8t0Б١vf%zFlL(ebyrq xGa j.j^:Im&w3ϐ>ai¸VqCQuAȄ꼴Rp)E}WۨQ'ZoVJ%i,">hkh6jp.'n+}+49zdl4$cGqy4TȠQ2vus:̠ q<~y .'IEry%K(u${-VjMgi{!#D+7sOryYƺ]/ WpLpv8KJrn3x'FM";ĸ&-*z;&whw~8 $#UR0D& v:P36;xt 0O |w6rpZ?Δ>h*_QFd-%SƕTq 5*,EPk+ZdKn믘%U \ 3T1کO@ f<6.?9f%LuTAr67HGT;.zO褀kx{]p"H$ JMftrs4%9%!ցr\ tGnYf, KFՇ3xVGGp|NIqQL"c3猳48q"b@I䎟i#6r\~Iep,r K"pé Qt7Ǚ: x#ۤw}Am93AJr`xA7!cm/ c`v }C836~vH:d8X4v<=ǾT 6AKzǟ3̥P❱öBc jΚ!|H^" |6˕VI>~Q6֏:skrqC( 0`=Du ?TIQ9~J?&mq #J7S,Q [Eʂtϣn#x; lwtR܎bk^'y0 ަթ{scH dlZ/!xau\˛h\RsH>(Vd(e+ӮYl5dK%a'Ûyi2c\aJ1y>N9E%!G8׿ LFPZ ։,&3Uv;g26FN6r3s .Ecqb{Vldȟљ9K^XI|EX\U\`N#T9D>AId%q^q<"UPjQE´K"3{N,)NT>M+l.˃#ُE- @?pLE"<0YDoǦ@UYJz\/e|˕H1z=<+J3hޟ{,X8CBkr4Ei?xJPQuky/G~Ŋ>'=>ȞaE\$#H-"~txR1)RJ1[hTDkb~ލp蘠;9}(s͑Ie Cmxv1R7}Ȝ~\ r5.ӽ,GKk_^<ݽGB'NPg'Swk.%Ss{  Q fO[<y=!"V#tM>up-EzYoA4K'J.ʇ T"jk͠R5+pkvochtFgirνrΌiFlDN{{gNArJ8166Ϯ&+ۛ!jYد`$gA_!׌!cX'c H-`%3l rLDG<ɿ{ _Wxn{Q5<}1:R4fO<"/@DD| L8`LaF~9i() @|j)q)7U |]J8k b3m?Gհe]'mKRk&9oq_^{ز6yGêIo7 .:jOq--vmJ{/{rd XdBfI)f)6#5kꚿpaZ7}Epx߰;oֹ3q{"u~]oMi=oPؑQ64u?[Dd:C^ഽOOɘ/k^-;Uw/<&@,&9,K# 曳0GvŬTm!KaX\|Wv+b8.:L>` B&-'yyCq}G p2u##ASQŠ>ŶQAM{ud>3Ą:0yv!9gjͣsvĴ!ttίC1+eAgL!`ńo" Mb`Yd?okq/s"&S;L7t-myBJ'D\ߞߝX6KYAi荽˕ ~G^X 4,of'.˟;3/P$TxBhĠk}:Aɻ֠/3RQopLWjA6)vN˳dSu(DOWvg/_+Ux٘Hm8pZUf0y=34n_w{(4%kcigPCimUjyճci[LmJE6C UV1{DU n ̓z;!}sXX/KājvE?-z 3 8 3" 5O% >HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7} .PgDWRM aK3*-}̄ƫSjn9X6򔂭;QʬZlm{'~]E {X"\l?N;oADAN!nE99b=u# v֦` D|:ˮBZQ"Sf}>ei"]Lr 4䀊 !$@Z HF=X K$ ذa5áYVCqJrЬ 84+g9ô$qp@IAzE)PxXz2L,ާʊࣨY6y^èZg'q&oo/x4^METU;Sõ\S?O|7GE#zT::~7v+ey#̟i3-!D^r]r`g29&HIP%I5 t:wv"H1RdY(Nĕ(Mq(`xDYb^L$sS=B .عiMͶlTd41"_;'[Y?7g~kgۙ?wZs+3/jg{Xwȴ(sbcOKdZvWn]+;"r(|mȆyDPM Ʉ`,L>43d3_MGcIsAFp&$`D ĄD‚e @ ˾zQ~:mgA gaz ؈|Jm/+}ܾ z3DVJf6MKDUoDUUIL#MTwD} "*99#:zsv_5"/ILS@\mZY!Hhphب|ƒ|h+I3#yw$9ݫ&2#@ͻJHFDx0Y?. z̹݊oʖ̿k֪əmz,b"ʧif2_|TL @P(I2>%fugSSsU_5y7DXa@CG,% Lk '  BPR0$ BQFtW8!5:Cp! r 5O' \HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHFv" o]?#[fގLF@s 4'B88p/~5L/R}93X-oJn y}`0xf|͎iT I|h"߂P7]Q4MCI4%c&ʛI0>@OM 3݄Q<4?b U+)Oc>SK|5] (e:VXU2 f̻m3C]_@\ސ; ɚqˏI^FGajCȽ5拗ت:)o.R 1cTSTcc˧Y|ָ6l-|WjnQz,U={,)$om[(=K<G%5 [-Kq($fޭR ]Ԉ'r_Vʛm+o>F@H $>\v|ȪŇn>x[Nb̑j_OJ t"M-oVRT41REjH2j1 ez@` ( A 1B!@b1##D>. m@`@C];g.-NJV賴&q8^ c( EwX>4NX ȵ)?yiMk+#:W_2Ʌ01)fOq9ѻ.1a+gR+VT/uhb8 yGJx Cʡ{ywЎY -},Υ2\00/GS?$@1gw=΄v^`*k֦C@| @7=%DW_-KO'I\kC^+IsE.w"u*ϴ?BSh@\8+ӗnhZu"e(=MKPX\gp'茤QNfMPgxg7R05]-w, Wxh` ѡc Ss>>Ƨ>7\{*280H ԻxN+xJ ./ACEiiႎC .s"7*:+_ q5[ဴ0c-,-ZR= &ga@e,=*P\O|\J"[ H/%ğP7_b%UC5~,i: %3L?;/R./ a?7XӸmor%N3ɲ~2?mUC͜LYfWfl&bJJlZq`^V"Bu%ZB B#zDeY0GF{2X\uԶqG;fcEf%)|.!rW*ٗ 5B;>F\Rʪ(9*uHJ/܆amx2+.izxJi?#qѢgh8$FP^[SNh~^}!RL9e0Б2<~28RB/c> RӍN erm`S)nƵt^EPSp<|{f·=/\E6::ApP; .>_48z0e{pgm|W3@u:8$2z$Oñ0*T):q{i|Jai:jlpW4]밉7_+|yrXE{PSsIr6=/qfVi+ΘKkY#&~r.@uSdϾaZ;lskrVrSRDyFu;R۹Y=440S:!7 I7mSGlRќrM>y8}_Υ^M±ZCFd/ΌT:PqOM X8?`*,n4yߣD25!Hc"2b+-Me .IGҖ̵,<6'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