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  OpD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.751cpu=3.762gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pD 0"8 EyQg2 MɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.825cpu=1.633gc=0.000qܠ9Fw_,}YZ7zXZִF! ]ŗXi%HeBg8 ʭMO' ; ͖bSrq-(dLX=Q"8So@pccAxT[b1ѳ'\WTqʳV%LYyZnZ)h?TҫϊqBZCs^̉]=a 7E*2?VDLܓÀd. A'oCh/CA-Lm9Z^F%pBKP׹0aW:ZGz~ϙa 8"[gk{ˢ@iH'Zm)e1t}ڧ.K2 2Ј-TȰ=c(&W)j ΢TESyCUoG ܎~6~Fx\jY; ={xh ^" .iZ86)V0gYZ3d39bee0b7284a57321bc350ce78412975d8e3d2ca6408f7f99b4454016625ba43704f73bde79438 39488e311972b8a2a05f1aa29af5276c9877ef8a b59ff45d0bcb71d300f15c1eaddd45d7f6157789 b80c7ddbf33278ec64cd96474001af72fd5e2a5b 83a943120401e4c002ae55536622ff34d9cca35f $O HOL-Nonstandard_Analysis-Examples 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-f!P-RֽΞjLa0~kZO3 슶HbC[m8'ZZ.bS*gYZ(Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%::ɟ xo8]eLwo8.Os@l}O4? d&M%lU&b^?Xw}~]gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis   h 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/filesaOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id\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   kՖV,͘z>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. 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-f!P-RֽΞjLa0~kZO3 슶HbC[m8'ZZ.bS*gYZ(Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%::ɟ xo8]eLwo8.Os@l}O4? d&M%lU&b^?Xw}~]gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal WW Oa) tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 䕻=]N}T':=Q߲mZwb3KzdZ4ƅKF*TOlp+C Ģ@ፐ$.zgD'vq\!>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۩Џ c  cP Oa' lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\ZTiE.) M[t:GG Nq1VKGwbnbYf}tSh5f n³"V=hZ,o8|pֈ"diK|/ngg3 u%ū/v[u!ޥLnуJZ]L2d;MvI*Qr׊BzQpOJsߒK8AJy"![- n?}EKq++A!-go;vYW\7P 9cΌK[vQ+ң`2&\6M)6nETRѧ,<*¾Up$;j}ص2N_f8ogް'HõZg-CJv-mzDpZtЇgYZK Oa# dHOL-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:tv;\BP+w#R/.WUΉ%A9oҔ 6+nxͷ_=wZO4#R(~M.u 'Y-~[O )@ kRIqH?;]SM+I45Aev/mNη.NzсQ3@DvSMNā=Ĵ҆pGt5cgŁ7<pce4_phoHoY\NG<#XӤrr`Q ^Pkh7IѤ }`vf”A,R39B͙QȤnSg*- E_\et!{MYfkxA&g3kRF93C~eXU5z39&R )?&fiؒ9r$<RtKU!CaɀkEj/iX!fs 5G$ʌtQ]-o~:UCp]GO\i8Iw({Rz6c]Fxa;h,ѕw (¦Mj_X:=Y\QR ˏ6!yAJ Q>ȵ|8_z>^dzS#Qw;p.C~`Tp$,GAmMt=f2 8}e e/GqI[k/_7k wh%O);fb&!{FTHgߞB Eu}JA~p^o1PXȴDLhyHwoDSx;zNB|q*çTy9AqlkIRphϹB8W{L2W@-%M4<zŋ_7^wD+i~1Oa!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!  O]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 Kc~ $Se/dCT/⥊ȑ3n}=!z/B>An9YԤ&yka*(yLQHRt'O0pnf͍}fhBIO̸XEW/ Nĸ)ݢP܅4:_W}2WRnYڗGmA^G=!\[ ?\hK_ܙh+)ùV binv B22Op=GNGzcrе;,F/օAPu%-ʅt^w|C%xW p|5EkN*Y c@03Rp <]QOW t#50.hOkxA%_x%gK([$_{`/Cb"b8=6ZcN9Q!-:5DKYEF74 HH}$H!_3;ɴi{&:P5[s33 TR<[iQm8z) sFycBBkOhEc+<.>5ZCȡr_B;C%힂TY.I?gYZHO)3wt <|CqybL [lɒǯ9-(_1\&~~Y+zC3P$K~^ɧCpm:69,$sI,A:Ҫ+C\>"Yl{)NĭXn ca }Ad1SŠץ0dAb͛e,kDѺ"y:ԕjjIږH@|"R~N=p$AuXa2#s3kU-"q ;0eBb zUz1F(:<~[z'0,^n:}/W0r_}b,[kp >UwWz+閝\MF ;^yoV.L~Yt)1_KSouԄ$S2za,jTEӳQ=P9U{[S8' x';\(`bRw)>޵c-ED ޒW8uI掸LN |iL6e*n͠wScE ]n3qg֤lNV0wYJݨhx4Q4M%aiѳ$KUJH;So"WteۚN^8HYr%buȺ+^n4Zk0]d K+HZI_c1f! mTpIQ-1JRuv*Yǯ&iTjbV\\K#ѲÊ )cC8;T{G6ݭ*M?oIС/| v2d,4[45>{ <eN1Ib|S`17st= M؇/6x5-uZH{9 $ (`MC;_Bڬ;Bp7 @І(gR&ҟ>h{Hb-5W**:mf/3ZQs,Cv(ؾND6<$2Ӕz$ƅ"peV% j36į2lj5^8y/8 I 12gwv;}/o|x84[AQ٩DҵP6KVBhÈŅR"Xʟ_kYdyz[[7N%s~uGpz J- 9Y,0G;xg ngP1}'$2n,c7%,%Q_L1QVhՀape8Ahl(nE}o/"$Ĩk /)%^\*}) Փj!.}IwC'/,C`ŠE}|xqʫa`Ba$M6i`+ [5kGF1c@+k7k Mw{6uOb/y :>ewan84*}@ aim&SdڟES 8w()wA{r5DG[C q+il Y6ߤ  !k Q&T |:XvyToziR@WpOʣ:$W$rhr|>4p- 뀙/$YLM$Z)40zUucȈ ٘c5kfj2dz,fG_r*%][/r$Aհ`y0m#RҪmIHlcB0˦Sd/JJB_:ae|S#@0@:}d. # 1 nNtQV[uYGD$Ԉļ^5 YP(Ϡ֞a3"={;7{jۼXTS6j 11>| *į )3I*@֒Hr+3L gm9E7)2&2w- x RzC}X1zy`P_>>!UL*GFa[Bj& 8%ÕZWIol6>Lu\o1kAs6mxi *HN>sH ~jSӵ#HJv /m91f%$J9Ti*C! P7uTfvCjgiW#ȩEJ~HX9In}h#!vb oa9^/Ai68q'6 98Lو,co&WdT]+, u!Lhj٫R ܆%9h rqEh3)yԩH9FĬviBMcȘ*ⵃ/I(!r/'4_Dw*1.pJKLI맻icݓ\ 5$ YlÓE"dck_X[k i]r?>%b/m[i cK]àqtzWW\<˅W#=uB-Zl(g!dԯQ95P)钵F:5xD`~wu F`m"ci1ߋZ+Y k@^cM::\] ЊTϹ#Nr[Ym_SS>7<)]"_|?D؛9's$3L5H~oI0Eސ_,C"ni!m_A2(t:|RW3F,Z37ވnWexR*?' SP; ƲCޮ 2)T}]mE ;tHqil)d%1*YRSxcUq)0"7@4e& D$pCk]έoFTd.n6؏K`EӨ}iqsq#I?"[3*{AdcԚ<SO_"!-wA2݅U6PFƛMILhMB 6:"j?KuO2(O~u{P{NIw~|d5ulQuC V"Egc[gR ̄pt0M;rT3@dvW߳tww4_}}u*- 7_tuRř*^29gDl^[NEL4L̋jb^lWH-X'j ͠& }[v|4Dڪk\Qׄ]Qr{`lLl|<1&gu1HNAfNhg4]Rgۊ`Y+&W̧2ݦ Ks yti$Anwu>NEA= 6⣉r9JY4[<_:dc J_f,]#rQ;Fj!=E˪oyM7|a0pM-iCP4/NH c r7s*?v1te([ld:qؤ8#߫Hrؗ=&>L-  /2+`Q~|Y \7D_u)';nr,W5Ixx1'NӕnPMwRGaQNҶf )1pojW*:՟ F (W`m\U F[HHv[颧ZmM=y>N/ ҂ C&Ir@&X?7!-ޱ,u?_~kNaѓx*WDG b@u CVDqvzfOO38"rZW>OXË1'%{  GS;$yOaG/ eg@omY~w":T(@5wOQ(cU6 sX^|F/eNU,N=foěM[%˿=3zLTPs=zEbcQ8C}_1l y^lGkL.~/{SH(D0"/iVUeLv탪78 KayI{,sC4N.s*ou/q^5*}2,_VvFƧʑvK<0Wh%gt[T%{wRpDjBE F uAS#v]jy!\%.r<vBi3M~ZfP fD [GY]F~Oalޢ,fkݲGؼG4B 2Nk ŻzD& ;QIdɓg6 Q= /zaȊ%н3a0Z؊;hGwwchw-hp kDOJ49f0$dĐPE)0XcM&52gM|Nzъ =Xܩ6 I5HEW9c|.SB9zKr=TlT ٹYP6 ]x+7X{]I@IB̵0 5ꉾ xZX8H9yRGV)f# àM I O&ãՆ#~#{753,kڧ[CV'f%s e-?j&UОhnً{iu躐$ QX#Mm-5#QA.7&n84ܵ_[MIs.z x3;T~ =.ށǼ!o| TYmۤ28̪Tl ~;$3my^CZS J FKR%}*Uʽ;=&`kFI r,uNm%x=U2 ۟Ʒ={+ ޣ#q.X\+xq%u ?͸dzȖ]E/d,\hMg3=WeMR wEA ~JJ"6@)ȥTFѻY Knk9.>%[#5R4򏗮=|4CThGTQUȋa[0?ņN˿qiqZVmxCh5]HUUHށ8^Aؾ28b;}qEm=AA+9w]g 7{ӝ@'laƔUca/TcGFͪo'{&~d?M}:c@& >E]0H*zbإR&~HY`MyNѮ+1-ܑpRJ\2U$G  ZNBlr#kHDF;Nf˞|t9ߵN]- \\f?r,%(oiv u(3n:Ǘ%H, eyntVd`!O(N/'gQPJZK#W1U$X!Hc@#Kw ۴Tj=N ɠI\@,&3=nnyY4ݚ"]Q+o)ɠZo}ُjf7P2[fB&gM__ O:d) k.aBM}q[{(% j[Kc6¸\sx*!Z+ח9(6_G_yV\  t ƼLWt!!=lT-W1Y Wȸ9N] C5X9R'>ͩBiZI`|MfgzhXB!gאּ{kB1(۴p@Oh}q?V/RӁGKjydTHb}bGvj,׍l^Q_ Rb8`/ -yjr5Z1˖61m};cV鴟3⽞|l{yI3\J$﮼aS5T;Mm_(c-t1"^یe.:2Sna5Ywpv훇NzKޡܥKp##W! g`ft\L3v's` k]WA᧛-Ha.i{!Ҝ #&s\鐝xfvWlcky]Ԥg x`x?+,Zϖ@unǮrJ4&6tՑ\1yc9sO1ut 1;H跺|N=`ԣqƚi dSMUAҪ$4. Bh_ Qgo |D7WOvJNHYöގ{>*\{ɣfZ3%6ǭX>\DŽMgJbk  }[z!o`I ؙ2U-m0gj<6@yc:e!_u*swhrp ^́u$w~MT0gy<¤*+"0p<v*KRc*B dۧ2yYwW?c 4嶛hd}72qEݐ>4F&! eOcI]"@'Vu>%hl<-Xh~-]<fcoG0KM\%OKO¥9W Hyz/)Kb`I X|vo+ϓܤ67̓-KˑWqe# QXHф䏐`IC Kuhĝ Zx+16%fx2"ڪ \06T&$uwf'6+mWLq%L?@I~P)^pȭ7-Zm2v5nb󡥾{4'Yg>7B3U=)*ΌssM' "yZY ]P )ͪ!. GFSƬ97eU% wyVV9(F1aIeQ'Pť@a ^M~c IVYK#W}_:5b!x痚m,l\Kqh+P%+('M"e}L Wr"KxFa 3{MZu+u{4=ٗ8P݊XX"1D2 $UO+j%&Ʀ _G8=: fJKM:Z,wF[ 6Y텁̏8mPỖ#<P"0a(} 7rs)ٶj5pUYEzöfr 5 GSǺ=#r{{%aTUr9 [Sw|Αq?xa ;.t:8 W^gcL?(Z[[Dac(!h\!߸.b?GUNy1Ųz?gATqLAY[X:~Þ秝(S#{$oWBIpQk$T?no'QZQca28WDL'*j#;  Ϝ7򼀱59iGEzxEd(8*!ZPi5^B˜FzM(u6Hiby ?r[BM*gF7MSYJe!1Q'Z'PtϷ~VJzEK2C-a$]z-KOJrgI\sxj =q2q0i vҮ̧-ՈE&¡/'> qZkAs~F1Mv{{Yrś(=l1w <f8q1a-PF v}8e'$5Jphr1ǻĘakϙRXf CDsOԺL8NJdܓhdn\EckG,E@%)`4A+ZJB!թMG.6v?iOGe[AwW.BdGIz?Crذ{*s-9գ=t;;9~Q)k/^ALS|63;pmұAD+2-L:\ަ&Fg|LQW(;v 8 n4YX=T ʷJز?W}IۼLwgPweέpL瀟zAXj<3;gH,?Z{М5xDU^ZLaG!gVAtw$9.e#N +Py%u{ bNj}J&PdɊUM^"#OO.sG ̠K "v"9o2 g #Ѝ٬ިݘ3!V3%>t&bZ?z^G TwF?[S9Hy<4Vh*2 ˚L #9 0QA7 ??jJ6},h1۪ǧ .P:[O! ꚜ8o] )՜MUا<ȫ7&@AK\AH;@[ Й ]DQk^$r 5BšxiE !~Lt`pM8C{t CO!>Nh$HԪ w U .ZjWl's'3Pa+V]zjԣT^OWOo.3P#'k{->gYZ