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 35~Ht ] UHOL-Nominal-Examples:threads=6elapsed=273.307cpu=1365.370gc=114.611(/\:4%)kF6w~ xཡP_tuER%{)KϹ,dKmbOk_OMdO+V#i'|uHK8z/J"{;djZ7)4޶aJ?jrBwg1EN\binw/Cu%-PCT*c=aebCClaٓ'e6RtMxJW\ZQkS _gΫ$R2u4"Nޱ&«ɕ\\ǮzՑiENlX#YD|&uч2ݲ={MɆ3x EȽ%$9dDWT*xZ25IBޤ Yo,Ԙ5!Y+ ;!cF CLmR׶g+I1Q|};kB#b־n oD\bCE  (~e+Yd/Z:j9!ՒtH[<"UM-YUHEFMժp\*֔[\'ĝɶ"SdkL|7Ec]tl&.e]$҆%r{SXrGo>N$1B΋Nm8s̉mmϘh۰Mh1fLS%$5>}á{h|ߖkFMũdř-S5}5~=52%vZ);^3|UL]u/WW]' }|.mvήmn+X1;EÕ:)$1=KtQFO[nMrC6oj,Hdf1GM$)SM{ĚDF,F&ѰC]!Oyiϙ<6{,vu,edù }|k-~KDAKD{-Rgv]AyЭ һmeH[ٞ2+X3Q-&֭4hdMyUvtmze 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.thyx gz~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g*5K' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/  b\( 0N_a=ygPIIoz08᭮j."ܫ y09e"5HS?A3nn;Ѡ1;/asLhvD[tQ&/- Ӽ'rx[x3Yq- (M9јMPH5)ڡy 8(1`HD^J@ Z3\NsڄJ-8qmJ`I0x SsA5OQ@&8V+ \kAQ=I{4'% j,2a= JA-!ʟV*罹2\|m^Wj%cjFQ(a-Zm3BeխPM8,Px``xx $;A`p`PCa81׳R؝T{[y"bѵ* U3+`(&~`(ϥL;]uUuRU\r%YKiU8J{.L嘯  ꕺ "}YKT D^Zm]w [/VTetV\T\ũ FC(`c^[aZWg ωk3{Iܫ3xFX8QQ3[-o؛ЙY-?˕>+5-n2nZ+M-4 cb]@bBi4[ٷz547t  FC04 -AAQ`V jReH&2(,  "a0 J0 8 g9"x6?.;[ȏB#&7yU`o| E-^=lK3TԂX1¾ O HxAP-O4_|o _Ŷʷj]*W]֎Rpktx1S>c'-ԫ KO/(e]'05 wwA'|JNCG%5jYƜ4՘:ǧrnh[jv-MGלftx. k(bm @o Hh>mRIn5H.ꪖtoԚb1ape& 4r.n_p4ĮB0*Jc:R9T2ĩY wMI.~wj%gmB{ڈ&9 9"2A̱ԠTk% V +!I(w5,*i4wj;>61=6*Xf[oX56`lO l5K' THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ըJn@)83` :VraX&J&t;Dj,D=H>Q3%kO* `2-D Z" G :gp@D :OX"Cc@^%R.)(h4p Kt)hA6\ΔȈ{{'9o~@(+uLn֪=Y.lh˺ z8y&(5L{kXcg8 `\KJ<̬Xh{nޖ|?)|C>c55SWwu q$^mU5%IcݝwWNQ|lsks 9qz%&U#lecTE(4O{|Siqm#IyLcSKeIs9HwQ&cKl0Q3y G^_* |辻kjU#IRR,sh`LQ,!q0P @ 1H 10A\WʬTK Y83&gX%J:(G̓p3֦'rkw$g#a RB ۂ ؂΂}{xdu`rToShPgFdE`C_/\.X-W+T'SPOKHEDC<;:98632~/x)w(v'u$t!oXWVQCB A = 8 }|{w t s r onkidc\[ZYVSRQKIHGDA{@z?w>r8q7n6m5h2^.[,V+*'%" >710,+ $ gOo!Xs T z , / { N Y(7pJYj Uz(7>D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex7D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts6C5G%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-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  / jl3KQZAVYv문(}ٲ{9`@רBLqoPg"E>^ 3Bexj~&x7_WzT`v+>NOZ_GG [ L$Y;GXA+ \[h.Ts)va FOٲ{ab\$đVߊ2=&)2M0Vd\sd:??hkl`&=d:;P)i9L@,WhtaNԾ>qRiHmgkIf>h1Stɋ C$Y&* wvYt09_ܺriOs2V5%9c&wz9{kzGJsOr$$*G4ɔcd]7dJ\-ay fq9a3T\Ϻ(;"rII ⤒̐_'ܨ!PyQQĹJkB]Ndr"Y&LHoUHjf0i) !1V .WJ:-({ACs$\cI"YH_W2z/G)`\B5|3Z(E*5.oUFo-fE:kA.Zou JzZؽ(Hkf( "z嗰kbv9mQLۍz.bݺ- !P!-{)G9@k1^H=C\1dV,-;yUK0BvRx-$ullY'@ 4jlH .JϵL'? ~zI\ /⁎ޠNWd@RNIkh\A']rGO:\dH#6 t~}Xh!Lm+&XR/]}I ;Wu*cri2,rl2"ߤ2ۋ&s ʕe)^{ZޖIsT;:s's<L]c1;@?.Ã[ÙH$/nbO'\+8 U%@[GR~Df7af`ZHG~¬[PT9^r}kD^eoNOnL~@yZD HW);_Ԩ!fǥӞϺq]H J= p!RzAehu|G9|'AhFbHi*ߑ&<5Fk2nYi6NlԤs4*#wb t*u֡ "W=$7qNC{W*aEe-'0w"䲀`v}{<鯆]GM>N:(#5B pV Yfu4W"ʎ_G&uh/ƫ~Ve$UD~sîoW-f=kME+؎su΋r2x6 *B'Z]z%RG~= 5FuS^B˻DR4]9v"h;XHͷNFe 5vJNdcuMaK GlLV S"Ҳ&)^VLam?LafH<pJ7B ߬g5V󮌠LO8>PN!pnㇵ=l󋊇;Tחm?[D@-.yWEVɪqLkPJ~q$8։{mz d9rmѥQ 3&ˁ!MѻE*.޾`>ݒs?/$ُK |ѮNz?y%i2ax* G4Nـ Єuk{4qSOx~ʉ #oҐXʡ'8Xqy2 "Ν<|ž?4*=4'RcigJWXZyh| Nj E{64.}c"M?5,ZcF"u=Ar\!HsrC˶6c6D(dNpp=%4X)çW)Uy0Y@KV6^ /|˖EL59՘$x\t^!#((4@iK!b]&!2rV/qa6 1r7!UWX8s|"V",(lQ:f'YwBB e~1DnNe3u;37[~jh6QC ]&۝UR1-­2 l@#%#:G96<lNG&])Pٝ PO-ӛNq7:xp!0WV N4K/"с QIbeZ$C\#Q*z;QzrI٬ 6oKПBYô,+~fP_m1.+`Tn8˜w + [0M4D`)eh83Ѽp S56V{*6X9 ,6LPzC!|r.8)#k|CJ5M:kӯY8;:nDUݽ;gZQ #xhPv̆`|?1od ~D3Կ =ޤWпyX;;y>Aw qƊEpVTg S̞̉DC8uk[SsnSe2pZei6SWR0oJ:=5MBq8z<$ G:b b=]ekm"J"2&dTR/& 9 S7vjK^bu=9@ 飍/YRn'2\b;;p^`YwzBΟKvH~Lxt%@Oꈆt$ h"ѩa+4]qR!8!CFihp8-DL=>xaMp'/OX"0xVŘ{Pj%0x@6|^a!AfK ëSSC. pRS" ,RGF(`9p yiiDTzβA4dfF_-宼Nuj`1mc%hT0Zs仼<0"q9Ɠ 4vCmb˦2j0Q]\zNX*-9I(fX0'#WQ=bLv-*6iyZSl4ԏhvs tf5)o $SJ?mD{ Dd(C U 4SivZ'}[VݠvWe h"ANwZ2j5KxA.$u^ eQLK؜kP!’N-esxT73ycF9].>BBȧid=eŽ9؟ s xM!. H~2[!T%T:_Vh;dɴ"ۭNq3A9" uZP?X"ZB[#Z=R_B_.M=cF E& ,PD$0A~vXܗT%Dk@beÃo!uy놾Xn|ڨC%\⍙w K9>b@]eK_IVX\JW_cp۳HdMBz 6$d2!?ӣPq侔a^bp(nD&n|ZwdzT.dTc3Ap?B@a> SuN1Nt%Thd=Ը nk|{c20 .qIGԎA7!Ոk;K1%</cC\jpȊ{% ǩ'K&08:9C;/{k ?)5' 7V"(YN<18{22(ɹ٠0Ϊ xUm&57Z`_(*d`YQcQZpJ[Ewu 1̤V<ָ7yր A1E "a 2V qSі1czja[_[/a?ť|e<q2@tgE-f +yuV. w3e R.<"ʡ,!z20T)?pm \9 m>6ŭrs[,8M&.g( 2 WOHKmDUr@MLfPǔ{thd!? G+d #i*C y=WPC$`].%2YQWI+IHZə,³nwg!S-cB?¥ VM\b{|*I0&K*8%ǯќFw4T/,-(%b~az< PLvhր 7Z:d wf9Jt${uFI}d1|قbL"Y\r@{ U1֘ `S*)}wKXnryM,`åY*E#J$r&Nא}: %+RP JZVKl(a0*|\sPx _;E_tK3OOP1Q{ !u`ȳDcgЖQHjN@"# xܷ}b)N.-BiT/3h+ʄ$sePލ[<19F>IYL9=r anffAm4!Tɥj=ϟf֯10Q ? 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|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+Vr%YKiU8J{.L嘯  ꕺ "}YKT D^Zm]w [/VTetV\T\ũ FC(`c^[aZWg ωk3{Iܫ3xFX8QQ3[-o؛ЙY-?˕>+5-n2nZ+M-4 cb]@bBi4[ٷz547t  FC04 -AAQ`V jReH&2(,  "a0 J0 8 g9"x6?.;[ȏB#&7yU`o| E-^=lK3TԂX1¾ O HxAP-O4_|o _Ŷʷj]*W]֎Rpktx1S>c'-ԫ KO/(e]'05 wwA'|JNCG%5jYƜ4՘:ǧrnh[jv-MGלftx. k(bm @o Hh>mRIn5H.ꪖtoԚb1ape& 4r.n_p4ĮB0*Jc:R9T2ĩY wMI.~wj%gmB{ڈ&9 9"2A̱ԠTk% V +!I(w5,*i4wj;>61=6*Xf[oX56`lO l5K' THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ըJn@)83` :VraX&J&t;Dj,D=H>Q3%kO* `2-D Z" G :gp@D :OX"Cc@^%R.)(h4p Kt)hA6\ΔȈ{{'9o~@(+uLn֪=Y.lh˺ z8y&(5L{kXcg8 `\KJ<̬Xh{nޖ|?)|C>c55SWwu q$^mU5%IcݝwWNQ|lsks 9qz%&U#lecTE(4O{|Siqm#IyLcSKeIs9HwQ&cKl0Q3y G^_* |辻kjU#IRR,sh`LQ,!q0P @ 1H 10A\WʬTK Y83&gX%J:(G̓p3֦'rk.(JSB.d $5K% FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 4 `gwµG#R^G/.$IL1-(p%Z݌N"pOz Q,x.JȤT& _d4OJjVn #:uy8qi$|2\L䙈} f{ۛ aX1(!˛]ͺk-wk[om)՘X+m-nQ21Gp9 9!9B"2$PB{f50d) Ʌ.as[5fv\rOl4[ɺ 3|E\j=A=/ڄROs- .mAx VJ3kMS\$N|j1N0 h>L8Ԧ-"]+Ms?F!D8Ud0xHNż&PƇx@B-*2.K3@\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^|*iÀm=O&Tڸ*Rv@fd1 8(n'w(dd'Sxf]QGBr( "}Hh, 9 YƎ8Xf;|8,*r Y_,D0:ah 2Yh8WHI q8 9HE, "SiapL $iDYDC cv rRPfW,}OTf0ciRʆY2!;#!1Ap 2  r82I0A, cLh M XBoc+Β@A_(d97@$ &,4 PHC #Y4`08, "hpIBA`zڠ9L"hP8Pł@Y,hpC&iGAddy;5_mݫf"L7N]T#ީVL]T#ީVٿiXG*[ r>@Kz"&jڽGKc@ႪZ˯:Nv  \"( rZ8$^o`@zs&HGsnjD !$ ǂ4-MeST>OST>OeST첩ST6MeT6m*T.ʦTl*lSTlf3̬Uv\*WU'd{m۶m۶MTdU%#"LL&*2.QUn.QR-QKT^/QR.*Ꞟ閖V뒒fe^eee>tRR"b!"naFm^ݩ~wwfffxgfhwfUV&"ݬ߼ygVu8βv?wW3Ԭ -DR1xwwgwwvwwwgfffffffdfffUUUUUUUUUqW5̪~DU4ĻU`$ ~TLDS3c~~~~~~~_rvvF94 4y (6  $ ,< $"H[j䀨*tcQ;ϭ+Ⱥv؊5p#~no܅=.XZz$>˴\eZ6qQzZQHCDyM kn%)ٹnj$ڗ'(ˑ'˰4ቿf(@r-CihOa3@F_cCb~N 㻷rO _4 ZΓˌYtR*\)Pnğ)[\)8쎂ir' H$s%<,fnG&w+E;87#+4'sXdC  pgӝ"RTfL{ -VE<|Vx]18?V}ekHQ+c m0)DzmV`6xBM?AVnNThSV놢PPJ"vee=cR3Fܥ~9뮡5R._ ]H:(X1:0ᦈ] ,|X: cHF)rG;^ȉ6o1bklT>."ucŌg7DVЀ܍>.|J"MnTQRB9@tКt;4Ȱ 9v{RD`C{`q?٭EqE+Nuq `Mry;z&kM.ȾNv-zD&nj ?u.z0@ܤi'9/L(zB5|pbn!zLY{C4O>-OD_3jUlᎀ2@xA5&͜Ir'* ;p%y-lѯp%Z[3S~r;D%V9ڷ,ĮeM,(UhdJ쏦܇&DXrc1krؾZVjw66& BC|iS {o>+T~vWT^J;\64>LGa۪} е>{v|k~}[e+#Q0i' vŌú.|s͙;wZqg̝Ak.OQ=~?ȳD{l6͞lS dVPs=,=~`}?ot? @ؼ,Nzf =|qf}g08cيEiw 7\I؅%NE,b 5K) (HOL-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+<&BDtn"}^"mMIE |8|Ha-r$Ɔ@oLJcDoB=<=h7I݃7n,hfLw]!е\oe P_zW.Fjgy<43]!"t.>6y@^!=z ;VpAj0VFC<ƹ??UwCEŭE˞BģW\1Iq֦ٺ0P'K>s#"!˧E<[''I*=dƽyQ  I(P2tɿo6\5~4Pv^/h0Z2'^ ^p5B%tth*Sjc;?H_ގٸ{@ ~*çv|֋Wx۽ϩ?EmG[CJ ,*V+}{L:ك8{7iʉlM@#dZ:1U,4T|PyC3٪*$Kٙ%VR>g8:W 78vǬ5t{\5;=0S`\^ zlkb'$ZEAy:A/@9 q֒+']Xg(MfR1u1P󹫪K3Zs9lq}Z6*!0H=yՉw&8U<{$Xsœ 1XA2{xs;Rg1n=u7iܨ:~ճz|b8/oٕdz/^$%xHH7^8xAaAP 4DfLҮAjDlq%NHcϗ'P@ i 5gLCL%(EgyJVst€$в=;kqh.,d9!^Ipk8@UD*%7-:Rdø19lRNrwԹmroˌ >{ r,ETM ă>JIFQhNi"ѝFrffM =0 k5*>zp !$%J/6GL 'z&);'guY4빶t4 W|Ϥ*|B*f`VeG TUVtEV:@e&<몝8xa_ G39r}yFIm}H;ר4 <&kB҄^5O38]%!`Fv$R(&m57c6J0kv`:u=&,9@/[OBpa23DNĬ$vs”vZ0f3ޔ}\T2rO.̒n^hH*\O5 AP/7eo:?$H(عXtGcoL # ʀ;VM͕x^4Ng #~HȝⲶ!ݎFGsI"l -ݦ4vsL m \ip2%kz:_0O;Ù0nGdsYI]Ǯ)WIZHX3js7d[a'޽D)l+ 1|y-aYY؋E*iU?"a׬m:5xNqF.8*wpAD _igă3E fP/,\dgbvsMU֜(` e͠eULP>mz_R920({s[`*ɟlԼHqA|8E/Vl}uqV`l3re<{ܞW._r0וHKbM LQm&FũEp%W E~be/6Lyi1^3>mܬ@Wܜ~+@[ְfN@{?8g ]4ˬ|}1X)F U:wP͏JY0D\ˮ&r(@_RoS)qvȹHrVX LƲQY6ʴ-;פda$Ω%\uȚ46DJ6-dz҅Pqp0ł$2tbhPx̘S7!Jsp\㴸gR0npfoz_͌_%u$HH}o^F&]5OkD%7gZY-Z&<3AM䋵8UW'ɜ'x VrnI@duO3em&*Xa{ +.,6zS3FZTu r404aF[0wH~e3#| ei \bb9{Mf hƮAhȾȕɵ6fvؼBt"zNROgdώ\dso@]m^T:0 mT-'. %KIq,HvX8wG_8##눈VzX#pKH)1 A3bDr3CfI$eXEݲt%BtrX"wUED~3:`9{tlNJUUUUUQUUUU3$IrJzHrffffQnn]E"rNݝSzofv33SjffffZm+muKtViUUJJUDD-$I$IwYmU;fVxu۪y $ 8H0,$ I 4(H, p@d I5'(bB^BbxwU$"<K'bH<,'9@X 8DD`I~~wUD\ )nH' e$/d߉Xc ThRd& hB,̾U7HU&$nYEtLͶDEc/3mUhq,DDD':I#4H#M&Mz3Lg:S35SsfVdhF3ьffff6dg۶wfe*"3Żfe2QO3mU뎿mDv˶m۶m7IYmՉ7m̺o*;ef:[ya8t'2Gă%8UA1 H㣘h4HX/[-I2",hLXanUEDG4Ń^X EcqsV-$@ca_f۪S!"y]=pQ@q{0L,\P0\<$,\H$ 8`B)`GI n-e.!d闡I%@ڄ՟䣥݇M$, mu'`mm9ɧim"&"i&5IVah#AI>JSD$0^1O T"$ogáK#%yV6'I.PWl%Ϯt1$v~.Y >Pj"H .(oWt d$G"@")y2]&QU2H|WEց`DRⴠI3|=$S NxCR#{I.$YUe*2)g4C*$ dI{4 j ?lTZe*Af,xn#q(e @*Y#N zpzjB#.+H,[؇;q6; G얪/[LWn k=FV>jds;Ӄ}Ly},+89[Ik;LwI*l>,tkRl/&;ܷ! -CP$a!mD[}݌WUs `Ma2৚)27n&y,m۴Jos(~p] p}9LF8sW =$IճMm.# Y^~U}0GUhͱ*N ' vl̉p6Us'"݇`~B M}D~qے8@~5E59fNAKpؐ*x/)г+t.݅i^IM,KR0 }wr?*gKqMGI#KT)„RK)rld~VOٚ?Tt,8Ǎ>=3yQ P>Ar`^sb9EԝMu A&w1=BqK~>LbXl ^fV+aQUr()8Z3#Y/x!wT ry>AG"Q_ uļ’lE(,No9ޘ̎yK >45&_CE N$ .]e;V[I x4goM`S<5휞5SRduބf?+Q[cqhLgX(49H: vAt) 489rnLLo'O"fy”TfU_;0ŀB(tTm2g(n,񩓾__XeBɯZCyΥ|@ E))PcVƁ|qsU/)Wg85t>}}t/)49u-$r:td^u9(tͳjp;gVPyŀ_dneUq_y]o n4:#rHF{Ğ1-Hc4Z6sp "(vqca""#wX w`:>Wq%'Xǽd(mOWȔ?νIϲ/WGHwD '渏Kj~a.Os | @7C!1DV-d7`mBAOC߾ mɜmTzRY=XBvU(l_lء :Xm土H|0^DKb];2&0a8 Euquj&mrԥ` z+k-R+{Q.l7voŬ \f Վqi *G0~Wuo7@Fgwx,վA}Qfx鈛}2B%~l9ï\Ѽl4L odld#.#85vJx͑۱5QrJRA_#1{' ecd]lY(Ȳq ݙz=*>iwIj`C--F ~٠>Z#NZ7jLl@f2V}f,a0ZGxXXצ iJ,`|6ژ)oUITn05sNmũH[(m!AW~Z]MfΥ# ؁1XSg\oݒ;FhaZ6Ԧh@ǒF ~Ih(P#Orac iN9!J̼\6$R%ŵw{*Vۀ*ǃ 6ژ6ǔdk7&"x ۆs4g7=(.vP̨ұx۟J :jSyu;jgUK=UlI)Jo:So4"\K-* לt6Q66ySU0լw{bmݺ='I}ty\_l΀ؙiVZtQ>R3ം<3y9NNKFkFN‰}:l|5J'|*-}\'MwGߢSII]ΰn] k!6Lm4M\yI;Eo6Qh+:{4Lk.kH+ e0Ij)xcBc|pׄlڜAjֵCtZ6jM7ulfJ) &D}@,x` e!Z2c פ-OXFY jhu"*[cI%+tkp1"5h]e{V5Ɇh C.PD4P0BJoS(FXD0c2~KmR` S%T jk깥ч#q?^bO27B9?\'NQ"m%{ٙ ޫ.z k]z_vijh\0-^hS9ͻbS>F&c0SlY3ieP;˘Ә1Ls2>FȬJEfd\ISAA1ΏQey )5iۈwd`f&VXA0'3}f㋭%Pi%Y J3ȢlNJԄ;q n4{q㨆UT/V; XװĬpnUߴo")1jO!ZO$Fhܐa26/%$f`3ViORdeU4#ӐXqLzfB.g Ly&􉱙 k+6[\.\3҅sdsE[Uҏ4|7ߌq~ĹV;$o//p:EhU_hS1> qng\%.z !dWBb@?܀!)XyDXcsbw~hGG/V+|/)xZe M]zSȷjP+}_"eLӿaw+ˣ!an2os=7r+^,!^,"6;\{-ZgVT?>{w{s-/ZO`ںgP%|Q :R%)/y.-,CcT 92zxf4g5v!$AI1Tb{}$"  d9/wRg=+曊F~z׻ #+G9°R{"1-aþFd%9A4jئKWRB^_`I2*-yH,镜RAY*/4Cqnw$bS"۵D}C\UW&N,w7Ob5/sPDcΥnu{Zӑ{k0?g": T76ޗ0j([,dz#n9{_~ulU@PWI&o%Z#bŽʘVH:;]#VF&Hzir4jtxYaEoDs|=0͜P=`|:(DA. _+<֧z+S!bъ䇰5ZRNzI}s5%LW7IaYm/o-SؒnPOޛ$f#*+:7HUVcKf\#WJi %).,mzClMџ pL!X`}"3o;eW H,^rU[{Ԗ?/ϥ9wbt,L$\diqq01 -VI\ZkqNP>.xaZJPmOkgk UkSGhD-v p l'/9˓֕kNJHLncL!gWzS)wa< tuVH5{Z8j{ˢ22U?7#,Si&:Qwd^ (^<3bw).MZT(Iߗe>͝gpbK:z8y{5T]b\/=oiˢ@"VZ{Q Gd~V } by Ũ휝qB-~95Vy% U ⨖~Zۍl%̩_>A E9n*I3w(̳uZI` yH(`[F5Ɍ=  02\!U6k|ѻ&W[,tŽ{v(/p³۲[WgɥIe$XIqW<S$xB,WYӾE9`# #GDq.a a?a泚g3= zXh q %.ϩ *K{Oqr^4D?L4BJ"Zi>tb ʘy";dBvL$AoLNf)wW@R\iJgVaQ3.ƻ◌dҊ dn *1ҹ smjr7U$(dzf̋93>8C\Ʃye>o>ޝ/a|CY.Un*;LXL-kȞ< vCUʹ!~+ӾLs$XXuIO- 'ʲL=w}"<ʹƊ54ShCڋW_<OႮWyW3G?tѼa6{_ptlin,'V#'f%ڕU\֥&{ݘ5wA;6gf];nZ~ _0feqˡr%w9y obSg<'th\?\ν_e;Zks:=•'QC{_ {&SGA'1š]`.:䦮SI}]]Z-٭]sW]h’{7GPHl2a"b( 4/$>Q{%ҹIDmyp.D dƫB"2[Wsv"d}m# UEd2^ݯIX?.mOx#m(ґog*&-@g 0a8O8t5:}GL)ɔ.g^՟v{"[4M4Mo*VUbX*ϟ>6mڴiӦM6;WV۶ն-͟O󉈈H$I$gr۶m۶m6333333333oDEn3RnKtg:ϯD'i33333333m\*WU[g(2D'+rm۶oKDrd^VMJDDDDD$ ۶m۶m6Ùt3T[:G[Edo%:}F.0,2 E R-LMD(Ug'"P0,4Uݚȭ瘅 4TpBOv;[gXSUnOTrnVU*$۶m۶I$";"aQD^՛l#UUUUUUUUUUo۶m۶mm۶J+DBD$DB$DB$URɒ%$En7V8sQnhm横jm*3wgClj8XDnFnUݖRuی7했*hÆ*8LpkP@d`wt6LTECC,CCfV"p1AQAU=cfة̄ ,(9*UU=c⨣ 5sA/@ l3VzR9oPTlԞkgr3mdL.AQ`BJCc#>&4,.02d\L34%lm-͔|u{%"c#sxrxAĂ2kAĂqa轃;xwDZDsH4L)~(P\`LP`P4 @$@הSRAz([6 L랒"<⺾= {Īj7-w,iѐcX2S(ʸj@$3VtcQ ?W2"IFU+#C xj6!( =a:+f#j5{ )`}eZZ`R0υ ЂObcf/): l>xݪs6.K$dkJF*#Ѕˏ"mUMEҁy";hvvDo6w\m>@p1VmFsg/ B+`Ccb!MH&p }[hحﰌ 9MO\g _e9.'h= 9cjvI*<u u;і'=m)( XM^l.qЅ+ʓbvIJD5%h5/R<6W!64 Ghx$nխ3^`rؘIҋc,:!ò\:猈󍟸 X9NJPwTP\"=+:gYo}ۂ\If@|y@ Й OGiPwoHWD|RtOG'5]˿fBr"uZ5{0Z-zLFg!sA8#N4Rg!Qa6Qwq8%p_1M{G%54 ԾKG1gB%~Ѱvd%ӺAÂ@dWxZ z35gܗo7u"€L(AfadMlw`hO|6sqY'9I^Pxb&8Eg}ϭ(ktaMp>tS2̀Ώ$C:h ݼ2>}4P;7o44phuUI2^"P(Ro;(@XM&υ"54fNi\u uPeװ&vl{Nw3r(ca;Yy;뽖9`!ذr3{uS2T=A>7s}CxfWltml39oط"~pjz,/cmBbkPHlgʤLO?r_ԤN*ތzb*= w[Z:8۞8pDrnHo[`-q ^YwLRr T]iŹ%E\3m*Vii oss6p2ߡN{sC@zm,BJ8UNaw-g[ ڗ9k;DH&@Cu6BUjˈ*B1g~wxTvg7cEzEWs_+K1{#)YQWuPkHHs 1 S&4^LouEZr N@'9l0 N9:Ǯ]棠r[O/L|eg»L:vPV$|S`-xQ499%o+=*=mi&8yǥzv9ᤐ5QS22%*n],dbQ݀XS0ε)͊k4ɚF3T?oWp}>oXQܔyn诚`J}f,;k(  o,_u Z :)ŴC%$t]_c{n&_dԹcYJRR[޼m)ː cѩGe =e N8,0;X?]S{u֚1:e26qz&QLC$|xV0}m1i+֟:/? gie 1Fv[c2st:vK;j}=9>XۚC7oeΨQ|HdG6ՁH6?q &^m@CA[L.Ɇ/i8v,R9YU/-R޿۾т[.B.>WvX&0 YOL&b u0AimbC(,$fk= RLX6n p$~K,W`iS* ^>&}9u_<! HD%h\)ALI#:V($XW/֞Le=sf@'GPuk[\fSޫcϪ;=[}R$;6Woܒ޼DZmρH@w[rc>L(~׽5XUr{N{7cgXk,CvAZkcz͒Gr_WL l۞ A=7# p0B79Cc3ml=H`Xf/w |%g3@|saɵ.pϥVyE>$'HYIKbH=Wj퓵XY9(?Md}oh>2 &6GԢn[&(Ds͇B^3ύ)/AOn%y?&+ZRw=}4 3 V*fh"UhXߣ%efb7ǦlO7wv =OBm]4Y? rPR9ewڿ ~l \`㒉+Pw| Oz:$7r1 F'xtjjuV}:kl{۽orP.rP:yؤwseS~-Kګb=5%k랣e> >xC7Vi?6;!8040lz W'j~]OC49 7w M\ WٴOjD/vwzԟx{xhK8ߏOp;;:p=*c~7r~NÇ;堊/<هvd(3M:'1TsDջxɸ J:txl~gR&r3SrMJ=3։Q-eezjңoK|j_o~4*HIW_7WF+9 l*Ak=nգޞ @"]3g3ҫ%r& i;zs6N %bݸ{hRǜul19 Ei<"㣟;?2^}'޾tJ} Y|;}}~I)?cM߻"R}U}o6N0{sڅ* .g[ M={+}vh{Yfb/m.k(|ƿ|]*[r*  |u[b#I>|I݂@/r,P>Ús 1ᛢ^§2iH(|IJ#)|sW&: [>[ \w47j;{7_Ƿ" ̊JV P֭Q!hK+> 93ۥ`+(/4XS! @ѳW`+h|( u'SCן^` K_/3r`ԫ2 3S8;3-3lA>;0 ņ|B j2v7{ ȷ`k'ȒZ8-}ŷEꚛ|1 zGql%b̭`lM3[3*| _tK9t uϓ>&7-pnn0^RyX'lmfk86e`|]:ck]ș/w-/WB­_VW~Y.[1M_Va~.hڢp'p|9|u1_ޮug386_\\ g{*|ߞ>ߓ±g g\ eIF()bV%<%&AoReh @S¯ξŃ55|z *)NR_çqk<5Vܶ_.}Hxeсn|ҽ_sqnPNmx6]3f_I"KJX*BVR(q$jSGL1J>5pwldSeQl<@*M㓒`eo8J62x @spb!*LF-eJɢQ eknmk.mDDݝُvn~DD~gn ;nꙇݙg"b; ʺ3=ٚ ~5omMEIvc!;4vۤ[. F"8RI/)ScMjROv[vۭY}Gݝoj=f{v(8 nCv+l+[JVꝃZgTJ[hxd4ɐ[nHLnn-O딉T$ˣ(jY3V3VWj%HLJWɀ@p::0E2@Nϩ*g=D,M2YEZ~yD& ׹Yxv\(z&"Bwf.[2YWFSɐSH01<$iei`>AA`0 `((ACJB2 &zYJQ v 'Ú z f 7_B`pt%,\A!P: GsnכZΕ'I Vjr}>tMX[yT;g'Sky3W|Րyt΅{2yP<_uکwf類-[]޶hP3H[3GOؑΊ&#7ґlbPH)._4c?I+arnf*6:S ΀;Xly] M(BӀG9Vv ,vu@gOЕ JrVh+uo $^zSQ#A'+O$LFs$A(23D5r䛤w k]`Q#K6x<`uז1@yQjԮ71a7`oQJAz|z@?a uH7XnAXWΨ-9o5 y*A)4 Մj8h3F⸆/(zp5!MD+%453ùT]DV >AyTVz} AȻ' 'ϒ\g壇"HX)^'{I" +PTs8d+ Ly |CDԜ@] 6o 8Tȳ3sОgk`=R\>y7g-b*Nq+SLGoO0eKYagϷG %O ޷Wgk>?'Y}@|Mc F4{ΥA2rWJ&TzFGYuZo5T)| 0'iD=\27t_1)MtM;W ܴvW<7?%? OSGG:J l?Adz% -$LsR2Rker"u1y]efR!Bv$a-d m4;bQJq0)cԧ6 P:Xfzy˦+<2S|Sd\!0{+;;1ȥXcݫɭdžD{aLJx7HҗKZ D=|M&h5EwdB^ᡣ&lMu]LiOi3=+v30iJ 8翀*zom` *}]+œ[xu+?UrP3.Iu ]9)eernW$մT(<{/R1 iR6y~SWB'%/1j(tW+]V6>iꪗf> zbˉS4W`ӶLX P(楱a(b3Ȉu3ٓJ)̛s4449$6ؓLft hodc/8 򰾃-S7,45n|>R d'^UT_xNQ˧~ D۲/cEP7 61I(M󔛆31E<P>e1rWrU:pGZjMMs?k8Nel9\G5+[[L~#/cSs ť[sqPA"T`,ʴea@v4ÜuR%gx=;sNYg䡾s=?!7;(GNDb%eVGp,BN [sf-M\|%j2>nu-2 p <|OdgA׈ m5iKh'6E o)3)x0wV8szB=WllS&zcLD86qsچd?ifJzsD[^2-U-Ύƻip67S7!H4nH|Mе(ˁbJ1}.v3l! M虅ldwM%+X/[=@z@'|* )#0>vSsh m/QHmYzmw䷏QL)R@e, _-trYS1(TTM aśLbՓFF'E޻`ၪJJP7U`PjQ,8PUX)NJ~ycΕYkطxOwJk^KS)cf7H(~kWJ;u]k XsY%rS6?:)K4U[ib_{" 4B(lhp)^ X[ D @65A{NI~ XFy0l= "wV {]x=`Zb.V[ٯIFN`ǡ2nף 3a裮7hg-U"0#[ZH3Ge`WՏH*[bڑVZFʙd. f~egUhPJ~qG8Xe겞Ƴpk,Ա}n4R =( [0 ODIV3E1\%'Ta jdY1Ic̏]v?5d(96eXaI9}MF*zAN,Vq+5s"QpLt⩻F{`=Ԇӆ`%NNdsqJe“RI2&5|o0eN?)N6iV%38kUnÄchcQsS /Nqt)?}%d w_3g1T^FG%]Ihjn[j D Mk7Avqx0Ne*ܷbD )̺y/[-<.RߊӃIVlese[KNxƫo.LFxSA{Op*]Uֈ`Q~6 4V}y^p86?[ɚi/"ApQ,`:RX'wF癑' bO dP @̽?$-Ptߐ LM6܋b ()%ȓdB2p:2p1LS#cQyw;O=-Z St8;po-/=H&!"~B,Tfccw"   C 5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u BL(PgD| Ok\Q}oʾ033s*:Zϣ)oCA溹7^pB /:1B+y-HV078 4J@@B<6-/Np7Tjw]%B|'@x~eŕFF7 Y RmhH"0A[8J " |fB%\ǁ0<<_ 6F  ,%D/M]#ҠMA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal m 5K/ LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lPZ-f`S?u&f;0*jH#&[h1*TXw4c5YS]+1wީ7Г)>( wE/pK0C8K J2u#%Mc$QI+."5H=J>fEAIPrR ,>4Fblr uֲp[j pJ4j DB!fh$BfAgE 14]Qb` CHCu=3|l7wltֻ?OhgG u,eZIQHQ R0Y|vNcgaI O(-PM͡Fm $#|!X@v0iZPEeBD`)iDC&9Kӈ(J 0|]AP0P$yR$ z,J $gBDZ@z&Mb"<)z%q=7#istgjo鑣y̋g"^g"Z_Ⱦٜ ˚BIcc} 4${xwm,nf}oNj{6Z;3q1{f6wj"q8gN$, pH-c1BB0@ $߾X$R$EED}eB5QJDZl'5,(ty'-# @x:f2B; n;8^4gasZ`nظxݙ i2` (20^깿w+2盛z;:oZ*w&gb[#v6Mè|˾I!> ¤b>3O-OW"2ߧw+¨Lr»z(ێ--#A0p4E}ßO[Ϲ͍xob{neVFeLfW}_HƎHI]UA;"bb$׆lEpwH(~WTDR5-Y>4 h $<(0 $;8<4a$0 jϼ%R08i~ݛۮT۩f;VF!o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``ܶ~U_D)J D˻LYj˻JZ)+e4$Qo$AQ@hh1Lc]Ƹî2pA&?t1BLIp[_0LRcH  "wc3gYFU{Y; PHER`2߳>=Cahn,= ;޾`Af6C.C/s&?ʩz?J73bn&b76:fn_#ZC 7k6dye Q[0(J<Uyֈ4#OhPϹ9ڮ]xpX Y.0Pol>=?9ywZ ❍.fan,(JLc} &  B` gc($ dɏ#%NҞy"cgC$J;,=oSec]4JV3 4Q )@QY";aD[0=Cܤ=dh͇}9 ?5 Z/IY3Vsʅq'ވ=<&={ L솅\ܽ 7 ofbmk9 0tQ:ΚAacن`4^h]'%T!2o{(;嶬%B^) Ҭ%–=S@%A}΀T? LOJ;s4~ͤ$eaaw;g< "} ʧ־kwsN"bM8LQ,oW h]K4ΫŹDg OSIt<'IJxشt>ccpXKu !=c 8Zr׊z℈!~(+3ӦWO~νX7ίK}sI2p49 .͗iZ;ӏTq"s#7K4"Hz,hC TN0T#2v?2xadlvJ=?&h57$HAΐv3ɓ>l` ߑ\J[ Asv؂cfOC&lx3SwN*ih*$zK6G("&}AA-O禚M!`j($#H2#MP?֢7s91k9'dE`u7SKׇkI"Qȝ]#yp D'}.˹duE1yyVHME_r,nRʚQqVX2ZAna< e@f݅߶缀c w< /q jYmHf7ﻼʑбs)d+e*t@9i89آRvHI-5O0CķB.j^o爭V1G(skҿomMrnOpoN(@GTXTtk?#8T%^sErk3֑.Y[Z_r:Tm!膃R7'2bu_TC! @/hmd"*&]L?J AKT {}5~Z=Ŋ p֫}Mb+x|/&ձsxcJ~m>0i7ay8-8KxRO]I⠄UQxI@:'s29 < 55B Yo!%'+-T}&{!Cm-nZ?E)mŤ猬& pc/N=BK?mHr˿B~ J:~y,zigb3BaύFb4T ʱV$**dPXHlWgUM!FQ'Eτlㅝ0:y's<]zM ̺o7㸢'iV(CEMx|)JQ7̞vYߑKQoYW n`p7,}StN{؝Tk';( ~+`Yd wڑQ[ hq/kܕB@v^ΨMT|Zze)R3PY̠dd F]=e\Z0hXB5ͪkYuF v&̻_932XJ&X+I+4KZoSClzpcsoznR t9RxTf+U l5x8 <^y Jюد|o\2.ы$4hs޿uÀq'p9y eGא}$g؀0/2tl~tfTVLc* 6dg󳪙KOO%Θ FD4Ȯ#̣WIS L=}t6S7 ψ, Mx)Tl=f4k|كWiKP 6\ yg6~M%:l+:e¹ꋻBspMQ5Sm.eR{<p?.SO]PE[lb`AWy®*%Q:|-!>}-vbmP[4`?M0F 92`ÚS {%uZnZ/eEq`&p$bO5Y0ٜҍan&~Fso?<6Gʟ5[9P[to-|C.$@A轄 'ns*risY [,݅Ns2<?ir"D-@KY$S Efl1'IϢ@8j~giF$ ST)PutDN`iO+M/*JƤ]˓J%YY%d6q奴ڊg|Ʋ9y($g ytgHؾvG|<==uvik, )H_˱,G,duJgqNBjq5% -AȲlLd9p-ņ̍ݭe 'W>Ǐt n)?<5BO\>W;eJ>]XChbPCSG5 b~95R֜6)t˵Y}, ?G>{wrAWJMsc'fƣg ᡆ*.hشY PTbVW:uYDhW[]TDVkXI&OK<7? 'uk^Ola^S\P%%+ۦ߀4/a 4G' SNV UN'ڙ10t<9^ Zn ^hSElkZ /p+b4ĢU01A)pRoYƳ$e))Bdr0~!H]8֛桭jemLN b"Cyʗ)DŽ\X,2(g!ɒh{6f%'#O옝9 X}U"zA"<  QNjwnoG[fVe4mS1xa!!c""|QQabiz$t譆~]9j^|Za1>iDZ+Yfr1 3BT˜J38Y\QfA=IzTpn>&5N6i@JN[d%LsyJqAyD/gGzrL-Ŕ'qk!* ĴsD*}}]>^xR9uu >;UK]{Bƚ(*3-$M[0Wnԝ36OZ` [hFyl5a1YgD *c {hK!5,2~>ÈlH 0fOAlwA!fo xr\Ɩ,3­*a)v\gkE >s?Uo-޵eEb9ApqW6AĮK.R ŰOnnϜ!`Hv=#lf:@(yrRODAmqb]7TUץ 5?VK#VMUUBUІ%Ȇm1/j{b &)Kk&~"~ aʑtxHy1z zaQ d76[%y]-aXMfo)$I2í]czҗٜ5$ޙÜ7&=p>XpӋ{1KPRu+78m,ُ v6 Ȃ.ո#sO;A 1s!#{׋Cn&zqDq`b )O?WE|_ZvzK"QTsHJK]X6×Ρo#4PBNqR9t<@.7#޼d!ӔNVFC)Ċ3K`71yOR[W|MI"^^:_>; 5|RzW_3O:6a3`Eo4"+e>vHN?,$+9lՂ2i얼&DKݨɨ)˞h7#U ķXqAң5V@3dAc]SMyP%ν"zd:g9-?.Qf 02D"5"yIiՙ0, T @ )QQѼDE>M[ Ȣd+B_&mw 2Є7.9,^N8]lj.l mO %^Mvy.\^Z+f/,i\L&@"Ejnreڛ `d2$4_Z/c\LtI6(匡BO]wb \gQTz.Q24e%poH& 8,mkVOlUHkKԼcK8*R~&T/ 9U0[v8 ug"S-ާ_9c'I:,=}>T#BK/ T_:Nn%(&e.FF,bH: ʦ/ ܃ta'lY#L^h`VLEhoWW#p=\6)*L),FFú6ӎTuFn abj8;'Ae>Jǻ~QHqK'bْR`l_d֖*vBN+|XV.ѱ"dsj?h^ hKIV >;_޴JDŽuld(yDU͞:A< 9$[r̰IT$Z:U3)4 Hwp _$c y@)EĂrLbI DY5e U(:g~#kj#Zyg,OE,(`vzg*'|,\w'mq8_<6 QqZգ1c x{5@>RQ aq0 DMT<۰4NN=ɘGޟ8(r91[hSgX].Cˏ,QR>޿ZY />S i0F)~2HV$W#Y,$ӑl?\mST 鈘t a/5+}%7>ٰUd=m2r`eyc2@mQU]Ú610u1cJL1ηV{D7S$*x '7mN:t|H|SӪ=^ȳE%i]ȩ 7t'pqZKHr =%U5!@ILc~q|↶, AZ(+J,4@n0̅?7quuUB`IMdڋrߥ;M}9IJO$;ؚ8=}<&@iEV/kqq@t.0q Ko٥3/˙ӁH7Lt{edo Y>cFi"#qЈFCn qkeŵo^ 7E$(x}/>kLc1C~syiGQ1U͈FS0Ң@jgn*meGM!cW<"X\L 4Ov8a\_csq5If+.fs,p+@2iguFS{`3Ƃ>lh~6O9oHg>`3CLE޿(se'II4S j\ɄY#{}؛]8D&e>#"̓UɐV9;X#0r.oZ~xkꮊ\8V=)A>7ё]DW,QI-t?3oX$Ӎ;ER7љLv1;!JSZB֥PL.2$"J% [/|06O{C\Os$p _0QbJ6;vlCirc3}=di@]96+9L`cpij 3F4"+tE%U3W c$^ kPbueEXJK}FgHHNG;J*d`=֭ !-'߻bja-*S3 hL'Ujy\PL:\M5s :`C"2+ m3?˷|n#B#CGpSHɐ /p:ĎgMONLPmuR PE͏[FHIW\Sry%"Q@AL,T%gj: Is*gܜHJ*5#Hj`0?䢹UƜ@t@%0~WB"64z1CZXPCg *2E`=KTEFb9x{c;Lq[w.;vu drx1h>^FLt\׃Z~EfwČidzxPI"{JV>Ʊ! U⡈'l@ wG;&掎͢΁(M?v[dהۖYeg6du6@`ghlμ~q+W@;a FPtu*G"I?V(Ay:#<8 N'Bm1)5!sT=ϱeA16L߂E1hLe0 J'nKPhw.kZK@\@@M'O+eU| QUyD%kf+?#Y i@!\TE*:}SP 8 FP4KE+e{v!j xϦ*AjoLprʲQ^$u%H=SˠyhdnPY(-@R W& A"\ }xM--8bM$4__\-g_Yg:wts>PN0v}QfDO+ΓԍP%?TGB3OUwt؟JP)y̱h<(\ [2r.{ *C$!|&uE@1k .({2_2HPZK kᗧZY_᝭??S^JGOC`J B_e[V-{ELEMOtYo-o][9-1Q2џU~5#0 D<hBENC7sRx6Y,Lz4k&I2WRq})R!%V 0#<0缦ͬɫh4`byyiYFExQEm2 p;>\ h@ϝZ};mni8IQ;E77U^MH-=ojhI㦙z8T Ǩf 'i" ! C c9H@ $1A b!! 22"!Mq%o‘Jo8dG@.oIwؾ+>tOOy'CSsmٯ)E9W!3*1E$s'& K>&Yrԯ3]U*=F&Pg[$c4_ݹKA11~ddUºZУu9\= =ҳLG% ^RPRZ$_A8 ##eBsL1!+iW1%OVURt0h&>sOuOܴؒ=0-^4fl '"ȟ,;/OYD -YN4w8 "r 8uBj } n*90zi=|0;򢦃2D>C1]AT"$޲W4ˌReNlG6R|u3鸰F YP%9foQh;g]Z6ԸD TC6RZ{ȷy2;G.C"aUp%<`dƪd(=P*rP!ur;"U"~s?q-Mߔ8hZR~\% _ADzQBԹGUn-1|vcگMeV"D-r|iuPSfA=*L$-6ߔBm(U͋l5NK!-WɷuR Mb a Է3%@6{#Z -̉βt*/G+j,F-<:{~K`tѴZEYRjcnorm1dOlh5z&Qh.BQ5R}jqآxg#)-4…9ciBJ1-i/mG\1DGiMq5}]SCe{IGh}.Ѝ{GE 4$Of  )L&wO⠌L xT#wdSD'FM_I>E5Z|(߹IyylJiSY^b\E"Ơ)"*'\5~.úHvV;|*F嫗QIz A5fܩ+U U?d:S4gp*rp[ŸۓU k6&x2bnE(6Nhb]!핍W#5R6|3KZJl8qhWuv C̠zJ1#fz M^n% SjnEFoZPxjI\HPnEȐ`vޥo[?Fn#' {aʡVTD)S#aXb.bpyd6y7x v)iϴjA%$$Ҹ`0=S=#;ށ1 Gaoձ\aRVDk|Ɋ*d=!z"y(i,prR'|,P{9A;)4R*G._ o'ŋ6kj#YU0bnf]i2NqvUT yP^wˬxhT?Fe|C.jCcփv%zU| PF;I8\oZ0I GT* de| BY *5AǁˋBӨQD"wh[j-"/D 8# ԕ7S)a8𙚭029M݆ HqX2c9~HxԂ1.^R3 1l<P(*-ٟ6yXى]/U %4LNvl!=@- 4&uR?*fwD!IFĴД t8WDیvq3y%K(dWr Mc&pXNNNr & 5O' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_F#0m@-UmymXXh'GNHRSS'eFD+9i6+J''*ȃ!o%(kЫ0SO'Z:~f"{ySn/7}}tX,!1Q7;1PA@A!QQx0nC}MɛE wU GG|i#g >(fˎb{{bgf=H5:" eB>@` ( a a!B B !?.(H[ڷRřŋ%k M# &?=z(/ iyDvByzW`g2襍 +h Ы6Oܤ;V{`´y)b_d(-n֊GWowӂ@r;$ 5k}1;a,\&O%/g{%'iFl%{_oHaQADrszQ+MgrZNu+t"KI법* zR;D{J T"؝ +y^u%< 7iK2fTPj9㰣FFt+N0_N!f؆skKZptf}e'b6pu1AnlIw!UGX>?;gfr+|2MI!L$&+ġ]bQXe&vmK$~*d5qfVcĈiV/C`r?2mb2)=!"kKOCiE{wS- Y\Mi$|8]ă8]?:Jx1tin *ƅvǯ]q VVcBM$D@ ]Ž-+d%E5 y-SYBnlAy Svu\A4ΟLvgL.b>)57PN2I)&,JwXXZpH;p | K q QVo3,Z}xeEt3获\?յBp~::nyL(~FBF c]pv9W`w44P T%a( цR튼[;M'B̛/.8b=Xq-,cD[ V%t%S4K\uǦ!H<,zFȉ*X1$Rj!TC[ns0])iHQU:07<˷P+uWӒ/Qt 7U6ߠ<У Utg/ W^V6pyZҚ:@0l?$%imdZS%"%M+xk-{EJyj zw]bWz&,R=_+jQl_ea@ȘcQOoJRو yg5+OU)(A4*RX`@"˲7UQcdierӉ$ )mV+E! j(Ҹ EՔZ s}yhˡH*fj)%mCC%H8z/?N;=LS.~XW&&%̪s &sq~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