SQLite format 3@  .S`  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  LOp<@yA~/R., ֜DJ]нr\F<Dz߷o>  ,,] {;0,i噝m޹vⰦ^[D,J<+:gST7hZI>R_I1Ԉ˼"*?w4&:6`R*az} _]Q/.Iݎ3.VWN/,m $>:o&n]S3ͱCO/ftmXH08+Ku0Lv|<ݶ)-arn-6c?;ieȑU quQ1N:nSX;lȿ}݈ ~ FO #5`-AQjh? 37L>yJOviԶW)~b:GgYZ88e9ba1a178509c13c463832a03740c9eb11077525053daef14bdf81b40a55488fbd8aed7b8017ad 2c6045dd5185bb7b47ef2de7fbe1577fe4833350 03aa0939e8a48a55bf99a31f54ae46cb6b5be497 2b27d391e9a4a55b0ac69418686a3dae9ae0c2d3 a9dc82f86d68114f93f924feb6d1e6fa5edcbe395ee8c3c1-fabd-40e0-9005-0d84522ff70b $O HOL-Nonstandard_Analysis-Examples  {eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpM./}W䰦Or V/i pbiI}q1prn=G5|':%nYY$)IGrI#*G Nu&SbJnXtBH}muJLԀPCtRrz8T|, 2N;"QX_}rL&n4@b WꏛjX(@%ʼn_H q:d~ҝ]}ߴXf!_l{LݺK s --lm7.LMܩ(1,c|~/2dzA"ܹ5BM\=;Y@DhxWN;wMk/ّA8Y#coC$L~Qħ >2\wϱ +@~`WK=-o $2!%(#S#w!?BR|hEq;YbKpkʖ@-UQ*&(Xol+Z*U&21\1}G@ `c.p74 =ư0\^c ! >55̜灯+'CW͝ hj(h#L#Ax]/kv*0%h kopd+ uDps7V; 0+ahYc9U]\i#,HX ]w_b-Mw)7׊\QD>ٝy/X[)k9 tye $E )HA{ʻ5@VZ硐B{7"?Vl<:P ɵvK Kfda8҅vU?5EgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpM})=Su#ҀVRʮy1 1eĮ-1 J@f EGafj)h!5Uu@Ǿb"5 ^w`-Lx}hxShXu)Դ~Uzн`4&?HycC͞oaQ]6mhrin0d.ppۉk*2-B VH)v;b  RՍC 9@/8%oi>{2 &\MD3j7d8%;cO@#ycg]p&M6 gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty`Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\P<7AkwJɘ̗| _,PnRVўX}Тm ۲!ܑmlygYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D 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/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   Ym"R ǔqF~5q}o}TREa r0\z ׁ뵡jNwzW^PXP(fnFa;gEd{~bЕm8 i1o/`j@\VK0Dzs߃ 1m^p/S L>gUMezځ>6= jVH7f;(S(jsN#z]2pI QZsE 0[,pAg5yO!>_W ґgTē4LāqtA}CTl y`2`y]'-MeorNt=Děx8c5N|w z9m򲵱{XEeū&,9.TRxl煒Š5A?ЭEhZ.s騑 f1;Y>\_G-; FgZ%&eJ/yuo/3#Үv7v}Lf\آT ?tag KYmMňy:mmW k0#~m/ٛRx~u6E!G4/>^5`v94Tc,(i^:uu2cMT.FgQhCV^Xm,@P"zu?sCս`(`@ [R?좐^ggAY6 ²E|0 GudX#Fe/R ܦ}",uZvmLjeޙJkL LWԂLeR<\|@&EV"gRx(yɵmg~0=C}k [GHEf`,NPliDLRNr A 7P]~^I"HDÄ},6VEv[oYy{.1{@r8W\\WM 2_jelT I0i9ZwfN-ٻ,s5? Uz0@r Z )?4sBu|'B0}HokkOoꚒ$`G@z+* E/ NnuR,wN-kC-z|W8#pmsvX_eh/Nj6O0di!%֤'T1̓>2? #)S2%=! Ս`$pwyt0 De &gN\>p,l1 ]f#(kKC\Y/S`Kg% njQguPvZ6?U-/Ҭ |>qxNZD$V ;Ur{ILLFB}@1h靂nyJ3h[%UfE3Sit)#U\_ݷ8}4Ie))q  ః0^`Y 3]YOpR [vi/*~Yx_g>cYܚ}e(-qǔq.qF6 ̩hfA"yMD>eѧɨMDʼp$kbZ}^|G y |KĻ]|hTWP(V&dafADMZfHhEeq#gqYseM웭\6_\"X6w=Z,q1bY[(~~VoY֦Jt₏Jl\ok 8 fdTvp%||&3V7Ka c>",5!x?UXKg.A ظI^Z]jH{|f U]eg!Vj5x|\Rjt,3A|zǴ/RoŶ|pDu}1ׯ_RvRkwX_a. f㭴;#Xvgqk;A70LkmU/dI58\p/xodWMa %-! aF.  dD{r$|Wj|n 6c$뗒쫚I!1z}/r%֨>P&:7'!7WS]1[&O M{aY O/TPGdB[o+V^vc= yO L#ͅ,[P9轵AR%CyaF:C:7wa8^9V>ҵoG|j6 0n1A+ܗ s]!A㓸a.Wyw[ekyUxc#(E8Q8 -Hx( 䑺; fy/|h}]i t20 ߭R VA9Cj,sϴ4nS4v etN.J7/@:yY$딧n!Y@">@2,>+6a7%d`is.:3 x!7HTٝ>.AGH&Dd\BR/2DLP\+SJ9'η jLox < 4TQJp(ڛ~N}GtgR`KJdဨcĒBIJ}:ICj#]8y䯭˵rw/|QYR$8Q&0h ^MfDxC,@*;`LdP%tp "k.OQF_@9h= 5D|:D'( ~X3b ~]@ '05 _f|Vv1lDO>_~,-m7ŰāOFh %_;Kr#x uS҅C(*M5u6zQ qu }<<2$RO\`.p15tBrlpTCw=oNV3kmi'b FڈԆ:“io-Bq3^8>l6Aȶ'Xx;+ y) L06qɛޙ~EEotIKǙTϤۓOX5d}-<}nUJa钔̦yiA} SW}V˟+H3zR 0{ɯ悡ιIQlSZ`~[tv #k+=S8b?=ѤODd+-!1#I-1cCtNbWoGZt/U-qRm]3V &7Q1MIԟxuk_ev; _j)o`"kv!Qs urTb*)W94q¹by [ӣmd $ixQ|'4[PYadpy<89O/?_{k! QA E4sBFM³?ȟZ&-Wi?_*|EpapUGQq0>oP!e3 d]i1{3<F$IGEաFc`>VPW.M5ۯZ[phK̙OzۓNF-?}Eu]Q?OaO>J22eUSD,>=\[&8?! O;](VH@_X+ 8Y2U}Ȋ3 -g>݀k=% .f۳w=- >]dRye%E#8f~6BZoy "~j6]$%ĪڟCLmSlœD֧yk:B>#Tu'e cO=&N͜'FOP. [g#d+7m?- kkt(=G,5fڶ kP+dvgߖyUYxW1*Z^(}u<;-a4 v_ZQϴ38#6VSj?'O;b{f@g R͚[#GB-\YN BTV.?(1{b1[e1O[4RtJ+?Y[ 1!zD=1N3,D{ ͢[J-ơH% ^ SΎ5v 0}4 d+qƋ v^B2Kc5?įg8h͕C Z͚Pѫ* ѢLt;8|X- llox\wj!QG%1|&x,*79#=B0z('E_S80H]6;,P8+ r,}NEBM1xO, @^: r5Њɯ`L *,.j |qX -kl,I]E L6}aex92$4A-uD.+.|ǀVZ[ Ǿ3s߹Hzr#.*K,(l}9QR߮ d؛M]K Ce7֯m\:\뜢5ϫ ?ΞН QSnZ[GS)P'{D֓,!}!XzWH34lLevi1Y8h*0ח\M3[6So8-/i.;&NJ-`c' E=1#)e+׆ ;f8}fմt驸h?y,K!ę9n,aPldѡF(!ԙ;*Vif@ 9tsE.IU^' ӽOU}ͳ~ D`3H( )u~v{0!Fcf\9u)zbw7!ץa.aS+wXXSj:i7IKeYɤ :UzThQEsx{}xL-(Q8̟,%VԺE+1悴}<ɳ#ދg:c;YmIduՑ 9|ɂ ah۾FAT(R D ЊOVzE^a5oCOW}͉T% K>\g˰ɇ;P}:iǖBm>6 wecb t@̿}k9ԖҘ^JJA }}Uauk-TwΣ,72k] wNm$w.:ut3UHT6c)?oG9qDcQ+;R< `MęؖN Kru/U<^O.S NPx^4)Xo<2$IԊ"a~&[_XC*ȇ"ģDPY|л,YvfS?\먞wOshT`p6iMġLMhbrv1/?zz}#v(4]åPӰN6ڻѶU \"nax~Y9H>ICE8sxn5R'HX#y#OJSW1 A!W?? (pDqxW\xP`mp}ot5 M $%Ul]gx=R׆8r*螅.vgtЂEv#^4s!$Q\lpeWhbM(eI_JJ x @WC.g–A&g Lһ7EDeϧOC HUI Te58kqD7<,n19`ɺ^ۏ's5xbN&8+ڥ*Հ8A&eb6Nk~*__[Mg!" Dqm97fb8U j_IzYj!I Ƽōusj=y*~ 8nR`2KX_J/e:~e-vY'(J5x89zo-ۊ(aMq^iG VvWaFvxjQ.GTv+a6Tr(^JbLU'1NASE}<)[rv+$6N5 &z<ꪶu˨"o*CCy2f̀CMg&nB8|aQ"zwzB% `Xhl{K "V%Co:HKֶ 5xJɧP kB;ȫkg\<bVPi;uCz}wD!пHy>1Li¤?o"DGx<Vm.F;ý2Nsf-`HO}ehZq:V>`k)i @8/ '6R >k<cT2~ZLc#[oHt,19ݙ%l6ҷ.S;AT&=1ˍ#hUSd@&ΰQز8;ER~ n'ơ;k1X !BlnfHSevw;6$@j<&q! WG"WD=fk~Wث1PS¾z0k4DQ3|Id[=36 r $~6y]>i~)Iao՚_(p3@qRG ShkOGIFDDl:dO)8.~l3-ɑLUVϨ\햘cWpA_:BRk-95[SĔ *M̽nrqk?RrLU hp(bСa̪2oǙbyiX{UtX \҃?BʹPi qg"|!_Sz\ˣc2zp5]ӭP%O^ >2W#d.0s꛽ꚹ ̨OzvrO~9]uVb51%mK\90`3q& d:(B%Eg,Tdd!\twʍ%AƚWv(ݹB05YyuHT}wN*#ZE , ]B~obh10N0 MݣKj G%+oN,&R4A ؉:Js)3W~cqVVVD,S6έҿ G<"(c~C/$!#kEMqh@?u02)Ìw*s"ͨ\"~Y]uMnߙO V!Mlf<6+6M^,8W`Y`4> Ѣ ;5̑W_큦kNv#U"aN?ٞMI$۸/Z:ҹrub3 qk@w߰ꁷ^w6U,)&XV§" uyOJzcjɑDDRW)UY&k.OpкЃX0+y?S ?6=XfI@\*}{^pR48.#hLKР(Ü]~(_t<(,ª-@arZ4B[/ ڮ2NHwHϋoIÁxv#:@ŐFOfؓ i PB 'i\9(%̔5`Lof)DǤ-4<Js}6XR+VX =Oz h,}"ਫtKA&K g~_X]3ZXQqmߞV. ̏Ɗl-՛u7q>a}4yb[#MuI*|K1d?HK\`jqbӃ@ͼ mxE[;K_i>}8f1%E)8Izc6N) 6o] ؓ_\圬=ѥNCM8 (!*[.-Ųƭ#ԉ@`%6 PzW[lg-"k=~փ/ ,D%@layLRl3.r@ؑO>in2+Pv)*RF7>U|H\ ^;7?Hv~$ fgO:Ee,]P][fnW,{{1t!싖p7R࢛JLկ/OBbQZb2ÛLZ~QX{ )*D]v+V c(AS?h7Tj~GܰUT#HrY)(vq/bP=l]Z^|LO_%io651Ⱥ m& A/B`+#e$%W_+ނ lcn <4=( XZ@ODK\hx:LTzTN*T:HTu^C+)wl8{g2 5AO` m]egYZ X  {eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpM./}W䰦Or V/i pbiI}q1prn=G5|':%nYY$)IGrI#*G Nu&SbJnXtBH}muJLԀPCtRrz8T|, 2N;"QX_}rL&n4@b WꏛjX(@%ʼn_H q:d~ҝ]}ߴXf!_l{LݺK s --lm7.LMܩ(1,c|~/2dzA"ܹ5BM\=;Y@DhxWN;wMk/ّA8Y#coC$L~Qħ >2\wϱ +@~`WK=-o $2!%(#S#w!?BR|hEq;YbKpkʖ@-UQ*&(Xol+Z*U&21\1}G@ `c.p74 =ư0\^c ! >55̜灯+'CW͝ hj(h#L#Ax]/kv*0%h kopd+ uDps7V; 0+ahYc9U]\i#,HX ]w_b-Mw)7׊\QD>ٝy/X[)k9 tye $E )HA{ʻ5@VZ硐B{7"?Vl<:P ɵvK Kfda8҅vU?5EgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpM})=Su#ҀVRʮy1 1eĮ-1 J@f EGafj)h!5Uu@Ǿb"5 ^w`-Lx}hxShXu)Դ~Uzн`4&?HycC͞oaQ]6mhrin0d.ppۉk*2-B VH)v;b  RՍC 9@/8%oi>{2 &\MD3j7d8%;cO@#ycg]p&M6 gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty`Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\P<7AkwJɘ̗| _,PnRVўX}Тm ۲!ܑmlygYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  sl Z sd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! A]D?7 {?:fH\!Gډx_1RQB`TxKHx/){fuЄ l=Y1R[k9uнLy(8$&}tȤ'0%eH`LUɛ<J9?foS]'Q}i~DI"[H\ATvPպu$ ɗo0:3=#/~HȥWaGbqk~i)S.7ꏈ6_9F$YM%8o%Ѥu-Aj/!j{r~ug*Ԣc=&^sVE G1z쁲{ܕHT:i kuDio'"t ~>i ecαQTGp֡n31klyQ$.b6T"u6Lk/ˉoIN<I;iy>=@ВU5/9eY^P 5ҡ3a% 9&C;(c-T$8Y%t&>Z'Ovķ1U"t~ᜓ}$ұgYZ Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <2_]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nGtÕP-1P媗<.=tsV̺IB,mmXD5@" @#~9MfIpR0{-$Ii  .ttEO;T%"~s"xAaz'׷)dkrr[_e(u3[nqvcBB (A~Z᝘gڞ%L * tצJƤAn7?Rm_ՙa؂;E~<$R;S'H[&h&K=!MɃU!oяTt^4-1p@ЭS%>[U-f-8ACUN40s e)V,74dZ]dP*w#/g=w|29S֫  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thytz }`b-BtR@ip^8t4=lZR4` .s? 0JhFoqeuԴm7qFkvh4ap3 2@ 0RPI>J!ʘz^|ݞ'[[; 0Qk0[Ȱ,?z|?t"@5-C]mq! y6/Ah$vZBM2 ) `Yz:ˌS`!⌶f(ٺ9;n %*/[=4]$m,7W=wy`O鏎s?wc]i9rxx1݄'J"M IB-wIC>Hy7(%2I㭻Z%DXgf}.~2״e+N֋t!enW&ϫYdz x㪌e{ͤ*^V&ogwmy6s]i6^yZDl. ٣ 3k)% $.{n?<9a3rގt.h "@-8KQ|kQwQIWǷ̊!:e#)8g 09( f@$ˤ֟}0e7 /H{9*_b "v ]箵ůK6 [BYB8;4>=Pw"sf%Y.fi7?Yoጶ(_rUFimc?FDwRl(Qo:0|v_&bEV׽ɓ?U'|o=9G!ۏiiFr mvg%?v ):10>k7 Zmu`2Xx*~[;ieNS !gq{y*f.L9^ :ϛFpc1Q'a]*u\<@ALᐎs1kMUիy!V[۽W^2Q> m?3fT= )NVP6 vqO=7Kx)5wn樂6>ׂt](>WuW P;&\}$o`||jZq3fVS#O`cn2ɯtziq4 {JB*Gg4{4V洣hSWR̴: ?B2T_(dȰ ԥWEaRN˟JvJYO/]-t58F.ڇtb~5IR>t3 ^8t7IWl`m`_F=zgrkQ=~!j+aifghNPv80{4h-~Fb^M tḿS/1ƛ,!{kSٟ8QYD@FFԈ0[!ow%`ؗ|ӡP$TIVi!;'UY=ɲ `(?4no(x\`Ll͊L# W*U}C;#|zqjni đkE#Wm{Hd$;ONhZ_k;f:pzRӍu ¬ϙȓjVTԿFEl8ÔHB̋W2Xڍ]b5i2l{BJ17FjdEؙҝɝt1dWȻCS=Bz.ZMp= [;7}UHxZN6l ?/zq>BGwr͗ަ 5}-c32h<6ͅ%<%Yn [_;&qj?,SV+?G]G{X5Vm¹D?3HYr ,[WlG9${$iY*ΒV%"BQ Y<K]p+{mjsfƛdѳ;Ҭsg ,{};kdV I71_^B>+}*\wQ` ǡ2M M2M#BE  Yh+{"f"#s:;fo$y9foQN8pᥢ F0C33TΊ_LGΟySykCBJ'Tfȉxn1> mv58ۀ*ej[HPv3݊]6%SBv>E(#~ xcd@D~Wec7ZsЊ 5 p/mjC;Uc u[c_b{ͭ6ޘPҿ<~0ŜZ h:mch2;s- mR6˄*k$P[ Tw zADS;0s7mIW5t1=6 X>Ύy<%8@YRkAc˄(Je BYk5 ;ٜŋY '!aCxB}bwϐѯ*y5#'g¬ebZ;rr^P|h3Y!;.:ńT#U=^36zЇbG-oyoٗdc*lɊT4 lO I40V^9p~ MWhs#w!_'ͣO^XPĐqpd]6*VS9 -?myXH)Wݾ2-D ߊ&zom (i}\+r5޵(SJb|@`VH3j֧sݠG? hW3Ԏ6 9*tB"za3>Y|8St9%@H'A>KBUmڽX[zu2&PcdC|"i[ׄ yXtV#dw*C2M).]YzӍ-V;[Ц(>i:G6ɨ9Ju]%do3ܬʰd$昴q~o/u$:5)3RwvXiu p`_@[H"S OS)QF|g7=;$A_6Y9[K m-\q8_aG㭆SoY5 Y~Y@:G'Mrĕ!}bn}䬴~-m j"Wd17eksZ7N*ЎǤ"┩T9P*~h`sTanYSFR(YA.uPByϿZO`N^['ƝIaZIW?tʔ,$g,Su'-ƹ>4d$srs 1TqEVKv Ӕ3Spz<܊K (F?7'] d }9bsɺ7!ȲPT>(U W 'j9"|{f,!;V/tN,Ahmg>7`Ǝ \ZLD շfr`bv_AZCAQ,r\[C<}GndEJѤJ5݀H5m&FQ] `E kJDD?+&P؉od(I#\g_e9@|eGcxbE ̠99>K1y僾>CFyEl|uul0^Lv]>e~~cm{D,V H>cC= 4 ߺb:IPAjՑ@}˪dpmɗ"Γ n@B3E*TM#GM-uxTk\+[8(ڧPXr?i뉡U6l:GqOGJ-l_'/N3p;|^.Ǡ0StFq`S݆FD\@|IrUeX&>?n);ܫhϡ}$:C+{#d>ĥ;R{D`(<9q?8A.YE VP}54A^y#!י]HL׷6?(LՊ\b@$]>jKgz,G%%Cr@H@1;O[jsK5ٗg)fe[[}1yhRY(?fgLۭi}8Qbk5~PdG=S5tP5c(7'+,2K@8ɞilZnBo]TB5l E2DYzWgUi@:\'v* jx`otdd{g] ~ܩLK\Sg4$gH)]Jb/4fA]Ɣ5z\{(YIы}ERod)um"i‚T]8;$o&(T]~{ q vV ֵd 螼>t|kǹ|o $ 8bT9 )A7TrAX"Yj<#!W6S*v}#U71_'o+Dl5LuŠ0u¾ lXG.n$B2dI}9exkң3mف(7Qf5Ø%TBFKQ$-D"5a6#: }w,Aki+%˗PKcU0+@8 |tM#|sR8]p] Tڂ%dsa[ߣs_ݻRVZtG+10܃Z?wsw˺Y=au1Hp)0]q V6+)!-jF5.ȁ!sqm]O/BYTʝGbU- w"(3/k@LTqO`+sBR>ǜV;=)h s["Ԫ"}cRJQ/x!!N8-$n`p=),mrڦΜ:Ω W?wP0C$Βp׿I.:-A1S|(+xMAƵn #25.W(;;REn8:gA"i_ϺN(/;nKrĈfLA1]&Xtm,p.1/Kj<]e b@G2n$঵kCcgeT-BI%\!mM‹r RG&U*Vkm 0RJs/]_s0Fb;~ARH  uɦM{P+}*4_}]bqRLWm"rv<ԚgY*+aXuG3PP"OvƳgat)Ɲ4ޔZ$w:7"-e'r~IӁُb.:S/}[P;*픪ЄCҍf>x ~lQIPbt8ci{ZRDbY37HJLm%Е2slyU3{SVG :m$~>!#fOЖ36m _76cq\Y Q^8m*+γ"*0!`z)'&Q}6 aS՛vjd/e"mkwW!&3jgAr5kTn{ f5Z "WCAO[m(p|>xYڸ2ߥouHoE8B'i/2L~.4%Uoq59N::Q|ςn+<wZU_v=Sݚailg3&g^3T$LwKng̙dӰ(F~b2ڵb -o|4mTe>Cc &t+G!Z޳QU[bR^&_i ЇkQcZ{a¾HN>^ *k# `3n@`9{wk-g>KoT# l 48R_y¥iU"fwHZ5Ђi])9ʶW.0L)ı XHFKE)cvmнP$aT~ $'#D֑гM/y:35W`X"+^HމYr-ZК֚Uƛ.PG\1aPRK(|r53U>Vp_\9f@%rF?^)jKFEYD8"rk6#S9UH3'zNaj;ìCs-Au F|=\v[nHeO}uAjS*…3@2i\g[M *ZH9_!GL(ΣB)|gk{$d:R>+p0hk?fF6?/IaSiu?#Z5J"h}aE+ [+9{3L"Ofv {P/yh0g==ɷĭʝ0+``u4͵dKP@!ѩG}iurC]ijQ $-?7fϠJGȬ;Av(UIֳvnT߃*eT.艘2<2*`-5l;`^_=_G jBM %o"`#\١ȧČ.Weh0<8f6;V@821aތaɿh|f_;ٲ3[& 0 _Y&EHZQs Y_PfL=AѦ<ͳ}`d-O~8=Iq3nHTCBlL};+ZF."1@u9'?dw\K $Ml;_i,Imty⩎2g"kWBRn7Gsڛηz>kv5DB=g`jd!\QQ*KiFhW33`&OȹU5"qZGgqR?0[5>ңM~cfCΤr>Yxʛ3L[/ oJˋ2y> q{!U Nb7y5܄Kύd<~b;G~jւ'cޗL֤iyeL0LYNZbMՙYv( zw$QHMm縛)ל8,\a`XCnȪ!Δb7W=`L`@{FVGanbp0 go`|KN\fG$>M Uu73VtWfGz}]xL5Pa9gp{\Co=Ck[8HwJG }y0a3HL^4vf2td )jd}%dK>KoI7!X qe"H?:m+nXlY^Je%`v،.Roo|[cT$OhG;aj]l`%i":p>s@`@ =\ʟyqj5\!6ua#$LmK-F0ӁW g+/B~NMru4Q-T XWXV.lA݀<&]Zu0g.|0%Z*pC6p>ZNI( V"!%I 6 }^ǰ1hDү>OeX={w`KZvgyi5om2_F3|x/W]K6}H$|*I~dQ~@V˛3yi$s'*7yMPr(RA eH ROA)rT0~0F-?d"p~ֆ>XAP{JcI+ xm?8xIWM淲{ Cޡ$n8@wNj bM1Zd}-KPlk Wהi3f\E1pNϺNLpdK!. )M2Z^Bo9Iۅ-6ra %Mٻ92tXKǫDTbw*!?T)(.P;81M-F\7K>'%AӁ (&8hu"-x Ga.0*$Ӓ*n{b,gP`[XUf\ I25B3=8]s%^XM7bvԧa(;aj, (ǵ/eFȰ+Op}߳BnȴʵX0x]鵣ExHx0Yq͊C3$b]8ؖuf)7c >Hrb# [BS~TrE"`+8g?++)60< ^Z4wKS{ L6o%Gf"#8sq$˦z@z hW*?ŌxQF6*Wm嫓~T{IxݝtOlɈms0sE,3qZX)&haFMpŅv7iQ%8n͋]Q}=V*5M+& Fm@ DDKĨ<- x"zԀ}Y|:xtx".Ru4ͽ\H0šxv) cAO =& axl/S:/++DSAU+ELm7Կ $U= pg={ DlJNL-OR-"6RTY|uÒ,GnASmUB̟2R,IyހK $Pg~{VŒ}']g,ƣ޳`Т?L.s:" VdZ񤿴>\88E3l!L +xnxI,߬v?|{X"B u#y~>79ќ#'P"ø6~WnCs55]%ԩ=q(R)Pg> 2 ͹z.aj ə5Q}duku˪ښl@eB0t [}閶IN͝JgzUOEx}$4|&5\^zGT]F.^98V_/z|jzN$DK:gI`6YI^ɹ% n$!HӠ0{ NXqf9G^y,@NEem٩sNM4G]LtSGԿ;-{"/qu.V6$ӓcGI2V](~e1=pϛR׻{ck :`1vMmȶ3p-l@CFdtuTTLɿݺ2$ZNF*ݾ>rgMx~I?وS`Y?Cx' erA3;])h1'3pǂF:`_XOa˟f*V.ԐVNz+ aL[Viڴ"IppEFp%ϥၪJ.d5-1e`\"q^4IQPOx@u UReRv(+J-aAh5r% `+ u5P.}a&#9BdSgYZ