SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsy `~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l f ` 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+<&B r9~80ZH-ZLjjR-MjQP-U{bN.kP&&!&}vʤ1HZCeQ,xxAWըWR^r6O0{ǹfN4A(^M__ T~Yr[E2 @Fy&gFv5I"v MT'FOuc(]YYBԠ@ z"JjB$41 8 4РAAyF8&IS=)G(yXEPMZIG)hfB#5rAQȒ I¼'jg2fE_Y2FY&9X&gvb:?cbXٝ s}&Vb#jQ1e~xb"fq##*"7=݀cKE=<4x7녅FgV~`UT 3Dx,R48<ܳf쫛~${GDU3H2]|HajEPD#vf]t&fLctb&˻*j1 | ،!\ǃC 7Kx< _FnAvN֫Ύߗv&d,"j7)WǬ)WCr5ۺ٬ɰriX"FFcZtHHg3"Xe,E5?0<0\6X8,K:6?6CER5K-ھ 5zgv왨Mݍ}q6ƿ~f,[U3o[k=E䌐@Tu(jx|x1Ǖ, k\xиTKR5g]]s϶w%ιȹMI*вعZ׬1ircMy~{:9SEO M{tBOUժ&BEь j/j̐A  v ZY+IRRP4sh`yFi!q,P @ 1D A0A1l w (GQZ_![C.I%~X{/AҗZM𼽧V59aa[w]MmB*W\?EGxIrqnWg"A9`\s1~d@H; _yN=T*<ՠj T5K% &HOL-Nomina}$r#l ^R>,  ܂ۂڂقׁԁ|́{ȁxŁusnvl7k6h,g d`XځTSPNHEDC<;:9863w2t1p/m*l)f'e$d!_\HGFC@21 0 + &   }|{wtsrqkidc\[ZYVSRQMJIHFDk@j?g>b8a7`6]5X2N.G,*'%!  ?320-& % ! HH+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.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/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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%H F5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    5|t - UHOL-Nominal-Examples:threads=6elapsed=349.952cpu=1712.454gc=90.149(/j!) MBpo}l#:"ݟ[ݬM;eJ00pTrLB3XXh`I_+֨RJu5JB筰dv[;" >1MS%(G"bl[ȒR{\x!עɿF4L^a 2{CSbNeI/X24$ @H0Z :P@@,h@@i9et&- A@MرY`tH8  ^ٽI()wS@(P8x@s)w3DHHߺ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.thy\l#l!DNim mn-1-j\}kkc֭8OC⸙2]1]r)r%J@zX"ktQ ܂j,9h/WVH)~EJ }9ÌY~j ^?,hzqt3lj"t7gdN9KR/X/V(0zkS"j|x4eaw8DlPkl=*湈{ayprscc]rWOu5sEІI 4>n-HJlGt+TF勽5&VAyS fɦmkC!/#-8:,gW bdXAB!| :-= 2Cͮ#se7I刔w>b jv_'vl9[ϷxS D/i= Uΐo} ψYk/Ko= H+/(&DU"NA M@*C-w,StYR>ޠ4!/P=<2-tg}YLcf85}6Povϳʩ}tE FVΕ<5ŮSyRj1 4-3;x#3 DҼ@࿀f7iV/]E*K/@UY[lؔ]:)S1BFp I [#c[f7sm1 9`J=T >uNxPA[1'^A%34RqO:nOԿτ)uPɬ^)TmZ}TdܰBW%KֈJS[!?;+-س2( Ƥъ8d%7slxә0$]>2Y0;th Vj_al ##!0lv6L#ié_s, e[ [^A\9VF}#`tѣE]9MA#/opQ/1t+? Tu=!U%W09/iMrtDyaʵ0sN;GT0<$ܛGW.-_;w&έ]؟LN*ߔ8I.ɟ6tu:j"wyn̈;W'XWxz['`"߲؂T`(sZ5:M{yRE9L4Bc}|?/US]}R #sR9<,4kN* MUv4T-2 0^S~UP|G Oc34.ۚoSG?w ⿖N~4 qWYd/o5f@vBso@\W|NS \f@-eN+v c,阨eסR(_:Juyd l ^P6.p鵾BewqG[ d KҏDLe>zJgM@(;mAX6/@"Ψdmd\ẅ́A=!4Ygs~埡被 R#Vϗf{!!RVSDŘ>lP-{̃F)UZȃ[`,aXy$Y|vY=b%c.2%օ׳aZ(]YO@MFb彥߹|L߅>%.XEp  ?cKURal=nwz֜E#9JR2Fh7\VE3K:EAC8ΣJ ts`yj0PKa)Am̼jS`5itgoRFx]@R0+Quue? eSs:$]C}8q_OO0(iGP䍓+7K@qf W"Cv8 H5]?P+g*)YZldTKup[ĥE$M{VKgC^;"NZG)]=Yk ԍ7bL-T?,9&6sCĊ~HCDGp|:oFuK(쩝o.GjNFp[MkȭYK!JNcIMYѴ#ɵЇg!B^Tַ-(b!}2&tƑޕ󚾱fDza fUT)9{]gu>aK9az;1@(dIAr\`M*}u⅀`Փ ^ {B̀<٨B C"b >#ru!I:;Jxâ%eߡGDo@06O\3MVS-a^Q8E'? /ϐ$Yաi϶qT]ܲuaLodӯD0zݘs`kU=&,pnub rd@L$C$uwF`w.VEeQL6KVg,G*)2SgSd~v,.ԵFUsJL,Y?Au * ahhM$0׾wyE"\wSUѐX3Ԭ0w_Af!BtdӶ\N #ncW=H#YnLILl놝f>*M%Vc`268!G,(rR9ycIV5{51.Y $@x^zx/HOiv4\_9y1<h=?*0=.,'ġo7ڥ`϶p]bU+̆هK?d1H}g"Y9W,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+V;>:a`S(4}8ؼ~{%kWqݝ՘ O Zb1 n~= {oO@8f֌wyuS8|}ḳplvng۬0ψ)6@4!K;cfι,(rYMXh.[O:zNZ" f+\8w118af u7s[Y#nB/puk,rAwA~JѐVq/m抐 G(M-L,^.1ǞIMxb2[ U` v>HlԶs!|%[p8Kwo,bdQmjؗ2HG͎5-Bhyٿ;v7#^ܦI Vl){Hjm$-y P rd8l9ޒ"*kh죠fyJJiT Y]e"dnƓN=z}'aH Z"8w4}IUj*n EaMpD8I2Ec/T[XRsߜYjKTč4̫k7"XQ8- E%dٮ`HA)PSIf%-1WfHِ1_c9gwЋloPLKDWyS*WY\=%}|# >3pSD>Gŋ_1)(񇆪#I" ^-ya| jK$#բڊgS4 c$5xԣί#  ~לޤ)J8  \AJ2D]J*8ݘ٤+;4fLZ.-곎9Libͣ`NS.qF2-T!bt;QAh9boxE({:_ktAI]1bx,-i{.R<mgqCL偀 3W YM,`o߾< 4K`9d3#(Biauz L O#@-95- O/רICܵ`0hyhO9bfoI*50'JY8o$n:Ng(t f7nG=b~V_Fi;nw[<1Ɇ}އ$ZcuĤ&h KNWĺ ;@UrUT$Ym%z| ob2̼ze|y,ODEp5;5Yu~LvkJºoō|UjeRڹDW'`*V#pr24r.RwUtE C7lBᠳE; q}xHUJ(`S82J-!|e8_;HImp!"ɔR%/hPm+@pe̖nN8 L?0'ek_>sH>;p-~ ]"V2ׂzm)FVlGI9wDQ.aɟXd|VgrŹ0aVfРɘdXجY/}fY-i68e4_9r8 s55V3x!O&eA]cP0m$ !Ewk2"2C!ǖBɽ|7(cWXPYgS>ڤ؊)0_^r} W5\!C =B__­[2q]xE"3G^pW"niD;տeMtF4waPHpc-hp|o l^_n0ZƳ $ku#z؅Pii W !`d<~PϸTXWEF '_Ar(a{&0G JrK3gAзH֋$.K(搆(j#A!6,TmP uxeťGekȋ(etDPƒ1ni: ő2(h";Yey޷e elņ>OH;0PX%N Fr}PX,08י^k(ClLq«0sn^BH`NNvJ)WxÊ#'t#XO#g3'lTmnxa] ;U5K%+xd]ZUs Pucapb?)fXsja,A!? HnDkdS4֋~2V\͖9u~ˆ.[8-2Ѝw/vs wwXxPUOi/0O$+\DK|@Y2U_Is ʏ =FHWVY}`@WL@V҆ 2LsCF#{.l2.Dnp¹s#D0lB8z/eٝQMI3Ie#Vzd]Fx]H/FPy eA9׉i@ r ;?n^7! xO4=bHI7}p* AQ&Jkt{ÁƘN ;7f-b dL1468逯8& _\fqNgvAj1-᥌1V W0KFŤ^|- _n?<0g7. lu\ܻwDO͗UřeSUr'g+_Ԇ\ʣKd_IT/9:.yUp a1 )\Y4x}- t%2=qEeeJ9F+w`tPƮ8ƸZD+}S )j[4jp&GT!> o8&V]ѡd9JO?zGO)wtAH;(F["з.|MEO#R"K<=GR)86HDxy.18~P1'?{o[%S/b H +{M*PͧԴBnƏZG@IN\]:Dz-ZC2L}l}%LE>_n%-M 8-&c'!Ys|10靿wY"t9A p Kap 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+<&B r9~80ZH-ZLjjR-MjQP-U{bN.kP&&!&}vʤ1HZCeQ,xxAWըWR^r6O0{ǹfN4A(^M__ T~Yr[E2 @Fy&gFv5I"v MT'FOuc(]YYBԠ@ z"JjB$41 8 4РAAyF8&IS=)G(yXEPMZIG)hfB#5rAQȒ I¼'jg2fE_Y2FY&9X&gvb:?cbXٝ s}&Vb#jQ1e~xb"fq##*"7=݀cKE=<4x7녅FgV~`UT 3Dx,R48<ܳf쫛~${GDU3H2]|HajEPD#vf]t&fLctb&˻*j1 | ،!\ǃC 7Kx< _FnAvN֫Ύߗv&d,"j7)WǬ)WCr5ۺ٬ɰriX"FFcZtHHg3"Xe,E5?0<0\6X8,K:6?6CER5K-ھ 5zgv왨Mݍ}q6ƿ~f,[U3o[k=E䌐@Tu(jx|x1Ǖ, k\xиTKR5g]]s϶w%ιȹMI*вعZ׬1ircMy~{:9SEO M{tBOUժ&BEь j/j̐A  v ZY+IRRP4sh`yFi!q,P @ 1D A0A1l w (GQZ_![C.I%~X{/AҗZM𼽧V59aa[w]MmB*W\?EGxIrqnWg"A9`\s1~d@H; _yN=T*<ՠj T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠m+Bi(ut$IMM7!а55/ʉH@lUND"vڻI$ h8 0mYE\; \rCӺ{4&ɠn~H{0.566 0897i͕sЙɿ3 xD f:3<4Zgx/#Υ1†[IeKZ_挻vz,yY1X$lOs D0dA ͚߉ $ pYoy8XuYbo,uwg:1x6SWbڐo1C\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal ]5K' 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Mc) v{mcޕBW|R IJÁ蜈>5s կ`1s4EkZIu#+eǃKqXqĖ^]4Befo8_5{vs15\"]AQq4&f@!Eyc޸YՄ eikS"!oZpXڴ`YD<9 '2p`&8K=O,8M9 +_xmr8"EؓAJsRҠ (,Ak I{\GIO$ͪS)G^ϵ@ !>7(HࡡR (0T q|QWqfee]WUZ_E7b$o"F#FBEUMVRFVUU9x˃\#Qe"'a.#=漢ߤc1 KD(#AcJƕr @Ks øU]0.ttRUSH,H!(TLrMjQ[ ԸgeBMMpcs6Ews <&Oܥ$& qƁEV   W+ !`BCW=T7ƅd$`J(rL 4(, "$a@ 0 ( BH궑fY,,9X^%j#8tR&Nւ]Qͧe2c+iHS0l@*-"r}#.=#BPd{ίuYYTZ(= f:F5|]QY쿸ϝf̥j,1mC5f1e ȮlBՎ~;MV//Q0 7/!p:+tC'&ػ}E@LG;nx&fÌk\bV*M!@r$U{&{\`Mn5]P_G4XZQْÏo)/ T7&~2>5)#W`}jgBWMPt0苭 uw]Rqsoև[̊Hr"Yvxg\\"9[\mہ' 4n9r%DSLk/D*6V|flIwp`/\k>ʔۚ['11kT0y`je3+g1Y?w2TwNy^7O]9!zIRsBj;%gꐉ[?S$' IX"5qb{wSQ6c+z_tFfN0z=7 XQG4-[&{wwnVQy;C ~b߉f,?Ҹ|l-`R|>2р}&϶TLҷYڴykzɑ]ؽE!r(%Z2^P2^:By; yE[֬Bo/ܲH ]8R8JwMne `,]p^@394 gY5Lq(E,;-^r ]\%| +3!yN%ـXkc7,j+UCC}h0t&Tg9"iK0RѺ{RAle!R ?MDPs՘Ku42F7„:pU8A/~j?]cέrԕloƊ&0=|:R_ڜk1}XcY w=C*͆?[`D?*."ZtM%AsE2.[ݐPdw(ccg'8ymje-K+6W߷Ȕ0uU$hl,7c6t@~P^yȟ88 ˄8wv&Nl=!(țPQ7*`x6I.xc:!}>+2@p(57=TuN663 T}40w1՝> ڄ}ȱ<徣5ײ\V.yR[6";pT^ j;ʉ 6/M +Z5 o G1byMkܒ + wn?nEKV6_B^O )+e [t^pj"7ާeZKVDw);6ʹ)X&@ [g^K )`Rxgl{M(HO@UHrcQ-~ 8}yʅ7*9iSisԆ#T,aq~yQcή2q-A(VK}lԚ!h%|%toQ "o03j2rR ݖ)* 1*{T%qʘ ŶP 9;QfZc;:U$=:2fH!Z 0f.\c)(ɫqzgst= ְfdkuG9i ʦpK8q}Zn㢥 xNmEĆ\?YmݮѢůnQ'T`ngR-ő-4J)-)HBx cZ '_UcݫɚJ]uq(._p<٩_Ĩq،|0Wÿ[Y_5U5n4,TV|M*0\-MIzT`!&3!pU b`R1mRq_DFR%<#cVRiQ Pۢ0WY M2y>Ij_L5dftԟĈo#;.QVg~!Q#1$ًZOw`v&"/[ ^Q F*BV=eYJxh (6w8 W|7DAtG$?܂N- ~qp$Wv!]\ J؁$rsM> yuY N)eJp'kU#~$eaLʐG/(5O#պ9V$ @2'tߢ<["=,Ծ霦3T~qe3Y"W6aij2ȞjKVijdJC<Ehd3 f&IX҅,[`?1M%{J $SƻKr%TEu P@ YHSa ɰ]Xn MYyo~/D2$Bf WDcLyt"V)f,Vf'i1m o׊syHedʠ5}):[(C NUo;J!J,¶XUH^sbzO|Sut;N.R|!y#ѣ"@+> 1/ŗAibGX,3Oonq{ӵ CG' g) _8>|\C7'g&|s8mu>ytr;HqUb{៼_aa_f_] }/&&VV.)F挵(L\j\qD!RI4ډItrN$(xr$.`>d:8g$Q#VsAa5{D10jN"VW:JsEg os&D$Z!l:j=H}* h'mͣk$@قD_KA!ˤN ֚#UBD%*NPLJlo됶1Α9O:& ۃLc0}IOΒ0'|E51_J?gzɿRzT 0qR8b埧P㸏”i"UnQdɒ%KvMnݺu۶mfffE."""""rHTI$mF~%͈PU↜[gD$0$F qQznEn%cccbX,-o۶m۶=v[n"A4 i".HIO5y"(Ӟ6#rl`4FgQgll`4 d7ܸ;̬t#""94Iz%y"Ao{mF$ҿ߿۶m;֭-?ZgFDjIoI+`E  p8B P,@q q,EP<@8,ʓ'% "20&0&@\`aCt$fD(t&m&cFDRCZXaĆźSDi1"1аQݡb%[gFD [-3#"JnMrH``tvKz̈0$$&4X AQH$IVvKnrvKX\󷽒m۷mvm۶m۶e˖$$nMrH>/5mfD,8Fr% 30A@%}"$L0ܮ+lhCR.Q7iB?:>hěW܄!N.ܮb}dC#m\W:AY7['q$nטbGݒ(`1s g˽&} rLݞXՖƂۼz!qm7g| lgAsj#S^!miGmxkۢxP}hCjRSe|[txCمNOjn![.E]Ҹ XtQ&> WABmFeYߵ !ͩS养boSc+ntn>wQT.? ҭ-q}1:0sxL& gUlp!< FH~[8i5-C2<< pہSI1T~j^QLu@H4x((c/G`.dh%].(\*)QR0xzN;aYr*XU08̬s ސ 3tʶ pFjDxR|{#:fr2؈e02ˊ< sQ,.}9:^&ůEm}p4i d~_Hv|0*`l72(KRcLw~ia@w|C5$MkнYp|7y:=P ;$Jq ޖe.ѐV)ۥ7)[gdk0vBǣMggmzA)$k>l.xx?(%zM`8)Mf6+sY-haW'z٥"BV9[1]u` rv!PkC;ٰA| sYt~ubUźr^<ֱ)>{A %2WGʇnՌ+VHf4gi[Djc(W5$jeE' cVbb$Vʡ(YSmJL>K&gЌlZ@-AЂip5@- ]F |L\.ɍbƵ, rfhK2N Ro2} POQ2s1>𗉔 x鯠#4ݾ2tUu>MNoD(q p(d#1Ӽ θ?jU KS"NbG ^rcBR@Aj>ïԾy㞮;): [6LeX2Tz/ af7h^ L6/o|M^5qRmLoJȺyL>Z.0x,\f?==0 * R n}ښV7RCxMƒ6{m ׎oTB0?Am;m"Xsm3HQvD62LjVi AumÚh @`>4v̆)n^;hNnT^z "#EQ X}~L[y6\wS^FY4%3x9znS(◘zd=Ijd@#y*'mO07>qbCqeB`;ٖC[P~5 '7MT`zZ"ئrT K(OvL&Q dɎ (,vlPvճ[@P  ]'+n=qż@͒%"eWL! ,MPnCSˤXb JE8do!\q/cuZ}k—*Ԙn2qyr9U#oQ] }̆އ % {"g[J3߁_ >cРc'z@Kv!0esjot}#?J!KE4E;pBsS$dlzH=K~Л&o~^2Zs>=Hjd-ٕQ0B2Yw4"PEe_Єi< ӈ[B >Sw-Hɼ;W]aѫFW-2#"ʨ#ćGqxin@3X G*KS2X9whe?PI3I >-N.. 3xY&2~Oo踡,+L~#52q1z$kRѝ!ˁ(Snirȷd8r˩b/p28վ4iӍcSg&H*'ps/d7΄c<\>}S] mq%6#1E6eJs2q(3is9~ԠQU_.><\8O{ ğ@HRp7N9B7e;!;պR"E Z,iD?!Mxx0 uH0)~VT+OX+΁֛.IS8ճ:؏lTFv3,~zs e| kv4o)G2WKIރ5kwM#; ux>cD3RY? VЁpl:OƛU0q0rC \ g|w 63y{wkS/&Bg" nw 3.ӢWufjkd1u^qLh.Pf$n$6nҀDGŃ>7:?7hр gg) q no@B9gyk1[ ϖNQK3 hx< d#T=Ӄ&|5_` :ջ|wôR<BMOd5G`zGq7X$hlGb}X>93VDhJ_Et(b#= QS_nBxxh{vU %'шl V 6To^uacwB ^b6>=kNciCw)d4higȑ] $tRE hGCg)]X4zi c$ J1#/Ho%fm+SSꢽ5:i T9o z>z6o䙔gx8q}frd[BP6}6HۛGp\V?}KE%a އU aT+}KE"ڇUa\O-}{1{1/)QϼoVs;k۸^b+{1ȅ*p?}kv BCH˭BC?qdXRA4zR, `M 9/ױ0 ,7,LhXPW %!Bjc%HBD^`80Ppx 28d4D( ! [r/0L $(,0>a  g~%7I΀4pphngnOv6Ȟ6ٵk׮]6mlٮ]vZiVH!E)RIr#|\dێȵo{cH!$Im۶m۶Ͷe˖f~䷊L/=MRko4&"qqےE&ɘDR%>Rv[D$]1bĈ33333333333m۶m۶Nm۶$I$I63ƶ$I$I6o/=M[[EK$I$I$I$I $b I ,Pp."o'Ɇ MDCo&""""""""""$Iwfc1ƘH5v'.l۶m϶gm۶m۶-I".n$m۶m۶MDDDDDDDDDD$I$Ig~ ӨNA A,l  # A !M=-q{ @Q %:qAi1>UX -;NTXșZ^k]QmH*R$m wLN`bpT~fK͞ >ag<2Ƴ;iaqs(0%F5hE&Z%f6ji)96R׵5eIC*Ɖ%p&? qmQ_kFCfK%^$smAMAH+hA_4V#JWvU^Sجc^2TWb%qY;QJ\zz۔ROиk|w]wqDZԢ>ƸnW4n`<+ʵJ oiTgHˮQLs Bv[،sϠa8ȇL"d0!xAGnlϊ#XlӢٞ-_Hd/k2o+`ǵ*R{WWiIljTuF}lX  ACH} Մ*wBG Q҂7 dMtF=;0T[@#upMÌ$fú,l;8313&Z D5 Sݶ(D0I3f\(j4{>eI'9Or] 2SfHH샗K52QU$Aӫ||0-D| T+ "8I (=AH"([S)!ȩBXC0-$xPS(a>i-R-OQ&>Y[?1.Lc;!Kpt{d*>% B mRB S 7/P?Az+W~;z=t-q J1Ij j˱)k VL6Mb)c}խ9KI2ËT@Li/%ILsJ9ee\?OS~=ǿy_9~~sSzX?g\=O˳z<㕻q:|pַs~E>߶!ՏsAW+X^ViZr1T< P$UC4)G٢k %55IН]ԁJ&Z=L7+MP'9~ uWXO{\T3N5/1y幨j(j5\5)Ʈ%%~cdY\%"͸}Y,4 *sMKڛd}|i}NK6#VpeN-6qkT_P;{ii@Mjm.h9s_bYZ ^ 3G1@M i)5S&>J3IevSMOR!|-zmȤ_nz7h[ WZ`_Z(6vY@᧪\&G/!\-\];A#d.:4*Ot򿑞\RKxTvU`O6j0 E*ܚYP6 ԓ-i=j4E8v/G{ b(Rl1baj"obڀN&G|bW+侭Z%VNh2Er9*2*}OϕP7kBO(JCF0VOΓaoRgGpTP{W|zkwfjPO`fR0=Dy]۩zpY!3-4*n}x؆ U\8T}tV7[[-$[`NXd],[Y'I"*v'W&;=ԂV,4PalU~.P//R6y%Um}3[t)ykX= i ;*k#gS]th)ܰXiiiIi7MkTV^څD٫k[]BXNY[Lۥ26 ܮ]nv%yum+ ۫kÅRݞZfܕd;6/I5|#HFZ< .ʜJ2qa +JkTWlOu#&lqykGex..\P7A3w^!UȎXRXw / (+.OH9 i-Zg3 yoSv YD#iiyO%SkVZEWĊ֨XY} Cs*,XUPn\b+$u N {[ܼRT55#4dy*5H^aʽ l%]8eG/`+-[Mf(zvcZ0d=@t%=V#Ia/L]Ά:d>sW#1.݄Z@( e$|^u#U2ѰcBwy&\g:ՕpxR{C Z&?V(b>ߔY S)ՉF-f+bE% F0_xzl%{Foڟmygړ#l{dOhҖ늱SE2vD 3یeڎ8EE:C_;ҳ3|RO͑Z5DtX9^*^I5iD8Nɠ~ECGF:/SnJ#5Sih(+W3qW"$57[<,.wiCY/k0-SJL\K1-mT^.ރk ˱mմsJZvU?-Jug8UtZzG.Xqײɵt>Gnue_);< n U>ʧݳԧ;{O'cK]ze,=Pnhsr!ދNF< } $>)Y|+g•}/a`)0dkcه˔JF j'@)}=3R3ߓuF~ʀ^{4iuMw \hkuⶼD Y~T -o{ mč Bw\m iu;@QGYʣĔĕK$YiUD`ef}>nX D==@kAv^9iA@Zˇk Tp 8wUrٻVP`Ž/ԿSǘ7 ҨUͨOhςCBt"OsS*.>֏+;{oV-J5/.lo$v eJj̆:1nlisV_~&*BeCpd0koħ 6Ps 2 6{-1#/tL a]xu,<4ob Ok)}T^]9hhZoRx @l "K]XNdO +&2\sL_ xUocˡ*RF#6!ږJ;4O΂G#~ÿkZ&'s ?Ґ+:)YD7${YTBl5e/Uj>g%5fYv\8]VoYE3wǒm6S5 w @nX)gV:c*`0\LX #r^~[d;37[Vz0LX6"CI"i6긇]F&^w^VK5c;J?bYxmuR)H#dS_| mp~;ow%:8lX Ppy*%_1K@4,?gD*J Ҝ\\ ç^{Oﺇ*[YL tH6EP4w;;r/[TEw ҲEV[/RU,=\r}&oQ͎jfqk!)O-4E0߭G[жekfX6ꨪ[i>Gߪ0̛6IJ@ܝX6q wO~&fVܜZp'>?'Gm5Syzq/Sw}K@-]h5EN/,g "vp_vpj <wfdwZ8EN]|+WE65j'R2v|sf9x/ᵧh# oH &+2hq.y =9o }$جvOceq 'w6mX fR&3,m(p7 `{xq pZmhp63LeBt]1_cih%yx醮=@41C(hPb:1u}#I's E&;ih7!3IxwFH0Z;ov ۋ4,  $H0.WŔDbq%Xʮʙ_j~4_նII!3/3*37MUYEě3󙈾ov*%#گjL#3Ux.RXD&LJ@;( ƟWXPoIC I>!>tXz;C3G2dV ξjrT ,a!Y NuTT&73Un)߼GH,(PXTn@Dq1hXdbqc'߼9Q}+Ģ6ޠ&(&eTL5TxH.]c$|l4WLDfeWw&(&To3UZqe-jA,h@,hZԐhH"1UC5E-,-SsR+-^iv  Ĥb*Ui Y&("Χ4P&&KlDI:G"ls"c$Qȷ]bIvUvڋƪcmWakD  S02< $ ::4(,,* D "0Ġ,Ci9>N*d:-r籆$ӷNC $ _HNDDBi2vK۸!{=9FG ,FXk c#v/HJRj×Po 3+Q,q~$U[fx*?6TK:Zz€dΨ9Jg.`$U43g/0_IJ{H^ѬsjPh,Ӿ#d%;)?6bdPCi8 O P~+>K s t ϼEKҷ{GkuttoI-ς7$?w]V ُڙDw$n)/z}2HB99 fd X 572i+׈eYvzj^U\I 6+J?"D(nyÕ@kvx"LAvhvQlg,&~ )f2iKD^&{FyrzZЕ+vQ4*WKתM?\P5`$=a+r#i\"&$D@:1()HL7t`<b Y=3B1/΢ޯ2qp8l{cR\/&Nlk@R:nDNNaAaoԳo"si%Nd24*^j}J)&v {yD:r+ЦZEts*"_}?{k1͌+%'c]PgyX]>|bȚ.w ŋҿd73<KrN~FEP_P/M/>IƘ'ܱ3' A؏+7|hDeilݠ_ 3>w/쪰~42zC"׸3GuHRL{{@Ocd5rrxٍ,en2i VDr1),k0 uuHs A  }4P7);*Iӡ޺iZ!=Q](龏t"W\&wŚ>qMjqI -=$3` I."[9N_&;}/xj駧x@K*w2[D ,8P=@$CCbrMBY ~kW Ҡw[Qm-[Dqb5i d⧤AYyU@"ʳ>A'z<;ITN8>7.54 wo{״/:1$QVWDlqIz?kIq3Bx`P@.ENa9tW+m'IslsK n}41 >1`9)^{Or|驆y0<%% ̗^z>{-!s{z dCG>+d}cjn-;O k7% O-20lZRQ,Mƴ)ИxtVش,@%ЩLi*"u]p \zT1 @Ss)oCTbRoz)m1ΣDgI56!@t#d3x/DHOKϰiX_\$gݚ#Em"/=a_ZyyׂF!rSL,u6+"k8NE=fʽ*q* pR&(Ec6a{hӧ3L{FE\`+>Bۊl}^-L臣]k/ypt~\x,=> Ճ BWPuik>dq=" u ়.d쳗pS3I/A}u>@;Iܭ3!~.ɨx 6%5j~8 ϥ#ճWր_6r -F *Ŏ^ziV\HVG3*1!e ?s%H!W:<cUf >BbUeJk9oQrڕoNSz'oL@O|;g M y">OdɩP2RZw>d= =bR4KOU)͡a@ H>\g} ֍ڡ2.>xFХTO]7@ yyz~ #4=&HctJɶ<ۜ 6{P&yAQ'?ƖW^ 1Q}5sOD=fCڈYj dcQVJ+ 6l:>q8@]E;UeY6(7.N¡)ﶨa8x=Qaҕ  +D4N擑ee}LgJ짲'݌& T{xH<{OuYT:< e)&bQ,*aiDm^f":J;YbHHb6"眍n ܇}z}ʌVn k+uzLUc͵,5=HȭWcyV/J}._tשKH1[-ڋ>v3>h,BkftUӠ]Mhʡ~\)9hw .8 tcxF`Nh8ǵAu~F]JTcp.ڗ ̠6ϋ1u5uwC&ub;n>ו]u~:?.ȪJ  2V?Gݭ) sԖ y%CxCoy8')bC衃?s){9N7ST)x}_<$xl;1Fg+~8+!S {yIX[Q~,TU<|*W>sU {d`EG%˾IOnhM 1e9dxV ́Asf\skxx',Ҹ ;u}/O]jNvuaeTlYI]8Qv .k\օ)")KXsnmŊEF1%%8ɑ9Vz>8Q n9[wە- Mk |>HPo}ʗ&n`G*S`6MC 3/EGn6FF7vLOCD#3,FUrHr֩y }A1ηT-=3઀I]?jT<`qz;a\?GjuIHn5vd~Aڮ?fA%@UUs 5|"6D8bPX?v8tO"܋F%7"**dsSGAjrzo" z\)*̮ 'ԄZ * ?82G9P׊"3yct+Ob* *0\fa:'Cb#p Bx=ax E1 OŽղZ3d~>Vp;QwgH+ 16kKNsN )[QnBE-w=GҴLqU!o%Eb,iG\epy4m`hm!dvZ"29mLr2:hty{GK3~,:+H;RD$,oȵs>SeGV V9ЩA%(M`=Lq uo;HQzP{z4M_Jw۱ŨP&\f>=}x\8豼vL["1W:;6BH#\*Bl\TMob$+|]!Zuٔ{oE[eh:%B[kmP`=IͲbxMZ#

o1k^N])IۓZv`ɳzmϑ2߀5Ӯ1A[p]+6]MgN [NBZEe-sNBiU%meY¼B:XmA:4T1e,!|9 ;JXnI%T~F3<+W$'!(0\G;AsyoⅦT8Hi讶 U#eT.%ZRrblY|eR;QHKۃTa|4U0A 0=An ql ;d5P!E .㿛ZnD 0QY c" n9l3; OǗ$y< IfXpg-_SNG4Pm_D7fa9jo~gp\+;˘M/hj{~/L"<:Sz`R^ az0t:ő5C !}͠Na3&Ģ ^wzn?Ct[n ^*bK\[Ymbי7i=mq#RW( s4q#L˸f7C;.,oUwS<_Ly[\%Kᒼh[f Kj~t-_J7ӌeT0*;KZ(QILsḚ&j.'iΦ ޮz@j-\jb 04%" 'F,ǂ$Fxݬ5x'/Odɜ> ~Cfel1ԧkr=.jT%k\Oׅ.A%pڑDRTKg~jpW],\&FQcJFWҵ#IfJB$gl2;a1P|VgOב&}W}dWm7]Abq?|3Bbt!%1N`nmPc|z`H};~E-p*xhZNm$B4cE_ ڪL["ّ ݟd/w3IdgʂMi*0a ?[y!:m%M*+~tFo5LgɺT e̮}"3Rjz.}!oT{1WX[@GMrQh45)̵efD( U~[|䃤EG@,MS0k,.ڿ9- 職TǔL6Q`൬ X嚜Vk=9,蛡Nel6\9ȬFIӢvE4"$t$1^>>*w $I?ޢc,[l9Y9 M' ԟw+hQ)v {-blz\Ҵ?gxGߣ[h2&&OxbG|+B~n]ٌ~)הEЩKg@;+Y1`u,>#`?Em{nl% >US"$(N&O2^ ?RBocy6Tlrオ,} lZnzeKFmկunë60X蒡|fR92-7A õl9dDJ`,NQ 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/' MuRd[˱H}.+b¾:˷r'v YTe`iCIL "QVN+tƒ4 fijXͱ_b4OaApIAby#!JаqCF` riWLq V R{J  %L i tHKh֓1,>wHsEuvȨ!Oz)fzf1pP^:1J|BQ , R,PYQ:$_004ơb y, KAb ,wgAb r~38 J`P8`8 *JBrCX#r0H e!dJrE0b5LRXH+a(QEJ]}Rgf*t -v:xyMOPB֨FDN*,l?L=pPpSzࠀ}s5S(`yq(ˁ"a$ H F,GA C,G P4\Zh4cBJ(8r- ` (}=CvF'|#_@Jwha[ kKT՝2]!eyֿ6EcYtpDÄsWA8N;>'`W&6|fwu|N^7%A=S-3~1[iچauQ4*m)3~H~uas`ZLTEki9>5'u\5hx JԖ*'hmUa[[SMUM U~ګC'+"pl%*-\R,#ަ,ML=Φsdw=6a>89m?O3p $gB8\ߧ#X\Fs 4\ۉf^s?%Bĉs6h|nJygz1-6&g7fl m]ၳE*^f&н%505Va/-PsOµ!6չꢭ> 9rG2MI'j[[Vw\ Ugl8c =UJ(egV\_5ylp+ANt-ҟ!ܷB3,Gn@5tphpd q)p s,X2Xe We}>m q: 2ȵVwgLן/+\@4>yYӈ9cO s&:gx.rݩNm< %q]fTkܶl"9~A2떘M$Sp/&6jpPc "Q (15h;ض# g07Pc gSd1o@vs ld$ ~O/ I3ʾQL9. c0[2 %/ π-2 ݈u[ٖ1잸/48;Jܱ.+ϛ(ܩ.5l=XTt @s'! e1C"?-qb`E!h}.y|^d.O0g}ϛb{(\ hB \X |O@@$P$b$na>-lռ RCQ;bkxM.h%m.@0㩕vj;Tz2%Zg:E{)Y’i?U?BJg{PhF Ş?Ea {l ngb~~&(v ?O;i~\P>OYGn~1?ͨ{S~:Al>b>~?iQvOLg~ ?蠰8OZL:T{Nއ]3rbs }L}>v퓦?8=}H8ر8ا~}p>Z"vS^}Xj(s7l߭Skv>X>QhcR}h@c!Lh;uo>cj>"yy3TSqӂJ`*'t.:O>%LMp|0%ZLJa Ƨ #jt O.<ىavh4FᫎA>kQ*ߣO=|l!t,43jaȎ\tzb=E) xܳ}pBŅ>{Zx۳Fl_{֨L?Z('hٳ(_ dyV3&@vO5\^Oߐo] zS2YdЖ_ AcG>Η*OU'ԄBk&;2I{;Y'nv঑a$ߍ~OmpFмJo+m eJڀwitOJt|&%Hk2( {qZz,hYy={Y X%ܫϿ jZl-Y#F4H*?ɡ֭5&|Eۙtp&VcGE=rF8`kzz 2=rZ:T0M%9jnwz"g2?9EtM^/n21-c]sdZ`K4ŌtǞ-%Ȅ 'O|d8b r =!bKnL"Ʃ[{S!6 uގ&غVN)-  <! 5O% &w"W<,czҒjn?) K,E aG~퍍%1G]Ig^=sD7^^Irff}UDfy֝P4``Q4 %@`Qq#"TW/ۻmmswUtGg]VNLǶFD[sVD Osa09r> (gIU-O46nVVNU6STY@CG,JPc )  B`¨b0( (#xW\a!e}k=&X/ݺ6A2CvL0(X^ѱ_Mi.mi)<6oZց"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#: u kW_gYiM4TJsK0*ɓ.с"q 4aQ֮p2ub n^/ 6x rl*tWcfKdB nbf('N&cAR5J1WÅu53f&fD;F#z}+ߐDZu<'+e*D¦a#32Gljx]ɨK:]Dv. 8BW;=q[Q.ڙ\29Kg5G$puх/R,+D\֬Xǧ Wp$/[u-#%r:Yf2ғe k~ႎqˮ{:1G%)$wh|*c-턫ϛz/#SK#SAD-X;*t,cyHST02u OʜLv%ZZB l/S@33nchf-W̏ ٨ `ު o @C? "o=Dw?-okSؾFRm lMVJ1U0c8J}@Wt9:DKF&l-!fÑ\w]j0]_1GsGJHZ ,-["SDoC5BAJe0R[):|EK3O+*¸S XӓٸY㐏_!Қ]"j:*f(7-$"?dŦzRru{ ·,ttZdes͙lmsܛnͼP"'~ۊTk܂!PNy 7 w*(G<opd}z\x =C]ic5iInmؐ:F\蓪 Ϊhm%e㉌P|LJv+$ CG. II跍s51&C }I nhlŇsژ,9ZlKK d\G:%(&fgF5U#4zu7 <`)4lb/C%k :4J.\Ԯ\8հ A 40WЕs po,`d#U>70BS8m;k6eOyJkSd V4CN5mt}^>UEN.Spr'UL%H4L xf(y_t p hI vg;&Ľ7VNkcq"/!pЎ+oxa kbPliǮfU|=ZxAރ|&) 1̫kki0q\`0/vӬ0Ope -0LFn2:aB sYh1ߣ)^v2كqbn_FuHȲ7fj*/AL[hǼY˺F,sϛRK @F&yFQ1ā>qb 3f2AoΑ.#؊nH{5`'*]L#;B2!jlXg/oTU)@hG,"e}hF0yQ] 椞 D;]27bqa"!1EK3eu\⋀bE4<[uki&'n ɐXG  ?I1x{TqЋZ=cR:fhBF G$>1%_Y8`Ș>[@>## - !Ma /&/7xT~_,]:^M4wEuD7 # ̀8:|^*;/vTl#@TOAi]2LNy̗NKӦۜ 59X(&/|B1E|=楣?< eIVÙwc4Qh$A}v&@\o1+sRi @zTUp(ӗG7@>6InD#`6eٴ1| ܚ*H׎D5h'GF"i)y !?0(4zaƢGP7GƷˁIdx;NPe.JWuckgP _J-CǢxB*Ns{p>ͤD-c xJ.F(B2*P%n!94#Se)ZqėK U|nU\%&Tɔ%*q)F:XR>^255]m=MwTҀ mc!T]ěLWlD>4M`r_ŸWq1LOԒr3UQ^63RͮJŽN*VhNb<2,[ka؉JúR19k@ MJ(Hev}f.#;l }zi~3xȿpcNRkf{p^5b( ]eUiCsId ^nڭl9ݰ nx, `M֦dɪHG-jGX:*~"|gwWY<qrSY06|*_ٴ0m%&** M%QWUצ r0k#y*< Yd °!-l$SPP؂R.E's-}L1`5Y2#\ikBL0#-0 ɑ?'48r\ ҹҧxx t~m;)ͱ9{V'y{?#x gP0;?eWr̈->%z;[2`~;ų{dҿ:bh[6gYz(ˈ}&לxd|>O,40;>ך&J.#X,Nw8s9A739;^Hʾ4Yܞl0kj|m X YC "c]Cqޞ2!kU q GD. *}/vd7&2W:U@hS%#!o,܏߄159_Ji0وy`UO$Bҕ@'JOT :MoH󶵕dˆeG9s"`,uF[PHk÷ (2'/b$;c w&X!1$܏el1bii P,,HA}@t#ɠ(]e!7Y8Pl,pGJ1a#ۧpS!a؉ظ'`ԸaV{,6T8嗍kR74}!PF'n9C7sJ^zҸP|kcPI/EVo:\Oپ^|cryU u`dDŽ5A?U ,nx1wG8*FhȎi{SN/0L8Y *US |e'\I#KrϩPM-5bH p`~'R>,Gd'zO0j!ƠKЀUْN*@ҲYoUyi~SZnW šp ۧAKlِkR@PdJ!5Q\jpOF,4hay Ғ:c#jy4F4PiX 6#bi(ޠc&q˪choM]5x7nQ?yB?W"&GƎwg2"v 3A3c \ SS,Uv\Rjd,zR}6/TL=ފ0@ ؄e#CQ{aqa&Yt1V d|I~ƎRCUEEp 5Ή18C~&m뜌Noby r}X T-D}a7ѾF| u1tru ǁ`u4J|.P7eԩ-`ipdK:~]^|Upѧ=~)\S\ RdFtedlCܻk؄Ce #[lGH:n% P)\1jےBX]2=# fLF͛ Fw:@dDayYW`Sy>PD< 3 r^@,,qr݈Ҡ" {{fC}Ia_Z88RϴPdbY(ȁLKHL`^*w$-^{xͧBLF.46ce D}i}(]fTU|ƿKΤ{pIlw|^`\&TyPhbs{Ttu*ϰNі5HEGT|RQwE \1Pof0tOo?ϪF)Fa'u_cT(g쿎Q\/s埪cT(̘ݪ蘹}ؗw$!lkƼjƟ˻}ʲtywfggzzݯ[@87L ۯ{۵fvvxgwnlg0hۯoQ`TxS[9dxS7Ė"($ra 唱ǡiF{CcCQzwþ~&0)BĄ0UР37L7LaJ;w@>VtAg|πb۸!D(xڶ|jz{ #ZҊ׽6_$ؙzÂJ\3›-h N1Kº]";D3QsknSJBF*Ja"' NӻmLT= MJQff钪UwI`V'!^{C/z[b \Wm , 0,Z)9m/CHaxF^Jw"r/O&0s5>Mڃ'~Vw0; p `LdYJM1 8{" Iq)vc/kGF RƦS4n0v}1ӣ\Y& (xtΉA{qwSߴ< <#y אq#EjU@~%Bgܖ69`ʭC~.OGQzI c-cOtW&Kp |aD$b扳eCvȱ{ȳcjkg#iA*h*>0ܝǷH|{sG8+$kt: 5l8gC ٬;"a*Fb]'ڲ,Vp꣩s[$Çk[lJXޭUwAv X 47<HLqgSvCs8-Q}+OҮ|ȾxKX+~"ߜ23rF;3A] i) ovlr̃uN7gGa}8mD#a1_#@}bᐞgT8+yr=TzĈ`q#x%#^PKA<2w$-t} ] $Ff Gxj$Vǭ7;(kùG[N`td1cjbqN1TI<H 2@3뱬3ah@핚~C>F>Og#VU|jn #Mw.eI sm)Cn"Oí9|<eW4D^qvJqh(`/Yvҋ6_ `q|8Hu8"o;RZ'oT mҽ=,/OU+Kٽ), B!&#UG:B~%m8H?_bIA*PI&ݣڜcD9uc78z#0á[;q)GwlH}e :5/P/ |OԪl4A7'[)!tïK2KN%Nd.’P*\U\Nߑ 0Uj^`9R1VVu]xr˻HNR&j:15q&D[00VPj̵CX%~?+ iS}Y"JH]Ȩ"sE>-ӣ}YDqμBwhvٵduCPw6Cg5N}ьǚ\T€xW*P[-/$D%_̴ZӱŞE:Zޔw7 ]#H{7I?^Cf=Э xa_ O$gI!QE6lԣ*.fU<c|q0}^#3씠q3e+W9ޜ/`561s{7ې %XnG܌rUqzEY޻MU9pzK0xY~Pj 2o+uv:nCiٲYɩ{( ['Ԅ3 QXv8p*wЖL][Fy.kuV00fHwpm86|:=2])?PbM~/[Gh>Qxz!FtN)mȸ#+劇QSMfuLX~oܖor)^WS+ylX_*]Rx#'gynݠ~4U~4nOY Py5gыkHd@#dkm6M5]+ XM2 񬥺1p_Fgw[9?ME|Gʿ@;xSU+0+#N1b|6fiVNS =;n>(H3H3iPLd{}5^#K'F=', oΏNHUۮ-&J$i*^#5k F‡la&gVV9 f"W*N#+pz~zt]\GTt8-~PTHlUtm0=Moh.0gyi96\in !,X}vY)HLC_5 , 6gݒs޹M4LhߓXB ozkz08h(Bn]5J]9;h?hsB''!24IID[>4\#@;b)M@3ԇsB6-mFk-q&({cVgK4*~V&WhrYJ Ff>RfVeo27, %Oqo<'N+8(m9IJS}UnO\`@rus!^jFGsM!P ƞ? ط[>";=}bT3|j_P1EZW彑J(JTpP گ}pϗqҾ۵8~PwP: Aп8W.ޑ^dYݫ$_ߝW|vpW[E!N*ȫ gwDP}o M@\Iw9@,t [ 5O' .HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j=Hvu"0m@-UvFXh'GNPSfDD-ġ{&(lPfj1oJuX)R)ŠP_hb)W&`d2,T#ls0@ `,2**06$.yҹ0tF c<ƅ6q$G_*P|Rix  (&&QPc Ǿ.xKlQrVY`ԨA$ts pj7tqk猢Պ<@F_֧NE'+h)eҖcsj5ZkjUH|M-]hS=)!jV%JS,1x1ԭR+v@-ƌR7l_h^`E1 J)Z7yuK 5C9av.=;B` @^s,юڣ0A-wNܿϼ1xdhPZh jVR5͝930v׾K܉B[Yc]kȹ-"?vjAJR_PGG_ccl+P[̓}$'x5žx)bN)1;i.u[wREH2j1 e@` 0 A !B!@c!DF|.44TӢ<|tz.pdf WIf:}&zXd!sOf*&e{4 J,R.i ¹fр9+r/SYC#݂[SKSt(G b+ngr/~"Y&xs- bȋ۠b7-0t9T@7 ]Pse'F3gaSؽ [3W"`d||D3O"&nÕׅc6[jڥtR )ȭ_tj#9X}/h@$)haGlӀ_9w: 6B02|EYF J .]&<=B4V@>X(˵9BdWOo&2i5H̛! ݅y(0W'5dmNZR&6zp7VN5 V(p$AOQOs |@OL+ , #@46e(\S%FRcg v1#47R.څZa~ ̐vB.4JčY3bRj: 5wp]TROU) j!y3bgoWɰb@V"VN0Byŧs]/Ǩ 35`@ͪC o)!@IlJ0 S7ݶN!^b1U3$ͯxpw2o`6t.Mh:d.Y G86&OXIʃF@tןգQX @<δĨ|%Vᗘ #* ,.],;]Ix|:T8jȁ+M3Q6 <%*D /#A!D |LY7tȂwUJc֗=L F׹ R-'Mˇru>r#lňjuQt &tۻc j%.]0s_h;Y&tW((o2; d?n:4wDS|yg|vlxDEm,)d~Lh"݃:aokPՋm7ܒvь[0Z^5ކtmѐVqJ+wrߟ6 .ѢÁHdR8r߷  fNSJqig˺doxB,I8۱s=¬Nc %q y?p$hIVQyR;1mh g 5O' FHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օTy"0o`>% iF{v`a{cǍFB+-LqN4r]JrKUf*A>k#3znG`0z5P + b#q,t~%NF a@"iH>7[~NF 言 -T4 9G&p`Ip p҈x`u_¸4B٬)&СOaV!*Ì=,XEn2o=N0,eW=yH@[24=aܬ:F-V{Irf|}Nq^ZQ|uvsMz\BnP{;ǙBMl%y:Ej-CSc~=%D@c ~T[L1>HZ<=㌥=q;HxZk3oM5H#?$oM#7d66͗ $8siqbyc謦+,'2j'UD 댕vZ -hiˤ@r|ySNY6_Ηl\k/ׅ i^T:on3]u(mRws+2KEH$I5 @`EaaA ! b!(#1`dp|[/.T#'߄4W;BLJG^6񒤖 ՏEqk=J9Äuis+!Qf1]\e)KB"\MRMNx󎚷#F&M+ !NIIks;jY46<=acYn[LyqSyY{`} q#ݽ@b8#[K,_sڧTmCTF#Rl- ؾ(L&OgLY< :U([ F%-*ӔcH(Zwsh,g[gT5.>CkG'7ctTv\ AL+ɔIv J D)AhWX=oAՈXWk=`g"~< zt'JoXW0ob@= $flOPDr`,{[^lKO&*'p0⛀ Ա?1c`ѩ948rc-ڐ4ﴳnzMclG}*Q{8k C8qf֑m>,-Z)ڏM&UBMCB I=Xe+,쳝'p |Ee#RomCtpܕ+AF+_|g +5K9<*[E_ca?8}{-T!n`#Bcw`4~q%tGIg.*SֲمN++N}(Gz&—?{= _bCmQGI*w#[F f@rbbg͸3۬E,dʡ o%bi*3ƭ:^f99vt:ӹ eyBiuL2VY'"YkEܔ usSZ˰`eGחD}s`)$y 5$8:e]S= U axsDpC|6SQekLR0ʼnt)RGue oOmІ\75ďy.ky\o noB&U)=B+ /:3( GH=:A}I Y1<.*>)(08ڻޜXPM)(B10(|ҙwk xv! aP'" W K͟%r4iϴB5qj01H}w, ?3nI `q;X{2yYeAKk'ʦ[i²E og4JT=,@0"ssT:Z2ZMTyoKTR%P1 j(q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x