SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsv q{~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } w q 5K) (HOL-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.lN2yracM(|ɛk-c*b"@C/NhXʈ`pt aCQQ;D0߫Y90 Ůw(3t,/rbT]~5]s@]^̓y,cxMer߹s1xm%áXۻe0)7;fi}toVd|{J{wsPVDV4x0}~}>xddqu(֪enssx~em~U}USJ]qD&W_SIr钚tȡ f"U:$"`b䁠G"QOIcu+/\/4jY$))TSh`yF!q,P @ 1H@dcl9;\⣒E;H8Xwt9;T:\8E.2a'k~cY$l2t10VKnu˟3a@@M1nMnYCSgR9H+8ǑҡkDHVzT NO5Jk b~rti@Z>sKk}n7b T5K% &HOL-Nominal-ExamplesHOL-Nomy$n#h ZNJ(߂̂ ȂǂƂłÁ|{xusoil*k)hgd`\TPOHEDC<;:98632s1o/l*k)e'd$c!^[GFEB?10 / * %   }|{wtsrqkidc\[ZYVSRQMJIHGDj@i?f>a8`7_6\5W2M.F,*'%!  >21-, % $ HH+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_Machinc?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filespD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marbF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   |5|df, - UHOL-Nominal-Examples:threads=6elapsed=348.030cpu=1711.049gc=86.406(/Y4zi!) KB;7'i2 H}D2e`2HcDWIT+sywZsT&b9~2Hrpt#88@=J֓MoGFe6S5F m.5nT)665onfTEF뎤՚ʫ֋lC)1}e3^)v4$ZSC~c 9I6mMϔΙi Mfmt2XAwȌ=件{q"ir<~U #Vr؄kj3IX%;q^iiDat7M̹,)kWHg Ljyyff%N{/+:Ko|T|zNBɢ:NL}깅26M;#ud#,F+qESR!LًEf{U3:kc2l^>ZYDTDVITNTМT^NT3kF9 JuhTeۛrþW+LSy|9{;RBx[S~Β4#u^Fj'IxUWϐIWUUuySn!jB#F ϞPkWwVشRWwNbM6+;m.q]lM4kw4Ԋ\IҮ=Tj%)3^ƾ>n[rDc}e,S] ِٝ~ #ސ7P̡˔uL91,ݍƪ)D5%IcFENU O_DT4ѦhtnHER4E>~7, Ş/]ͼ{#j.OtjFvlM֚][ճmX"\-[hj(R"Jנ[k'h)Q>me]hMg=G"<3㒉M޽ILIls/Dhr_2sT-iTeDHHߺ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.thyjh?OHiS&.J7Vb1R,V#(V (UoC7x)O2m,`L,C\%΀mz ;B`[v _;KÇw$ONp YsJm-r%ȼ͉ +G)8f ~^p:h,rUK r=MVęF.BSyE<5YkaȨWeEe/^:RCꎾB`I*x1Ia`i Ա]QX OoB !vd1אdoHA{"o;,J&,n(+قE< :ƭ7YoŠG2[bS5~Bbk[Ǯ;ӤN9IWIҢA)8=^uͦpΪxnAC.[3Wɩ&ZhY>%*D#nC]tSk}o)FϝK $Xk#A+mDyb-szpVj(˙nYOK1|_8v}6Ou&Lpca>+@t9ԅKF %ںcwUbfaS7d^V.;<,\ծR? DZְMփ_73F9@n ,| H_<DdNd$ZW/q2i)ij ;(+{Rmu$yꜾ1WLUݎ]ˆ/W 67M n Dy~,G7@ gy{|f#r\4aWvs=s6+j,$l;%$w҄TQ9 ԉc꿯IFk_. Ro/x% QJQu wbIi8mZP!dY+hkOOCHHxKזTм,'ghx+,veE-@8u)=8]ʇp"D!_~Ԕ[*G[m$Z;z#T s9+"E.%&}aNqX;FXvNeN jT+N)VyȌ 5?V cL/s#:)(+vԥ^ag0?wh]nwE' Ax>/(f,4+>Ŕ@?ShztWLjUa`H>  j*p@+zrVF6sh,ZiA Gd_@;Ti~qv,cI{;ECiȑ/tEC+a()f|YL/$ Fp.QMi LCP"aȬ}1/Sl]/3n L [=ͼ$8}5bDg"(  dfF8Sz?/{F Ѣ(WB6j=а xL;ǻ G[Y] Gm$P0̹*,PY[uvyna\B1Z(9P'qm+tv. ~Z. T/,:vL,2=:R!>\`dA( qF!|Su}O W?^y; E^:@ĺ; ˌJ\fs5j6E,vv'/3R-ϸ8\J 2xЅYxMSo3alGl S ZI*J׵! ۠R`AGW=_,1<+@%:KWAڷYv$ *^-+и[}7T:@ςJ_!@050yp𗶻L Jr6~n A1~qbW,۔:EZ;8Wa:EV1np9ʐ[ @j/pQg2 +jm^2+zhݮnЛ4`{ZʫiuVA$\|od]Gu+w\i%jQغ?uhi<fr}c k%=?_ )FpKl6j9"[>~Z@r%;mPѭJ:R^JY/rl:$df6wA 2$PARpmp̸Dz%X%5j1Pb,k@?^'D&ߪ[趵vKEJPbTQg,؂@ḻ$#_EGk;iy>ʆ09קmnCYҪf^a-jEl2}dW(K3Iuv>Xf%`J3p"#}MrbJ t2݋=( /!}wlrv.:YzgءDN.~hÉn-yd~E3q:%Ϩ`Ә>qb@%SL ,焃cDS'>P^.эv5t ~'YC&cĬ wDApĮE/3IX%k#)1'pםa651CvӣMI62ؖ6&o B,+W`֝thڜRm{*|ӕJS/;vڔ84keypKx4P@!h>!ލLjH&"`aUk:wԎ6$ȍV[_)Yɴc+ŚэO{I8 ͌q4{RMyXW\π9Jpڰ^} \-jcxײD1gP^<}8^@"Gf.Δ.A7gUV?jGqDo~Xd**YOƴ8(G֖EB8smVZ(;wji+̇{zdP#{9kcBѽ~7x kJEN:FWӦFbb1j&I=EJ \~<>-Bg39}BR Xg\&_4mb_I K-X*w➮61Wl2jE*PsCᗵY̒sL&})?{t")@n3@:,<͚er4zfD`wHokɶ#MKzo|r8b|"8 B`c*%;d+9Pm@iW+ )jܹCuM@+ X%ÆlJ.k0aVrNx 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|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+V(s~`wq M^zrͿ採b @3SZi2ۃ{V{߾!"fM9c v;vMhv *Dl J)3L@1oW-_f`鮧16LJ?8#l L͊YaĒ>yi[`1ԗ|#*O`1 lե6kh9V2+0_㯋ɠZXdH°sM5U/ {k*Qԩ[x.dF~dJD>C ၃-wn ;(̹YkzJ֛"Ȏ":=]Qbo5XK =f$*!z?!`hU m鈬֩ |x'"KA]D.# e%m>SUm)DPKȁŘ>@^`7i;.♊8kXՃSVE@rU+'2F}Nڒ *Sk4D-y dH) ~. zǂRDc ;$_ &G-v< rs{|Gdi 'P'H_592+)GBmI2KD/`J@NE4ɽF֘*Ri35Bg$bl㧢y.CUm_U*DRG_<i eQ9Ѩ m AY!'N8L B @tA(D*+fI 5>"t\}UVBʩ|j@wc(&|wbɬSAT@AahH@I2z%sMLE,R41VԮTh22!<@K|p<9Ə~9)f02U!hr”c d?`AUA ?0$h*9Fݤi=ZȾ-ճef\ZҀ_jkL {PI^5H䊜">3j&|&yhUq N& :w[]>*8b,ɱy.B$<Y Lŕ*dM"/M]iɺ8=^mNi%z$Hug-Pyzi,#SlLbUL@K! t8ZAfբ@Vy B3X4- \~&t*%TA =40X6ĺ[4b :@3L &I=E+6h_԰7nښ3p in~}mP_:safy ܍@:/ca̩a;*CY9g `M6PW\li"6V1ZxIQy$p SC.F?h%a( F.2z; QǶc1S'_4Vؾ GsdKSQ_reE b.zێIjN\ 9!JK'XwJ$DobzQn><@qxZ#CꀠpJ&&DWy:N$0bՀ[8$(Wx&v"#ibNmS#->{e)'[oWWI}Qk Í;a-yq"K0MyF wfx?EڒofBj\g)JyA<,r,;(T``>/5ڸ2ϭlW8`#p<0bUGco ha{)Q*us;2G%NSPLXKB9HELb*^7x!B3]Maɳ_~1@^=2J|-7t0*vѡ8 n>^@9osm _[@zkkpAž1 `8Y&Ϣ!х!H(\VYJ:P= fГwD cAdD@C_\IHtm]"~jiyÞ]QG,8a-b5\pY3F`H |slI y[w顑ξMsǨ:*L$Í(l/28޿L+ z[?٨-)9 ϸ֙}"?b{qܛ~( B:xvv O K@O 5K) (HOL-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.lN2yracM(|ɛk-c*b"@C/NhXʈ`pt aCQQ;D0߫Y90 Ůw(3t,/rbT]~5]s@]^̓y,cxMer߹s1xm%áXۻe0)7;fi}toVd|{J{wsPVDV4x0}~}>xddqu(֪enssx~em~U}USJ]qD&W_SIr钚tȡ f"U:$"`b䁠G"QOIcu+/\/4jY$))TSh`yF!q,P @ 1H@dcl9;\⣒E;H8Xwt9;T:\8E.2a'k~cY$l2t10VKnu˟3a@@M1nMnYCSgR9H+8ǑҡkDHVzT NO5Jk b~rti@Z>sKk}n7b T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 ; `g;-̠PIjj$I@660$THP(I(ShL5WH0Ip(!E741RiL(qѼ& e/BpYD'1SPÉ 8$d ,pQ.OMezBټy_Wa30vcèBQ}YAA*W(!l}]m}F1tsw_J13SZn]rA"ZPFk`9  11F"6"D:'>,pN`Cb'5Ў+RkրMdtoxLHjy2()Sg̥̒2&I P YQ9K?Jx&ޚЩTZS١ws׾mE2Z};8zz7[J| !v}W(cfM=wb* Hm{5K' xHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Ua(Fx`*&7> [$Y<hp~yN0$Ǖd%9̫U@*@1ƃg6>Dõ&PqЧ hX޽,JYզ\LT|V8ES{Pɮ2!Lp2DpW'>=3mff'$EES $E02H&m~EjkI("8 t #bY ÁLŒtӴ%tG&)e11&*eL K 0.Z+LRvEV+A^4E]{nESr/rєSWǙ 3&#WyZ[aH**T& g;i pphA th`8uvV*8qVY76Ll|XI ✯fhr^jD̺}W=fM~ EГ$i?$ T^)#^21QT蜛z*31q?1 *]%Dz455hX#3#Wi˸*U=3SVǙXѠ 4x!Marw,ͼ/* r>Y׿(Ұ[Unńw _&#&LgJZmUN}07WjzUSMR08uA$ayB`RS<{MKh ppw^jɊ?0su1sv"i?[;,koKHCn` I纟<kF6ИG_#Bt$7&?u@j/AlB9M]K^ݫ-nSi~{92|B:f-M[Hm9~Hq''s+9[@uR!*Q3O D͹5"1ٲe+SA N}弮fSn|{f#h'+5t3ƠْO40}8QCs?TQǧb!Iē# 8y>_R*(p'G5ՠ1k_t/͞:%~S~ԣ^:yl?$I &- T$4mi)>/зݕX"|[TD0("!pބs:aW8sq8Ȁ̛ *\+N_ӄkiw7y`8 qgԱna`~^)T!L(?/|_-Kc{Rj q[Rzi&/|w ٿq;b*r̵sgE[RpiqĮNn4q!;@[;wyqNT4@c VXPު¸ʫ; ͢_n$|[Iq噈kf_0΍1u )* &>F8`6kx MEg@\oͿC8}@ZQg]t%EM kTVY T #L ^89UlUmr `Z6k;_Mxw"Ӭc-b9Nmt| oyA=DIa?\] %Z\:~oyb.Y7mbtE0ŋ7,& 4҇˰ ./fglQ~$3I)g:A= e[؀0fES- _ y0c+>X9&fyLqv5䕖k v(z `1IDk@ q@a$ "<YJV_礊64ɨ`˷,hQ(p7O70#Ֆ?:O=!s2?TgjXk1ʸ|B6䷊俿f&czOڱzv;0+dIP !Ll0N=vu϶#|$3r'sLxSU)u^d 8iA/8'oāpo> ޷rҋ> RURZ0EL.I"y<\Mnm; 3ȴM\߆f ipX;y (kW5o wtqB4:؋F.d`>e2q414¸x 0@Lƨe҉N>#eWbjD AڴSV)CSDiu$szpH5gM_iLhp8DNAOD32U}rr!G(VRk̜rtJKm;ہUM'+>vM\Q~BYsĢlQ2MLd S *I^$m]\QcNdZhbcKmBkp b[aЩACIV"16 1BYUWa|Ƙ;}ag!!EyqN1`Tl&B |cPؽc ˘?mö[p=Z˝MVA˘)C•q.cI)>}k[|~/ūRd`O/|+q9ޅIk>#)lgmѩ"/^|jg(+p=uh[ԁ)=K2upJHmLe)r5}L- Y ȴE&ĕ3Oo]1&Ddp|4CՅj=,´Fu1csI?Iٶ!c_ZN?A*=cp܁ Z.,(*dBMxfQ^{1,n[M@s,.7 0G¥l;CLP-9 AOdTFe+b0 hpxRº&u/o}kG*ܯ;en Z ~OӇ 4WQS]f[o]."ն;c{v}JE*]ld_2sa  РnoRh8lo 4}RYKĘ2*iS(%qI#$+`DA5Tp5&q896cдb;AѺN$LoJJ"hC]fqKܯ0,g0Q?M3_X^g$zZ0{u ksV2G2M$IF$0o<}TB49AVL1ss8ᶻ[/>$jbvEO& BIHfʦ/;X F '`ƞ 򞶣@(1?9-)0Z;qF|v+bI-YؐŕLO7*4K@ٗ=Dx,/l6.G.'.㒖\;'G,,(EӚ{!ƫekk)*fvĶjTI4d!4Vf̊A~jVT F!^qDBpV+Of2#:%^JFyDv,;Dc =91=&GL:ũ&8Ws`Q*J'3s%HgA4~yXTbp`4jT `o;lh->o2ɔL0 `mۮmnݺmuVjݒtI$IumlMrv{3]W#[qu_nO88$pYL'7}}_yuYU'ϟ?!"""< J!+e-Z6$@DpXUGd%?cr掇Av<\şv[rf8A~ ?L~p<RgϞmPmJhA$R%%"R"%T -5sqm۶U?f'=m"u%\*~?D.&ɵmUh%=mRvKr3[ (8PAC X`E ((  ƀ M) #xi<0jqO8TxxOdlO8(0&8&8" >! Cm26*Dْ3oDML7dV'ߒ3^+á3&*@4&fVFfl2@bQp5Wf\D[)oOdșouK8$|sOdg *#̶]w;u_U7MgY꿉f'=mO۶ݶl۶m[$b"?"-9MUl%=s$[PA &q %,T0HL$4D $(<HT, ,D&1REUcj4x}giݛ!*,r,UCY)G6π% R%^wcymܭiۼq+4Zy3X6Uز]Uq?m ~>Yg~䞿 Fnj<3 _gY@/q.@8Zg+|8뾶vVJ~=> I?ϳyј?[x]mHm,=&+d᫦+]LNN2هs3ţiWfƤuG+;ox "y7m?! Ơ6ݠc$Y2l&+nΨKbO+Q&bK[6fTfs#cX.=2_ʖꓹѫQqՉL~QGقncp4۟ų_W M7k-ܵ+R P[L>팙pmӀߑNy1!Ƕ48 T۠ZLx1bmmp$eܖXF"񊿋ݷSZBT?͞:d^L 7}l3[$.B9~exI!Bӹw¡cw&stF-La %R͸,H-˒x=gݢ9p0<[4pY: Ow ɶJ-([ƪg7-ў[Ī;N^)mhg>oaFoɳ4ydU#BoK!aHcy=OוHGHO{ ]c9y.@>\44!|v!S[l\ z*]mM:U$v.\c(-,lݿsϜ >?> qNi3_WnUlj=9'f+s.Ÿ`/qYt+sXĶ/ \~ܘljaBCdVƩ_b \,:5RQL%|} &3q߯YpB1nCJYYYAdX'[_&ʘ=eм-yoJIHR\&/cOdMưwT,#%W^in(^DRher]Bǿ-~% >EF^c]uI,|&㨘IIBo32 JާnL qeDhGN1reI9gf,ZtL4ݟ%Dp*b4d: t (xdio|j8@AbAePLjY#"$m92u~;]ט.nUhڜ *Bݑ즮.(*O}v~[Ǚ<ID4&L!̻c`&{Z`r[:! h [Rn&pnNߨݻ&u?F$ 5w#g8;Xw1ɚk8L,Q }MA_DV$TtQ4ϩR*4a#r=ܦvu 3fho=\={t&,)-w5. !$]-SاsV+/2ɮϧ] xc4zNޯ`L+G n%2"qnKMzNοI/7V1v ^מl x eiIgh?8DW g +tDS^GT]!R֧ZOI}˟mpj?C~2~$!Z {$_}^52 [ !{dhYϚq4UC'>|oo!vpV9(,#3iD r_$`9=յvezr)]rA`V{rWF*^#d~= N}b@b 1nb&|R6 @v̝*K:ZC-&c3 ' #c)`Ztk1P`Òw|ssT YWJWODzD(f6~ OYAF~(I7o`~Psl+KNGh"K&v! Lo#FMlH_'e`0Q1Ypz`+}s!,V"o)(4uR^jB.xu;A 1wrCظxY&үuBFdY$"}һ/SdIZtE! $IP4wBNSζJ bƕK&h-UfhnM`0 ̀ȳ&RQ3|l/A{Brg]ԈlCyNC ^mU\D4ާx̜v!|M1iX0q&&SzҮ=‚RaoW0ƀհDFKCeh\F@l $a ,!QɒV7f[e`_7]l'ȐP_ 0(!՞l-9a 551cqMsA8U6w۟2poʢe\f 8+ iH|cT$ l`<5 "|pl(3i$3u}Ӱ˴#&_\nb. ,@A$Urz]@t/\!q)=;/Urۑ΄0~G)/g>d‚z%M,qG}_i60֗xld'ɤ̚!LH"6z@[#M24٪A/l£. WqwW쵃9eKUNi3 4IiUk5+7H{NvDc:ɛ#;KN"K o=XN՛ yltTN{_[kѼOԊ;sH JP*(~Tf+ˌmR,eD.9 /+X?Iwո,uj_7JyQ)¶d!*!:|>&쓧;yU+:stW8&_}u~~Ӽg| xog4;lĕ[Fޯ/.h~Xē4so߸HoF;ݏ2GF֛sM|U0Sh1tt5^(fݵOc?7ȏǵs[钳|2FU+_\zˆ- l, h/0) lݞf糜x(33UV].[UK2.mn@fcF]5/ExU6LꃹhV߄W{80셥g72-jAPj_3{O\mvŖ޳ h+/S O-4m<]rܢͥ{gTt'nTH0zOп: WԲ!VvD {TEmd7Ѿ6\q;~ B٢,}dف~Kn7/~qWE-&Jwfv7 @ ΀MH&[p *avIn:nfA\9=elv{>&fa{ G˲Mw) ՚TR{a6C{tNcQþTYI>>^|16 dDwfOVPv2~_F3ﺿ`ߒpm]nGwiyiA4sl3鿊<R} ˳O5,7\-<#q.%'ӷnl"tyl$9e)l_4pCxy% >Z ~_m( V@}ng*AblM.q׃eS7@ e93ҠOhr0SpɺY ,Ŀ鵩ؓ@f B}@Wj bO7o׫4NYFiy4PN Hϳf9 %٢(zH4<̮AqzAaJ2qG$7]j5m=hwgoӺF|K:H?/ǠS5Hdߠx=5m]%nf%h@|Zpb҅p4hBn[YɂZ tw~x5YyuK16l h,hp,J{B4wo^\q?͛V}m'8e85PHҟƉ~*tH\PyǛ_zRuivߝuz7*O#pBjulfys3hyNN_ fVJ{NK?䴆xMMݲ=hYڸ} f%mAQB5'ۘ d^G1s6u?H"@}^8lz!";gXMҋvNvFhlقM#r7rv^,z!dHe؎^?.hwpygSpm{;зrHSڸ$^nP`4 [ؖ':f ;mƯ~?SaݣbVRp4W `O*ON4ȭqEDʖAo-M"#ے$ߌ~mmN u8p= ̀`n\o,4a  `ar!0_ $ -|Pj3ݒDb0A$  T şjE\BPARA &\q8x8g~-HvP @@0:v{DTi$ITR%I$I"ߞ63۞6}3מ6]3՞6u368rHgV""3dD\DDDDT"nժUVZjՊi-M:^K~oF6HhiOnB/%7i3ݒDFJ">~[r$qm۶m!ܶm۶m۶$I$I$In۶m۶m;[򛈈%IJ[!1nn"n-b$I*$8u LP@@ 0HЙn6J~=M$\ 3ZHܛ7oED,""bK,ɒdɲGDDDDDD=pVjm۶m۶m۶m۶%I$I$nݺu;t֭[n"""-MDREQ$I$)]K@ Aȑ0    A ~ֆy7'Ȧ4QV/5=15Eٍ̹ϷK!= }!焃K(u ePk$-PS`T'|kBd lYn83k 0+VS@M2'fӷjhcwaaөۮ,:kN쎬Flz/=֑$]>C+ң6neըڰȬqbbnCֈ"6`dHE=VUbI^r'ZȬ+*IpFbg:LגL* JWz)P' ܂kts1ԫ/J_k>}XN|; ~Xn,G[VG+ׂ;[|G.cXTO#}N(ȸ+w?6KO ¤C(م[hj0_.Bz5} NuPI9,Knx{Yc򞕽GWJGPSo\ h,/W< X;]8Wiyk?ʔ/dр,y}3٣QKݽJZGZ@E;WD7 $F+c_%f. Ȩ u%8j(:BtT P&l0˜rP ^?pZa6{FLuفi¿4p*f7˯^l>^ `uΪ*oB^ IQ>R'UAPK1p̳Z_kW+>\*'kJ#kc-תjӥ^*4,`sJd&a*0G $ϊ&c|b*pM1SU9a7Ur9efذ_\6+WkiWT,ګa5{]M֟c\4S-M=ǜCڜ[v ghhiqy0r VBʥ0ܚ*ȓneU VߜMr9nUzRT;568/ P/jV#F{]{`+׳pSL48ӭrqLQR(qUJEVRm }Y=RjaC-2L\q-{Rfn#D/G98= pMXGr&"5%l~9aCvMZ0Y"*W~G4.J {TfMsLn6tZXcDk#'%mavKC S)҆M?KhKh9,m"rsVf#]yo)Q:6tݴc25/zfԠ?SV|kRen-{|ن;WkXtT?`b"IUee\*KU3MLvm쪮35m:)glY*4B &fsA0mJqy<ᅐ\~Q9 ^/vխ+U8Niu.MIyH&TQTV%^]" (g̬4H8&($gpWoFmb)]\ A?FnX#T={eHi척C5n QL1R0B&2~Sc ?_zgX-T]t,{u#I!#>{{L櫴 쉕Zy* vu[Z k@,{h]RؼݺZ@ (5!Veʸ{<P12a USSQSˀHe,[JX, M[B@ kQQD ",LP۹ﵞl!Z,G]H[ʸ VEO׬_g‚G𢦧(AڀW<+;/̀-5)4 -E Mc7ᢡx@ScL8W%6 z"L y^oM^ 9f=B%bhAkXM%oTJ}x'/X<)P -HP&&ŨZ0`4v_F%-4@hk)Fs}c8ɉp4Iɒ@T(~Cv #_G; # iv%a*!cJw}q]@UPff)ԮϽ݋t.*{l,.#ߝnB]gyKF1?VG < B$l/^0^Xq%vL^ձ4'fBiyӫB8\տz!̒:㬥u:3Ҧ) ϙ&K׉v)4g+ T + jk*ȫ^VU]*-fm;VkvW -8m/M$s]WY8$S*9mcHvW Neup ,sv0 GVd Zm&-PǼ[}Z=@*bA`1 [FUdfՐ QcHFL$cݝd;)M{Zn5"ems&kGb9R{-"cVG^Kk#h\UB>&4Cr:βq~Kn5o#Naw#U=ȩz ȀBRFa+%lj~ldD}훋71_>@`.L9K("l`1 'M_f/TcMIp'}I%iSچO$ҥ'16b_%6l`;+Q[(_Ig#Ck#.]2uľZ@LyUPEi!NR5)٧hPiLBfM cv%e \v |eC҇kƬ,Z%KHUE+ 4D kb 'JL) 22qʼ\FVNoe&rOwynjӗOibi"tws2KJX+aG`QGT~2!J\K͒ڳ_ \) 7Ϭ*mǏ99QȃujWp&7B >#_pKƸ.liQ1J~K!tl ѬEVodH2 ՜e9#9$ 2S`ÐD1 oB78yn2O ꈰ Z4h\z[T0#go9'CAQofzZ~bȻe #Ȁ}#z܊_&UaUgg\wŷ ŝMlM s{TKg:5w@M5$g=4 ^,Ow;!@ʄn#; s"7 %S^2u2UzY3juZج뺺Ew/ܜzY^M֒.87̣{eH-0("L#G+P&ؽ.fc+b9JF^kXwzr),_ 4&XI]ЯɣCD9(jS-cXх]C#h*ȴ[jhSOV.( u\ƶד)k}u`F7?z9S,cծ e[6ei_M*Q3S[mzcœL[cX3f3!c?p u~,܌,x<f4RҐZԐ1Uډ ٳt1bN m۾˸ )zd$dO#bNZ6m\!ך=Q{3l[+D 98`h M-@g]54U-+3%+[sTsr.}KQvݠ GͰpt($jj[IJW7`p,kY ФeeQAade*u:iL̞]{3dfh'3GZ,eښafL,Ι?jͪ"21/l?!wZ H2?bko֪ ęhYY5G{WY$@ɪN>T TC2|CJϦ=!ASDZf;*bK}쐰J'<$( ʜL fX;A4~wZfY 4kDYTjhPACA.q:gЀpBqn >Vs 0$`r_Р@"1'rMDP FdBaF5yɄ]:ѫxGɄa(3D{W٭ٸ@@0<@aa,z/$be,XYʑؚU],nkUUM5Z3 UUUvڛU=?mߵ6kUk֪z^mZ*ۚU}UDwfBfLE{ެ:DH8B|mL,XPѓa{8 /1@?4)ZY-6^f%Ra5H j./` *}<%hb+r0qbb[~I8ej']hq,:_w@))@ V]:ʢ^{t?EO֠pdR" $̸bH\tɺbg==' X' &c݇3@:320?L|`Ur X[뇏-aQtjEi w [7cZ94^C3\VVQxe!=l%/qmO'tIuĻ~3 gBd,H읫0 L h2ޚ X:?Ć SL9B:0ީSI@10"!FESSv)Q3eb_U$]jr$K FǨ^Rndp|I9h@l"Ɖ''[͈?TݛHdLwd32-P1.0CFFLDmMfZ:t4 aJVCLǒn=R2s;L{|!S~~?,'_+BR5NBW5EMC=E8w% r>%j}J B4YѦ_ L#}/yTUx~Bۍ׬tͺeSݦ띯`Yn}#ʕo҂KVU&\6|IG$ ؚ|sdjy1\N iO v2,{4+;(`PAlnAzѱiLz_ag]iK Zq+YӔ]HY(,?+lzɓМe ɼ]8V2\=:0oxE辔FxoĄU0S M%u4,:GojyEjU2wSԺ CPTzi7 =|& Ĺ|yqJT9v\iq47++R+m}4ډ3BjTLW>M%?KF %>+QkQT%ĘSN!d#J(Kc;eO&ݏuEp*tQ6ovs0GF=ӂm ȧ XܵM.Zt؄1Qu3V"<qMO$Iy?4,4Mo.y,|b!i; 7/䄾884O4{b6Z( $DIB!4FohYA Jj^:Att5`?f% -7;,aUc8S6,T? v'n;;(ج_sFK ':^x $|EuG̀?;!:m 5G{iSzӛRLg^yγ''<QR ?s{ 4F+`r3DfKq1)-Oi8-5oˬ>l #|MywWe'L MUq`304gN: Z&ϺPxRY))::< k0ͻKZVušlc"ghcw& +ېQ~$˄[6Te &兠~xL~E~ @ ҌJm?466Hq =6- 78& mwc2>Ykш5Lgqy,Y11"2 69?j/Y (F8!@ }| 0{ךPVvRHT Se\7^v"<\)l]l VvD*og5v`uGiC:#RnLaHA"/ 0 h;L\p|bJҤ`,&.]ʠ,] 5cБpS]Xcy IR'd 82~=fk vUkRk{6eASёM"E OB2TޞrF@/#Ĥ;X]۽fe"TzqO)>Teb)hrEDejF(-XO_byqd};=2-3L7G4*,`gQlSOX=Gew/ ȸ+LѾVAg-qYdoP@TrU ӃZMnW&J +&=ЄbpC cYk* vEຨJr r #~j|2{9\ B# mpjrGrS8?[oiwB$ g9U*[}&Z@Aw 7?]_ٸY@ޔ%ᡫ&b)?r1R>y'KF&_$eϕEF[(`H&/h?-uzu.Ba$>a / R|<ږ<0e/߫Jx 2߫V+x-b-tk&x2_C$҉n߸&QxpO!IJ xDSr/ O6:7fd{n#%e1R7ū.yVb4jtSz^PQRHm{m흔KtL^lW9r7CN-fJ_[ӝHA>'n8Ww-.E6H\/u(1-Uz&@1#̱cyFI9N`SFܮtΡP`Zs+y / S(.ŨKXQ+KGRã`rDd_hpuZez,k,\w`d@MTp G9T]ǘOl9Uʒ`6/zqj)ֱA/oܬ]]LȊf`7hdjP]g=A'E^~+n&4H/ qfl:)U0du2ӍCD[/O#À,0iNx#uwdBjN#xtRX)Mq3`엸u)M^&* @ymU&IbgSH;Vʪ]o$<4Sj vKV{~ o;H|\}8f]d5-ИIKrϥ+Κh՝=q00 Ϫb6+6Rm[Ը\̖a!_+׭,Q{(wuh-k8{@0$"w}hX}a9-JYUmG|Y2K>ע]A,H,hx4^&⎘ SG)s.["ybMi#I/G~㓬X #1gZL z~òWnxofbBf0dlgɎH8\qKA$OF*+p%}< D.ӑѲA p/KWQX"wVLPbsXZ1ʕ/pi?YJ wn-wYH1l5ZץXeˠ W<{ hC|E>!='\njD/>{+s;ԛfal=1g\OBR"}q)-dNA3Z 8͙9?d('%QA|bQt'yiy 8mJo8syxsr 0yڅXӔ1Tdt@{y1  $m"؏gh5|=-A헫.#*ڜe+郇iY7=x݀g5A+y}Mb"Pӆ+SX JώDNXKFR@yzK'L&_<ӂ5xՀ"}y;6 ĺRxϬ &|ǜ7xYZ}z '+ym¥Ui !)gSƾ=Ů׿ܔ1}+eL@ijAFy2?ʖV, gk,p..Q7ZРx_RY!/FHҀ0HK v(|dHِΐjPKTH`H8'%2X9'~7?ܺjMlp9N7\[ ْ?wpٲ,*%NAV>]6 $ppF;!0G֋|.Z|a|JUJ!]co7*sk8Gcv2$ FI_ U_z3.0׮Qy ^4SzdotA? 9CEGy CS' #C @I1{x# !q!}rz:ؖ"O+[UkyE %IFy 2"a >J5/6SOFoGGsCŧ`Ohꨉ ta%[笰hOſQ%޽j=gʵ_˿aޣYvQ{aWʃ4|Sx؂7fl${YxYIYlO3\Fb6K+ۍL<,39C "xzL)S h:OaFM객choKeriV拔rqP1 obwu-p%I3y#іYX?ɋwdY!m||>  8?A% -ZʒA@\v#zIGvwuOtب0Ƚ $yWfU#u!˥E^a Z'<\8+sT<7hlJ2"'ظ`ō-.Bz2gSTK0:ؐb{ų{uAvEi/-u-#MoYįhV=YafHCl_/|;B=8^Eqg?.O]|7~ܒY$ o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5rpyv."WB@Cw < !R9p Gm+؋ ؗp8k )4 {aKzx笎pه=[+[ݤxfNofR92-7A õl9dDJ`,NE 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/\:*m&jB_e!du, .HdMI#X)  (&   ,D 0¡ZjܵtP6Jn!bwⶭcܿ |&tJRJg_}*f@UW'G8o]>C7[aOކ>^ELU%Nd؇G8 7T.U`V@ژ|C[ c#[no9^B'~ E  :.OaAP]n(6E%l%xTv{h7]1!v&ebfgv iDԩƄ)SM'|YϼGq)m`Y@49 sZPq aAF ;p+͹g"*P"͘Y |#z&zlq0wT4Ax=̔u&'.n>g+aۏ҆:,yt~~>ykd7ޖ`h-}2 ԗ6B2-GYe,I"ć%Ⱥzk+e=hbYf.KCI73H$O@r^@VkVϡ@_}|=sX7S>G~![k83;"݀ [="B'Vku{A> 1nc8^15L7bI[Zcyixdcݤq<oIm6ς!%c/Y{<Lr9&d &8(}*@h$ciF֞0Q6πQA-|2/;Ϙ8C3pv3)?q>>_ڧ30p2{1*`gclLd78Liz3.mtg΁ K7.]bpL}*4ΉH1 K\*@mOM$4[ߊ$o> M\2@8+sBY=/YJ*>J(@yz8>a.lǀl` ǴrsgosrʠXky ahA\ڂV$tkMYV/Vh 9agG'ʧ{hzF!CswB%7,q5v1ʮ 5$p(o\#>* $#ut8Rz-^WF3?E_?YX"j}U$L-'ڡ}5eI\$wf#ԟq]ab\r]د6(s/oOw7|bsǞs@ڵI,'y%C/Hv,T C wbN1;{p:爢0K:i@kSv3ۅٵif$:H-A/rY m +%m=aǪaQE` v,oCw\@,PW*c$@a2!A1M76-~kb [zQG!?t LjnkW`1e7&ɨJM'w1¥]ʷڙg].ժa76k)9Knk Ǣ2 3緟:%޶084&7W^.l G %R+ T4ϳfo{  fO耫zw}"DA4+}{S5&E$ ߠV=amg UX լf'ݧݎ5lȓ8fR. JMJAyU4)D.4 8A~侀 ?5Ըw{$H8_A451Ft@(m.$BOVHǤ2̋C#/ beJhig !"ǗK L} UI(߲%0)'~"# T{Wq P$RU*$]W#ٽwL}X0Y5+-[Q%N4IfGLig#Nx6|vIŷ 7ä1iJk4Z !1o{r~B䅵t|S*1? 0 *+qJsO5v-TyD2LRAU\&3~"x҈fEɱt!It)qmE'VT-X&"BX - IXp~Q{jԚrw".q~V 䜿&M Q.i=%jik }h.ɀZ,W2tw+=wBw*<BPRt36 iQ1X=|:h4ҚNFAy@m1L߇ ;@/M̽e{sSONޒ^Rԍ0q\\sf*+SAXQM"ੱ-Ϡe]RS(%iI\oG@3W\IJPq_u闇biq,e0.)^SUӮԜ`lM_ct_xt|`w/Ia~01Px8]dVk-'Րd0q^f7e$c؛if5^{B-v.}́ ׉k z(p/d.]d{t->n\teyl46=LN{ Pz&?)`*d q#Jм&I UG@9B>aFg{"jÀ.Aآq#$} ii gNy{%eh%e-*SYE+Aoŀ#ߛ+䩇V);} @=^v ^? Yi k#݋bCczmJuY96oL]"LcoKGS%<2)4P\B cmpީ7қ]I56UGb/[/Ysxdu̜x/;\@@ܗ1bk.;]X䣜٢A4^ W6:w1wqHAKz*BK)aB3"*AL&ۊT(XajRk_*d/d| eNR#} \z#e"abEMi6- %?$DZ\nrڕ)g}L18\y7fS|f6j}ryM/wR$<,^j0k ,ajŗ<0<aYR&"%d _Tvj(^V׉k Xo=}ΐlX؂1l@-:8<-_tC>Xtn-W?WAz^[ϭ h\KH&o!< uѪսJsd{ҁ.iEJ0BSݡhX9qN7sv;P)O3i|CJoΦ2 -#vNcs-n>Ŵ5U>S.|%ZWGhPy54qoGLm$pNPZGkK>yȨ_> _y'nO7J#W7)3=߶jF+1BS{h,,qT,6a-۫;8-n!:aAlZD5\!dZOаpoY[m(j4C6 TE[(- 3%٪P5KLXt\1;fMex> }b"NǚR]7+AVR&EY6Z+"Y#.-@Gk|I)e$e351֥ 4(}0#KmyX"ea=(VBQ32tMƺ)|Rl"˲8MҜrVGP!=fvw1E>%kh`Z1FWi, b_T4FDGH f_҃MPCܮ  @AJ_gCzq%Fh.~ʔ9*wlX/t`A.][[ϜWWdeB^XM-A>{b'œ5O4Yo0MD 㷤7YXPn3C!xu*ZNR,';KNJeaW?GHAQ .u4ችc+ gK`<~Qzp wwI}=.%_TDnͱwcD61I$;}V\PGE1"xT¹k$1|2zٽq*&r{[X?x4+Vf[X~>Rc˙_R>wd>MŠ߿ "M\,>U< {Is]:p [d;m6 Saw3Vo٫@#>{ EE<q؞qK̿K?+E}0Q)ֽ%/1㰕SC ښњ-d{Xl=0hN4eԋ48$0j8j;) A˸$.2Q[kиñ'9\xfʶ! v[{4U9Uݱw PUi 7[`EwsL(ƴ(C/{7p]-KPIoE9w"ǛAJnpL"3 A# MJ^j2*dKLMyr9I/w8 7/fcv_8R]\2^a/vN}L٩ܽ jV#Ɇh;!MNbTOcL\bq|kk Bޜ[ SVj(CŊuyIXTU`}ցXv7fg5N~:>ۨky{i7RJP$uʧ"b`X?ҥ<=^ >fWE1W9qq@g6İ_kZP5,ahCدWSTXjUz*~B#``$k *_eU>iIY*-:u*x &H_-A'nzm($}TS!ZPbCRb'4{K`}a5 cdP\Ki9VݒY˧ "&{\1i>r#IR E Sܨ_5퀚r Q\J6jWq#]rҺ8]+&P6-qqz{X>Sl#압­JuH%ZgO-dO\@ZJ5GF &$4V􆭚d女d'30JnAtI}X`"kOH*+bg_aUJ:h0Hjhf;re?_`XO|/ޫɣ}=U'Ltuk{|QaxIFf=KHGD|;gT, 7~ ~zzF{zK7)fzb7#:f5beT,i/I~ȉxȉffffƍƷ>[4)U@'ƙaR=ۮR܎1a?m5U[;3*C%ZӴ*6x=M?Mhx+/?L@x9E~E^-iE-B&FYg%uc=S]s>ed̛0'D-&Q2/ob.-o3Ef3@ @QCxDq0 baAE:AD@qnBn̄lU2 rMPH~]AjqeVH ƨ[BƜ4H}Fק c/8;,a؛"u09QO W4| qs@xtq&6jDihi[mK8d|7a*-|O'i[^vVY$|-5 %4rꅏwl/V֝a,6Eq+S6!s)-ғ<4mhfա,#[3dZi}[}ANgUKbTP#JKGv7N|3r l,T^ĭ}%;&Y`GedC0269sB}τ:*$_7R\]Lc8 xH82@ 3+.PM)B k Dpjbwݹ@# V^qN Q%StZs. Z SUB6Tfق5*bf ?TQzlc3c#K"FOBU_!Y5 x8pN++T/ڱx iyGoE[y ;\T~~{K^TɮP'0 Zb>/L]cD9.m;% ?> =p9tf2 =!Ob8$e ά2uwnBφMb#$L 9('W)M Ӡuopi`9:`whs{7N?E '(P@EYQ 㾂c}j4! 7֓'@N!36y!w ?&%gmJy?{898N=eP?b`S_A6C#F{|l0KE9px+ " $Rv8|s[A3BiK~?n|H;ޙ2PQZ"L`N VDGa=R$ hqꤸ{tB$dZ_I=t2ƥG)\:MD?? Zc{Q0x,G'fIxfB^Si ?{'Pd(P !%~ >"Pq!yQ^)t(v>R9h\ӥ_;|pܯnocmUTcdtt>'Hӣgs зkÆo ) / H,6![Fs:_ LdcK.*9NHF9)- z2rXIY1!0.ɥ`DJbm޶_niTOj8WM16B&OQ<]]U#Taֈ?#.Oÿب|pz0v%g|Ms3ڜabyF7jjj]%HuHchOMN5ZGWɢ#0`#M7x}Y+8}LCnAcRǽŏ ^gSP ׊Ec>a +i+-PEϝ.DC 9wZ0(+ooŋ=9Xk#“(L<Ac܉b]nt4`95O.`W-ꗦD'{;ZK 䉟RiFʳ)_o]? Df{# !&JEۖZOًe=/cV 2T%Z"BOuCd{-x8\#H(kFt3-TcV-62Rm'7^j׼ꃙ7̍Ⱦosa; eх-O?+φd^XčWR<2_:R}иE $M(`_NWrC~C dvpZ ;@0x8BKrh0pڜ~$B^̰5;۵VfUNܱ{7A/tWHwׁU&Mɰ'\Cٽl @L^pdb|sCe9X寔9|QS6}Rϱ.#A?,ͅ`V*I?:j/Cy!5_Ϭְb!Lo7EBM#̺Jmڮuk1z1oҝ;xZ;[,&٫ h ;!m5+2u^U`}z){E7nquz{<dx%3 X\wsNx`.F4@o7~g'[KJlR3?~q׆ ^ĤfJ4hV$gf0gA.U=ts#rp="_]L4JtD!_0=W*ЎkbyW=OJ\) p2K8j3sע*;c6tdS,5sgjDvWVN5 l"#>0c;P癟Ql%ʋ*`bVo9s['jNIj-9lW`,eVseNSzN4+ꀋgkcg0B*| 1t+m()>.vNҭx2PB9(D%ǵlR)r NO"R@+ wK*E š _>࠺tgp \!2u87.$nr)VN( j @$UNJ U@\Ib;%kEWSvgMZVrR^9p!'&Az,,+( E    5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e BN-PgD|xpmO| ?/?33TjZ2]EiJcGj(cffrիæ[1 cKQG_-VRc!ɓ`\Se4`HqBc@hH$lP\Z /՟zm3t/p EX : `QF: mn(àvLBa 8܎qH^9 1@'In"FMM !䠒׭ݣck'4]^֥)e"Ђ^6pa8& NO!2w:PqDDXl$ ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal ` 5K/ 2HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/)}p(D耪(l DX(Y+d7-&Z!b:0RGQ?BG7oz4xxk`$V{#4*,-dOդc8QaiI`a"5IfaD(H_ፆTKu1EVduRiI)aRy,L6)v ]H+r( Q.=4XM>6~ AX@X9<< ΥbM;V)|Ӓ4GwVw5M/xrLmU؜y ZCDF^g >BD^WϹ9ٯyٕOb„/6hgAEDKldlT:36$'w%Y׻W$UU9]XWBB5"3 `4E_soV=e>}WtGgյNkUNLlkD[Uqpy)T>ޕ+/>bJXgBH7fZJfyyloo6,(Sdxe@CG, Lc )  BPBR8 (x\ùZ]5jG蜎s|;Lt-p&\!%0za! e 5O' BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH4"0m@-UvFXKVð11QRfDDB9 GAMOjHUɊ!>MDf`(~]$T#B,$ aaI 0⛍tZFEE&2N:)|R:K#BȋIc&LZ m$H$>@*M} =\B@7 EM'N> |Ba/*.Uft鵒o־8*~VY`oy D\)~D86K'b+Yex%JeJ?1ܕA B$C0RM[q;&ЯYEvAHܼ s>>gV#3a {Xs9Ӄhr$kW!OsAk0]5g ;RA>hO6U/6v Ehy2jfU?5dd8^c734 _S'(;='ZF|U0>O?;ŋJ)lxs EBG]/wǹ$)ZS,Xsd KZbvǍynWs!eӉ%(-@' С{<@2 LBaR%Q3LA.##+L&J$\:qK*eeQf5d S=6gP5{fN?qҬGga@(NNt?LᲥI=#ܠ9{ mDa '0 HR}3.>GR]y0Lx#YL-Q۱jvf:d.'aFl$HkXm0zt5*kY ΐ:^mǰۥUU/)6R,b_. t-{?OFZ:f_W𠵄AOm(k?. z|͡Ee:#zn7>qoy`%4'Ϳ7w .]GSY5CHY@5RcIj=~ewbVM9blxa‘Kf,P7+!={:T3v(:2C\j ) FŴGxF1s ƒi=ab\˨ &o6K5fBVgf7va&. e.G6"'PUR+-XfNsɥqѸ4;z+%qrBc$8 E"|<;YE4.73yA:F3͏Z8gHq^bcHuO֝gA0|{94#+]'Zq5PY~ c9gg C#5?p;!, <G$L3]Mqzj@iU2p9zc/>hN4\Y 5~}ECwY?.{fQkyLbXA;0XsKCVM~}K7ɳGޖm>.:"`m'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