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_exportsz \~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \ 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+<&B5U@Pe)$IRn{KE5đ(D&UR7,IQ'&M$= yR y$H:βM&tALpE$FZޚ$Fz(7=nP`4O$ffH"-M"TT^GpZ;DQ|{=B/*@*"=S**8˂`z J, %DH(2A&K1DE=%47IuLKBCQDJ<y$U!DJpY%y֙Ɋg+De"i 3kT&lڮQu5[|5FfWT[\CDtDD|E[τƈwQeP(J40ؖ誇w8.0ߞَhcpD&]C{!9Y5/ ,vE!ڿcq0yM3q ]OTDgG)ǿ7wnC9y4ΣPӆ8,xfxL$JT`Da3u6 | !uEu Ƃ;ۍG/CX`, u; ؄<V{QԴK,i+ZdM}z,- bYƲ ͉xډhYw홙9=*1Zw.+ȘHAg 000~`"2)$!$Loh``"/Ke8d7c6`5[2Q.N,I+*'%! ?821-, % ! gOo!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{uJ5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5gA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesfF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   VV:5|.pT - UHOL-Nominal-Examples:threads=6elapsed=344.779cpu=1696.211gc=86.580(/,!*mh mHRh~W`h!0X(gio6Wc̴f4>D-K-bS -$bcR~p8LICʄ ʽ8b4"GQZc$ćȯV@!Fa7fRg1鐎=䪁 mlev2yN)B  rH$?3T~hpp7RǢ<$, BKkjA;O,,4<4$AP@9$s1s`P8 hB"uLWBvn^,ë!dc1,p% u4*#% G72WR5<$qz{D pMFG[@ 58DZ #"KV}{ȓ\H!Vx +8JL=D"Ԝfd CPb;9$ ԹH  b @Cud=\   nt.AN}b X8 ig,CDDEfj&Un:Vh!"1PD,P4!P $`'@(  D BAB D`!P`h@P  &0 p "<4(D,`H,( vtO!%e:RG2Ny& tGR%-̧C%3Py/OX%ݬD4R3S:i^g)vtF9'zpj)ؘk>LGgh>3QDբD)aY #؄lGvb5A5RӨZ59jyH>s3fJHw[}[I?iޥ ;!`Y޴y^:ᝬ;σ5;y9̬YLX<ky.4w?^EC͞:>4b; % ǩ}O?׹VzʥZEsT+ә蕕ji\/u-S}s姽tM2m e۶:+V,ڭ$[پ(J휴28>Ϥ;9W'QmX1*5D̮b-UѬɌT2zD$d՝& QmDDҍ5f͐7\D *1VI]xUHRIUgz xMy~3fkecb搫F&2TڵڸUj mͪf*JDZ&"Y^"tm޶} ZZ_.,AdwϞ) TÓ)ӷ dӊv($[O}.JCF˓T;c/>˙(>{۾III_AN(WvSY0Q[0F?!zd`Vv$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.thy['[%#7y2I,n0.Il}8 UZ%D}+ (xR jC|D a$'Π\Z(ɡ~KNo ;k~BG7YWy%' 1-%1`JM΄ƧԥnqgW+E"Z2C,?&f)$ ֏VlQj9,#1*sf$54[aKX[3U[?kYq1ȫ(|JOesJ+ŏs9"2Ū1}|Qz~*XsPե.4&hg xh0%A ssqznQN$UօS+WSWP|zqf[i{$PU>o?4:7uIZwtR.9GؔDoF޳sC(t O\`&.[b#Wȫ҄SzT=* wP/CKjT=AR)A"iF5 'z_CH.# +ۗ=]ހf뼊~k69PP?9^m( C k|>@x,SMAf$#wvxt0\h[ظ3V썝x?_eAe\} ]$c B.9D,b/}4a Ə,LHXK@0:Sͻ_b@˔VU)=b2pLa-2>PNEɓ6ciLGBO- N,,(wro a>_a ViC!iq)d̜.?0_hoץ2GJp~r:.'%DJU[[[NJ;-8Ԉ,ߵRȝŕk ]PX1+c򵢅U' r4egஇ$+Ӭgaw% sev5b嶤ɢ㌗{St#[̖Oc:ss/.,!&W7RS'3Fqf;s-6h9aBLDO6 | Aupi](A0CQ\MQ[J1.S!Mnr8_M :xsNWG e`jsr. }%gPr(%[X@-KU_# < d {}(-xmJb:,XqC0>ǹܸ-ɞTXbmIT uTgU>{ό4EOta<| ۈacaAnZoMx#q< g5U)m  g^15 s:[ "c1+apaa#`h2.s_=I|YО22c!Ofw! ` DlR,S_ hɬ^,un_DlOlH):5bMl=$G 5hFA@J^(Kcť4oJ v}}ůlc|J zKI >շ.(c!HO**,t"9^$>:j;M`U[iL^񴙿;! h'_X3\`ᘫ9=ij(u^Ri9d'㻕Vߍ=r1h  N|GN @O 7Gpha} 3c,SIdx Efnk≃ׄb;Zr@ZxIODe`'WĚaC/!+$g+-y0nMKx@h]eD{354V"{_j[Oy("SS T'r$>t{e7 S8Gpt^76\o>%X`~aX[$\0r⃹LGG9LGZ w^(W$͊Bm{7GӜ2K[-62JOB)<5oZ(^$RoY@AyP3Pa QQuwS޴_؎e?"~{u>:_<94H7:!8cC~GYgo9>"rB7~Ewž#Q"JA:} @'ēa9fz}_7YzB9vq:y IPOC+eČ1`wI<yj1uٕR 5WOt[$weoJvJHFk_ĥtUŌ.VZ͎"-)1`k);LiFrbؚnjZkMI̱)DfGԒ6RCUmÀRlKr5hr4seI_S΄JGh=Ee&vȪ4ƧhhwpFIu]'` L ?y( QRW $>]&ÏGN`$Z°(K+nnɷMP1ny^DYY/X}6gc^>{͋i%fj[CSWNoj4+oL];@ďk1@LU[![^5y8\bփt{JUb6t0uXdbŻI1W8cl XR J 9JCȰGܥPΠ3z62dF.oxմ!):`]{pzitqDM8RuRp pxH;28_$}H}.mS+*x Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa)sݒ XpZ~2 Sz.)?%XoYGe`d10YT?^띰[{aرo6U7Ohgm3,MG˸:#[|⌲CB٢@jIl0>&oikF|O|FiɨTN^l?y;N8`Hv=FБ#5䀾+Xze]۳q_;{7NI!1GH$L+@Ѷ/ͷ2n| wRXYa:ꇥIQ\F\z`Lc3@5pK$Ɛc0Xi yJ"AO=R}As5k֓H,8qY=LM:(ϱH nA,E>8x% 1V[.%Iy,jGCJ]oz|-5! +S9)&b].$CAPȊTȘ!Mgg,<(g2caY}B+i-v9>Zɨ XDcAͩ]뫳Rd,`dȮ%{̈>BZjYk 8D7:DNXTg&oQ] &j2bɤf1+q`I2mQ 6TCW1Ha'cHg@Bay@ 75H!s{Jhkv%NE"=[ImʣqC{^=--TXjS#Zyޅ$NRmD  )#olw mOaYifKd#yXĤȁ0,͠{.i,ؚ^z f(?˙J`DQΝZv B #[x8,юcv*sNo[YڰdF#uD`w1R%Dz#ʶWU J34Z:4̐KÏ D㡽$4JgE jD L}ʼnY*y&& l!ɄQMmx| Gwabe !\UNӝC}@|l>ާl dcXfbf0*6^I2eY6o-AIN%Xq^pPᛗ^oܲw+M릨[ 聛ziD?`# Ԗ A ݄u3̏ƻg} ] >~#$;Wk|:+E-Ed,DĚb`MiK^wo(/'# k՞28c)VBbW'[~3%śb1qpDv4) `=;eZ z;9j֥€:aR\m\'V8XfB V oH 34nAtc)a3i7%lB5?3\=M ]K[=\Svq(L)~GI}.uCb@5 kTQ@(iB>WcL+9``HMNPP$JHVہg׶\W Tǹ|zK0虮.aLa>}T`O;N=һ:uO%/!"ɬPt<nº@ ǩg11Zcw<8Mprd%* Ұ5Y4}mcƴw>Rcǝo!83 K.SG- ,-(@"1lMHWk▼@hJDhGv  ljpʾØe`L 9χV?n^\\4&ލQ&rGR) 2Ct`I NK3B)ՀũUɏB;@@1u$( G Bot%awom D YJ*2MI|fL=q7!Wf!/XU#f]" tȔZ1'RE8Ts45:ӆxt<%38(2aGW4){pӼ. ]Gn*;C~v"@ (epIn! ؕƤcYqcXעӓ"'ސr=*x5],VJtKr}8UK<p#/\}y} !Y#Nen'xŪ\jf`l18tB)?nhum}iƙ = bC_zՊsaޕw^eSҀ1Oc91T0BjN }A\:"n?  Np 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+<&B5U@Pe)$IRn{KE5đ(D&UR7,IQ'&M$= yR y$H:βM&tALpE$FZޚ$Fz(7=nP`4O$ffH"-M"TT^GpZ;DQ|{=B/*@*"=S**8˂`z J, %DH(2A&K1DE=%47IuLKBCQDJ<y$U!DJpY%y֙Ɋg+De"i 3kT&lڮQu5[|5FfWT[\CDtDD|E[τƈwQeP(J40ؖ誇w8.0ߞَhcpD&]C{!9Y5/ ,vE!ڿcq0yM3q ]OTDgG)ǿ7wnC9y4ΣPӆ8,xfxL$JT`Da3u6 | !uEu Ƃ;ۍG/CX`, u; ؄<V{QԴK,i+ZdM}z,- bYƲ ͉xډhYw홙9=*1Zw.+ȘHAg 000~`"2)$!$Loh``"/K)o\" 7\7ވ@;5? Xn̽弼j=;vUv)Ÿ߾Sʭ~&r1SETPFk`9  11F"DH" %#;Dyҏ #dl$cwͭ#p=(eEJ:`u.OMU)g#J0O>acgIΤ BRToNΥ4pa)ITZ˿-⻆׶WzYFc.ړHl)C>%H2;0mxTz$͐d@٬)aAذ$oۺƞ'Pe5K_ww~N|U+Im$g1Dh\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal S5K' "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1zb) x@[o o3 Ȥ IGX("rAU^@D \2aZE fZTkb /asLR\Ѹ)k'tҜ#3boQj7_5{S[0<&QyPԼjIvFC<%ǺjjROv 9B-9i. ָ61r3ia 5O)0'y bZx&,Rn+v4{-9ͭy1h@р4(eUT߫Uы$|Wj[.jŏ7ʕq-=TQqLjq?`X  JuoC!y 9νysVs?yڔ]zQuv+<ËsmniBfKw:'RLV3Ɛj&CQRpU*~&{ y)Jp/EfU&Kҫx)ŪRɌ| \9jwOoV5˜I?4O"%uEtt]ʝg~f}h,[Ks xbWf .MT/ElE'E޲ z*&W\yyco]}pyE5bժJq'M^6EoiFv2* +2P(q:w`o*Ul]8 @$ !! áN?D0EA`JHzuJ"4(*$ C0%0 (AEr  /ϒvXw6r# j,H%I9=½m yމJs1^Jtf78\Gi҆gk쒢Kt7@*0GZˇ$٘7C Ăzrh[VxHaaj `+!<"T =|gCs H!f˭}'XoW@Ŝx> {$U7=nbDZq6 m :W@<ϱ>4)iPZi ɶ*sU6& qyDRvV|V*-|N:ܧ(^,3T.놨{gnOOŃu+ؕl6—wk4tλB&`酑0ij=7}N 0n﫤90v}nxXz b 'Ji =3 3 6 Yqy7#ua~6cv#ޫu*o*,؛heS/YS[u Mկ.mm/Sk?$p UxހPSkA҉_ܧc$_0HSěJMv/ä"A yP *u e+9` 3Qo)- ՍīHdWW4d>i1dX%|Lo{4 o8x$dX̛ӄ)GRYahR][^:dwlYz֠r_Rd"'$-Oͪ$КYYP U]prm`X ^)@n@` ;(_eF.靜lb$oY;~ƆBIk^!a/sLeP0^hz,`- b6 J7yL=!BV#ˋ(q/2oh# 3DUs=mHPoh2DCpdQ8IKQۻ{Xcu`>]ln|o^A I 'Kz 2|oM9ëV:HuHR)K\dE3f]CB}@A'4mB4bv @ڧ  *-]Uɔ40򠗋3Ydܖ!u>SG/Yȉ. 0@d?&9Ŧ|MP?氷e8oZ\`ª#:+aβBc/2EO4r޲l[܎7)bN-sğh'< !)%HL^HiB$.41(Dbpp{N R9i?-vf+ \S9;Ub59. ; xHhm !Z"!l@iG wXAq@d=Dž{/SWrlWb98T#| ]>JձjVo8"`PMqCY@<(ޢyM0Ҽ5Bs|?_j+BK◤¬/h18svRǽ8i} 4ͶSy:M񖪡 a({>X1mYv"R4)% D3ggE$o1Ly\ `Э*4j3s]9XE[|$f! YWd UoĽٌ,eIhҴ8ϭsǗ;|k\x!mgNC0J;J+(~l[^A(P,?.mlئR)&fKuX>fw]kz(U%VՊk<;^ ";M`%223sZ?PDv> H6jP xE. }<*YbI?4!3\*HsZg^ؙPnS8%+]6A@>p$^-"7ѩC6 jmRTP \۫x̅#Znb=j}{SFNW\ * / hdgGEi14LJ&SFl[Ir'4_c#c#ĉ!B&GACmTjpv&(QiD[q`Squ4~fځbܵYl~l|v>ygh[v2~D}HmC 9ZC95/.%xnzIDϘ:`TOzeiklMȳwS8;Cvq9ҥв1l_ -n1A=),/yWAVhJfK[n )i`i>ϗ*EXM?jT PU2з: -a୐L2d[DDDDDDDDDDC9$ɑ$)#g<3әU$";MxګjMDxUlLrf۹Y~UmGDrvkș"RRR"""m`HA9ۃ> w?q. Nǒz&jgO E$ħss*|wޣy߁r55ɋA#;HW%ҵ+-TzR8E KƦ`!E+Q4ku/hDn-w7VsrK#-=5d^n2w Nvf+rB'Wk#V!1<Jr;_Bn4KU}9sHr$ rJ<I@HC\`nx!!/,pkHI7B^8b% UN#R0h1ruM]ެ̀O7r[)Znpcs~nB?{g r7 IsPϒݹ-hW\L{=r &KVƹ<ւEjMQ|ߐR6сͧY3{ oYvOtItUC1tva8CYfYALc6yu^Pb7 m&2x+zZ)>-2͊_a*Ofg4soxgx;⓴:9\p,^Vc Z;dHY9C!#RY3&lg5f^ؚWXvK:No p`?6~2e0NDމVGǿ@V1Ȭ}~Ɩ`- Id$H>:]2@GŽڧP;\V֐7 EOA֪3WF]w~8͙M/6C$㙰J vMs'Y$wڱX">0]y9Vm^A:xp g(}si?](݃ )MD3lձ΋%BZ %".Ν{{.n )%"ٿ`GOA2tM? S:mg&= bbdhĤd>[?FHJ _i/|ڼ0 FZN3jj;SE2& Tz9U|ek:5$)` $ )GzaQ+?" ˍdZ~%V'1Lo8`G}pt;;gF*tM$?d`ّx 1l+a!(rKLON܍=-38bt}IWDrG,+zq x#рphE`QAY<?vMEc+7mRd9UVke '80~bO w[q 1X@cQN]Q ƷH) 0!YߞJ!8h#,59x ['TlQ,sHXt֡ }\&\dYGIxr0TRGwdb>2}dn:C+l5ayKM ^r$B;X"` Goc?=ph(&opzʽq]$0)pq ;q.)?&{Ôk`)Ӗ<V*1-er;Ű7A(pNq7jӷt u4MD]9H:xnd*2mޘDP{b)6~m趣arn73۴j=M_n=]gn&׍eH$ 0=ee ɪڈ?&syR&֝X,VNap2Evd*٧3*!̇ZAʍgfke\|394o25ܨ/סt1. HF]Hr m4#|/za:"mAj-)P8;xJ#%wtHLPpM'G~NiQR*;XJ|ZdW7 ¸,7\ѻ[R~J&E#,*ŋF%#6"@n'DtPwBېx 5 ]gab#kZ2  t$6=P?ek*-{|xreTFɱFFx!_򴇓f-=iH4wPN2z'rCvC/}vj*sEFyW;ǪjP#=}k$SM{b "#y(z肕B̏$5LOEVס'}qn$yuJjo2[G[nlR^s@hgIȊ\C25?9c+mP#\H=kL~kqk ^m ٚ٠^kRk.,UiMsx5` pF|fCN 5r#քi^a]i իzng7Tk|VCD &|XvL6jfՄQjFkzO5a!D&yFPMPwȗ^lrfxmdmlaOǹMUKƀ d˵jxP3fD(;>4o]Ց#;V<&z}4 9+GWEhW^pTwLX>MՊ[|66G` ~q1c6+bCy_4锨lo``Nkljh{ eǂCO3~uoDo l4=YC4KEJ*5 MT14Ž0F-2!݋䣾ʸN|hG rmΕP^3'ݕy ~0b*: qġN bv'CܴN躔w%_6ݷ$M;>"*rC>YFRGDO/ > XO<"Q>& ټ 1mbXvz)6R䫆qHc"Cוa,'Um<-V5(F6-(sC5 jЍ~b6A3Gŷώ ?Hyo )m.y"۱(f7],痖qdݒ"3-]jH\pap.\ ׅk۶m۵km۶m۶-I$I$m۶m۶m$I$Y w毽6Icl毽&]3 JA ,Pp`3vIff9Dn:diSLm$Igx-Jvf1*]+K ϋ.90sq5V sK sϊq0fRjg-ݩA㪐LgAF&G#OC63q,VV ⵊHEj LK;S1yjLZҢ#Hx V!Q\Vg XЋK8bW$ 1ڌ;kWc{`{^@H '5b*q0)UAbՓ, J n"SSPhƀ8A8Yh?1Xw/}̣O?\QTٛ1* ?Z%Y~2l3It#͇13:vyb0|\[>m*W˽V/?]z+udYԈ7”P{0y+Tu;Ɏ Ɗq6nO- Hu1v ~5l oDJoҜh" zԃN2l;"7#TVF2`k~`Wӳn/Vɚ'hɸ%/8[2&ހ(#ŀUy/Ju{U:b7oVW6eGnܘGk7p~VUkmr(~ 2 tB` kCnM|3&숦CM)0C-t5%g%>v˪I3d76O4TCbkX=ۚuÙazCDa)C3E*"gܠ;gR-3^E>ͤAHZ=6,f7rQ|b,:p$1Ğd /iVO*UV [vk= %C~ۤm m+6%8HI,Q5\)G>̜ͥ)Kx5nRvu: * b=RJ_G3$.3.JWLx[AJ'EN/Bm*R-MZij"uӻRBjIsz}7% " |p [m:D3#DRЏ:"*T+M5 +OO ux Ԓi:ܡ8nj@Ւi#OA | vyq%Nz%\YtGI1KVFSɴdEZ:@Ӳd78uP4-МAwF `,s![_ QZaM *?X|YM5(Oo8,b%Sp@WcV$nWFİOЬ- *3+ .G]ZE"@NмGu޼mD H >r] [R/`;ncCnbeˢS%R/HPObHs -#č9@dEo;ā* QV ?n.ci$7e>{[ǃIHCgb^$ra^J~܅yWȞ|Zb4›8uAjg^CϿwqZ^u ;I۝ݞZ u5 fTMj&rlW}‰>WZـD-xbvj'wV[vj :>(K[+hl?X*ŲnȦUjG/0ruՖѝf-hA%fB' T Zl.[nj`{)*)W4 j6F >WZQ +_4ڨGmn@ȫozAO.A>*\:a oPѰjJ(:ү70U0JzR6= Tƽq%Fꫫip@ք2UPeZDk+Vم)XYj1ٖ (?ښoA5|6MuZhoY:D/Ӏ@cazix( ' J-5.8&l[nn] IGa!g Aﳒ r=lx'fq5fF"CE$W¡nUD Eʐc?`Q$j YKJQXeR3 L(IA[@[ nmVw6 PW+DSj_,FrMkacC"}ͩ7 -ȱ$p<1BC k|mS ; EM=`#IYqݔY@SwAOYOfX皼tN:Coik^MNq8 r" |{ 0аnG6W̼ӳgYUg!<\5Z?x@uAúnȺh(+WϺh]Wbp.[c?..- uu)]5%uI+`7D~va]-VZ{ܭe^6"-._fa ,CEnmy@W[`噶GjX>j*&۵RaeK\uRyvn,vdq~kECz]ha.^@ (s!qWT⪆ڃ I -N]nY>XR['4O ͗Gք=KnϨx-`@;eEDXPFۼ_I?}ׇ9״F%Tm]p2:2?|'&d7Ʈ "ʄ&BbF۫(k K^ux0 &ΪJT,k.u2^GyI SS*Vؿ":l|(bIRnKpB VJN)RnXͼ`Sxk4<#:? ƒׂߎTB;?m}JzC5e5lgmuPRwU2CUp[wq<l=UnU@5\4U0VA&GVAW1k f>*]Թ c TY{|fz$Ⲷ+ +*XAgV .e(E r Ef:Q?b ]´̭V@7y+l0|/_ Tժ-:/# X[ƘҒW|Hrb~ ]C_P.a^(ZTMohhd\zxY4YmC7m[ͳp]Dm ù2_\Ց$~y`HzDޞ t.F:c}[m-&=p&i[;X '.0Xʱ7.XZ`i49>5+Z!.0Y˖-r]Z+.Iaݥ-پ r^)`zVKLUK<ɖ@WNw9nys M Y4Ӗ^°ٴIq旞tY ]7]X{:r3.)_&U"x:u/nO(WwT ZSF"<˱L)G[#^/R .SUGeL6Ry`Pz?'l…ijbS=8P*){h0{Kl'A\Rxx|D?ܦJ8;`!Z@2W`OX &Q}5i[CX%n ߨ0(BKzypbՂiq5 4nd}k|`TA<[p r0>`@Y՜Y5Qo(>$S(rs`vFp1)uUS rQsN['fKvG J_nvDz 5ͬ5^͋dP&*s8ݜGCz˓<6S'װxޒ&vH,l#.pvQ2A,nD%ReY|Æxܑ`"US-@`(͜ouz XY>j;|_w68 G BObw_cA]գ1'RWhuRike,7nnKTIŷY-KGwKbmV T@nC*"#%lp`Tޚ~|m)1añCl)RPhT6HnjR!ڛNCJbi`NQ-/ e g4.;Yqgh{Css.T@rԶXKؐ&ɵA:aucXޒy&!gwfv{Gwfg-]̮j(?ݙU3}"wfK("6&,$WF#̮j L*KI2B3K EdrnW} f]ULN0pl' ̼Pw2snWJ{+ξ%/ު!o*Cv(DQy@:ͤP"9( F&UՒ#ޙU/ʒ"\vՉ2#n_lI,xxYSAm~w a N8Gq" &,hXar<8D)RLT"P*이R;Ӊt#R(nfWI ;3ۭX2c) "(P4FB1IGD?cA^U=жξ2T[m3;Ulf_UkW]۷xgfW=jfZ=~#lW%3}Un2ohx3e@h䢂<0" NX5TI n(< C硶J XHUz2+X+s^y@*VD%heqʢR6*HUgUךy{OzHD&.& PG AD{4, b=vd\sOY2P"s62l"qDsUXD*LD.st\wgfc{rY\H-];43 g.Vr--jEH,Z2$taEA5<.GytQ8ó$ X0J;E`F], غcD+%9“ o+h?Hd/bMEt,8}))Fen b<= R`3+,^! W ߇uסŶ:&GLY_El(Z+D'Þ,K5𧕒R+Zr2zj'+o i>|'_j!>wz d$H:Q12`T" 1޹E}>>&QyLO1 S&'wƊh*KS&-0 jc'ԭ'+):K;gjd6C'4zrs5.qԓaAlDyE:M$܈ 2ݶ!vMm=*ӎʵh}mVwC6#6舳Bfҭhp{ }^dhSH6G.^q-ul8\Y \AqjuF&/pIR|TD 0+?SxD:l-.hl&Vh+J/@m a~ Uh#U3fX{6pElLHmvft/y`fYxt*i,B0~q x";i~Mw7+rLz_ǽSgr2ʽAD2m8gtği:c3w5yvYk2Ygas+uԤ̑(μŏ O)TB 5CnhwePV݀ $Z뭼shM# `%D4Pg xk^@ !??"c,i(5F6t/Z`M3  9OFԲ cK'@7 jZJd+8^HNy-P#Y+G)]3‹WghG~'Pd*uCD[/p w>o*Mu@aO sa|Q;َ-6'Znpߜ>y4f$ʩ F?{䈨@S9Wj*#WbAocwy C`Gh Gb+lW*|)dM'5؀8\ F?@O w6Bw`c_\YLx^} 4Iy$ib덇 ?n@ܡ:5ڊMmwXq!aYYcC8 qj=D= fUwnKΉ>wLJ{&o L[$/rY =V6 AX Wa yW/MoI}&GȓM?'9#qqBG>*"jOnw-:!7P+ծiC;j&ֈ9!D;Itd2|N,M-ArʞGk]=#r'eBQ153sh8xh4wOydf~WJP2̀C4cHfr̾0_ds !u*,a FLi-^QyK59i1߾mգYs'tqmgƞOu2񃘰?tKwyO>`')@X G5r$d=n+G~:1K`2Yp:j3/!~rQZ޸-&> ȫLGC'@5!@ _ 7V\~ `h#@(Uٶ١g{rՙh@A\jw61i~_hȄLW| LrSwƇ%b@|#E<?G@W3{G;gɝ3͕FZYzx$2/[YCڭHp75Vh1* B8,a;I7fa~@Κ+`̄RɹCCq> 7T_W jqZbez֬Z&x%C vdO#w]#PxI, ~A5_KߡM;d$vq{,|neqNsd4 m-Pk*h9DkY` Pr"A\8o7AEt])yDguȴGf$"QM:gY^~L2:%Qʕ"Wph>%`E At$9d+w= >fK4#3>G{J"c dގX2{5{ѿO 5=58&|4Ɖ5ՍAt WTEv&^TcߥݓVsP%(;RTU/M f:lœ4֋,/PlTuj@V;'Af3Krpd$'P?DQ0R>+0?ҡb FN\8&t1뎒Ѕ{bpKW_ջZ6ܿWb*fF7O}o 97*}Gvm҉l|xp8cK|͙yKŔKj13Q̿jǾ3D,טfJf_ ^ZSRT@_{E9f41gSѺS@Mj ;`Ǽa`}M3HIA I|8Nx.;dZZNL9KSުC=`®Cn,D!oH{ 1ۿ lʡ۱XE&{V^&1-v%>UzqB`fQR*4R47oTX kFiJ]m?l"-i)eAZHނA"7/9Efm+W gn3 O #LZYˌMQZ3: !WBemۓMpھ笔@n|wTnW9 ;Pۈȑ֪+k8tT"SŞϓN)UNΙs.|Elԉ/Ign/}kR7@ qi* cEl*}|zRry4J c!9v)㥓T落Ʌᙷ " Qk'*X {WӥZD0<˚\;ۭU 9DA.6ϔ$C=EPKx1iHsNdĬޠ9r},)38mDZGNA%))e,6YnkMS֋ԙO)%zEHTą"gSw_955|}O6|k=nZ=yD}dc6hd?B+orľZJF"C!r¡q|Pj&X{`(h \SQx@٫!Sĕ΄_Mg Hl={탲aS}JXOv-œ c?$:L¦67':¾DiߩigU0TN/D0BR>?\CJR ƾ\ѝ1SU7;R1h B֢;Kr61o/A -V,! " RAdGs:Z7]=U #{7Qp!dڤY5-$ǤM>n bͽƤ_x1D3jM>x ̣I7b <{K2g/l;-V6x2Ѩc3ak|$&=-MI J6a8%p1ޯT: M:\k]z$bk5TQP콬 VSB=|8dyrYF6JMVu6]1KI'`/"/“<.If𮔞Ih%,X9p%= :IPf]ݸPDAoӒmtWPM6Vs^I9Υv=WJ:tt_ږ-nl0QIDid ^I"a3'L( ߍ=f,p=j,ՠeE"4Q..9-X7OF ;BSlA!`Zmy_&~d5y=xA&.ǨV> j" &?\k~%}lpY_P p 5K# ^HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/Tڃ*k&jxYdv{s01vUv2 BAcqH$MzlBHM푚#5ܤ <07(gY8;giA;e9 =:XHMլd\ B114oh #5==#%w#؜D5|1:+4ix,>;Ac#5@vT:Mz 2]UA$ h,hxPfQ$%I Zo^*$ipAhXx8)a RŲ0@8 "@!%H!9P,J@(HX$Pj Or! EBR H d@ HAhxGI f\NjoDgo,ܟmVʹ, cF^83a`a5{:I T&(&ABJ5njP$@ '9H I:H h-0@DJu1Cq+d :c $ȜA?`S0a/b990z3P4[pR0-0 :Ĭe9bw鳫ZQˆaIY'9OrrH^e2ք2wł0f,ͣ 8(9=R0] zI8R F.b brzIHܞ<4ͭlfllv6V5ED\TDD\E\D;;;ۻml̺YwUNʴL[U[[kkfeffff>cVfef]]\~6kk5YYsu5UU35445LNLMD;압̬Ɉz ʙwӌwQz}]VLDfee̻LDWzZWx?-,|&?_G<""mXVxwgwvgwwvwgwUB3f.,D仟yT5CAAh߿ͼwMכ]wҗ__K_믿Ǘ/Kҗ/}鯿^鯿}{c߿Y[[ը1mFA48Q{  &*$ *B .&¡ Na.l6ci==[597|i-h 9Wїk>o}bg`n:AUk_ ?F 3L/H_؄kcrVJ#bk Q\v8[+llyPw/+_JOc/%_sXýI)9&mՆhC 6׽Bً$v~$,N2whilS)5PC!m&t4~_-ods0m"*AfWMɔ9,az)b(,]0ŷmd:h퉉#:~<,PIkX+/gQ jy$}ZJ (*!oȱt#;":g~c{;xg0SA hNHnc"7L}f^̊`r?M=pxy7DEALyvSD~p1RXLZc"j6Y1YJ|fm43+=BsuY.mhХسBBxBncӍ˭ /(ڦO3^ldT}{א3} lbpm! 3rkvR0J1>펬@Y vP&y`5k.[A9o7Έs3}o6˝ gjMaʣA]5;{E[P@eoi;u]4r>ٹ fw {OsyT9{C ʾv m:- x;ei,Kb. ^> F}r} `v w~jϏ-b]~x hWNíIhJanf;u-mmAٳO3s -L-/yoH h@X ݑ3vH}/ * ;Hx`#/9o69 7v<yJj -~/:Z6RXS}].2 8G^C |nIJ8wtHs)avkmWr./TW@D)NX>I@<jt[97@0_*@ŽyIk  Pwƹz9@*o#OVg#I?tVI[?ϱ6?g?~wTG)ig>gRЁ{)q.)1|?ԟ9*OFFdYzyRg},/t!Ģ@?I[?eIʿ3ޏw? 1y L~n`9y'ꃖW?P?} 'egDʴ'~&&~jcy"o~g~AOH'}>n/aX{k +T5B5"i9oWb?HfB^}[y,xmɿ)8|4^n,D &Cˠy}(*EUri5Sy~+gJ%']n͏E3n~4Mݖw6)Wnw9$n1[նi[ˢZIS7ZY== e׽fB]3"["yllf9  Zk[!{ (s-d[#qвtp}5᥯N"g8CmID X?,RBv0h zMml,5aX]ɗFSG!q9uqbȩۣܞ@GGX(6'Ng~LK F K]t@GЭcJ :>+vkPUtм6k*6uFh-Šmpb#cg4VJ\GM0! kT^WryēMFr9m3Ż49zGp (# r8X k.jฯ4d9؇(rC6,.tI[Hؠ;P| i0i8~9|3Nl K@N=H`ً$;Fr,KWNx@W>&rc>[Kd. %LH/DqދOOR~x]%ٞhpf|OuN` I! 5O% Ʊ"b!z\,?gg2E X)$M&lgeE7DZhwn̷֨ɾI4Iݣ,/-I)>) T+E YÆwveZű& $PP@dôDgƑdάߛ %Z*B4 i1P2$0Y P"I@YIL i8iYyhNzuiIX$T$+,Z$(XVV~f;G^^IjsUUOdFyݝpU 4`5M@%@#"W/mm9m]QKwtݵNkNLƶF5[m&Sq)T>]/rc* "$0I:vwSSLU:dc=wGDW~]0 B,:Xe@CG,& PPk (  B`Bb0$ ( #x7ڂmZs] \t(gS:wt&zYQ E^r(]OgmEF; )"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5rpyv."UApvhSX>˻))TD П A1C&._ P8Lis ٷguIq?UZM>Թ /`%3UfR92-7A õl9dDJ`,N#PxM#ל@eC8ޚgi~SgY kXVzJtp:_$,ͫFHGWϣDCtN]1@Nz"r<@hvz,A KAֲr/s|CUDa[!"qVs+՘@_} <uZ.4뽬99q~Ia=nA"5*ZL_GPMֈ@7FM˧z+'y ^[8:GzINJu*| )~8]r1};2uwœ"9CXd7<ۧٓ\/Н2;*·xӹAvuQsΚP :bށk rg:A'We i/CCy70:dt춖1a26b,N!"='Aat솾Qh@2Ԉ㉕-@ l|+bY-”o(Um5f #׆LwK[xQc益@bfM>L6*Y?HTfޭbHvڷgf􂷛@wc"b-2Cf9o%\QΆPlizƃس)3Qfxȿ{Z7;rHqO$@°/lf@@CcrV>K6l&aixЧ!Po@"L?β |{ hsՄ32[xq]r8we93ք'ޓ[__?- L{iyY \SIm+S LO&I@rOK'b E{*^DKdE\䳖A>%jykbڑSM\m=Z 9uWrԩ4/60xa"6vDAl*ծg#D#-Չȧef9 rO]O")p FuJGI3DĢU|;`o#mzn%,  u *n"-wdsFN RR0>㻦 ]&vZgC=FbK؈,- ) ߛ }Lp`I0{6t8948 8`!Gji2$6 {"5:nىxDn]fźPx} jk6؇˳ǓMQj-eɞ/~U,鬡ୌW1\m 肅fC7U։Ԃ[EL)G+ވIt*~ʼ\*W6y&8,Q#/E8tm#5Mj2P)P6QU"c2+L7)q@LFe0.::nwf# j!AFL )nMCo>B@!% nΘb4߿sЀe?)&֙U74 G'uaF6VgYzy̴UV&h3X`j<x>Uꈰ}VwJY͌ zM]S';ba6Q*#f*ⲦMOHmc%V wcy;|җP? =:-45)DW##Rt*ZidNXl_Зۗ1fH*͋*%s_^:+3ҎƊ4/ t6D#Ombc<&1L’{hOeycDcw4 .jXSΨl!/! 6ƀ7TQ~+d*sF2=ŋI 5x7(J0c /p*9 SHn̯ŷ{XFw`1Q,KH`j4U-HFl9F8cXOıa[ +ؘ@.@Lc#ŞpGq6Q}-@r.Ē-m"U]ߎ@1q@+#e:Q,\&2 g3 \[ xk, rB儷RʓT lЃV/VqP?£b5d7P@煂=[ ~[zįɱ$E]wG蓈i yM #rpDC0a |t4xD9nDaM4JpKaptq501~pBnq֟K ;E:rq0cwASaHO_K\` ~HTΥǤ>-B>y2= tԚl-> s|+":2kcS6cz7;}{G: Kǝ<+ŹM⾜:ғdU7aExye4:H%T9u䊚rA evQx̱2߻C&_)x<(sC"bQ)0h|EY-[;yw90j̧>!mμ!rK*JkPZa2X@B]p.^ٓ`v_5?[X{X^$&*[$[ټ2B3: f\KqVNo\0_C 2Malj&CQ\ҷ4/ރSۭmG6*>FE$ #kheYX+vk4ݱ܄t:y]cj"{9#m0#JoH+^ Wb{ 23,i\əe+TUHOo@YX)`5 7W%Pjyt1`d zآ=~հ&JoTj{檠RU!2W+Kŋi*Э!pq~{sQϮ5H؉Jd=5XiQr3vwihH :y,R~3ҥL2n"@aFy83qsBhȅY37PrCђj!^8lP0- Lճti&R:.%TJCx̒Gp3(=Y5iE?uky?0݊Zk+|St؛Y3Z853FBrr 2,+E%yL3N({ 96f|8ND`~ Y VxEU@r axNzwh}㗮=d{j8#0:v:nH8_2Wh5x=u`J)a~:3.fVW%)w5Ecٞ OdaX?7[lA'!l-wa%YJz2qfJɘ(}{4.ާ9Nr-%qlhG!q(2nM&2o!s{%qPnq5VN~%Qؿ%gN{:@~{Y5ڭ)BT1(a64|,pmBEBϕ=kHov* M;l^:0}]Ud-<]@@cPM}] `A{XÑ^oai O/ѳQ6 z Vԯ7*3Ѝ[Y[@E, cZ:ca8:D%撅2NG(sY[>qf6j^tLS5MXujsth&aʷFKB1PC^W&IU("dž ?,0kdļYVx؞fiJWyT,E 6}hdNʝcEwPf"}לHi?$;0tHO\qyfhTIcbd#Zȡma)DLs־0Vj9wd Y$]0 Nb4cWDisDOJ!V.'1!a/8?nY `H!jÀr%XdjB1Cɾh KXL%9Xh91u`6= la)GHe,)r͸Lҝ\MLg06?TdUDy ߈FܲNv8NJQ3F낐z+%`l22lazjFC"ܠ^W[wsQOi$ L/Yw);n[d +J%LZHDHibuȨi.x+DF!,<t'wxlDkVE3&=!fowlgcT({ʝgGx?{>.;FʩzcT(ۭʎ蘹}w~Q0Kb!ͼywl۟z\ۺ}.UD iۮםۭM;|G;3sW~NDes B|x7Mx22 Ʉ\phÄSƚG93F;hIw#Xam] 0i#&0m1!bB+hЀGa0yҾa 3mf0WcCiE>k{ !BYQJ-#߷"ˆ"Xv|uӒTU\O 55yی7S3o0-w 32} m~f֧E|`SA 6aP KX=tZfs !HPS̈́po['{ kdx#T̶M x E6-Bb@0,dY_nwvi،Lli[r+Nخ-t}<TXg2 `ޔ^ 4 3GW*S\=-.x8Uf4=0Mje(EgGq-b1QL9ª(3bqn4 &ķ^Qib׷ !G7&y;=#ypZXs#LnSnpG ;sTgf")힬f᭴ΞUhH0g^r*bB;SRD ZVSUFw'U9'o:qTl>"yv"=#5jt$d">*Pi o@ǘRd(!jxYML9 HXgTM)K]LC.MM֝}Mq!6Ut Zs=u .xHY_RMrܭ:WV!SxZbS/f놺Mi/?tEV?m8DAG}8cSA /F֐n}WQ>7M/ݚ;K>bkK4O]PHѰy,)t%(aCyMz'$583ߑ{yb8ZxIɪN$63!n a}k|z\tɑY/gwJ%Fc4 GVC*&Hl&X&x]5"9_%jY9C`R}GiAOAO ~zr<[KҞ9xIUfcA=a '³,/fxF$*%V;bHYO kDt*@E充 RFe@N"O%)m~&\rd.{ptxN,&>hlh[UĦMپ]( "oVgH9+µɈ>>WmKzTҎKƥ]?{`UUdzH",s#FFl. pP?AR^h:ᢗ0QØԆJ=iPq*7(86 m *_f2\k0BW+͏߈?oUUfj)o4Q!p npO/5!IӍ=5 >=+T-7)Ppt*bеyl®[%+ 1xmOsǢ.\b+6^u=4WFQ{O+K`DߪP7ELiqpc7"Ft[e,gHxv4dXU-=Aa\qÁowhɔd:4( w9z?=-H%9}4*{pR}#Tz]{gCT:o]'$؁?_sF/Pa!b$KjJimP([f+K'U)ۘ/1[eySҡL>ph f}j=Qs#EA^G`6 p>eڮPmڧ GGk +6'oύ;}ܬWTw'? y7T "en(S=}5_:J*9:(>Լ!;HԢqƘ P/~1!4t,0l{{tz3D>[[uLyT4@b@ w{oVj-N"_VTdgbcie~R")>@?$ԱgҜ&;E0HQHJYzO醗{t0'E9??Z=rrmꟶz{i+. /7 oW .BbY5u kV!YJ0"$C7$m֢- lLW2kv"S4dF\ U @J(W{I5$TdYGoŗ[?&"Bt+^3a!߸r QrzWlOC*9rblrD >hNҢ,"Ka1M|ٍ,-['AVRjexښz;FXRTʕAC. bQg$*pH ^9b"y̪)Hpt #a1е$~&Ѫ5I ڸI FfMYY;&To`n۽'L[^aZRԄR䠼$DK1&&o-v뱀' xEUzM۩ aq4PhJӄ.ԝͨjE)q㬄BT8)DpQBPj˖S[0_ :+w gUo:pzԂe0jO}fúxkWC]^9WX89a`C=3]} ˬBqwJ z o 5O' VHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH" o]?#[fގLFF@s.֌ɷ$<܋ߴ-Nl>Sə ȗ7%(`4^j93:QP2>EN2)ŅA&Ҁ[\t'K1:>Ʈ[PHġh81yL0xFEej$>4oŇI|ًI:47J*NjM7'~L?P<i 3M'..:Ksor |'.s:_2bq\.OjM,C*l-޵ -4nJVnR>6٤%r֭7&qetN㕘rZwkkQ7VkYn7%ĎwDvn[1jˌ/7{k~,v~,X )0K[h=YQme3Zh%$[b_Щzo(7J'b~}meʛ7r$>l2@$loHC0>a#66l-?Z W8Qj}U0U:[BEH2j1 e@` ( a 1B!Hb!##D>.44 ܇w#8ou!{+vgKY:_YLrcXB0.9wWdAM;$m G1RozrB =b ]ICA uxTDx )ZN4փ(jG{9vcv-BL?# !лJ哅>nEv6 ǼU w7+[I^ g{ WQ5$CiγA([OR϶W`+:r 6ؕ.Ŷ$D@XV!+b p`x~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