SQLite format 3@  .K  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  Op<<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.763cpu=3.806gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p>F& M ^6 qQzhCEuݸxM6vigYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.852cpu=1.733gc=0.000LՆ6W4w_,}YZ7zXZִF! ]ŗXi%K.r1pi/X5 ~vaĵ׉_n҃0~;ođK&[,ұL`uY# YF4wC1t8,Tw >S~*9>%$/z UqUm Y΂ikGPi>AiGWFE-, UF7YV=ϱHIܧǶgUiTa6ŰA`e1ܘlG]}~&xMjc/Z 8n'KgNmIzXucK W*Yz-&e!SFnA 32N–~>F}UٳRt =1x\T4``w􇍥Z& yD%)MKV-IWT|3Xy빥}!òVBǃUL7.@4:-b͗ߺ/D5G/e a:q7czo£pۃKAJ+-qwvvy|h1Cb-agYZd2b1554a518ef89ede46622ad36e9de9e9d66d3a196a2515706609007ea06d75ec986adb99a8cc65 7115c7e4680b44b378568e77a581f51084272a70 cacca005fed3607af2421e0a493680ce70d74256 c43f782c8f2b7b52ee71c98b80b0457a35449a66 a4fd6e524c5c7b7ce5684500325992a7cbc0a5f9 $O HOL-Nonstandard_Analysis-Examples 8Oa' TXáAyr 3ͦehu0lVnqݤW0ƥ_gc߃Uc0խiZm2J#\fwqޜijО^O^`){AGqS&o8^{ׇ%mDWsuuj%q8DwVWZsiڥ~d3$9g>0ZtW :5FBM5;']eOޜ _I!.|h ~HS#h))m!FX-k6'h+)e #lEP eTn2ZRb- PFؖԒVX*<orgu*[?bkS@<-6/0* WeFd cY7Ll.>QƸJޮ`OFKkG EkaبH53}!6Q"no3B4O-v5EPtCyY1m J#E5!AD{$ƤWv =k%%Gd.yqՆmH 5k.R4 Յ,˳>)Tt*{M ~`Snw\'ǭ;]I*ilmx^VѕVE4\EeY8pcv'u.n[%nz\1-֪.?:86ؗoU/qLF</mRoiwȤ奵C1im7 aAv5[O=__g30#,PF[BI?'|jԫ 3z(J1 ;QvQFJ|ROOQ`S-os|v fnrv='rg tI ixuˏaMx%q߿eTtN焃fo!x}5tƓ!onTJt0qr[Z N?Ԇ wq"qV&d[N.Z4q]eD.jyDh;OWv{RbgJʱ/Q|\bѿ*l "̀m>{&VkyO%7BWvf8E( ,pS֖k=5[sJB޻GkԼ׫&*A|)47 ۂͮߎ*IS30D':eJ%&돼IU.ST t[;79Z@*lUmHuWBL|_b,a4K헂//@=vP_7 1zj<2%zF"(* U=e^+7xr$EANMfi ql/^mba`E,HE*żX(yf]_xIJCW6Fj,,J/,d/+77UӎiϺ rsCK\hx8Z|WCkܤIĶVJ&&tII,Yj`qޖC~BQb׼uViA+l A3UTb񶬄Opʳ(I>UPuC#޵аI~Sg4KZ{B~Ɩ(9̮ۙާek>B~.ushv_ݩ% Κ q[:EG=Ș,P%I7i@ۣ5GQiC 3kir)38Y|OW],ܤA dIqW(z"(r|:%T]p}M\~hq g%XV_i}{6 o757E=d'f(=43 ԃ"? {>w0s`SN,]Ts?Tɒ!XbIblZUb\)Z؜SO&f@Np;p;WQU,mQ;FAl.J^fQ;ŁG/O /RCphwu=DVh34?E',/tzSP2,\+9ξ3豄1bI;4AQzްΧN`$-4xEYקtʃZ:W&Yc?sZ9\9OϓPM_15sӰVz}|ɫE^stcq!Tc- Xl) X8([&M“<0O\j<* ]qXiK-3bOE!Tm̪4KR2N'IIi7Ou# |a8 ֹ⪔OpKYEǂebId =PI5 NzX/+H\k_ XJ,\0N 5'C}$=:tݦ&X"[~cB#/j$u 7"BI8]Wd 0%R:Ly3x#5c=@~DMv2tԻh,҃쳠,^;7$7A3=7L$5SB@Zk17=1c$`RAlBw~7ܲۖFt-a[Y nّ`/@/:C1~.G~5z*Q3jQ8ͦh1NodF̎T,mrݦ~h8"dpP{ X9T"_`'MujMH[ ^{ 3GzdLr {v`\aQW7luej w2a??=8,yV&Eh&K:-Հ%8$-&rZCyl:[ʹ2?)mo>!#u6_\P:ARPgF+8tnQ9_`cce;қ+jI+d) yFZ_Ufn~g"# h'iz+D. QidV]Wȏ_)@'V Z>LQ`[Nq&m{D R5|dtav lpuh:tzb{Of fOE9 p6ť.&d۶3n09.y:8a=Y) D'ήp] 4u.O^%_"H++uz |2DcV0}'z !>)bC}AhVnI"Wu7- {nT=4|%D{TGCݩZ^|7s\x@t`T vU9i,4$ (c5x:*fP@ZB)`@&9 hel2,"s,GQuCG<2ϝ٩1Tb*p_"<뢅eJ$~ а,=Vbrkлld24Xw! t%r~R -%Gzq_yZϸ4FBM"%$ ȡ]Hi:ȼ8Mfwzۍ+ s@ 4'JZ1؁k%Ox0m1nd- |Xe A@O~޻ oH hS%6cY.$m 9>΄Ǘo[`G! bRML8QWH zL_$h@gIȖd%uYtYΠir|/Y5-BWMդ0}3D,Ř Z>KQ}J&3dPlK\s&ȍfJ mT@ w`e.;4ny!ג; +ޫ9b1_3 !/R1K_r/xAi4V,JE`GlT,s͐;-WA{ORg8AE+ѥ dzk_N`n.~:~6Vc^.ۚg ͉3ܾZU)U6c|zls48s.r3¾P X X*/S;[)U^cWtG, *MRX}sa<^|bvaĪ[m-[5f37Hז ըY5H}$z4-L(8;lܨ83Ha؋#'19rvv1avi"^EXcr\ԯSвQ}u>ѱxq.)2 Į?B$Zh ؀LGVDQNL&K\ tϢ>L]/ _IZ@c֔X^˂O$!8a ֧B`7o2ԃgLŊIq_"b^iA3b:)$d;{ua:%cp6%.J1p p0v)-b.ﺟv&%\"F6Ml_(*y1b=hot]bj 2f3 o:L\7-7]iR*7_4*'T E;_#_o'@qŪ7rM 66y9̑X(n K5ڍ%GXcY&p Gt/ö0%g>*KI>üK;1_f_[Ai|&AH9dѫN nP#q+8Dl*e!ˇK?q$ݰT=b^ځ0;?zN1GFőO;rca'GaB@HVn`OuVƯtWM:||heI$[b߶1cը9e=t P!\-ۯ5Y$0/ξkl8Tpxhٵdz0 9 O_QDwhӬ/ )pI8&nZ6ξW>oRoI_L"0d=I|l0E@S0fl!-!fgH삛4<ү)ёҩ6q?`.%rm|KFR%6ɴaL 4l'﹛OӀC*sCe8j'.ths6?ʉ4C(on'jw$?7[AEʵvb)K7߸{"pUW1C22.wW")f#C}f'$;F`制ZܣTG [0{wqj| _xpo 4g&qS]WoXEP4l'9hۺP1%娋8cfY"= jAC`,i-hN-Vj`b4Jݭp:fYnxjMU YMAOU \A]ýS^Ly̩tG#.0wI;x(٤=a eM̜zzB `SODY׺; e׋UI|kYr*8zFLv?r\1Hg"Pm&[[[=;d{Icp؁b(H T4.b/^< 1`+<=;91<֊$9ACWFx3%">+jPBxF<](Fk3gvxptF::>RG"jݧf!e%-^0)s9&d󟪙\.h Too[w0 4I+@ZWw Kk^=< UV$,>WNAQܫƶ&58!pYgo5o6eIXH m 8>fo=?ٶ6O_"36d\$$p3nk#[ptKC3[T>IBh^.`Cg~/ɘ)/ᦉå9KHQY"KeJ7uܦK5@UsA3r`۵|Ⱥd!:Ōͼ>@ةǝq4syZԠ'cQ3;6?fۭ0k5:>s齩s>_S"Om9uVxYAخ~aן??WXm: 8GUu*p/zf7IjHZB#ڊ#7sW`HVmH׭_~ܱV #2ޖחug1Af9J; Xo,ETZb)rŽ3;ϪHT7:is 䈋)cY4,V /8 CތqLW/BΉ\ۻ41\Zţ3ղ0&d=>*q:C3ӪV⻽_v@!_E)` ShA~î4#FY]9e|%goT8(jFѬ4΅sfxڑ# Ѻ"tbJh$Vu)# HANJG!sǣnip`rAd)j3#ΓDL0E "{@7XKI'TD iV+hȵ{*JHFDVH@aXK!B܆u[qfACLL6tх#qɔICa݃\f0 ǏWkB4E&$ݛw &Ac58sL~@!=蚕N/k =hTޯ;C˾*sacX+r݅]Pƫ ,œ2+qxvGߐ3mSZ`Čb(a'КI:JOqfc^/W'„QrolO)l6oJt l_>l--I}Քiig?.twLǍe Ag咖߾~{%PܛNRZ=%袹zbǙCT dVZ 5)ѾeSA- #S:{ _SqGKyv(G^*RA>a/mz UӣWAE[Nlu.3?it) ,8EoD1%\3]2ܻR=jZz J1 $| ܈$Xçdz=ݡyߖFMay)^A`(27[z&oNS1BC ֠;{X4?` .>.<`Vk"rSoP!& qJ˹B#j\ 3/VeӑٽM$5O"in9iGwāK[S?( ZdaE{+ &>mݺk:w@TTU-vScA 7~bH>X[qK E,(E :<^7!}{T:]v":ǭFKiYpx_YN76 Rwgk=s,cW6C$vq)}oæ1~^.Ζ2IܺÓ7hߦ;~_{ݏ H{FPH[a3wBfMF!}1JҸmA -r"w:8uax"N\~:F Elpȝ3L]$0p7+ľ#FЖTz`ϢM#̇YMVǒ/ 0٬?iy_RMzJ#݅补()hEfx\)z._05))'mA CQǣ 2dPԅr'=:gZ03Ň jvf0p_ |[G<{^݅zzv428\nZJպd*5FoP 񻮞S ==E'̀{ og7@w$2H5SQ' 9*~r[3!X\Ʊmu 9]Ԕi._a0p<;IR5e9N~& 5hO#FmrCp^6Uj2}i"׷29 N9Y5l R/[N9&zyg?4Ҕ0"# PJG H>YԚVv6@[C=q>]s&ZVޏ"FЖq4Ko|(`L(ɿ#| T(Ƽ_$ETa)ӡ여򣑞aţYSWMvM=0ۑXlwb}-ҽAvk@v{vS7YCf"1vZ3ZǾU"FX8Zf|vI?ʖntک%e[&߿je81 ,VSBeY7E9la#K8C<t&OS`-s[[:U )iG "mE Sy=KRO;eDk愉w8INECS 鯆yØyת,dDhF Vr %<<+ D19a ̖B nlқw]D1 {ir,(Xwe慠c#-.vFӹP-cJ \p!ohm0emx*0d(4KFX>OVZ=)>}5ѿ BŖ kpE)A37OyVO{H4Z֝hB/rL̔[q(N,fy:e2 :z P1LX~B^F֒ Yy$=p \=k8_U HuOmJ0y Cv!!tYrхd9)W=+gjn&M Ԯ΋m+\>*#$Y k*~nbGu0Dz/nTJ a:!%;:KAo)a܊+gʯ,lWQ Ȝ=P[%bSk3sҮ]p3۶t1'&>_h*ewS nHOTCZ[D3tk}Yh\M.))`&YM(7/^~c l6,9aBj`mMjY|r&h `bꆊOYҍr.yy2،[Z:I rRl>7h/ 0%"H.0dWJxŢǂ4NJVu `skCKL(ǑrgZ5@"ydn^t'Q0 W&1]>{'`ec1UA붎GU+KtPwD(FK"iFpTs Fԁe^} mf a)Č{{'C 25/*,5[Dyz&N?!I:n0rF.ӡC;G`6M[&ս.!sl74߈#C(AZju5xR4Ȳ?!O]YAu8M&+m#p[(1l%j)FQ#-@w@,N,ɘ6E֋XϹBӒ. =Vc4GGMl /G"Q0z,Z1AGcP,qAl1]&ip)>-gtQʈb#IxW+~5A/5>~QguHS5Z>;x" aQ;{fL?S^d5(a'iQazbǺy vQ́Vd$5{[:4>7Pᖏ'%԰QT_߾D)kK rHA2آt*':o ?Iie ~۫kTWyCW_+q/|?tll5 (Ŋ0u\KMzuQ|e$gYZ  Y* 8Oa' 5ꜻR|SWl/F_=nZȯhA8e8^XrqPZ:7@?w:JexLWb"1s/;.Wc\3kZ}΍j] iR4u׾e.sQޮlVKO:Fj_o ŪN~/Qr@r,#hIcUO? 0p6@T+Kv`+N Җ.𼖖E՛q" ux tMz"% [>-@!u,l->P(`A(>mIUvrzR-ٵ  | X}AV'Vq&2TRO1RTp YmD[Ib;k ^Ȇk.Ip|_UDmz=n- fkH*bv A1U"њ+6@sDk|.* mΐ|U=c%b؃[ܳfQєΓ'*Xl_:#s'K`6(+ttb-aGҺ~ɴyrKq. +5IM''xB}G@߭ GC]vx&ߦ셴4 ybs?;0s#1V2eG؋`Vpὕg8 pabmY?*M HɍLv*d>pyCjYdKw=gYuIגJ΃dƖaBv O3@2{)2/l@e'Fqd dHݱ@eg`^nQjm1 7u?EDQr]* e;ھyT;j5cBsHy+"BTrB3|󷦫+߆%k4H& ]?C&8OnkO$Kղ/jμl2 2'_r^\VHA3%ލЃ&L-5!fT:ƘwNN{VM\S]nUĩ`G@/*RώqXTAt^cP!{J8O*wyRJӂ;Z'=_R,DzPm_folsP!zt9{"jvoЛ }m9 ,\)qLJ8'=X՟H\ j$i.?4q.þ\nʠׄM ucJCȈ IIY[58)LLwQx[!kWS$dIcssn71ʹܱ5ߋ$0?Ւ#*0[ʼ6%?ZÃv6{׿W|y=SWID8F uJAzkgVQl oC>$7W_䑓?۶G*804c 'EǫJ 2bzFw968s{"k^zN_(WҿodetxLqo숨 CTIX[vD<ϰM5PjhJ[j`l=~5چwjWmmJSXw4UviJ>$,Jf)h잁<0G -1?h2G0k_`3a\.Ӂ饚f,Oȼs| %Bej5gS [u6mzކ9jkHI%[Wt`XGA7 :-3h/ \kIj"s>u3M)(4z haZ0s"C34wJU 9*SJ̬MlvgZTJ7F>t9Lj;ӎloՇ{=6}iDjgT*YM]L>c&q6Ln a<S8[0( [1Wq53)g{uU1m"&1zYS&}" p#DB6X-V.p(@ſ37RF Oi\@f$4G`5yF\typ2(5?%U2>f BQmPZ2-x/D2旅0o Ιy7;` 3&a e^5#/ϤVRYΎ,t]ҋOB+KQwϤ4t) 2Ɂpû5 yZҼbϬb9fVb;0&E*&+y\eLoXxG 4$`+'W Z!4 EUlF/dύܿ_%Q2aWVi7O>qVMoFқ׭p͑zTlUi.>_<#\*x›*"պBK)[L>}qj_S9hwDE6@[RDR`~VEпB/NBP`+f-onVeHJ"޽f۩Џ   P Oa' lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\ZT s\]nF0jaˆŷ4$RjG>&lQ[b tod&C+h㻤cL% %F:zY60|PὤY׏p u}ű*ʟXfI9ih ZQTuzya80BmX8BR Z9dI£!/cmS+LZtT)4b/:^aeT6IKӎ`JcF 1>d*o݆Fs .w*tjFH)S-gA櫙J.v7\^dB`1 ce/\)6LTΎl/*ZI߮65y] !ŷ]e<1֙6H ;cWgYZ' Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! 65]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:0E=8Jt5sjVٗste݂S}w5O(1Yը{_4H30wccԤ#M %2MCFFe#LŐ7o&=gXgD1͊"'\c!s%M͆8>oZc X[&]ѬYhru V`u ]bϕ~&4PQlp`T G!KH8x;L#b' 5#"`I K_B4|G6:ပ1-_?ӳH? }{‚$u$ `:lzJI@s0Lt2nycʕ/=9MנuT_Dg Ǹ7!Np͊[Tazrzukeu  Дa|/ 5^^4 УÑH\*d=|eGTasx֣zh!fpzwΖ k+};`pQ&g4 GpZ?RTt[6wzӊxynZcSA3 lA29cqlT ~ŒnpxBZم́&G,`09 kj Y6L7 +I;?RNXȢeTO`4mͿj64~G?@^uR̢,;g 3WܤCmZIm-익tY3#Z;d r]ozx۰/%@s4.,/|ԕu#v+p/h UE@,:HAEL]'V%ڈCHXˊ0g۷Բp" MM7 .txlRj;:h>f+yc[hjPGF&ha^svBd蝘ȁM>`>VR`_ȩb P48=7:r5s^Ys֎sx nѣ}= dj 9T *fgGpQ3ȹMoOa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyeOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id588nOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF!  N]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 CfEaLnGS˵JJSy#Ad98I1 Bn{ON _ᰭ^(W5X2֔gTd Eq3s8 _=ҹg-G@r2/ϖ|lx왗0KZDM^dp[YpIR"L!9LB}o ckΛm%T3SmH#_d2G>ԏKL6?39y|qp;7}oĐPu;ϫ e#9 {3lı7 V<@ʺ銪'ŊD\?Q!C{G,┐w->gX8.(tn-FK@8qD eL+؈ϫX^У$ 4~hbKƀd 3P.Lm$Ei0/1EtQ7޴{ҲAM⓰>;ݦ5*Ufd`޳;grukPZb)*q&xsX{CƠrqи*זYґИ&<u Kc*#."w1|iWhP]Q*E.im^PJ hef0ڪQ:%sjCۋ3v?12ylQb4穻)8$?=Mpca CɴΣ.0R>OSoĿ>×Lq.>md 7[# s⎒iPT ʍ; lxD@xm񏶀y{bĽ*Q6rF Z 8Vn2KP%l-\wP$Wz" ̅To#dP+/Rvo ncr&Lۏb'R2'g5z3U_`Hk/0]3Sg_Eycp3O7טJHw>O=½x]W8= o~stB,^Ku {VaFxz/LWQ߀ 6` :k"_yGg"1nx0EЅrfYaBu 9u MԀV_HyQH:b8R[mJoWP! %,?k)n&OhL[jG ̄p מ7B:~XGc#>EȨ YVvOtP0h}UW,4b/A1Yz+UA "tլW/ FJ90,Lͪ* x {kbFRt+udaP/%MN.ugi)yn]{$x/lvOCdp2`8 qjT%23**7d&M}{2) }f<܏fQ"т 팹uNj#Inu/Ve6E^( {X[57 )w'R=4M`##Nј{(U*L8.3  Qp?Km>;V&SD!bxrBt$o7eU~^n&IJy](' oǷiV}d*LkG}4y>n[էqje=|t#~8-_p85A=3"v)߽.dHlvm8JQ Qy*x(NfȻUssoJ0$eTIGLj.ɚә e@oF}6u3REY*W.aC\Ŗq66j1[*䜎#W^r k5pocٍ TЮ{9EW[HSd:$SQ`X32d:I.9r4yK%=X|cnǘtHv ڜvBHTW@9‘)" Mj/ Śo;VșbGX GaXK}y4QWϵj@+:\*bOdkp)K/ sv"5[H[ }z}/9T}0aZL*&/T4qrld )J?t^E Օ1fu"Co7w[VS+?NƳ! PjZ Zo75f׸"c^fB3q(B=*@|2o8h.c_Pͷ]e^o ~8je*FNo~JEiYk)QyeKA3ψ{q kΠ6~s.'[$ aP~i>DڏPaLUXؼo8j S~8K#kzGx[lyT7l%0N>V/us#YI .M.}2Yhp-LBd3սxf;%V˲@h$Z(B)ܻDv@`'5ra.u?hd' Yn9a&V؀z5i.4ym:W4Z-_"*efi Ԟ\(p)`opRHwck6><,^zakeM౷:(9a6E f`+se%rizf:N:wr XCV5M;LKyz0yy/EȑeYUYn<| 1{v$~t[xϳf~/4?qnǽ#sXe?^ig^cD~9()ZskUW@oj2E32cIVr~hP8gKn;:#`Ā:\hn}s =Q!CVK! B#/܆v薬]z{Ð4a(rT<Iy/ANl͂u VObwQ+. ZVA  wч1P G͊g;[n0ǡfަCT٣PiZ}Ufx=/pWjCGpZo[0n5o31֧3o+ $\_yluN}&xxNͩlӋEy]6+!ZJf.p(IJaL0!-;:o{Ϟ&KlķhhLz`^8R_ Ue L~0Gw?̿t~2thHypӄ1,52AV\pyE"uocx|\K>~Ml)-ho\MBɡƱCBV]wzl>834E^ߩDC<ႆ6g~f-ǂ5W14(^*$ାVc ̦VA~ -PEh`G+۠ *+^#t6ce'tTPMf-3w~֩5X_) a5s[*)t梧>3ji{Ɗ"& V#P hEc{ M*nȜ_=,lBP1vCdc ߮6aTV^WLiqAKH" E]wqXq? R`Jf,:@$_{Ѯ] N2+' >kX?Apꨚ~`@Vi[+*w̅`[Cpw{|E#淊3I!dƦvo{w)j_]L)(L1fWIUu׌dK"Rs[9 )Uyj%e^ظHkU˚;^ T_miv$18BsҼ.]};AyoqIŅĉKe!_ ]j&|nWi+YF!$L竁sV{2+}31 U`c@[/n,W?yh[Ԟl;6= : ':+6xA!{ ޾TXlꊗ:rt|\ Mu1*ȰSq)]'.)d)u4$J%/;'["/5KzY͉xZzlV(DLbߑlnF{}[Fo\E 8%+A?WД>[yAD04ToggxE;!ԁ֖iB2GyeD:$pH7_\*!ta\Cl,71 SBl7Š4jd~QOdXb͗7遗+<mevT^'lbEt q[z_&9!>SpJ=3!OKj'9-)X~ ͘#ix9ΐNP_|HK [ 5e̸]0ha hb bEbnBc0|B~U>BǥfRnoVS PFp +(q\k^/|B%P<42Z-8?:bq@xJZ'DF<CAe qj[#l̗pkZӚ.px䒧jŏ? # e`q16$%mu_Q݄7Mn0җy?9Xmjr;]xU[nvVOX _sV?YYxh~Љ#CVt8 BV5-m5۟RLwȩScͧ/*mL=j:LG~=@,&Tџ *GP(=Y4عlU:"o;{e٪89|&X!#9Q9fƖӠT=XԲ|%<ۛcF]N^rCUT$&ށ)߯)\KC} DVۨj-߲t kbd+.#idk;eMGbf;þp\Nӹd ^ &J]/j[yU(x$Z՟A;'mAլtZT{|Y!0 8q]'(^R5_9OLX̭'WGbVғM?e+Y!/eu7ziZs;[ec٠\/45C1 _(yR6TSٱ~ gp1lӊXy_;"!(6`YA@Fd(F\\s ج@&gS⬌##3њS$Y%7R.chȤ_/Pu%/OLVGY#FV52ٌ /)olf\@ ]Ho1߆>uuHS_ ;'ʰ@"4Ձޏ:c2)aj\Q@ėqKg*),)-qyJE ;L=EP/lab2h!OxӵZ"H_!:75 ${%Dz5w:42625#'_p2*n^rIP?ƑLa?ΌEX'KW,??B@g1xQ6 {,_\VIj88e&2!;Ozi&h \=*/Q(%<)*v-b+rct{VɎ= U'R#N:(c>r*ye`1a~"(pĺ(1x!~$.թ0QvX'5M<!DKqtl>h![GL{W(l ʌyw(/9/(w/Odڊq6G hGXOv4QݺXQ]pye:)ODJ{Tb'eYǒфM ETˤQB9j!#EDuwhӊmxbKL]x"Q5ֻ` WW5*>ވi ChiÄ%<ȼJGSs1ç{8weςA=`@’L3%+RynT/!ssLד("IcYi8"[W2D^Iyڻ18L+'. I[rAqGg16Ha6NE9(Qol'>lkf,d]IՀ &](vQ#䶦P/%5﷍S2 FOX-EuuqAs0>)=n_O_7 .] m<(Qd.n[PngĠt&!or r.(-"lF4YE` 8ZA!7o`t"i8? =p)aA50zms}|3ܨ^eZ2qù8m 6XY_(]c"3'턭&9cZ3*j4N]VUG`\FUwCGO9sQ! &"/R'W!(~G?qEYVQ!6[#rmEː{hrch9iXBd3C_íR 'Q2{Q]yLu+,4# Obh \p=IDxgyJ7P62fҮjs jWCM~d˻g,{~_@c39\r \QKm:lBX:}Kй"GC?o-Օ:5ČI[}Mԧl'{,iGj<~`2Wҭ^s!5cÆ<;.r~cgq*2c,]>VxcI 7}O]4%t%ukWZbaW¸f0 ioMKf备(<B;R(6j$݁ljF[Ԛ Ѽ NQЦh [j垴|O4*Q͙Y X6! =6$ʎlFQPF5,W(.`.u% AZ㴧4jA3g =(߂`6^zO'P cIҚB`eP̊VUi;=x2F`ȽRVMByQ@d Lٿ`# WN=bRtM_uM/lО_P yNҮ]9rDߋ{h3(4wG|ij^0U$!>^t,Ӊ0wPmyeFЛŊ=;sKH°l.?mB8r{6<ɁjC@i( 㼿'J>>[ݞ);i ik3R?hR|'  Bi!4I旡-F&Σ_#  _ ,a BLXל `j X-BŒOvaY<' ,ƉbWML]vt tX/2qbY` /<$n=,j迷$_0wG#t+(K+#H ! 76$ujj9#(x;;*}% i|(vp+tk6eﵐWD{H d MrnlϪC8Sm\"zxETÃZ}QOX{/`v4&<QƓl[Eb^IGY/GG7Ml G'R~5,p_%t*m f]jա`R7K1n. r"`o\éL4)JoB@W3V`+pǴU[D%=315^,Wa;8Y(z9PkKvUj죰yw;./Qdm~;sm=l :,+yE:΂ AژL53FַW4T] |rK:Jn<ɑÇ}'סi߷2O}\x?h G} ë&Go<4;qkA󰘢S*^V'9_| TQ&1<$İN~QUl/wEe^3oܮsV'$PJgҴ^⯴#YEx'"\܌y_ Z" $Ary^M_ )h)?c!`H݆9 >%2[ 6q\o2ZyL=٭t}ڠJI?׉_M4GI:[=!c*p>]];SNS&$XøDlcE* 2qOh|m:kj=cW! Akqr4\S d@li;QgXQBG^r cݪb51v0m"!JL"( WnKtWoAd\},̌ TtwUB1"23 -yTjvG*kgYZ