SQLite format 3@ .j   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsv r~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r 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֬%$VMb,$Y@;zL5,ia$ $29%bI'&`bLԤT PU`,$X""z{"aK$5Fmz:ZTn9$_ 4MQN] Nx͸ػ=gZ۪ȳP4Ѷ,|u`,N"ǟKuJR# vWlj:kȡ9U"!!q)@졜J ͣhT4Elb'4PP@,ԘDXI@h^ ͩ bX8,5)Ni0K N"HK5"=m"KrTU|X.pk'&*b~if7L^ͩ3w#Iut(l$FEf_ɭy苉  3#*ʿg'h,ϊzy  ǫ^BWc i7ukݦhiF@/j CY¯dq+WX}] Iq(ooIVVR1~1d=i̤1ʤ=ĕًٽ4;vNZrUU W߮e X` XP".0X`D :<_CtJĠ;߅CĠ; 300D }hxhP{ ,^X(PD ^ͩ:r^Nߵ@L$5w~[ys1W[_誟܌1̌ v䌈<?GFl DR+DS8D[h&)y {9+k[/qXw8p zKơQRy,z5"D[/a6[\"y_י8xzQUލ99I0 weejVk[q-Hj;WשIcptԼ*PCHRmrD`bTy Xdcev7/\|^Q#IRRP4Sh`Fi!X( š@  A"b 29h-4 h*,yY+x,tr$LỷX 6>ɣG_., JP4a1Zb-޿%n Ϩy'?J{Cp U)BI"MrƝՇJih+v'[c{FPZ^kہ\bR T5K% &HOL-Nominal-ExamplesHOL-Nomi|$\#=  ׂӂ|{ix\rYnXhUgKdJ`H_4\3X2W0T,SPOLKHEDC<;:976321/*~)x'w$v!qZYXURDC > 7!}|{w t s rqkidc\[ZYVSRQMJIHFD|Az?w>r8q7p6m5h2^.[,V+*'%! >21-, % ! gTo!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/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   5~:j, 3- UHOL-Nominal-Examples:threads=6elapsed=333.754cpu=1610.095gc=103.701(/?z #(MB? ʴ][5)'{)KϹ4Wec;Kn-2vw9ZX //l񠈈H$HI2_>CdtC X(,H(@h9.ڐ0pg} !TVRfx8Ŀ sybd4~"0DB H'Bn/0$r+  ldB@8(Mm8Ϋ+ o< 7 P22dC`Ѱhq@tCCP<0(<8Tł#ow2%"𐀀(~2^4(D$"Be~$] ^ӹc XeLK "H8X, $ pPĂ 8PIC("KLp$j ĂAC!    Bbp  L` ( \      8p|vv;"dFv{!-Wj4JhLmv8f2)+sKeGޱ  _ˬ^C\J[Q: )Hׇt5d5:W^өDVe:lWiiCHd)Mw5{GGڙ>v-9kڑ31vX3X9CdgVV3Ek\*zR>~.a{NchԦmsS^* !FdW=R}c}͡)K!9C|ژtnwT¿n-! cBkM$mUFhfbΪ坕]XãO,$*1ab Jlljdhv$֛9jMM'^QՃCS62KyR1]'c6~?S,ۃeW=X+X}}s{eU_ɢ}UPN-LY=:,Y{vԳ9 ؍mg[i(;V{yJgP\]w>߆6OƧvd~x72+}=SCZ=|yz])z+Ӣ-bgMejvdlKL*5S|˻-!;YZOuzvu*av_G _x^?چ\ #D,W[Fg6hVZi+=8.爕Cb&1ku78w^W'sQ?ή\׳Y3Gm֪^xU11;I5XQelժJUuv[uhǚVJ2fcS '8)^*R! {Cƿxd%V=6W{bsKcAR[ obsΈwY.ξhnBٴ2Sޱ {Nkz^;o3әY֌Y^b ʧw^O۩sO7#oٯ}NO" e98~m2wu*YaU*2.r.lݖmeWZkGl֏Vl&w3ĮbjRLJIm\j&FJDJK*yCzhmT*3A*)꺮]MFѴL7dcM>mdD?ئ)-~d>ġ*c͜8:j^[]*="BT2QjFRp,G5ݾskl$tŴbmvcelĞ[L$l2չv)72.dhMY6Υc+}|v_X.O]f%%fL1iL'bn8kvl)αd;s|QDswZ͸ְ6hhah&?kMyz)mUjvdX;{v߿c+.\#rJQ!#3z q`0" `8T<,H8p@(l"7 V sy,Ikцm^Bkkv߯ݮh)b<[fZ(mܶAx1˜-`wbR9SDׅ(NJ݀Q5,sR9GMO{HAj7@-I_pWl,o fũoF:vZ A5c~3V/þ~uI V,=ߧ-+-=h߰6";~rPBtwO6hstw%"wbqyv#~[WTٓE/j+aroݻ"Æ+"N Gatv 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.thyr)תٔjRqsVst yteߊVn-kv GQ;l*stkx/Ngؾvt.9FJEe@Eyނ9>5+kN1u\UAP% Hj\`Rin[uh4^+6 qPDVSzo2j|RP˾ V`XŇNͷcVc@ ԑkg|5&Udʨ i|)%$  B LhNRs맅2a mw7jwRsin'N( \'lQDvن, Fi` xat0?-@ o}BFŕ\U'jw4XyUbj9M6IZUkyt{pb jK)g:itEAUME9f5{:|XҨ$7']'`p}%C p< cTk"L)HmjC{+8`,c{aL:_Lny1ՒX.F=:$.H[N찓ISP:@PC fJ+՘iLN%޹Rk!Ebe\gH3&#ͭO})tCU-:@] ՗LAu>I|4ޝrah~u6FJ& &wUugEVZ9_ Qˇn) Q,nÆ1W~[zE:86(lB\&SJ&{q#wHl;@ah +-E#Q/|Jc^h!Q=x_wTX !>pNpsW<0eDRՎh"=RS.g?J [gND-#4- *Kh6ʒ30Du` kA)J:9uë!3F2Iz(5몤V'E{6B 1? 9$K؏>m[E/X JRL*8Bh//͆_N, ⱀ^ +54ﶔleRd۠;8W{!*S t@oBLxkҋ|k#r Q.1e|&'td,GQt Myihf0;xp2rL=D1 1F7}\قRt1AV]#F!ة@6l,b4u)1b w9U?4P FlBrG}n]0}YhN&I6B(oІkCɒ~UGple1U.Ce@8p16pB#a sihVm y.cF.i1Ms %PE+t Ö@(WްZ۰r8=v`oCV݉߂4Aut]D:"3bQ|7^+)uP,)Ƚ\ :(=aO>6cl./HY:Xayl2i+ArO5G]*% /q3*8 \HRh E6 K@dEeBZqБ 7;U9(#Y{ wwZZSE'o">1BhPc5pz i=Zh@5+Zd č]^[4O8]W E:ּ]6ռя}?p<# i\HW|i$KI TZf.[22{] 5m;$.\;.B:5[w8!|+}!a06h1<Auy4啽[?`vJ{Z i]ɖkD%Ctbv}0{:І(!C-~pZP !uWsfykNRS@U E 5`@ku6Jcy#\qpsrT" Z^Yk tY;~ b>)H :OWF 6Q#_Brm0 `FoiRVb׳~PصoY96\gEˆ!xd4~^©(&RJ Ix@HX )5 wWY<DBMD:ˡlHp9~x8Kgmiױ~^m̈/rnw5"j<6x9K88 OIM ܋q[L` z9aD F@bEK`: Q'p 7Y< i' M,LFQ c-ph܆REE!^=|DG/3(E#z2OM q>.< 2T"zwq $>Mu;f$& f'3ئ`xkG4@2ep)>cŽ!ϙtI#^ٺ ZU(mM.C S-y@fΗV0,5H"2A!M43J1j<+*=0x\Msॷ&rlؚtT n;6is-"a,5JUvxH`c6NR@:rG:g60 Mp^ 3Gh>u{k{Ri9hC;_/)N܆QcD3< Rd(& $uWL@\iGB$Y k0w- 4Uۖ-H[B0 dܱ-)lmpӟ4R9Ǎn6( A߿Πܟ`/$0J\;"V)'c[1Br/GlOvp:aVo*wOr=2 ?Opg{@rPZKg'8{MJƚ;9X ێ=\VQB2FFxʹ:E¦9fvWV6{͏ςa ^H~2Ԉ@ +[J6= %jjqbrܑ**x-dTbmPJ1j8=>4l2%Jm\YZק kktȹ I_6|i"zVZê!~6"6Q%0qYh;n(R 74ΐ"iE0Tj=0v~#^"̆7o1Qro=wILLbF; ٨,^ց:`QEDn !CEd}f\j?E ~]Wx 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ΪaP}s,'Y9;;1"Xu3eZ"ˁÃj9$&3LieŴɮ{VL?l,;^R/{=nRBwNj`hPl]A%3TqN489(6JN&$B y\,g ;([hPVKl:#6H<24x6>.+[n g>^M %QS#)lP GXzt*+ Ow4€/hY]N0Fo|D`Irwe!X(a8YM~{v:GoS|9E &fRxz͚mf^> '5!>TgV/̫ d lQ$^wMAlHۇHѶGՊU_YOF8L+OiJz8!X;  lO =Sa&r7g()kZ p%#:  Yo֔nlēD¹U=4: N(TEI.ђJIYGf;U.!OӀ=%b:(Ls俑}^w>cBљO)[6ϭE`LAȁ7WCku'Гq(DcFjZ@yuz.YmJdD;ސ;nu'#NC<x^m1+X8HoOO4biI& ݲI= B.] BװiФGBY6sܔRLݒK<+ ۟0 {P䍴9RI!;QG 0.6ys>0BHiT5ϴ!@ʶɀvMeݬX"NZ7̤D ub(Ŀ0 bY.+m숨ٜǠK&"u^ޥ#X zXQӕJѝΔGM{fx $FpDEs֋fdyQ$2N"}qTY jKː(6Wc*DJs0%&X1 vc *ü~`I|~d|ou#'pJ,((l TO$r.Q91\R,xJBZ|_MQDGSB7>5_O"xc*lH:`c6\':o1Z ]qU11*1zkkV2BguWb}$&C( , MkkZQ=QOKЁ] !{29pX8Mory \s(K ,TBB$ $y6_UgԈiJd=x]§_k*APqafRMF xuq;'΃kn!0sl)Ճ!ObD0wCDZ;voLvn'ˣoM _Q6 vݻDÁǙEB4&L, =Hc͡ro$ .mtd d 8*\oBzLqy, b5vaEEFr jw`'Y3n"YFd0L`/ 8vY*l=%hGN'pTo$;UWxE#r*7~Ic \dx9,vn>3okt>FtVPsH4(jcjF)P/ yV;n#ӵ9j"E [e|B?F(Q g )2WܑQ@# g m.Lt1MK[79䑛;,9%PBPS P,lUi6I?sy> !=zݔ Q6(cXݭq0F2F/=N&n(\j*1w-iz~3-(54QjRe'X&PIO =o C As˝'MkfM_ g0-f۽eXSd`y:Ĭj$3ڇc";0(@DtAxRf/Ta1H^1&J)\kb˄R!CЂb`<]U+8cFSl|B8K +AiXUjq7'X18)-~PI"& $L6,``lIT =4TmŏeTOlʷoM44G.O Hʑ=!~i7}4E&Ewzv@ -u3{]&;Q;ÞPhw;:͙k;ybs >c=X/j^ϵ< lCXE=5Ern2DЄl.?ٺJTd~$7<$4zΙM:g{"&방mRsO}9%y墛6>d9kaFZ᠃B%N#|)湭+뛐Ƣ](2hxnUF_P5ڄ][X,rԒT J*ixQz JB 9ZWi_f)+ H#l(]HVлxܠ+H̲yKWUL/VۮƖu.}Z-QYpLFR=N,d_}_!ef ́TÎFk/(fEd(,=}[8GK=N '8s=P) XrŞ;HE*.qi 3*v*4x.P;K"/\6S orׁp7ʬp𐞋Iz D-U0hN~z^{?ɡQŧۊPlHs5|y/uUM)k( f KWf 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֬%$VMb,$Y@;zL5,ia$ $29%bI'&`bLԤT PU`,$X""z{"aK$5Fmz:ZTn9$_ 4MQN] Nx͸ػ=gZ۪ȳP4Ѷ,|u`,N"ǟKuJR# vWlj:kȡ9U"!!q)@졜J ͣhT4Elb'4PP@,ԘDXI@h^ ͩ bX8,5)Ni0K N"HK5"=m"KrTU|X.pk'&*b~if7L^ͩ3w#Iut(l$FEf_ɭy苉  3#*ʿg'h,ϊzy  ǫ^BWc i7ukݦhiF@/j CY¯dq+WX}] Iq(ooIVVR1~1d=i̤1ʤ=ĕًٽ4;vNZrUU W߮e X` XP".0X`D :<_CtJĠ;߅CĠ; 300D }hxhP{ ,^X(PD ^ͩ:r^Nߵ@L$5w~[ys1W[_誟܌1̌ v䌈<?GFl DR+DS8D[h&)y {9+k[/qXw8p zKơQRy,z5"D[/a6[\"y_י8xzQUލ99I0 weejVk[q-Hj;WשIcptԼ*PCHRmrD`bTy Xdcev7/\|^Q#IRRP4Sh`Fi!X( š@  A"b 29h-4 h*,yY+x,tr$LỷX 6>ɣG_., JP4a1Zb-޿%n Ϩy'?J{Cp U)BI"MrƝՇJih+v'[c{FPZ^kہ\bR T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠m+Bi(ut$IMM7!а55/ʉH@lUND"vڻI$ h8 0mYE\; \:_^Gc $3RcphC.x&W6Wzck7.U6};¸F2SE+9yZ{j=yrRqyyĜ-ܥgr1RdTPFk`9  11F"E(P1DyR| SLp6&2|AYRؤ}Fg˓[3,xR3& S@`chD=U[!Oͥ[oPR~CYjSt׎xU,$iٲ F:R08 q6 *ۀ$-t3P6ksX'6,۶fi r@i͒寻\2¦*?JSr-f\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal .5K' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1նb) @]chG`Dž̤e)"rB”'b i *]J?A3avdA[J9&rE޲~$RמVWKsjaƉ"oR 9_5{r Hc j&MB5PiLcWyp8S&q UY.z2R8,n,V*Ӝ_r&Fn&0 c!L͑v0y7!4hМ&p(OXDK aR1=).(ĞF{4'5(XeBB{ĘAq>3kS~f#qmPIO4V̺kծvMWw`P.a9"& $TGL8<CPpPPX pwinYLetE]܊EϢpu_ 7sa2J0 "@ |չq3w133;13[=rRc G#4֒ÜIcH4PIDԐ0H&ł9S9KZ,%,ܮM)# N$@dNTݽ|^ۊ]`[T"o\-oIeUȩ|11{11s׻+kvv^IȨ8A$72?̑`H W}a (8އ9߽y0g>yگM ;5 w)x0ɓ(wwM1cT3u| =߄ݢwqDt2OE#_umꚁUhj:D ܼ«wnfy2 ;.íq_i\zeA}I(\@jt<66H m\תke;;a ugbR!IKq8NbVSg~(79ĜL4׊nD;Ná; }LUs3vnI N|j'&%PbI%^I9[`H9R˔t4SK$4` RlUe>SuKB }eFnz{RQ ;̍AFo HUnSRi2Tt۞ᩓL ֍ݖa˾ H fHwOܞf˱Sc=|SB1U>}hbp<:r_FGE86S6}H\7+T>°7AcŵDӂiƣ9 4lR$/I Q2V8x=}_H/Ok}i1³DpJUˉD50%hx 9tKu/u}R"q\8yjbd "ѝ\lT]|Zʃt†I!ar~|U[[sYwX\(O kCc@k)L.Z #5tWU*} հ,*//Wwz9ȰQo%~WxÓ`;߆2G45.9&ΧeeV[ldٷ]aj>ʵ1yKt!E,+ 5N>6cmhP% 3o. bG!qRZ[)41ƶ|)^k m mS0l2YSJ+ n!:KQXLN2,il> jxr8`(㔧`? jWh0pK\3Ԡ9t(,@^ITMcҿo`(~3^2O/_\+=ִ0{-.NXqz7S1 4:Rp+A~ s|kȡGew(0-UPƦGcu8!*ea ?$'~6 -[{bM9jV0cM8esBmk2e4r {v_' $ YFsKr#o>^ɽeUCr2A'ۗ hFP1teߥɑ}=[r,m) c!_c6PqG)BX_0߈T .Ie 8|1DB/ïh•_ .0fo@dmt 2`)yc J/0OuXMd = "!7M+oM~yA4fm|_K絕GK!SOFy\*K:]j9G3@gU0,.s@/*mӃZ5; yG!yv:[i44֚7kT-90ݷ_Xlf)ʿ\c5:]$hSXX87<eOe?xaB4zDx A0G^.T7`H }w*Ѱo.hc[]& q$ޭU\E[0.; iTREܑ <+ ab\|kwf A`8cLx47";'/*h/3'з>(L^J)SD [n!~L7Äul~#_g_7 r pULHB`*A8s6c^BろLݿQ[7 x1_Od FD޽sQk5#;7Эqa MTO_+K\[hhx5koV;#=b MLGtv5b_=6ZM+_)M]vq;Z̳)z7zWFJDU!{o$m0Fg;guϒl&@A&}NV׫-o,% ->II3پލL1x " 6'2pE-;p>hH_%aLRȜ#D@ƻUq⧫D_aYT:Ab Duhdb誟IZ)'X|2'LLY-14y=-^q{|UYyܲxd~%DZN4nQ(>/"SA?Tٸ7 ~aB1P!C ol- v9FSHn;ԙ&4IMxclVokTVlzSdam0>t4 Ab>v34X5s 8nǐ ·W@ C u@;: Kx ܣ-]#xҙ80,xK093J^agZ  (/H-2{/A)_oaHDܡ N&0> Q~⍯ԬBOE! zliS?(A$ӫ`̞өsv^,)nAg%W /ooYv@%ty|ҏ0)tԞ_))AyS{mrB4&{-sl8; ,Cf5ڢQ$`rV^m]x3LSu}Mn~تJiD-OtmIl  D0  `0@`A ( J bp"RB݆0.$d~ۭIlāqpHX8!Pa m2&$TnIψl TVU?ݞ6XلʪE 墔+8\bf3f80pjS7PǛjDnUUl%?SE~k3[_~K~fqXVooGDC >ͭI*WDOrknѭY1۪`^8j(+]DJ0d|QxHu[m֐FEML:$`- Z޽X#vF8OWp!..0ۼu2] i9*LL(gpai_zӴF'J8lֳgv+dcU,t?b^ 99x`6+[ ԊWǽ򏱥\ l:dp`9O"N0*Ypgz`w샗nrJs!Lm3HI!m <E-9H?)G|  pdpI*J?2J$cJ*pL5KbAGJ3҅Γd ND,l Y3=OvUN˜L* l^;7Ǻy0dĺ׀ _I885>_&^_qd0Үdٝ~hh 8I &rm!rW `^l Z47x,$iy!.SIx`26WW\k  i$xn%-t(s_^Jrnefg^hx?<O1m8HIPwn1ۇkL͛dPWA@%b_\l/ی}*z{3ӵ8cYmW2+'*]`Dy7z`B¥-UA`@[x1L_A$G~iM0޶lhu{!di&BY]B+/=44 NZ?QK]zS͏j1G-kĚ!613}#\ V&vBGoʿL_ ́pYE=;gX _;Q>`"  #Ïzߺz}']IJ.lxw.X][s䑃;53Lb,U?b5chOokXNVĊx]GnR>RջƦsG!5 b1)% O΀9pTtdfd5^xdxJDx)uLRņ3di?ܿ'[y|S ea/B)CKx |9T'c ޹sbQF:p8V s'rW$3]u^_d͉+čd&K|Xk+TyPت1p&=mTx6^{ -!Y7h荴Dj9u51΍,V΢jwBnDHd"iݔXWj.M}%D;91pHMDsX3){Po6m߈}α\ fFMSG}8<1DDo^LgQoNly<t}lMxB\"HP2(0j%>KJ2Ũ|(LڰK idڳBn1wcr:}$*m!HDnxPz\"Hɩess(F#0R;xkpѼ!wR1wj*9Ѧwq3/}L5z$ɤ/{Ȝˬamؽ5 >UG%th@靦u5![rm続|@vo |nQ|1OApl`ٱo@ivp14]?*i#ַ烿K4| i#j;awdLNAʼn'.S:/H%(d@)ʚ2Vf-_z I$a"\3Oߏ4r01sSdo mFid;5QG$BvْdMpO9T6\5Hއdjhۍds5S2#TıH$c ndp!Ǘ [bBɟ NdؔgmG嗪ɐAjc&͹hAxAOc]FN8"}jqLv?yhs&љcV?yT6I`y}@A# J,fiP`SMHL#?O̘^uy6bY=]Kd78ZwU E`w.-`Pl񺄪Kʚ/u+ ۀt쉡I͍ރd764 ʮ52 OJB7iX:γ ,ݝ;9=f҉VF>Ҷn)qڄaW_UQ+o+w`viwowi|봏+o.B z|^]INCJrmIʺ w֝?4 ${&vgw~V~{ 痰0;|};"Bw*3!l}c…A4gqAEXL`74"+~8 hm'Hˤz`̧qW@-ַVPbXw1SSoIj/2 #oOM&FqvaC}xNGje7n3Ύ@E֎V3`?}8jag"[nj9̳=5VoLd)g q'9`&R'na;zfٽN IySa{nͳh_8c0ex7wH@_X8* 0yn"!v^.ػ YI;h&5.5i6Uqׁ=-Wk@j& 5RxDfpOQ\BRm__8'=$arΤ9Y% UHNgɽ~\f 5;0"j jfyҞ1§OOt2gYbMȟZI lTDARnVv$7CڹQ{RkҖl{oY^;<5dv8d$v8k[ xp@0C`:] Y#{wRmUAFy~ݐfgNuYH%bFiMi@,96D+ll1g_p 0Cmڃg9CQl<cZp̘ YGAD7m g/癆 >'ƘƔ4,M;/@o ||Gkd( ǻ +jtGL:6s/>1Ns`>h>ZVg>|3~w'nܯm+czGPtn0^u!= z cݜBBS9؞h{C;ђ'{~v o5V\$'kfH @\[~A{(#jƋ=Bk|A]q~`h)~f*0ͼ5% EuԆOU#-<Ԅ!) z/z?͵pk 0 zX'K| Vtг^wŦMf^̒yh T75奐֕zq|~@x/n0ARF~[RQI^"M8J۶-9$Ip8\.۶m۶c1c13C^HH$m۶m۶ݶhG۶mے$I$9A"""""DD=Y$!%+UmR"[%uљnImRQI3ȷJi4h4f4ӌf4F3ѯ_~r!e۲mc޺uǸmݶ&II$IZDDDDDdcfLmLMZ%II$i8--Iov["In %x@PA (8%E4cג"3=fl"""m۶m۶I$I$Iz_n)ct(=Y|3?m۶m۷mm۶m۶mI$I$IRDDDDD6mۼm޶m.ں$I$3e74=M AHr8j$2& <$( 4&0! ֞}$&4dHj+_Vzͨ X_ˇa,3:Vg"/[']FaH,]2cqB*,ˍlhɱ'pު3ghi@`g+wMfVM^򷢇/4Lp25rj%*\C/aMZ& xŻ(oQE>#]̬2H;]">+/*Ɵyu}+cr$Rf 6$$&3^TH^dC&ZؠG2ƿ"FTęڒAMA;H^QE{U/o{sҴji3A zFF/Ŏk8!Qy9XM~(4 _=f6G,U{q|02F˦*~YEsgc\ iܰ"д]S5VF4g˽:'oVɶ6R:Iv/6m7=?3EkMFFmdb-T:JByKѣ̞Q{0J$kf]R9Ak\h'I^CnK\-:2 eJn'm)kKߘ|56Y53 h1Y  =vԺJ}ͣFe5ą*ȨZIJVP=V' 7\)bU,~d-Rs̊-|&9Euz%Kds0T,u5# AV*[!uMZi^#*;{TӪUd9fnY,/\t[B$&de8Rͩp'(űUf2(P2}=kҷGæumY__vv3iStYh6@p6-c2”tm9M)vEfɲxGyww}Y+oG#\xK[lźVjźca5l=oh֍G Rw k#ϭy29?MUI5 q6s|!PilBGkL{S{骮OWRω4*pJVJS,cҬ 4[jz}SͰ{?\dhM+t/4.c,WښUH*h(mߪ0N( 7E*}v!؎VRhmL..ؘ ^D2tz0ڠv"PhH,nQdcp.A[ K+2=ZT-CtRn6 Qz](k&Ӵ%)4rPHE9-P1QN9{*{`Gh=ơGB*~GY7kggDX$šy q]J. ) n,L$MIy*[)4K1j2ib+r[T4nUSuiyaQ$r+tI6U^g I)JYEZf'ՈuJq-xY}S%5DҬT#ۃQֻ2f ٙ#ȍ:1MjWGk/(PVSB,UZVufކ2J*!dԏʚ2uRWUk\@ja@Wׯ7c@iRkEKN]{F ^̓ 6XR1Y)5q/J;[@nfŮVT U?4ȆW譋W \9Ѝ=jh) Kyi]):kFiOo]:"ͷ2Ѱ^\|GlCHBiT >eF󠘧nF~ښ\[{EO4 Wu`|4>gYLI Um @D ¬vMP("w%&`p?V%,HC.BmjM+!fj *OT C"xV׍V}.p^w0úVk{{h/Yֵb.czvmn|xt퍟Axu]}zh`y]ޘ,uujƒ -~ax '`DF:mxN]v9QT3WVt2Uk***=*5LN:UަJMIJNV-2̍Ŧ(1%! ɬkHsss3uoq%CLAfk9DB)#n+,#Hafl4 6E5)$u4˦`孊}^,]T7h`nFtʴLdl>v7_Rd'9UDGPSbt_uY5UOg% &=EcPI=0Xq0X-=" gO2ꢵ^ll|6L дD?(cl5B֞ Фw # "c-x$p.iz5\+ Y$%+_轈֤c V>f\D'.\͂&C/ޔ.Lw 6+(E>;<=< ]ADtaqt! pJURS. aLtfjFmʖW^ۨ_UP"jSUd뷫unz- zo˾hgQI-ZAl Zi)h7@kVdV\h2B6cef`]~,/ZZKyW>e Z?׾nL_h5up,0؃vKU n4ۦk=^9PidʥiKiwtL?ZF䃳GlŤX hbv&k]3&[IW(IJLiP6{Qk9BC!{7cy`<,pށq 9e, 0+'mMQ5H+=êl4inԤ*jf4`/$m0jzV],GNxl !e Бb 4Ggl &oo 98E42a*t0*u2-I+PƆQ2 ^$eTas$7fB yx8vB8>b"~Kud e #? cGw@.}]34\ (`\Vz_+w[VFN-0IO_\Lq?H't 7R0= pC.#`ip:u??@$NJs/"YZHxƳ%NbvvY+q}Yh@\*H>ގOW ^KW쎟=!Ph]af8ь#^AJo0drU0k0\ ^環-J4{? ʅ]tѐSZ9tv8/N{]: ȧZ3p8ǰ@KREPcTdA.ӳ&հ}:w76Q4"Yr;r{WA0B7Q Jm1"o!ٮBվ 005ѵ(I({bp3 n;^kencRZ{P%H,\6XhO?j{]ߙ ?rHչhᔣc躿ڲ]3<JpqDt8hǵx&osD6,/la㰿pk[Z)xsL2tRZ\.iYKsV V9h`݃=%v&b??'*S f^eDH%# -SH@X^b%g5pal/sG2@Ś*+`X16"<fF A}-y J^@Fx[Y4EyNK%|#۞ _peʒrx ifV @ H;3X 쵡fx3Ψ<9]syl<` W`{: f23)]<u-kAH!ee"hxTw23߰lw<-?bzfXvݙ imߙYA2ޙʽ9ӜTYhߙUHD,= 2B̪9 %"KD&hάZdj Ѿ3k dnO&@U p}<640fe};p{v~.^Dh[^w.Y߾UK'@"HJDbX݃HXLHhh i?}gV"J$"YhߙYU֥ 2p0p%Z2p0pLz8& ҍsc.DC|39<$<8ynƂ 4:@ J@T"xLLtP,-=e)KK/-3O,-=KsF¨@!XJUZ2D8D(G1$O4) "Dt#ڋ6)p٫ܛZU֋Ze-3#3c06J8c :<4,,,,   "G00CC* L`wtHRjSyIjL|i}{m@DMMB?)\ň$QWqDk.K,w_%8p8_ߌPT_2G޽t̔E-]0. ;?ndNm6Ԫ^~O$z~TicsdE:A?4*ژCIbdGT=$D$辞~x*EO&Yq;!xWǑyx%\bxZys^4c4P6**cY?0fTw;Yti9f R.3RD #M,v.,[×H92m]Z B i/F C27s67(+hhz2,DZdlHk[f8_]tܟV,gMdOOc7|>c'ۛWMXN8uzaXqCibgIKI $v0(qh?~T8ZF  ↓|sڌLm*fahxV.^ k~!-]j~]5qlx'/&ipn=x롗Yq֡VoVrKj6Wo᪔:16oC\ x<K6WhN}ŔʷiTj6Ncx FC,~A}vBPnPV͌z4;b]v઩ W"t6GЂKF=!$AR/9yK,TiATnGu[vjjA H&\]Msr?&yϝȩ Q>4mny(R].4LS (R[,{rwYhT G-*~iʼn]]f|v\ƹ͆_;g ,+@nDkcD= ?A2ZJ@ D,.fK!5@Mp1{YkW>om㪙o - p!SL|3eg3L9 w1ʺGγ?fS&bGB][PXuO"P{zppKWc.`on{7w,[: ݶ!Fqfx hu91#L{T倨MB9Qs:IF\c.w]@7EN8i|!:W{=fFK9t4K*4]q<}"nCc8v61tW&EWN"ZMzKxrݐ(Ϗ:9尔m>z YL8Q@5/ &mwHdzH|GWUUXB9{sy"dq}H*_A,{G7yH='y`~śꀓw3? Jڂ&!Nܹ'nC YqY b+;#'  w 9v-!=Lܒ`MLv-i "1<٠ PX?nXDK(;\X$p6,@E.\%}$ۑʼ+>f s{{nϟ6m NGDqU}3˖6RM wJ28FxȒ3`sY`wG@ظ-3 fz\)e ]UL,zM]q7ׅwxDCK}WoUd\ JYND bF wUd[Wikl63?vcIo7 lN; b|w"h &B[O5!]Dr<}[ŠjG:my|Jسz5>SHg\N(|܂Zt!_PT2G +.]IȹX2ž$m^8urF{ighaJtNVx6%2i? 6G8m&~3*qo @ē#`JgH qyTl|ө=}֋>ઃXe0 | ȓ$&ۃONӌ|4q&n!{}zZQJ=1J h69ێ:E'2l$G7, ls,WA\H/mNg֏pJ!5WAdA0pпc)=HhRibѐɅ ieàցVа:}ls6P[ƍ}#{Lkf*xMCx|s-` ܤ8N9XW/p ;Tۆl3x%b;'@!եD;^ >tN?򂕵ןϫ3uU>=jwU(&@+-(OGos v3@{PsFeFs0jϲ](\=n a< *It+C{LmD kljkC k6JP$!Ȳ0|_Uҩ:\ZoB7OߞXUp);%ityCsSZR4Ƞ `a|k^Pe8G 3%R7T 0qpEqkS1>5 ̆FVeqGȫF?_#,cqvZj9೏9_9CTv)^%J:=9D6wX8v[C@C} t#@7)˄?tƠS2"X*(FZ`ؾ4N{N9+evLKl^b@܁+zw^Pr*%CeLZO\40(mqwjpoBx2xCδu2Q/ A>E6Y#ʤP< ~_ 9pKvS؇++,"$R:7|t\AߗVP75+z nmP ^lNy2dmxinTU&K&Cd0"D]vHOƋ8ݔZE$C#O׍R{`BJ߳;cTs՘ 8X,dצt? z"נ=DkZtdL0<+=\jos3fg ~$HYi$ywdXSv1K~V,Wz+&ou_nQHț^CB 6P zsTĶ X;mYrjQdk Lhĕ}5(ktBa]l.J&ےG,KƴHfm7 L5w]kjLxg|?7aC? y,IO¤~@:`pj6++) #F_Wee\ՊdN➲-IvMZS!0tbE( xL,3lP~ei57 rfQY|B<%dsPd[OVSwEXWbd3 XIDVUC=)#uooiu^cKR Y`p-Dut|4yuͮ9|+yT:'*[DxmEuLteu0 zX-[VNs- l/ѭeҋQp A_N咡洯̌c twPjiX";I2r*!4:2&Ƣ4";_ IM>-[V޻̯Ou3kxR"5IY+@[-2 $agiSjzik Y+EV64f}߆=qX?wWX~+a&1 p/)M^!am>ӂCz䟱cO{OaLgDQ(SW lԒ,BoogQӦڅ|˷cGg >fj6(a*ƧOL7[1\iP4 樁^RAv%<s!L/˰o-Ci=a ਩͔hprE\s.Dܘm%}mo0(VDf V>A}=?nߦb_cp+ڶ"-O*X$u#txX໌hMBleQr]qpB-&1kS.ɭI&0c?NTJb -M&W0uPR7~pӤu+\<{Pޔd\# CNQPX4npkUT`iQ*@8mgaOJ t/[eQ3ezα}FtXv ( D.Ŀz1v H  JBd[f38:7~Nؖ`քV'ie vF98rjm:̉DP>X.O[we|*_9e9?_$͙֚' 'k6g ¯\0ϸĀTh#`W ! PFrEJ u@Y?z)rI\cY2Aɩf{'mxer|W~ Qj&ѮJ*MtQ{ K7iU$8&` TCDq7?pZܑHSE}%Xx— 0'k)CM 5+7iXf)wY1c&Y$U4?X&|ݫ}6Y+CT75V•f?J!䥠Fyq @G{L-w7CgWˍ/ևvtA 7dG8C2t 5ibގu~+<ː1; GPj-*C3+Ap$)5Wo  ?rwAPm+I"~VH*t\F7_l*m74T>eS Ŋ8=x똔#aImx g} |tf\@co0~%6x;[OO-_WT~,|5jbԔ#$rѾ^i$?[~U!92(%ٳ=اi>o#@v3H!}}Ȗ&\VS 5j nŧBV>,$^\7@ox;9e*I7*yd#1Y\zQqnh<3QGV}E/mzI,cP@+s"&C#grώa)`"Q/$Vɪb,Lo蠬>F{<Q6[K@]]֕1A=td+Q_xn?2k 'Ri' |\v*޺3V ⽑@5n)in+xHvǔW;~0)~cEQ( tlcfowF{G^0CYo\d68݂- N;m8;X&¢&„0V KVHU^&Qu)/`y%$s'DȥBAy_>†էLM;Ǯ(fc&a4a-)ZIFRrBŃ& yŤ}.yDb($uZ(!D$K9P:Q"E:/F}1I{f1 ޽@(Ȧus,g0:Y@ˬiyI,B 081Qz3CA(T g9( H@@qQ2*H,'w$aI଄Q($JA `G$x+A ɱbyBQ r(HA% ) UDbaHH,a0JJ1V(,Y8(X $4<ȣ)e!L)~wCot~dG.j-n:mE6HMf8!2@ FBGFwp0kA*X4?S Y8yD8*9{G121"8 jӂDRUQQ&LLTDD=dvURLE;?mtt=Ք2WwU5?|ww軻;t3;Cgvf ٙ7U];7USLĻ4CAAܽjxgf:ox~ޟ~o۟?~ooͶ_믽믿믽׶_{_{F_{^{ਤ֌4A28в{  (, ,""B 4$@Hg|b,4ޤ _/1&5)f[_G¬ѓee~^oπt־ݾq>[1fWRn\>#@N6Pw~QiQQ5Olh\y|/gp/5Ï䢃laeM36#xqҡ{:l̨u GLhZL4B01+tF."E`Z9}~ګ[]J7pO뢿LҀ'};kBX.*F PNWiS^難+hLֿ9eghDy 3o .OX\BjAk3 /yYkXi +"ڏc6f.3s 'S-w>d1l1% &5-c .eYeo8}mѵy88}4C~?=v^O܍4DtMQkk+RcIT;J7{GT7,@9ȕsyxw)k'GƓ7?nP}?ymo1 mi/|xUJ|nOnW&sO~1zG[yƮAtM/U%A蜯M+Czw|c4CI1ZDJ~؞͜Ȟ (w˿ z-olztpbG@"W.r4'h6-C'N`W8U^oVlV.E= (_@5*>9H gvɶgGڳ }T35 LKySٳ;ٌٳ#ZwK q7_f0mR<D؂%8\yW>Ý'gQnR\@ʑc{8.qFhPf!#Zbnu,Op'"8 GaKHd>ay|m_@ &؈`Q'}ZqMK>>u4v#LpJGv%xVXr_]:w.v# CG^}P}ԧ }3} dޥO 'p=h+DeCJO r%?Z|q>h{)4bwvn}h|Hj.;gԆ ic;wcw5-{T{TU$n cp-h|R1E.2xF3򸉓N|#^̜\&裸I nyt@xS `y>Z,9}Ҷ#"R/)=L'z5oШNtHyq CPVOƟ9w;RekC?q4R.G& efX9sǬA/ ?LVfUXUl.H۵! t+軞AU:=yfr\iVI-yt {zQ8[o99NmI};jlޙZ^s%Ǽtp%}% @4 [M2G(J&Zu&x:@DQ}]Jp$ub`{ )iu%M1CmޝlxȮͷ14MH 2Q7K \u^oaj\R5}7TsȤl,'(|Ď_!3JkPKs?|B+4f Gad9} \{ȹG 8msxOS @0V̔C.޾ϧp|)`6IͤRXO[܊Q\}x` D 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e BN-PgD|wSM aK3jujffBUSjHu4g@ן,Emv%ql f(rՒg~ ]9qJ 2w0O#~E9\=}u;CPj"Hħa\/Z%78Zgnjx?b' `l"o.įnq): `QF: mn(àvLBa 8܎H^9 1@'In"F8M !<@[Gǐ=LOhY츥%X 6S)Z΢C ;2-XVPI0-T1zK> F%:-ɚYQK$T|p,.&bFE"0Y hD <r(3ᨦy̪PCp?LKzz{PMʡ8JETY"5IKXrHp(oHʸF"+20^%'@D @ӰT) 텴 Q.΂Th*ؿD('88-!F?3yb"=,Jbb~M60HIcE΢\7gX6gfkDeW>w lĹ2][g##2$5h Z3#yw$5I&2#@м{FDx0Y zޭh{hoۻiɛֈ4 bQKPOW⋯)}>JF¨ ^zi]R<<ֹsw9]3=ݚњ֕_B8e@CG(&JLc )  BPCB(( ( #UTˑ\o}xs+xHX?31n"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=bp5zս(#WB+E7˻XC@2| GS}D |q&CSo+Ed ?!/jY%Sf?jS| s2 KyfR92-7A õl9dDJ`,N#Q(3YE<2\r]rt Ŕ)' GTC;)m|dՔLds?WV릖J皇nAD~WtAc`ArR`iFնdN[\I<ad@^oХ@%ᶕ:rrW! .*.Q|Gy0G/eIy' v2I;Otq9z77G?׆x8q\iնRŽtJ BU\KnRlofYH\Ν g"9OwೃqxqJRtdh{b,ucqоJ+btәһ4ѾE,ç7~2^WlF:745%2PೆTԶIjbz^~Z˕w$*Nt-%8jj/R?g]ٙF EsO uݍ}!lX=ܮ~VPU^uBj:dY"+0FYvv|Pk|KdoBg*2#`F}!INީcVtv]r V ${G55ʕ!cxH^K,aY\\9/>vr63<id26V7M2{3^޳nK)}>DW9wxճ^ 5/ԁOLaԀOY;lSb NvJ[Fe!rlc-w>۔c 'ʴ5U7A< u? :Q8fζvgU lbi"=޼ SXN*7Jh t$e,m}dU!~H$7*+I'icɽPê:`}\/ Þ2EP @°٘V0/+4[sLWxب2>T?< m9`)l^!r{xyrٶ'߼9sD26D ,%}"$XUQvtޓCv?8R//CX`e!pK~P[VV)kI.͐]Y'}4Q2i&7'Ulft7`dÇ ݓ [L&6C%H3gO20Mc, k,+F u;MVP#1e.b3Ss¡ C,-$&хE 2),wA (' o@Q$vWG4XU5tV>R{S5ՑWwG:/$d<4c5 vg[˲Yf?%X9T^2-o %'Hh #HXl.PHRq aG)Ш-}GGqJߚ#-E~aaYq!)w D8}*? qG&&BMe ythuSNeqc_,{ lv3J5=ug€|$5-'~0VdM1Q 66lB\7]Œ6T^6 2PV6\i71}9zP޿yO8,],Ks}Mt>ehyHZYwos 6cJ*Ɩ (m""2le.!X>)9ɫ|?SF9eeAޮ.YuC{6tR@jM[l^Ḽ1"ZJ3$~:3nDq:H8] f6;-8sw$jE6DRL%^3f|b\mW="XqOhļ-[?,V<#eEtb^o^a3yZYX-Jx\C.x+mVܟ':?[_f-q@vYMr7J/tW'򷆅laC$i6j~X)6RE⯲5L!:Xn~'׊RʱBa]L'bFLVE-8lDmV%`?+wZqW =/M<{z7 V`)uyϽ 0pl7Q K  t'SQ N|#b杒9jk>ݢ]'6y Ӂ>8=w\ <ߖ] z)w῀+4wm""g&ߨ!ә"| $[lf򧎣1SO3CiY&rLVKӶFc7 Bk}MIZD'd[O8Iei"°"ߣ JS&&7>aeQt-< 灥LPtSy2!j .fXo|5SY߱nWS&Ο­qᗐ0;&`Od{CpA*i&5PX#só25R+nu3cYD)ɞ1k[hv {bf~#:b5S( JaR "%z5tAn[Ln[qL{_)ʕ6NܞQM!C֍9@#<,vϷ}"otϮ .WejlpdbLxAyn8iRr{F" yrW9o I r-Y-:3)ڌUZFg_4[@+ ߈C>͢Z;*8@/ c@ dbAfx#3Y(551+mLX T㾂U! YL ΈʝcˑodKt%d@x2!*#O[!C|9r;3naygӁP޲cD%F?L' 1T\8a|yG_P Z5Pñ\A}yF(!$w3ACDG猪R%%֥ wiAQrk-I3u'˪Qln)&DD\\824DltM$vJ-ʱx);Smo*L%%{xz `|gr.,ۜ5!"F0ksl9pzw<$A B5;K#v@[/(T+hH'UAHLd%JY'd"F:~IwO:o`?` I R| `vˆJ Mɨ2쉶IiV0(JA" O'u7wwmxDkVEw+o}濷7#@0KHDD; 0 џϺ f\_fU=UO3c.c;c&o_#.]FE#ɨ0v睼۪ޜɉ~ݜp5[󮩷3/26+slR۝gaRrڎَRX1qn̜?V;m3`ony`[>eG\v_vE^-iEвޚ.dZL\iizyɚiyaN 2U;GFo Zv>1GU:?sZWF>39͂rJTLHNtQ~sm@-!I%zAȰ#Noz@ uf ~"`rE&v)03 ep7Zr _)4i_j)j0k@~'{ OEl`c88킿 %X;|nFb$끃Ml"|'\n{kBH6n>j*]V-0,Lenzy A]PFzX)(԰-AW=ER 4Db]L^/e}/y#a% ><$T )lG}OW-bh;0#SR 𕤂Ӷ=as/WǷ>37>ĩ|~:i$& 9\ap's+J|xfk:mGf6)h~x 8 0Й=Y36 @pC@IyJx"PhFd4ST˲1}*i $9qf:}Sv dpUnߗ`'νO{r7vb= 4^XB V/tgU+3C[܂snj06/b&|2.ĂdGK#Kȳ^@ӹd5H "N0CW\I ٍ=zKo#gJROdWNB uUC,լSٴgEƯ=fע}U4>rrZdŝ R@@uwJOKTcJֈHkxY8= z37c zt9F^)˟Fb[4-SUl,9Yd:gZ%зsi M9p|3[?xy򈻬a z'vUANi-~Xx&NV]sGتH9_W]>Fڅ''†钋"&xDƷ pƠq$rJeuzےQs}x 2D~qglcMvVRФ59ۖ͹;?׉" kn06Pl%h5{  ?dvx]£fuڊqJҼPLQ?'@ Uw gsz@i/^y,gnEh9}l_=rkGznƙ?]b<`~ybAd_-sm@:K x08xPXV]h$Ӫ@̋=`CiQ *cP3)1J{4۱^;}CY(= 'Ei=sL^.Dcqz 33wl?`(YZ]sq> @xڔw6C6*Fy5k,9αN?**jq`qUƢ]oKj%bX\&-Qݡ {^;m@y\|R gu+ti$4M6&|6{jS1C\$@ j{Va7%t6} sl>4SU( \ΧMs0U@"?°B|aiii&_+A@ 4oŇI|LAN#ȹ)}8zJ (o'Ts>^0Μ5.:KSC] 5'⹃#UVGXST4:]*c )Vq^ŕ6OVTQ'˕k͵Sm7Ǎ$/ww71V;oնIX[ӗ9/bNMi:[Cv/O@3n=*X @j($q+'^OVԯf*Вx@uJy_5m(\PB*-.&5TE+NsM߱q^c@P{g@ ϢN:1KEwXsGgd Mvw|`f04EˆZO2@c(>-H Omv L-k؊'{[dk"ODAΓB(k& }@cAzdXf3NzXo |a=Nahnzϐ+h wKy7vɺMikQ|JZz ӧ2Phe8`BIlZ|RwiIs:,4B)#mpΓ7L,n`?ٰt%LGhŧ4I4,HҬ&P;đA;`Cё縐>eڄS[B[*NQ<3 %A^Q$)Rmg̡miq&(< wXłŒ=wrD3nSe0iGS֗lWA.UD#.}W)h-D st5 3; 0g6~_.vWʋixU>4#.w*W 351BUQ9 W{4 ^۩.1֎p]Ⱥx왁t3 #.b6 pY cPMcE VZ)D {w\ gGT>MG+<#ͦPa)A E11ɟUJ uH2<%[ eyGN/&ZB>m ym4L6H_jOt%D .Ri/ #ϭdÏ/嫛`s,CzF0DT1#(AQrύfwbQ)ckj{zs͆Zj[c3?<~{{ );P7N|a[uv˨bfe;qǻ۸QFl/IF,S#in5THqlĽN\dumM]bdrG=QBw:`; MH )b!.)JQoG7 7<@pblH@ ߀cbgWL}Nøx e!4).mAym0Y0Fd.{ / $eͯO.L57c=Lr5.7Y.~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