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  oOpD{)J IaNhl+/VgsdK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:;+3H;)Gk 3_63+`K3?PgYZ$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-i̓Q/#te'zlV̥'=?3Do >{)J IaNhl+/VgsdK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:;+3H;)Gk 3_63+`K3?PgYZ$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۩Џ  P Oa' lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\[\ã?;eA{OyX ƶ ई'a&L4 >?Vct(1w1;7wK,v1u7a|C_!傔pdԤz ƽLh!O}Τjk'd+/|^".R!AW)qoهD"Fn?!4Q6eNEaYr4MC8 +pw, 0=iW[pDcB 'f!~Mq +gfv=*-{ {bԠ3~uDG rա@!yco&n͝c|%FRS\KCpogWlj_yRv̉0zaOlS߃,Z;cWgYZ Oa# tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! :5s]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:1;rn^2󥳬#5Yٜz!Ȭ_r[ +Rs#0Hh!sr$/#%{}(/hJҍϱ8nnQR |:n\V*7 ϓ*x./uHOo!'RyRZo\{*o Oݑw;d9uWr0s|/p&(kbRo/cm2OcfY !z瀹n5^}7e.e@Tor]#~g9 i#Iq]ɚ^4h"Z_zc1k'0lϽpK_8xCBaFǑdau>IC~&Q) 4 ez1 Ml|Dxy˩lFu(q__(.;XlW/ON}_D0μY =w!DhDXz ~cyr4̛0UB9U^X{e~׈ͺu0.ɄUe_q#cL~,0xT5$^௻VA$ɈîmYףr^3-am0F8DSG!i>9y2亩+ǥiǻх;Z/ Oa!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_id588rOa# 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF!  S]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 0fZ',tgvg=ިJ Q1२ff&xdIO]fo̅ t,ZJk%OUџmf=KC; >kn&LfYQoF7>ȟҁoҖPc@M~`Ū}S+Cf)C Y:3.j[s`sWdm\ZEKnbraacZ  ߁:,7|q)˷KI"+dY1F˼G3‹ͬdίIVs d\˺zgYnz WH'S >bHI/A5F YLL,JZ>'coAyK8ӷ>wv !bfP^uzhrы(Xi6%˽+K3- C[\rR*\2d6Kj`\RFT|=ǿ] Ct9hl@A]' 4^ [Tt f\C32x~?E~CQڰԠ!9d`k| #{@a8@~J7+GJ4Twny n9Ug-EȖr-,3FiݏD '(精Vۮ|X3 Uօ@71FHP<DzP>UU5U#bqm JMqS$iAeL*I(}zxgqݭ a~oK/a''͗<.?03iy,xuZ?p~ևi#I@~ 6?s&9zr!<8t@'˭69ʣ/|BdwbrC liJ_vD5]5VN}TdŸaEy$l\ޅչܲƩ@ګ*`yo Oj-ta`H8Wx -d11=a>a/(E1]YB~cw)jo8`?6f"V UjXIC]FT@[&-S"쏽8w~TX6C4zW9Y1GdUڵX24(]3[Z< $̡Y UCbea4v$bѽtPȍ~ IWE=^|K!S,i#Ut:׊w8PXL[wzߩJ#Cdpm-Y -AWQfV] @QUsjˎ=ŁUSOi{DĀarقfW%Gp7!@zq=w)>nmu6i l&;hG'r=SUH1)0@SVz֞1PmQ?o셾d>,"%Ys&m$h4^w'r&4?%S"%/..Ӎ\4u7>`Ъ-䪜ddE-1>U"Bf}l!,zX&3,j/(xW -~cc%.d.REƃ|gO0Ȉ88 JO,m&mXowb}zʁm ]Q%iԞVF""IKW!8|*I3l%qT6>"h^[d2҃ &P.~~ -\&^y3xA%RW<.<!ēQ4\(<5d͸M͆ I'YrjDW"z'L (?s>2%d@Q(E|պ :Iu|$U+ _i9/!-2[t@GNb Ů0>g/q*y.B؇%[aϞ&5H ኮ|f ӣ0|Tdp&F&}y~:|lŞT/ 2㗑ZWIB)Ym OVcGm:Q凚.JZ>UŪS)*Ȱ#WS}at@ à vĨ.1x}Oe&rZ]!`\VGfCQ~|-z90eer | `]5ꢾ| ڹgW4P ۳097-gߠ&Pxw1d?2`مЖ= Lzn>xC l[GL<ۍQU\c1&Dw 6 nd!'ɆiMVnRE}}Gf)+~*b?kOЀ0t|6oANf[sD4ZRAkPЛ0\ âFM64>62"".x D5#(hLAB84d6*[I%Eiٸ:}Dx3zc߆(M2xT4E.z)f<v$>֣@p;<8 7]Ly-S0ܓĞWs& 9*@iDY@pwĻ}h$‘3poZkETa&֮&5Vaw8ضM$u.?А:Izŗw3Wx3ppRH2}{n9f1id")9*uo3gߙb4Rzm0VjIYj~5Xkuֶ;vc7酎FTάO)T3"U]~dI35xjՄz2V9=S%6"G C8-h83txe._Y; ZמW笻$B ʸ /Tgv>yt/#],dt|~o[Y }Gʯ2;sBsERė GEj<0#"2R1^uwYZ߬w"P/ܫ>A& ޔٷ's扽ͱ/|9fU6^忻xUњo=τ[5`~y.U*,?'_Ľ9ec!BmŤ\ѵ+,hi"&X=6)S2ITb.t4o8 E38,'#t]2dVɢd{eM"5e3](ֹWFl4(bQDR׸ʊ2'4X;^cm?޻xJRLT}-a6bw.oT-7>AnX릻kj2W$=d3ڪz5˿w,Zٺ^nHÀHE֮"d|֬W3ƒ7t]PUYmCp=&˄f92jaVnI`X+%#X,pB[a#S3WZ :@¿dJ& ii߹%б9KsAp;~M-؄ fI(YΞ|01AmJX&($| leG\0DAUH rEKPy m8`?_iX7- ^@~/8 ,i~!} Q]a[ ҍ) ]73*UrAS[e:29 FB7$L tsb*mgU!J\ n>AljGm˚Cc$Z$_@B%{ClOg(l+D^ygYނ}y!7g7m o2u w*Lhm>{Dk V!j8 .D DF#}8pX:f`diF@NuE( 5s&FK@fDjF1_0sX˕YN7[VɈŧzɣCBS:~nIjմx)(ұ?/P6˦uI>&w*{Oro^^ۅM>r 3 ,ȣyjhR"%G59u&ʠxfӲ؀`A{oGWw݇Mi-CAcɈ=>:TnlՅ^BgEnIrv>no Ͳ%`]撪qM([Rɾ-=:g|AI^%uu'G u97DXLtl\-g盍0x\?? (oi,j#5FAsVC bZX(x:+RV z;v%X#m鸋G]ړ5FݞȕD۶ǧhk 3ֈxN9 /<[!_|,C4HvD%-^Ӏk݂tQ+I.76^K#DIlkh_kB eb}$ֻ'}ԟWvod1-m@$1:+|Xu WRTIp:ƻ(}_0 &o\u4&VVծ(^{}ISj l:zFkE%Hd#tJHJeјw((_+w nLf# *nY" H4J&l^EB%[1P`56 1e¼Ҡ& Sr^ 긞&%bP#M}5\'ʈj>Ӯe>?# 6z d4g;>&;EѰ[(m_و"}y(mF҇]:&g~ Fݻb_5YZZQS-N;eQ~+5,f`|9ɠ˚}Vvn5%φ tH#kAN>3EL *P4W>FÖ(/zvLi=qɄ!āJ~`۳lN5{/a++nQCFzyK_ھh%P2nm˵0] 8nMos\WoxXA:=hKu24W!auK)fSqzUǛj"8lS3eQVX]l~ӫ"*@5]o/qwV|R)Ø13$0 ~1XuПjV%%;Q(|fQ@:ܪo\m0|),uY^$YScZӸ\}=6{u[{@EqG`æRuĴ{=CzV-uy׃]?@lwn(S~PhS& 'զ7ɼ <.:n7J C#i GBݕ݇t­">QGt9x(C [D4z\= s'Ca'$B/$[pE9Q0%5MyowatA8r\ QEג4wի>n^W01u\zWIV%2Bϯz<_C1%S!2*,G21ݙ)*&پ/۸f7r2UǒfRc=U/+RaR F_7VRQr2d)3M܁ce~=1^BH2I"(8$]]6e̫EpxpwFeGOu֟} F}]>Gp2,溮+L9hIx0|!:S/VH*\Tß4Fث EW?&uJ3V eB S^=uR'q*:= z`,̖Q=$)1h|[[L} 7+a+<Q7O'G ^20xy P".hHqy-W8-5C " 啝CI ѫv69^J"@7dn'NKfJ'Ú4g~)(g2g݇O]Cס,vlXDdJ`z3 :JS%QXU{դj|Ać㨇*@7F T,c"3@9z`w  輵oBR^mm|$#0oc"s6āZ; Ett7#.1`"&ZGJIʇ}-2k`vCelW:c G.+ ;w GwTOKĄZҀG$θCxDM˻*#9V?% HsPu4s<\2I5~E%lYcx\J)kJ^We[ ЫķOLp#x! ΁J/I/8ݸO<`'< !Q,C j\f4|]stז=,^neYњn_><+"λAȼomP6`p#Eފߧ$6N!J_@窧۪9ST[7*sihƹLcK进0"P\/jlO ANHRPPav"u3dvtrּysrxUlR߲2 <^jװEzCC=XI1M^BSg)_3K/d5X֘u__yp vHDMJ&sY%_@NDφi7'$\qLh訃/@ΈZ<FwB^i&|z%>,<5hv*c6Xt\R jmZ?٬W ,e.ZIZ?0KFS 4RK涪7vS-K^3g7Cix̴n?2L;`YyPK(Jyp=S{ܻYϏ-+y1ن%AA >*CF "ZdZ1GY]NίBn&p-Z2ڵAM:6'D^ɭT$MF=Q $xL= 2}-F cv;xGpy4 ЧeM H*%,/Dih/UD t"-8e|"-!^) Yq46bBRÚ}~=T4VWwdϩ t>wF}iA! ژ`WqBɜ}ns`&ݪzf!#&aATvkNs.=6r g<2SDh}3LK ח)iK?[ёۣcv)(x{El"Gu=?$fg$ sEa6hU {PvxY[>\t e5ZQGe`() cn^t6 L$GBb 1c\Uf<1X6VY a9Կ6q'\T],;{TAw%`"r*ӛ`}RV-׌gK1 TbԦqtı><%C0UhzyPey]Sd_~Oovvs~Qo# /{…,/@?DeLRE, ucD74\Ǵ0`zTD8rC.dM^Tsbʌc*Y B0zYg1S @^mu1#3Y0ɴ{LX!XN/Ѧ9)avJd(֋nèשS3n_zg0\rĖ׻$G3BiI1瓘&-wժZ|8fH_IurԯFz-n\8E/$?9 ɛNjCȞq>u]xLKÒ]rUig_>aD:x;x促rRqX_sn'5Cc'q$ƼjTz; ^yOw#sQ t%Ԓc4e X~Nh h1-:.Yr53WnpEfaka3̢!`+RA0U>a 6DL7D H0`N̞x*ZT0,xmtd%`\v 2ediqг.5X@ i{=i`^B2i;6$A"+/h@X 3#@M^ YaXAv)^)9HI1}(Xv7>JDk=k,.S Vꔆ32­p|t3qP͹dQLe"xŗ-Yi,)oph1HժÌ#P6M%߾)9fcLvq6]C1tPT2KF5j. uuztlg/}WL 9]G4ձDQe# hS|]-<~Įy#tj1^k!Cw[=G6#RΘv\5NV*o r/{{l:L>\/Jjupa!7ACl(@x8pB US3 5+A-s^3B&&Ig$I; [gȹ gOc3S&>khߣb4w޷/Οt#UCY{ QcLv./2b]`_4q/FE&B%&o~H͉]vFówyY {ҾSET}Ԥ877(I)kS&KēFyH嘖>XÆ!D=?.Sh.,/qyqjbYUXO A}L4sZ8`;ĉWPPKg &H!&K1ϔx*C[繦}p`xq` r_ѱU5IlfR(BMIKVGTFM g3 ;L`!֋)>'*vr+U]a\*f|_}TXl7|2;)k|#*ըɹ >G1# U }JJ|0<@<*xPs_ro-ţ)b{Xp]*Q Nps6 Οgx~xwe^#vZ0@-% eE~AcH 8 5nnPe{K?"͊y:H~h֗+ՏV>u)Ѣo]jd/.Fߏ݃ NQ޶DkJcLC E FO DH4cq@H*$*QZ17n_8Hgphn>>*sނ?Mc]Ʋ a^F{fF4Q$ijDZ ,3afN =6 >zyi 4-{݊=Qyi}iu^)4xm~D8S m5y۠|t5Dpr cF`!zsjv.{|׫ߚLGN>ޕ4" hTgV޺?kDJqX%R-"O􆥒_c tNF=B,JXT.^Y<_H(+5(њ dMw>;WZ<`p3[lQ&%}Hۢ݇b_CvYq [.i& P"?eѹVQ[Hy+29FWu;4HxVl7 O`&GqgLw-OnAo%y t p5a/@;1 DH yGh'}_d Dv,i>߅'s;Nǒ]ȟ G1,=KlG*Hst&(u [8&ASJ~h-,_Ch|SIfVCURt+SP2-Q1VOzե7k>H5$4g3iS`e:7}s*mM|ղ?=1Lxݣ mV΃s pX򃩈˳q䔈Vje ]j9T/r2LNե^tK哞"PjBًU1fAFjsK~x|2E)L&Ae,?f~Ͻ 8PH KT/;N0/lvF,rc;^0;z^=cWOLy5ЃiŮM&H6 1 JkIb~ e,8ȬUToF\e#M#?:G_z[S^E ?(KR>qLԮF ٝMlsW<#s;A+4=DS9{fA̤)y SHv:w2g)LOy\܊*HPH`WHR'ׂh(I 52C !2Kl:R\?\[ᥫ&O61$@=TH)\YU4xT%xff$7gW'l nַG5\9r{+oyKE7&":;SuF=q؄hjHwiF D-v]S MU &}2nkgɿgYZ