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 qq'5|Ftf 5- UHOL-Nominal-Examples:threads=6elapsed=291.938cpu=1467.872gc=93.460(/w#) KB;7'i2 H}Dv2e`2\N25w_!a֭' (p  G8 !  $F HXx`P<  H""A"` , ,$   8p yzy:ߩmwz:wkr~iwH7Hf-FN;(~Wl̆nuͥlƏKf$1WVFetk;!b22Z>CXIݐLH*]YڹKy-~>C:*%IfڠDwˣ]4qJ$׫r|2J+N.b<1窳kD!3t7)ȹL*Π/c֚ȒC옕$ )fT;|#G|4mwVe}fՠ]V7yϢ+-K"vK3֑XU8dδզ2GE~NS3GcTW$C4kĒ.R2؛ޘ$?8l8$vn2>egը3^?J6Go66rMfCHЯ-Wjz]Kΰzwӷ^#C?!ve+{BdcV>-ofKڕ:d?OE7'~Hj3MWWzʞJu뱧$c䞼:Z"'=ڿ_C/m =t$ztu]vn&S"bE{zO^,FcxFGj4ֆer,'pl yɭ%t4Tt(Z+?W&6A/Cb\?<\]r;\^~Rf_ZfWUrx^J4X2 ]V Q4JS%iLɑu~^6ddYS&66EC8Sqz/J{R41{/ztW_Q+c"Vz_m7!,WOd^t+y+u$ʔLm{g7M;Tg;^>D4ǖ&❌&;/"ƺ%Xfd'c7XHm ilC-&<1نh"5אU 7DRIT&MovOENerڶY[\=׫4knLj3&L噿v۽g}mt4ih%v?>幣,Q 1c=]!{ifnhSVٶ3G,E챰a{l ECpYR`_cר4Ovq`,  h,XD,H,`< 0p$7h5_ÛuB 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.thyx hz~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h 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#se.ad7ٓ<1 3vK+E|h̓yh###9>|w:!!"6IzTI# b#$ ~zQá;аƍ}/.PMHBLnMVK_vP*~V\eXNJTRA8 02qRgf&Pmgֻ e00Xmb_ԯxxF%ZPÀ~h(w(,тE hAZ9:"vHx{oz@kRM"[z$Qyf޿}/ٜ (yJ&5*1ZS+Rաp(R%PT*jyTY6/ rUSFK4s8XS3e8`]Y6>:2.۫O;;8R56rcSͭ'CDNDv^VE1hڪ_21XyJ%IgZRy{PJ 9!~|{w t s r pnkidc\[ZYVSRQKIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% " ?821-, % $ gPo!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|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  "Z@xXVi*t!?6<ӄxBQ }L,|zQdUGبMtԀ h0dvM+p@n=i /LQj`a6q,Ue{#cZ_K왢E!Kg%F +)<'ގޭ_)̂n2mVxhDavqi|aO_l"cgZU-_Qoyݫhdͭ G.$9ӏ2!E 8 J*sV(4v@@(`ajl^*O(\#c ] LP~?=ܫۡ #5!k|1XCOLzѲy- r82`3UOZuN,u>s3Qi\Dnjpi[P&dKGśG}ZU>PihLT>%/ۇx(Xta<9YrS%r9e">$r]n>)+ր2BQQ*@*HQIJJN1o7,\3B+ܸQxV6bRJ+DZ?|T|@K&Ͷx>+{hEuXjd~AwÜvzwaog[o;\Rg3{KT]YYU8@\1@;.i6\9YO{%qFX1BDc8h+4(T'+zm7} AS,q2$00MvDߔJ WYJt>[৻@jۺǓH.{Ok?]@]{ }͛QY?e#Ei4r\dM_c/];+5R ` .BǍuռX+#_2DGN]ˌQ<:IdiPԓֶ/Ê TXʢn9['*6t1x@t͒f+F95*s i,yE`Qcs;cFOK<-L pGJ]C+zvV2[ՋkccƟY e 8+\2i͸ɿm6^vv b6f `#$i(ZHU)RkΏ nDo㷯 ΒAI(OcqM-o/fa/+-;xpCy"})2!ŪNe}Ha~Gi0>F{ٗc%:yaS .bRHE/r+W\@N`y?- Z D*K":a]ˮvT=njGb|Na\wlq~]'>,g%G )iE5gf`̍3|?.\N)u&Θ6㬶xsJ%!1~w۝rVFm|>/d>1~[88qjyc \aɓY#7d/{/Aѻ4 T[cGbܕ@N t7R%vIf">#~ Xȑ hNga W!T= ;]|ъlޟq$1<ʻ2}(rea 6WOE_Tm>\(@L(^!/;=]NRڛ %" Qٍ 0HSA~dBt`|Q \DQCR2l;PjWYS6^Þ ^ ~3C |u_*oHSPҌf0﬐&r{*lo˟[Ӡ2$5nޤ8-lyȧԙY@kY< [hbY1!p\͹ KȶX]FЅ^0s-;@-6_|00OUv[8WR#)`,=;*!LPVUX|C:6Z ?\/-N\9. (ukWC?A# `0,X/!19q៝P8}_yyArrO/*aaYȵ \g|⋨[=bc%Z#C| Є}Z|~O$_e~|Fue(n(޹ j 0|EhnT`CV<9a,A1@%I$X&>EԣɇvEt~㒓!rD Tz-m~Mw~־N,|9붨Qa=n*ʍB&. qe7O`DYCFWw37 P]JdԶ .mD#(n",(M/Z?fw(pJ1v.%j^ruc݅ ΍mR E!Q`uLAkZS6rn~^7Um\=(!\͹9A)K &m^ !7k&Z5u0{iC+BkCĿ2:EV&AK9j8tyv["_p 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  -'PJ5dZE7bM9t8S˾pS-.z<B(p[fZUk|ܤ (JU Do%igu[[C9z"2vB DO{LuX%b )$9is"+;7ػ VgύUUve(ħ v6rUd[۞p⚬~J>8q²g3qHp^$\bSA(]bΠ =̌A;x)־]&Si`,GXf vN^Ϟqq_pߪP׃ ciʄ#0[KiP=Co8+G7) Md=nԡu W& zqYByoa SESBWjrD(-챋 S"dKJ~3e52[yn[,&!uv6Zx!"g, y(k trb)תEZo #>J]njACAߦ!8"*dDw4*^Fjʪx*7(wI]9nqL ﮳!Z5"c̶*YK ʱb)*NK$@r=^Ǻ;r\ge6hitC?OQGNi(4Ȝ])d!:-D3)`V٦9Ҋ)sƗʟ}sX_]le#QHk_ĪhTcQI0r8#B\sw .E7)⹬-QMMuV}6Kmdz47ݸj@ߴxCHc~q ZmEnx$#Z8FAL=!67fr 6G &dBq S;Dxw EQ;j BȁS amQ>:W|>aǏ~M&TX _0n[ Ù>u%ɇ?Iux7ERIGgTv5d0rJ.V)ɕ3tG a@qyweiMو4\2?fUu 0CBho":8Z '#.{ϔo!]<{x,W#wЊmFShk0 T3zpȄုᯆza[ UnW߸pçɓ#9B;8N.G`/Wo'Y\2qCm[A VӶ;$0Nc#2zL;9D^Rٸԙw fuۜW(pᐎ&_Nֈ6DlCL-6- a)~wh&:n4薲v ڎ<3m_K-$Wv,FcɨDy ͶEɳy+=#7ŏe[4CGOvݟF!{!+&|0q 9Mv- %jy2MX!$W 9=B_&щ%$1ԭLO33!9'O+Fx4͖g d0G1A+1MƀcAb5$h\YGBգ{Tv>Av2ݩI!K `8v&d۫'ۍKڳuX;㰰H&6:? ZI7氽C,~2!a/$ \VDBygckuIo1&e$ͫ р)sb*>Ekct%,buɅbᨘ:R$(Y@x1*?7NHL椦]z_}䃍ådD9k  m+R0&M.g5zp2NÉ7.00ZKM_;Y1O#{9!4tہr?;8 R1$%2A#~cD1^\ \@ RH{Vj.眃RUbVlyygTHf \Fna h3C@k)`H?m6V<;9hu9s} ! x! 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#se.ad7ٓ<1 3vK+E|h̓yh###9>|w:!!"6IzTI# b#$ ~zQá;аƍ}/.PMHBLnMVK_vP*~V\eXNJTRA8 02qRgf&Pmgֻ e00Xmb_ԯxxF%ZPÀ~h(w(,тE hAZ9:"vHx{oz@kRM"[z$Qyf޿}/ٜ (yJ&5*1ZS+Rաp(R%PT*jyTY6/ rUSFK4s8XS3e8`]Y6>:2.۫O;;8R56rcSͭ'CDNDv^VE1hڪ_21XyJ%IgZRy{PJ.ftI3iUNթy){Hr,Ya-ztLO^{-gE;* FFS ./TUB7=%iӣB9#Ne+%@NDT% ZɁbI5,7hrjUyni Y:5\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  K K*5K' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ a8'D x1a+"n=  0y"Uӯ84-H{?cDE dM4̊ݶ8'߳" SǶVTӒ™*G@SS=6wfKd̩q bMʣa^ "5S#eTȩhΌFCʨʙfqw gZ;h4O3zP ػ,gjT\` <0q(BeDD&ɹM "MR?ͤ--(q HP8h= 59/ԃ(j=:ILJf4O4o, !!`D|iniT"ZЛW9Mj>T7E>ˣ("Ծq/Ux٢z"H .!@w0$HKzv@AqpgEĺ<fwgf殝ik-4}|DsHTRQtO33%_n%YTOV6_nXyM ˿GGweޙp0hQ!jbUrݐgTyjhz1nݽTWt0T TvK3-h k{?Ey+n'lyyQevnjŢlfA"!7xӪ(4TM_qY(I-~)eظPgL P:óld B8<m]t8a8BBȈ,474(PVi9J"0(,"$0 $0 8pI+FxX8J7y4/UpncD"6=;DK\ibra@Aoi4npz/D`Ѧ+c(Zig+2:]nsS\DV ׽%^>ɇ[vlVNzx+x'OOB~&0խ_ 9m}w%_eS7w|0Wr:ĉDnr,fui;ba䚛OSFh}eBnl4[1^ج՞\ yjAu[ ~DY[m<@VKϾ, γ m|6Q5.U>}p}gEeVf' 1y$ v7jc F(69AVR-E5` Jחjfu=>[׆ |tH7eoLo &*!VaҳEOcc|H~&2X 475]' kqEjbQ`y*6Cv8>56W TG`u39K}A{vE ]xϔJj/m+EYhjW&h\.-q]F^`bv0@eZ=S+ 1%pa]Fy*i(֍dgXX\[S4ta9L 8EBKVS_0c)B9 ‹T2 {P2sɾCDžhs w(+f~;!JѪA%S5B5PqݘG];ӌhش~li*u:nNϺjZړkΪWfGQy{LqNT|(+9aAUd|b& f d&q W FاMN:0 >m\C&Hi.L3xt{7vH4x1m>x%cwpP?V(s3kԙFfz^rضP'>5<*J*O w,ɕ N^,dBǜFcx :a۝)QBf8 .kjyOMthqDg&љ!UUxW!Fi,|w7.errqd+/@;!Ԩ1O}VLQH 2K69ȬOdĕW*Tר 4I͇t$Z !,6)'nyEK)od{d`ݷ 櫊Ŧɯ->Cz&f! ~}ح&AO[V=p+0U]yAI5*^&g4o]!Wɹ 4!T2|IA~AuF'xȥk|oΟëá/x>Mpl&nf0&>>ӑ\ 3\nl4 lXφ-=PdmYhiTaeP,-|gdqXl4*nuq=cX0X9(yb=hG^DoMR)(n+So;I?<]V2]D@CbrO%+}ErtɾZqp߼ SɎfSw1m.zF]m)k3dA_)͞M~+hͥzqW& f3(g&uIL!h+Œ*ՐU[n|+4{yTW9T|œ++{q#g`1? ]d,E4t-OTM~f c`=W(…qNj%#+uAY5S <k$4793-=H@>{4gmuJYF3Zwehy`jtDFCP͘6vE뫝xyO  xBS ب%PLW)r3rmJCmd`=5, ԚTb9]P$tgK dY Z5mT1-).^0-T,O[v *BJZ{GNiG!qv:EL\5Aom^-Xdȋhbd{bN)6l^ Cr+1uHHxe5ӇEz9I@vA/*8OUú2U C~Gw]'(d1rM 9TQWv%=Ӎ)n3Y+KIT$ G@E) Q #M>7R>~\a<;={s39z.l~Jli/q4=6%ϻ$&ѵ2l0ohê\2ꚐF^Ż},L>.Vvz8[2ر5FS]hllN `XsMLj,ջĜ8׊m#fh y~Bu#BZaue?~crruLDe摬iM|%rSGVmInaL5+8Τk n:yZG`E {i+b?HĖ+>y宝s.qt||!$Vsxrl+ ͏-zTK3yJ`6S?2r%G4Wh= (ZQMC;jh0saeTˮ55<)W0$W(,/b ům }(/K Il:깓T& 36ȩWsi:,O3 ˵\@''yF'N>nȯ@( .Ih-iEg"]?r*@XjzH% } 6#~ (xvsHn5{Z?Ֆ"pH3Y(VO;WW0A[6^Pƛ ZϧJn;rl;Q!4?ȕZNGfbfk^lhXKC/Od809#vv /<U=WNj ~^tZzAa< "0qؿo?oٶfq䈎rd)%PPPISɣ!yL=SGC)z4$zTa=6ON߶/۷-dKiRZ [ [ [26}2-l_l9ͥܞUjUZժV_ڗ_߿D%*QJT!%*Qڵm/jj|/$I0#Y~TH\Hܓ.If^&7WdiG'6* oHFo\/'/Y_ 6#~e̘>~$ʌn ):Gw=*>!DEm`?oTqLTQ&zT4UVZKEEhr$]ȥZ"LAM@<کKzGj#Z ۑQK>:^i:? U| n*B{u_*B)8OS?* ~T#K{v~ZFdhǗFo=5!F3'/Yg'  9/xeg7q *sLqoC"9"KӾȀt6V4f Dr*v[9Êw߼jBDurN+يAre_'DBr2qʖs"H Q.dI@*1nZdzy܁ 2!ǚ~@iy#!V~ߝ=v_ʠ|@z72X' ?Y,K7>q%[kɽmF=_I['[?뇜Ws=%1O>O33@3Fjg7z Da+d. -B)Qs؀%nV 98,U˥v !˯"K(9%A{He*72nva>IoD߯#I,Φ,z cT/ȭrMӨlc }-bACp9cX۵FWOh]x/osṂ 58|r|.lqxH3\ܑ61Ul7qB#t47s {bf2I=,G׉XL&;bSiv+ U=2N7[6`O8(Ôr WZK_mF8JQ[PxzJ]VOΥyqEKcv:J ĶMԢ/bASitv"VY YfCe#?u,n#X^u>.QTaӻm 8gPߌE-=M(ٖWn{i0o#wwb])R3d&Ӧl]%"€G$ϼml~3@ieOf6CuNLm_Qz]δf|+\ 8ٽ +sn4vw|3!7=êk^qxgeT6?2g󗋕U~b>`wQ tBox\JCGW !0*]1$QH#xcazo6rU%"<'7^C:TFٝ;RjtYAm~g@n߲٧ 58}Cip\('|g⇧sw=6L(@(ǵ=6IM[ҵ-u -ܐx(ᤱ6/e;/Eav+1Žg'pDhnn? 2\!Bï!lFIe;ܲz*HgAqpK-O +nbit".kya& J_v^.5@zcY7hޓ8kDh* V2ٳ筁v#$atq#,t%,D=vYS\8c,]Z[0AĎ{3p- Քz\װ7&Xl5jxi<` ]HAy(/M wzwBe;z-1s۝S4pwQD@)=C{"𘌝>b&ݯwQvˆhx%JvL10q306/bp)6nOIw;@wjg4t`;ܘ=w* ^Fs0Ei7Uyw}eޫM*m}v˺؊MI4[,go?f,}l{٦Oahi s#o2xvXtؾSnJci:iMg}!P3w;%m. "KRry֪+'䈘~Nהy*}Ҭ+~|wyy=|d0.R%2=Zm|JM׶jP=a +Ud))=x!~KѤ'J?I'E}{* <bXK+aT9y70(IF(Km:S[zSMeKq:?OVC)Os?kXp  DZS @`ݤ]z"*}zIz+]nJ}vn1!cU RkM[ :S7q^DZ )dD7⳱No`m5jgն^fx[A=lmOv`ve 𮅻6&߾au= fc*- bYXM$>^hd6VkDI=M΍Owf3)bú~~k^MI} ։F5Fl ..k|JnHoΗP{}KeOlP^SThhj4fBJ+?RBFJ7aRw V$n6,K؎{̓Ta:XF)JC4s(Gz-küqDNڨ"r+?&wdrE3C!ψg~Gd.b״3 U1U-+!uWH{KKn0:A)n' )Jde+t k!-mecʦܧ^܃o-r /-2WLٱz]Q4H;q E#.Ù%~t=Dn)* 5? >/)奺j#pRanT2x}M /DDT7.G: *7Nͧw#-4GIDDxQ'BA./İD#MguQ ~,ù58 /BV9,_:am$4w<[[2,rd8HTg>S{AnE` }Ћ5E!AԖ$ jVK%lї%@-6BDĨ O0ӢP?QIqq=Kz^:t2W!;Ƕ&b zfXH 5 d45f%aLnZ Viڡ)[i7Wٷ$g9 }E`9TvK\&qzzUiF_9mAdF%W t_/f h%NegKD魤uf$Z!M2*u)YmmsLH#Y<;;܈];2LC!b3w7zlCx9x6XT?uJ^-]Mc{/6=o;8G3sҰm^5ͿtUCa<֠cbTxvi"lARJ9W-@p|aC0O& n?)jh/+O|+/F\t;h=KuiV=35{a[^)zpUa=і*P^$ߑ:0?{ܗa>BA =w:zį,LeEVȢijU.yDR6*sF5a#$W݇b,yuis[1hx]wah8ד|Մ7+ ;} Z%&bX?Zf RJye $d՞qC;)"!F@X@;`* X>ο)ͫoŴ5 BB]DziC ?^+_ $=ρ#\qrʧьlak`0oۆa[:i[ EUXV Y@Jw'`B44ˇAgWuwpUWQƜ'PDJX<"px졂;G-_BJQ[HIL}~KbX5 cשԠqn_U1Nxԍ~i LkJ֝Czsf:03 HC.kIݟm!k0E7[Yׅ0e@q"Osل損H.JC?&3îO'4Mw[f]nZJi ^@WIK]҈s7f?C41BJ q[{ثC̳y^ܷ$>ߌ #V# .y}h6x77@ܛ=Z '50&$N!nG $8Ws]-qd5CtYh41ҋ@eV`,2lYN#@lQ[9fhWa2TpR7-sBUS^DTT@X3AqqO/׫M>{tV87(T`?g&X94oB->hyZb=%Flm-QT-Q Iow!:p]-Ґ \XW O: 12[FF)-\BĠNg&EKeee]eD}x(Hcְ镙<٢D@Ä́ 3Ÿ- |abyQŸh2 ʋo ^bS3SE| njn_gA.X0v˞HPIv&'%I#  >(  =/¢(F R5qw,AQ0 Q¹ébL:CfM<" DL%>C@xnC09qk摐I@Dwju)"UO.ʵ% ΖOEmRە&S0jSfQ3v*+ j}JS%[iƄR/w4OK]@׼ :Hudž |WMP L7ʈ^qژTiVe}fEjGn%jFW,?V8Qm*z泊Z=⵪vdiϙEbey6Hr <'#[lW"A#{,Z F򸺯XAPǸRO,|z{v a Ţ~P-~0{6n+G~ӓ6AAWkkZ04B+$#?8 _{npH01+k3UkkAX-pc$wv&~LyؘmˊcX]yC_WZ')#rM-GWIG-_L"|Sc%}0a8/q阑[ 3I&Ra=hVDLKnS5US5USUU5UUSE>Of>S%"M{l۶gfffffimr!aOE͞im}OTU'g%U?jjj:ꨣ:j;ꨣo.""iHom,²m۶_{E^&K,Y$I$In۶m۶m۶MDDDDDDJ\U3n+Պ +j_LK-.*4@T ӪDLKnq.*6՞Vکjϴ$qrv ,LX`qqaQaUjϼ59=ӒPCLy+9ж'I"I$Ir#3Ȉ!U=yJv2Zrr??DC4DDDDDDDmr}BҞCfiOv9dH$I$mz]?iɽiKn='ۙ=DzHD"a@$ !`@b@ l;<8@;(a`Fw!aB5U +69͉&#bzϸ='=Ӓߨ1@ 6"0+R&@MN'16-Fn ăZ=4ALeZڞYu 9l$xj80q!a[t:g҃Ҍhu]UG4{-^ٞWDgޖ܊&򪟨W8P`I  ⸉Act5?!C|H!9Ddh!ǁbbJ=6(&Hń d*44*(FT'ufZr?홖|;@(*p_r}:P8U;IS ;g*oPLIΥIWpYG=Κm#PI#:?<* YBI6rVJŮn.MK#.> [MJ#g v^[%Ӽ[ŐcDBǔހ2zdԔMF('%!.k\V<U97"@ HL3S4<&thհ^2aesOΣ|Ȝ[/(DOxfcXcM˚$J2P ɭR'"Z-%1OH[MK;®(^{a8VF q2@ dZ=`??^G)7/"@p{Z2YyjGto: U6.X|'qjm |G"!US_wc]#5Gqrx =lҿM0bw9?!$w,̈́gfb;;"5:t y¹}{} -6g}GCB2dj0M ӪGaCU_Ro[O3_IH8AJnvй̯urCX͒_k˭N/ Fho!YZir1,H$`v t??VWkFX9=M+t[yhsƠUJyJA/ v^_k$m )A^XCyF`5}N`R )iؙ&,If [3B)T<(C?٘":MKt;<֓:~yk"#oYZAEw1QŞҌIpIE  0Z\\I>m0/V2)?}SRr$Z&v+BMm؃d-f#)J /i,8e'8WyG۶IN N@g.0Af:FF\IсR-sJ _D^^#N;T 7rz5SbT}[Za r⶷Wd=D1컁.W# }PBr}w5  GxcV 5}Ozrcen(d26$Ө ^RlI͎hghnSQﬨYnFޙoQjsX%֍ Tw22]]xz •NU:ZRcp:[ 2 ?Mx&hi( }/d i\/r [J=wܗrӀZAָ@kKݍDqMso~\ ߳pkngԵΞ{>]޴4?nծlJ27HRu3 F`CM0g,י/9K?s QYLoCGc ޜs%[٧ {#\B7Ƣ9+${ECG tm ฦy/ZLyTRZIu +=fV?oM︎:bkI\Lk.SK ֠4~[xhwDoZ@e &: :+tD;~Ц.*-ꮳ%>ц̴kJyl!T|[SO9Q$=YF'O2H?~ե1=2N{|6h<3Y$pWWP]߿Erg[x]x[*LOjWK<IdQ-uZ,MT$y@g,.@!ByhwV"]qpCm"cbثyJoҶS `΃< U)6VUUW =jlԔh~q]pzvM(Al[YuMaYt`)(biu"N;'f${;0k=6 5s,2%Y\A AyNYS’rT+5w3oBcxeܔ>|բɃF?%Z'&cf5o_R:=nGPKK~^_zS?Qf)j7ww.^<ѻ8%F\Ew>rrR&#4 n yr5o> a*KM,+Bfkoe&`T61,0*8:wc~BHgIGC H޼ڔtw㴕=ufW}e*x՚qSb:N⋼.Ulr'=REiZӵO4 'oi'UQ_zRkt0OC谉o4́[;4R4HošUN4p.ouEl+(O 5jX>$^'DS_h_ug|o/4`=KE- {.InmR?=b$'ok$6},=!_zf}p> _՝vfo18dPdGM IC.]:j%S6@ƮyFݴ;B9cW}q!Q\XK$3>PM"w˱DŅ3c]evFޯXbcMj:j WzZ!=V!,Y%`=;K署91St oeǚǃJ tXpP[Gۅ*aBpߋ@ܬ:o{iZJPS㯃2sL.h!*W\v 4:q>_mRbv,C=Hp_ҿfR~u'?YzHUZ3ƿɲ9j߾0>q)W_}aei3b@ȴ8 }/0nqxg>VVmh:_;֙JQWo;1_^qԇQ瘀y=Ѯ$ZCͺPtJ4QJ@u_PG+]b}=]}`vk8]m/sX>%`>˰o{gӈ('rab}/h tƃ xA=G}vdL =2$'gR~R°5"G Em?4xiq qPG{-"Q_&ܣsZ V;o!Ϲ`:[al> op) 68HO|< IЅAqv,&kh=$=ts;b 1r[//1}ؑ |{my{zkzz~[M=X ,,6K:B/#2K _LT9a)㙩Ɩ bX4ixu-/(BO YǨ  7Wc1pV"Fo$_Y_q 9C?ypI;lw~46 +jt{jw8lk8[mP2Vt!I<3I,ӂFN&D[{fz}㰌h|Lse.NEw * v~!gL`sgp3כh@Qy2l =q?pzd"NOh(^7/˶.C7Y5?u;R `x؞C-85xws.Vf!<>k@wS>]{`_>i`&^:wMn-NܵP&C:8z[ ɊKDZoY-Q믄 LV-5ދIi2D"mxliڧ+ u>t}- q"'szM{fxo^u꛶z=^(F_57ю52?FBU3k^دn~oUwQm5_HژlN}2gIsMfYJ,H)# 7YO}~gjaĥ$e?_r<-wBhq*w*+iwD%xƭK'7 vJ50o Ze!OQPWQn Ti/qHt2)3Wu .}$"@i/ tnT"~'v~5 p )BYq*3?\a_{_i!wk/EBxMƛDeVVOz%Qԁ$ϫ* %,bac4ү5!A16bˢ @}36s5X5+O+3zhb>`$ׇNp>c#3;u^1A%c|n]- W9X:A7u2R /k=i.*\ Tx {L+9,篛}/2={]X~OIZ~i {4kߓ{LՃ==U C^2e螖 ] lA]Vj~|n*e&T7𑽏|!B[|Sq'V\_ -Ė3pGGy >q>i$Dt"g߀poF,|ݖ]Sw45* =K2A^NW%|Ub:]qN/wof+gP;ZKmCc KW^Q+0}0̭}f0o|zThi*wP`B-~n~\ K8g7.K܄REr65A)iB0SCG,Fp Vy|=OȒZEu o9>ʬ~U=o@Q}ŷ.Vl߯!4w;R nhe>̖_1O Lnpo[E~DzgOڮ7|%ȐX(]<9lMwg?ydb\ӗidQ]R5t2za’Aˤ)K/HsIhOiUkhh}lv`;(`H4Kmt~?>?aNljyRBu6ۗlZ'?nVo + Ha`0ƉlVJY@`'o]v9Ѷ66f2;3v^NBA`0zˡgDYArqYSޭƌyo#ݬU/=QfV}k &X(dj8Nmt`9Y:eRN K+,_tfY 8$b9K"r&HRK.i%"18|I$J$2SF"SF֔D Xz*4P*n ( i~v H&榌52,JUAQHD*/ׄ"9GrɒI8y|67Um4oHLD3êAK cH 1<%adq}@Ap0á`((ABD2 !&dz[Q%D M"%BQ[X2t8'@d㻮( Gi)5.j>+Iҷk Vhnq]Q>{ {i,w"Gmk 8KF73-2"HX jd6$j%L1w" #|-j3_L6ǣ';s#qn9|E7Pr<{c}.B!GҪC3>R\0j`%p@'-W(,AM^"{8(v5ciWeb@!E- s ]2K [`0R莠 r)]#61(jKrisEKLI#KvnF 0Io}Rf_vQT?rK.gs*q(1@i6^r %ImHJR] 7 " ~0p!@4zjFAgf # Lc}QQR} =giɖDGMұ6J!M-h cU PVKjg yZP!tpkͽB!GGJ99@}kin(Z DL%?l-r&[ +cR*: >TrR$d`4$eO0.<4J$xH)l3 ! JPт!O}51ț yjNVWR^ro j(WHËH Ef΁Ͽz$ 7֒^j*АsP\%\es~褢xZ@zk؝d3at-gSl }s靜zJT)ŷHw@C#*e.3m@t9A,J[{.僥mU$cH4KlqqSq69$Dr"tCBPNNʴg,\ +>; ~&}L9 j3x#3\G)L,vIPFf',Qa'iA^$Y4 5<2j@W9)[2\QTNn6<ѓlGKL1Fxs5+L)}@tm" =*~jBBANxoϨ:Ѣ!.7RJC4wGo%0UZ*8Sت#6Ͱ_c)w(E]ϪLjkz]2H*<r XeFn&:(2=VDr?b']6_A=ywF,EYO2[C x;7{AEwg3hv%HWJ8/z5{ܰ5}axbL>D"`/ &}RO'( ŶNN/ 44`-UMÞ8mZkHk OP(]WB ۑa4nR[˽߈+͜OH_1 A.7czSlYC1[1ʭGn煺 Yf^B,rmBX&ñܯ !$hd>PDjqcF''\*q&+55ԚWR+/s8$y V$*#kdG OF! cD#`&9tƧMC]Noj-0gZRԗh& hP$83TtRxBt\i|:"0vTk ,bbK"Td3Iu@h ( Ċ] ԏb 2 :R8h@.W@~`í/ěNOe7 a\`O3tNZ"2 Dŭ*&-(*o?2BK7S?ťiwިcJ'4ߏnH6<ғئ;}nm.ytT3fy`ٗʾvU1HMq~34*^lMy:]٪Z)q6Yؑug=5 (&ba .z\0ǢJ<@ap-ӷ>`r+ey۷Jv%M}}py u/yA|W=6OXI8.cBO5}ZtzIV67 ,o> XkڠTg}ڐim4TFTJ4$tӰ.Ƒ [{^Rn Iϯ`;K`*pc+4꒧t}n rQ<_r 6aO!%6+Q)$łVd;׋=|l&~r 9o27 Q+/{T&~;iDhN;q}<3G€it_ќg/at`6+&;/ ;l4@kk$9-ch2ÿCdn LBHVl<DuF+6d)썦t?ڡ\*_={<"Or8D)j(*gEvfP,jkr_7ixh76Vd)!gӞῚq zR^GBEuuO! iD=mFmJɌe,= q0GʌL\3{a8!̜۵r C3Ne.fPo}J U$~,Ὼ(͒A8ͱp o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``ܶ~U_DgYawE`˻I˻eTS>TD]2sHʒ@EŢ]~d2j]Ƹî2pA&?t1BLIp[_0LRcH  x 5K# nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^T( mtp& zFf==-eR<{h (5q(9QA"`Hr64T?!9 BCIe)BT' ȱh bHdI#i(᫓*ii9ņKJ0 dil+.8(&¢4Od!]!Y&A @RGq8N!+9HenTT :5T I t diDƱXRS xH"u9!3+DG4Zd0ci0KR"4ig@0s&1o0byJjII"! 8pJ$ Jt0~i,|H9EZ$(P4 $Y`sDaa$@ `@ɢ0aaL0AH H y٠IL"hHH$q(bAZ #-ʂH4H IFJPwgfffvfcG2YVv{Lgf!LDwf*;S#Uwu}#|~He]1TD/E:P -8u;P8x;u (O.F=Q `$_kD8A%::b0 #EDqgJQIÇrc?x VYev-IR n, #Yomm߾۷qoqo{۷o߾}۷oV߾u߾u۷o߾}{޾=y۾}{--y=o޾}{s̬f;7WUUUyUUڵkvm۶m۶mB=LD;=5˪B%JQ: eBidTTtA|eZZfee:f<&&"""""""""'{YgyCyyݡաwUfPf32Y!YD̲i<Ųi!GowfVU-vm۶m۶mbxwb-)*"TZD(33Ate"""bLDDDă]~~fUU?*m϶n&3[fe!.^e6I$m*3;:Pv\.r.\]..vl۶].˶md۶m۶m۶mgm۷}||۷}۷uqE94 4|  $. (   .> ($HɾE9hN}\F+J~˵*iR56[Hɢrre (V{r83SYdo'TUH '\趋* zH]Y[Fozv>p!nӵutHh MA کϊ";f77xuJv!:Qq- /GfAѪJ[#?NQ)K&^ &᭗oHJZSlc81K*k))ye`cWSNO`[i'dM5imn}u&]WC[n%b,ŽbjRš*_;R-\ ;)A?Uhrc^$Vʵ+ʟ̀{%xʉ A*g,Uk0#Rx䴡Pz {;ʆ'SQ;g1'rFh@pZ=Gu$v`K jF.y)7CSXݰn*?j-rAgxVZ[ qBb8jL>a9p|Uc^%K.}.HNl$RFY"sA6l (^>_S;x7s)<ɻꑇs5[O 3 ׉tN}v7T`N+%GkJ}}_bqe6 `Fp M7s ^yA')&xu'9qLqL6*% u0 ##cNk7;)&s Qvɺr{a%wĝMWnmڢk,3R-xs6<fHpcfJ'KJ!gsu,x|*p`9ΡkdjV]?o]!)䙗e-X9cV!>+Ք:̦lq^8s@^Om7@fSs~䜂nXO_P9I\5j<sZJwӅ S1)t:Vu(}Ssj6iмSZ1{OQjo#|jm׻“n RTrƒοq0* 6!*&@-Y[ˢ:׆c+KPC1b?l.`$F[qlkcOLX_[ӖnW)brh`GY*nM,T-JS&րsLL='S؊3 [XOtt$}V4E]gb1srҢPkv1ɳ-9sg[uk_41=4W@'~>Ig&l K j6Yt')w) JOK!" $޸l>x#/Sq/2V?~-A-wqKq1iu=g:$} D=c.r-vJn ZT[S6Zok;,om{x=}UkdPچ{ۚ#=tHZ˻$Cm%!JIjN UA xOe]xlyqI8_.XC8m;4x&?pq8f!*>2ׇ+Շ1+pAχ+C}d>."-Xs @!߃C)a.sXۃT[Ewxâփɨ"jvv"fC8 &њke<ġWsS8lohhg`h Z0P Zle_w(eVSTw(NVmVmEtkg=s(OIZg&ZY:U93sJ8=]N;q[GLu 9'"zsv3]#+_{ ˶$$-Qgl,IJRz~w+I bچ. ٠V$il,)Pc (  B` b0( a J%R\Z tt! u8<)Sx'(CLM\دEj`ϩp,*{ `XZ]?8^t <:t"߭L#JFWB+>Py$<&:EŹq# %kKlr֠oa2x9L- 7ʅoS6fr^z*aq4 Nzv>IѪ1CtJ/cegm˂K ?[㞷38_c d,wך>wZ+!Njjyh̺%=p!n⃌@VE:W!E2-TDKA^ 5Q&Ʃi=q5o GiX9t_&6}^xͼ]N|UY{3@'⢉BW\w&R:> Hd`>v&T16,I٥ r5QK`H9vE:VϙfRz2(x(Xbw _Ox"] Ma)1r>=1<"u0гL?^IF 1uzsY(jB^_f=Mldd $/}>sNYu͗za/!=NvX6kT31FnY sQ sҀC[%G)tU 0D-O!¤>>H)5U(-=HO:z@je8c.;"w[R Rl.ՁQ{ExT6؉|^k7%S'P#ˠΔ6be\&vTv͚M Z**EO(4ԥ Ā W".qT% <|5 VQ٩gEK^-US$V $?t@MJަD-Z2,\-{Uj=6bP76T߱ך;G>3ٕ@1&a+4B,"t;Mċ{u`Qyf U--J~JݺɎzd Ɠv̎\?/"U!j謮¡o; EhU,Ԙi`($oPPT(f?Q\^;8Ԃב٬†EO\lT46zO|&*'ZIav9(:WS'PO (Lmu PMRK͝u\> BVڲyr+ M9){z).&{4c& ilFGc l+/_{U9g^U 2W3&v4:~p`I3.8@/U{"}:(Еb^MJݭr7Sqџ[dn)4:V{ zvoʹXWV@-e-Lɦ/meu=UeGpI:K4d|` f`Kߦ\mޛC)!@;O#m\g=0t:s!J}M<& AnnDW{jNVZ ϕ]Ɓ4jlȳE΍4z0RUJn;t;%oFZGcDVW俣9SN{̠+LlsaGJus'_]b^%^_@gWgp]e^kSkעbە4I@V+ΧKrBUx|S0i4]9U|ZiyHC\1=aB*zReaI{{dAIʚƅftaSDh4ON^ UZ@IŸtʊT\6_dvxc[Uo_y|W;HX @8%r[HINk6(7~s8 oT!IqN5'9 Nk,4 BbgiЫĬB+нL lGK,-NDG?`"_PBj6m[gK4Mˡ'ٹˬ\k|vƦ1AO7rgӥM^b~(]?2:0AGZEakbwmlSzEe +]v$'^>6~FR N=5\u+b(>JbGT2 b%u21{a&;)3ۋ`:*Y-A p _,irY_7CVojn)|y$? Z0КW[+ۙZ;\=Yw3E89@ND#o9$OY1\>Jn&5{$R[M`70tSEc+Gh0W([7Q׎j^kSC5ԁ'z"6h^6U $b9MV[B5=/%jΤlxˋO rJ2h `t */6ֆQ7^jJ؃p"^&#ƄJ)d 4g㉃ԛ$Q[E,Ur!!iZGIxG^{q`ߛ< "yfI[ @ӝ,)n<b*5ŬTkLF%+$%7oٰ4h.DŽ)A{ģ2EL͔]^oFui tJN1K1vXE Q#R8v"?W +ߪ4=T,0` &XYD|Ѝ &."&oçPUzMsZ bʣ_u%FBE$y,)Ǝ8%O;g|2K+Xwxd5Sb[gu3dF ღ \p n `ƇMm o 8O1Di'J54@H45wt;+%f)̕|>m̖sZ&6ka¸_@q blM5 VʓaF-~ E[g{j`Y]""x:4O^B9_" SAzЛQpʬ.RأX0*a1Չ`P5&DcMy"9Ѯ3CJ$N˟',ݼZR(1/,=?վQ<@C!J.ҭ9r\Wdс pi΍~OG/nI2:W)@4d*顼{^e2Ȉ(/PBA]Y5!>_3ؖfu Atn$Cj fzyb*bfh&Riρ '8% D#5D}0Vvm[UtYcVVOT>B[(.E7vc=1F"]? WS<W"LK x nń lJUKz3/ZqfO0/h dHObdRo KRpɐ)T‰}=XϨ-/#@1d( !]gN~\[v/)K HYQ#ۛSյJe)tÒL[A&bXlF1?{ %:Œ ;WOKPR,(ȜrĭX,vҏ57*v`&%ioZ`)C 7JGاrf{A+9<&X $ m[LPzWeb @D҉U;2axTa{ @g͠gҬ|K P)†/ x C!'9?1Mv`"|*ҏ kfeU{Dj҉~J "lR#]XHs8H6JNv4qDTH(U4tyT"p Mϸtt)GX!SI^}᫵Rtb]n%,ny*rC_C$B$ŏƊJg\e0w'qX_/5%& /xӱXUc8ucƥ"䱠mNwpa rƋlY\6gb` $2|xx;!&80`Pih>1gaܟKNBKc2 e"%܁ir,- Pdc`wsIeIb{Lk9O;s4ǥ]/;fhg\kb4݅"߳ri)_??M/q٧]2IgqFk \L:AoE+;W@L w©j|hN$kCÀͻO jzcp\1$2+sxM+T9%RKٽjU"3 ; Fc1fZ|o՚k-laqՉ˦JH!1iYB.zjXQ%T0~s3`f= >[β:ֈ+4-X5Z1^㭧bR#j04Wz^P?ˋSH4S~V6)o2vEI)5U΀ڥ<} PmdT(056[ /?{1NaF*F˼=ϖu qF E?|'ĜL1tEƈ.4@/+-EK"y8^_<+0!JZΏьb}ϐRƯDf+Vg?4 v8ckHjr[E3l'(;TЉ2ntC4C3AeD`<.Mh0eloI_btCO2`%##T~^Bw:m:Ɩ,U䶪!Z@zN' *g͎lH Rr}ʭI4=iR)çr2WZW#zT{G_Y )nVraXSЦObV&$}u6-ݛYMⷴ_Yi=]\!~y)s N5#/;3T{ɣ><%PiЭBct!;YvHJcH݋eI흾f˔CU"@*E%vS,Lb`ʈAl@`E_b %JîSn\"3 l:mLLMQ^aMWpOTKKNF  `EQkzzN3+LwooomilXY:6D$H&Y S%X(xiKcGLC w욼T+LTK0m)5+Lk@8MUմ;55Oxqq35t(̼VD٩u[>Gpx6 ,(ԖOMݔyO9%rS[75_ƴ$ jLfJ ! K C9D@ $19B!!(2d$ H%neMS:"꫾qHcĦwGǛru>A>Vl) ? ˯i$1.X'GV/4Nz;5@Aa(;d7]B^1*:H}h7FgHL@OkYl_mɐFv=vNzuB^OYh":s&KK}!Ļ{uf\f5p~\c>ѳy?+8}W ߇Ki?<aaA<$ƛej{ ~`k|1 HF’hUGR ؋=leJ`d!ڳzXITYI>ߓ`oNd[ԔTNBc^ẅ́EҾI&PuĞ Y!՗|0UzaŔx$Jv PꚌj̐=oJ@CPz'FQyZT)9 $b*e);+Jb%- F kݣIP .$67lMAcHd' 9 16ċlНqTJ,vNa0'Ai04,)‍MsŽ(QښFgDiw wp{ʠ@N3{\$b39ʳceIUx\}\F5&h]k[WqD@?x8{_i&E'EEP91mHjyt5% .T :@ld 'aVPxշrN 6>y \jZ:RNǖ? 5D[N/2i売/|ʠ`,v֊4gŸ<0)NP [of=kMPmJbڵ2`eQ*ޑPE Q*%cϣ>UE<3KN tw;$/,{u]ᆫ\JR1N fC_x|.K voT$]"n?6fQILBO**@Iȼʏ#r.dUZ:޾kSS%۫ 6*4paoyЋ*icdČBLcPf0f _IatKsRe3H+g#ͳ?LutՆ(i,Q.{IN?׆1 E{PgA¶j{T'|~'*~<8l8ES\Sث$4&IJg'pۃN1pO=+[j1ԷtcF녝bvZlC1<5^{Lvmp:iQH    5O% xHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`e B (`g7~?[((JS ma ÔZYޜj'k+ ڵN9 <1؂a LsX+HV(8 4JAB4-/Np7Djdލ6I`h8 hHžC++5 7 Y RmhH"0A[8J " S|fB%\ǁ0<<_ 6F  ,%? D M] ѠMYs>M 8rzx ƄmbqqQH$BW^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal z 5K/ fHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l\P-f`9 _l30% $c1ƆVXPCY3$(N=GoH5 !ʊ%Ie5/ǒ0Lݏ?8KO)ͱ 4QvZA8ցTeE`w)IFR@RflRj(W,$- j ypf0VDcfT#b6)RZcODkrVVjy=)ژyiI4Ij̎7I17rl--I)=)k S)ZgIef:2-X ь SRaZ"8/GO(wZ*" XnF-ђPQbY1%5Q<@ A%<,d_W0-x<k$jdEBQ$0P,TY ~zoyk>7MV}΂ 5A͊X4QOϯO/Yz6e}tD[f"y&MKҵ~$WAN^=>n%OX(|Hcd{QL`~4Դ$ECZcYpRg$A<,c1ɞ.&Ta 2},GZiǚTA 5J!1PXSA((6N=;ۻ&ڛ;w_<0 =NNKR}}}ݙwͳbR8@B@`f yUVUSSL?ٞ=_uIO>'/̂V|, !̊X5,-! =0Pw`~ctljn؉gb﮳gr^ھqtkcR{RrQ1O6dCM3μIYQ#bqxƍeg|̌D9nPN`P`ph`t=Bq L8  B A l'I!iםnm۱1bn᭝! 0 5O' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_F"0O P<^P MM2!8 0LWw&0ⅳ>ʫXt s1xB. Rj)Nm厛 Gܩ^[ PE0݋Y,QHX8 q2q |f%𙬢I!3l"b7@TϪ̧EX8Q,on4iR1kτ{mqd" 96GJ!NBE+0;Eˍܙfqb0뛕wrN"g,߻j9c IZ dY7+ؓJ4Z(K[qR87 )mEKl?xM;qBCUy-rPj<`~>Y Gpx;f}ߗY`V]Y5/fg渁hmsgnZ8~BB[ޏQy_`{z^RȥrJ+<gJV^._R=j!I5: eJ>@` ( a !B!Hb !.("A0 IGPy-iw KeiYO@BHPk4@LB- ߒ1. |H`td ? 9,SI׵LY^^t2 0@_G𣏕,ZsطQIճ;8idƎNM躘W˜}[gQVIA|F7I7*( +o_rLW!4~w}Aʭ߰Ra.RLQMU2>ٞkQa/\Mdz#t֚O7HX=.02hmd%Q*L w{wղNֽ{= nq^87pPP2`W[;F͑ƉQ3~L1J^F'/x\G{:jc:Ĉr6ib㤏ZJCZ̽_3'Qd>ݷc#`=kۮc`(F\O/ D7$xfB篂oBv@qu-IFMK딊[zcF>:P .jWhcA aqOp&%B:?XsT/=LB-dĭ (xr\o F*5*yxaHc>5ȸӀEH*T>^/ >Ş]Z;7;x '%=cGH-AHFU] T}Fަ.p~ǙU]FB ӧ~,#cBCh)cE Gh1P3<th~oMꔫ brKE5}J:pr5'.H$hBY{V }H嘺rd~]4ui(TjzB$D7N2uNx !(T(ہR~Ueo-o (P0[*(>2, "SUG7^BBG@(UcNnBF|uo;qMh;T-'j Tۣ>`lCuZ޿`"ĭnMv@A*_ :3G 69RzYF̃n8^b2!Erā_2:S JA iVX0b'BJ d6%OjgkE&p cimG =jsSp6nP<1u0Kwִ :$ \_]qN:9wc%:7P *LҖťsk;bZK7I* bP/*ğ;+]v1B]AxC&eD,)V2舘['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