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  +OpDLn-g7M|RΛM A?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)`Dzb!B + ˉjE*ˣT^c˹@! s.#UCΉϘCОdK&kgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:;< ZEbf40?9-(q>Ln-g7M|RΛM A?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\[.#%/Hh%֘PR(I DΣv>hyM?h:UE!ygq\чSȇQI` &&/I-/ЍG&|zauQ XNHԿ뇲 :/B8s[9iѲxV=kuPlp  PbSƚǮTHh<60kuudRZ%)N ^ǓiavϙAjG5gޕwSGѓyT77J:GG B5fO*x@wy Y43܋Et}Y\jq$-c<ް_<.lvoFbDG;jW`ߠaZN'BI?:e%,Ib4 &U#pQQ>k;cWgYZ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! :5h]ˠ)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 "Lp~6G/D%o ^"Xßc 6虤Om/Dz6iJQ;w刋nN]Yю59M1 W^A§#y~LpWg*w+E@]`ٺ7fTD wc|+.v3({UCjBڒ epWy<Έ4{dPcU̲"RBCΗwҀu'x4ېzf1:o@Ac3ҋ&˳; $s|['X'#paMX)ydnVa>ò2~I*Fg ^~SI_K)\֫s,Oo}3ULKjj@؁?Q1 e&|8U>5MtK%n aC_< H7=61` YXd(1Sn 7NSBsgtlQAS'!O^{}~i3Ƚ2!']|6m%D](gϘqBpaw4a0.ȹߘ.XE-ȳ=Od%)ɝY*g̫eH@K& e5D{b k6ס 8V2 jq+!)8LEHH (*1X0Noio?׫<0HF6 N+YASOa!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󣉫 0f+݈-e 'Pވu1]Z^y܌ZV7%D_kG9s)BrT2a,sFNɎU"//A,J Ӽ1ZeHf^Fυ/aǡG[MM_6qk2 VRj2pY-pdN˟E0v ~~r$GQB͵z1w8W 27 6'l|Lo&Z郂xRf2WXΨ_CAg&mD7%)܁ ˥SCyː^ l4TS'ӺE@" 749:| xiM]Y _V-Woeio%J'kb|&9I~s$A_>@솹) 6Ή[u{f9Ǥ`+.;6?AJ,gyMYdIbr4jKi`\ CB7okWbZ81\C/ s ch8Slੰ+hX>ry#X7הug6Vo5 21n!ԋ_i Πu-,+yaT_ᨉ'ħjq&(YhsNٯ54*E+ԫp>h=D -N$>G6)Tw,~!sS;-[N[/@$0ZNu[M"fthФb|kǔCO>!7 ,cO?8'Q]'?IB {MA8iOrs6\_Dx.&02WՈw<.oӆiKapc-L:!֑zcH6OX!ms< [ ]r.D}&nnU.&jNƕƣAO 6B{9(Qה.I?gYZ9BLλϙӂi-c%FhUvJc9+$ q[n铸?0gOgT~s0tH&4[u$Q PWKF1}Tl @=X > 0TH06hde΋B_"2/t@cteP" M"|t.NJBv"6owTO Ɨ%%jOb#0 J w3k%PLJɻx5뙨$6\n~a3>֦݀ n! w%8kE+SA7_q9!*}*#1F 7:!5uyW֬0ZBO)R'&^U)"(hgqrr@ΑV?QZet>RԝO1x2ôQ&/x"w;țbB6$$,_o_8gT4<8ڦ{+]V5W۾j\pB} Gw@i4oD(6z&* T3ֱW#l*GHk7 R ɻg忤vIU54HܷeE@ҭ{h>z 7}yXz-&q DPf!۶Iu{C&gIvs)+QoF KTWf vRzum+OJ涭fO;ȩH[dRT 4zGbgTO>d&NC }Dz8Gu{DixJI(˃֑>L*l[K Z54C,_i!  @f >r$&<& _x .-=`yߨC:CTZWOEV;QTpO v!=-)^#v Lg+v\(q'gc2fƿZX{]r+3CΧv\ymܩQADjF )0 _TKl^l ~MsXKdEM@9|E1 I0PGWc*ƈL%^I;$"ܧ_cVN.7x |kV=k̇3A >9̇/ w.6Z óz/mVǚqV640(Y3b$Q*hSDGr>Dqn9Pq¿j'`zqeުs0.Oܔ<l",O(늋?$@aY-|O#cdX~D-^Q؊; UR!56 B(yжW 2_5):,v]X5TaKP~-l^AĔXgl۸+7ëjf*& :L.6T$k>>'ѿ6A''8ҹ) {mxJB(cdWJW 74\&hVIy/'ve|6lI{dii<1,bc}U߾0GYSXĹlυ*Rb@YާmahYʯ~{1zP#,tj}@snS}sPr$b.r7@ H'fHn;TKP[E)IcDsTkZ)Vy* Sj(2IhĬpڔCBDksujA~UՒƏňi8DJ7H\o[DXe W+aGBlC=Cl A EX7}Ym69s[TBI>+yJ([9kq6sT=>gg 9"%:l[m|I~s2^l*M,rn#P])kgβ Z'06(7t Ӽ,%ssk`n bHۆ׀ aS@ (/7 ߏi8o]iW*fBѤIH'wL/UڈH 9Blr)& 䂔A8#]Kt84:QyC^7}xeZ4AM("ER.g:> i ,Kb T~Ë>8+o\7<҄@KQ~p9MlQ8;BÎmp^#0fDйihz62D.? g#澢c+ڒ߅ZPM)2OF;U7t5XE2 Ԟvτ&,KZhɄx 闉[}92f_y|T \5ա%r@c/$ ͘[[iϽ|8 R/FȰHpLy!DSfAܱn4mc?YsD9WۼdM=cCr;i2 %D*,Dzi4]xA; 8REa~G hJq^yLYvۍާ g>b#t".~}&\Tx$7= ĕ}&X #/؍;Xd'Nz W$S Q'Qqɗ‚ J;gjOflv/)q֍]gZۦ& 2 tΚŜ_O@2&g)?J_N/>Pּ;2R}!ږ9+kKi-d/қ~OPɍ b#4jb(!:@oYv`Gt"f.WD~ THh{%s^z ;-?;aqrpHSfӖ EK׉-$wtUC/45(0ËFDe_E #)׏_cv&e.3r)+GJjpHlog')@rvPFi44'v${װ+馎V q݂ TYĖz{Cի_]7w{GO謶wdtDA#eAl]'*KuSCFeŎW0ݭ[MH"R/:",pA,b¾[ ?L"l֊n$|SIƖ g޶fBMF#o%i謭VkyԿ62ޏF7lp|&'W'q5R>O [`Mrپ@Z“5iJgwQncT{AvƏ Zx8ӱ!8kděAQvv%/Y*_q;f%s2n`;yb5^^%J'Yp4_LPR ddXĤJ5B_fm21!aow!ķSR7S(.Լ G)),LB28m957ÃQ"PH /.?Zat)Sn$lG\7 =s)_]i-gx :ušjwUguH;?lt[I-fԩvۚbJ|\ Zw'5c!h^rߞ[ ۪HW)ݼBFfB$uQN75>t9G+%ѫ|]L԰I"ۍ8JJm_RTݳ|*;Y"ܪ rzpN֛q8C07¿lJ'fxRIO6H0oK!C֑Wv%OWΈ`& GIrb#$&8k[Zad/; "M֟m@TXtR $~DZQI  ND($*k μt܂b pSiw)b >sEgP8t[cbmS6"';QWHf-|΁k,ZSDFx ?`?7۲K5ֈ ^M hb# # V}X\hooؕ$c}~ "$(>Ir. 3`mRQH)J (ƩDie-/:gPDȹaVUc /-W9Ԣ3kivi [}eVڀ&'C'c}K1s/OWPW-~̉/?h"ZxS/ !L^@zwB(~^UM;-K0dл3*5LhlfQj[wEDMc2se6 ޲dJ#HIн*DaUC6_F@QjK.>%lo2@?Jx0g]4n41V t`w)fT. , ԝW{ ]ohakrCyXq3lL`jPZQCe @L 1ep_eOTjcV ,)4|wm.n"թ f JN#?h>o_ZRx4$ʼ"9 j}QX0[a^|;v#|ހg űb*[ZٝOdۿ`Jsא7x?WneJ<\dÚ؄oU29nbEYl=$j(kv݁1R~_+,n01]sN>cL5sG#fmyx-IǍɒAË{X){iMN?$irY:JT_+ !e$ؚO}b`D`{@ %eg%3i~#FC:A!λm߻Y* :6NE ްx'A٭]VU:Iü#l 8U%CО߅z!r$UxlL)t&/XTA n. {Ra)> sRPF0AK%V W_)SXx@3 >yEjI$:#`g8|޴M2-*yI`_<mA4N١% lP3DHfhnB78f <\iv*w Ȭ'XEĭ\Fȼ teTjPdT'+)m :[ۢpvn]HxKچe=bMY ;\),yS@UaU`it[AKWPGY/I+^1Jm+ @F|<@F+/&kڭOo0gA{ܸ?}WZY5 h݆wZyM'|3ސ%D F' yժ-@@~]kbB5F9BYƽ ؕt[ׯbӑ*(2E3xiD)Brۉyu7ꑣ9tqI2@(PFC3°l޶kg^zg #³ޓl a7'pۦ 2v =\Vܳ r# ̞_[WgVUX vj`mmQ85~i;:U;k`k?W," F8}~5u Mo' .|Җ"J8OĹ">){MSVOB"zw,`͋l- kf\Io"f"l[KKBP$Օ`P?oJbo5Z΅,S=scrլ:COXY'QdoY3qy߂?X8&M]ŒbnyyDZb?{ԶlA}xjs H#ZJQ/9l(3uV +y%#7~]tUahd(}='&1GĊpѽWYS"Y=ޠڎk`*>&V79 \4oˑ~SIN#ndzT2OC18IvLܗpk?v?Ʌfv{QtS1?yLA?c(?/J/14ObTޕ3laz2-/C;{rU{4缷ӃxjP\B݀SM\$Z-QW놡Se-]_6JY[P5N$p8ֵ 'iLHPT3HH(yw@-Z)_rިJ?ID5,8fN{6TVkf7/<Rk5]5;&W}me?D=a'r?HXOOƧPv|fd6)d*{ eEIL-V xK >L~!U@p2|,#8潩6O\@A!TSp]7FY<τ֩I2jUpNv\,_Uք#Mʽϧq9˵zm$[`\& tUBs c\ޙR0A%h{=!3n6!JïhinB{J9a3ʷ>" ~֩ Vw,LGv?a"WZğ Խ/( ;1lIN˞Ԡ^ Ts]&bKD><%o=db,%!$,#4^!z_ͅ(9M)m0w~fdBVq+ޙ~@~ad5r ]y߶7c9@e{Uz(CB u96YyxX aI'q ]bl>FU ]R}f5ޒRkzIIg9Ğr#̰Ũ,NOWv-EK>pqSNK }xnn:a٪j ,RߟM&\DU-V!"DB~?՛+ZUcVi/6`Enji1O3A!VJ8'٤\B!NJ%eH5s6q$+64lrM~V/a@!RkZ^iu T2NhkD%/w~k5'%+X7~V=<əTX~B BΡLri4񶌶 -m}|@vs=(W4QeG|Yk^BP$C³8 G: 2_=ˊmͫYHfjt{9Doh+TBx#F;^[IGI! &8`o] -3z~l1l<<װlꤹ 2d.Hg,Ӱٚ(_po% C{-e0Kh5eZ|7XڬS8j±,r*}*mi4?]u4gr|aҵpEK(X7Bv|l am=XmL]=\1߳ŁYuKoij.Te;l):G9|$ZBi>,Ed خtL& , \KV2rk 5klct^X)H;|er pڞd֔#8UsZp&1zۖRЎk%jo e6s`fm%$4> ܁s(uekok`BnaMkaַHWmOvmO@PcLNZ$p+3OAH-Eo `%fT)K\Q!p}Wz ]"ڒo:ѦiN0pA^k Vūzk^ʷYyX,:clobBv hҳZB@(/Rk=Ի.i`Fi_A?(o 0JP=͋?j~H`HALʄxkֵoTGcYpТǗ-aH12MXFAT%u#Xts9֬b%A~z@)*q?WtJjvZ_TcXvR;ngr guR[0ϱifd۬P iJ8큚U΄yگk@dޡ*o&c/&'> $*G yӾσZ.O-;ᆍşv0r7\tNjRW܃qXcgP:N %L]X!羙 PHw~]j2+攓:O_lr!LRԺ\…瘉1ҫ_Ѳ87 evɏO+*>95:|r? 2Sw4RE4RRSoK{r\bsfNGs%װbgP8M^5RnʆNa7K;Fl=WqQU4slc_gPc,#sXú,} i8\mQ›)@@Kj =v\'lERj;7ĝ ! 0GqY`iiFݣBw@dlrF37õsY { Hd[kaܽ 5~ZY<`㠁K@FU $&rfi7{0ws\I.Z2z2p9[J6<38ـmC[0IGC?Faդ%R-W;'4w67++ aP +BF}z VxF]/L#MNSM+#[}o21\ꖀ)a5`1B0 ҏχ'x(#Ɏ]9޶%,L5 +taE$]65g7#șn^F}N@~D֩QzW0JgQ\kVgCAi[ֳ7}k0WXT|)g)MMTd4@(gAWM\#D#(䆕": t+pD(gO$Fy'zǩumIELڢVJt=ypdOeP#P50ܞhl.dhfr\఑y1RR8$.Ķ:%&6 yļی){^Ta{=LBk$JĴqbvSY_ l.gYсB'M9Њ;nQ "ޔЎ*Ddr-t3ĉ{͉0+S*T_6_k2kT8$Ϟ5hD?0\M%OoMŔp:mlL|$L̐j޺y]މg@\ #I|Gڵ=H„EA&MstO[ʽ/)nH2 v=BC!&'3K{y2tǎH}â%d#Z0O X٠p<Y_-2/:1ӯ2 k~Db=EQk9xgYZ