SQLite format 3@ ._  5  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info N5~\p( ] UHOL-Nominal-Examples:threads=6elapsed=274.271cpu=1371.527gc=119.076(//T3%)mF6@_.a?IٽiL._ -TW.{ͫ8G7>zki-nvUONC찌PC" ޜI6xOD$kafC^쟒P^Ml<;D i3Ĥe;KItg(C$K1ԜBC\$b6Je uzv#tK#J͒J=r!fZLj$$gHfzKjqD Z 8PjClCuiHkƆl!P< @)ooР`""!EC"!a VKl!%5peW2} b/ɑA2y"S mEDnÂAင $ûrȍtLa3IC% % aUN=C7e(E*.wH>"VC[kLզF3hdPD 8ChFMţ34B5 'C"rX*"pP :BaEEBY `ЀbTy!0$ ,<@!}r:;+7V惄H(zdpx "H8`ÂB[!""`hւDA $Bapdh " "@(b 8 <@(P(,$  ( (" ( $@7T[=5SBMCVNݷN7*ehrdNrkH՞T\TkxT%FӍȧJc嘧z"Ͳ9{cdvñݯzM/}lZnH7UӪiM֔Z= Y6+gQ9:fCË\,өiúg\) QuMK8f dެŌ+++JN)eVC aYkؓ(՘ِ 92U\%&2ΐaGRR2ϵrDJ&\;h9c$G߮5AsuX,vr쐺ɍ9Hm>%FCY-fVH4n٩vزOq(dc4K6K#>FJ-_IKݮKoBbjl ȒЃ,˅^ OCl7 mB1uHdдQNl_sCXטvRȮNũ۽S9^h? ;r>TCrt2Xo$Mٍ`I}&[>d}VtvHv)!fMFCLYc2/b n&bzl왌=-lEY&VλΠ+kl??}YasNߵZtyךMmƆ39ZoS9{2b7-^2C{!]FiW~^sV}Jss޷:gǷNi2G-;Ҝ6^G{2u}}e}];XwjK"3mz9N]7W3Yʜ>Ǻɥjg8Ig+c֍KU:dʛʍRkmjsEWֆ5ڋ}%ѣU1'^{zHU_Z^ɋ6J=-2M&ײ\C2ff3mVLG!DXi?+$Fbs-F ίd)yǫ,|Vq٪͕VZՙ+Uys-ʓ眜DU^e>~\)zr/_}:'U՛fy3E ,8X`su+p%+#HESo*Ui]ES]LŪRU놴ݾ"k -_m=$[s&ii"ױ>#E&.H.Y"ٲ9c%yDrh|"gOT휢?vvDmb*a${NtZzh͆%2cshamC׭ _Mٙ7!ϴЦSͦc.eئMlV)%Tuw 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"   ~}yx   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.thyv tw~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z tJ5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ bl(Fxh"Iny7p/*JI"")M*I,LqX@G: Ry c4V7Bh}\|},檎8ڊiSrR&Ui-ީ֖\ s9\)\nc΋iqUT(M@Gg9@а 0<5 0&XRQ("51h(M+5%E1aIZE\Z6e{x*TA ]?!yLIΛBaL4q$lMeP)( ;&ZLo5mjwgM$Ofq.WaZ<ԤjY:#5h0-beFiN@lQIBMM_5 !gjBn*8BE*j #b'4$8$4РB fƑ4_P5JBbRA`$--bM$O`,(I*4͌1ֻ_5odTD\=UML?řYXDdUOWb7"&Zי11?3XUFz&jwrG,L&Ͳ{snDF/N` @fDE<`ȿoh{cEF=<|p<{5C#@[f^E%p.LcYȦMȇ9_D?{Nd.G'Np"L{3R8F|3=swf2c3gAPX^ǎ sA{1xp:ֱ304:@W.XץD@Ӧ:/T{OgTMfjN"R5Y*Uژ̿pX;+UR ߴiSF o`4 0A  K ?8`X"i~D |F4! <#"7cd>da`"9~ 噈Sr{\tb}~>Ibً/{V'y}5bD(T\n,eVղnRQjTTj/~_Ɏ|z~_b}~CcޭWMIdV_OiwSEo"bE\e&k&{]Uk{7R_EeWqb}jSZ⥸.[WQJl"ߞbN jBDTHl`&$=Jf7/r^ uqzQ#IRR,ch`yN0}A!q,P Abxb a 9?ٔ btPwV|fFb..Avn`DW,} t$S#E5 ق Ђ|{xw_sSoRhOgEdD`B_.\-X,W*TSOKHEDC<;:8632/y)x(w'v$u!pYXWRDC B > 9!}|{w t s r onkidc\[ZYVSRQKIHGDA|@{?x>s8r7q6n5i2a.^-W,*'% " ?320-& % $ gNo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex-C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  [3TTE@2Ĺ&Ƨ[{dIѱTQ@Pяu[үmii矷^ @׏p>{)<Ӭ M?>K1ojw! 䞉 kYB'&;v]'%^|Z fidY f$ՋnP5d?Ύ?l "$Jr$qr 䅂*0BtO<1?#D,$!9SC\v."TwpHaa$b|"v b.ކ/_ sUdž?p26ɢ Ze$"(;;=#2` kq ѳ%S.iz2.,{SC9%Șؓ}IV-g!t:e,fـr ziKZGat&ܖq2vXWܿRѪ12M1NT0JKQF[oN~9Jb `T`g$IZǿ:E& kGtR4#u'1sdWSy斺$% h Aux:(M~`WJ?BӠ({^XZVTZ5_:.AinZcn%o3܂!y%<\0]5S"??/y}9X}KLbtDa"Oss$3< D.禓@u%os-ۦ ) sTM2Hk$Ysyh7;ẅe|c$>So9nHY.wę Ϙ99ta#X1^ n+I qA_6U Ql ݬhvU" ~d.ʜP ;GҘ>NXtOddVŚE0bl,lѬ lW,8|ϑ$XU}o2crPAŻ[OxPYp$J+PglAӆvg\x bD>p-J⳥Xh棦f&#3eO|c\\וD%hۼ˪DXs[ ĪG!0a\/:o^[LHqn\d"~gm ]m&53jOo|4Zouh6 Kdt.JUAh8,+5.V#SVuפX d(A{Fs]&)&:s *:37_T]iXC1"_ŵYlK)nJRU *z1/q{cf*q"%2Kx !<9ג?6 VAe JHI-tLsVj X MDGTЇӴGJVcW0給K4_EԴRuݸlҤJG&{=T I !ћ =$1a rNMr)wFL0F#qUsb E'l؁S7&WUz+.8\DVKU€ﮪl],%NNur.[VQ[LG/8yЬX<L<t\ZNxօ{۲9=N_Zg|0Lj&Vn#l_+*G0J|SxA-=D̷gU|7R:>qʑ?,>_"~/k$_,Ī*YMA:xi,Y2h6FM ~r2_7/{֞90w')hD_34tDS2-V*+_zwpT3g"̨7GZDø.8lc`86Ekc|.䘞=])%;D:saIHcmdLS~.u-JmS.j;OT=>k2ϴ@hxl)zS[\0k:} v<~%}cfr+oL aVz=;tgʽ)1LR.FiODD !"&i-g^[t6wBb"Oew溲 &0;riqn u:;m2R?mF@ ˛Ե<!<0hoKeZkHKqÊ?pPyN)J:|'!~|HT(K@~}1 _+y۸+%mH\ 貁BoI%lvJ5ۀAxri (?؃Ǖ㔚\vlEqmx ɟDp*.o9bXv3z,@ t(q's:Jq0Ph4W7UϩtN\$8Qkdž\=S4z,y bIoDmsp Gtu gT!]{[Jյ5 ԠӗuajFK D)7;!qễ6<2 ҾL2I?~Wwh]qPܓWc2ZPEX$h20јMO4@,׶a(Z {QJn7d"strNZ 8q[tQ3Svd5wېJdu7&0Hbb79 Ma9PT s(N{%wj\^9̣`QҬ{9 xE5ANy3x(}*QocWVѾhz( 7kU oo="Q)2cH Qpz>x1[cΌoUC 3 j|?U#g3rHr2XPN^pшÙA+%P `vcV$c QK WiI/iC tVf a-1u!Ƌ1lH/R|6:%oވK=dXTonNϛFP|FPn!BYT.M!Q#4*PX7{_v[`!t"6gNi?)]+lBK5s}NVQM|tEW\LcS9;BfRajT7s`+Js@u TdMfǑ/I.ۉWZY#N/72_Q؟.pY) -r`5|"z9/Lp --T:eϯ%-90,?ׅ8xὩ{aɯJ䷩5`Cp )C(,3RKv4‚[!h(XM^Œ e4p8|ۅy7ָDu=;sPzHfu/ Z׾NKe[ C%$z)UI5o<\ ]̬S42FT9A7cYx1/7'`WIN1cáy Pel0CSo%ӑl_g= !gl`dNܩzJC%TLF$̙zjKׄzLiʝ B^ñWWo։pjݥڨQ_@=v!.<MH6 ,y`(~ek&77΢j5&DxŌ |L4N=J&Viv&ڑh:z0!q?TLTl&=S!k^\=y3(Uu9-s(mBQ\ tJTtSUOx,ŭA5D4~NDU;:e uC ,zd=ȳc .Az2W"/1IZ$6Rj%r'F֒5뽾&!Tع/ʉM1n%gRMI*$ݽ]Q kR-oj{.rA;lu#YZkm#VVrNӳ5G=yJ)dh %ȩES.IZΐ:b.WTV1-w/߹4TUݷ`BrxQi!l!t 6](zabuQ%hJIU慝>A{? ¥F8P[4 3#q􈲰 \=E 3 eRZ«?02Z@eD ߑdDckr*37ڈ*l딇5mvNÍ' *VDK/AZf&%{a!PLD;As׽;lQvUUNH/ν_! QG2=]LLOhl-fCKm㚠o\Re{gZ- q^k<݉ 5eYK0ԤVǐ' 5LIЌ%'|׀}_3nmt3dL~@ʼ18/JeL@f[$ŊS=g^ѕ }>d_ u5fJ&VĘ.#1Z_^ t$ՒHL2]Y\pm&/)q:aIG&)oMqL! 3jm?yryUE |۔zW☂MSW4ҀǶLޭMNj!1q}yȲx ףo`@HBu Ќd5p \[Ռ*cYhGUb%Q"(w3/Hb1>h|))TO>]h}(M0#o8 \KFt-ȽIܬ{dpۍ[*@9N=DbQ2>80$W0{]`F%=""Jrw,O9Bv2`!4UhG+57@%[ ¼BW̳_+7WB ۉCfƷg> N a_5$r~9qqΔ%0Ŕ<1Gq0r6JȦh;pw#[/ŧGiFu'?k&t7Lcԥ/fxun|jt( ϐ!׃9= ! jG.UC)$8$>6z sR{G(byD22C@$ %݈P'O/-9JAzBD4SYtz9('Xd̛]u9Q,a܁|Z$Z> 8@g\YBԑTS&@ BABaCj!,j\kDqC7wh⻒8+By "hV2_t4>r6\rvHzB6\Ϡ^nO90vT;ՑfXi)r5ɿwmdS"؜d)Zj=rK*"{Z+g-#zvQXK I_ԚqOb5?9_Eg^qC f3~y#&[3ק@MP'ԝ:'Kהx* i/ڪ`ҶLMטiP%W^EL$R2uGv1m]Nhki7 syC$\p7Ox/tnY$#^T- 'l60ŎkA'݅->E Go?2xԯr X5f==甦 Y`ȰlN YF׺. 6X> ps&yiBI#MMg뙿YR£rNԱKs˭Z<$vM +wpqտ-79uތ<`qkBEcdw3ufgZ𵲌xi%a RJh Kw+/Z f։!ZCqOU7P:,=8Sy0K$WGgisaLe: dpkbMdr=uob'WGyM|E! .-?RD7py[* VsP2!1yFř떑lC.c$/[Qav$1;ՠ]Qs])ֹR9D#tb]vMO+H֒0_,V{rMZʼn(-]iO,1.U5ytMJ m~"y-H-NMg tX*k\+gҽ#^Q@t[RT?ۣ~ҫ>bWTRءjM =ycd K"}1ravZQ`3cmJ5,^ӴASFR;z~'6 W5 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 E tEJ5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ bl(Fxh"Iny7p/*JI"")M*I,LqX@G: Ry c4V7Bh}\|},檎8ڊiSrR&Ui-ީ֖\ s9\)\nc΋iqUT(M@Gg9@а 0<5 0&XRQ("51h(M+5%E1aIZE\Z6e{x*TA ]?!yLIΛBaL4q$lMeP)( ;&ZLo5mjwgM$Ofq.WaZ<ԤjY:#5h0-beFiN@lQIBMM_5 !gjBn*8BE*j #b'4$8$4РB fƑ4_P5JBbRA`$--bM$O`,(I*4͌1ֻ_5odTD\=UML?řYXDdUOWb7"&Zי11?3XUFz&jwrG,L&Ͳ{snDF/N` @fDE<`ȿoh{cEF=<|p<{5C#@[f^E%p.LcYȦMȇ9_D?{Nd.G'Np"L{3R8F|3=swf2c3gAPX^ǎ sA{1xp:ֱ304:@W.XץD@Ӧ:/T{OgTMfjN"R5Y*Uژ̿pX;+UR ߴiSF o`4 0A  K ?8`X"i~D |F4! <#"7cd>da`"9~ 噈Sr{\tb}~>Ibً/{V'y}5bD(T\n,eVղnRQjTTj/~_Ɏ|z~_b}~CcޭWMIdV_OiwSEo"bE\e&k&{]Uk{7R_EeWqb}jSZ⥸.[WQJl"ߞbN jBDTHl`&$=Jf7/r^ uqzQ#IRR,ch`yN0}A!q,P Abxb a 9?ٔ btPwV|fFb..Avn`DW,} +5K% THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s P5 `gwµG#R^G/יɮ$IL3.)0#!EI$01=I$I0^!2oE ԘdbBϚj/2ă'ZB nފ-PaD'-[(F'X !DWM¥zf_6r26c\YiC$}{(!zk6Tcnunk_m1bsT`9 9!9B"!a$PB{fkrӦ#jB EILrpT73hL"+gUX%g7'f^C8}^&q梍;(bѪ)iOD'>|CjW3'l(TKth>Ha-'[a `.,\r1|IMS+<ԭWz RJ`aΪJ|Rs2-\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+<&Bg^ sh9Diz΁ A)3rayԕ2e>'%E̎ ^0ͳUǺǛcl) yYF(J6#6f?5\4m^+)T-Y)푇[&bX|L }ܖ/y6:b^C lKZmv!VbvL"ppF:F,0c`-.=Pj5NΜbK(fXzhmSG_g+m`;&ͮ}i:o> _5 9׹j\r/^ʊN۸Z}Be{irĂV C|Օp)0ۓ ԇm[`/':_; @ϽlSG{Iq Rx6FTW1'>KQ[&֋M5oQ鮖jÖiWl87%Ćk?Z uඍ"r;%\Z}ԀZ; A!E>< j"ֶU-$jk⹑[蝖.#3h!m_g0hp(Ϭ#lNՂm_"0- *6n۶~ma[qLWz;]iEBK `0y;B3@PMSk#8"dL?_IKw#4.7!P_0|7"kByYxݜ@ 8w'ׇ1(e#?./aϜ`nFz@|َA&*R{/l+6#}x'cʔܕM_͗$5k2iR]܂ڧÂbY1c0aC~>@ђQ6IyvIƉYi2;R.tq|AE s#eqC>M~]D]aԱ4/oTЂEO*|=#5q?ۿ+s~Q hl<_T?ȹ8 FiNցYӽCIlI(غ\B%ZXDŔQUSh$I>_ ꏫ=BZ:\#w&=m ?w"q%k5吮H x{֤vOOnhCP (AOGlɐ % ?Yb'V 崅ä|8{3[f60oʇ> \—4jX8{N6ȃ#,]sծu'\{a1? 2?ߢe3W.jk ]ʪv>%)S(LMM5Ԇ:h-_`I9'<Gz¾:a\ X.ϗm(e|9͌ˡ!hGB(ƳĬB\J`5>Vv1(:qμ+7Pڰy"\xPv)\:r6Xdǖ)mDX C=+]+pq!-Y@aS_ \rG65Yh[b 늿.!2:~1lFSWn,L6 ͂0CX;Gl@庼 S-`h,&MF0QEk[t@zniq; :Vvi5$ۼrtS2$@g\zTyI?4$1udjoZ3NYe%N8Nmu4#LӑwZOzyW1Ɍ|ʼf$K1.HrݟSs+@ r86zcyV iy^C3h5/6W囩O~)Tx]mv|`ΐ$9E%m؎bu@UJD(_tPǣZCN7,ÂوCL xq-6*hְX9Zrba4D5S1I{~y(l$;nA eq iZ~9x0)ItN5'Ig_B;^$>p%N/5?2_gd8s"e Ge=rLѿJH ]<;_eEBˁpekaALeɩs֌HĐ,XyWs/;~ ?P)_/3c.M2-3Tyl*fԘAS.TLT̖~*>] U+Z9ۡ֏+'^$?UzeG\N f&񪢢,2mWMswV*'EWDZߑȨynĮ!R]qm+`1'ˑ_2m.8ˇI82VԱ +=mNnY7rzKxm# >xp6kGVk1k%?Ϊt;PϠid:A}M-hs ZZ3ոWD_sVeC0!< f=^|&:J!7;hfov+9c::YW;9WWZGyg5cQNWrit0~_I|abD26} X5ԪZ?q_mn>5ZcO9J#wZ7okÜ@ߢ4ւSRy`gIGs9/%oՓ,(RGD"/ b6> V<8hZ>JI:RzwMty<$7/*.ȍ:f~ֳx-- ߫FJRGӈ[겤}hnOwZ$[Ψ5xxޗ) g>S["\!4 CҐx[@71EK@yR]I Ne2ncR./ID v~K2~3'ĩ|`qCCX1VJT< #?nލrabZ&|_]Eh-׀@d=Ie 9z])Sr٘OI[ $]63@'D-RuO ͷs"M Cꔱb^73ŨXR%GFA܀G\NoQ)ZB/A1P-:gKUe%E£!P?wbc^9m7*C z!UO/3B8%$, )Qh oG\/K%GUE*eoRPxzy] .WU9+WFزrMN "%pAMfGB[vOJg+U/_0jR,/ F8n5Nv@|ƴ|K8Yd+cN\ҏBIڜ@@ -N3ڑ6|CoU@dz_f pgsMIQ^%a)x^*0J"ݡWݲ@D./~?BP?2#H~rP^>J"X@n&^28ЅAȇNe@A.s]jLosZōU^kdcZw=$R 0åѲ#@ Hʩ(q+!Cؽ#]qؑ=iZ@LƄ'ZSws8KHB[rEx~HJāD(oІHC_aK(BP5g2ꇧ!&Kz0p㨾 ULP(ᢍmBf&?6%}&e Is )V2Rn,Ґ]GWv }7ե9ꪓ*&H APs*9*~^5)7VaCIژȖxx4oez%6E}?543 P]R|Ab`in :F2Ba+egWf )^Ok?K preLSFՔ ObD)<n2P>\.cA5z L!;a΂^,mn@zE, ٿAl{ΐЩeG0Dg8mF{_YeL\t+5Ifمg)0CU H &ZK'"s3hF'{ NC.cꗣ?1Y[C_]ۍlspB K/@Ԉ a3g v<&4!I4c1,;"d||::cܐ# |u3ij$׿/;@acpMYk'> gg7nטޒ/:`'@L $={ ii̥%0zu<#tA_qs* W :h"<չ 0a3&IՔ~`߰0%ՁOEfvmEdSBz`˒Ϟ1=+ak=2 nտih`<Ã{wdM`+b :N@9 . `*w7b E {|乣9J?טJvz/3@ {їkJ}B'ѠRԷz͘$12vAJsN[t&wYuDf-H u^0a|y@BK ̪(r 7CAa]'s@G dO38H7/]nr+h8&HdSn4Ji5 $y;!U6i|53n.}@H}[tRm?Ԙ12R)'~I?zȠZ->tNjVM=!["9kVIHͱcH {h Lq"dlcN6TbY ? [%XQ*9LL_oWIeG r_m)Ïf8uYH3Sz4(CSrh @)J?VQ{rJxU3=c W ^-ݸ76|;hT]b]7!{}u jmwqm(_ DV^2{l? )L+־ D_=p|C0:q_S?,͕&MLNDҏ`J5.*;GqrURɛw.*_Y}ER)LR\\_42,4W&K } iQFͷ7^%8f!,o=HVVL_y&OwՋ("6Y@n)_ 3LnR{R_7n[˗hޅn @1ь`Eԋ:z O[k$``-jPB^FBqP `2P*^(<̗XĻM1 ʫ-# "77es'@-F  .fnUt UqO(J$Ȍ^9N B%([^ʛ &$9I* ]"pH`/`k`3U!:M3#a;EMS31F#g`('b eXxt|`O'f-o2nw&%:ym4*tabݿi^KoO?ă“zIs)GcCaTL}6c}w5IHO+r<;xۊUu"j18mWQ:8sZt֦TӢLYhwM`r Af6Cm]:BGUz}-; g+UbtJVoIő Zefم3Vݴ5o7C\wlRx[ h235P R6K_z>WSlbr^vl5@ԋ&ZK"-FokJ8\;HhP6c-klyttέkLC09= EKY,@wHXnҚ"H[c//ّݲ\lF}ujznnw_!]C䚭=!:M3خmD̋D([zᜉ1aɎڤJ2pj[g0p0Ǝ| |FLչIj}ߖS72x-ӺAƦPBOM=9Tn1G#39U4 Fi)&{Z*U'QCh*T!G8紺Lk%OWϣm\ @,v( ک(LjDžĩ:q{g&: vP2\Uqm#!wgNRV^c$銱޻kGpmH)p!%WKQ1w7!43#;uMwF_>84ұ*M}ޒ7,צ66JsjXmwN҂N4k\K9}d{f8rn!0nˣe}SiT;jK*=,bmZ|7`ecJ'>vZG*wqQ(mA_<h*x 5jbT/X@hFEc+1F|n=O8-d+^҅ s8`M~)[=_{+?o"hǛbJ ~~Sa8.Lh6C'ȣ^?8bh?-ō_x#CCtx,ia[wʀXBtZ^/t=f8!|]fsG _N{!ҩCyB",p[l_~岡lQp=.iզn5Qzy)"o |Ĭ'hlej+ny)+PNGj~ Ϋ[re,N{n0YoLe,1)^k YTks:-uձ;8OePI*5}g?S+ApHY 1lKz }~7~+/~%xmlNPn‘YN[08^'z\lf<}hЁDйa[E"ZN`?8<#1DP&!OH8=2tA*z"gޯ )Yۻ;a uQp~_akTǨ8@[ flǼ/5;&cTBln)R*z{PPEp\N_IcleٰJbѨ'QMo~vG">tJ.#q)1du[Btݣ i yW^|^) M xIr3)u1z-gA_#)E>Uci!cp+j\nbzZHbyŘ,]Wv <`Pc9 ^7_66Z G9P>%O0R91F$Xal91[+L\ӵٹwWfyh(@y)ny`,ދ& E|f+c!-l]ZMz=Y,( Pi/W)HRpUQA Ӎ?Gj#&g4A0 oǩõ(lyJ5$tOf4goyj/7'ͫKaZw,hYɐHQK̸Sˢ.^r/k?|ߺ ?3..'J&Lϔfglͅ;swX㵅WYӸ@dSuXY t‘P ąYobgmC Ԫ)Z@S6&yt'_ ލ)@Ҭˑ6vaO내DT\**٪F'9YЩ.nσ~t `ePSWTCDDK0B:I}P뭀tN S( ^hKSc}:Kr=\#]'XEj4;r@Sv&4mo(Lb-n^]#jb;3Q\z>&94s,|nO`1ݥ.:bKdYNj̑o3rtKy>yպbţrv}t釵D*ϢzS'4N>?ٍj[RO͖&-pa&L1h`IP-OC]h#u6{ŗQDƢw+_8>@]al`:֏Y6V(}|cV_ݪNl ;݁R0b#_:Qϧ~)lR~{S]8/K8\prSԅ?,P~16\sWuw(қ2}-ŃPӇuՍY edG)O|R%T֕_ :*Yerjv)]*W:]cSɭoI?RL.A^X%R'~.Y娕[ߏsdxǘ#$?sm6Mu>A>>|½g1s\7zKm>R|.b=ZL8ݏ/KĜzBZpͣxK|OAPJ AwO[ 9.> #Z]Pqz7q4UTd6#vH>D0e@L !F ]?C^(e"'pePMl@=lO%T1S}c.t+ZܞŨl4@q ~l~9*;yDzD;JƆ:DZϻ$ bu1ر22-D<W'.8kj#avXPoe`ء5EeȲC;I  3coax qÎ}t/<ݛ?VTp/kcoAߋpڼuRȷ/ 9ɧ?eɸK_|6nM+z#|tk ygE=܆&m%5y6c5rM]h|1JN>N 6bT o楌 @`s=W8w22Y@Obޯ]G{_a̖կ9rIT"J l#P~8o<Ky,`VDTT"x֌zT ٭1chot~/!CH r1wd|*4'7d{guY\,Pdʬe/jE:QtFdJX]+Vc_ߪ_9I'6A\?ߴzM#EmҤ2IB>Xu{'՗{cXLa%>kTm ]ѡ,?IK NĴCRpc[E2ARWr?GDU|Jt??EL0Gi)&ADsv F1$bxE{µ7go?UK,;DV!t +aʷ9:yLi%0WE@II3 ^k` ܫ7:>zsS?^w<{ߩ(A~_>ܗwnG|ƓGV&uNx†k0vSMx♑=sxEI' ?xqww;/)[իsFC7ފ</?V37M~{?xtL\衪.&g~$?1%͂۾̝>WS wD"w<<ԟ%aH' R9hJ7N˖n ! >?lN9(bBD#.$c9{|z ~pTWJQxtEeBZE?b<6Ոe6'uM9|> 6p &|sgؘCs"+{;K[pHB[E\/0H.ad)πGcy4#t_.]M%4O,@cnydȹM%TO,{q[y ŇF#ZM DD 8.݌|(! aj5#_bA.b?| 2vj1I\%=:wF|~yt3/`AVx;;ߢ^~yON&闂wjg_XEr+D!~ғcV&yq>22>i'~ٿ$ݨc +5EֈsgbZu@.LV1 AoU "ZRl~ymdeb^_N,`L?CQeVLɩ_Q_>T̓D4@[N:$*NL#ؕUvɾڄi[5;ef>5m[];N /9׼֊.yIj]2(k]0!OLWK[Uі4rQ ˶K^kI*t'oI?:<uVmBhM`vShuqgikQTڔ7늮OIYIpS2T+0P.˹%Qv<<>u PoF-b 2qq))%˙cgmwНo3DDGnm񚉈ݙ_>bC6Wf""B3v:D#;3nsy3AA`4 P(0ABB2 Jk)QLY4G)s J"3Bñ? u%YoS*lJ¨ƹ Cps`@M' >@#A#M {G_Fu{g%!^5>J+IFkD_V@۟͹~Z5zgLΣg&~k:UWoYyUwRR]p4r\HV]ьT!ت,08Yt袹2g!,lqP5O紴fh?}-; όR=&P`{Ojftlgs)bv%_LxOoHo";G>"3TdJ9ߒK[oiPJK!Ff6Xg 1J,efAj6 TUY߇#)^ ur]q@Ѐ7E 9SI3 +"C.4~P&+jW _Ri$4Vq!'W0x@=O8G :vZy1f -DhZ)phҍsdG3՝% %by-tvѱCGRCG0 \C>i@9˚SHP/ٓį"eiHH`cSj-N،(a:)ѪVJ ]鯨'$~%X^qjZi v.םo|t')a!Iq NL =@xy>LnڀѺG3>I{OȃpG<#g) ֬1ti >e?@bQCOu*5&oɍަrAWnm 䓃~9&Z%ӛڠ(3tBu#EV;cr./Pgi7!M߇ձ[ '"vE s. :~A ):9+$$XdN x=Gml˕0h%՘ `;g" X6Hi k{ @»%qꏘp,@#}!F7?}Aq|,0Ӗ0dH^e_=a_8Y I5|$?&vR.M[aIP{"SkW"Y}DDb dnڴLģ"0xlBS-")(;ރU`OB"&-X3)|05̹SESV%B黬x?lmٳyJ]LNa4 )W1v4HwuU]ꜿ,DlL ʓqYQC?.ϲ?Pw} ;1__Xux" r(/R~--o痉ɌBƲZFXaPQ@(#o?eĢS/Bג)P_׳y:Dq)#<;$Z#  xK&=mKufNW $y U$EE?W&K{t2\vgrLɋh&HNL,8{fH(^ۑ)2BhLݓ1.+L& DeI0 tvL'A_d,q.@ժ& IJ>=-#ݕ TSK e}ӨNe I.ȴa"z-ev:QA;YS<.w*D.V%a*栳R[SZ$%7 >4~RYKǐ"C7hGhGgdxϩsiOĥ2n?LQPƳ4? yt h3]Ud#4"б́rg n^'6Q 5w 0`k9X-Om)uxq6О0RfxPpj8{-ЯZBt4T =-k6෿e>!sO1Go|e"G:^-<_~[xKftw XtpP7rl'88Ӈxi׋qt 4$TJ԰XXlcZj%N E5,s?vMj&-.4xXi 52,XؖXX+g? Z=m&g:] *TDGQz͍|zF7-V Wȁr蕐Z>6Ls/Be^P̙)7'QГЬ"=K*-sV$br$B=A`pE~.g~xj*#+Cf3e"+lGզ`rX*@wv3: $2 $  ,@ ("!F@<VaFKs ZT}>khy:bWMV/LIښ9˃Ii D%+.%:U,:1Jv)bF>缒ɤ.cNْ:5n)a$3P:&ug u)J.,MߴCP-K ʹatΦ/HF7Ѵ?>iƧM:rJx=qCõM{\zkZQvF4١0nN+E;STTp4*bi6Lv)n xvȲFKO[pvЮӯ?Խ@]A3'FdJ^3|^X$M;}\an3$j@Q1ѮNVDC:uUM6#g;ϲ=?=W\l4_~&frCΣ\Br,M`S/l0i9wZ!yn*4}b1qH:(U\sQ?:]op|?9s (d$LcSWΔHS!="oVeMˏ3?N;?0Pa)&2? uf+@ze0z.է 8z*SdN' 8/;wȊ2cZQ@"D@|ʬ.dLC-a5\8|zw0*Yۅ*aSP]b˵E8͐.,?3xQ)}a<. À~H2D϶y񄧘=_䡀| b0u _I|( V?<RԊPN=4\?0Jҍ Hnnw??D-&:݇} `\} ?ΙӇmml|>H1h9r|q8|~.x}DF 6N~T=Sp&E"Zfq|A@wϛ5moƀVӂ 7r1xyU`r@ge o"dlݲ֔De5ߪXݑ~w~]}GȂۓ'EQZpd7N<|q1֫<  .X`wˑc1VʝY0 jx4!!G^/ZhlY0L0cH׻g}Kd{Vwf/v  buUr|NcHu~Ta3ąI./q!? \P>oxQR&ӗ`hLh2[leoXbdc!wXhCVfpWtbƂИ%=(%#~]K7!:m[(Ʃ-)GE shPnә. }lR95%jbcGWʼ3TV3~dnvip} ɘҜ7>SjDDxgKMF"WYej^Ao!h;? ǪTI#5~٫djߓ]d@E?i mx)+] fFq>HRHQG@t1Q[R w%dUr%d Wd}^X[]ԧy^AqJRp{h+tu|$s"cs\`c-)!>fDL8ċ?_ \z KޅkG|-qB~f#+Z*CڨxqոVrIqm6*icmRĭU {)!V}WCkbs}/ ¦}*\/.c9j;> y !THqwX-;*;R%c̄LM$j'߽ħ}ug!׷;Yxʂdn[vQgW7{ PL iNW5OJ&7qaQJZU?ZU%]. ï;!}xWl5 d\Q=nsł(D4?zFZЦE L͕Է$tA&}9^ V{D*Č!I@8qbCqGk%,6+HKe%S5vDᩣQ193p15 }M,Duu@&2Z-x@׭ø*b^VQO1FP%2-@`~:e:SƁӺʋ< vG*}}7j%sIhfN|oBQDP'ҪJ U@I.:@dS$Lr(1D,ѽtHGz10vqc5a*G2U7^0V@8wIbP7խx!wѱ*<`0b(=ؕ3R1]Vtp'+Ԇy,h;4ѩ3no#|Œղf)Pm'';4F7lCmq?T7ġ>-ӳlOO< &EkJE:\kkWO[l-_LӀHj!@Cz#aj=GPҮ}[$jաIzyH{7\}O.jU# /+d&HYt1Fu.{ 6s{%J]ɥZ(@v6!y?7SW4W]q J\i }'J"/0W<l@5 .'UT:jy0.fO1 Tm}SPQ\da'qRe7HE҈t/ +J&";[2bD',^i|wzf`n՘Aa;ה"P$YDnJt4R/3oOqO7;itzMuw#j4! bF+c'b+Iv~[c2ok_-[˴e\gPZ˽'/2ך]f)mE+ۘn̅~˸Adecnv11(i2Sx'>og݋g{j]\Q Lɤ`&Nq׶m-R/M:!z1eR>7s [TgP-sAEccnxD! u'w+d9Laʞ֌*Œ? \m JR._(K_ՓbB+e\TULܦKĉMc1TMn+)RYiTߩufpڹ##ÒwaW;GcƱIK:{hf95WZuleIFGm۪ LCӏsp6l ]nH?Ahƞ~:AH̀kEyڿ)N_[$h; 8 vlyUuY4QX jL 6Glн.-)Tx,xʃX[Rܵ,D=:NYA>x]+|GCBo<cfQԞ=0p0<z54?v!`5X,oJE]ݔsi8L+if )DC7O^8ie렯mai'9tPZvʮӻ - px:nP3W-Ԓ'2*{.Qs5^pnc* HIs8V1Vvh`"2"͙:ATGƣeF*z)~t Ǜ>2vzHnzT7l*!C`uq;f {xfN4$OOMd)u@%6+a\Cc-(g 4Č\/茳4  xn6踤AզIBbX*.d*uLᴗ2'$KZ9leYfF#_:"jX5?d1퀇6Ki\ٽjcзmx!y覸@OCf* ( xXGk>ڙUl1qƔovWGb ֡_dj4Y""נhB>u%xwwhB 迥Y80Sal4rx,WfD#@&J\'&;i ݌aWXzel1BRZwzk{۬tڕS\r]%Chw7cXM;"+vO89Cj# Zw3˖Y颱͟5 .EѕVռ09##kܦ5ɩK̳b? t􃟻HQA7%V≩ tE+ NnϷX:1 bvJ%U8gbz%g3qŚwD~J]V^'-X;0\rV0t{f^]o*jӇat٩7K&2FHaT(hΆfq1fݤ QTȷJ#꺰IA_(0v,,Pq-]T΂g@Y9)TF!MIO^jYOT0hdVmlIJPba"%T(Nf\"!S$~ն^5v-wL1 )A;sx^, 9>7{?(f^@Rf*iE U]|&S M3nV/n+?cڦ IIB|'z97ヨG۝I-/76'#hZ<zq /#c]̋5_. ~|Hd¡@?HȗRB׌( aJc +lIY#@B1TĄI#{<"TyEKTRVyF&!4Oĉb#E#x/yn((MbJ;1|!N]L\>ɥ334X@+ix>0NƐv5L MǽgnjpnBFeI)y ġ!ُPr #n3 &#<͈lU{K7y064ePy CüL<"bvU.|2E"CȼS,0 1[UC]!B(BAgF25+$`?Q8́{,vM[ƁP?S,?0ClT(4p E5 @7̐pF@.]bd$%tbK֕# XzaOrfµZr'}N{[!{r+NBԨ^ta@ il2': jN~t"y|[><dAd·]dM|H^NWEC& Iٿns\5Wvαdj߀Ӆ`9ߡȮ͈Ӣ#b[LgG*[vV[g 4)n Wǚ=/A\&͂JgIcKGيR[~;$csqK[ z.yuI M3}w{elۨd?(j .uȝtn'ˈŃ΂{voO`ʺsmC,pW$n3s(2r0lT-鴴5нm|)֕3\I%ɣbe0*@ifh3P9ځ#/{))ׯ ܸ%WCg pft*cV 2I%]CgHV\W!N .wB;*m-7]4GFә̔>1XqmN _ZK12&`kmE͈ @r\&u91\JtCQ+A8fjnz B6sRNeg>?CqeT/ߥd Po.lCe[׈z@ֽy2Vm#K Ѷ~ ( nCZUN̈́ 8E  x44`PÑc޿0;hM+]2r}M]ʷ2^g r TMr%4 -]ƋiXѳoQEݻ Sq:RWg礞q Tʉ37Zph*uo3 ԣ˝2]ژxLЈ0 Aw4tBRڄgz;}O Wrr!%/*;xxWp'Cyӷ!72w^SN"1#!(^_ 3 1jC d_+MK-7ªu̕O\&C@ѣz8c_Oeq0+K ._towjS-mD]h F\/ Hm"d@? [[ՁWˬ߉dV T@P3y~H*+*mX\JIK+B VjkIʨJ͌-=!졧8%pG3"%$p՛xԗ|05W[7kNr8to>Va+c4E?~<4UIʔW7InKЯ{ˏ1)x_Ś<ڻa{|~b_PzLl˔ll*!n;=$dU#8 #*#F9iڸ).[_ӆ, (OMWܙK2UGi K =)>*iJ q3dVwnܕsE|&̉'bX,*+3~h];B2|DKWξ&D9EmcLJ4>c:_^)Ia U0⥔nE-ۆjZj} MNhAWN(VTO >R 겺OMgf'1wh{">-2xhJKP(#(~(^25uGTy:NM2Pmr'jۑ Jm=k襪Z1.4iSiFgUwMф*z,@o >B>XQGEefCnGbl-&Pbraہ<+Q3(njb\*;i 1VSHEOA `A>> х"NVO.Dyş]/Whn[V]uo+ۭ7/"j@I,΅nMy'%۶YmZY5<6?Q"fp^TQ1/@/D ^"@m˸W{ggwY(w8 ΢:8}ַ薕oQ[yE d5ڡT<ZmZG54Faaո5JIPzĴ,NLhIcwh4 nx4" ! CB9D@ $1$9 bB!BQJ|%6˜ –tfd|(RS2DjtXtHo@@msy $YdGEoK\I ,kuSoƇ|h@ô tЛg# OBJuj!-BF|Oqf\͑ 7Űl55kH0 $ٕ?1y>+Աmh`Jy@r fxNI.!fCx)]&Yɂϱ&]uD:jl00'ئ="o0Rԃίn]\#OB|C|:-ՓSh%ȕSud.{p%,Aenwk$"#/onY$T֎I7Ljn~4W^1`7:::~%nG|:=@0+`Р_3B$L@8>I3꟫0|(04d҉z}" ʞYIɋz+u":={HKFΆ> /o4: Y]Y7OW =:FOq xrzG*Sv>)IOeBg0JTcs~YiPZ-wHHC t w%~Z$W7( M,iL+%@~.s 9h#C#' BB4J@xcw4Z :$7ong4˥13ym qeL}x :ah`]JN 4X\$kaJ&/Gu(F-.a逛mp9yvPy!He@9v-,Ugr0Gak7dO' dCb3jVkg/ :19m60*ބK }caYݧ)+ǔfNyUbF_eq[_U.,'"DUvebwUNWy}3|5p>4^:w>]6 PxˬpղyWL堆7ߝm(U6ʂ=L o3L4[* k pvc*WUTIh$D{*!wP.5߯=. O.6d{6N-끲;vB12H[G,ɟbf]CJe0Ўx:R܉4A̸qv*sq9`'fY*-reTý'5,'?7'I(䞶]=$j-"~/YvۉaeSb#!S[=zejQ6RqRґNQ_K- :e( t)^r6hpB<6V+N$ۀr;u)cp*gtXK    5O% zHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`m 2L( `gRەI^/|cK RiSXGϗ f =g:l-d1.i) #kN!>_cӦ̘9Genoh"U|'|cP UX<(#B_+8/nP Ħ~|(Fn 6 p1#gY Rmmp%#)'$D>#̓s ԦWxq!3Q@eGa(C_3Tx~U xD` z<5BDjyC2yr"iGH~*H1^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal q 5K/ THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lPj$-iPYȇk}z_M4g*Pݛ&`ZVuwo,JݑD͢C0z4._8ix`笌 *[QFgc XFCuet&: 2A&mK*9@}4q(ML{]ӨLm^-^leţŇ!M[h$>MW*b(uPilj (o? =PI0ΜJ)vOQOi]}LE!U|)o.^(^.d@/!ntъG|VtO}f@IRJ3ZwzRI7Ser=iIRP2 eB=`P 0 a !B!8c1FF.4BWu 8vE\D/3*A| LsXFy0Qhl@e! m.Jݘs5rXDzX{wRϨQBDb%=lRza>@@_DW+/zFWQסӚ® 3pV:v[;t ;6=nϩ9Eq̶:\U;&=9L= Ft`Ty.́lr+BG$YE@k%kx,HTӬ4U$QᏂ;ˡs]] k>| v- Yt-X*DΛdNM\Q;hSeS,MͣR Qe4Fp~\z#>p,SmMX&5H~O-~TrPcygJ*D mׅ9;(B%mǮ] :jw=(1bD JL+d| "t2iG[!6Dumٷ[&hbA \/"yoY Ӻ={zUAJdj#בʼno9o[q8$=8i7j8}p9?zʴ{9@;Vɯ /p؟2q#::vz(͍Yeua_jiuuY'>~ 4{>1Q}, 6qs ( |RFMjH{!!zdVVH6iޙԜ73 ҥ&+QFPi?<`=+a֦ ݗi_:7]^hh-F'FD%Dg[WCNhy|d;(BH+gm :+Kk"@(v+z@[ñCZfc n+?ait{xl!A\JA6hȜ"; ijhɂ> 4< W(/Oc ԏL BĂ=UF' r‹ #Z#[O1ݕ{Ѩ0ַ!R[)Emo\@{ _kyŶźo= o۽4JW;݌;J-CG? tC'+ hjwP]} ӬEOjZ 6F&yȜ3J3F%BUhxI*Th܍6-[IPF"Bϩ9ˮ`[zvPB~[Bʳ6 1cϩ:rXoGp fRB&:% A*,$>L 2c@x w1t\WzH+5tT(-)$Ue_ ##ͦ"K%{51'X[7߅ !zsz:AQUMPzM?MI"#305cx*RriD!nkFkN9L8ն]da55X!)d|9͓QYhP0Xe woiu hIƓn>%vW(ۂ!=`NZ>_b27Zg 0Z XX% 5O' BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuR"@O2w DRR aw.W<&tby1▄q@@]7fSͳ*۫*|=M?:p4Z`{Q;,qQ26 ؘeR9|@ui,0&[L\l sS&/& 8.꫌s4u 9*)n.ZPj4Q>hxFZcF y͜aNPE,Lg{qKkt' Q|=-2᜝l2x.Ht՝6eyۏ/K.WYR}cR_&TG'|g7K~JZ݇n-rLdl}Ŀ+ZϦPK)h6VeQ3Jv+ԍgCPMcyx,Xz,{>g/|xiHb&1`#U GצFQM(_3 gJç\1J}Pn>)nI $]]6c+66}l06ȫ:?>lhqTsbQ*O;CDNkF Rw֑:B&-&6DZnxG(]-b֤My/K{€YOrU}QNKԐ&0>ޖdaJ{Rd 󊅨D2S[9\Dmln+;y33@Z۟{nXoj%كV\)sW8c;+OwdM↲: &ME O5Al]ΒE&D7duZ\].nf5vc&J?ᬖne~^nr!FĴZ~=xjAQt-Չ= Cr]=DC;9u& ec-: F=:U4"vLV}: l8옲rf"R(/^kxM z,ccaOɥުdsz@/-s|-"Kc3Dոv[m }RkKc8\Nrj_ Ro,"gm25dN1T^-6~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