SQLite format 3@  .S`  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  #OpL<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.618cpu=3.843gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p*Ex֒)v` ChؾrdmJS) WDܧIF'MJJ)|9tRgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.837cpu=1.534gc=0.0001%0w_,}YZ7zXZִF! ]ŗXi%-L"kUH !\'$/ e9ުO o5P;aH!.n]nRkf+Rn#yzқeI%Τ$T l^Ts[gYZab072f7d4fb3334b81ddd3da6ea8b176f99cf00eebe1e700d1ea7c31a82b493fe8285299f0402806 6870c15ecc01bf16aa8d754cd67c6996a7d04f84 2979c501e997637321ee59ab2744f9c8d6aed583 4dad8855de4c96c9e0ffaf58262caf7736a87001 0139a94dc6c851b81bbab1f74ff1a3142bff77e0 $O HOL-Nonstandard_Analysis-Examples   eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id592Oa/ DHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(*It&͈4MX-~mNQGeXQ1 h1*rcD;f̪%&)BuwWn*F͡bႺF O NV/36Bu#;{22Rt zˡ*\YZJfFkޣlfo='}l^V $nAaip;qvMQj~0@;dVEHʿձ0F ָeʧe<13OqVk/&F隳+. bjYLx"+J%xEe8 U60Nx|۝.)XLiK^u A Tx<تJn<i18ƴx#Si3":hR;w8V=P  5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   0:)6By=Y~z>PZDC'IO3*3H_F(E,WaWǠ&ԋE HGd>)ݾ,SK`?yP˒gNe׆]FHD;b;,6C9m=YF%PDDyv& ~͟S[^{J*)31=O|ovsn-Yֳo4TƋJۉK)(MW2X0QG[6ώ= Ŏ'GǡmP%,0M_0Q /&Xw}Cwo#ݖ|B1G[`e9r"=L̲ߟo P4oJ8!,bE$b )p8 Kʚ%0& 73K2rrQjW!/t{~eųMAf(ripa"# #C{ChM2Ewتr!c!LNּcYqҪE!|a si%)Ⱦ8mЧ {yfQ5^#eF7reL<P|I\dkDt9s%1=Ljl$_Yo#nxJWݤ"OЈNG'+1O/9؏h޺͙ϿHnM4_`UdrÁ}v/408# Tx1 ,ԮpЇG_$ߚKu]{!=Y- ]^IUwT?IZQ53qѬI °ܻum~@X<5k;ș<6lyHW6J5Jq _B679| r=XIPXj,m^OOB8{cN(oTofU Ց4r՟}vG(NvjAN B?@,"OXdy?Ƣ \Xݫ`<ފ!>\qO+dOUPMoŴcGOHLC剳 %}ͻgPeRTOR˿ܪ*|H4m{" }I\L&Bu{䚾 e)˯5)p02bbx'oL!BVqX]W[P uk9|"S]RI $`Dz:zfb}Cl =gJk"sdDмO}=>sW5w ˝ Uؾ*TbV~&LC?/^&,vՉ>O f~APusd  ?^ZxK3$+;a%2[P]{: X~(Hd7= :2doj>*؛+6C5bVWhL .]E~K%(󝽰үj^mͱ#k,lQKNo@љ%_RKh0Hp_vvOӚ~5*IB6"IL2QDIg91\+5WJnU=s<@5@lʏZPY>Mo e +8Lvf/>D=;hnVވKzYȕe3 ?% pBѢ&E*2N*^{k"J-*p2G-I?0 Bő/0y@eet[[C; >G$Д4G@JLy)PR!Ӿ(:-xATQmgz` ώ/F2Q-EĶzT991_jQ5^ ,Rm5&\ަq-,gRdKűKI Ñ> ֯F8f> pMmf :+Pm.QT0:􇈅YMy Z%eg 'LWQdY  (ۮl+I8؛mlsTѧj o*$,qx}+3NxUhcEkgvvTớumA"%@ 1<)!vh; Ѩ7Ug?HKM`>]יݩvh2 ޮ)-L&\X\XHaR/S/>7yan4) JՓ8G>b;mAxeWjw&S4t((kw USsî(V _' GpFH8+Vͦ$})1yM33]0iMgxHjx$–᫮T7?BXp׸tmP$bXm`&uT"f>}a7b z5= l)cGA2iWz`pd2zX*|8U-̌jj(k)z{ J[ڊuòe/ɡGH45Cw"I[M,u2Ji7[r(_`Ks"ґ_1F)ba|`0U-k7APpvp4d92U@@#u[p6+؎*ad%{Dԙu^~Lт#xVnHz&&[1&"{5U2aW|D _NQ[&~adj:Eź F$5\hzWϽ[|t~~@v Uk =] :?: ~^w5Axm/PG{a/ e/}|a:# 1nӹpRtvc8qhw翖*#=rqP˦6ydfO0>Ǥ-rvu:^Ip&0SoY2p.9vEeZ $J%(d 粠8n# %|ơ y Qieb՗i Ä 9!#`QBoE2uCE5 b ]T+B[4`addzܓIY! SCSk61hpi׈fK$BF+4Ո~(>=j ߏ.Q:͇)J}M{ 5[53kHSb/0):!piwv ڵM_}EP"іhhgV+EǷƾG!? G=N)j (V*ZTͬˬN6u|%tYKTiw QJ1` _谕~0'Lw5ڄ')crJ?3^RLX> ܩC2CW^ jJnF? .no+I˸&mDo%q<ׁ&j@J}|&H\E(=KOQ3 T >hc*:gugZoi$튾4O}L_:??2k\id=@B>C)yTOI:!x,Z\y:c)a!r q7nLMZ*\sr*Q@m סQfw=6JĴ(`+M7WT.Duv9nw)ZŸ]-`d Y1%$rںR lSV#ck3^[@ ZKMw@^2_+E"yWsfuڂi>2jݹIsnr`UW Q\,QnU˄wMYſ= #] A~+x-agXl\ pkS=GY4O  >"BP^ѹ~c{`E6FżYȰjĒ>yEmj4BJ…C$NuFX|U hVM:xCϔv =lb?7f6|wq%b5da1i58&PI(ͫrc~6 2-0+95?b z LV:AzM9IT\:.]ٞlA2Kt٩rCjI%7~&|'NWNx&cL*8 >Ier ?(v6|,O5^ Am5T52zxO9v"a\*Dg0-(3kΙY/7*._3f.ɔ,[U=mNߌkXz&{y i#qv)yk;jXY[؍.?VU"(WBw 6ityrTbmuyU0c>'y9)8Ol$%>#VBjq3~X/CCC1Wo͸ࣿ(Y˩ANJPV.gCYZÕ˝σ NBǭkt.\A?lF־{,&Vv*&& K,V歲w ![IYimHMl*WkLinĪx÷=+ H3zu%G0v/$7dAF,{LWv?F_t~i{`uSȢLJ*6 smecj=J%&te ~9{?ɓ'kSRI)Bia)sJܬGEZ'"˨@K~Zk*_TuFL_Y0b Zs0/E,WU%]C"9Z]enϥ|C哎7վn 7b-ݗmg=+k>a.2F06+g#R Cj>Bg,Pˌb&dp9< Ͳ|bǞz ԅeW4D}Xjx[fk6glcCFM_[]GV#ԺA։CnS9zO%EmX5Z S ov`2]zZU-ߓbO-FCzܰ$hijhw8uQq<> J#R6B ?X-/'q}61`ApG4] X[K&ّ:uӻa ɺTz[/+~(U-ͳ $tAB!KZpipsÀC!&7v# -ȥcJ+إWxI$ =׶ K*{{o Pf1iMY0 v1`/ge?Xjٌ=/ggvDl1SwyOj4O~: s>d HP3h_3n7~꨹z}8L>aC,ap fv~\zmktT$ă%|YQ^dUC%^=q*N3G2u?9T_,dVGp p&+^fmlC0e9)z솜2PVRas <K6({yy":[kJJa#^azr; Ӯ!HCJ˦=gA;Wf q,`޼ 8uB \"J+&Qkxk”H+\٧QM~襊 A ĽZFI˝W m9tCb!Cu>)`c+Ajڮg2ytah{ЛcUhwNʉC3 |V|yv$JV3ע(P[D'ogm˫ w:,=|usP[}o$&Xw qן2Pr<% U#GY`@,}^&) {DǫUf W6B{trFܶ@GOIOą) e]`xX\l K; Z_ &ሤ^yb,xKTq+u7ٻk̾h98!bd) RX%o}oRJC.!= PMV'=#ߘ C7u+!xޑh:fL8Db1nv-ď(<QoR/6!tHZ ?j Z؃> [Mӗ[:)e'>}+h7>{2^$F#ǚ} a҂]Rt9P]9p #jxUjfqEQ|yN]ÎkNˆIf+{ ptBFczM͈Ɂ!\i>8!w9ua2>I?We&%"Z׺?4gkWwoZ8H2:LZ'p1 &f?s Uphҕf2 Ӷ˶!if@O"tËR[?hImhHS= Tؓ2s37_&}dόJe>6 ~վUΣh]I~?W]^!6.ָ4" #j0.3Iuk`6iYxA;5(m ĪS4ߺ~ `ҡ)q*׌iX-/ü:%>ZQ 2~-=kEkb-f]֡^o_ UKqI1۾ z&q~w >ՓRKW$U-y.>L"4ibm~.Gה,\zU'ҭKk?ǩ[Dn2 bmT$٦d,;:AW+m0VUG1:![(ox2̹SRӬNs`sF?" f+qt99ypwvڳZhM+G&{5 IU"XH3kb$CBp![wFwkZk]-_! {8i-+.BkT/R "\yc[ |F\YtN1VAt1hx:i P~d{w<?R>C0|olԵşϤ3vYx:鐽89V?C'4kau' mX}a2yUȑF-".wؑ:OؓhNJgobQ?AMBE]Qc3\Ih+]OB)v SQn5hrh Jz.2oY>BdE`Lyf_8+nI 2z3~ C@-,tikx7WP6柳*iF =RlhAllo]&~Oրdt;-{<1~ɠ1h3-\./ڽ:A(Rc ݓ+zL4 MG6%A7W/O\K3"UR3ӗ ?Llf+5_ٔkcbe[갹M<TCN]:v`9_h54v}'w0yf3\2\'lhƵ%$ܘ OauV BҢi᝕SfM(j$&PşQ7QZ ±27Oփ`er[T]!`MBAN:c+.Keyk -tɫ @ErE )sL>xWg.JX9'> TM*;ʑ$\h#^.6 fߛ2Dʹ5ʳUtݍ)Zg ّeElof_rzNK*EfVV~QQ 3NRfTȴ3>{VCd8/WjR.":hR;w8V=P  5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal Wl RWx Oa' VӂRK{DJr<0˭dPQ{OUefLft 5SILJ^S1]hC]5G96pa3L4'e q!NOId[[nPNbm3frR -M鍰B,/Bm-׵\оmϾ*nOH R0T(*~Z90qePMꝭ1u4PTfoJ|UmiFGbgYZ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! f3h]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF[8UK%R @P+Wb:P#S:ވ0;Y,xσܻf}Tk{zurWy %j@;rgD&mxZu2m2Az;цq 5]˖ Q4Cx.b`:} q>fښ)-@9O#؂=QLdlmoLZKȺZU?*$ 4[@o:mKV}="W Y>c.Cmpnb`.}ǜY5+pUe*j{TJTFz^Q9Xr7r- >ȡvI εHv@ʕ p/Cl쟊]vH;^ߺ^k~9aBIeXt,'̐|;dMVS6Dq<6^ϝS.(OQ'YX%x(#L}.d8Udԩ*<퐒ܦ 6}wip.nR5=+gY&"WƆ\kiT~EW$B}u bPmZrl>a Jչ\ΜI æ5Wrْ)m!F7+wg9,A N 0  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy1oՓoDlAm9b;UpC$x%JZPXUH9[?Zx1J 74s9\i~:7:n5ܵØ5$M.<oE2`A|.%PUD\YǒImAerpOF@CLgM 0#6r=60hJ% l:^U]k^kpODre\-#^, UiXUfeS%KĂ[ջ!:uAafo ~sIT+pk#_QQ)2I-|+Lz?YJD+Χ)K:OkKzA'zG4*aE뎬HQT{fDɐ?B*W.SMH!/rbRJBYzD5ƌe0Dmϵ!3ߪ[^2Z>Z,@7}5!@+"p 6ZSL' b6BCs$ 5*b#KwU"StKNb̕:9r[A%A&&NLeWThD-Ҷ|SCY x0L!)nh0mI\InT MbSxwW*Z .^1Ѧ>BeI7t -O:NmrlG6.$=J֍^>sVZRrpLF dfGAYmo15J!!)?a9guɣֵܝ+=?x2 3hI11"q^̥O,\0~;n!ɭݰQlIDD_g PH`%FfY֫Sp*zv2;9 p]> M92xUK$kGL_9ĕ</g/4m$*Y^iF,ـ %~ʎh!dk<*)jFs6mc٧='&60c.4LI `px_DުK/!v54K³v3($o`m_jO_ZTYDo4U%6]\R_$( FNi(M[87 l y! ˹FSѡ9|zJ2&B{K YܯDI}=57(؏ooe$G״d~ppNBCH*h[o#w{jH2s8;M ! QNj<ڍNZ6P7^/CZ.m{H'ʕ %]S!H٫r d}/ݏXxsЏPLIQj卽(/ڝ< 1+[U$[NWaq/yQլ*ٮ={ 0Gzo{EP{IBrvmLLK/{U!&-BH >1=ZɐhUck0oGpCN-MSOo8@ wcwL:D)hQ<5;E C]/u$C:} @ O4ImMo38{L[;l 8g3/'(`=Tfj&%'8WL K~]!9MPQ绑XQ`ܓw"mFДFxx "3F5=nr*2[dUn<+P?~{ޢʌw|yDI$hq $d" xz[wt|{  ,*hTno*(ur)!SW@ȯsn $r#v7^8CV oUʤ=swwxKC$"QxambE@us6; pgWqWx%b|%k$zfJ80gmltMIbaEEK}FEdW9 dq!E(WF߈'٠ٰ[jK?. X,Aa:2|LE+6 r.Z1ܑaF>+PW>F(mÈ|# @vىlbpotE"Mɗu l>z{z` Mqd{C-nPkVIA\ܳکK|B`(Nm1U_١ սwsH g+@6R[6RʄY)~SXuA/Sg$r4ih>|FuuA%/@U; CeJ~0-'l`\jh!T8u\ gi’!0ȻIƪQm:2%@ \Gqpv_tI)ptߓ 0 8kn@M l~jj2![0ga$('M/Ojj98?bSZ<8D\G m%UoITD4;vOLͥr2O?4mۭ ~I- h>aZ0RZӈ:dnX!<^/ |n`3 :V`nW, 9b~)_'?>~@8.nZƘnW aDV_i2=F9 wB(VmQ Ae6lJ4ݒe䚗9NJ(zhKd>31d 9tUxLvNy p ػbAg7U¢C)d2!QaD}!R`)Uwr#x z[n,d]L1<jWiP( _Y=Fʸc'+$!DyY(͘˝a1O]Yʯ46 UO/V]ۇS{ݦۧybpw .y #JJDuu[p䔥'wIAgU7pSŃ& 1W@ a_JoNϗrd=FZt3 >AYܶ2U=-^ajmW/FD,ݙTSod D7s47[yv6e,!"V1ףv KI+⢬)ˍi~Gp -aN‚$kJ 8PTT\.[Τq]A%"D 5_A8ae؀XUIqqYK]S{eLYU嘛GIZa|vyBo hw_&JM_nYv=AYL!B*pU3s>{#\B_s?GQTiOP+{u@EA?ZOsZ38W` _y``9/에B]nr u#M4rIAZS8 B$rie]"F-_QjJ:İC{w[x;k\FjG`}T (7uɄR_*Gi^fw⬔ :Tؙ PVLiY_FҭEw oBmi?pQet.Z Y7e,}+ ;a6vBj2tg;WQs2/&p_x^)5BWJu2? o~gZG|3%VXR@al8piNNv\6y` I{N$n'kU6(6GbÃH;mj*\_IuaDwgš GKI qHpdΎ-} OYrW?W,Gu`Ӏ6消D(-nFQ}R7+{ANC?N157bm_iDUؽ_% QogX칙|<8[oᜈ FYv}BdH1ZX2)c,u4:g^+ Aa1ucHjt#h'e+|1M$>t0]uS+|B僿ZWUihX,xpStJqk lEuЗ8)+Tb{ZTڜ2nƈNM\oD)#9j.rpDkS;<]ķ([j_ϴ~}x@X6n|FnNDZOl<}Ij%֍ہ%@sN*.7sٱi䧯g;;9VJFGe"˂ V i{&V5xʊ!ۋ$o E9gxg:k*ʶ3)ONi1j4w2l_N$>s2.УUBo []p*0ܫJ\fJ5˝^F@<7Փ %aU]'%6C&ɻ'I_BOF;5^[phSJ4)ӌ oTyđL"rK dByP7 @u[o(PMqEk ɵdp]d>TObdŷ?1ja<]9kq %z zOɒoBɼOռݻ9g9* GJ\̦ ZA-@͏p?sDvE'e꽼x;~vƂ@~<Se"CD{R8$5 x}+!J}}dq24>/1u^c a6Cy(8 Ӊj2Hllr4=NY$0ɼGJ~씶dn]Td,xHp\s [j q3wedS֚@2S;m n@_fuSt>aȪg@(6e]%Fn+[xGF]K "~8OMZ2S/dW#L66 lHfXV V4 _aFѶ:;O/qcgC9moi B5ïl(ާ3J 8! ͮĦB<%W?c"b ۡIXetQ#}?n2SeaAU3~a<ţ#GA2H*M 9J=㕁]b]!eZ7ƟாpkP5P=.5otyz=`,Ppkkim)??U 1',-'˗>WzLՕo[vЗnpƪSḒHsc5G@;$)DS{` E"'.W B6 npc ܱG@FQyQ\ ^vnH?B)@g*T.,<#j3;^3ڷрEVVNo7ekYys`$4K[ߒVHYu 8Xf?͕` R!olԇ[p[/1O[zI)mh #Naǯ Pv3iLr{ɣJ)b#+r!c'NTkuq9O&qKK٫{:}3j9bgDK8n,7)Im[PtTBefZx@m- (&ˈhϚ+-`t1Ąy-DW=^-K`̧U%UCؤ[X5}8ؼXIiszw 9-$Lo>7+X݆˚۩!$ʭk%)<3Ra , sxzȊY&yOZ$wm˺jxN,ͧt=>R2[7ݢԛRI7ṳ,y4Hλ6 XhJ<+v,s c)Y)5tUSϮ A<5s^e1\L6DuRu@hg$;dl}}E›o&ِ6ϥt[bd/L܍ZIE8y6i" Fь:>5{ͳ`lE&11;R{z%t?u7rQ?"r)vXpP6MKe4oY]ZM7f*h"3_AӃWXb\&^t7/`Q,2@Ʒd9Ey Y3C;\6v=o .79@IUN'$pXHB0ՃD&1yq|ܹ̀7V#XwtΑO=A{n[|#Ƭ#; ,Dmؤ ,_N cIgqy? K1o%Ȩp/(nsxQZ5sy o)i~qyQͯե`XX:lHlM.O]|dCK΋sn\R##\d_p/'^;oR kl~O-*Q&&( 0 k%ZMpOӎ*W-a=Q1o<CNTߤ󂗶ú.j9C{f7e-`C=1!d򏊳G}~TH@2lK6k3+D ª)MղvK9uh<GVJGD1yCp4^\q )-f)q'~3|| :xPՔ?'Sw!L 2(/ FTG4hM!y  y kXyIT;[Aڬ)gsP-DYqCZfFZ9tB~I9q:%D\O,֔0⢒D#RT ƖU;0a03N}?WYy;@RofcAͮ\5]:t.VejD N],g@O˅3Fi C|V6SNyNv:YeXBUTϖW} p˪<+ I }t5GpE҈tj X`GdIq490L۞u~:y"9idqܸ2  (dy6U6%7kl_F`ˈ3yF?8 <:^KD줃vʮGR`Ԭ˶%XTep +ծ7bt;FucUsq/$qP7!k)"C͑NO.ncbk&;˽4}iDnk$WLpnC+6Eܯ.IS9y# @2_ŔĚ4m9!%1m{4Wn J9 '7_?jN-%X N]pQk@8HdRgD [Nu6(R٧e5(*xY4+`V{Kq3`I`ws&{BTM17a(K9X*28+*^_6kh"QWT8<:!DgKe"(s 2@d<%B2URf[<@r O*(X)Inf :`02S3gC){IefL+iq7 i-7=Xí&։sP.zuo{FY|c̆6M 1ۅلȵfy4D!gN1ZOnȴ[SzNQ4B[X&H%{>ɿKČ~!G_Q^e.BnDg7ekQu0 ;_X(LU1 eH6oj=ܻl -k~ n }mtG™nc`Ih?&S(ϒbtv(d%&%wtvED=^#'pƛEqEd#=oj/'c"%%æZPht`$*6Alܧn6Q+M 9*÷Iٍ2Cģ< { KŖ!d?GE$9 6dzlh,1]Vp\G<<E?Y1 D#C5=6X0sr|z_bΌ\ءYkC*ӻDxQv]yg<%?'fcp^Vg1t[gYZ