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 5|`r !- UHOL-Nominal-Examples:threads=6elapsed=331.128cpu=1595.483gc=96.377(/L4{J"(M mHހ~E(ʂ)ݛvH>aYI N;?)FzoϠArB?T(IFVǦL:ry6eRFiuY12  RC~6ɽ@UQ-] hX!)͖IcBC| 3<4888HUݶCX,xH,`HD$t4XS H@fqN8#dx̗ȸoz $ED6#0,H(Hhd7d:Ïe2n*xTޯb6v֘k'"aqŃǔ SW,wN,,(C`S` R`, $(XHBS>);]18B5g1YklM!K|!t=uWvH+}wSRȟ8'?Ɨ}kNXȒ$a.$M8f mLX1T_(sqдѴwf6B;F3bJ[)X^:u/5hSѵ ^nWhHO/KcVijfkH.)9;>e`B5Vzq9yM͍}OTSHh22;)ޝ*X  mlRɤ--Y"U1oεԬ^y""-G"KT48󹍧^;;|?5i}iݾԙ|>Asߵ)޴󴮫\RwnZe_t#LF>DhQmꉱx8:hbڒ*7u6֡T+&"XϋY1 [85V R9{}7gSmjcXSOW!7UӿiWӚC駟֯ol}ٜۛldNdhJ?׹l*,vBkж].l5ﺛZ:[uG6k5fGڴiiJd1:LT]#ӅJMuP8T L%M!2DuWŧ63M߅Lѐ3]=7b2=[lz)՟/k6;͍t67=XMqUTfavHZBuZE5}g{| ]Gjw սXZe')2?d۞?7ZX]9Cj N-:fN]Y<[F{(Vs?۟{9kó]k<O`ΔXvRbISy\7Ɔ\5: ¨/X\~]4:iXXx;Arѯ]rgsAHhCc/qJ#ges!S/&cqgQ ɞػNhAC5Y TN%p= :3sC 5Ð0j|_̦.E[XfE}KP!즛\ Y( 4:BTmC:(p#:2Vޝ…8y_/`G*AIT_zs_e'SwbppB"8T4,G3j MV xImȋCBCkR'ivRQmY㢑ZQm4,eȲefȮ5 }Sbdԁwg7 /)5Ip좟8  bvmWުTFԟ`'LX<akXKu*˂OA2ϸFҮL Mgd? G,?O ہ(7 =8;zPAP:$VBؠ{|FQC9%Ot{ 6X?"'ò΍ȼћ(NԀV3js7rJQ*ADHHߺ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.thyw 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+<&B RqW!lN {(JHMIXT4Elb'4 PHY"1(ȁ0(yi"N+4& "ʼnXdqIq"X,(8$TEٸ"&)JZ[zkYϜx{ݙ؜*:{#IeDaS$1>߱b/DLd  ϸoOh,";"nh`f^᰺pX4Xd??.q(iX-C\zǔN@Ȟ.T@6!@wer[~>4P2tPxu&{ ˏrMm4&jN]ALLk1L|L̽tLܨsso}VT ce```P"2(`PcMHce0A1h!1!PW! bjC1hQ`p81H9bF ]9z&7Rk_f/4IˮʕJ^ا+V\~c  ~}gbubҾhʿ?ES*ڻ)n@{S*{Ekh׍ʸܸXtrcOa@uWo84썼nzJp}[+B{!Š) _>>P@L^8߽KV-+{U#|fNENeu2WV jpv;_:4iLm酐CA "IĺLX&"=ʤ1ȾVg`8uT\XzUT#IRRP4ch`yFq!i,P @ AHA0sl |GpwQyf;H^kbX5kAѥCh AϚAt8S/HM!8ߺ_P!~ ).߶WUz'!4 w.i3Fj7^1Ig|+s ]F7Ep" m;yd:*HEYd'[oӇ R5K% "HOL-Nominal-ExamplesHO{$Z#L<  ݂ӂ|{xhwdrXoWhTgJdI`G_3\2X1W/TSOKHEDC<;:86321/*)y'x$w!r[ZYTFE D ? 8" }|{wt s r qkidc\[ZYVSRQMJIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, + ! gSo!Xs z T , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  WZ^_XT4Z+ZSjSjMRji4͔|3oFoo:2ylr5YeUs ;L(.51ۜ[QRXbt;P"Nװ"tZ]?KD!3:'M$(6R؀,mRd)Ho^i1B@^ߢObE}'CKk8)$c8haT$Wtʫ1q%rqXEBbpUVUY8Bξ(ʈDqoB_)`&ܼ(`vg"S6Sz3O^ lSj|MyVo:~!0D6)[qP܆ۙA]>F.vjaRdu"s=#+d'Ш(Ab.GqQ2.?_jYMZvC2U_!Z\t9X:@ 7IG"Ï"q 5#1ݵ*eʍ.a˂D?vmg xTiLt~iU(@YaB~K1=UL=!u @1dkNYզ̍ShKSxZ/2]흫 Fcu8I PYgik^0#ݝOE1'` X3} <a+Ȓ 5@n wvyoRS^- 4Ќ*j0OFuwV@U6 JO)ĨNbX)d5gRD`;'R#@b5ѝyt(3bEOP? (|~e(qqW|0ĕ36?W=@p?=$]B:-V-86ؖM^l`Op1.]P | *P 7F+1F~&S�VAf}KS,gQ ΐX/m% ХxE~jezh: ^/&25Pmr?Zh:"X`3dV |9qy e˶q(?6{2 {M ]ŝU#-r/U)!ڄiL\yClIc(~\kJ3sn˭A Lx A,1;I9 sK )l=sp;j}ʚӅ?7#$F8p ]8.T&.âoƙZ-  w.oxbF,.rJ}&u.^SG lz:LNR;/6u"")+gscs=oʸ<@@ؓF[ױ=*CYu9F>fPy92\@nϟ /ĩU9+:~|G&ÀǢ(ej󌘈|G%b󄦰*Ux>KQZU0;$& o;"hEɻC}k:8}<h}ͦ5^>Սנ]jJNaOW+bgV=$so+>2Ea!C0L6]s@2ㆩ5\rc^"1en(af`XҤj#Fql  l8a\oNP=PTc?\+(!'gJN( aPB{>x?밲<]ޞ}kׁa _ ͌_P2_8fW^Њr$~~ ..68'Ԡ4bg]_SP^-ln`b.r7H9h'_jB QlPlNa% &X^rAa  U+nc(q:A`~rvV>иfl5 58<+ǹιj_U X:H1,9b':?EDOT28N[i+!$0eaNr> +hij;(uvf.ˌ Yi׈Zo9!Pɥ Az'$F7n@-cVBN&GXq{7I^Xd:.Oao3)> c)dL$%,Hqyvd:z_EHqy OzwJۏ:Y1Χ룑Kdq7vWjT|jO<Kt%l2r+e"y#Mv{_pAȟ `eu Cځ/yHF`T:l8ggʪ0J`9&huZ͖&ڟ~z ܜN[ђ0d0 cLSOy(a$*C(ey$1k5š(w(z1NBq xI><*YϯXPd$6υY&ސ?ʢCN~C"M$g 3ش:i ';$ڱa$3YSgoP1R,*k0P4ۇݒ|`Xh,t+䌀L{7J;[$zce9WDžRLmS8h=rɩy(k~vNKCϟs{ؤkmTwGYKh َ{%V~-}TjȽJuvpp̽3Mu똭:/wOQhGxN oa*1n K%c4+Y߱cJUh!+t6Ȃ8!\qAeE0D-C%_פHT-a : 2oM-.ϥ#q&-t ;^z=dq|>fCn ~8n3m7cF p*8s8b9Z47 5b {BlQX?yxaaS,3.II&zltgvw6fc;[im S@',Š99,VK˶ tAV_ovU@WIVcd`Ejw`v8$c(36 7J@12&ȴ<á}Y _2|E<&>/xmoH [o^}TɄu' Dsd%o0s|cͮ1)XNExH)$DɲJ^"9kjDCF$9Q~gK?(!&ZX6v)<^KɼT(% '4RGmʡ& PO;"t?j<_?횜F [ 6b$?sRJݐy:¸@Lh9W,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Ϊae?iW)VwZO{=L΀ȬfT+_HϢ\OV!d27ltr}3Jq2 -KHS ybܚz#Y>L\+<吟;8 $0N7x\֨~_*`E>ǶɁĐSa+V}CHcm>CWdd#M_;P]]u7s9tPCLM!99>JW|rm=K(oSLTMJ7^Hظ" \j`ʋyʽe A7!yawaY2nƭ1n+K~ѻ 9{HˊGJK eȣϷd}Ǎo< 7' "!kZцk(ܥޔmJ}YlМv^U $Z"G-+ v*}V=p2GM>J!0 q莗VH1ڌ.TBޖhr-zS‘2 Yc B*M}DPl ̻[7E s2:,Lj!([zwV0#hp1ĿU/>1T"r*"NzL1A (omF == .F@'19hE{?Jd-O@=v~"`2K)$n8iWkȤ&ꥆBi;+Am 2H'<ӥ96ςH)R4~m-|J==H^NvWr|+;IcA|.@U@ H'Tf#ƛ"@̲ a Hg1뢅9'ȦqMfRD>8dYc}LbeU@q:9Rt\d!^J;pOmC&# yť^TX*r;^ YR.-fz2oL)o%^ e ½1S<i`'4`8ڞG7X-<0!U4K^bģI1O$?/ђ7!ò0/1cPJE2ӛLQ!-Njc^>b=E<qr$XJ1nX`XO3{G~Sΐ2]uyt^^ i>k~A C LDL$}#peG=Q9Ȯ\柹Rگ 1uOZp + $tmGDYR!Ek$⾌wS 6ŶplY0-lviiqlNu"ƣ©WgUݐT2<+ps@~t}Җ+Ξ-guҔ{;]W] !kd5SÙ!v?(CLtKh7w`_ɖ clZX0x{y k̭OB+yw|7RH毖_Xy>D&Z.JUɦ#3F$əܗfŮ(ذHoյM+} ;Ju^b-D( L vwy֝9nm&Ip|l2eBIةjN 3Y4~HhoHLQ-4>ϩpJU^b?B)ݵ蕆mYYk0X`ekqkGirx(::h)6|ULmBV\ýJネhd "U/w놐3RŪw^4dГE~qKT ΰb!q{0NʶIs?ÆẢ%R‹`cr41H,}:ezTΆlAIi+snK`-聂HN.!:My@K#iu䂆&'N_)6 h@L"@o#G;AP<@ǁi"Rap_hK+@c K&nP*ο" '}uy&Gk.6VfN&ejN^v1vCDBJTpMPI ݉`_Ժ=UJ?aۄ0{P8uxga2wrda+&[7eϡADi+Ő_ L|PQƞ4/e gi+P&kݧ}(j'Eb14]U\hsx%:T\*Br`7~6J(W*ndȅ@(4˅jXh$NAlLײ$h`D JPTy#xBZ좦ػ7>c{ErXEVC [e]/bn'%."W8t/o(/OPaC(G>L@y tZ2r1<=VpL%Eci qbǖŤ7AҍGfyW{2f% U0O>{NM m:nՋprKNtgG9ihT `oGw1X2"rEvvG4v -K 1j ?A5+g0xWo 61xn2;T1цBiپҠ&/^? u Mfu 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 RqW!lN {(JHMIXT4Elb'4 PHY"1(ȁ0(yi"N+4& "ʼnXdqIq"X,(8$TEٸ"&)JZ[zkYϜx{ݙ؜*:{#IeDaS$1>߱b/DLd  ϸoOh,";"nh`f^᰺pX4Xd??.q(iX-C\zǔN@Ȟ.T@6!@wer[~>4P2tPxu&{ ˏrMm4&jN]ALLk1L|L̽tLܨsso}VT ce```P"2(`PcMHce0A1h!1!PW! bjC1hQ`p81H9bF ]9z&7Rk_f/4IˮʕJ^ا+V\~c  ~}gbubҾhʿ?ES*ڻ)n@{S*{Ekh׍ʸܸXtrcOa@uWo84썼nzJp}[+B{!Š) _>>P@L^8߽KV-+{U#|fNENeu2WV jpv;_:4iLm酐CA "IĺLX&"=ʤ1ȾVg`8uT\XzUT#IRRP4ch`yFq!i,P @ AHA0sl |GpwQyf;H^kbX5kAѥCh AϚAt8S/HM!8ߺ_P!~ ).߶WUz'!4 w.i3Fj7^1Ig|+s ]F7Ep" m;yd:*HEYd'[oӇ R5K% "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠PI)&AV55/2ʛL9ez uCjt y3 GtQ$ qBu4&MU{C1e8wb" ܾmk {6g@ dlf+];٢ucPmVC!'b?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal L5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1ŷZax(F0afX#7 _ [MI8XMPSM[a1i QD4" ⰦE3Ugj2&?OO\ڴ3N毖n_췚jF*+ؤ@^QPHmjҤ[PT @}Bѐ&26+PS͝p:jS˙6IiӽVBX u kF-rSiUaAA$<LTƒ i giDc0{hQpڃ9^ +T@"Eh6I5 F@-&USAmkFbgjDf|b0wz^RaA]*h8ƁuC.tFGqnD-c!AM2n;R)z&vcJ0 $K0%/2[ћ33y?>Z"L4E02hv:mJسޤI*(4P>!50D(MrHA(98IR6fci7")p?DD,0;M ߮k=S)zWR-Ͼ-jTZj7j&>&&>&;&ofgZ6=$""PaN@%6Vk?'staN.0aÜ\5jyB9n..W"?ō#QlUpu]ٗ1wwULF"HLo?di0O[lS?}u>=3:L ϟ9'FT?q1! |z9m]茇k}䕼6]Xh<(+̥M 2 -_ٹΕ[sFuln".ITܿOXⱠe.\ /n_<]}<-Z" 8o2E-S U*).uQb&E'B߂"S& qrr0Ѐ pppAdՍ0EA`Jq9J(0(, $ a0# p0)AFrm }-9K r767HGK_BPvp^'u54t 6ŒRwyRaOohAB07 yp-UWýBMtTbqasԋ^P,_-_yP(HkF/$:@WfA2'a mkt]cu?jZid9?_6m !.u5,6ml#/0 Փ*'5BvWSKgatMs8.\5-,ꭻ55(XݶLt^0YLU5 =9~q~C0,7}#U>o$@FYYς1XddvE^_H0=]Sp|/OrI؂OWݙ{l $$d?9c+gQRp_J.;Oj[w|Q7@|jb_t|sr)ē0PkWխfgތ>x/y29-K?MVCb 8Jխ+)pu\f wi6 y*b,Yde^.A9'! 6A+T(]&# J`6?Ke.OX 3M5CCi_rAF&}nujO^ҐɌ]Jj'訷NmwmL9>|'T(0ۭ? k&VfR ˄*F=rƳ2t۽tAOծakkFlB Q*&sY h=c6W|2Gzέ^O B\4dpG6;`uqͰ;}+"N'ᒏDp|W7}0`HvNG|-A@^By e,+?ȁ;5/wQ~q+֞-72}!j K8цB3"zA}8Z~LЉɩMXw:8YP^j1,KjLM^!hz<_1abS),b:ޮ 6f=¹"U ) J6< I`0(kAޕ]M4fv#,Yft:sqdcHQ*y,8u[t^D# `޼4 nJ|S8s.ֱ%֤@o%s+UmH*[ 6+ZlN52+a = u҉9eD)<$΋G|G] pM\-ſBjwqUk<Me>j Š:6# XŬډYS)1%64 I,Np)ё7?tA>};F4m >z[Xqj"ߎ~1Q& EʘA3h: ˝fP=[U qmza0>s ]Sͻ3eN wTx&IVMdRƥ,HqX<rwٶ2.j<]ت~Zlm"}"~(*v[4)EeJ|n2 Y-tSv4JӲ"smrє4Z "nL'u)yoZbDQ|CyQOmg_ `m;#$/¯KX-}iٽe#ƬʵFKf,́KZ`[צjd f+R!S4&@&=y[k&vyAf?)^-{1 6,`l# eA9!sK g*Y& :(Oy 6*?"c$ >A#u~+$~ 7SZ.X5aѮ^\<|DfP|`R'*;|L`2 :.%5J׹FX>@G>NʗqJw(~8xt/D(s ?%fōY=#4L@ S:PuܩY$~;+=bz%iQZj od!b'VZ\ͪ- >-dR U,Ǡ["F8ѪobMu 'eKFyb.E7qz|2#-d_#`A?GDDJD*+nE. ü3Cb8_kLIp:iκ7ZA)a? 6qzDg?KL)(U{]cG6á;7m=?CcCѐrML֔\>/CTmrX(~Dɪ2ז|LN{eo#cboҥ (-tBVs"a7 A4)iF6N>nujv#A3dt쵘 u&[)Ωq?G)YS\zcO5*IQV3/ "@!̵LePѼBWYfxUO5l$n)ސ~2"gӷkVPZ-G,pD%gNymh{e2Ֆ5zH![l|2da~9OBFISj^j1QuF=_ǸS+,R-s?MC0rjΙjqI:i9&%Mmf `)5R>ȣj%4V_r؋/0Mse5Nx Bj)GF>.h YȤ d`<ZgȰC΃CCpT&u/U Wp۬1䇠g؂ɅuTJVL )g/hI]҈$ΰ| Oe(*/ '5|# %67qXH* X) n5PTS&}yj\[:vhXrn.+)9J *yu:pgP:TXrU!T= i#aWD<]B%rVD#a M?!3xab$IOs;Ã/r=Pqhx(6M oBe@^P`%&  L6Ռ`p *"CJUKEy_M?4UL @s2my<-hRedJI&(iЦmA-[-[[ ۖ4H$III18pffffj*$ݒF$ߚ̆Od-m{"--!1ƼD[3&زm۶m&ba53ͭVUUUUUUU/JDDDD ׍Q\Ɛjk `!BQpvaYvKrűaED6v,E BXtp,h8]4.Z;6Y۶mm۶m7RH$I$EdDdDD" EN۷$DDFd!"$YRUUTU'_N""""D$ҠM6Dݒ vKr3ef~nInf$@3  0P̂(j ( ((~*)eAQ}˖2HY~"59q`P@ )"mspH0Bl"meU?ݖI'[r6S0jHwx0!6l{xx|66M& w`8T^D[3Od5əMDݒ6aaWDvK! 1B333Y'|ۓf։l#gyfUo"ng|L""hhhF4{i5əUDݒ]ĬOt-l1vKr3E̪ҜC0A8e}"8H,bn||,7>P䒅I?ᵕW*ø5(d"0Hr]Ƈ@v3b߽Q/Uc'  j꘏緿{_4;L&'i%ϥJ?Áwv6J"&9H^ [`7䦔k^oӼ8TIH-?hfjB.!gs3Ϊ"^YDbV"PN48a$Vy*5mԋ$i.u\elHWNLh9썃08_p4.qۖO%Z{mY:+ng8;X~ڠv%LdIw[$ݑ[4{.= mw%-PsuKA!V95_dr-2v*w e[?[j+ҽ%|&L`-\9q9<@pq sX ; DŽ$_<Эqt3sKUb* '7o`^X98Z֣eܽC69F㒷&VKa&3hrNa>S#xXxyu89steC&N)}е#ods |u&ϻoSN8(Z"p0!v> P~AYNY7D,;&% \MΝu\XM#; 1Fx(1ptC1xX8$)-Y_ۋƏؿ儷? A^=Z;[O:U28sPAv in%UK$H9)÷T6!;$ %BjPm^яm<^J ߃ͼyu͒ʓ-2ڛ2u"\(K݅V>k dZ5E޻x8c g[RiNHPn$/96?bEG5ȧ{, WxBMH0pʬ9yc i籍;njC_ݬOMao)–+x ZH4H6%ڹi:#A*/L"'M {|`Fd}oN+Fᅎ=˜׃z̗oF;bqP=-eoO膹,6"f$s>&ơ\'4/ИDi: mB`N9jhyc ?a+vzuFU#DMu'G @> #^rKZAcXt|bpn8I}D3V?.5LGÓCS[OKdXY.8RKFġ#Rc|bNl& ڔ2 O+:6 dn>[ j- ЌF)'_4E#)y㉜Z0}GWJ!kpy!1O59xY,JCs$$-ΘS ui8J53$M > ηt&!K1(QD)4RVC#9p(D,(e}\X-[dΥĎqF-R G8|rQo~Kb;p4Ri%bH2n_:ǁ-Z&ͼt9BۆULnC 1)YWJ VjGp?贍A(⡽0BUPck JHf B kƹUdY0NwC׍*n#ZAAޓሐf܎-k_[Lø9%˃2$ اu)KT/AF96034(bġCgEXNF >Vb0LGL׌8J?'E#@ Fm՘{YgQ/?A$z(dLPd25hT?1K%ȽLcWٝ^s#>!-zp:t.:@ [Ք^`7,SWgW%SĀ:Ұl/%LaGTzƤ1N}8 1]>>qŹ /m.[tm{ɤQNJw(`99|O^֠<[qcͿ;Ϲ-, Y;&=$Vs[ ݯ5 ܺ?h4I ;]%7 j>#eY{vڃǻf2;$.b69Yiq;nF! DwڃT w `ibl wZ&x ?@)ʟj+c$'% ~RE ؅w@GէTt-xl#2rX2:5=dz(F%I=fzoz*=٫d{>ΖmKgrr.Tst r\~A 6^WpCx5 w 1N3$no;dpmJ:JWQ ^=[IƕX{Ð1&{]dIMHMHY^LPIlZY~.(*5r~|.džX~8zCT :ٯ]Wq)˷C4f䬵ʴ(71lΊP}M-SMO=*ȣQ~ބLgU|G!eDnby-8wdI[oӕ%bV?;#>+_.]NQPbթ1sD;-Y'")% |rH/g.P?#4/U . O/i pzgFM_ vOe㞞G3uhtY "[`W_}rwjzcfW8\v[ bt`A:CkRwpf%v}{npO%O&0陞ʡZ`+3e?5PSb@[ܼ5os zsAڔ gS tRB hkq56wg Syz Dl\q-VHa++ϐ<ɥAv[H(T腫q통S׿ RSdžq@׌X:wn:^vX[׌5M_#e2.C1ÁِΧ70L_ `M!uunjqb8+j '5?P^c Ɉ9Tt" )G^/+|Ⱦ׆k0OlS [yMpLKW:aOt%la9}{ '0׸e /0> `*D QݯK]i_lWq8HYGq(QjVЇ+;#cb Fv[`0!&yҟ .I_-εD)эInrT+ a+]Īt^3Cb*G%*?D4PtCEfc\D6r??$„X_4X-V~d ѴhMB  Y1 j/3s_صly:]v[yMCLwߨh]>-GziWL]_Og]aD:ob;'L$?K@5uGƧ%!|."1hL [[ >!WpÏC!7Op%2bqx#z_ uC6@(njx6/phz&teIe{$i6PT;]~ Iz| zi[Hz @ggJ Ype1)pTA}~dh]*Uʦ虲9=qгIdZ/Gr̂㗪+M29 yᓉp梺{IW L;n{Rn#Ofʾ=/ <|m[7c;0<}k;+Fx^K<'wcؖ\> }q%dBUenڋp ζO\d7|^{Ũ. 6eYK_0|-s=۔ 3K׵7%4aB$ :L p  kQƈWWL2%i3jMTr[Ŗ$)""H;JF$.Pb8APb@'H(2xX 8@l18gf8H6JDr B"&$E۬jn3AAàA ocGTŲ  o-܌ͪD$moW%"ʲWHQf,RV-g,RVE,"n["XlWUyb36TUD&M"7ԶmW%ѐg(ҟT&*mfDܟT&*mfDmmffffffnKD6ۮjIDvU-maa?,Z UUcXm۶i۶mUUUUUUUUUUm۶m۶m["""""""""$I$Im۶mV j$@8@`HPPH0@D7n_fɮč.بoƷm|Ʒo߾|f|fffH"UnKDr}6Um۶m۶mojF$I!D]Msa H8"6<$L(  ( r ֖ѿƲOS=3 &/*l0S37ZdR$uG](T2_{;שRA߉ukmX)VO_| %9Y .8ڴg?>P=eܠ9P}0FeG3q[0PwZ.V4^;/!`ocގЦ>߫oL ֳ7Lt)OR_C b V SH;%Wજ3]jkz#T]4Z>M}dJ3zD׹k c}4#qVе=;IQb砊tϰl)Je EH+Ygo0_(Rm56hW2_P[Hg =S^r5v>MtMmlP €^E 9SZzN*MM٣T=5u-}./.feOycĝ^=#^Ǡ9롹=뒯P [A2NbĦ ͔[i=k{~|t *rl#dٞi$J]~:K@M-[QRnwvj 6( Å%>Y~D;˒C D_nu@5H묺,R @+Uqxm;]k(SFAW H"Lh 4eXԴ jOf`y$!lȝ]:(tt\F衅Kp' pVˇ3ޛ+2߁W65ڒ?D30 v= Jj~3f{'=x <(HA IV566<́3 I%@^opQ={9xAc2XzK8ʀ(|rCc  P:L&0& cEeWTj)mU-I֢WOJfӪРj;7YD&{$RX#Q$ucU'l꾪NUHdŀaƸΗrՔNCAJӫވ" K4֑ekJyybkn%T`&H&p5ʢY)¨Z)DmN[UOLhV= ~1VeѬ6 W[5W< U\kKq9/iLAWW;ä֗ KuMAS&&|#nPAc57z zjlI*F?g'u"i^nRGUE1gQ*0w+%`ɶ!&*Z?;2VI1k59qּ;AS֜Ke+00>P`SBDCS $ ].C1jGhL%킛,'nZʔ8L*b*ah&%ʾ,%4{RY u}^/wZ[J`}d`|LsY%]*ۗ9x>47Bz7̞H:_ҮئGzLQƒU. +]kzV2S[yKWNY|UN` :^pTU3(0uI%Kp@(pnK k!B8fMZEX`1fra/a SiUX^Luf#LF\MܸզEg^c'W_N?KV]0fIO RZz~V?6ѹUSECM /H:96imNQS i= oL>E3z(B5!UER/䈫0+_9Ew7V2 !SWG/" K,t[P+ժ +ƈtd[)nTQk0佂9${jwj*.1rYW {au uVxi;BՑ`3AwCRsO!QaKw?"ZKϱ+ŵ]luj}}|lV_ GW+-NS T]%.~&W?>֡Mԯ6SDa*;aoIg2rUseKI9  bݠhRk~l.|_>nt^ߢo@T[kYoVL']]q4(5_ ~[/|3SuZF~4E?n'eu0?02M0Pr{ޛ*b^8OW&T|Nu1Ϛ/A`)>>OP=gib_?;ע>oO֌Zĉ}Bɘ5 zFhǩbBDbYWW%ɫ[mgW`ݸ|XNJE=juku?*ѺiNQmغe4-uߺ8cJN:H;IN"u[b뮓zypX\`720ԃ]6awr2ﰫ V( /v]z-=v ]b%GDz/*|U] n̘|fWFhYݫRgd;KϮ3h7I8h7FudXڵi~j쀴^Z*x,kKM{zh]Xrv n7=. صH3a3/0ߩe=Z۩T5*ߗ9oo涻TÀXڻ;Ž ֒^5aһ1*0r_pٿwyET5J۱sOy:kB*`@,姰kjo}ٛ09_g&/;^ _&)x \ؼ_J`ީY6ohj(;y6Ed)XTS,S%5M&2eN뙂>316ߋw\ o/m~{R^+% tQe=frѻY`ÖR nZ 'CMÀX; 'fe# kK$둲#TM}R Йwz" hؖ6UGgCk ݮPaB(]\ Y9ݬյ []vV\鎮 'G _r ZSvWylMYa{EpkUt:EZq1Kj BElL"mj3 8ol-XrE JrҊnrP6-xl5M1 z㫇XMC_-&WIwC1Rm}:Pl^ڦe(>Ra*~a$+sT?*Jj ߢ-x{/ZxQOIi ',Q`DŽ+ch+-aU88TnHhɒdN2djQGOjv5b0X"6|E,"MDŽc+id@WeLZp(u d (KY gwxOomZ߷0-^~0gЬ=rXJ*_UQ G-%^_́@U*9@=tU*_2XC)Ԇ1ll7+6lFU+ѯ22wVÕ^teD`]o1j&뻅A ZWeyrg(.WeG-uH2@{|"8*9l߮[4-~ըikU5@Og&20VV&I!튏"}|+_n'iQ[)xc{"#VoԊ\Mg"VWkzu-^HcZ.wYzT~(;mkP+wyg>{bZO4> [쵷XfvBo!rY583؃-8-hCxM?Y K"* Bh$-QBmG<|X2%BXC)~EȨ }yms+'Yzgʼn55͋=3J| bB48ɡdfp}W/aJ&EZ]~ s`+4jܘo||k}e$K6c@U%"igUS5 H'p9UDͿ 2/\"b7 2ȸ{O¨A|@n{*sl"OY;/RDl3TE鶾YY_LIA,F)Ŷ^5g}ƶZ BHl8á,?^ EޞZc>D7¡qdP'T< f U1Єpb?F }xٻۮד1{&j~¥qƈڎQ5B]=b^IqL!^ ~b1k|}֎ ;PZ>9iU\evܭ[0S<0&0(, A@@DP8,AYC* |U YO&RiO\ՒG_&&BhGub/b0r>7*4O oLwVj[ hG4>tY"Eptt?/xߜwP}@P%ΞmdA2r@`w.V{ Cȅ']7 2̱1̼TE^enܑ_Ȏo$3u2ɼF^JO5r :L#nHyK C1ggYI$4(Қ gt+sK"*+ -Ybu-PBjI`ҕx>oixTzJCuKuÉv^hXip7cRƾ]fMoOOV|#N`&,S70֣EX&!|V zӻ@Ÿp8F0;lzgFf3۵tB.jkIV R Č~HQ495hQjnD3R2iLiMNXXBl uK^B3Ba^s*Q)[8vrbf8h]W}Cƴ6#뛊i-Y'f [kT,h 5Vo[j~Un*0HQtD[OZJoǓ im};7jidZTJjkpjJ#m~yE<7HuDΕ=/p(W|jRy̓'Z6VHϑA )ckFx-hf/.P2;07H`C@F!B.Kf53x9,[orv{=|"ir&EyqnCyESu /diwJi ir6vdZd!Jŷ baT;"q^}w!Qt4]UHR^Y"%G 6:X3/ĕt)ьB t5xA.pNg -v/ YP6y, f71ga}\[W)3_65s O$mxtXF E"Sӷ>0Eo2:534R=H!^Y_*@*`9͚TGt(`τjF]j3C Gﯦ*ԓF uvh$~/>WS ,_S֍B@#CHE^R9!X+>D}dhW."H6#v1@Iq9Ԃ8]vs9SfvD9BGI?ϴ[6Y-xm`i420'V| VvRhkXdJLSsUy lVA. 9qTh򔇨TtU^-Vud A)ЖAۄ1Z W,U<Շ6+V_WZB6~4dF 3gcB$ת 2'a+r<Pćf:]Jx-@K?V2Rӻ+y8|ԿWϤ0 Ӆ2,f`\c@J86bPNbJ)QJ)+)PθDtF\֛LVIteo5gɔVnk 9\ lB >F9AV;A_(+#kG_On$Ob@ģJvQtUuYџʒED(,@qN*i9SSŞhJɞ'A҇T- )O>lbcg:E[K1oP=ےx=W !H+֘++4oJ4Yx1O?]ث 0TX=_4I?luxWMdS{ڗ'0^\ H4AKYR~PPS\.k4nL O`[ĚCB( nO,dLMnGZfa`3! ¹쟞Zv;OEBq9Wܷ = CK׈~`[_@49)WϝA7<(s*00>&Zr2ο'%*@R*B0m6FXl~%6[S_xy@jEEb Gc%_%F^O|j{x^U#WVvcu$>x򀡻dT6[*jb;$&=h~wTW 3%ڔ!j 4k{bqX=')Ǭy/l(94gD×[G*趵sCM]{'ƒTΕ MIyAk?$A ~;cAH I@w2C7*Qv0P BRn?Hb>`SlYon$F2yg6E@6`,QA1k]u\DrM.DVZz`zܚ=cͺ~YVKh:^MXUsDI2buE]\NYH#Aۍi. 6+)?7Y}RgՌXZ ::X[$Ԋ<=YFⲟvx>IzPDgkn^`A"(Ac @*C߮.֓@t `< pJ0UŁO=eZwJmN?-Q@'h/DcC+q7n(7sM5Dbq0QilTrT,/H#%?D䌣SoZ1._R%ZΦ )Ns ` ˞M|Y$AxBQڰ\]wd{ōTI$#j [Zʽaߕ1NCe'!٧B%㬽sB6F6h l N]m?1#vhIl. ԩ~^]C,9U=y|dHBhuG 0ж3vct@ qbU }qp)^rʣg!91ndeXqG$mKa*^>;8GH VklT*b XD*B 3|k=\̶ 3VCϞ24l}U\v. L%{B{$}㹼)qK*v-*bVǙ7XJΑOFKdqBca$F]a`&<%Qb⦀Jaǵ,]/2 S_1fD32V8Q3X0xGo-c6]{v)O G .5F➟9cG&8]Rtl0Ȱ>1o+3UKɒ$V~ zHM޴,=[3]3`Y {Q(XrM>M:s{/DӥVlrLvqkж-hZL-z;N)?~CB`α =G ϱ.n]1.xz ȏe…8 a}g2yZZֳ'D>1GhpW8Ï_esBRB3{y J 摋P 7㬼MI}Jh@"wGVL$2$?9ׇםP?b.`BI%\#? qG Z|c[z8%|ϱX^b .-;Y6p q߈]SڟDωЅLsLfwMAmV}8]ߚU\,VYLF]àYLƦF 9fpvM#xʟՏak5XY$=mP&mrbip ##IiB2Kϵu/fUNhmGzV9SYr!Zr[A8mqr,^Lŷ 7ct|} 61*:DTEUEnYPR[hb X`dnx9t]ٲ4zE| -`Sc:!ێ:aN,;y׺Q]V|t T@PG|a}B:OHn+;hC2la푃nXFDg̈́Xyf S>5$aB#zhcng^-~j<'lyA3(4| FD WTz!L4 ~.~#-NSz"C%!. ]Gdg7 H$}#Z`V%~BrE{~R A]#m].2w7`8\ ܡ%~ 50Ci' ؔVhvTc ϳOBЪܢ a/[9!2`U,0j[!\!ݽSqF TtUr(QVb⠵$z8!ٿi%ڱYGQs $aXePZhXy8ԂP\j,F` b5 }.Q "I94,{T0 (QօI,F"lFApD jZ`$sUMMɲ Wyg[aEaIEg9r΀P2>37X08K(:J F{aeGXdAcOzI€xj aiyZw󝚩 lffo7mf6lm۶mddDFKddd 9i&Mϔ0]dҟtPzڴݽ._{h&MU:5ը>=LgZSә--|:(Q&,aBlq!C\ !CD2D !CD;>:t)nf._;!nf")jf"]!_J;S>0Nwwwwwwwwfhffffvffff?>T\ļ3R]DK y?wi;^_|>|1/??Q????ƔRJ SBmm>l>ֳ>꩞gll}f'm;˨F@CA28Ѳ|  &4 "*B ."¡PLTЭ]o+_]._XO/ ~;IuU}ا:VP~)7e$Ś' %/ͦZͱЕ/w_Z+6kTDXmb8 88 xq0ŋƭh#iEH8ŹJ/r#o=.~Ih&%xKѲr.D3|4%zqJlwuglV[1 `hwy6_S\ ?O @!uF~d{h x DOjL>o4P|(I;O(^iwsJ5ykfgSS'NO3W{,!MH}p"狼љ)Xg. |A)/O>ۧ>?Ox'|a}62<}$ab,̬_}v>ǛuyU_». tH0nbnO8 < )!PS8;aPp ;dN9GMvHnj`T3ܙ[l]9\VthG+n^g4Yw?޿{G 4p[O \l&"{QJe^ߕ^[Q81dGjSx+dy$!gҜ%@\C;w#B=n%w 8 6e[m[VCQ-!ƣu;g-X,5jbIHd-LZRJ)Jb/ڮ=2;o"Dm\MV :Rɴqgȭ2#0edѰ06`޲5Ub\IˢPbKWtS8v3'eSriZbtcKQk6~]/hqw^H޵Ѭ(ʂt9V1t| 'sԮZک{TtD?3^u6x|H (Y/d3q 2DR4bnP xetWI򎉿C?|BIeD9+vxh~dxs9ܖ30ϭG v7 $[f yM7R0KJ $7]FޘxH' NnXk= OۊΘ/*ܰWu$<. (Q?. Vwxj)>c]q[p|*q_* =wk"y+M^$Eָ q8 $`ܩ,KR2EaThAOveZ + (&& aZ"ի8GOcj%Y3+:>0j䀊!$@Z ԨHF9K0HabXy&84OYqhVriIqx,@IArZ$(8dYk뺖x(ZXU[5ٛ=UYx;-]uyv|vs'nc^[~.BQDx4C5)k+blgyx%U@cq4Ej/,E*ByQu1EVdyZiȚA T5Oì-, @|!pbT]4Ymм}olUVMESow8'xaSiI7"^f"],AY$4Z vHaƊEJ( y4{΂!J,{^۱e" Yiv^=ۛ[w9lwnV_]TOLgLQ)㱽&᚛S#25w#"^6Ke^ޤŁf;v2`^]$q2[8O4IIr< ʼn„D@HtI Ą  ؁W;OF1{:-Yv<x{wx}g[~ikf"&*guL~^H{;9vBXY.Ө874Bt΍~sfR92-7A õl9dDJ`,N#~&6hS0ε%/,])#Vqϕy[P:װdub˚TQʼUFը7aΚ59*aU$E"Rlۚgptn9>?#\@aY3mߵ,rR <-P{"{30vֶNE>{;fwDUQo+hP*T.=mZ 3S$raP 'J"EZ*apcjG!oԏGGlӆBS!Xp+ua7a#qώ=AU-u.fϕwv^srq>Bq2N .y&2F|FGB(Lqv|gs*}U',3.7)pC8b-:tnrV2/,3G%6k"yp P؃ G܁ 5-}P_t`Ԡ8hzHay {3GZt"Y~H ;x+?;B"D #@5-G>bKn ۷; rFMǑcR"2LPF ^0­H=i5mdm h!3H@,Bߧ%r<@s#*ckь?h|,J$^<=̀ ~λr/ԝَy͡pO0k_[ s|u\k#(] ;&$31KVDz½ GL*WT"L⛂c.1fm> c"f*v]G9&G7d1RLec5#k\^ȕ,/c+n3ueRHsPm_9jmNc82qYX/?VQqM :ۖZjQ'\k2k(>%c4*5*]PhYM<-m{k/a .ayJabɠ J4̄+ 7Ɛ^Wr'wѬ+!ΠZNE|CmM^R!lf-G:k V>!z)ML*7Ùv1#I~E"$!M43n BE{ Һ4-7S ص䴄N20 m\AM'7DCF/xlP%"1Ri-svkp+#깢1D.%K "D_NtuSA/zQp42v:,o4rW570Fbb_'<6ʐ/;2~T6q-3BTfϞh~ޞHc'PP0jC\G)r*\rxe(m@yH3@>}Ȥ.#Ȇ=&ۋZOr2NO$ |Y3cDFdFTJ2E (l31Y Vf0ރdVηp4%`؞4 ~LJb&w'gOߋ+^]2#kx!>Ӳ\g;O$HR+uS1Io\lp/8:"R1v\7 #m'̀3`_t K'qSVpti!CTN|&Cϵt㊶[ R#;$R brcpd:7=[.fFS=H+(/گa qp>&PK%\iC"[fq?NǶse^tBMFG+] Z=+N c_taoI|W: /b!ЈύFxϹUF˗F^ۼBS,~4 TSczFg!j! ƒ^Ct$8{TXTXvs }G+R1N͓qJ.Qҥ>+8 >$~#KyIOPeIh Jp}$gRQBLKK{\$ @BJ|ǘAqFQ㛾#-t@$?(sZOfe൞LؾLY"[eѶ(6ُJ'(Aj C}5S]&`dU8ӊD(ئZDA05 \:]uLeZ8!`lI^I%Hh|aKKPlFDv)yXL+\U)Th8E۔o{cf8^"*.'(4XM,o`GK;@8"=zSGk,WeDnm:Hr Փ+% HveX Q^ Ǘk?In>Bf=0j2_+ޟD/%3FzV+Nq=h`*JadNJ*[6]Z ?J^_$p?1@17ʮ'^_,e3ij?WJcq9 m'7%xu8|6vjځ38nBaj֋"a+у;@R7k]kw6U13:vu(PKd9I~u1QI=YEKe[PK$qR֡m'ֲ im -qHa?BQ78ѺZ@eUqnՙH@"[>pAV160ꔋqn rl7)S6}`#W'lB8xRq7[ ' "{r(4l 9}/ vٿpt#ay,`:mIvvg$p$O4Y¯]cC ?{ 9 0;RFq2Q4-:wF uMQ0D̷379߯X$~ 58o}Rݬ ؆%1o@X/F2LX'KN&%vo,LG&KWYŅhxC:w}e_A3ѸAB't%=EA)Á]jX~& ,^H%M{9?~g#E"tps5cm`%2'1Y5'ݫnHٴr rkoKX޹Bna:Ohkhy΄5"8o.ske0NQMf %T{%[vZSRbX5g 4"gn,9Z# '-s:a'^&W0 3/(gQ,@ǴҢս I^{D/ ]gOl•Z2GX&nW}l괹jn1~Wٛwߍ<u)2"jO#hI*Zd)AoNT|Vx]pF0,qε8Ejͮk\%.񸱓N dD9C.|r< YFRy+ "WGӦosHL#V`@Ho O(#ۅ iQDgB073gp+tb- 㐪VjPd$} uORѿW{c%^\ qT޲J5v-=~'5L!=l[ΔX6Zԟ\"b&*ˆ)#Iʠ fE9(?yM׷WSp]G.5<=!, B$~EdG#5ܦsd.ya&)824#Y܃q`7䈐±G=֥ "_xK$Ӥr`j|mkC.%;_l*dT+ONF6$ *c@][^X/j|A--<c 1w(b!\[ŦXA Zl>B4}a̔J5n:"@^LO-bwk=IT>\q5pV"{r1Tɵw}` 㪻)Uk Qq7;.3O_Q䇎ņ9WB`aOMt7&~.լCC_#A*[,srˬ[\? -oN1Tnq ss%<37-bϪV-eg˼`2ّlgYpaF&|kP:A Ceb4baЏytJn1.qX a~oNGH֜&#kbV6L2 do3w^߱)ұ^QE~/(/#VU|%MMLgzrWlW.*9k^R81rmʕej΢})|)])am\-dpsQ52 ]^wh*?ܬ>υUYNX#:S*F !C4E]Y:,)}0VUUo(Ne.fKęÏ}RI|e3[E&&djnb]7x8pMGٳj2r})؄Ef?ʩl -b(+HosYu+Y jE#S1-*t Kc7R^.:ٴ ZiOVC:iA\U-ښ*̱FYr(Flhtq]yVZ`3D BVK.Xn7@^j3T66 hԈo&<p´1KC2[IG |:@-u"Vi lA ykƠEǬ.H,WAb N?@=JrE ˶Gc9A;S̝uv~AFe` +@(!:s',!Q߱{'A`c!F'?GՅd6oc}gƖˈ{.~X#2VHTD ;z~2g7A2#3`1 ͱL(j1Jjyqrfe(A!dO)-rOq^fТ}"mz2fdXzlF*P焭ǹ4@>vz1U)3jI_{ n0d7(LT`~c&P$`=uu͏ g`T=T(MOl2U#H !N,t*%hx6Ғ1{Ãc4HdXzܐHn|#sSo&8zk-k& WQyT)UE^\bsP$ )U.@{WC #nI0^0p.[F>+rsn2fؘp\l[% *s6f++Xx# D{*.uF?*ؚAo{(\ETF@1E̅;}߄XRibh80\]g,nWPJSń7P62 G_`H1ٿ}sq[E;O`TׁU<4ۋwTxM=0H|d,yB#X8輞,i%o}ĒHRHxSV䢈42%|brR#gVXbP⶙6|8|t)$23yGIJd>5{.s}9$PxH| 2$Ksv|j %'>IV%Ϊ-? r c?r YU:]bPBWy\1H w!mHGJ(";2skW,U?K&Wz"OZRgB`W[NCLS@6p:t^r~ϐnB~/ce~LHVTv;JKo|uߩ =,sj5 ˝j+7Tn#@uE~}q"""Cb%U:A81y vSnZn̙prFbla s>=eO[RyrX85@LDYHq #sNa8K̺lܮz 8L l(cس}G7̴#ePE!#ѲS1|S.AA'g]ÐwTԊ^v{x4_ۦ bée1!OUZFaۣ|;%f0Q9Gѷ}5fTm/E:nC)Dg8lPߓ/g;'QM#U$-h só{!iP%ACDo0΄Q\l}JZ=G)N&@"aڇBc|R }] >NCcŰ\'񛎦crjxpZ[ᶴn@vI΋ OUHi?*? ӎ-#5moY1š(\>ޤN\@D1iT4#IĪ*7kv @`E_)?1(.*tn:IS;d H 6:(eimGC!;:f^BQl^AˎspRVvaBsB4 $|h=OYQ/_)'y!UdhI'%\S 2zG=-i4/c4׆=FrҞ]äf2,ι۹gapeJbƖ !$>q@DOEY] .tnD_:$c3{|q lVdDYs>3`XQ Su\ugEVђVBEY^T3SkNCtfMU_\4<̉<&i"&)Igch@AJEBkHFq01 D!d!~oB̄dlh2w8 C!܊#kP߁Ki\@5t8BU'  6EkeKj3B,Kc: )-]wQe}1/\PfDzQj#OIN @R%ަSX&n2M`Nj{֯uvSJ 5) l2Y.)KARK=3m~od j24Tz, FZQgx4rVNd 'ـF6wň)"ex8.o8ùهss2Jp{o@eh8mWM_$wԯ7[@i,˩Z ͑x &08 \mJsrVs>bA&R88k 4{|bHb821:m,L߽Sr?/ey2|\zu% \Bs:fu8iv%-U76/cUxojq;ˁ߉o6bxsz9^ư~WӮd1;q\\;tWpBK އiyJCAnW5yO=bh>|upjy!dC\Z36 E_`G8χx!}\$.6G; '{SK1/.2Nha"X'8$@ 2Zٌi3*{Y,GdQ ʙִ DH2)@55qer-<z6evlߩ=W؄;|IG7c%D!O1ڔ\&#;j+7A0<ѥf꟪_He/X1aRJCa= qh5 LcAp41K '=cO}5@+P{o HN#w q*c;P1[ O6pL`q{0O~lńk.Jz60;#H=z?9߸`ktP0'zLJs, I)D,Ͼ'7!Tծq]/.Y -v&0=n2ަ"Bzhv=D$lpD:8&)٭?4~D'mjN=mv&۠d 4"am*,5ӳMG{3~_ges[?]E:b?m|)ZeTdB ) lzmLWSɖQR) ,B\ Q>ӂz2Ff1g=`0y#%hR 줳d=(dRig7d9zcD:,05aʤy,_A&y^SqqTCq̍/'l'lo<KPcxɓJHi,&>oY I'D>ǃ柾HK1@մuIPscjPGP, 786g"i^AiHzEWY3Ats؟աfGȟĨDkoZ @b(u,tȔ6RXy2ޱan(kWtOd[**f8֭;bD%Ѕ2XM\$tcQ F^t,%*c"`M>3s뻻#,<sl##Ewr>(S^›:kTu}GB aQr sYŝM~`~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x