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.)$ }wqke_YSMGA;5/)#  { u o i c ] 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B\@<Dñ[yьPlZt^}z{wi*5I)[@91_>8@J ud$!詘LjК3Q%ә(^G,afz+W2rdxt7q8\߫aX CKYIeP lf=]jZ\Jkӵ7)y h\Jk(Y(FLNLLLNLLԵ[ӓѓUUL^ڙ MHpfcXt,E@4ĢoH,fppX֛A@p8f~(\K,X,hS}wfW.&b6Cf̻cr.eof{f2Ƙʥ ۹:;%"z:Gl dRު-hK(`IT2W^߾y}}x(c6 ߼y&?8$^+y][n4 {fkf?.wsXC]I;;Mv\JBUqOq+U<[iryZݧ(=^CE M]I $EPī/5/|fd0XLJzQ+IRRP4h`yDq!i,P A AD 10A9l P9JC QBR5ѥ\O&&EyRE=t8s7r6o5j2`.],X+*'%!! J?821-, + $ gTo!Xs z T , /  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/factC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsB5C'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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    N NB5|6x [- UHOL-Nominal-Examples:threads=6elapsed=345.460cpu=1686.359gc=86.827(/4y${"(MB[meZwAxͮ筚ٛvʔ%\Y) 9-yĨfq3B>(@2~hhŻ:/B4Fu3R)IcB1ScQ%/qd| ʽdEZy.kVCWedg1*АQ# -``phid%yHi2qs4hv㽫c.!!4+mŃ! 9O]|  Cm9dJύId@E:P:Xc[8(  (>M,,(8.eSfuI!ՒSED.vqL\, $ PH 0,+D:W{) aMլtK$; y1 SG} V# XH,qqpXHphQ`MXr1#G4EĂb=(5DX$Hx£ D< WU 9#sm\D,yka!  @sF   r5^"EGT{WCB;2+ECDBH`0A! `ҥCDApц(@АPP hb(Aа($ H!&B!a#P<,X@A`"b!@Z`U3E锱=iYʠSWґ ]U\$2zҎT!KmDVt-ݢҐD*!+ycODzG\q\$g 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyTR:nϋ ~=5[>?3.)&m].[ܜQޅ063a8QgP4#QO+(-̣ &8d76d ҭ -6U%Sƶel^A0.:A?I /vG1]B$XADlM/RG-ɼ_O $7*/5o҇.Nĕ岨 2eafLTnΩHLP1hi u7:΋l0 ytsP.v׿HO(d_=E^>("_TU(Xsw|kI_v$CX \*$K`8&@O'7^p\ݣ]ͦǂ\te cM1p:Ld/ `2%-DX_-; v~ivǭ;Ţي\;[QG90r4 'OiBbNl08f d)'+V #%nt|A}6]$e1su$9>9.*U*ՙPvGZ< FyKpkX \6" gPXCNC"³~zbR$,u5ng.G'E[eY N#g-Z或n;aan%K]ۥ0aY/RM"&tqі)o=Ecs&,j^qD0ys͌n|<ﵳB݅E(_I]thY' ִ'$jAL@' ?`S={Q(SPlV \ѷ 4hRXHf@ľeH|>!nJu%оsԆZ]QֽAM-%g߈/K<}"۵͔rC(>@?q9&(=oc^d R"{ J#KBq\sC:Xﰶw!TPpv>`+~BSO!'e-"j կ]&. R2 Qj݆U;@/Wd ;n;uH|gy^yuz*Fr33;\gvH:i]hydLՃ d~-OIC8@8r/qSaySc/P#E?uC4WB ]Bav+Fn_X8c&/!AD 1FK,S_=d, `5HS]k NAc.V&t_2,@X:ْu aiwMY8ۓZM$ ¤EuU'P3rM>yYb`8pXq$0`Q eos!}@㱌%zVLvt"&6[-=d8Jj0MfoxYG`šy,sA3<tvgeO8ΣZd!$wzf˙\SC7je< N?"0-@`@/2=s}VHFx  pWQ ^6xzR5Co!]˕;+#%SȏL ~= ;r=WA+*_L ǃr,>낊dpv$@bZ"6AO` YBEn^đ=8B4r5]Dtw2xb=!׈2Aß!"Pԇ߆?<% OfG7_5@ ʢ= MRcpXl5Y?X9A80NhcIБBs˼V$6Yjz)xF ,O8C`B8|c'75RM#oPi p:@|F3FX{(cZwʹ[i?Kp y XU 6jdx0D?.?F0?'"!+0?Da1;J~z.Z$^p,#K: 9 P7ynJ8aX)v<03ܽ㰇=×9i͟\#Ε?-13I TO!T+`q \N&qrCok,~nyb#@]u*B}׼ W].)1~uªxpn>y5mJ$Byg8}VτvH X hneZ\qkS̍4zx ܁f -CxWJ8{ IO؋OJĝ .RjU0NksFi@Z{9)SIL͑oboGÿqip2|.S jwhzwY1r6Ie48ܡ[K8g'enCF3qJ4YK#$'~ӬzC%tV:DDxŸ_s:%,Œ\Fj1`RRs`n_KvPq.8$p;Ӿ! xǞGPbQ=lEe_1f,HJ]i&W 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ΪaFۛ Cs9Lrc 2q+d?r<1ԁvO:Y=`u1ˋeqy}oqrrrۉ̪ȊPjBLAӤ JڞNhYT Kv}jIZ/2hv=ZJ; zZ$Q8䕌G ٨iT*,/31] [ggZ`v.ܐ$pxp@Hs {˰ЁDZ3]37 :k3@YKkѪȞ^"{Վdo  Fs(|@ik>%ʣahqJB:+㤯@> tGߤĔi9 ?)B?Yq1ZmH!p~*֍Tۑxt$iJ;Q#)BCOJ^1\~ ,aԤ5̢A'yqĬD(K ~{b<:ϵ؊'$4-͈i+y^+!lL)RG8 65lTH+@L9|U`N:NCMΒFRcE.%jk'xSP\e5^:C*[ɕej"&]HfZh&]_E35dCf"C I |Hc=5Vtl8GUZ>70t߳,NmEӄz*r z]☿Z2xT!Kr]IoV`*:&h}i-6| ÕA~V/e \Eb!禴bX9k-yA7{aQ+"aro뭭Fd"bb|MhBB%E"owfQ%:\ˣ׵ohPt(M﯃Uzo?¢-pF24_|16Tq.x1c0|A]B6 'p>nݏtE9wvßkѦ󋶮EqA0)=㗁kWuiv8Rt?^9)p?Kbvb+dFguFpߧ!`@׫x; ^"0O8h`_h `C?*?ܘ40~C@ȠMm dZ(d|}olw =r:%Z`pP@,Q00 r~cN 4{2]Gz@qdfWbF\xH ]-`;5nVxV$!@k7~cK:%C;YMPJjn74Y0b\B u^sKƾSYɹ{p3,jΗ!+jeʁǤ?J0F?DHmsޚ"bԺIpNl‹Ym7'"Ŀ0Ha2Lf^6Y*@z0?=د#wuL,"؋e  wGf)aqH%6 as끌utᬷ>Lė/ʌ8tA.]"g+Y0TewԤabssȣ4:s䘟=cN Kf,uh":m$,qvD$0L N˰ Pѱ &×Pnhkth4g +_Û6Mܐ(Q`qG@|PM)''L>Ӷ^ d=ka#fx>k,7F^bSyB=`Z^"Hnwh%U>N5? =Kd!8GDD4uݸ]Fke!ajwi<X<򁌽1qYDl$|6܁a;]pe9:TȒ,+pGC9H&k"D&d>[ca#m{鄚~GK aYIdH0@H6p>٨⭤_g]\lhI Q]'$a˦uc*OYupGJ*H^< }*~+׃_dD뱝Jh@7QCX뛪%Kw֧ǡbyr"X|#yO8; I?4p,XdS% պX3G) L 3[ڴXS{Hj\]8T@K`A\⍘X^d ;82D ^g,H<.de>0.Y{2-kD:Wq HLƗVf9Hix.ŝ&<8l0A{$36` = 1 ye擤'+#]_#D?uf8p~F ]A҅Z{St$F}mLa㞃I'_ R); M|YqY  Nz 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B\@<Dñ[yьPlZt^}z{wi*5I)[@91_>8@J ud$!詘LjК3Q%ә(^G,afz+W2rdxt7q8\߫aX CKYIeP lf=]jZ\Jkӵ7)y h\Jk(Y(FLNLLLNLLԵ[ӓѓUUL^ڙ MHpfcXt,E@4ĢoH,fppX֛A@p8f~(\K,X,hS}wfW.&b6Cf̻cr.eof{f2Ƙʥ ۹:;%"z:Gl dRު-hK(`IT2W^߾y}}x(c6 ߼y&?8$^+y][n4 {fkf?.wsXC]I;;Mv\JBUqOq+U<[iryZݧ(=^CE M]I $EPī/5/|fd0XLJzQ+IRRP4h`yDq!i,P A AD 10A9l P9JC QBR5ѥ\O&&EyRE=m,q\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal (5K' LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1b( x@[o 3 !Pc9Ǡ]U<14Ek?;h&EVj; Ҡ+kcRV4ǵ^_[:a2N~Ke\7j&ohFkRR EkјD+yJ5-5'saNLsҮ4_:Yak#7aHhHp<DC 3][ʾAyG*e 9\̫͚1~K-L|IgD$YUKQ\ŕ+⸫ueWb _sR@W~㰊KZM"! yKyʏbD}宜dDc=( KVܫEf}+b+:)v]_B|*&وM؛}wY-jsm )UqNٞ6EivARO $( q߮U/p4 4,C.3, xPFFv8!"b!0T7օ0EA`Lz|L"0(, $0 8 (Bp~3BM&CΒ語쎦_YQ XZ֔N ~YEbP쳖STVV9  QI-J=…?TD$(|S;fr\ nyu6S e'`Q=\BkaT:zv=vr~}jP7Z:Q ⩧?嚷g>}?va'v bq5hO2;aS f 0U3bʍ9v{#w%AWۀ40 ^Xpz?שh4ub ǥe`p=s4;>=a|[E} G8y eqV:٤tOpn9)[0)v|b268&aZgI9!\{̘03Ip]2<{mD6ܾXݏ3/Fd}v8]{*ƠP8|ߌ*اV^۹lQ\q̭L/ɦ׏%(t@u`7EhfjvlqcB#&Jݷq PFu*6n{q|Kq!BVyk̥>ř[=ja1RŢU8-qe*ċ i Zm!B9&E-Ɏ@.qLh g ܊:Yu xg~MH2l[h4Zʸ7PF'0xc'?n i=;),cZ^Zz\VI;f9]7S/XX+n\D,\1%rZǂ4tX#K|@zwgtRƵrkQƬX~8 9"Z'ugӍJfFO(ăBchٖo*߁ ij< T7ȁyDހ4A?vC ~$pEp$;qm|zK 0thvb*K}51/]rف| Qq) VwI.CzwME @ުbPɨT[`W(nX%[`qH<>|ǵ] -(`?lj4^!ɄjިY/)J J 5;I YtcR :M+.鳞cW5h\64 x`!X|3ջqp]LOJc4!:˂38(@߯R #șk[^{iIzdžX2*s5TNm5Q&b FG ݄젌}5<5]}1.*Jȸ.ހLK 2Pb8*oiؓDJf7Ҵ㖻,Ql%ǔ Kr,͏ݣw#ڡ%2_8hg_ۗ#PTFdm@<ʏeBsg|.@c)]p$ H()?E] WZ#rbJc 6gc _U0&89kSW2ײxn\G|ƗKgi 2&X01"C"@"^?_Zˮee*ᅵFiNZzh kLxqT/&(zƛH(x M2%;4_ʞ&+#o;h_!77vK<j̫mo%c97[+ EIJ^9 n2 v5I.þ4 5OF]z{@3]cXkNi9 㶊_Vqb˔=" =EeoG a ƒStY9v/7;L 潗 LաW5v w뵑VbOgܭs&rLJt(Xݤ7,Ǹ)_& (s#Q/&axPE;`KXnm5t Zƞ YXQ9:'nMM ֓R?"Q *`4;Ήi Ϣ&9>9! 3ؐ3D7/r=1g]_Bv$xe4 ,% i݊unm 87P!dna=7/-h0twW^ d8AUF7An,"f_mCbwuOY9\j7t8T:.BU%nA:zDl@n~ZWs:zƕD1!Ү˔@Ld5z $iI!jN@%19gHģi4"N EdB3 hɞD')qCfȕh& 8?}F\kKJ/te>ja=]3NHM"=ʼn@uE [ T;R%v\ӡdc:[S1FzX_1zKEuJd6 rK6! \s)c["bq~BNz*d-l}ĄKu񶐪Э$:O7[@1-rM{KIz[</;ߊρ,ᷘ=əG}{F'gxsMd0t: YEaH@={1 }=8N C`ovlY #(0܊91a2)~T1^ o9[ #4t1߅KvCD |:M = q7\`0Wޗ#L@AU'!G oy jk~ރF9}ΦdZןHrϡyOw.{LrRQXa!Fp3o6c"88"O/L$gy_ow ~YPª@~[6!(羅Ws+ ܮV!3~EDTۆe0yד7,H D>4\K7Lmd #btiHw87t-UV->75l{7olẒmrw= p'ayP!rw>uq>*~NDe!.2Gaq!+X(,~;F"x;!Z0 [ht iv%97~bc">y)8hKf1#R'FʃI+%1`a' z7%'=ciD)? iF(=2EϨD9H)H( Fx39hpO` ˩1KpaL=4dԹ[$)KOěY؊ tnZ!'`)%a45&AwDm'5+Fw/34 |Agɻ86 ҸQ xL7jϬLCI"1>7e_ji*o0㌍eg3/y-E2O y2 ~oTlˢ}h`F)-7`Ťtgg;\,|l'G4L)M<݈ska#^{(]#> ָ٭f{LY.LSnUfgRv(^xopCK,jd?d:tx FG~xiTw ´RcskErXҕvRl~ ֫ B?;gpn51jȮծ17^`11^Kltzp/ m3l%>>Nkz$|{gZ"Z WJȮjvtnI2dz*jsݐ Oc:<>0^|D8#)m9z`Pk˺cd_@j }Ri~Ӣd;atvwt2\C,fNLڹl"H JŲ8}mʂ[^y#7jAd?5&D@bCqГc b1@#}}^3th#`INK7![#(kf"VM,'4[Km/keGO5آ3d5[ /%gήEeb/@P$՗4}0|Шqk&@J8:v8* 8Gq(/*Q">uqq%E $g 0}l,sWL|A=!gyJr 2j>Vn: nJL'ïvOUk HҲyOI8 -i$luk)R݆[<"!w o)mڽhD@w`4?U8ftkP^JKd9!5Ut;#_,̝@Av fP -D]i;ƶS,ȳM"9(i/yA@'A·J1NX964z<ØDq1ˌQu'Q:2Qmc+t5.# ~蹥dUoa %`LlRkGA iME6W̛ Nq6PblSSsׯJw7_r:pb'_ @p[Jz[ewj< m"8Q P6n b!Sv,wSCF+Pf bĈ8Dcp51j2%aFYD X,L{QN1R`5J5>IWsXOPѻ,N)w,FFQ3Me0.,Ә#X_]Q~O^L?+{)/ѭv ev?MC{J:Ul .]-Upu%G-Zpo/$=X@;KCZb¶3 3  kWI);P`\~Mݬj8fKj ~DϺҏ~65h?qt4|b+wl&wĶ9n̹:wvaz-!^#]q=_@# #O;|TNv>:4鸼ʺ3;os[ڸ46OEtQvSJNR SrE;]ًs),5 \E~l-~1C_-[jcp'gCFzp]V'mwO"7g?:l90۳Fݻ?1=`i|C"J#=B~}`'i7nmk)C٘$jETj_ڭKT  #v}A2Ds-e`0ϸ$ T!$B@z2f2g@y੦0r{ּ2 9($D݌f)ztd@ύ(wALDž lD1z57^hg+ B4 BY`5paqM =eTܮՒ{불i&HfD9!F?\륑{@l>ge4pY]ݢvq7Cz&x?CnbJQwƫޏ{}GC dWZ3-(r`i >Y d~gͷQ(HVdfX?VS/`;˜ ;̌5gcG[i6r>|[=*3{,!P{ Eз 1h{OΒǣU7Z܅*YX6A2F?z˕u\Bn2PP]A4#{(p٠Mwi~*s1[TG R`l34}{a2Dwy3IɅ/o7eL#5hP zf"L`OGp +t\-Hg*TlGk8rvdmm5=CbPGK;E~Tҽ>]z;LTWnk0"M=zW-ƽq<"Һ7$^t;.ߑ!ŝLI-||A% zF^nhDO 9월hqL2d0! "oHtv aH(AA&(I1?,U ,H Y JmB淫Z"rfpP,$(ȢCUoș Łw`PIcWD'ifZ(@ nڬZKd3 :{۶m۶m۶mHl]))]ՖVn]e"6Y5YE"6Y,BHEHDHDHfkH,R$93$I$IVn_UkLv[U-׮Ddg/UԚ܌W2j+7yXoUmmm۶]UUUUjmm۶Z"""*)E$I'Og<xfffm۶mmWՎ ^Uk3c- $XP@@!AA!]Dg&U\h -I>#$=33 x޶͛TUKD*mWmvUUU+D%_D䌷Zx}ɓ'I$Irf\3㚡lZrdƨ4]M@cq "&62">&  *( MNklپi#iD^zD؀^zsisХ5pe[y0&Mښic 5SB}\P6g%ص|ƩrF ̞ ։lLX54^AzZH ae"?d%()9r}e/&%Ll@"va{}S(a?K뷦s=\6`"ekΔ3ς_\P l>Y!BUkYTzCFCBXt cٱ&> W[+LpV#H88`mom`;F=f̟+#@b۟<kka(jR3ltL]~0 <H}-n)ἢ8>kKoLڃ0yؽm~I#tR_ͷ-3=ׯ!UT@K :;ӗGpzvtzIn9BS!Gw^eƨރVX> .n7.U(5{ `ER{X(듌Aot􊕋{Z_g՞kD? OSJF=Jװw!Cp` @,Ƞ"uYTҮct+<e{5X22QuFJ5^hN#x\(tpvqv[$PRsR)uPsв$xVyYnWu4rMS!+*W&z{A bE*?9ݣ+׭P^а{9,j/Z_f9- xYђ/5Ŭs+DmGTN10ꎛm]ϪY gNԱ \{M 472ikq9ݒlkYrmi}S<զZm*Fc»f@mkbDZd$if!$֖ ܽTNCfnP#|7JR6CNtpNmO-VuWwe*@qλp-Xڅ!@ߺ.E9x󪺪(BT52X#bkZām Oٛ)[E@#Vnb=n &Gϭ|W_KFj馾r%rumkHSF^dz] -!Vcfբ2|7+7* kG(Y4 sM*XزKLR%MVsv+@ec*MHz~o]TY]F9ГJVvU&QX;#չ<#*?Oٚ8*XHŹզ\hΫNJlʧ*ފ!*)^|N6>P/|LUeZPR]`B#%V3pbbW עz͠oP^Q;$z ٣⬨!cƲ;b?,2f%IiT6*MS{ V5'l[KY(Bȴ,`k'Rg-'OUӡWU%BI EUP{Z|-my(P4u"peH˪=j`A;U۫kS0#J IhK1ƱRSol$%gHM9ȓkR),z?-_?m:Ψ tJ 3'po y{걾L{lJ!Y eSmùS'UaG h Zch`aLĊK|0QɆUqN\]5+ŋ#µ wbyuU;W:B";gsn uغKݺuGf›:;Z]׍m="Y^^wSuM}]Qovݺc_#+ѿÊZw%:RҎ_R)يRŠ^)ȊRЊl:ڲ+Ú;*W2<+޺8|,nK[ "Tn ramj.wsrq8,kZ/MrMÁިTHәT[*FJLJ-RcN*TEz6R7kQoImor1Mĩ(6c|-6ojWۛ6e±^Sdly`8 FX~l N^_3%,^GnrU0F҄`_NLyQ{LuөP2ť!zGMl[,و kMYMN)RjzQ>c(d5[#FmB& ) L\#rۯμW)RnRx|pm2H&(3x~]4nٴ*||V2=Tߨҝ}6 A(̷ 7(ź V~h+hSpo0hw{M7Y `E:WhW,Z諗-Yp%PB0{I\`=˱&]6U ; ׀>P1:i;)r.e&RAp {͓%gBvi l1l!5{HX6NPbucOҽ]FLl3Iu%SXeT; dBX +. mt=H'k2U'PG_ eFzFAJYΩ=jҞٯK2nŪ*5AiYVV!sk LSzRLLa#+MG~gaEtN[gel-hWoƥU:wiSY{/DV0 cs=:rk"X>-9D*^Ciָ%/R.y%,j(WhPSX<,;+RYȺߋ|'_|+ +Wő=IWn+Sw^ٺ^vu~\_QmQl,=.'g.-ikLVtQA{"ZS],ռlIeji9ꝶ\OX}aɇ4;%k#c+G4Mp҆;b=,zY0bIYQ{xw*)`Fs=Tr5kh‡/L|`rIT`~/cLjfceHIb_HE`:>YhM8*WdrmLDT] P )XWGt4 r=q#}QY` aYca%^#>=^$&T4ذ+{JCLs,av8b:tޗ|/,]KZV*+%hh*ɽ^_`56kg]R_?0-z@H1 >ȿ9",e*ld~F->5b;lOF%K$lpp1YEPmQAO!=!óUZ6BBՅD#;5`,jImXD[ NJL|-a}KJBd6]`(#51G90or &xDX{$!= nI#z9(3 Zo=d hyATŠȻ́dy *^ ru|a۾ё'4K*P 7u7%Jb,%6,*&ޯZ,,9a0FD˅o0F4 E|.reVwΕy!N|Aa#6y:DhB̮xγ#],ՀE V<'֨"WIk;YvK~ɰ>?(7woN? ;8qi㝛dtW8‹8"%pYsC ȧ)*Syr{$$g!ӛQ˧g9Vܮaў3J/f'< xv<\,}֚OX`c*3ŭ|O PwaF;Ө'DO@*t Nf& fj/1=sH%xx{jYD&҂q1mI3rHhgrfn;C @;820jYM |׍䤿z*:Nݗ?|;n.*m9ĦaN}y`G,s)m(LZ$j3IBChT JvQx뢂JYRx Nj ]c<5:_1 TAEC~=el=[ Ae9*%2hT<7[ɂa4"*SI*" NXCa'uM+oĻٮw.dK#ޙULu̅-j1D0D1'X8YC5595E Nf')KYZp҂3O,-X,-维k8TX\,X*-"Kl)M'Ja3IiIo'z9PL8*&]ŒMJʳ[^,k/Ułx;3 S00< ä >|dTTPX<, ($$ ( A@DJ Q0(AYC $}WPp stHUTI5,E˨ámq/SJ% A [S1N@?m`q,25O,O_\= 0wo . 8tL;۠j~f4<2W%$OҮ%eI3,v͝zW~E'k4ǍGst@gJPU{'A)gTMByHtG!C<YT#zWD_Ib,1#@/k>14m,[ڑcZ9Fk`0y8B AҁDn%-TEEC3zǟ-JIe&o 'H{>]XOAQ dM>6ՖcƆ~?,5Z,6- sud)tWxGa⥕VB8P=O[mS`Y wFl%Yn5Z1[}XwA+kx@W1U0e4jA[2 HLz&fżX6፟Iю3Ε.s}&)4z=OXÔ7$=%ՋcK%})ɭQNi% $xV4ʁ_Hk8Z {jKX/Ax?~;g/k>SK :N}rr/Ԋ%32M$Nn4KyU^X!Tú/QQ8cx)/"'j~.: ҶHmaTe(T3t3l# Ggh7h~jp܍RC3t))|=d93YADJ8_A}>rj/| &]H" iB { xhf$(ng6'-+\+*;dDzbI;KRD `<;e%jt>֔cfiK tr-;/qbcXIK?q&9`l:^;O8`S,r TSGfrnMS~Eѥ(RcXc1>Y]rF\A[q\]W֠@z xu#9}Y6oO"V~`[O2 OyXx|y9k" 1OMfGv^Ӈ& ;) Z=?­BD;dC0=!5^zKΓghv}f/0D255$ w"pUQOkIl'6LLs ۣR_%滄ӝXlS`$O *C6|=9'qѠqJGvS48NӕΛHl<iDmcf`jʏ.ؓA%T>VVa'}at"ɻ s/Y뀙$i%(j%r?.\m(xΜa%){\8>:Wp3ܰUگs Lvec3-a4HՎ.Fp{wS H-h1fIJ^'F L{(zKq̜A>n#I^@_=X tꍵ+͕/rab򒀷F}r-Sʷ[ L# ^P)~cߓ!-Tj7u=Wu%clFN_ٙn'R:@ۛTYP'2^cvf.񎚙;7L#T?͒LDB݉cLiTVSI+G3T2 ~:k[Ļ22E<)=U-|jsnI 4+bWD;5wss>&a_{!=L52OF|?8^D)xKh yVD4Ne#Edǧ2s]pĤAU.=Ժ[8Y ^߫3j0(/MjeByNn-TI!,fO { nn^E>XaOwhkO=_}{L;*+k_C0*Cp/xF^C_C=٩`bA&C~''li wznh חZH{U4m_60!mn+0jL$j玢M5#ON/rAW~cپ%wJŒ&{7 Evהc递ik55?LfS{r~X@ 'Τ` B?+DZsN4wcvXq_+7 ɩy 5aGKy߫Y /oAW&=nUwq֧xr^l6cX&5/ↇ(ERjp/aڜ@\R)+I# *QIHیVXɋ9-yḃg6_Dz){Um.fsU͎ޠt )H?64q& kbP^]+1٠\;c2D2+Uha h+)$_DZDm'ot1AZ'2+$-`* Serш-܃A\s]Lڑ. |.E'KXUg&Uf#Eڭ;|bk2vi-lgÃ%(Ɣ GZ*RufUhi8yc~+C s9+oT' ڤj`3M8[qp!viE1& ,~j҅%Fx}.zZi,0aǟ$e)-x{4P:anaQd/3wS-r3Mb6? } h@8`AD).hiZyrC_)ZL()Vq,xSlL ;C_? #!bZE:+;]̆ O >?!I'3 GxNa ]Ǘ9NRh܍A9ŸT{,5qGqDϒC34#H •t~dkJ2&/l/t9issr4Ɛ?w*&%{Co|Ivl8,} oU&vh['ZAw?q#]HdaORmC-WAC:Q ~^̑]AI:;%ςi]~~1'U_ P*P["{q…l rT[2Z* Ӡ\kX?MXX<%sR:aO,ﺏE*{]$j]p[mNGML1iu:V:2aҍ$履p[ZUlG]rqĐ[ ;Iw7^[%ݕlT \UNvw%mˏJ@4(h31ɏDΤ=/Is! -#^kMwzDۏ4DU4;(`^1&4Q"|t`&jB#JFE{z`$z[P{.1a3}:$Xs!k6RId.D kg㠊q<_8Efelp*ɛ~DŖt&w-I#kƾsj)ѧdN \Ä7߭]*fI(xDA5Qa%"Y Kޙ VYo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=r`5z덜{Yv*.Q |"˻i`&PnyIT󔓑=v%zc@3%1=O?|!^41Nr&ա>unvë.˧0XBtN}U>ofR92-7A õl9dDJ`,N  5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/** k$j࣡5ڿGs|Ԉ DPp|'͕U(i~T 4Hˈp% *a;A8(ǒ4>wj#"5( Dj45I(GppCI现Xea[uy$ @YƁ8@MQpb=9EGɁ<H*cѤ΁HH c"Yk Ԟyh!Joz=\mqDx~ 9>w8Mz ƓI yQDxߴ HeQ 9Or2IM _ȹ 9&9 F/H NJPPŲ0@qD byr, bAGH()Or!A 8#5BRġ P"<ȣ62SL=4z~(@[XGCNͲcV0;8X:8zD2+ DxHJ-Ԁ8CA G$(Hx mg`4 .0@EJ 1q{hc8CϾs@Ǭ!5|8HFf;40aa˺Y,c$EaFwWY6s@pE]pR0& S6YͶ=RSK3+ (YXIj,ʡ'9OrƫUDGzUw3_,H08hiQp#A0tۦ)Dj2Qd4P#L#IfvY,of|ff&G<"눈ݝٶmjviY2eew/++TvwТE(7[zVkkuWtt5W<^w}۵^EHBH)D"=tHԐ!-THWWzUHUUUSSUOOjUSS--;̕!Tu&F3WPՙS\W_BUg"Nm4s_B#6++U3ȉTUՉԉTUU3333333333O]9t:m[EHU3!U<; 8HN;.fQ}m۶n}mݶn}noݾu]]]]vݮuvݮun߮vݮun}unmmmmۻu\^{kkfkffffkfkfkfffvn7v˨tQօ6@CAfQ= &.  " (B ." Rg|3{wI5ĵD%np8WGmwpffiO:GDŽfwX͉ &t#`ˈYr}ƉSmVB},)0tG\|2NbhmQ 4]IƆ+[j3rmO~Oh.oz>6RS"CRnCrS~,WIN ^pe#|,%$eRT$kSԶnwβLMs`hYR-߶_ o!s9589y.N6ƅoѬ7{M g'ϼ#3W"̢"7Ph]'XN[dz vO!ANv {C?0dw~$HNOK3凱6be3] N*aϖ@kn.msvuIaWrxiHYxDžoڲ[- 946ǭ w}|?pbA.jwx)%9/4,0[jȫ'v4HwK@"BH|$m7QyּnNMmFƭoepHKݰYq.9aw 43~ps?$lb7\@}}Qwu:pgt% AQoR]ɭ~F]@bg0!}Dgpԛ^@w=^3`;͔TNH"@oSMA>qJƠɓmxPMNtln12Jd_G\pgyBћ HlL【?[^39QGZ^۟05#Rwx g.ϟ,U??}I@.Kccճ":c 6t:*!/T)F.ޣV$Du9t *]~|H ēy;"&9ZtoN:;h6: ?xst51n!/vdak,{gk%բ;ylbMޕ};֎.Թ|¼ JyxI^ќ AOw^ ?qaSj;B!' _3 ev$L'TZq1Nj|VmF_>JUٌ<N\S<CrLZz4zb?+5aDD0@d9J-,oĢB 2m@h3h:x5$кi ŰSvsڷ;xmE҉ae&->{ Ľ1 (-?gA2M ,[z̒231'kg?nfo[t ٨j}Z/24ZƋ7{r8mŗqqsm_[.:~ɍ4s? c 5,Gdr,(jqn)|axSVn+̮z1T٘ALVշ]7^$hm)?I7h˳J{+~<mshlNfQ~2˦ROoZsq—ZJlSYzF|涘c<Ɯn{ܐw4B9@Jgy2k̶5O~ oy<2f_i 8+Vi]}ǥi, ɚ U\˼U0I,>ЃM-,ߎD $甋/J靀JSFLӏ?cTMv 18ܝ55M, u( ٲkÎ%"`,+ 'z2E`yE+F}&C7Hه^6ѱG Aʱ4Qsh!?I0@N. + 4:oduld#Fu*TV0|+P~*9I4㲏wȱ~i"z] Y&*?҅{Rl͆D/7] 0,/r58c AKrhU8? Nn&ڤ֡O-J‹I8JFaNd9KVBV@(2K|B)3I k7뭾`1@$4}Qv՚'3Ce'uyW/͇.>Æ (͑H`ʃov f6Q՚ߙS)(p|0 cGjH;̌W$mK8^Bj1|6aL~ ;P嚖Ra1DhkEL'~ܷƦSnM|&[b!8\)-tUw HjE!£h|u2[|FД y R4 UK%.+&F[[-\1/hbHzMRNJX,DD}LBjv@#{upb_Y56cEu.8/,0:iZE ]i20 yr VgKްe ͜/Z6?XFls h݊|],?;3 >,a/'fvw3.bP߫fd;bw lfUI*.v (U"MjxNI<)Ӣ2O VfN+gʓ9x&("%NV<]L!bA@pׅk+VL{ee竫[PayR(E!-xgWnI0~dmX)!{a&eg e+q4ذ-i#*cTd: 4t!T%߬S AҤF1qI/=K1GlmKlN6(DNUmS2 $ƥ)u5 JOnWb)R2T &Y7p>$'u!"BU1EDq/k h,~$#N0^N󥄣kD7'e}F/Le3uy\oK\QCI+dGU7N+=,Lʱ[P* ^wr97fQ3mܜBtdɸ&M8ch͸DL-lSX7:d.qσr+QBu(r.YeQ8f:CEâĪ@0F.nO,ݷ1 ܵkh"Sk$ѻjx:KOt,H;tr8?hޮLD қmIdt|9ܓHWC*˘~(! 6zgG8:K&lLW1@XiQNxjN ePd~//Eʸ&a5Zja1B`0{" 'Azdd\فL 292amC댍5O}ŭ"&@!rNa#f^ԜB>t%{yN)`'d(ݦO Z3TS^H*fW e]FECbD 'AL~}P#sjP.z 1>E$^0 PQ'4(?&gEkyt轨eƉ[XsY|_UfU--8K _xm<}j`f-[ R)U35fKbވ93oG8'r6y*1_Jp&+H̦c@z`'YotΕ 'c^9Q4.U!uc矢:IV. _C ܋Kf03zBÉzHu&h}F0=Ɋ3ط*HK?쏽{O08j^ ~0t4@Xƨ>\97GYhq4ꮻE_76 \,У{a͸e&KM'wn-7\geK+b>'dCg)oZG, YDf!}&r:S> ɄODs} @/B.ӹ20eOʑYOjX7Iu jg|/8eF᫺r#*P:}LZz<Hst(HE]jRJjꈦ pO*cj7-(9rH\l=6^>fa%7WKKtI@Ίaq5Ȑu*V]3\+p OGeY*jo.bk6ڑ{ȭ 7-[ivY"77K^*JڒmIfЌx`jmkl9k*f *ٲd[|99!$qL+bw|# E0YA21:a3aDJn|w)ߦڅi˝ޠ͇Y`FIA eˑ9N8CvQ:(m=(-Xzl ׎XZ}\t)۩oc:!D.'3,KLX~^(Ti8Dp !6B+Ov߄ld*3`A$mS"5 Tj089_ٕ]L:0-/uL1T&˥UN74ǀS'LkPzVȩ0F%v]l=mQU)qq)e!B?I]dT\U/fZF3drK \lmvU*1fe+d#` wHcU2"fJO_4WmTZdRMWtSw_"^7ruS՛5*vR/WGY:Oq2Vxڐ)}CT%ZqܾuZ nC"sxU`chPE^Hˣ9R !Kapki!g} x̀T#` qTuA|'p#%$@BpJ[X;~SM|gmMjWA@*¦2;B3}ڃ !vK~`Tmĥnc`pY{V }ֻiQ`>a9`T>V'!QK >m[Z< V/wk9J Ks$RwPqC-$C\ŎVZgbH]Wy8'YkVJ*N Zm[dk1h"+͹:+cΟ;rq6 C q̰aN&?BdBFƶ!ca`״ƥMAoV.E0o%40sy $%0NkF:O:iCf- ~G"|t#Nj깓Ecޫ/ 7>lOrBv!V(S%iYԠR<+Y&9?~maOv03>oD>2G]`V<5׶ɝP7y@c܇1F:^)c=D%wU0(HhŭclȘ͐D;+v={8[˭q=lCx-y1-s\X-gxp'ϸ}kB2l7 *dMC5Zgt_Zn!ppBC}cQ-l uL%AŻ )S\.$pmiQ  V\PK9d,dXM jkqy3=%)jT'`#-/nQ082Gy i{rD̰|锁zYc=^#Xy2ik*J`=+@nOwQBcԙ Œ`|1T\MZXy@nǝWA }qC7:`fh T4I?B"ƒj9.^@LjVY \=^B&G8 *'W'.p~3xjxۺfioеy}b%1C]P,Xk'yO' 2-ؽBRzC/V{{JH^)" b5Gc5GݲbYT]?DX(YSzkT[ 7 2WoYvQ y(S[UVE!Z) ba>mDY,&@#&]9E]q&פu(W4[ϐ3Btr&D$uͶ_.O^¯34i0:֕ǠƨhYDMFq✲ߺ1\v-7M:Ë$4 EqD #' u=[G~~A{ysޞG@යዃ9`7Y%:!ܙbf CaYp&2XYHAw$KjIr˴; J5YujGTj9ŷ~SboyXĊmfTPR,b0kf_.#E2 ԚGe0sKO(?؆KXb%Ԕ" ڦtEiyڔe9B ƮJ$#! p&/k`(_H<7n8<Ε}5<(~y:XXfۙiU|Aci 7i軻9{ LNvl(T666feG~TB{V-Wp8M7OA}q{886RlE\mjlI29h%-h+H u0{p YK{8ơSmM1ە+i<&PX7,+բ h3e䳞I@fo!r5]YƕJ.OC(ֶ}8N8mB#;KsƧ(ҶjcjwQcX[yriD'[Z>}-BSu:9щAr|`9'DO!vE-K,m.FQ'Do`G`R+O%.08wPfQDLIrfV1> t~嗍U^MCNghLx|m}oQ`TaiZ|QfQ0#8/! e{zN^vDD.:FˬQ:F͌ݪ蘹}w$-FӼb xnnn|gًܝ[imꢟf*ۺݙRE1ƹaJP ~OۮV->UV|S?3sD"MUMmxMmxS76̿ !B2!mrX=❽FΗ{wClC 0^4oo|& a0 BĄ8  V^(Z0n6LxPM>VdDm|πB8Zm_yWaDKZD?S/g>v^Y''"/.kMy$01%,xQ$EڥM7=Mg!#@ #H#AeB@F0b AA$B # @FoBN̄m$d2Tơ1. VbH 2PA8\Nk??E_#挂:a%Hk&@?znb5USv ==;M":٘]'8V3R6.')۳`:%խfRffÀH&˅4 w>]yl?ֈ; k=-k+dg|PKп\q؍|F4932}h"h ~f[o9*An+=s]g@#]e@^%*,a_P|{i*}`K:82ƿݪFg;gwEo5H2 a%Ԍr3( phs؋/«bXcN TtkbBdcx\%&o(^|{F0bF_=xZU>!l ͠yS,<nВ s4iSD ) ʂץTi4zp5mSʋ8.c?7(,t@GЙNPS-&jSGYMNe1-qy7@Iٶhs jϦnp3;a}\4% ek9D"_eɖ눈+*?V]/u>W`䎁SF]!RƘB+&x8op:^>?.H?1'NG*-݋ۀ8sʭC>3\Ůnޘ$~ӗ<̺nmx{ NtDlZuOǠ1%C`Plzn7QCAW~ QWPcT(R| \c)L=6e zѠ(D{1 C(gWS> ùfI0oba aZu\c,7j'^-l9dz-`,>8 `(Z:|Q; ̘?a 3XYWO*1w.F*33vu{`cnŒf"@:74/Ƙ ^<[jNt7<$`# < {x\ג!8zo׹InqJEܭVF.C^"OKTڻC= 8Bz_LG9u<>F@I{GK@Q'8/G((|YI`Mt(EQ{d u;}k Zܕ0fUNfn m${9"x5㤧k3Vj5/$d B_c:.:\F Fp3tU04$aL^G8_SC廂$?G?R#^b6璶't#Ah1"R3^g>U^>7qа`wcM) Q6׈5BȾ fiߧpMqC57G\/^ІF1k,s7zϻɺWfHKhH bK}ohnsiqxyc(Nd!IPYǸʞ\r\W[Xdt:1Ivzճ(6Āl1kfi `]+#nF7YM(9򕟝e1pt[K .͹J=>/x#d`Bc 7-ڹ$HTҐ>ZsTm{;cO%Um xIStS.5#jcNr($[aQ#pCU_1lksqU\6p cE\l9w/ ^__CI|Ce$ *I7L纃B)6v{`!3ZUnh dj4b%aucxsE:=P'Lw #=MRí؁~` ]cI1l\l񵨃(_n=pKKST“{7,Xƛ*7/bG'/>oMʕs"?~֤: 009?}oys*_k00=Xx}vVv<`F([-wvUרJ<9ޠ6 K }G6{I kSCH 'm&=P]sd/;5Ms̔ύY4IF:|<75ӞD~|o g5G4Ђfn % WtSD^P bk׃)|T*.#"5+z.:. wC/B8֐E|Ex * 4 8*&N#:Bɴbg+ ڵN>ʥ)O4vOq#k&4 U0Qu#̆+J} 鍕JrhDT Uub@J?3:#We6&E%gG-`'5Vѽ< KGڃ ~48M9ybb As\AC:g-;154x=EM6}σwU+~g0%i<ȷ ,6q7 o; a#WqCĩaW1N(E~a?( SRӿPG|$n]B yP>a RC.CAPFdOu4,%eWXTThe{9EmlkNJ0S<7=W.+! ?a;Ddz0@MXۄ z?^LO_: `QF: m àvLBa 8܎H^9 1@'In"F !<@[Gǐ=LOhKeErHnI%0yBA;G\zeWD40!p%yE2g+B2,D՜Q L|?c$M%ʊ08Ԑ'}7q.m1ј9ht{"?UGY5%)/'e]`*"ha8K -γL8V hÔlH2&΢Y0 ̊<`ָZ%="Dcyp1 5*CByP%t(4ϤQ U_p<HH5H"YrIQÆi Zj$GiI,;YwE_}yM?=PS"Z>{?w6./-ަbb3=۲KhT$_#}&H{QL댇TXcid, %r,&h4DP0JY]XId,TA ?P([VH\Pj.td•b;f^8DZk<0=NOKcSY_ggggΛi~ͳd(M΂$)F'MYCJ(+b\gIwa, <[8'UO730 BAAȩu3+[~F HE 8>]c__t3aj:{&ZGdL&'6dLJܺQ9kcżVf˛Ȱι%I-'$E"Q8JPb")"(AB  |Av B]ok;-A'Ya58EܽDCu]̽QӣUޙJ)ɈmxӒKyQxHkafI\[Fș9%{xɟj{Dγ$%HX>6~GonkFeW ˶D컵]g##0KRh+Iz~޽ ̍ȌA.ijf珋KbDD^깿w+2m;:oZj'or&5k6MӊH)._S1s|t  Qҫ䪦yjy*u몮>%^+Fe@CG(IPk} '  B`!&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