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  kOp<y3l`ք&,}R+Q:i,*j0FZ=B>dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:;R8cq.2}~KkCfA2&A<h!̓#nZCC׀kYf֟~""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-iZ!Ls@fGe;`<pR\ծ>y3l`ք&,}R+Q:i,*j0FZ=B>dK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:;R8cq.2}~KkCfA2&A<h!̓#nZCC׀kYf֟~""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۩Џ   P Oa' lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! i]D?7 {?:fH\[YdwÂ+D\8[ɛ /sU1q{ c/eݮj:tKI b+ ;QsCn2͉l:ɏh]`z=,WGLWV$zi&[=g[c=X $co$Fhr^>$=>*cPy1/տ z u$F4*}fȷY^p JXocSth%`)$7^YfNaCV'/a1 aјT:b)Pu.QT6y=%ac^'WRǖ\c}cϥ׷ 1Y6mM}(),G?%S)6gYZ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! :5g]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW:xZgգdń\tB^^u[iB\;DVw ][b[35$VNwDxZOTrUܩH3%ncPMķ6i}囆ϝc6#ߔ& xp jO f1Y3f}*p0Src hdz%ּզĆNoB^4M[%YC$Ʋ/5VrSI^U`oVy7OgbO^"A] v}v~G<\Ŕp1Y?9{ <-G#O8R5ڶNV 7slnmDQD l 1Oc__K!|wS4t#W{LJЖLO Q+%qjU(d,ozQ̛2- "?f@ ykŭd3OO }>][()PQ3M- 4Lا^, V%6u斬g'NnI%F)W௔tg3g5WY H̾6@!ඈGj~mE۞b6Ag/Xs,65TCwSQ1cqJ[- Wx< `{vGSWlj~ޒY|ECOa!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!  P]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 0I;UiQ4ˋfj|W"8nMZRÿ*8s _(ig 2IM<f L"v*-#_n:gwƒښr}_KI [,aרi¼ѽ'Tѝ+=nӆc[Z{/9Cjfn1  ͧ1U3Jµit"vU7?:R <)i:J6%LUN>2*ױ΃*_-h;rۜ#+V!3(ڴ| V,=M:T'xB62PpP^o%ٴ' q2XLJ',{&\1W$aMge95ۡ s9_h: ÷GudRt$3ps7+tC`c &<)遼+L^$@ohFs 92mzѤ (ptMxߡ&^y]E`1PXN7RrLۚ.4SJ*@% xA"qCiK6OcË+ZBEAE)dv'tb3HĨ@Σ lzΛr0ki  *DFx |rM7Ô$ omkk_dtۡg+\yXr=0ǩ!4dQYa[!:O-r8}g_1OOuEM%Jfƍ]xlAk?QYv[Oz./X:[J)澠zۻr~)| } ߹r¥zG1%oeBw|l*+id?eۙ]BoW^m=L]e&Ũ(Q:`G4;rE$)-%7r-6J pkc+M?Eyz|8quGHluF0ϺN^!Lf-JeZWi0p" տPb L4ά<3ڊ0¿p!y",Wl{9yfA |V!HK`%i\d€- &ƔJٖ-lgK8N,vyfulgA΃vt(ntLT"Rk-*Lި\*  }0ϦR7D_t S˰V 4@|6}%N,*M e5e  /aS}փfH 8In0oniQO HQaߟXDD2/^_"݀9MS- ArJSU5C%Bz/~l!`V5 ~qN ʎ oN{+5Im:Z(۽lCÞ[,?T$4j2\C֡wMyg8./ipHcڶqh$9m,:W wP*[5F*(FIgY\򞊰8Βld(El6<>-/V|`(ה[ȴΈ9S+zJNLMq :Y3TKd~,vheKy4}E2#띆{uyv! tǗP p B1QFxd|vɍdc؄Ԭ?aOcZ๸xE=,3ؼ'CXbageVzT'jWR (hg&sĵADpsl/x?<-њ25#Vj}_HWÛ.ڻLl͸b w1ܱ`AY%_L$>x]fV!J$*ׇi^jXVQY#Y\ug B&KHrY815pوD屆)G$XǾYGAַ˙w2`7ڛ0ZS6ogk?ǕܐGJB#R)V5u( J;OdWPdkhqi-`\IQ7wvzZZdEt$kr\3K=0X3 K}3~T&ÙsS;a\Cyihl C i*܉?4@VSN~_r/ kY#Bb삀_^[C})-шϪ&*-J@*CwEA.UYmI8#@p|)/E]Zt;ok/̤҅QKaQS%A$gƖV@=h6h¿,0fcbyU #~m!eE7l` <B@yVCTE:Ϻe/̃{w3k ;oGa8ˎ6!&56HǩO\p(#ՃVwu. xnlؽ~WTY Q`+T96N՞w\䇾>};;bN*z0ތ]"Nj64YGxyxOku/rи=tmS\)t`%ѩI#ny<[ ‡>Ym#[$sw$ͧqR\i_+V* RyZʲ-/SA) ˆUBCQ+LϣQ.$׊D3r)"0}# -$VrN.HXΉ<_j8R4Z98GW!╱X,wU:4u`W7{f6~n7^?dЄn8E{g3YJOOdCHQ@# Ko'#' WfD%*:0+VD6Ge9K艄 ͓<Ky" |=-?^;f yFR;>:zJXHT))"]_$̀ȴ4MWplC+鶵vũ+t;5w#6x@qX$ľ칽l E녠+K#PΦrk֢(clAfI-)eCXqs|BXHr(Uؾ7(;NBEhJ[wQd!sn X(fqӚV;Kf_]s8g{-koEݶ|nAEl@Y9hBFfr,QpCepL?JBeR{?i2A+lE'(/0@ؑK@:*苟v4˖aE9.z0I}( l3$HxAǤ֍t]T[%P%L&+{260=EVb;0anXX ^LpRaveA娜\c=bG]WOv!a{MT-Z/tKձCb,t f`6uYpZ:lϗUgOMz_ۗ:ޫ yc<c쫓s -Vgj=LzvC'a=i*R!Tky+D[2-ʴ?k;lX-R&q7%~$QDZ+y"F?ƞm^gzz+pn>Ybe/rx\'[&|or9qY5ʫBj]JdFz/~ =~K(E蹸`&ҊU^ON;OE9}*Gak\zxC8LUC !uh) Oi@mA)€naAgkvNb9wǿJC]QNSܹX&t^+(0<瀞Y ,Ӧ ۟I]E, J~Xqt&v_e]E[sCcΌ 21 K*a)[Yt`6협l-ޚǓNwet,}F;P|7LW0/RIחBT-4\ r+nU c;ekRX=.3N_zx+7t>5ĈQIw?Wu@S ʳe9}XT1O\ es@ "߀NL"[#ơ@Õ4Ӌ+wsnc𴝗{keŒxm@5.dٸ?p\Gf!VONYQ_oz!fWc&$4%YDnyb*_g~l|RWV-= B";8u!dr.kD~lv{֨y lx3r"qK_`U 2G ӬoVl~e[xO 8k')akǿgsZ ^>FGahiP"}ǖ \U@c=]yjZM'"( :=6/0]4l+0WPAWaW5V Uc[Jh{ [hTD#pF|dig'*h C+55 u)f~/'4#ZwP<=Aliwm/`Pi:I|YޓEc7borOAv@)_5֒aC5E>hHTkIV|W6 >.nLpYxz>-*Xr]]jkT5q&aΈ\ %ƛW~mJbARɔrLH2a\!S.e%HޘL{ g@ dG.`]kV+TeEц2〥$0p 8xO+Bƚ<5_AkP3(I/џ.<fӪ(gңhma>T ةC|YΉ=^P.vAovSOSAIkPy;~F=Sٜ59Lcҵ{9TMK6uYRr^K\ ZP/#tߗf8!W^FM #Q\g,#j{Ar7?Ilr9/}xXsRM K奨2Չ4ͅI||3,Fp%D鑖KE5oR0]o6Uw )IWV&)ʆYp}-.GJCxZ w$TGNCMdW27V}8 8f{[nd gȶ) |.+B$i{էׁm?٪CFmZnj=4[ Ʌ",+&t{7V[UE:[ߋϕYu 5۟Q ,"`7[D :jkVZOh89oZfd/תj=1ʄ޲ot)D\EVi%rS܅zzW{KuiW[[&,Sʹ{N<BRǁj%ftP >ퟪEx:# @$ Z % |$ &T J?[k&L8Я#_P_)eߙɭ^X*}L $x=UR"FdW 7_a ,0)_.-L0!K@Wp~lJ١jr Jy+BGnP@rP5SׯLEgqWl0jSk||[nEM~c{qd7j;&o~FEПMCzQ~9Wm [g&:33 *0w(%eQR"|u G)4yMx5%73 t3&my,ZQuP 4Lܪuqw+lTh >nOXi%(ֆԅg*"!/rj;n#btgF% .c ,-ho;E-GRy26I<Z0tq'o%t:R_c*N,͓Fφ=.iPJ\"Dl&f h{<)h~{qQ?Vh}o裖xj \Lw @Hp2aD$+bK0_>=fά>jNC2:* SCaRj#ǃj D;'V;%tFdE@/m;[ьd/~Q/Q] GewG)Q^ػOƂ q~;!b9q^K L"Dqt1/"a"a,MUY`:]oh3׆nMDEΝUꨞe> "]ۏf_p_v,[f!P h@ږyAh'NOyzcr ^7Iu [%HuiŸTޣ-ǕoG 8d9(Va.iMZwyG@ QNV-IK>9.Y{9O|8U| t8'i. a}g&I)mɆ渨p)N7ay" oRa7dS+M-g|{x@$b3ʔs?f&߭KxvYャ_ 46D,#RA﫭Bd|awBHi?DI UcGί3jV~'0<{|R2xMqQf_cRb}yb9iS &jFbM,G_M]|jkvm:]ib.9q<_ Ë;xQfC!18)7u`z-z=:?c\0 o2'ܮ~72IXȎS-޺f@ EEK-6'o6]2 6K̦#hP[T;YXTIQ/m/q4!< gh)H. =׊φo$3!g.v,;+Ueq%\6ϵ`^m, ?:dfM6h#[)؛PmݨIp(&J6-*Y UOC^0iϙqXm0+#y{ a ᙕƪ6UA]ʸy^_ 6e ha0=u6&APt%ۗ+"@<8r L8: BDq]#rp=LWϷ90=31E>z օ)Cl+,pI8g]1òӔ.U.ȄK2~',զ*By= zHD'50:FH*BvX CNN fc܄}QGL$)Uo۬ubW 1 k?6O6)$d`T%!>s`0EEEd} FTI\Ǻyqqbz`ZtAQ,-c)*ϖMݚ+(Y,ekQ $R&h析k]>y s%0ݶ(a4'<[61'qlR{&nsX~xQٚ]qdLfa#YoH8@oS' ~&n!5Y,}Ǔ6ZJlVh@քxk<2͔2)~C|,H3]8ߐ/ yr<;wq7!՝"mrw|{# 7a˼S#OsHJ'D0Q cXD9} 8U]b*V'&r L?vȹ檌*{WCDI8yuV\n ,eT,Q_]?O%2웭7&a2:*$7Dwlt4Nѹ~3YSj擢8q%,f בۿ Y87)ETsidyױf]xo-RPn%Fy [A{_Hz6ӾPy3"3^b^2dYQ$jb-jl< KH0m?10=l|7KC58Pfu2lR t&'hm4r$jN%Hn ]&,t45 v)؊kcO_=DqV5R;t BQ 2T(Z-h>@cmTcW ԇM.dwh=tz&mP}b@?j>_G+YY`w&vCtӗB *+=L9u,5!k&XRV%c eQ[8U,yZ~R=կ m$ !x;> F_'ҤMAMI<,Dԁ} KB;&Fmn;̢OȑUA0b}c(Xݹ&lX'!dFbEU\a܉rfNd