SQLite format 3@ .j   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_exportsw n}~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n 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+<&B7se."ݛ<>lR9L䘶Ty`I HDyЦo>Sՠb$i{@-3) HEMZ@$45*R&$NM_VBX&J{Q}FYu@8+*aGTw`\Fzb (yl 1P(晚[ؽ|FI- )'jq籴y0΃YK=fǏz!_zG2IU3q$Sc$qz&%K-k]c/;K3\ϋYCbplh(&$!;azj#SR5z|{lcP4j(UPf O#wl}S^23zL(v+o=s0s00X].X,X4,칋rl=wY\Mh,Qa1` D P0 (F`P(XeԠ^_rqze|f)I5X_[!D!bkd^ruN;y_|L wKD Re] PHkĊyL'T˭u(aQ-{VWԭTKo֗3:b=SƁZ FhM̔5O0ColMzsE6phPz+ܶszҡj)B@(!ơth:;TϦl_d x]>l38{m|Nmn\B V5K% *HOL-Nominal-ExamplesHOL-No\#N>  ނ|{xiwepYoXhUgKdJ`H_4\3X2W0T,SPLKHEDC<;:986321/*)y'x$w!r[ZYTFE D ? :" }|{wt s r pkidc\[ZYVSRPKIHGDA}@|?y>t8s7r6o5j2`.],X+*'%!! @9320-& % ! gTo!Xs U 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/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms 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/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    c5|Zx> =- UHOL-Nominal-Examples:threads=6elapsed=319.781cpu=1559.376gc=85.101(/3|"(M mHހ(ʂ)ݽSHWVxb_Iw{ٌ&a-:;6Dpsev:.'tj SYꒆe9;ĈACÃMyE"e)גQ["F ɴ2e+K!B6q՚Θ\AP^&!f2 xP@(pxiih Lj" (,xH,X$"$ AAP@g[Zf_2!YD!܈9`P< hB"44yiոLHp.8YC>e#SYP<(PX@<4(D9m֒uGֽ*x: 0$ Q" ƒv` ԤƄ*MYr4Uc4xUz]xe=P@$nF4pT2tC\  R6>bћH(<$PpEhCƋB"Ptrbv  C4|ʍNĆ$DbaFɤK "X)4H4H< T  GNADD@hOX(4HH6v Q`!8AxxłC"@X(04 @ &0 |@    0` KȌC;23HmHw͍ըܳc2Wxue2ݱ  bs_: qy'-!,IKJuEׇt5FfSKZi"QJluDJ6"rwܱ+\kXVQFyH~&϶"Q>,Dx$A:۷- yXzovm4gzֈ!vWd21ol_ӴEAnR]} 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.thyǟzޣ$) >þ^QqGYHc-=jR 11"Dqwʄ;^wQ*v[N΍6O9rѵ}dɁe):+K,1gFU*09+ꣀQ ScY+MZ2}{YD9@$~36щdF,J*nJԤ-;#u1 ./Qa+[ȫؠyXUE@3OivgNJ'7MX}l[gǒ>o$4T_. Jy H;w4'u>f;=ϡsСI{8l qS{!}S,GiX}T_̔qHfKRO?hǃ;GSoNw=:uЛ ù T;Y *=b컑' qz(Ƌ#!ua U)ۏ_(OKyr@eQ- &N˕vcY<Ēl ~cK] trتehwό2pEڽe)G ɄqI?Av9lF'}KtGSg](ӌev3涄:^+Ɵ}EGբ h:nF[Â/2ND2&lZ s9\y=el+ۭQ Z\ :GхZ|X*2ZDPa%0ǭ7/T[Z,+E9F6̀ܐ=FxgN ͨ*/I}\lV9]&a|xt?z!awth=AqtD`Pf,ۃ#aH%Vx߸uZ?LG߆-n1hǣ+ *Su!Bf9 0wSP ?벟x>NnyWb[B !DaLthDZ*Nϗ;*$pLHf#y Qu?r^H\ɇ],gیBBgpD%_׾} ÛA.G#x=cF/|+nבS0hVk}hl64(b)VE|q҉zek?P`6VDK,S7UʡY'Kխ^zR4]i3 JorcNۊBB؅5ڝ$W(酃(lt̯bV8gMKJ+[uBƚ@%Ke$ =/QM-a^Icvl-@B`5K"r>+4(tiإ4"C(FdФ \"`z Fo, Fv&nxhWuѧk(qIg"Vi,,y]Mudkxu9Rq*^Ǥ`6X_eQ:,/yvKK[Uj̰羺<ѡhgᆻKno<>]2-v=?5hJXvp(sjZ뢘K/nOdO6l]rDR:ߛZ΅(P!XIPtpȸ6187\:63!Sy"'||5{<2qB@P *U9ix$`w4EnA%0JǬ8JE >C֬.P̛`!aZ}s>'pZ+ٛoNv$pL 0 i4Bc}o#_^P|,~\,Ҵ6DawY2 a9)WP>q}fb*Qv9^ojg./^UQ|)\$ `@N{\3g>rKٰv~h ؑ%o 6SSX4%ɓ\yJ:4҂KPy=t D6/ (d˞ctt' #p6wZ|A3/.az"| 1ܫ1ڻ”7#t"WƵQݻq)\#%`m9W,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Ϊan&,r}yv50>gl h,Hۗ 9q3'?5]ܟ M7JGCPԦ̣qҎ@o`R$ q1m2!F"JrYgcAKmL>~=ZʡY%v0xÆ hɑ ]T 1,׮5:37:X>Aҝu .9-P\ϼzq1]l}jʓ/Vע^$afc]$9vm${bWYaZ<p+Ws*=KwZ69۰{DNrj|VdU)?JiUڡƍ|g-Bkņ]o"Ij)=Cs {(W³|P5mrUҕl,SSwRJn7 &UO(=Y+#ЕRLJ%̅7 `D4b+c(frZ2aO4o;(x#2L # RշB_'7SQk.E^'q0KR,@$˘ I\@/I%ΚqlY?S:FտML+#FrJ6CڜE'@5[cz7Dҗ!Я~+=Ϯ-`AF;)q1c$FBrM>*dd2g"]>-P#.AS<6y}Tc"$eE>Dٵs}Iђ~@Ҙ"/H*`oW)(kVL(o09,iW<[P^{-nOsf&],f/c4 uFk]flS4~U=Z9`OkT4o0C.јl 9r`eo״y36H6`pA%6T%RuN2q@DE4}uNp0Y*UƔ8LVJ1,.yRA_@1JK#UWZa>ta}Ak! S4V T=]N"SV>qP D:pBk-o7CojB^99D}Ak}<%KW;KrPlhAtW$ミ"گ)J rw0~yo9R,[`0ܶOr2tMDˆIIB65Eyh|g)4 vܒ?G˃4)Bqw9g5^ΔWgWj,d;ޫz\.q`osּ@HʎE8N1|ո%݌Z^?y)%R cځ,_@?~Yo̺j$C{X:X`"K[)`;SuҙMUG|^mk^Q@5TsjzqXʾ `y_z)p>e6խ[?w+u"@9E: ˟6SɋgF; )%/KNAEt(Vx! ] 6x$BN ߒ-|0]v}, a5D0t-lj>|:!VquJĝEdI \Z21&G;wzh:!|"4~=n&&b0OÓ~A]]unKcr"@7 eת^:d*KFzY'Z}$,C2 o0Trʃ!pG>R$Ҳ@7Z %j^W-F2\T1k+#K(l\Z77O] a#Ɩ4#^RkT%~)p21؇Y. #?ڰk:q*DNǮZh)W6i]Z Lڝ%PuNԇJ|\kH*+(w5tf/7p| ߝRuo>@1ydK2`ȺvOWdEl?QPwedb rmTD\91[h#4srS- #b޿y! 2B Q]q-;0lӦ%}{㭚~|T]8Ba|ś/cWըK e?xX*PѺ`c{&S"x4! E:v{&`q#h1,^݌uS9@ <R,4]LͪbQ_dkf/XCۅSqL|`Ԋˈ'11 }ĵ ӱ;pier̍vy.2.$&9'0$2PM6fy/li\rTr`9@?똤ڻ ݆yy[ki\n EhPȏXA˶Ϛ2UJW\hxgk/e`?J *JY1,cAi2/`h޴ۺw҉0ո\eU m:ף}:58LD 8#f'3+u-Byţ^2杋Ԑ <4Gϒ:ū 7X+,9xh!Om i xn`tmLGcSDSsܡ}D2fC>6%UPLu<4ܭ\WMoL}_6Y,ca'vz HCf҅]#-DӠzO<S6=^ ,tDffa7  ]=EXtVpa/Ѐ{I`" od {Tl#x }@ME;!<x2Kc,an_$ݸx$+FUcaѽhW^0gDa1y ]\TM i"_&ӯY(? Y IJY 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+<&B7se."ݛ<>lR9L䘶Ty`I HDyЦo>Sՠb$i{@-3) HEMZ@$45*R&$NM_VBX&J{Q}FYu@8+*aGTw`\Fzb (yl 1P(晚[ؽ|FI- )'jq籴y0΃YK=fǏz!_zG2IU3q$Sc$qz&%K-k]c/;K3\ϋYCbplh(&$!;azj#SR5z|{lcP4j(UPf O#wl}S^23zL(v+o=s0s00X].X,X4,칋rl=wY\Mh,Qa1` D P0 (F`P(XeԠ^_rqze|f)I5X_[!D!bkd^ruN;y_|L wKD Re] PHkĊyL'T˭u(aQ-{VWԭTKo֗3:b=SƁZ FhM̔5O0ColMzsE6phPz+ܶszҡj)B@(!ơth:;TϦl_d x]>l38{m|Nmn\B V5K% *HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 -R; `g;-̠m+Bi(ut԰550ʉH@lUND=DDmw'H(Ap( aD!cxF7v \z:5gј,&! b(L4ڤ*@ h4ޤI"W6W֫Fln ޸TEjO۫\7ވ@A@]rp._}٥Ԟy17ǘJq^ҫgͺY7r1bcTPFk`1   11F"&J(ordj$ysz Š\Zp3[E,xERsgH=le83()2q.{/l2 uK_λvV&,1^I٪ bt*`qٳ $DgdSP6ksX06,ۼ滰I`p.>Ն`/n%{9-q\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal D5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1*b( 0N_a=whAs ⵒ]%?2'b 9YDz9hvG8yI,Ծ#R^Ks3:3NPJ]ZQܛ/S|(RsM5PhLX) `HD^㘷*PT.=*ͅRf:iq6!$ zW5M ʺ4 Oaj0à (@I4giD% Ğ'ZFwZjpDGcEbO)II # hXh"yPK@;57s|mRuU\߉<7&=ҽ߉j^   :a!& "s*  tZ[T1͹qf.vѓ*֋VJ`(_p BQWJѫ܎\U#'5oy0HTINs.gU&E{Q \RDBy|S"0'yrKibŠ')Ksʹ]LҜB͢yӃ14qldN$ gU-O؞y޹E-qb]@޲y -誾RSw}] y44N͉1+sqA%.c)(@"y0'99s~0Gk'دK}=QڿqI%cL ͬZKclb*3:5O qYuj.\IҼ%y +*e﮾>ꯪW}gUoM  ZUkHǮԪqIh0$Iwy[)]W{V*.Vd\F€멥f?//^tѳԿ/eޤoo:)_̿,(}D |TLپ_y;&f^~8-<QY&MMT_b_ܦJӜjxS;p2P*qk.h08876 X  hET։0EApHyH"2(,  $Ba@"K0 qƠ?3Ɩf۰?u,fIOz K/E^y4vE$p+l`1ԜD8g, |KFCH&P.Dݾ 'VHIH9;w,0$ "Mʋ(6sAOnb$C922 N`4V!*":_XiDK{YgD1I4x;n9gg[°U*)4YN4vNDpg㭷ȷ]o^g"TV(9,sk Zڝ-)眗'H徶ٹ^z<`>` ꈑ"Ty"Or? &Cʱ̭yp(_av4cFEd9U/F@25|sRk ђ:̗#:mI&ceb("?,7  +.N⏻yao{0tN1R&ށ8o.Tq4pYK-5 tDM\~/Xj֭dЎ ƾ! [vnh>C3:!ݦXeWf_T^͆@7F`!-R:Ss1`'=lR%׽\x).q:_,F̩yvVH̿8#7lgTdNJSt@Hن2:8+4)Os8F7_|=r$3@ճP?_B b;)@ܨ8 ]$$7qc@ݗ8dUB#C7.CkDggV(A~1lOJ (5k3XИ^KTxq:1&̈mybuY})@cps#%?k"P4pѩ(a ဖY|nk~rgxgTd#&hyl$d720 u|MM~w cnN4.${ՏB4p$6å@&1vNq=XX>xfp:*bOXeQ{rd kĨʣ̌e֫h,UCDi^e<|=Y[ $aI8Қ5  :hN7e{$GŰM4Sr7eT԰:r-zX 9ݴػqĊ6ZNL^.VL1WwHFđ-Vy&%rXs99 o8%AC_ `Bg8t!Sf헐oך=Dz_QiǸ̈́O[`G;T&S \qCP3Z@uzc4T|i Or`U 갎ze1.a ňrxd*sws^fOvګ4cYQ)F<8ЋCf7HG-$9㶭q\OĶ?e$m5¡04i9 Gڴ;$0auLZїLd*+9-Fi5_L>oH5IE*l j 0dfڣ&C}=.KS7ۊ\k*HN>D$(O(Nߝ&An~Q޷&jC:6js%Iyf#SѫJֳjBPH|+ɬ "{ؔPTnZSa\8dM"TpǓ"f`Ak"J5k& ̮f+JiI(NC|٬_U: vJVX @s2m0PmJ)RJRdXEݛmI$M&IZ,ZZUVDDDDDDD33g<33m۶m6d&YEDo%f-YE4C&vk6srrrlvvvȶ95y!?~߾m۾׶mn۶m۶m 2 u\q|2G@żQb D:6[UD`Ph mQo-*"xc40\a%50D\k!B/}!/BnK8tՈ>c䒮"FmTDO.*lo-b۶m۶6٭v܎[OZU$mOZU$jݚdQLP0@ PL(8XЀ p@q E[b #S$ !@, ^M8d ^fK䪈fN004\`\`D0&,@0h "2pj5_[f&+؂֤J4Y_(9Maa"-ᶃ̷lo%IUD?-I 7F[TER~%YE"ȐhQA133m۶mv&"r\"[TƚklǞ={v۶mR۶oOhHYaR"5@ n,=ӷ1vycڸ@xKXD:)6@0>sfB?` | pjO^sNLW[b%Qx' 0, 6[12Oz>TzJj儕i!ebn4k5Y#dHQ'rU  wMyd*E\nJ :et)~Ze8lp^Dek"5{[z&<ۘ ʹ jF{ߗ|t{Ln6Izn1b hnkZ؄X{y35ŘIk2|[ٶǰk">r܄H6-\곬MaiUI9_ rK Ul*5h3Ʈ lDy/.nnEqk+s %ncō/o`wniJb6)k`6-@8N@!g!8DI7 &aSAPLTEFĭ eգ9 W7G>4iy|2ABjҀd-wUHaB|@J̩༌ x?Jbp!K:u)|tc!Z30v+T8J8$OL ½@#9ldK&y s0)'Ϝ^m7@%fn CWqNK0NS`C$ #F^\9-w5?>,4xyʶa@Uaxk(wm q"qIXgڃz]rȾz7mVhnEYX r!fT N3͹OOq?vY]* yZ­DxbJ.4Ȕ~UxlyC:ٶ_X|221uVcrZ0\q01s~mH`Hyjwb˿ NrEXUnav3HpqpeP>״@zg' 6s qeOkGA-OM ˁqHq;#*uįM2}T6l)5U7Pl u.fcDٙq px\oP8/~%d_ gdss$%4:zsT xsБ ~/TeV޷ch+Ț1qޟ/Kq8f3zS'=cC7Byy  D(/_lÍ][Z@UA'=Ҷ%ul̔DeHr:wmו`M LG{nDޕ񟶧LmIYfэR[ ,{h64'Uj5h|MSJ4c.k2FgP`q.D{aN/*FِCF@b~ɖrJ;mU$v0Id`f(_Ty-.ueᢞق |AEO>}4Kuip?Gb?o+BaS\Fr]!U:3%mĜ>CDs+?^ڭ0gd)WENKƒH)of|ꐗb@Bq~p0  &U}Sy+yLASgo{Ҥҫ5__$́ 3y3AK>zC  T:,NˊAvS8K#=wx 'ƣt2Nj,fяQ$=ElVI3Q@6~ bkPnVc]"j-@\j״S׹54;PH95%Ƙl>4ކ [}adS`i-0s䆗!*N^v8njUɵA߸]A;=xtIeQ/EN4ş V6.C<}Əs܀DPj7GpԲqH"jߒLG4HHI`H4s\ߺ4 z"wQw3΄)Ls̘ʍ;>PҔ|՝0dsݦR/1zL^ck#U?;s@O~eI|2nˬFLj-^K2;;yX&!NyύvjKzw=y9Dv4"HD",~7v󈔽ԠrK#5ȼѬ*2L1(! >$W&o7`#;'jxڙdjG̽x dU3omDI5W2uI{~MG?dcoL 9N}Se4M9Ɲ*( '-ӝz+eᤐ'qr2""ɔ$zNSy<>eVOE$!**dҖ$*X *SB . ;9? #[ܓ2ntfWsCˏGȭ$ M24ISIF{=X6XtOPTik\ۤ7HdV3϶Y+ ʐ}}?=m١cH|m0vmnlW#4Oku_>k#_t$||8ώ!̃5iZʯʗc edn>;L iF Rfqك8] zȌƀ?J޿bD5tt lE݀0Г>~n0HO$WRHh2Ӎ~0y{kTzDNYŪ[˞oY//M!gk:{g0 ZOO퐗݀yEi_ymc7n0’Q;i_᜿9a7XgrlhO*='4_,nx@<%eٶdE1p#n  ψsa^8lkmz3; uf?dgÁ`Ys?=iq8@pVsf ߻-+ o@Ƈv !6CoI0zf ]̅6!s#E+d2;K?Jrx#}(m /]0t&om`6q0{0 `&f;xEYhtMwxf ᵦHL7H؜ypGM ʦviK3cco:K61& ҡIi&RfYE4.Ĵg(7![@~;' vRmKQWC褙 E~DΤ4"` 5xg4pjN^a *m"QƬg MrKI@ S)Z%rݽ'D1FǦA 2`Q$3*l 1lTz.Dkpe8c@ԍbfqcd|*[3m_ҹR wItR qOZvE듔+"*>y*Mrly3'O}'BSKY-`cnݶ$'(Vw8LPZDL .MBނ!lTÆ߮CX#iU?mR3p wI?Jj[͕ze<{`~UmjFu%^ dZ;8XzY! ,YY@LUE[ gHB9\HF92yAdʾ޴2T^{BJD%4#2՗XaDj>aMPZ?D`~u"eƕJ nj9Ci_yB XX$TG&lLG,۲)Q_Kp$LeK:לQֈܓ̸-\ !7r%Vz`䤺t>jֲ'%Lt\ӮJo g_l!ݚQWz⑗+e}$_8TU6NlAcdy&OIU(߱ʴ*SB5S9μ2;wFɢ1 ,qmuezaV=WL[?5f83on0pW%A%="ܚƾ)zx-'VhfvYǫ^uZ`Ϊ :>7q }&\ z4=9=v6/7sQa̛bKZRJW;/:2͜f*gOؗ$4!T|MnBʫuNτ ׃WkkEYzȏ2kW#fQg녃2lUt4HWM5ir3Wkr}*MJB˄պxת :JVjq [;MűDT1OY+eqKz3#Xf }χ[_m[f7;5WS>Jlowu~F'xjILoU`f&2R0 ,GDS|^YAS\:mV96mFzu4)B(s+ŏmw(@>^XfOUVsZެJ-r*Jm/-ҲCI-ƕjT# gBld4{8gaNJƳfE=0΁{c,/1=\'O){jcy=ȁ)I& a^NA.<4Eq'u!ӯpѾ)[h8k|矒f70\TI-5p(w־ ?ZCZWFW&EVuLa! mVFQR6Ή/+TQ)xf18՝rY{dn<Ⱥ{e]Sfy+u?ookbrs)٭{qQfA\4%жnp]ng^ ݇\ֶ>ɁX^6v;a L쾆'溇Xu]vBMf_9br XݨKʑvm^]&ˮi*3t%-uוg;2h׊FfJaH7ƦOauj%nA X׊vt%M%\۽53.ZnP5ݮ?oLד~dHW8"woqqwNu*QkR/MwY;t2]QwO<ۇ [oyoxK4҄w xk3ҥw2*PrmٻUQ!rmR+Req+|PC-Y9뢅ۼ /e= ^|^S< M8R ^kd>򃷴BV^&){z .ؼ_x7@oAR.{l6HtjʫzKO}M+^o̔-ШoɔS Hb.5'3L֫v֬W^$J%w+Մ)JΜ5@nNʮtX6_WL2oT I!YovdS:*mL :KM^~ڥkM^(wc&\0Us:ʰjVH _Vd!Zl Uwa11 &*|%+:XMX>ldUe-[^J(GXDZ!TY:, )9H[3ŀyrYG+\gѽna .-߄C$%4E (ZFN_qTc/Z|}(vсd[Jjv,4$M^EXe %X@qfu\m)d`U5՜~@iKa1P7&Bg!qꃛ C&RfžшjUY"pOT`+A|2ǻΑųGWkQL%&|~\h!#Jg GTſ/IIoXKY%KMDC";iōJA+k҉p7Z4%HJ{NV:EL_JiYNQf뒸t%Aa y8ܥoq\jnҗk4Өj[SxfcCB*RDTZbud1ZBnifݺ<+ F"1ͦ1-7ݤcb?'c)N 5(,rڲqHe)St5\-N'5G *.O{ YcӎdyOʭfCx}z%,ʲrjYn9J@ԯؠ>?`m~~vm۰2jۘһ?h^haS]4ĺ&Rl=k'>nUuڟ.em@#ks +S?سWm–{uֲ,bTbճi7QZg0*Ft:ʶlkQM~"fźRT 0zJCKkmAmhMVl:͔uh^*=AN?ZV}b'^w.Ce{?vDg̈́+*x,AORMt4RcM:ָGoZD!(O1V.&glBc|]!E__.#dQY ?l|7Bq>kKge+jR9GKeO㾩RM_9AaXlkQ/ϿJG@eFMy|bİϑ5PjKO/"JtV0T7L[&m3HQΠpd j\em0@u풠EXwCmqslO15{4,<9#j#-hfa$Buk=[0 Ɣ5~뵟3O2eVV>~Gm4x e<\A&t6lƗδLFdM'dxF? LL(2&E%u0uLȌp[B+[ [.WVvB-4 8rX&yLl/G{p BBͬ{d(lR6 7[!5T%[UMSv7ƓŒj͋ a65Y^UwwMAg6Y^wR/`&P@w:R  uC W= EU5\ 8e]䉵Wiit6cx} zɱAlX{k{pAJȐhg,[ MY) &J"X9?@̈́Ag};O ܶs l [WX2@٘h^KNԮy h_'bd:$1Nc@w g&xM y==9$3Ǥc$.d{lf,%?V9|`7ܿz8,M`sʜ_.<h) :Nb#d'Y:LFbfG϶V@{xB=!U\̚wgt].JX)CthX 5snLǾ'8g5fKPasU ˢ]@U0as(5ƜYo"PX=t Y2UqvDn9¬. (.w )=C< z#Z$aa+ma*M0 vZϿozњ_DM5rjIAoH"UY/L=d"楖iy [],w= `]f\Jc2!g  0%FՎl;A$-Me훌ᯍ3̄`nM>1LZJJ<$vIXj*5Ez61U+FNYqM/Sw9h}eB >:|ito ,8G @}E\hdŖ,&y`$ےil]y_ܦM+w ?fn[+@^CC[lMMg[F2JV#\Vcv]ݠ h>Y`ҕ DͪX*[y ,ZT@ˆ`MDQǨL?}ڬ2#־kUcSS4ͤ֬*J(J(4H38?}WY $BRT003D5CgðΈXd3GH,,?}F q> && LgC0h_g`@F2=4~+l/Hnf=|쐰t $¨@"S$"=(ID.bْmߵ5ófN"$LۚU=?;5_˒R  >8Kl>85Yuu8"nWG{!*_S58!84@phyN`] Pp"?rE@T$u1"QWPK'zGH0.oX[b  ł{..ٵfU5wƋEt[FUVVV!־sfUޚU5ʪgL,[~D۽U&j#֮fzfBfUv[VVEExDCz5** YPHL}DH*$ 1s4],!Oޟ8r,_IC5C3GdV ahU9@"H$a!Y Ҕ(] $ GݻfULC,H,&PXT HҔ #"2PΙ:eQrBBXTT ]ί7A1Y*,IM&$ $>Y~2,4J4=7b̷k5ܫ7wY1j/2à oFFІlcc>Y(â-3O,Z Ea Cl'fzry}>Vkbm{{'e|cSi6z^ch,Vub띓RWid }&I8{|Hu/86Z9{}JWg/x}uLr(,1$dss'cL^òl4H4؊fv5Vx,?.`t9o 5jd̃) K$?PJ3@v>ڧb(邽<-2t@4} Wm!n١;'kLV4pw~~PڏLɜj6ja9^]0;U>Mvjnw^Ynt^ gޱcV3W$.16BHa})RɱhE?>.#vK,V[᮲BbfoZ!po׋ee1ɔx44rԠw}Fnh "X`ǃt؃l,ƾs|I!Mx"ɡZ'a )RƖcJBeĔ4SSdXҘ2m#ٯqT _{Fq0tP 1ٜ H4^DMD2Xf޺#iwXGvr*پ|~[j~BY'oMj.& "5Gn=R0%y2--\) 34 +ƕs WwX;\\Šz_iq\jĩ#;M/ptD,ŕl2:÷J2s"/6B-Tu/@p)7e:rl+v3 M)h%K5( H"_28d&E>T"&@f`"X= ݝimH$;6}e'lA0e Jf`ί.|c YwXW+Ʊ=7!H5g f׆(C6!YRER݋({͚FB]j.v/[.@àtsk@ `lDm;xJ*@xUDySr$ 5 545U1+,',@||IΞݙ좆#F >+t23*,[@$& 4]q.rOe>CAM苕,ϔ^8@CuPxW͒pݔvB("=<$zGY|Dmz0Tl&!ICj]qt_t=qxp% =uy81<> fOrwO7^f^kN(M+u(nFvq=XWz`AGjdqT _i|3wHD{(|L@'ĭ ۝ A5Nl)}uEe8$f]R `ZTAo7h}'rBjTe`mz pm(,?HV̠u'⹵D.>i+m:2mȉ19*k+es7MD~J%Ѣ|tQsMNf nk6(a!$ /ݍb;`!=׉:$)ktc`&+H >1Bo0}AK'w7 =oϥ(m. $p6TLmdG,oe4ׂ#bnmDZ^X KXkY&0^ZYgCA#}a9)e Y\U4\!8Ufs]%'3? Azc`:kOz1 ht$qT!@;m oȧNpSw0;fet ?aBDגqOBĀp̔0IteRP|dB$-By?}4ԟ?:y_r)7eq~\%UA4|0x9xP)Q(OzX'0M_ze!rP[KX wl#1L©"yb6$-i dl ׬s4&y_x"v#/q@<`?zOP9cWdVP {i{+\fZHr5dBJt*0/? n/%F ]Mwӛjk=Ovi_tM쿊]Sy*4q aOxqC&dߔwʫ:k#A"z{?$j.$!W{.)s*7 xWdϰ(oYPmn'~} {`tB@:Q7E;l1-}apr|  O /-l[MK=z-py{/|o%Lq#С]TIpW}L{,D&*K[z&׽~G;!_{h\Γ읻!YM3PxVB%z.xO (ZY܊m[AKԕ7s[hnﮑ~#I8Zl>-,eŪ,q3bge55fgKZyX{Kŏ LhVPP1԰`fF;?CV2dJ7wT~t+x{lr3UoD"Fu<IĴ,<,IuVoFhqa9 /0նCCң%i& oPwsߵy1`t]xً7rfw Ncݤ |~T(p ͯ(pWv>07U?r> RQ-;$kl**|||2qw{(=[׍8fc[+6 kI!3#7x$52@RYe+ "ex~caWNc<#VV٣=Rk6LIn{Ƀ5"HȢ^vw]ػ烺O%گ&v~$H+L}yAodL N%Wzno߄3B"RD,h| l e|4r>pvZoE5iv@jqшvhkhYH9p= R0&crrM6a+ tdcMnL($j+ȫhr#H{2cIqiCLϩ y(Ib-.|w)rϪr&OLffUwlaz; fͭፏ#+'9^#m"g5X 欣>R&#R`ao5@sK9;2lR'Xg! Ȩ2`W@aA"{ Py5Qtv 9"h~ Rf<bg-41)]V{Ƥồ*#FZQsy۠ڕJӼWI+|Q0+2z7WvISCsPnMq=CȁMg } zKQ᥄fF%HnMA/҉ZـcBZ:;]*z>.fw;!!Vy3#0MqyD wm \}0@Ws 1T# Mg*nSGiŏ^h7|_0MJcF@z?;Kcb-^i \,ARt2 }ߦ > :-v!:uhگ ;_n\`6&H8v#b öx( d.w%JD4O4s4WV`h@Ȃ/`g]veh8_dnM'151Hq[D 1DT#r@[l:LwS 7nc~aq;K 1\rV9$ Z=*b.Xc ƙh۾Z"d`]|P~Y)׊Qh|U5B.6QmS&$^(T9}4&GXd+# OcF?ǨXWiX P[nnIz$v9l~HԽcM-rY57^lv<;ShVRMzO&xe$;DҦ/9$x1BmEXϘhR 7ˤ_]GaE/\z@aTx,An;E:t̡ iIoFa`'C|'F8z24a7N`Wz`Y™j'(+_j. !}HB `X >ϰR&dfȵޢd 6UcءuhbyXʞ6%}43`>4#>u Ro;k6먲%GDh)~T Ʃ)+_o <.\Ǭ\j? t=j8VL78q '\U. Qc9E -qx>EVLQ(S do[ v4ÎZ-~1'?-/ˌ73fKD.SJ&96-]-=HfaJ3`fooHAB$>K?! Gޥ$n$n &DX!3XȆuk<(ŏ1߲8Y9J@XnKyJ@ʒuV>b2B7-hAs<:15emTn LteC ה+`2I,gˠ>sh>? tB.~-K&ӗgGG*ĭBbr<" @>@KG6Kgfӱ R s ]VP3(/=?]! MZI !e 8Lv$$ vjקr- 'WmHJ/]+T<,Wܷg,bU[_l:i9$- MzUTxEס?u5 5 <*]"Xޓ41 "v+3uT$g81>TeR}A{6WQ vm`ÆOن$&'7f 4jؗd܆6\اtYun~i#*"!p֭ջwr[Zhs 5Ѭ^YtH$9P1{ NKNz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=r`5z덜{Yv*x|89O˻ ! +TR-瘝# 1O9cG>\7]8ACo+Dd !#j5IקnxՅx0.٩ fR92-7A õl9dDJ`,N 5K# (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/*m&jBQig܃X@/o??<????{ޯoٶ}>lfm6Ͷ26۶f#m..\.r캫].̮ʨdu֌4sA2̒8 &, (*D 2$ N,~;黼M[+k~:&݇;J`ҷ9yFmYŤٴ'&?naKj%[;ӣroan|#N1װlK_]FlnİڼjJ{y>5x$Yv]? p~[zޙ[s~2k~G"KԱeEkr#r%`ƶD64ܾ)AnQ,?"M=e9$ g3t|T*``"ʠܡK8m`ݺ0D91h|gfm` >Cώ#i[݃:ݐb㉇|6|,~"/ Yk=b;| GL_ow5ʁ|kM+W Z Uq q@b4` İO@-$#6I?@pP/=op`rgH2Ѐx*t9N@@ t@ u@ex 9J?8j'?;?vܙBD S/>   ~xClcg&TO?Ha8g?b0zğ9r?E[ g࠿~[?;̉%]>xK?)<ف~PI8NC7?0?xldz|yM h#p4[xYg,}>Doy۫&Շّ|SQںӛ} m.}$}õG(Dú D"_?=mS7ڝJY{F){kg> bMþ||mLw'j"̂|07Qڏ؎Oϻ!a|VD3y6S.=-O8(YQLQ/bQG"ڊcy< p(B< V> p.z8l(GºYs2ӯq9wXh${JeqsFqyE>Iqo+3d(6ܜjFwrY spi]-'寧TjbtɈa %N|b2ڑ<4U69CvSczV)fIK?wr^BK:)DJ$جd|\.sC՗yB t/ ӝjW; `QF)낯TR0%yhA`vYYm@aJ6LKl2qiڂQOKB;fE7G\F-ђP_=oG;;[h}qIiƞIIܕ[WdI!{7Ke^ڏ |dX쪮Ȁۺکm<$FΣ&R<@P oIDLHL !'&( <A! {5#(w% H5+j,{ʈx|ox;-hyok&❡R*7%-iI3kG֞IzxHkafIUa0gfO=^b}[="Klvȼ7A[b}ցVFV~KFFFa,\ccIjp~Wþgf=s=WUMdFy݉ U LP4 H\$@@S#"}R[ЖrwU5tGgݵNkNLlkľ[m&G-BS]/.c* BA0 %S)MMM\3O%6_Ճ,АWwO_uIYYIa@CG,& Pc (  BPC0(( #x7ڨ92j3cB:F)"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#;}VEǛ? #0ykKۥJҧiGl(* B&&QȦ])ԁC3C')]tWPSb5ʓXEz/HV#HN$DqeDlܰR' dD?T)ƛ&cVVDsT/* c=::2YBOK@8Ez'jP*iwBrV^/sAHʵ9b_ ;>]'lɽ΂pbcȽJtpTX1"'od5$i2{Lx13\fh-gE)'/%[Cxl1|2J8ʨqh@Ͻڙ2FCp6B~L7~ClK(~scZ0jI-5-W26ШSJyFq$2kacJsc:å< s5l!BIjύ 0[t=iW/<,x<x/Щ_Td]5yp;65:ia~jeLoM݂ʟ;F64G>ML`܁:[ȳebqt;-B#T0NVDž/#T)-X}M5.5ȎuS%{rf^z[WIV땀wT=4$cRУ_Rd Z+"ƻ@=+(/ڧJK'%W2ڄ'oK8yщ9r >"1M,be]:VWT:(DV丸='o1?>`Ȏvu-ջ*X3+d'E C#~ӣG*뚨I2s  D>Mj0袚T4@ЈͣlّZh?e$CZ2I8~L[oCdIݼ|ׇOct#*yx>%h2?ܠkBUn 幎?sAqJ.n1Tc{$P46*p M'vM=ER<#&;]b'IԅmL˵F4uiqSja"<9Bk 6 WFs`Y[W2H[p6Բ& #lO%Y6'фeqbҋ"u([3ɎFqP4SM&]q_lYu¹%PUƿ@ }h ,Vbtr Ԅ `%.z ՉFN-*j;!pIuҥ/^YA]61Q.?.;*TUFי-]ck2*Ke3 OjT5&V`^o䃮a~f ]Ts%pGrOJe1ƾ4svS ο20m|ߌ Y=Hn \ tÀ/NJҾѻbuzle XhH| JW f`͎UxWYq>T,Y`k.)&G82˂n6nQ0@{rf@`".qEPi]7&;k4k̔_S,GH.Sl&"Gi6^QLe0EX i!b@0-2 \+ $xV"qr'P ^- Zu/[ X+Eup%qń -CP<_hO-[FGպCsPa$7 |)# A!RWZ= wpz $c=X˺Jq{"" UowU6$d8ݶnt&h5 /uH8lnO *d! <ƽcY^z|I̛$۴<$U]]J H$p6 h;aҭצL.B-UY'p5a'r?WD((0Eay/]`t8?_&R#HCzjb)`)hB\k EiNw8B=LdHַSe8%J1zC:Kz5h-V9&s9 q6. JѣC C S#}nfFhL 򾕔3Nj1PwX_øٚT^(N^[~F sN-ޒ ',Ie$q FsՑI}Cbcy{:Jv@\i]$;3P6u '^C:Nv.{{/I7^ȖjE+*)6wTw/LADVt;Yrj\!!*e(_ll]+;cgڛz=ƆHcZ-h' =`\WMֺ?qi/2)Pet[yk]V$Y%OP+q♧we1Jԭd0 0XC24w*Wb guW9G;^)# T깲܆哎 WޯX7ʩ':*} In9(o3QD BhPk*9(g&Rd!9i o]ǒnJFC9[3ґCѵXGb@ Ĭ}"sD(HON{NS.Fӫl:-b4Vs7G5irG F# g&-{XX\YI,N/FfH@P?Qar$Vh rB/VM%<`dY+ b# DD]i {/ߚ$Wp؛Kw~E'O=0l P:/Ļ\V*ifWvMYA?)#P&ي]}rܩf]@97/B3", {q(֥^G.Pq%EƎݠ%0wuğKI[f萄N O/PD]}F5)hI\FmMK/2~m"ͳT@AW$w%{CwkK#זjHt1F@mn8J4wJAe*۠aK>-g( b(-DV9&nā\&hu(jE~ =lgꏴ}#EeX &1jf#nLu8`eul$e7)Ɉt0tag 8K-n5iqc='͕@ꖳtHD}t>\?tuI;cfT^ ih\uGI;2u\n6C. 2~/ŻZHR,vy:zk0AL/Ufjeu5Hސ@n! ;n[=97luQs[Y=#b2y$c\8e_*فIRN_ڈN !Z  0Aа>I)# aFEwfڎ3t{A:q"YAY) Yہܪٶ!ca ӱNeސxP5nؙ kp6tP~wY(H-ཬhϰ^e0yPe@,:|Glrیͮ`H~taj5X68 jA1(ޅUS/oA_&c)GKUfsaQ\sӫa2L.X!~AvVNׇɄ ‡g\na*ihz+ҢF vh8H;s ^h\eؤf*}n"Giزl ϭR3/4J?=×u}o揄\97ƒpsh0ܐ)9{$;!e tjQR)5qW0y?lz {J9FpsUsK H,7#d>~y8س2NHJe*(* 9Bw3O*Tlth^5طĻdpqʽ2H5 70|c]%}_M&},)G ͨ$ N8zPsB2+%@ɣv DQ/L^Qdف_F*ŘQ(*xbX,$EN= l;عwJo0 X#Qթp+Z@ZB0PR!)`6:wTI \'JMo.fD[;/xnUħH(ڦޖxџ$:P'\ 99&Sdž+Ip%{MH1s1I')YV5 Q.Rܰ92լ425tkYA$vk6wC yya^â@ J5[&CRtyA^wQIb5`e)-zipvu~= 0$-@#~4L YH^;'݁JOUfg]ls-zs'%Z6 k8~k>|woq~ ʐ6u)ODDwc`%gdmfB)8l.)V 1"S^O4UC]..Q@98XsDeVޘPq*R屿^vі T 1;ގ́r:b@ Pp1+ "k7QH $J!e8"cfڱe2Kcz%7UJ2;86~D(CwubƉؠ`I&@W@Ut4%\28v&aŅHy8C uȒ?obC$//~)1񴠷CE|KU*n[ fmgf'WtI$cQ4tӤ~~do1U^(*@b}yqTϗ]Q"^zB( <!Y;I.De3!G/ ^Gt{Aq@'6 Y!"Pa@j8aKbs!riܜ51D\#,eX2_7'њC2*/" !nC1U.'XLnmf)Ϝ#ܐwS$0 MjͶOB2' +C~帄&-*APaۇ|Zf^jbpo>y=j&6.z(~{) [/X#\& )9:{7a`~%DO(< !lzͽ^ӛĢ=1a/76$0+Zm+PE&To1GD&7~10Pƈw_N~.<(l usV?^ NU״©|pv8!$vuV9 F FldS/94Nn#hY^f XG 2-E0,CaWȩA"m\[۾w"l4 `٘WIc(jgsIi4`vM9 !c{L}kcPZ|v{/H&"v } )>wHG-}E> p"D _֮ dqo p 0`Rk(m%&s_5P)Dy,ˏF7ğ";!B_jA6KWbx]2> 6o 2Ew8 Sm}1QNyo\Oє. oo"Jm (I ̞-`wLw$C=p9`h8H?`Hl9p_R6bCY[f3gR£lƭBF7,$'i14nmR0Ou0$}gY +B?2DN,O6IJv8"6Q.j>Ga٦/D4gHa! MK(0 ZB9./_)AŌJ ZeH`.d hxd82͎iFhߔ\玓IY˥[GVgڃk ܹ]jd<.?8dDl*H=OWeYAkHۙ@zAtR͞ȝD|@"ɨqct1 ˁD8HwcG?Vs,?/?faA\|1HR!6IBi&3޷w=pOLpKH0^@:7{;Νџ cT(̭{J7r.7vr;cm_#raT(n)kݬxߘͪhsiݧKȭw)~;_kc`T۱-bٝjk'cT(xiyӣ?txS6Mf~76ޔ̿ !B2!mrX(xnx;f߿Ŗi,` '3&a0o @p 4 01G ӆ 0yno-0>VdD[]>3,(ޖO^yWaDKZdooiI3rqۛw3vZur;jfjMI@1QBg^EvڥZf@ $HCABDƣq0b AAD:ABoBn̄nB2s[ )T#J X^J9 wB- Ulv5QSZ4}VʲfnzE>0#čsXwdsK}>I4@2pg:oDTii@qiaji*pOɡ)Lny ZDAIg`‚/VoQ=y@`579HjBtЬmُZ*bTA)]eo;@`A:EVbC b//s#^#pź^T'bZ!Ib;jk-Sfu95o>`Omw>%%P|&9>gdà7 $oԀ?d K q`(lhq6Dэϻ&@ DO8С堝<iy6hǃṄ5|qגOn(h ҆Ǐdar[ PqHJr#: ӥzi<9BpIa8S%79 R΄Їcb".UCLp P6 9Ƿ :"=fOwۇIv}ؑjʈm ԷG.n2pY&%ܤ]θguHTn"IPoU){ݕ=`Cs/E-v31l زBZrg%{`+'?ȜF;@3@]OC;Nd?i ؋Z:0:4›R#NO}8~Ż8z8fpzUzܡJ4AÄ́ћ]ru덣xU4}#hֲ@ Fm&k[T_ ˌ9~Nnǥ.4I(%<8~7Zh<5B Gzleμev;5.+%&IK>̨@1-//C .u2Mp zQ9=B8q8qN!i9( wQ\8\Fgb,sl<HM"a t^%9jkrd-4yDL|▌@ߩLiAcw:ug<5o,PaJ%JؠIse/J?|Fvg]ql.zۢ!́8]oh}8WC' $^`^]aG-{1OZ1)|:$#o4_&'aT^=_ qFsə箲ͱBE16LB,h;!($3mKF]#F{_{`!=)d>d7~_;y)Bl[HGk)2[=Hi,^n6h[V)O4Rb- ͌,CE' B#\k.X,zߊ4<@&[ot.]tA:  ,n\vs$#F cغQFϮWArUEsvOd+.;\"#&{v5el60μ"'F_C[}sǸEe$Pj,[ ./68lD]#jhBYf3p!CpcD}l:nҗ83I=!m:1"=1zy #68,jQ s^~6 1%t/m g`7^HVὧ^r[ʃ v-ࡺa*0|GoۇU|(gZEξH|] n". +|s<) Zt8\QOf5XdƧ4u!<t_)zF0X>ݧ"(7퀴pIZij1Jg. mQ{$FNX[.IF[D]NF?m6㸶-Poy_Yyi^`b?'5Oav(lK3^IOp?¢r A[.<ϑ۔NfYsPIVOҠܫ#;2+ ;zP|=yo)c 4n"Xh~/|`1OZM;)LGcf H!؁}n> Z툋yeF0ݛ@2ܱv^ t{zNétZ$9_6JK2&3}hI` C P _n1Ex6!Lo/@TJ"|!'ȟ=soU,7sCXS1:[#]jvZl kt )", = t~Yϧwi@nOogݮE@zkJxr0o^Mu+ 1ͦcr~A0T'tUB4/Vkag55):(؈Y<Ry+*tn.J#t/\s32z{QA+3wGfꭻ`t12Z_]KjCg'6>q_W;ʿJKۅandqH $fe6j4sd!CცE{дw5.P-ų1)~)Z圫#)ň} _ I t:UnSHOA :|MbO&bb|CmHF<*mCC2ߒo^\Krr62@.hu=p Q Evã? CLa3OP\I INE<֌ϙKs)\sBG5MM@UxSLb}?}046a1(:[Ƙ ǃK}Q~>26LJB҈73W#(Ɯ* sv2p}sΚ# bW]jghI: Zx2bu@pe@,q'K X(GT$ g&ݹr8>M'sΓ~3q 6T4 /b+*ZxPAq3ZJ>+&R278( k{[B_o㦷.E0d(?N(hʤŊYW+am`ݑ$0q $TI!o` ! W \ȫ# 'NDD8hhfn0\Ǥً{a b% m 5O' RHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHF"0mRr]e~;&.OH/ijj)3""XO1ԣPAAp<(vo6ܪ#Dc`h.!̫&`$pF*6A`$0j HX8ww<?m"scq<,( O~TcWN#*m% #kw/R7F©'Z%G=3rLL_֧μ Γ^4WXaZܚuټz-ͫFn|k9]hyR<j=篭VFdXSy*ŵjȥܹr)3JCV}80%_j57{ZXu$J *9gys恚y<x}0? QrH#3/dnB+DN-G9sf3a&j} ]%a@BZ>m9X?2@iZQ\ L~l{ˏJc./uF+?̚Hr91+WR(%J4RMhH2j1 e@`  ( A a!Bc. 2wKUAuRd r*Wx!;$-YSs`2f LBXO`&u1GHam*֓n Õl)~]Ѷd##SeqM]fMw+CB#/f4fp/Qc^2uh9&gi*91)6v#-?W|eeɝ><(Aj,Lga`08]IĹuX5uNeR @ZrO0x66;Nto9!4IAwZA?u⹕QRğP`RMe%=QW<T|Bgh24Gxpţ\bj\@-np:t E:4˪5 cMjCi5G;3Q=A)O宇p@ vLBa=jFopI'\+x`dJ Ԩs荄*/U+l W6D|wY"O)xS/.n3X=oGo_n gs&LxH>K`wasN R0zd#/0Ȭ68}޲vڈ_@,f0/K1sI0,ozM5~m[@t4Z( `Qeء?UϹThR6*.ѳ $ 0>ɟr]+.=o]AZgYlD̠^D9igY>4XRYNr(Rc[&r9V>!}BÃ0mvXX౰ť;PE@ҢߕYKD^ ipּX̙KBPozJӾ|._NuYm9i7PAs-iѝ읢ŻU(;a!n'!ߚ,4vP!pl$Q TFA$XDr9!aCu9i(_BYX?B9a:v7W 9<%OSq/p`mXi b+y/8Ix[eIR,h( HDVb<} p.Ѓ']Ϲ.ja;aB:xxQĖڵ@K]v7^1ˣ.LbrZRp:{F ;$*SsoK52sx}W5Uz% iF{>l4b{iii F0%BK0@@"7Vyyebso)>z_ֵBh0)@XmwP* [dj..Tk.yQ$|8no t>B 0 |Q78`IE8Gc -ȍw Fo!kYB+N6VQDтAT&eIފHꖕ>Fqm2oq=#+`,=z%JF2JtVGOzi«S3V{|Г ,^}3ވOk(/B)IX3JZQcF*Qߘ:3f^G'+g%fLS:|bOH)sTezΛ{4k> {8mw{4Pi>i^[GMC2PЦllpRiɝ,`u3^ΊЍ'#8Ҽ%>贻pXgRHGcJ}t2AQ9NrRj:9TG_h} )7;J=BtmfB*JjW#P'r|-LYJH=Eh$I5 Э``EaaQ 11BBHFF|e%6,[[lI 5 ?" \fCK۸|^U"ޔ9=5C,K@pt,UiL\ڑ'J_BL|᥊niϔ En-LF6ۦϋ/KQzL'>p2\)3.UD 7҇jx#r i;aOPl9M9<'=|+MY+Kӷ-\bi3+U\ZPĄ؞30IؒR'  *(|PLJ4YZm^B,]/(%vǟ_^ϮlBɧꌽlE៤YIq"]pԲ; gL6@ C/) Eތ/T$ Uְ!BWhYD`DwvI0zú:hr^C1> J w`BU0!<|zZZg@77Ba*eH$iR>  `$ȍh:H,SK5$yzHfoN5In \5UhhUpEkbǯYɸ=pA͙+] 1ۦg3ybl0l]ԐiB!'Ԫ`@y*UƤVĦ ܷ7 sq: mROlڂ̾/Z$Is/`MۊѽaMasa0JȩYh 3<|I0=$oN|՞\B&7&?uy'+e2bXA0 BCav)=r)g*?R4wZBK:|L>F5H!=7Lsﶌv=Ç3Q,ZbiVW$ h|= NG(MR.qB{hy c_>ьU2\_6wU\VʅlY 'GΡ|`S89 -ܝo>""Q3-X]IUMKG| (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