SQLite format 3@ .f  5  T11Stableisabelle_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_exportsU--]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_sourcesu77 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_info  95~t~P 5- UHOL-Nominal-Examples:threads=6elapsed=325.298cpu=1642.932gc=109.030(/^gz#(M mHހ~E(ʂ)ݽSH4Τf-#ݑӟ;[Gbk;Vu`x!Ó[hj>f NE"BAACÃgCOyH E:m ?J7"I2 N Y+u^*9n-+EDY46*F2<;4T  4hr@ iֆy񤬻1K ŃpiiEFStwR1FC>ݮ'%"-!łDD-Z}$ A _y`X0(P4@!P/L+"22C7dVe ܥrW!'!d idj>:6)R3Ιe%v%u9ĿoCnp_CUG 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"   ~zy   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.thyw mu~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m 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+<&B6se.ad7ٓ<8LҞC-^[<0$rфZ$D Z C55SƁ+ƙTD{Q=DΦͯCyyj/' 3f[O<&Ms"'";9Z*a_mՈqQQĚc X3O-OWEC>s߻Mu( rncSl r&șX@4--& F"@ۺPMLEu8!QQ{{z]$))Tch`LY!i,P A  9?l u't`TE":+5Y|߹Lqb:-㝋 K5$&T#F6 ڂ ׂ͂|{xcwbq_pSoRhOgEdD`B_.\-X,W*TSOKHEDC<;:986320}*w)v'u$t!oXWVQCB A = 8 }|{w t s r onkidc\[ZYVSRQLIHGDA{@z?w>r8q7p6m5h2^.[,V+*'%" >710,+ $ gNo!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-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   Oa5PLE-2L2kN0;)]# "jE~4VZ_-_[X `' $B׼q m9֙.:.k"rH0@p =F#fGf_RW vޥ)ioUm&"Lm8Z$3 P0+~tcncQ@M =ߦ&QG0gJ\Yȕ#|^(Ƚ*F866VmF<$+dg,J_Vi 8c#7 n=5_-ˇfl38A}W~_<W{\Ly*K恪AK3(`"*18 ꎚ롋ղ<`->៕ΎڝB&Bp_%3ϘTnXqDBMѱǵU5m}Tہs,\ z0w\IG)cdD`9k)\%tuw)6Nز@Z5tXTPX' uAP."k7Kz"&T鸄Vs^IE\u.zc3p JSZiqu(w#w)?w(Z<8W"X~"qRMezYD{)ȫ߯sUh\xӚmmoCW,g\eQMIKr"2etYD$7"Rgϰ o&?.gJN~TE@*iLSAodYZuA&M|oRJA?fZ(78itMslﻬsXv?rqzi ɶ~=Ạ}iF(E&DJE>  4=[\>&^+]-*綄ڝeM!}=/|?kD6۲:ZєmEt]-X_FīΤg,6ԑFf( ̇*癳uEb 7@my'K1˙fAx6<;xLʫY^<-%F_5 .0 9n5ydIJ2rfF} lp#%DLϻG,Y58.L ÙЪv{a3E\K OUTIGFniH$G55'a6A6!q%9Mɬt GVXs͐4)@Zp1A8GJb>Eѥpʋ}'MTv\ *,V,l>Zݵsg-/Y;㳢;hر_E%93ߘIEFqK5IJnh{.މ.HB %i^gGVoerJ`a)D=}`#&HDaO63Y4xUbsZq7uS- m13 6gM[Tq9[yr8L"e.9uq}h')@ҺU=7/u laPX /MRM8W6 0wW@gnoۑ]odʞT.ldh'8櫁ǪSXU`'݁nՉ,%Wu~hy6iu٢V(CT}EnhV@ Ɖµ %r΂f%jL `~jAHuwaYL ou`TVwtpQCޢWm,XAGsWyeГy`.E=Wo o^ ,u4g/zȊ`| Kb"g5$<.kILқn0(IZ{>D*ҚKc1[<a8[{r{[XQ$j,!r ~~ GkJEs;-KB&_-6߅lc 5ЂLBqcx -py&f o$SX6BD^]2xc("0./YómS⳱i h4]~3#/@2 ,oitadcgJFG,y^0F%,w$3Bs}H~׊߂Vi (X)Q;3 -6\"^0 KY^>{sU @g񎌅̈́;"bXn&MLw#ﶺ)g%Ḉ죇 .ÉKQ "Nm1TQ>&gHdf#`,`$xtN5L7F hBxH~z- Vcc@֭V+?!PVA' Bpq%DFጇtoF'@-DVCW~xԆX 4$3u> O,f s҂:I51.z7\gǤCיtSp_.SybX'E^W9v"IZ$z0FvOBp f*}=BKf& ɂ?ƩYtJ˚ojZ!W7 …X$`yv+@h&]T䪧1flR?`[~E~Tewm16OnhZ_oU,é9fW77wk.H: b:Hmfx!qna{zp)H v=w 9O„^.{n~#΅;uλ&k tcw.%X9Eo f d@d񡢼( g Cg՞'P!h+؈0N7%@JT58lt:c'gCw#? թ>C;U)ӌNi3ԍG ;vw7yp"RᲤ/q݃MR%3! ff,js 0̱hZf%)MaՖZ[R9w<U- "1qY>8^|-rd̼jw0@|甓M'B#7W!;U*A+ ' e,@ .HPF K#rtj?x_B(ŅfEtc`_HX ęJSg$ <3:^9f&S,Jˍbvv| aESLfڶo:5Bӄ.AL̞ $DAsth|0~ =R H8-X, r'*bçw#\:`%cqqSIޭH!m) m%qN}ŐڋWۜ9@[R+ o|:?Ӆ_Kr].c1&Bx 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Ŝ˺^vL zc1첔P.*puz\ L?Zaŏo>K{k/z_HYS1[Ծh%+Q($[…vV,Z϶dTȗz2k`ɉ Dg,l%q >v4ĞOD1X5zU]lsg&uP2TAT1 s.EFtoP_0 +2lIG+g {(59nnZP;5zX`xo|Mٲ0-6bXa2d>"A(1`2RPH`+KR9iax8'lUa:t*WNGwZqSdD.E]j!‘[$~-1$'{;UmvfRP$'nηS"y#tf۶ˉ Y[?ôMl0D։pm-OH+k9mlأG#c0jhy9 5ֈ.zP_H>$}HetI-? ESVTT MX65%V7;Y=vTC0 =n{D$W?GN Y@[Mx\7ҹ^3ՑR\xGSh,h\_tx7r^pꄚhEH‡67ݳ?!jtO>y9\K#A5Y!`3\&T?bFGt*6;N6!?j n\FxX(õQrkC솺Ҥħg{Wd.TwC& Q<_>4J-~p:meF(JN1Ϡ)lm )sS}I]\*wڒ n/lp0Q_mZLl& TQAq{^UW S1ֲV2J0CUIһ{($nDĩ/=s9hi_R sJۓ!',RVwuihwkM*8sÄKuQR13ޜW-oJMJ禧O  Y%+SUrMvW,C#c>5/D;lD^JWjM (lʊ*}n`z97o`ly24J9)) $¡NEg, źO_pzPcR4")=:' X7%j:lQ V B*Fww -ACbj&Zꊋ27jHO9]cO|cK&a0.I F}(΅إ$ϟt"?,2!1(r<ɌZ=1kYq$r׉WA$R{^ctr@}f5ţqC_IRȹ-M{Bfڨ pT@ٝBY9env|J`!,32V^5 HKYFƐ# mΉgDhxS(nvTeNK{rLē|նRTid3-'M9Y9r h//,"}r5mC~rP^6S[V-DnY΃l(x,_gF-zXњM$_rVTѲs>vyV9bhK1`) !k|3l`E=1z2 ,RkGtA&Y 6$- :Ϊ\wnpy{m`ZRx Y#-}Prg<(&Ó5iyoSvsR͇`8&db 3i4?5na] ؚ^xGnB9{=)?bo%"Hԁi1E"vGyqUFB]Q2si|grBLC0s)> q p\1f86"5. xwjILa7zƒw2r-^F=˭d2WZ,J* '֧@@xSzXDjB rMYb6iṫ舯_9lTeC0Nsi2tBtCic^lV%|"8Kuu~t $E_0ifO.措`u5JHǔH:H$0I*}-;p_ZLZ⛠If6/tkyM3m؅^^4%AKO$~jt) TI(k27>BHlREP$|@lOR`M& OD QLTHa `aȏ5"tΐ₂G+#l(ӦO7Iha\TJHO&uCQ!jM uqO${P0]4 pW`=wn:E${h5Uh4pH< ڔRC&!-&>PKķĆ'?Lp%!88hDSc^I8&/ɼv;YUrmA~Y\FfK> A.k ]l[RSu^(bD׋>97J;dtR[x an45}Z` #ٛw7xEy;BneW"[ETΨTQB˖ nWPX"E&3ctI勖)-(''~u7+&vI WQd+\[08jPJyO"EZCj*U4kϜ?g>|VGB"C(Qka?EDwi?B{!8g N_r.EEV0q 'a7yּ,a/W' uv#fdzS5$*\28, Ea!4i>5KA-%4, ܔa i1NE_lK>Z`!@z6Yר\ ?Cg 'b^9N\V HMCx +$/Qq5zAeiyOFRdH[?Iu#B;(FFT-5܅>vBtQEo,`jA 1 0'~#ZuC#)QK!萷Gju/"dg$l{RX>B-*DW)o<$:'%AIu1AV SìV/S;H,c , Z-u!C徆 QowosϷ Jg]!M>^VQi$)_x]!H}¸i8@KCFHiRgn:1.e~9]B ٟT-,!l6se.ad7ٓ<8LҞC-^[<0$rфZ$D Z C55SƁ+ƙTD{Q=DΦͯCyyj/' 3f[O<&Ms"'";9Z*a_mՈqQQĚc X3O-OWEC>s߻Mu( rncSl r&șX@4--& F"@ۺPMLEu8!QQ{{z]$))Tch`LY!i,P A  9?l u't`TE":+5Y|߹Lqb:-㝋 K5$&@ ,5K% VHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s Q6!`gϕ`Eժ@rCD 4.*@@͑࢒(RXbrnF`8'`x$ %\3Ą_l0OBŵJfs LI%,D 8$m3g"*J:sބd ?wfvD)V(!Tqs/wfݵZ5koUzvnT3mAcS\p9 9!9B"%1F4we.408'B5( &\$Cs52v&Ja"5L,I2ISw6Y#m5t➠Ozԇ}S3՘ښv.n; ®pSPk$}HL q-:~ {sKJ J {ikX\o@jy*Adk\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  r r5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ }^(F0afXEyκEA)IVD$%0V"^541r1'b 629S4ܼvأAK̽WTX-zoG %Lzxr-ohhX\A~aHL@ ƒ*GD,$XH 믻zSpc:3ژtN0 EC>P(+3)c#g:f.hjy0d2$yӦo=ə+﷥Ȅ<$oh5Ѱ@4p5<[s_V<ˇ9s|(^SS!vU'Ɔmy {o I.xKg:?Fe 6>kkc@5xEÃ>u?`[௟JÚVN R\ؘRuY^4j]#m$2z0/ݿ P EB_uM'B%PIv+":CtAm1Չm H3㈶K- Q k0]L|i nfsB[p@7*XF{_ez8L AZ oK<Μ߁**ۆBPҶ}ՙ[2T1nc{&bDF* 5׳s  Z9tZ!V9a~z"+* $C[Fƾ^^܊s)9.͐fP˨쌯h|1M[!/bbltڷ_eswYՃߕWsCYxқY"KFl66M !洜vK=@»5(\۳GHFLo-opD V+/ҥgvNmI6C70 \ZaNд.dV>gG5xn5 7cjAWiZN_ # FB) -/-I}cEMX!PD1Dj/!Z 6 ]76qN,)cbC~|y,`vNieWH:Q^hmb́׹88gmڬ$ mٞ?L=9|;s=bPHYRx}bSokAtnP<"hMgυ>1KBB61W>Ynӿkyîʱbӿ%aY, /G,i_3-}b4{:GE(-/89 k%\^`7EHKbMb$#ܹ'z͟iN$  cN߂2)-1]5gyOXjgf F}1 -jk-ti1<~'nfTqyq+BA|BvGk nL: Dhޱ1<0MִK^9銑qd7[BCf! +1n:B^M gwMpY49Ͼ\JN 9SW{ eMCg+[O Ж!_o^zA |tx7oNzϤ;۳qE p<YK.D3O%,:$UśF5:1p/sA )iǦ%ŘʥjOJzj'$'+6M"54 mr.#4IcrJt@ȜisƝjD4T.Ʌ3 ]M=w,M琖gr#vHgngU2Qm5}SZy']I&nvIdNVaNQb:;e(=)]Lq3W㡗|=,6Ʋ&Ŵ/?Ô=S py%pͣogԼ =u]XaP "@o3Mf'@ugfdI&[/EQt7v&ZX"^"s KwlVD&D\daE\daE"s%2۶m*:lCWRK-DtBP"c?733ٶ*9͛7;޼_333[Ym۶UUUUjUڶm۶["$I$IY%"4_DyovUmIDHx8А̀`h   kh:p!I i,p4%=Q\8(aLD^wlrKD!C!H,!Ťa!aBX8Oof[UKd)09wU|PƈH+^ᰘL4[%."łDr"<<ʒSR$u$B)QlweIY㡐B ;fZ7*DN|~[xvy:όlm۶m۶]媪UUUywmfW-gkf-*$If]ՒqvU[qvU[5]D%9;5]D~fޚdQED!⌱8L(QFeѰ U8PE#8ahFCšBc B~ٯjȤ)vDSCy@xwmW=eBÄ8MH, ☻JofW5i$TeAPQ $(I(T,\T0`H$ 0X<$ APA`GɐSE J:Ƃ2_vL_UJ4~d<(aQI&By'60~s2$L$/4Ъ&eUItZIVd"b(&RJJ~IAu-ɭAя*$~Y~Y2Uҵa0[Z,IZ*a9A/#IkŅ˦4#*(YaIߠ% ~yVJoz KdErUo*+"wKHj@-J׶HeK.1ېC)-$5ۘO]ȉLVAQe $a"ʸYe##&|$-yw/(esAOkسw|yX󻒎lD=O\&:z"#x {"T]~E~j9r3[8fj+\-@Yu{!CM!/of{2P|4_Q7פ)_2\4 >`!V5п"t@xg+Wޔca~DHkOW"&JO~Oojsz1W]-AqTWhe ?w'"&~:_xޑ @1s{~(mm+u`ݑeHcj^#z%^}ROW#-$*zZdr}9걮)߲;rz9/ܾK32rExcvNRs [Rg9|dP#k6)jXOL_}e)>S.fy>Ajbd!6gZ@Jqr t $mz!v2|HKg$#M/\×y|6)nnedCBL%ܦV{i*qʎE%;d$Y aוbߜ}4yىZޗFS(@!kXc'KĜUq7!t={#3 V.-\lܦ B")ݎj p>Ez& ^lBo0%8 CJja玌F"-i;ɱ6t{NitF 'p.216?5UE9rfn;>&&z_GNbn\']sw%Sf'{&$ѹ ꑨ7$~L7=WizVʍġS[?Q1yiSۉtazʓSsֲs"NhuU1Kr;8GC̓㱙fw)H;__R2L4S1WHKuUܡ d@7igW-l:1rgޥ&jeo?̦)XLJך{Aм!d:sS)舼gw0HTu)EgXBY-W*8Ll_o:r']dv˚ OKq.DRb*AHjsGd%:|f# X8][anC4{ {uځ5M%NpUpϋѣB OO\7*잸mxes0r%v9cJ=gp+Gnx5L+0ɠYMeta̯|t1GWA_MN2wګ"2CH)OA.a#m#Jtȵcifbw[~sJk0+ndD.>YfO-- u݅phor…T] h 3 tsbc-ߚ9-O ~C. C=_o#eN uanF@XȊl"A{,jpkF[2<$zIĝ۲aV)&aIra7"HdZ.G4me0S۵Wɰ?wZuIwAApJ_HǨ<`Vx߻{`e0Mnm)qM 6C&ΆF%6T"1j =m9d/@Q,xMj_D+fEy) vkL>s%#gon/*վpΛ ~kbZlB(lXw:{jA'>we5Cb Y`琽T>JNA5{IɇWLI|!5eߛRrvCE=\K}h:DS]EREqRJ5@S)=ev ;&RѱmLc)~/ ZnM+UKq?cz67vMOLKU]kV~<fLn6}?AU6$҂am6^d-ӈo4c0½#@T9f jp#5 [j[b'{x8h]?R?DLev@@ ȼǺPx chR~74}=u!*}R DgϭafK>ܝ8Fkzj) lp|m@ύ.Q7q.mna-w@vc-!{|Q=%+&L: |i  oI-7tLӯFLwELl`Q5HjTIVBoЊEg7hYh>luɖ艪EjnOC*3u{gyCk$xKM-L .`ެ?YHH қ W#\< },z~~ڮ%?$Vb>dɍH%1[YxI> eۆ{&htؚA ':jZ02҆ :"^㨻NpרY9Ȍ3Fq;) VsUoˤ< zWg_\\z9jvu~ f?hLW֕yn 9ѓ^<y0!!NДb/Y$ZəNa/#Bzﯺt%?5 ڟYH;/v|ǿcq/DWNeքitKu? 6@*<9!6KՓvQpcUg5Nuwxy!:fOkf)j]4?/q)u㸔|+,0N]e=AK\ 1˴E<4;P`'Ɂ #F#I&6& M!BWԨ@MOqɬ hd 3S3H8=3a\\ ].Yk'5H4q@[8P,S~Ú)~,v 5 Yj^v66~D5#/ 7ؼ ),GePܣqM'=f [}vKʒZDcjAFph.c9͢D:T7PȔُ'*Q )'P>ˌh&<ןXea}瘱6~V>RvcW I#``h6-DgtauYA_exԚ5h;g/Dz34GZ 1X^vq6xaכdN:^9-t"p {8lpHu.Ϙboe8iY-a;83bZ~^NR}H֪ql|֓8c\bx[؎R+j`dž,g@c|#d_m*<d:6d̊9^!bHDwΓcj0;%sVg\͔A¿m G4nXjpUbۇvc!n!rυ}BCX>Bzfđ5Yw7uG.zԸy;H_5F|i?u<8w1we]3f:8c\Y7Lm5D^{]1?N$IH H|a0ZQc 㥌Jj OyY@kO,nꄇw?2`t^sڊX͹1iru8km7N#ZׇqeNS+[:5Y.>Bp7 AQ<O t,5j=\9nCAQZ &L&Mh RkBwѱk;;E<9֔ S.f)aqA1,;$b㺉̍ 73)L=1[6a"j|W0azJ%{2#")$0I̲F&G{3roC @`Lhc@X.d>oFD=gx9 JFhLCx;nuk_"Ff& 6CL7$Bf߂YOtvHɔ1_?oq/C;!7w'#p[~4MV%w@?Ԫ/[9(ܜ؂j9v"xo ozfPƜ3G~R_ hƥ7MIyx*e^ *sWtىǤz` iK9!𨕪62SjLua H'3URθr'6JjOÏ{R;U-y޴!9aFBNQ퉱Cu'0愂Ii$4?aa΄5}]y]Fr ˍDq S];lH>F)OnܴrpR qnT_qփvd>9H<TFsе#TniBl ͜AK71ZI'5$' \|8g@H\ۧy=MP}H@7E"zd݀O}jnqPmsox7Q%G=*w1Z ?GHQYΥn4S{r4p^Q}phUGu6J<5!' d]ZJQ W52zz0NDOMI,Nӹ&v{PUv1 G7(O|/DH©a!‚2'T?Xy2$s )-22K+^m.*^r/Iɢ2h+"E(\m1]o>@*PTV2Pi%e>W-yKe,(rWCjن,8235Ժ_2cZbg6Sۧ)L!.0vbnl0[sx[o,E# |&3w1Ē'>WsX#4F#]e:c Xq7x-ϡhVwy߄.k,,څLU?,a6C DlJ~ L?rcEL.Y619WFuo{9n ')[lWy~*#~})uc!HZ!VuΆY -G;oKG~߳{O@ߵe0#[_ù? w 02/oeB11sy6L͎CゅDcbƣ1A͈$l:ޘhLPl2 6TLT5&(1Ad%9U?ݒ3=vQ xGmG rD_/@O3tTߘ19k/ ̧}3%" Ű22*.X4V""ڰUh̷Bb6I--9?6ϲFZmkG:: S$a 4*.2.&>* 0(FVW;=F.+DCYhR7# U@-t"^-wuQJIuEG X7@xNltTOqa.̽pT*\ gRl#̶kRˎ؃hZ.q`&:=\!ٞ =Rnu0vڜ4/M_Vî5"S!ǐ2\Z Z7u' A^(RZ%o]V#ǼB ίtc&j _F^XCbw9h{'_-suS ?g P9drJSҹ|kI]%*xX D0qL=Q0BOZf-9n!+RQoLtcg ͲQ|w$q,$b߇NC%gZ!ssGğ]D#njՍPEU]7I9Mj_8:xYLvb&K@@T<)ob3?vx3 kQ4!t9t#g?ϰ5ؽ}G?ۃ!PB@4 󴎕2 z_ \x3X]}]SО JQm\2[0Th,4ǣ2: ?x}.jTC>+cނ򯟘5A^~Ss3 ݹ:n㡳r潕YkE <SDПwjKBNy! %r9N-QvXoXT`t->O=q9QwTB9kV_ 9 Vk_?كX^X蘷'SՔĊQ2ֶmmn-bN&%8Q)|KЁ1q)f.{F'3p o enV@>]Fэ?Em >0uRf:l<+y %F][N G<^_9LYKU |/! .>V A^lC ;d뗳A,pO74 ׁdB{([pAt36 ȗb lEI=nyv``7Kd>TDoHB5-#=.4Qu}mCpb#<0w Qו )'r9'>uoP@bNP?*  K.u!zvhvEUm/lPTOmWB?VKc5ŚͰ 3,'7z+(pGNtW!:\w=F^oY f7KLeIe+ :1{Jd)y,2 >XG}}ri묊*_;5q08Pm ahwYQ]!{IX{H5XbaWW[ fur\vo8?5uřy@7꿧եG߭p7f'vuōZZC*Snzjֵ@$v!bw Ӫ 7apB:gn>귪e'8I)&,J>:dDe E WmF"m!L۟HN-(JIGC݉AëWy&@dHcu>')C?~8@IFaKjVY"Ͻbo5E+5 UeS l@m@F]`*OladBڂF t}拁{TbŎS2ٺw87"C❲P5p o  M=>器Cj ?7bXՕcZmL"Hl]KӀt@uw g>sI7y֟194d y7±SPa;peʐxOGδVPcgFUDgd ڍ:*j=Ӻ{3w xYE+C;f{1a 7 x/T䭀AsŇIAbOnTUm\tXZ9K &obnLoMժo 'WtX'<A\0UaODЮx1ALt tg_CDv+9Q? SڟGw_Z9E9@lxTIk7# 4āubJAٞ4)y8ސ&$`5=]IuZ󕌑mmlKmxn[< KKu6[JE!^e_Oׄr$\ iζ~tz<)(nR!ewXj07)a$I[+{রhQ ԤՃ5=N)8 9zx2G!тϣ<+\*K,toeiQ6g]x(;em8L0@Ԥ=~qA(hF{F'S fv7JӖ: 66|jw I{!SW`Blj%cHMSܕyʏS/ZW8wWvsFEEsf ɘ ˆpM{y`3AQD~#]4jՐ'Ό&6wddC_'MTI"vHTUeu~^+A?mfZ -!7S)sk htXcAz3{d8/ZJP-Sź~'aq¾m'F=R}赍vE]N@S2njs|2\/t2Bմ(@2RN:ـ|{x)8cx\H d^ ~Oq.c/^%Ϩᴟ}>WˀIh,!amc"9Q:*Y@L5?}fY<4FԔ"1 wk9I*:x~{5;7{925wbG֛mV _|y\0 { dz]#qM_!Ix#[MqZXe2B͸u,?f ЬA@طUw#TOYRaķ`ܖ,v]y t6؉ףv*JÄWȅvhP}_ xǟ: vFA]f.bO`-LM1ZH0g"}ѵ/ֵ7'(blb`9-?Uϻ#+`_'FRH2 Bsc@/ho,0Ruű.[kgu,E;ɹV;Ի ǙqM;v2XN"߱|p%nƍRZh;)";>9o.Thy),YddIs)TauKS}߳X̊Ҿ7ΆZ^~.U$vg?3ϭsoZ@X?eU. v/!X W/Bc@ee$#?L}]y~GjQ?6"([7 [:fM2Z>u Mlù~|Ď#RАxX 1e{_bX]tӳ=#|`<%S]4-zB\xGw*Dr}>nx@KHتZqw\|>zօ=F{w_⁓&vm+pd2җXv!6q'rwM&;)w]j- *)[ݖa! ~60,??#Sд[Kâc6a_/T8*[}1"C$ +)$:`cāFH}{A҉˅ ;=ԋ۲q٭QMcAaaC:WMשwolr_+IoL\}nv ]MoEysx Qȟ{:>ODN {}# c'@:V%OStK`z.&zܝL{8b-os: bå︑z8YC*N!6zgw4&Ր+V=Ѽz  ;Xݍ5cp8f#!XKBXCvKA'MDݗ22t55s7nz1ǂN8`xO]#֔xDE9&x;q"٤xZs/R>E<y3`XJ]'us`^)qEEoꜯ2NE \`Yh_f$RI~%I` ăۛC>pM"@x`8Ex8As'sV5JRCۦ;HŜ/\8Tm>NAJd^L$2*2z;)mJg;:cRnOn=WSoHrxղ <Ưd1c-a/m6Oa:f{wW&Da{8<_Cv\o2cF:ԏL~I#p%'KNc bJO ksrҏ7}t-+q[T?"Ņb'ޣ&GDmkڧԧcLYd9 @ot@O_)çȟ3n:%I8z, j<.ymݰMjr.ૼ"Y%Ij~dq(}T4^_2e"I:Ėk} ںljəу]@FA>UapqzgE!D7]|I/fP.aZ (iѮ* $!o:ِ{oST[64 ?\& שIHMJL4mUAѫQHIǭsjMݢj-uڪIج?7]O)n o/cHX /2w~# [yN9̭6?ΪDX;b_'Ѿ r| 8^m'%_ Oa*+Q9ߑǐ<_c/I%OI:d3B^@cQu#ώR˕NJjv[kMQnm%}Z.) r5T d\(+]U!(Eg;m>e | BS.xk?r8K?𾉱V%Z@z7JueEʽiL5x_ԯD]ܔ;i 6JEz'Xt[t}9[6ITNrf\:"?xPX}{9^㚱T3V k\33^ fG,Ի8cgx׌kQ$#R={T/T@ KRa32z=},Z{FcijyKB&oޣG_ hd=.L{{D҇{§Y"A_ڪDlC%]7y Ǽ߃UN^*~o|~~.D5z{Fuq ^ߋ.W_I~+"~_:ylN8Ec*A%gG_4w+ehQ4kN# >Jz)|hFnO(VAq >LkU;|`: ǩWr>jƛ͟Eau>[L(,|iQއrw䇤h4Jm=_χd~c ڮ|L.6ROߒ e*"6P[K)8mj*>kؕ wu`+se0PT~V08nK鰉Ɨ|%5>Umw+τAl_ a1?pA ſԦtZ@.!|Z[ݍg)I]aձ=bjW| 4p_XKGb?h'|pmC_+M'n`G>S=`>p "NzrcK NU;1 п3JD/r^qۗ,DGYgcpT{k]B[uA\BoEo1^%gGjΚo_ޚ57B%k;XU騍I^Q"ޗSXX y?4L+Ԫpf<)H\cDX `d9mkrN@W+,CdawҧgWÇ"H~%k0?X'QiPCFxYˋhd3   b(Y5~Ywaۑ^/ȱ`e -ԑߟh6RP1 Yxώ% ~:Ӓ YZRRc)b[7pḭ#.ʾ1 J|#UHh&gP='1FT+h+ R8D&Ư\Ȱ aozNsUTE=/E׃e` Qi!>8QAi5rW&A T娹% % GfՎ%mHO4E('t :{B+jg|J^=#~%>B Ɏ0͍x%Lh5~;mDΒ> ̖_X@h6ϐSTȖo6!*)(?N??9`ȗwst0ӌD]Փ 5ƃ ,HÎ4 0S+iTߜk}n>O(ϖzμP&I{irP6)1!FW eUt)e&gZ酢KeDГŵ٪IIwrwF0%Ui3 ÕFxNHB.E#ɵh Q|S+gDQL7:7G?eMyqsGXd%1M2ϩXԞyh_K!rѿ4Xi[bU}n$ >5v&#ݦF%< HRzk/\P4߀Es=0Y" shB_jHFu,:xf(珦ߤr)dRqbpL B+GMش`nĚ>O(pHЦMWYAd[*RL\v qlĝ/84QYMډ.M?nz _`.* X?tQ˜.u2c0%1W>1e=->y܃_z*gs(m6w>L}i%ecu>9݊@/(μKO!{q8xܰL8Q t`9&g@<댋~:F 1pJ%cS07}Kpf2'hﳆv) Gx_ȔrbV&=S،q&w6؉ FO"꾑4c݀65/6fXfkOV_Uu#]//ǍA¸C+EAPXx f4?Z({9{,E)tC!} -7DaIʼn8'D^Fdw BFq]NN$sHf޿HQq%HǷo2l3uLkZƹ9o&KjpʱY “Iw)+|"AX2|:rh8;]eA:L6\|$2%ŕe{bv BmpO1k%pHlW6yj[WQOH$?v(avv@V$df `#4_ kPڈ%x܇n%SZ .J6˝[벝2 &-Tfȳq&Dz~pbyI1(jK*M- $Uc.&+M% cR{a8Of5u+W y]sK+KZW 5wSfOVvܾz /g6yN$V! DVE&'=*' 㖕d_@ K/Oe2D;֯(?ztҩPWf߀vߣok]:\`[>?Z .r6[e󂀕?!NTO/NjET} Dt3, 8T`]q?_?H qT=l,UIrO¬9¿jc=jgln i N "IgZQg)RK!q$-I`BacluP B nu'S14JD>qE!L#V{gv0%aƹ*aVrn걍@#k+'R˔@9CV!b Z*r$׆2 t8cG/2{z{#V1>:h2_L ƇaLVDy֑fD" uD:%1lj77c 2K:v |uZ͔։1gYĜMFgUTD_UGOaɗ@QϘ%Rdnʔȷxhz:<(_uyeIwvCޠ1d04f uh:0x͓whq|!3Y`GABʊE'?Sƿ]SI=̜\LCtOPe *4ӐE }QS!Ö .zm£95`:'IA)xnȤ)=4m S:H^`"c df8):{܃&JB|6Z %134 $3EX?ei^$UĎ)YFc99+i?/!pF9idЬ1x@\TfSܢpـu0 ?fg :q5t\.D6ӋSeT&>J0g|A=k4Cm0 ǒV)v \ء,q 44o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodh5K) JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`G`lofS|C=\$ H☕|k5lϸܤR2t$ ' ۀˋ{|Of\q u1BqLIp[_0LRcH  P 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ}Oz DdwNIPYnZgE6( )dU$lϬE$,hKA4ǂ4\ H(ܒ @ HBi- 'pyP8O8(G,`hH腤y b`2HUQp(c ZH`A<ƽP&=H9^xHj==AQ nUjg*z%1AV>N=%A[ Tgas`I \&5V('YD:( =cDxORcI9EBr)I >(G$'$!ãI 8 PKP,  P4"Xh D:s$RX0 iICı$DxgI BiwjUۆjGC*mDFEUDU_5B̽[sCv8Tگ쐝!5U %6DbŶ|*ĽZNKav@Lj@wDk0r$kX I'9ҒoYɂS I1,Mb ga ʁdbxnH>$CQy!s pa9LB0Y,OBc$08A`TKbGVJnqUWeуa2QŒ$I4-1!O "i8sE,qa9O4L#:_l۶].˶mr\reߙ}[oz;oy;o۶6޶o۾۷۷}۷}U?mm۶m۶m_wQ̐yy'Ӊ% яGt]OuuχݮڦٚٚٚU]UUUUUՏwfU5g"ީYgf"ީYIMIY5.f"ީYUUUjm۶m]UDUUU뮮ZjzZVUUUUU35SSH"EwwwwwwfhV,R*J'"ޙ٫~gޮf*ݬ*\LUL;3%y䀉]L;5t~~?~u믿+t6I9&QHQw &2 $  0B &&J=V}P_-y]w 7Ef%%]PVoPx3R0k}A^1[ʛiv>B }={)Ѡ?-ZUgZX;4r.] 7f("A4g0cO pYjSŝʦ5œky6l 8P=G m[ GYB\r&ϥGXkH"7x!hXRs`~~"3!2AܹLa(s/tHvbŻʦ5MKhc-1yzg~z{hlw(Tމ)ƾms2`WilyLɅlg̩Fʹ*+2 Z $5psNAv,Pۀ<8mޏ L#XRsk a8ڞeU <̨V/f @ãiul2y(?QqW)} `"r47l ʹ]-h{ e' :N)DeX]IN{؍vh`r]E[4SܼmlG=?{QiYr'QiSWT;HVۢxaxi$x3E8:_S1OfW0LwvCOAzV b롉utW&{g jwzRHGoq eE]ƼL+;œۗXlfS_ H U]f3XoÊoPj7`Srsf ضzNTu*VyJ.!Q_#=1b\ɇV7 [9م8n&ϵ{ut }”FCua G|v:5ݾ C{G6H[Ԇqym{a]6wB_9\Pm>i$N[g"`c&eބN^M$*hw]TGpf6C ga d.pV &Ykio,zL *$(̎>'YZ em4ψ#::6)ӡe$-ӱwR7+է?Ϙ2ҽK%ޡti (/*pa=۷0F"[~ KGszfzdt~~(]t@ ģ96Oּ~v܇κB9\oW*ԇ\p]>ڙ&֜ ]> TWQFX!@{膏,{GvAG{p#SpX!vzjZ@Izσ!1. V^J+nP%W!#z|{Y\yJµlOh=[qt8֍EE>`x$r{0IhO@wd ?xO ~ !hͽs*AM}ed@Q ]ouqXeP ^>ӡ2+ZɍSkYL~S&םyNVw6[9¸!|OA &ba2?l,JQ⟎G ܆֜rjHtۉk2 O:rvn}071BF!W#wsϨ-7صbj9@q04@u" RhD,d)0kqk̬QߘKmewmNjE?)^\coUSM[[Я1N~И#%=Jb7SA\aҵr4IȈ4"ؙ:wV0j.%Mv,yoe\$BW.GՂCUnܐ|(bIJպX#3W) jptAV'ф'ނ"iN3ސВJZ4ɨVj|Orj[04u!2:= 2(.8OfSxe5"V ^]]4UıY ^ZJ UŶ&][)Y8N37GABdŸ"cO"<3afH kvP(wmS7<Юߞ\KR/Tw+ϻh'o&$bKMYG%\ΰY(筠ֺɚ3kXSٛywU>g4U@$_#FnyolNyHi;@hD؀S]*e?^MTS礉~cN hYM\UUOozz:BFB0eP.k ooͦaJ S*UO-sz C wKTRqۘrbYĨ aӇ(E_'iɊW9΂(2-W37=4-vSdKQ14=t[e& -@V1Dh}(ІgzG+o-; E ps\@ 7u$ _{vtldnҲ1RZU_<}ם+DJ8ɱTY2l9ӄ%B:MGxFnMtѭ6b3CASOxseScg_mW3tҧ!>Ok7qqLRn}cbF8moݙ4D}nLY`rLQaߪ1e-hp2QH ]l!e7;\'s4}Ĩ d_' 75͆4 Ò,):)H,J(kOM)}6~3 JB(F8.{g\(2#M"yk:Lldy -NIomEfͅ$@Mm)'iL3\.@;uLz Yľ0O]ǝJgRbXRjL_=a/Ŵ 7duʋ*mNLl󬲴芓ji~ΣuEChӁ13Uvۯi%=HTU#&B!@OOo  9jRqjoE-9fqq_p6?,龷XA4l7$f&ӧdm*aCl$qzOo?v.tyivip7U6PicN p_4BwƏ!T}/a7L,rzzf=*Uw *֘z>抹~qsEjw7<$Ync歕|v\T(]2GCe=A"| 42_13&9,(.Ixb78pGP:+FcOߙ9tyr_S'5!$[eiܝ48gnVzS;J\VDm!L̒-GX4w`ZiKb/]f(EN`L\Sb1KgbO# fjIBѸeniw@z?wa{BC 7['\ G8^ Q!F4J=u[\ 2 B/*Tʴ rgYe;48hNߡͩm$Hk $#ZEu۾~=~bK@|)S Po?ž b[~Yu[tdˀ0L uk[ u4c9^oQӳ1۝iOr;Zb WaȓAA0&EM90 e7:oĞa ?*39$.`4TeT,rT$c3%-NOc覔U'&9Rǩ:凐!\M>YP~4r_&m- ^׌ԃI N&LH8PGX|b <w\@u a)|@m>iJJWͳKL=NQ{/|Ql @"W[*?2%Ō9>p2UgD9F- QneHLdut;6JD4͕mM(}ҩ6&4 QMVsWWXЄyՑL?<-viur`ر{e@vuhmrl(7A0)7CJӌ`vj:8@x Md ][6BU<]'Nq M&̴XnMm@MdQ:3KT8afƢ5<+頨IlGb_;Z_ RBcm4BS[6.(/o=>4HjGSeY M[tj"koJme;n x#>jU|,U~^]u ֈȫȬQ~[iGQ]pWbG\x0v{izO&9|- 0SN;5|+q9;1#ቤ۳/ qslg'vAcinDŽLF*nZ E`qLe ZWH+ku®Pڭu#sXӳ8 a meWD5HgSq56,G:!v^ {b v,ˀky']hR^?eahdn}Ό؞4&߬D _#cJez cOaf"%4S$+:KdݽLHOj; @wPԅ<3>n199}L@kJ)!UL8NLԃ}fy>}q]k\#N>&B^Q0Ⴡk!$Æ(7 p3E^Ὦ6k(>8 ~¼@#4Lu8b FżZ 9ۼcXZSXWs B)F7JK(Ps"t};peqses/HQX0RӔsSFRRة\ZRiq iKU'1gԓvωW}Ұ*pxX7*tR ).xy󌍚;ya ET,CJ]bX)`iB!vd鎜 7 -e<2Hvl氰 z}8"ib3D I'wzb(By'sPC$K|g""Ki DquF8,R12.j!/*Obe ٵ>>hP8GMyҙ0FBdfhqRDmb\9Wv B w{9)}t0LUıx $ˤo.j/rCpMY~ ˤo'҆y} afi (k{0E:H!)å yy_ MR~o$f0Z*c~KZlj8p~&}K~ {KN(u28FB-Fwȵk /O7G_r 'QtcTS@—9=4~|\S;, -yף2|qLZ`CNbВ1bq@|WWGڄ1qx jkӅ g!stHHʔ5煲X(:|JCU:Rpe,ʱ]7sy]n3g8l'ÐXe7S /We^vąY硹 zTv{y)&7 <'Sd=0^YVIC,sR_zHV 0 |!I$:?1c lHULw`蟷q=tSUla}gIt嬌\I(GBF&9&k1Qʸ=x:Nc&>;^"ufk,W7a^mY%p4Oe=('<32 j|'vojFdC*<'&Eɥm +"򀳮$`EaYJ/lPtѦz?*-u6e_=?#Pjl5@ 5LLBBCq;ЉNd|d QҩtlQgL!HSXHn14V_;ecY^媨J }MW>!Y>/N[*>O,M-O|\~h)D #w U;) uu1Jͮt"9Μxct OJH'7T*!ʅ5E1m=FHhEz*iDp!k`*-P|Lz7}Λj[mWkz:Էn {z(6X^?euL(li§)0ma.+eeuHpfMܜtۃہo?@qV6ǐ#F$bEGXw\Ub(;^IeRat].v4:xW :J]vrjؔZ[_HRQq]a3$r;<>PZTzR>D >^jG1HNW#.M'M: rx$ ,՟DAHn(ۜ) T;N_M d&jf9vpTI|xyb7Bws(wTI3rWq+HE|-W$JhRIvB\ R$SXFI>ff$s6!}sлȈmpg*4ޔ2rRG՗+Py{!B9pF@bͻ= 9nꢖK8jˌis- )>@TD]EŴR%a0'`;d$[&.^wZ5zcsݨs4 = n6BSe/烨s%uAbw\*A㤙o @ml"(0`ϛII+JNj,jU͸ Y=cWiϺ6;M|7.4wX[ $ݮ"B˜"lchQ!R-+qyh|?ÝgG DBSԗKkɥ { MIXG>Ͷ3d |l&h!ܔIBF E}FRPr&z5TIX3 jsx g< W=)^&OׯqRˉ> z6GȮ:5~ L-70t'&dȪ;ZR#ڱGgp[@2I@5tm!g,22GUnQ]{k+<7Q9AG8s40{!˸3$t穃}s#T7oȒ&ኘ!OI Ae :AY0Tck_u5T: 4"8WUS; S-O,)Nq =*"lQ t{QS,j2Ҕa2TT$]bpUk7HfI;|ObPŎ^uZ`MTW7Jm:w!әֻrG?ֲdǝTSWqdU;ui+twx:.3zCϯAqYe1(p2}J' .G`S I ˄dmnwaaJOR' D*^i@8ZXoi~GR PLSe7Ym> k&zcªzҗФV]6ʑHijxvR_?K08PM^^DeqkF$oR"p(OZ"q8GUA?_RS%T7i:4JK !A͈n~Wͣ%)0aU=TO4 @1NΊp%ꉙ z+>Y䱏J?NH cBA&I1o9އ߆%iB_eIPno ppc6ctT~”Lk>P͞0q~0~RG9J !-ws5SIJICED 0`'Ldotnh،ʉgl˭.k޶7+/#P g/ǚGIKKK3V=ߡ#X8K YNۼ'LMx79;nx[6 $`n>VDu>ఛ͍@BYQ||ђVmꚯncZL\Zf2^i i  !@;c9H@ $1A bC!BQ D%#n(R`Q\\ͨ-#-PK*o,9f谰+>Ċޖޚq!B0h6C~c×8͠$[:ojR5Tv\!xӯY=aYDX=+܇RTx||e_\Xe!q]Wsuzg73?7)>1jHsF:ӈ Ie%{tSVtSg͂ uw4Z+fqS9ϓT\*`6K$GHQb!ۜ9׉t/dpބ.rqQ^N :UR ??b#qD>DT݅ɰ\]H<*{Gbn﷩ T=VEJ@Žh7Im_ΏOD O?M[#w̶*t 0*8T@uy.= -`|yrs=>! ?Ȯ'"Q^]SQEE ڮ"-Qp;x"Û΄8Ƕ ZAD"Fϕ Oyyg|ꏋnr" BoAN&i;Q˨j>4}Xu8qC)l#uC}u9uF O(˒^k2(lz~D"(ڦE,}iC˓ſ֨GpL@+}_yY!yƯXF -T穆e) ]zb:YvP<.rpJhZC/K^-[ZjAݞZ2xq|&6t1T dm%0 i(hȍ(?!4Ҡ;jiyD߃Ȇa$أD84HƀViћ5tJFU+l^ ] +VOn۬lA8mzPK2< Z//`E]>4nWXI{ 3Y6)} ˋ1g~|HyZ{y1:6_sJ;Wea!Q/QR.Ә='{&'ۀg&.>tuQQ8}g0wkWFmXc{x .qwH ?ne'P-eC[ iܲƋJ8zH)l?/QE/b&"Jw4P=2^ֆo]&dȹAhrsꝼcb\fgpK٭Օ*0a VVIŁ[Cm8ɶ28ABY|9976cЊT"WoرdxhOBNZaFq`NBNL ldV+x^s}?>%r4LJw?a%~BVSvYI `%>u rV(S,f|P *FY= wz{f*,&w,?hke’BO*0V$ U ; *+oSS#RC 6*3g2U#>%c4yQ(Zaakia]eab(jRV=c~oh@mbd'[75F. 2 H0/jс:={9#V̅t_YԽDd qoƹBD is"(oV2m#n4_$Zkr9%9>I^(V@+H|kU#ZmNp0>(zI'  A ]; 5O' nHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_=G4# o]?#[fq@KIMM7r0m*m6h)$YB[HE׬Z5 Ӊϖ;@3HM7ת2 Ʋt| Өx]D'`P&u\\e 3^~fkY7b-Sr螈Ariq:w^N@'«*H-f2 8LN-x?GUR7,}5[͗ZJfƇm'0c\-f2bu)z%Pי&bwEߍҢhNO@5k~,gciPSH&B3 Z@0z( nFQ_̘+m>崮>Uk9<Utp:BT.d@,Oאntpy2Ri>ɜ)o=()ZK/+L=oWy}b=J!I5: eB'{@P Fa1@d!B ###.&eՇaǾC'Q!"mxy` l7ڐFCO4҅ ))>D ڈvVM1YCl-Dשu赈'{94raJ@_Sy:a\'UT 5f=7vG" M r6s)IF%iBf^XotO@xVyr]veE@[}^P A,f߭pNoг {Ku"gA_Wŀ=+,Hz쎨q_la-6ڏd| R~'|G s;:ol󨉄MҖ@RmL ݎk?n^n qmԇ&,)jyצ48J)l<| 421I1@Asf^^~ۮױJ6(Fb7@cJZ̾*|@hJm lT|,Mu֝0)  bMz*W53X:Pe~;I"'3뭍8¤1igAmC1B{*Rؿs}8QhpxMdx#wE/ xě16_MܽUi/$jFk\"2S/H~]C?"[FQi;q*@I>z*GJ<4q \V6Z6HW 5 w>ax2iހ0xJ$w}"B{Vъzso8 tc„,EI LFdqhR[=53%z95&Zڤmza GiW,쥶@%fyrb df5^߹\tNR)Z?4QTIER:C |@H;`Qh!E!Ř'JD8>ÇTl|?[D:6u7ryx#\'mhoovwؽݬGұk}9Sq-A} ?c|Ţzce# \rݖQOlnlInxƓJz1t qC2?)MtPa3[ͬ)T :FFyh13% +CTkb&0ysy+ueHFCHqN`4O<=Ex)fF^У!n3S!ΎېRW)SaPy CC0)҇Kw} U^gKj2 F3%SݥB)b|Rˍ&%&|l~yUqC<{^gD~W,dHco7G`+k|#!$ UQ8UiM_EtFNc4کsd:Axzt2IUvA)hR4j1cFqmy~oM#8 4 $Y?ag _@U Ukg<Ěv/Ŀ>LwƁiX }n[p%Vx-s%}Ll+FD^  5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u ' `gRەI^/|Ĵ RiSb8f4b02Z#Hݒfx) s;v s!>_"MRbړ!X~K\E 3?8PA5{ ĺA)|ƒ*Q)7 `afUH= !ʊ%Qyr, 4̊Eضhy,m/B=L "%*+<CrT45JvBL5"5c)h:Ƀ(uA"=XՈXjϨeX)1f{*0w_< tNK㬭SYMRvmmUbkf":v i ?.D&^{{-snc&;:oZj'orfb[#>j4ʧϾﻜ)Gw$ q r!m~7ok橴mywufAH+g{qkfEllh a.>TK}SLcKF)Fx׷vƫiͻݛ#IƞǤ$ܺ$#96<6˛8{F:?M~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