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_exportst ||~ytoje`[VQLGB=83.)$ ~xrlf`ZTNHB<60*$  | 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 w~iXc>M (@(R)X")QZ0wbX_U biq3=ơ3*H"{<(/$–Hj zO06"bOؤk%%[Vơ_MӾ $I`6VQ7W{ B B9Ӥ_&ǡ<@,11y))J]bޞ8Դ+!mN𸴕 PN ͣ0iT4ELb'0 PPY"1(y0H{i /4$ "ʼndqIq OX0,8(L BBiYZUW*%DX%?^duML|\0145Sg+QZٍQB6EϞ  Q5׭#`("ǧ" <][;aWQ (W[ˡH87 _ff.%?%E Wb/]\ n|l$jz4&HTCl$jB\CN, >?ѹe `48ñ^yHdF`X IbfU;7ws=%1X}SҘXHHù=11\qkz2zJjTAͽ8а8РD Zݰa1[BAaB1(!1A1h-rpXh_1Q@P"r7*C@t"ڎu7l\i]}HDˬh~[]9^}Ud;Udޕ zwySn?uؖGZLZCP4eo@eGI[˞XiN]Zm\׮h̷w0` C14>%EwtVEjWV4\|Ma8`7_6\5W2M.F,*'%!  >21-, % $ HH+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_Machinc?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filespD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marbF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   y5|:z< - UHOL-Nominal-Examples:threads=6elapsed=346.924cpu=1719.618gc=92.831(/ăzy!(MB? ʴ][5)'7)KϹմF*2X2j#7:Qb?S&R=t,Y(ّݘ@ WG6D`$ aPxH@@-R͹`CEâƜC"4@AA   usquS;W*{bdR "p#R84HD$C;&V&YՐk  zAUXXp@b EĢA!P@!@`AP, $ pP$P,80$"  C,$@xH0 (XPP D( (h@A BCbRDДW!3L"ou";!t~tpfc{ٰG<##Ҧ{7[d}vB9I5C!]RZ"$,GB䝐j7v3֬WeU/)rNxb5*1fƻl{Fn6.ZkoqrFh2Ztimh5Rfľ-ݔwfSbs3zo9_s󛛇:OݙF|δj#hJ}]hlztǜq~S 1D ɦ9t-CuG6*d#)r!C6y}ƿ[8ѐƦi#jJGG /п*ED7΍V l:VUmDlWϮƵcaU)SݢbiZ K%VHõm }g!h2eifMW<FOCu&zKڴKHnHr$]Uw}U˽hT$SZdZi{LVB_[wTٶTmI4.Y {><=3d\j7z$Vl|7XI|ᖯVޢ˶YC憽|l8Eʼ ;6C FTɲG^St2sԒɤdiw~FHJ}?{?{9W[ &9sb z=usA)ю#~Q{[aڒ֏kʞ]>a F\re%C4Nέ<3lYLjLn|MVmu|\PL״]"dV>1q;F퍉ܳtӞ񪬶Ymz&_u+d6umèT@pp0 $ `@@4,$PDT  L  \x0 Ax}|됑R@;mh};ZsQp9GV{GHh\{:1 .l9D$d)ޭ%hW!rhRVYT8.'J*T#n :ua߀yD|'f͹£DQ>e@\v,8%ynqBR_ L,@Y&*zX@ ξy!]F ݌pS(D B[=q;~x7H$S\W;I>P@3ۥ_ +~ ~ 5@j ,"_01) 覀n?(#Sv)LSַh8ۅ.gP+D_ rEb!iCB$C0td3l Vk]mJ_SGm؉7mU#9aFѷOV7PS@wd t-GaGFiˊ0L}9␞E=%TiBT|3,vGꪆGuEב  fl @GBCVQr_nw3`2%N%;R\y*LxOc(ĸ\J߭l3lin/~Wr ĪhaL Kn7T["^1LU cKFә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.thyhm6!=+(ܜB4&2sbplr&D[<$q8$e"T P+X]n;m:*Dϒ\ŵ#\{K:EnwW%VCBx1 9b^*i29+ R%4S!UJ1Hd'ܼ|oThxl ]f7hC2jQ"j0 $-5[9TZǀ'HȔ^'Sʭ^y 3D;|ڤUEށ V#VAuc5Qy+3E >m5hp"C J.6 (:4*O4wą)GB`{n. 8eBw=)x@OP,mV3H[L2HENkR(杮s-]ch]^gzn707]= 4q,h6v?p-, q  (;_4za"H?G~-?cӳT)fXudc໖檩<+Mv[_ 5\bz#U=P2jʳdyu砋EfRK+ZT5b.n7]W `/yLjpڈcXkv-0j 9ez128kUq;Q.q "e  )$0!ɦX|T dMqrL%l'ݾ+m۵8k @B&lEhe'~{Y.Cyl4I 1h'R@_|$|(ƥ8X(,QK -@Qf;Fyݘ̨I;ܞf55G[%lsYC0"֠K,9l]>!4ϳ6G}JoWʩ]0u=7 r )^[v\IgP˾]PpvZ!aKh꛹V.zY_e(>VHkT b/ \uxj%?r(u 0߹_gkaQxE&YvJj5WSt"6Gv0R2 "%bJ',@ٌ9dE0(NQ6:Gd}z1OXn`^uXڍ&H>?_1W\3@Hߺ6 tYX{;Z8&S}[m*tK+8$W-mWŘEGRܼSUȶD˵;0gtk|&NgمދF~DX)wfbQce60?Vvf1W MbF/3[ fN\Ce<ojt }CPo,|I E#l=N kl9y6`h!{Rk~@K;!;K! }"o jRx6.> 0F!a5p07+>=nE(cœ~ 4UmAzG\+:ϩHE> Psp-DxXttUbxtOKorl/9yd6]\X$bDRuEj3/յ.zqh߁Rܫ{DnXW?[oqRH⅄23q8層ZfqI#/OH:dlqx,8#~HV.̜8}c\Rɺc 7֮$kjz*fJY\TZ?0 Wa)p6ltǣM6JuHcW6h-b:YwG?@g!_V _LC$ם<*,3Jy}n9:?8 ~u+aBz"V;WCDva94<V~cWCe<Ҏ . n )llA. p@2aUU.sS " '!m}@ALI6ds C]0^sHfZ@OC3Tԅ@7 k`Oph4₾oiF^>wӼ4[<[O Udod,KqhjETwg'_XV6לW}bf|%%6;:D#8쪧pp@Rŷpa!&VaG'Uɣ *y_!+`$x'Y: [ȇ8@__2h^M,M2?68wxNQÜqKT6H[pJc.8<袛n?rl~cR_#]R`WhܸOpb",?fp ;/A\-|呾i fщ;jv$e||7n 3h!`ƾ^ZHaA=|V%s|%XR9zm/g`–dp8Wj@e$s*eRkr{:M1ddWx$6 \9&( ϤJ A9=B.)ZKc/LU~`(DzPT)BFaaaNr()ú,jϸ׹C̯$uK,0)9W,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+VO ljҢ yM^)ՙMf@ _&|jf[YyA¨YHFu i Ѱ48R[a!(f0);izDqdHwh|D23@uhNJҮLզKYHwQVPY(|t?'7Q^C B}u BْXsx{^ lhx0QҝކY$>1 ]p<*h;|Ciyb:*3AN&3 1`xٷp Wu^c&9`ۖ}i`N枤7t-ޖؕ;{D^j~(q dRPb`HdoZ1S)N !6J#گq hKK'J5ZׁT`hZ |Z(+a5p&M0Wa\xj0\RL Ol&ܩ99>9P"(ϩhFxd9K `k^~KM,$1441jN[! ZsY_cU ybR8|4itm?U!Or\$a۸Osw'}q뒎8o<ù6 W]x( cIo/S0 {l/Evʵ69zW8zsvT⦕4)"ǀqUt݈ BK4-E0Tx#$GvJ3,Xի xP.TA0SG <_N&;tЀ[=00ɚF3@CjL}9P -hܼg@^ }ltJg F$,js-zٺ0R#P2+]N@TV]c i[a 0mrR .\W9S#Vq^K8"D/SMD([\VtBkO-*gݶmRT瘄b#=;IZ,%.'dWdG sD9'+DO3 ) PS5(hLhʇ4`XD/ OuB/| 2W2I@q:i/lnn!8B ͵ (omKf B[Z+S3}d2JةI7+!^sB 0#aɁX+`&,}%Q2݁C TXe\[OĠ8ג"&\WAڰd5E=rƛqA,#kyz ݝ!׹Qs05 rSXu/m9ޖF-( RP|y<I!Qa"xx_#fZ,6[b!"q~r-5FSְg?byi2 X+L輎=ASTShg*2bR?Xs{˝,崺!č1-NWl{% @h (hoi2ŷdx^0k5}{+&wF$0s[ʕkZ͎tu0kr!{*g&k7 趒*dc9/ JaH՗XosHso}arb?VمdGx~n>hpCe&V_n]HFcI~bn׶ 6-}tYxOj71Jq"wu,$j'C89wHjsԎJڞbkX+KZx3d]/}_94$߈!@ެ/;L!1)׽vp! }{Y ;Ȕx)e!L1;_4=TV$oqhIu * }1*SLxcNx/4^t*$ꅬt`X*vP6LJ[p~hsƅ E!}Ԓ q V\% fICia5]I)wQa<2̯џ7馛ݼpX5gϾ[̑0ŽO.OTl/LpjoLYV߃ˁa%]H`Z]"=C{%%FU~x0,׍|&,5hnSf?M V}{VxD#'ڥ#x3j@v[0Ns#?_%p%kzG W NHW 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 w~iXc>M (@(R)X")QZ0wbX_U biq3=ơ3*H"{<(/$–Hj zO06"bOؤk%%[Vơ_MӾ $I`6VQ7W{ B B9Ӥ_&ǡ<@,11y))J]bޞ8Դ+!mN𸴕 PN ͣ0iT4ELb'0 PPY"1(y0H{i /4$ "ʼndqIq OX0,8(L BBiYZUW*%DX%?^duML|\0145Sg+QZٍQB6EϞ  Q5׭#`("ǧ" <][;aWQ (W[ˡH87 _ff.%?%E Wb/]\ n|l$jz4&HTCl$jB\CN, >?ѹe `48ñ^yHdF`X IbfU;7ws=%1X}SҘXHHù=11\qkz2zJjTAͽ8а8РD Zݰa1[BAaB1(!1A1h-rpXh_1Q@P"r7*C@t"ڎu7l\i]}HDˬh~[]9^}Ud;Udޕ zwySn?uؖGZLZCP4eo@eGI[˞XiN]Zm\׮h̷w0` C14>%EwtVEjWV4\|M(ԯ_\4/(!v[9oիkl-F˿5,mֶ}jrQ"RPFk`9  11F"&Dy:'86)?8TV:<rEjIOF7 *WY'N)LYu,9pɗd0-Oͥ70a)ITálZw\l%|i Κ-/i.$@q>oU }dB1eÐ;a$޶ {3g@ DixK];u:916)W!Tbڐw1CH\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal C5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1}a(Fxȶ/ <κEAIVDD$%0V"41H<”'b 619Sv;h~^4h8{YqXSML:hjLRؒi9eDjY캸xv}@2U[Iy4+ jMMTEM@ͣ1I+HL,w-jv}ͦp%rcLfuڴUn[Ya(n*0 # J#=!aPD $,BsY{ג|#U:Žv7gv; PM 8ZګSt->{')R}*]_1X/[zU.>{+j0P㜿*jnUS\jwO]T˟Ӧux@( ӕ $6Q(P8̓׿׳GTo@~@3bXGr?@pCT~0EA`J遘J&0(,  &00 (A2/곤tSz֩tͶ^:¤Q)v&kpgaꍛ1hPj&C |I _ȵ`1w>sHw=DwtY>?Vz]PףTeX?mfͥ/Λ6NDe+C)_xo#u.&*ǧKEJ>Pޠ70OsO;p|i+їMEigJ^ଫKfIvI-.5A֬7lj8-Xm*t*ILjOi X2[kHs`!}wӱ1b/g=PdnrhKXA}N_A.]af+}T: GWH g|pTRS=@Az|/I9Yfs윃Rʱ"‡3 g+n w:F'THשDf hi/O1jJ~* l8߭1.ԄoljLxR#cSSKmNKֻ[ N:4>3[gN65mYp">;b<ex=nuŶ!h`FIyyr rښDCL| guj[DDc7胜~w-Xf(^wWtJu,#}lhڵ,w/<9dOr8aWՉ[5qK Cy"`ۢbqU١bQMon5gnhH\cԺ . zr2s/h>Ien!`K{b13qÉ;ºpx,=&l A9݊-y7 FֲჁX糥̓DKȽECp'rIy_ޏ[!@ ,ءÂ;s {wɦc`䐎[Ra-cw\ f&^r0ʒvJ͋[kC/Y2=Èƶz2sצ863 EQ|wqA >d[':^ c₭qIx`m)3[Sc,.w(4Xxj4mIS?CyNΒ^Tz]&Z693*}njണb23#sK% )p Ci@ۆCFAnjytv:KӦӔQ%0|گ*/rgb.9TRuwvzdwnZ9&L12>II1ajbQXtY'+\n8^JKW*.~Q#U:%Z lI{ c%\cXQQLܭ|{]カ76nj݈7kpйVR0kml^(1h%* F% 1`nFQ.-] "`h tB}Vp+ G˫-;v/97 RG(3huyZ3 Pdw:ZLAkct~V C`j]IfKa.XPKI?})DCs\>?@A  F5 qő~8?. =(sDsz޻}2=Rf=Χ&:/kZ cL:iGZ ]Y,d] J1橐(iY;$\i"M][+#eW71s2*SJȶÖ(_e2k r|HB[dl-iArgҐ0,1cɶ2( 1w76ܬppWeK] }Hb ha7i6CLY8J9l}z4-<+$ 5<&q3\_2&c_zIfQ'Zd48 ,%5[ָLX^x#j,u`.s-oJhaG<RD6I@ri=G`ᰭZ^58nt2B ]p~4r,@FkdO4XF1T^򖤽8&zo#LAHͨcsffJ{E39s;Y"g ֝4 ]axzB܀SZG6^ TOaŭqyKN^f[AcAX)&`Z-N3XU :$S/y` Xuisކ2f('!fPR"򍼯X4CiW2Awx<5b!!)]T)v.,F34aD$V*(Hc"w|_5pc[R=g*=ڣ~$;o,&b-J-] 0!JR}\! pp\N;2cøA0K.4JXFU`70U$gHxipÀa)˚;QdԻAE DYm裉!$R0"č#ZɈkݥ~28@'_ٽbԊCf2!8sxͼj2,o0dfKEwxLTA,k2P @qjEUљ (q+aj+;X=ij=ލXd_`DZ †;dnpVR:d.cl!pBQ=ĞP zVkR/Ϧ҃W=Jq*/ڪÖ",K`x6:bZyuIګ@@ "Okc @ o1"ws&=q|r +7 H0G! 12Ȃ(.ƀ-INQ }6>iݺ'aL''e|Pi}fsҿOT␢cWt˓l!A76"K{@Ȟ յxdI98Dh{q"k:jz<LO ?K G릚bo31JVX1P)\-A*"^2pq  rHuÕ(k9My$T ^]VdV-o@{j1TsG (,$Cd.0REQMךs(NL CHFH9Ed#nXYOH9СuY\Qr .INAal$咻L d,Op~XT.ݐdzȘs)2tM(Wl؃^WS"FaBpwb!!8~zxNs0{QȦ́ (:E QMD/C.P+,&C[Y>_G|xz`fUxٹhx %暴<{Wf4vHWAx }?4!Ȫ9nerkT*$VMx| wE:LlS=-VBo/Ҷ^_KĄ3#ٚ($uiF\d"Gbz*CB1=3?CS2Qc ; { 5T11lv\F2Nu/9C1D(]']cupL{^hLc Sk-4&t6ON :T#JWwQÖȡQaD?aL}E^]Fb:.G"h~CX*Ap ;m%:"FWݓH p /7PH ZѨܪfB$@~TQ 3MRZLc%ĹY PU2зn4lq L)ɄX۶}۶mm˶mYj?m$gYOd-oY^K~EZ3&7*DݒU?ݒYA6q4VOd%?Í6h (H$B"$BB"L&4UUU|UUUUU7$Lن`0|f%'\g!XA K-z2,Dq\  9DI0P04D 4(0\d(,$<  0(`1t㡞y 1- 9$ w'x>;^ieָ2e*aoHE/!]=.҂`&Fw6AQj*O;(DNWө4p /6r\7$ vJ4#-/WUi-pȈfϿ}ܻުl 3hnOsoz7/ķ | ڀ0RVʄ+]|0k%r#"ќcEDfR0`lkyЅ*OPocIyyylcF? j:X*0שiub(6;.b˞,agTsAb!)C"ʃ ~(8f?q="^u}`tlibi{_&F0}_ HQrʄ\͆bC0K`>ۭʍ%FE@$[8ʛn4i';OJ nڔf`GcnҞFlWΣrX\p.QNP0x,g{ ru0Of])YsarP Ɍrd~ Q  7市 c5\Uwj_fnԱ{m@y.PN 4w!<{̅8A+X' _qvqprs`p@\Q҃\a\2hN(p: y W;lT bۂ"c;Jb&!w/ m.60`mL뮘ʓfV,".dN7;3Z!#yǎ$fNYUR@f/Zsv~5RzN/i^O>U'Qk; ̰ LGZQ6jyXA?7RWwyӥ%&-\AG{f4.+o9qcwt"2`h'WV5'ǥgz©#h%PejZC~+GbhŇTR]PDO(3C|-g]g2XpQƵNj 1(óiO<ÔRͩ1/-hL6 2U{U hAD < o _=HNOj:fN?5dRc9P޺=X;܆}mnY; 5wdۋ - 3?~{$d`J `OyX j35,STR*h¯v͕V4 p{ g[X>rEJ'i$HȂ@Mb7L?0ER7XZ޺׾ڥ,h*SHGl2Fl;ֵ Ly\ӴFk:r1c6nӷE) |u+y'+&p:a)@MaL}SܹDAd;&&}|y3 >P:(xz>:gmV+=U] " VNn`bx"8E#Ô3ƞֱü>jr)2)@C-dM:y%CVDl<:_2*N934U;H6θ;N.j7g_Dor?4X+ 'E4:Ca4?= eP|KH@^Qk<:rb v+AӇ1,#8X夌w֮_'Άʵ|§ӵrFΒEIȯ Xz덅d濧i)G:&wCzX]VnNhh0O2.A8^T 9F>E 5?8vvZ%iˍo$e}IfUY056w-"l(0 m8cMuZp$U"T[J1c`Uf*p_J>^pQm-/VV *Xi.Q~]4'/(nԢo>4j6 ӡ1xY2RQ peEeٗ% YB{rA,t=2{T!5v,몑[ "JᠥjK^/G\gMؗvHb4½tb1&b;b ip4> ox# $֗TߥHhm). jHMy"9_7 DU42>"4뜾Z릂ytnMջI'%8JRҲ&9=OZ ؐF NU(n?F)߆Zj1rkipcS=g7|6}%m1VvUCݘ,PZ )"Gb1˱= *ͮyѣ4̘fQ4|Nά],9d lCgs'Dsf܍ UsP8H >[_[P4_mnLjCmdKc~׿ƋXGj 0~WxDˇыGJd6}QgW)|w?N1x1o'r6vqw =U3%eBђݙn0 خCzf}8z$t4FɨS շOdRO!7~jYVxFՉj@ =[TrIlp=AQ q0jۮIƨJܒe 6庣?ɑH]iܶv^&FY*wy]jbwCs=&.ﴇx[~yR0vڃ4M{g>(iZm?PsX+jNR%gQ?icQT;2hQԒ@߃E1[x?rS=CF8&ע4Us_w`pN`w+xE&ۑ}w\_ Ub>L>ߔ|n']Gf9F|ա LO)=!$[W'c\2P0JoMeV@e8䅍do)kO%9/&xz>>$6.@:x?F6>lu/RkC@ӮRs`z'5 @jṔƵ3ybǸfHLx\N,k KaKݙC64QwaC=ɗiX/(qY0,Vlv iv>! vs5v)Uyy^[y2w4˧^*= WqyH@9PľlS,Ov9?%:.Qir“gul3b٭U+g3(gǶSb{7Qn]n|,DK$Y5--Z;n~Dx8if5ϳ e$4EloW4JS^+`X%>3`gjƱ4?+6߾n~J>y`{_V+鿠 [;=c 2aTOfw2@hoͣnǃ|Syہ-4Y_|4 ]BIO~dB>t R|Gr:&hk&cNޢxG/&0gwtfj?ء;Y -L֋|6"l(]e/̧7{1vm0:#H%hY8BphC:[{I?-ȉx1vuwPn厡嚩7=(fe4L| pi 9PMۆx]ffJ{}mYD|;n5 $DH6s  $D(1!!q`bqQ 8E b&i"38DBؘ@ࡁ"m%7iFab1=H(D(|(NA[rf,b2 ,hW 9Ғ(i!Hcl4iӦM6mlMr߭In"~Zk$ţ5MnIJ3o%M4׎h !QҌa%QҌa%IAb&IA[$p1nMr$r4cm)ęݞܤqE~%Ymvm{m۶mm۶Ӷm۶$I$Gn۶m۶m133333c[lEnfD_vKzf$     Vlg$_fs.y@@[1cm$PDm۶mv۶mJ۶$I$I$mc۶m۶M$I$i-96XJ@ Aȑ4 # @Q &~.==e#Bh[i*!Ew8"%'Jіyb>0mMi*"A>`0N]? 1؇Op1ëCtFZpշIjdz/hܓdJcH~K]%wȱUC祪Eui>Ie睹Ưd,S:%rm[ vS"gEnQl,\7+b~cUWC|JT;d߼ِB(;֭uU۱#˸5%qczGy`W|ikbQM$X*"Ì #sA=2okmhTo|\Ug aW;Vw!j?W]ו6V>DIv0tTiZa. kXV:jZTt^&FW-]ҦŊ?Vt5QڋXJNn.5-+*?7V.5/W˞A)MFwcҠ}*zK%*9Wm Yj= x8DU밫0A4 k0Gt7?Ԃ/,bT-Oo?ip$~sZB[Wyh= K/hCnkյ[@/;V w D_Q8  LK0.Wc R8k2F5I䴌CߴTUb V+9# uR`sgM(ihCgEO A LQ~AwT=MbW-o՞"}opD{@N 7Wǀ DK,)M*HFl..fPK߄qՑC`yN Nk>6cPUVVJQ]ʧ(}v` ^Zg(,`-qFG&30s@:y 㜓\@nM] ɚcO-g̿Yv6Pϔ&iF7V 1B0.Ry~}q Q`H|Q=҆ҟR!o҉C p&G^&a Ţ6(-%ǾJw-vnz6 YZVj_g&g :qIA+k<(Z ^G٪(z"E,5ڞW Xr6Wu oKd +r"8 tk{ؓd)oo鈽ۥ!n5X*޺ bU:oFر*:2c8wHrD;VALUH";jq1U*[Twd`+ʹSIǻ[-T-TT4vvg-<7z9並Ҭ7vH~*DN538,5M wsnah2Dֆuʹ⚔T/@T3g;X5v6G)*͠+WCI5M„5qfbi*l rsc9*ATګmJ_j kAZR)ZvC #JYksmWi`JST*1x]ѩGUottIMyU(a S|JYahk\jZnA(o%0'5P.P3,"`̟e͏g,mmqCKa+yEZw_Xu /~L )7KfE 캉sTddbq]N ǬX+OֺWZ_ǔT':`pJIe rD͖MLʚkB_?ih뢖Yw(H5,vDaKGhSS*SdTj`WܽVz"OA|?(X$0@#cb6 jG3I^AUȧ{|Yk Z Ef@d^a!^1D}O綘gX= acOwFtvLM:;-nM"*bS$"YbBQ%|+P;k5 ѕ1koZ9'2U7FݚYPO[e2ּ6+LT$uJJր+>QCrTCRYW7ͫG{nd}Xd E}U]~wֽzB,ֺغK[`uEoݾuuSZ9u-9u//uE=9Xv pU`<حvmUYvصU!vpsbw}]4=cWdґd uj _Ao1ϙ] Z/V8j1K-?#?B]V vϧ T+v/Vm$"v[gpl&Mk߮R__`SvڞһknZR˾~axpW}{Kd?A]ޚOTa )F/태s{DhJ4Z^Tnl&tw7В6r |'ޥRJIboJkƪyŪT FYzM{/-)*2uCEƚ"NACGʄ)Zgk؅xƦ4$eNHMUIb+γen{{"R ݋7d TۻvHx l$z'h,9 ӕR*\;ym$*=ڄ=!0S+ -0kUW&E*%I u奻뢌FM M ˬcrOL{m:1Ͷ*V)06ӞؕZe[,4]iZ2tм'[ 14ZٝUvlt&Zet¿q3Focv_\. ܝ.͆Y6nLHN<'==-0%!BÜeoYKR-Onu8ZԔPVd+(E6g3ki3/Hi 7l̢؏oVN&U)EDZ?US+DJGg"/6ؖOu8cmfzϵ(O`xmTH1U؉\ݰ#!8UO[Z N3?Z:j$_5줭8La;h,|\ F[V6#ER&=fzG>I^~_LwwpvQV` Ėc $/5M^ubz`E˿+gwg=Vʩ!W5O10#_v"4a*y=줡="6/ԯ_7/Nt)ydM3䑿҈IM} .!ek?Ahd߫/W``jXOmT)۴<`@YJYmq0[a1aG଺ s﹑+iYyY%8eғO*ɽ5fq4#ܥ(&␘xگ^)(ƽt1G0T̓-'tM(6rXQ5_䖪D&Dox",,X$.?ъg\;ΈiB|T#*6XLյn}Ue3__uծpLeWt=&39w,%+ ;flK,PSH&;eem )  _PFnP)B d*l`"\4.!ј /W7`٠Q-=;VpViJ4Kb ;|)06wVDCI*Č4< hd,x=FCBɢda)+sZ.ٗH6X0? .&3(׍ΉHR-垕v0V2uyw)|L-b\}2ZwxP$lOר)p7YlO&> v1.'>m4j4g! {P,ӝ ^`@abI>LOQRz"4q앻{bH^\]t08*z]nly7v;r<)Q3JuOAbw4vczg ]0<sW @M}ůw!.+lXmQMtrOk V 3OU7p Yqϱ6:-+U VArz[ ߑkm@OHOm'cxRdmC 1ҧ r0!hׇpIh^V%_߽sgo]N٭s5?d9yǚ=K<fZtnʫa{I%YQn"S٩&g+[dxEː~A,p#-y@cBx#+#(~Q!QHl#E5IuC&qlvDNjOV`{y`$ےi_yÝM+w Ze/f}Z |FlMMg]CCWҟ#l˻|Jtû `3ptcbjfL~,hpgY p- FģLDuJqYٜ#vך^㼼f#wkLښ2묄BZev{3W$BRbL=&&UHoߵfUIżk]{GH,? 3@uެj>OdɪIr2l4~ >̐ҙ{OLϓ}[_D'vI֯zV}NTDLNeR("9(IDđYb3eif}׶̌0p!qXUo߽5rjhѸKlB4 ߠƹ6Dpkrx <9 (` P@d50Ұ\>S(5y? K'zUwģP$'eG nkV/3#ڮf:ċe$hX՞:bb5{@3^m߈]kf-'j߈e߽5sU5sիj?"wYUkf ۚUșhY ϙ#]2:"$Ա֛DMxLG0TH #m6Q6T8p=! CU/!e'[4Ze+HyeQ9,$")E@Ѿ֬?;.H,&PXTA4 A)<`h\8";gj2aϣt}劅"@"Gί7A1Y*,جd Bǵiq֘FͬvZilj ɹ2#޾sk8>gWQDQV֠A#=81Zhz-,ʢŊ^tE -6y^0&LL*."+Z.H 3S4e!LLIDc;m'sj~ osК *q3đ0yVf3gsKzZ{,4-HMt^#a{-VBAG(IaL!\Ub0sG^548Y1#M g+lY36obt@ס V-|iX(_uBnF'IIB*5u1cB vݽ ̮K4c1ovZ@ru0GRF(gխe7 O!'a3I^Is|eL h;4j/vsώݒcWT3Ap56Nyo岲~5Ҁ4Hz_#x?PU ܋aq[L &sUEs@I@`&0%Ĕn&8I 1M۝PW40nζ0 UL?NUH(g̞e]pKR]19M^{|'0ur !Pgv)&ҳh<Sn[^u`yGh|}9d>uJ j:(XIE3(V49[OJLi]l1thвndW Fj/\4]In-G;nW5 ^#/RyA}~Y Vp_4XJ8'y03F.z%W&]L)b7滋Z\}9}ԑHj нj+C2.dˠ/ELKCԛ+'T'&f>Ұ؎D&P,u'c,S_9`W>PT~5 6f޻O.}w[XCnmH9S[K $9dR&_$ʚl+LE<欌3^vp幌sj*=ȋ˜ePji&P D݇!IBUmq5E2p/,tj>(\ƳEV;":1J&3ȩ^iUq& Q?NS6;d|!) z?K#{KLA|&0P @}dyo2Itw5ɀ.WG@7fj7Glؽw\}( s?,CIY #F"KSњx*((szқgi.XI5AWJ8Uq\9⑝,ʶ &#q|MԒZCj"| *1C]qzEU.ɇ_@uA)|GZ2Ir~栰ßMhr;K> u-mw[aj‘ yxU/C'&G(b^dW]Jdj{{6> /sy;P:;?=y(obmQ2S&{ʴpH /JHqWb͓GO nf8 'QZ{3߮|x;Bnt=92 (j E6,!`vjL lw 8/N8R0fHBT{lck7%:'%0 &SD"_~Ȕo;Br  Jbi褀W-@^.a]Z ¢qv CNBN ~=N;5Tc@_J-VnU@LCA)֋o}jh=Ӄ8)g< A挫2 l27=ͥ R f8"`VZy@ @v#=sFXw3C erĄS"Ͳ{~ ~^;.4 /LG|x`m"IWUPF90>#~<]b"9\Zt!@ ѽ1.n,DhOrcoiV9fnj1)F6Ӿ'\tiGנҳ䁨^R8qM$\/۹p _(HM>Dp_=/d=7?.5%>'>bX/op'Zga16 EKpĽ a3#Lc2ڻ]4<֌,-q7bgZIg2 6k~@O)N;ٽc~6ߎGG .$?jsBͱ(,^vpڈfv'6sH%2 G[6lFIG0?[Vf#UCіDe%@R)ɔͨiCM;> Λ nWxƟ뿲̏!>lT_2kOOt;}GwRsLSޡs4H@C[DmxcU 'whP rF_' n1lGڃl9HǼβu{/Zl4N57ugӖF؟^{H¶5>ӶI0@n4?cu-t݀[qa؀E`+#Ÿkx_nW;K]PW:0Cj9|?g/c3Q@4ڈP <tCiX;?w߰wJs:g+XI[dz"ˁ K*7A:r:2.E:&/‘P!d`ex-7:s[:c(bK%ӷFkMv_~CR"S>=T¸bak$JiJ&;Lxip>!f=`trv(RzPhgc.S y[ggRU`#d3<啐^1>LjG$UXY!HmsՓNp! >-U 'Q.zlt/b4#>U$Wqc22aO5^?ȩ Z{YͫX̦_8(/3ӏ5eWEڇf"4g3- ǽYFcAr!!HBmT5d| ?иNc/kÉ%ʈC(=a DX3|/U 0J =KeLm;} :}7#Ć¼ *}V,3A?+L6J?C<֮wczd8P j )>Y g }N>qR"HJ11DmsaL]G~N2adED\ I\ю8.[,,:߫dݢVMs^i&wǭW@5KdACI[-+6 CI!Ҍ`[]\_bbI^);mԤ=S-}nE,Q@>ey|qP*<۴O3mזeuHVKHK MmpN>ҵ5;6o6!^$H:-嚦|Zs %[HiYY+[8=A"}OFXDkm3@9UmCCT5?ZK1F_dAK\+#KRKVs)61A įVǜHkp)@s!O~Dj`})~>|+ j쁷T%XepI/.%2 v#~6+V U[ӯ85ey,I71wL3Qe/\eYnľy񞠌tf`y^!r[Lh8i|_4D xc)dYݿ,lXx~I.O:%sؒ VMbyFH_sز\ <|4AdzRq|ؓ+Jv[UṗE~l:A?6euo#lZV%FY`Tߩ|JE'҆ U%e] J~2ќ&HAqFbҖGD?=0nĝz_]a'EȠX/]k2_; 2"!22A4{PGod0/nz|!,)g^}ևon}#Xp$SZa-{&˒q #ÐiVVsjVg5Csl*g=?t&-?V^+'dKwGs4.k`zG߄:A؋e ,ӗTZS.Ps8֏]PBl_ǃWO < BҎ.:sQN r zQ`u۲ *,ͳ.LsaD{yzO,{4!췢N9e_0n6ձ i{E˼TK+11Kq>s]+yqg O :wH{ d#vgXg]2=gcOe4+s_# !fݏjBx,i:m(tcƊM҉:$boޥy£?'t&.蓵G8Yauк]P9% ][P;j~t4s s|E* )lerєfs%m޿n9Ȅt+*gu.l&\Ŵo[&}A})7 BSrV,Hs\t<| \',>28Mѥ~|m{:xۡvHc; )V1d+$'=I R%̒KՏoF1(R%.ʌeo?fI >gFBVISWRw+6M7XF+ ]ꈖwOfl8E}DJGȖEwYJ;e:7J,e@Rqڴi2 Ko] e ly%Asr}BO*n"TBp DPYၕc1  pG0S)coG˙Δq±VSdM:9ޢs5 ϛr֫2?U9X ֢A[6OjOW0#N&a>1ˆpȔ'["Lj._j:SijC i-C a֥15Jګvo|lݢ~+5g,.0QsB2EAb"Ԧ_Q44{)#l05G]uBi> Ay[Cvئ4 &#EG"^lݬp'a<@?(#MŪA,;c@<"DҋST1M`uztM Q3]YM$*Q"%,킞yy ,[kjڲH)X. gqcn&8p- bG QU=+UUy ˇ]3JPzQouYw0kEyBN%t]hdO"QߣGlΛ7;=]Xd!z3X%PFA.{yCu2ƈxtu\v\8irFS4 (tVc4L6Gm )Lgi+_ 'ެ2e%X|ІW=H%{݀@oEt^ٟkea`AEoܾRVsAҨ.%vn%{qqLj{C=<"< Qx}dE ( w˟jЇlo aCR2\K׺i W@59J[RdAcI=P#Ń5a6×V8Mn?ZpfzBK5y5@& o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5rpyv."UAjSX>˻PPJu˻R2RCSFA @/΀s(49ۊ:Ѥ8YpȂc5Թ /`%3UfR92-7A õl9dDJ`,NN 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/:* k$j࣡5?%(.ڒ6WVAB b ~( [Ka4b*m`8 .v&2  q,&=X5T!$5HjMJ8zyjb""zxFaaޥmz]wS!ۙf׻μwUDFqok"!:6hmѶmm}߶}o۶mu}>|mzgg}gWo_ݾ]lW._ݮu{]u.nV7溹nͻus\7unV7fuYݬnV7CfuYݬnV7ΨQUf A4ˢ0{(. " &D ." Pg|w|@/ӝ$_DYa糥uuˌQEs:o ν6&xDsȏ8zm,鸵/m^G}~o^nox)<ԇ-~za_vGCNBTwTn?Lm %mwG,}g_ʜ ~h\Y"Ӈn> [!'%hߏfcjk>Y$#Z7;X9m?"@7rJ14Y~=`^e{jyF[T͓YS5=>vjT3 ~c6Ng+1@ys 68QɱyyF\瑤<fS>ȏcA#-0ajմ7۟ \5nRg-&x2k&/׺93-AeMSk%+;;) ކ/ƁK)Q{H`u2L4Fǎ%N&IyAi ͕zM%2k|4u_@3!.Kd,r,Fy)+ ׼UN S7Y%rlah&ru \'FZ졅% >-+3fȥ52NAV p]d$U9y$ yH)afmmD7{d ^@'{sO.\&DM't /ZwBc\+hjhr<>Ĉ0DdDAlq4 j6 8YPq&7KӭqLwPJF.K^@ VZ^@*ūO/lf}s_@E@/; ^@b: w3LsA?3=_i.8j fuG5. _lZrN+Ld_@tŪmE h_b {=nCxP@֦֪}.$d;Rn#5XT;TNx!@6  :0rpt84?~@]̔z~L"ĨKg 0L}Mw&g(܇2ܧW,|&_̕'q` d3-s){)@ɇ0íg?q@F~(\ ;W"ۻY7>0>}(r@b"Sӷ)=(.@wg>Xȑg|^23[LR ۋq3>Sy$pɳݱ3+X Q >3 P#}Mcw=#[:{j1J_U<)ZËd曟^/@RenvDaqر ~1vIL֘pңet:9:N:M_ USwLye.r(sduk0& ~ݵwvP®*?/,<`0^/#3/3C58OBMK7@xan.PWOWմ9 9#3QRyNz.C6}e"rB;&y^p!tɦY&}(@(Xi/=Ai4Fq} 8=6kvG5Ks/H;Z(mίu:- ~]v" U]!{#Od 2+(n%鰽;½p._Q[m!xfr-D=\Mf63l,#*&Q18!q*vDٟu Y3k AlSe䏻F瑆C7(0P7V4N<9>]āp5m`sa Gp$z]0pu.&p7JX[ʄ Pi'.JjUuS"/9Z`4_aH:9$6M#9H;tox/;"Z3;sGu=s&zK3bh/иJyB< T\KrQ$R$ d%4B( \W|NɎ|qvLni[ b +VW8*qVBVs6 kDN?HN `"Vn,"vLxP\RHEEGב301ѩ.zk^H:+ϧf њ+l {t@q,ưӾpx-wh7G||JiZ4l>兢3mCG峔%1`[m9r^?@ %?:)$必_m4S?~0:ga92oBXR{.^Fe;Ž1JGFBǩ8op)Ba jcmP:Ş:uފ60 &vd=l,Wk&Ns]Se|K@{.Yf I˘1%.^%Z^Mb|4 )ד2<vX)7\3>N~J~P, ;QEqWd-6o6$v%GMTKnkIcg t~ʻ?!~u+I-:F[9ګdknt@Ix #fjtq=z4kkGMʦyd&τV6һٶ8&7Ոq?SYF :jVrĿZ/ٻH (OH:.Ud!o)~::^G )l\+W j]]m/҂1X黕A3[q jF(ZGѮhRb:IRs(ICZKX-bx}uI3G86N ey1g|lI~d!QzXp;27՚p>""ǰB^fJD}luDوQA /˫JFBE<3O2* :>`W5R%6 ':=Jb=g|Խٸ Bc0`L|e~E/>篱Ad} lIza 1/J%YJ)E wIØiSSMJ0@*f04{} JX^qFI9DwoY2 .*@ ¸.,O{ÝZč:IE|UVIg>:?WI%SEܥ&R,u!,}fdJ6rOٿG6j",X }^ka*,|'WiQ̀u'D+߳B>8,lRhd~e[F.˗TK?cLՌT/LGKךdWz (҃i\6&NN~:)s,8=˙Hţ+5O,4,ڇo2\ˢRUɹTJE D7\3%F6HO?zڵ$a`2<@H~Ptd&"7o|Mkk"`}mMﮰКBҙdvAź(J7=+]nDM~ + (\+YP/Rb ExhH#e!Qk,hNtaڡ]aU%.꼽%ɭHX'ݍ4\'c^6%NEɈ#WH-wY.7CD z[V"8&oı!$f|PjLcC'w!p8e󒕀fvbe0%P'3,FG|g͋,RҶyE෺&A2 ضD6U\gH\Nّ*#f_7l$aVy eǎf ;֨H>7mύ]hzuIt]sYuu_[WYp1]-9#MxN}ux`p:Яn8X(Tk:8w'H:97x6Tը8҈]L! fc{q Xf;^N!DȋT䗇wRg~Wx0 b1$:0aBe<ѻV^}(uҜ`)w3!F3 7A7x/k X@۹ɚ6Ccű#}r [Ie%GH\!}1*I\ZXO,#S Q8>#YhkL|;P"R1ݘL΢̽L2S4p3@ՊRs25Yb xZ3'%&WR4,Gk䎘S7;O[\ٝrTɚ:*Lt0FI;OJj]E[ [3W3ؾq3Frz޵rUDLnӾo$.7Ս- Ea_!. V-i-:L +噙].9+YƬ  Դ`[LlčI5(@1\^īֆaC+ݥ̾n}E x1bД)+>(5Øb!Xc%zi5Q]ls#$8Q{ ? 1!YٕIl، 7G Nq ~,wr;zeL2| ,a/%g{d${|':k@Rp85@i[.5W\t_u{Q^De$.bqY~رq:P#¥f>CMu1A@*ŜKip@%5N.5&EHC X Ztixg}TU}$4 \ ݄lٰzD.y>5;W%žx?X ǐ4ƎMƮfby}q 6qʇEӞDK*3іgmoXuJXUuRƵ)EEj9ZIqa$=CU\o uXuH#?q2:*b|xBw_x H ABB}3IJ3ꢲ3S )T* Jr`R.4:o~ojq!THOKuJ Ua3Z ^7VE<%5˥:Q+|i{W’^q' tRzĴæ (L׾VauHpHJ91˝#e!ݾC^&4-0S>MYSXP(I[Ły}>8l(FX ?CQv5 @?nl,phV'3ONԧK`T*^((T[uŇKWOVM!׌sUBKrp2)Ӯ]wbϜD'\V-3N5Oa*OI(M@5f劕U4 ~#H֦Z| U)d=̱R 'l= *Á}?jeZU.Ww%[(Li 6^1脲#߇eȮ(iJЍvE]50$˰ՠ^D;e"M?q|a#6{W<6HI/kسnvlN"vNgֱDrsy8 *ꂚ|Z @gҝ} +XINDҖOnoƎ=3iM ۯK)]%Kj<|>t^. +m0ztanXۇhҫu.XOZw*V~G"s(sg)' iqdN!\|Vu 3R)U7/+JJ/uQav,_p4jOe#嬤3Ҫt2*\7 _k`PrZ/ r\:7J1xsuv)QHfY !PjcxRBNRo|?CUM7t2x՘URICX.$.V\,x%Y! q\JY"㭐gb+N*f dY . %c !bK\*ccRT5F*5&j(\c[/%#M3 ^Kp|q 236ya %(ȨO %Co3S4qMQ? YJpg:V `FwTL%Q; # ΘFmfcUYnN[׸zFB6t-6q\(oV8̄DXs!-,dm H7u1:(`V`0-wU{ܷ nw /!ⴑY5/;c&aU-zO@rjg~-qT/. pH :!VkNKMa=Ђ7뵤da^i67ЉW"Y,67)TAr!KY؞R>OYJKfk[Dqw I#` l]\têm$|+ag"Z #2J`w'~D7Rs׾<> 05>nds Rq jA Tdn&@ N`9j<--q@c#·ʺp& $Mb^G.CN7n4[Xc(\,Dr6G1`PF]X1q*)z*(?D D5 %5&O>p9NIֲ>yŧm`rNyHS؀2;#lR3}<QgUD<:+i<]_#dp% "Έ H PvX9p8qx3hn7A :5<{"{l΀~_h()[X'Ù@V1=o싉n6XԒdkEfc$3FlR;5Y-.vTz̐ /X;LHE^nS\=7KMI4߮c*}L}ZI{31>=^PvuQ|@`9[`S K/7gao>5EPѳQDcŸ6ٺm 9fbftPʨ:ߓV#u,-EN"Tdx^}Q9~vC%rBGEzGf·d[`56HuMZ ZIb7LXE=rv}q C9kS[ZEM7=`1š3ugIaPF:byb+-1A~p!*/ڦνO0;ԅ j%HmD?%u/Mu*tQhj4RSBPapd EϦ?쎆*M!S{,]`pD7O_&MNTWz\]A$TVcoٍJFGPeMp,y789^L<NŮRV6VVŕ'!q#>"( '1 ;JU:UnRTB9k}w:7"as.oÁ|BV`t'sdȅJ-=}H{C{%vUR a^&;^B)a|3W5|=Ea)*ߎV"A<yb0&rZսSp496fQyNDǽ^ aI~%˽SqVJ|+#GĈn]r(=i<ǺhHJ SAs<3#S`>T:u z n֗U:i|dcѮ~? xZ|c2smkMdk"׽Z%gLJ%c:  t FnaU)=6=Q^]OUmC3ԀaBYiu'2d\K+wFMi=o@4ھ=ڵP$q AVc' yS)Hr](I8حM2*Zrg3øҥϜ&xO|:1z#yb)Lqz0e "f;Qt͈+DT_gXK6ƛ9&f>RyyaT41u/ACqK8O%Dṟ*B k8oRMNHÈx =1pC<&,LVL gDخM7bDL"m29iw7UpR-Od^ژb=u>dS`/l`kPФuʎuo "ouwWХ$c58_/Z?éT68=QY&|ʧj>7/l @oήiw;>l؋Ȧ(b; vD}-Irmb.]Pkڱzmhv1P~e-ȝ]l.Cwtl"+;ݧqjD˛=IN+\9#(=];uk5xV.zⱅ)m>CDmK4 {$O:#4eC+,(:DOXG*X)W)Q_lt=G2צOcȜJ. w[ /]lbO_{.۸]oh[ct6oE/^?RŲ.?om[T(؛S :RdEoȠqԘPТ_VrFd1U; Mw-0|\z~ц!e6noHjck 6c}ȑtB-j\:qM< y'-@j'bNvKG<U v$ lm ]iZkxmpg&|DLS-T0Su^ނ~%t IY1"ǩ14Dp_7B2XwK~H+ faׯG5aܼcX@;tYTw KT^AxDx(ts]S)B.ǘ%_ Ws69^=$7<)rREk#Ɲfx%oRj0i0L a%&+bwxKGz2+T͜1PzIC]n`<]԰vDr1[x?5,v}Š`KI,~(螬/i}=Q:E <( ds!2w̥Q-4!d7v%mqiB&?Mϣ^KVSe0X o*jNeab@<=a$hWsB?(0.E~P(FpG|oܺtPZ$C TtNI 莄U jz7A'Zւ.:*"irT/^LWdNy`2-+䄪 ~ 0v2w'K   ! 5O% R~aD$HF"UV躘lF fW &o#Q=x $,| b#(AF D(P"A!S6wA6[4gW>΂ 5Aʰy("#)#* ͷ_GcNwLtLLD䛖$&&zxݻHkafV9%yx/\$vH#>K}m~m8AѼ7A^bm8{kede~DlddBO76&}%Lt~f;GD?awUOdFwy0םVL5M@%@@1"W/ۻ]Ж9m]-љ{wyZ79ѵoVSD T[⋯˩u> ( F^_}[3O-O%[6?MƄ85s15KDضa@CG(& Pd )  B`R0(( #^u.Meq}.Zq9>p&dZ=! \ 5O' 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jEH" o]?#[fގLF ֒@s)$`| IB5ZN\v3)%"QFXjvg棍XFC&:  ʤH*oqѩ,( ni^C娏F"Eɏɋ߸7e<xNj4**S`meŇ!M[pa&~6R4'wJ_'hzL?P<Y 3ٚ7ϻ,Ôm";L/b*8_}_mQUTز t"Tm 1FQLøY)J'+*%R}% dY]H\jǍ$/(_k{'nZCfˤ H -ZySe7Bi;ΖbњNFy[-\"nc83,X .!ċBR[X=YQkSjԨ%#H uRZQh1W>Ul[ZN $oκ\2@&p=>d!cv}|bݙBSȨ()[ͩն5bֻjJqRMiH2j1 e@` ( A !B!@c1Df|.(5ԡe,WωɒB<$%xkIi?>봉u,ЕNYf PN&{.YݳCaGVӌ4h1l2F!1[ .r/DOxZB!&9ִp arNܦX$U_+ ex #tQ#T26S)G9i[dcܦ \cPV$3 5r**Ϋ'" ^fYL˸IpY #0ݴi͐56zXgzanל4ә 7}[T!m eY._Qz3%M;U#k4=Pvu@OK[(pcae/QAԞzd9q\vBw' *0D^>7- 6IElk<쭒Zx 0sޏ `x/)Ej0}rT~&Pk`*@aZsRTE%Fj!FYDa~(uV4?{xo;jم !Y"vk1ox֍2R)CZ<"ԗr@h#%ݦX<ű$|QPS ^)mHQd0 wG>l8-4Bv ~24eIc\T~"*6NjȽEV޳vYO(ErYZON 0(:B&:-؁#mK X'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