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  y yOpL<, ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.760cpu=4.186gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='s= >ޅHIʭ 0‘nܾi`kB#(h7ȼnmrOK~ʇ"q2;gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.929cpu=1.660gc=0.0002~,|Sw_,}YZ7zXZִF! P]ŗXi%O.c,,o+>BS+ڨt<7u$6MTJ芷b{Fdo-RF;%Xܛ\cGp1pK gYZ5c5cb50e151e51b79205aa189838200c448f3f3094e2b66d00b77875014d997ac2abf11a8e903784 18be5846271af03e56b22434e2d70261152d1227 d9a46cfa24f3a848167675ad12d9530e9c5145a6 c50a307d4a2b66a693bbfbb79db2b4779d8a0e0a b42ef79b93ce1532d54e350b8958d563eeaa3fd30a83785f-377f-4122-abd7-a4206b97006a $O HOL-Nonstandard_Analysis-Examples   eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMl}]5!n$a(*W~_i85&tE`a{xf}1coBUr*-Ѡh1.w½45[gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMHm 'O7ƶh>"ş=)h9X)R@ЭvkB yίЫ~e!g*n#EIV|& p9KrћeJP^`2Jt)W;f͖5/ \ i"@js-o\2ߣ4HoaCPUr8طI ~<7~ )X׫n)Jy`Kˢym.HAȕQl3 5i!`g346Siu]}T |~6{Ebg5[GIrXvA~+lHl- Uf 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 /\+EqV(vZ pt fc'Ty8'6DSه! }vwFTZmIsIıgYZ%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/ lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMl}]5!n$a(*W~_i85&tE`a{xf}1coBUr*-Ѡh1.w½45[gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMHm 'O7ƶh>"ş=)h9X)R@ЭvkB yίЫ~e!g*n#EIV|& p9KrћeJP^`2Jt)W;f͖5/ \ i"@js-o\2ߣ4HoaCPUr8طI ~<7~ )X׫n)Jy`Kˢym.HAȕQl3 5i!`g346Siu]}T |~6{Ebg5[GIrXvA~+lHl- Uf 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 /\+EqV(vZ pt fc'Ty8'6DSه! }vwFTZmIsIıgYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  l d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! A]D?7 {?:fH\!H\h!obhc5ƾ ϓ,L W޹$|!h;ob41LrǶC"7sf?cz͙a|@xǏᵧ,$ wAmT|NCWr'f9YQ}"13$_:Cuԅ&=U'ݒ\)4i"S&Sn(ٚ Z~T<0CDYN/n}QDT,S;[ۨ$nc,=V8x{~\r+Pbd8D!޲{$f12FFSh$5*x  f+ǰUwP9?'Ei˾hd:D_+b=c/e p>>|#hA9c&_m|9L̵|T @]Gw8+xBۡ9U$ұgYZS Oa# tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <22]ˠ)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צJw.tqb0W)Ǜ"¦fmTD8cOGr8]Դ޶a"ohCPZr^kkJ ݐ%K n/g9$nNv#(TM҂@oyTq#_IO3 #  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyLrq3rK^%BFUn{t8R),96cp:AysA9Ɇ J j 0byk6%?uոjc @"tقs!"GHn1<+nluJ`z1{3gTfW@d2>x|N\tN)#Xhm6P39ap+QM΢j%<6z 3 3j38y% 3tk *!2-J14w@BK"ˉhJ&`z"Q)AƸYٖ[K="3<")m'\Vk*Iᶇ;5ڰ%Oa]`io3z~cuQV6|k@"Ҟf;>C$75Q(=^_E8xQ[Ot%pٚIRw' R(0VpVǽpI4n'Cg _?_;9EzIV<fC>󃝢,l&d #> #T h/Z=($ {w e*'} !  ۭ;g[B?#؆hz͖ |~WOlw9wt(T4py º#_Y^Hcػ=^߀RG mGNE\~q&sڔ߷DY2f#h yC8M/1'Y/t)gV8Y )#蓪ͅW~(YMxz%B%n'^BfE^KV |A K7 ƍ }@Jwi |c"sk5>o]:BbUi&/;]g dzնzo `BcF\8` vպ}( d~3ƦBC ͐WNoZbz{;Q/8&8B~əK?D^]c_ m{۽w$Q隨[PJC#,V8K9zHsfYkM@kbFS!..:Ze$JQhPL=gnl73U0x( Ҟ 7+\AqRb+9t^: lffc=Y1=?̱%L>) y5N^EMf_Y6-ԅ+tϱݾrjkiR{<_^a%BhW2xXgBzQ)㧞46\-h8qhs ",/{)xv:y#Zݤ,xY Gm#s7*ф+z> ~*@weJO;@hmn><ǟBIǡ̴O,s̙M-X\?b/*%]@^@yThHG2")NX_ \t(@c4RsKu!f}˱{z@V fQ񕢐k?CU^7SۜqXx<4ͪFe`XӬT0g IN;{?-q M|1jc֙Z~u<^Za8=< ؂߶+s`Qh6}lfSprjFKl[1ƹ Gwzk/]WQ ;.LNt' lћdta1/۔ͮ-hF:d&WubOd<ΏFl{\`J7h+Q  (U)&hs9c@RrhRIJ M =GOӨTl@ gHu*"Kڗ48bcRy'E:pE8POoӯGȭcGC4.|Tpn9_5$V Y 9 T67YwNf ӎ5r> _2K/Hh$4L]uxh-b+}nJtN o&r)(?dZ ##Cޟާt 8:u6V;k)EA0{=w>w;ƷWmbHu !o>x!%fAD"(g~v,,@,+E*=[WCh5wvf8S\XNRȹ-9ӹS|h%ý~\R\D duULଏxMZ&R=EJzɧ)bSd S }+@77zK]ɘ|~ FDճ5۫ 9o֍>F Y>tˆTMo3RTGOo7PGkcIS%GIU(K|t~2l=ǺI r X/\u}s2FUoDs94򤭏 1U]__P jXԮ]&1)iF"@AیǺ1 3B_C_r ʏ5n^ q'+*-1ۈ}Xh-հ3$H)EwpiC?4ړ2ghߥ\z?v'Ke%XQuZ'EI9i]!ŒT`1\֖ 98@sJ`#>Wknʨk496O4~}jQLc"l!( b'mB4yϝq-0hUd%о>ku.Sg4}_SXvO۲GTt<io,s\%1fBM-n׃7* A2Vg8<&Q|>Rqۮu~\W;f, m:E[\E Jr['JT$^_JeɌM/Ñh@uB#D'3yPtL<3p1tU5;kU_ CǴd);C$K k(AQ=3X {,g7IU5HNB|h$Ȯ!ۃ-ulȂ-eہQ^I%^+̓XigmhQc`Vd姀Ga :Az/N"]Dp WpB_slǞ EqbV͑˶'Asky-{& [dV Sz֗أ6KgžBOan15%Y:/]hŽ1#E-ff B\㓛B6HypBT`͛46=VF QFwndQ6O"kH19 #DZISTW:o2汘=1F v,H-ʒ8Μzv\jVLy$o$ -{˻A_w]D:$;/Q)߇dRJk bwPݼ7WPu!K\Ě]6ɮ;tN8L9FDPQ/_ա-lkߍYK7 &-"߿2TeIJwwH֐k"}eR0lIV`W?&F)T_X,ᏎL}Mu%2{VL9–@;v~!ƽ ak^1H1-Ta;YQa̪˻q/ߕVlOA r{I#𕏋~牌8;^_".)4ic`i:͌ 86pO9WYLO̍K72'ũj̚E&TcͻܺIk?"kDUki27kB§`Oe(Wf'nǐ邒~eN+0ĐT#z *vc4gey|t&+xg?gXQeTQe IR48\TmÄ2mw^K"Lhe-z2iVv}_pwo4vVL[z&I:Ւe4_vs" J3dg=I_|d܅iOldL*a^1Tu׃!u:e? N71fL meF4&?oU[*bm)o^[C!ҐsA7 ,9H܁#ekd!7*7i'4j5=ci5;yۍ߉;}rkVT d-e[`nZ>Hg[ZDžڙGKRd}jדvW2jQ_盉/_M/kӫ Ti\;[Ƽ 98#jlu}\ qWο/Dg~bs>>4 Dn&Ķ@㫍A ER"T*ߵٍuZ0*]fF8;$&kF =́B^ ?Yh]JdH/GL^\ӗ|Вa\SLK&KUpoheהLrheSETӏ&J35/S%s{!1XfW0JlV9A}vWEA%s嵈;,|^(-;z}WQtמyFmH+ W/q|ft!Hk3-jJQf,Mq 8XW (,,)MJ y10|-B7&NW y~"&9R"ڟY2.T0~,^N mYG';8qx S# h2RUB$_S5םPដ=Yt-ꐐشz)I;6w I (8@p)n5p,濚]FW]^7¡>V[àYW'a'9cᆖOGWK '~-Zt)5l[$G[>L+3ygGdfZ$Z!xnXN?n-Yr[z/I+W_)Y ?a),:}Qe0s=HP4<)]=m*:pj3 ɔEP%B.M#Scɍvw<=$)&;~OKms 5U{覺W}-4zI!h}rkfdqa[D2t4cfP;/Y~s[Jo:s>+=> {2iOlR:QIQ:Y"}HK >`\؝GXԺ- ɍ>_3Ǐ,LNKIqkOn`nI!eG!>m# рg3@{5 jp\_^[|\ET9! Gd0>?푭H30 GQu\VƾeXLÄ/Qm[ Ͻp"56g)Уp#1Y}P)Hއ3sj-iS orA krRݞ;Z!mSlh'be1OQ`aJG(3dD2XÒ8b&w|#vE6Ly&#/W5:0&&o>Gb +^9ԃ~ՕR R-F6S#OANg\0?UtKLq aa/Éz8>MILldI=|6x9b \AѦ=$NZҦ;M38CMw=h1{?NԐ <¼+NfN.X@VXfjvr50SLZ2FPs`> lbgflcFo}C0$ɂT%q$)hMF u2̈6[\Lk[dɭaKsW/" Ad޹n;!-C:a} nFhyoӊdPY@oÆRZ$ m)0 TT,b]Z;JJFlm!1E+.I T_&_cݲ/XKMacC:,o3f8CYJh(.V3}kn4Ry?D+k.>9l:V!YpmYt6c!rLs;%w pj"}8Up>IϓeL8[%8}wX-(0޺b02]Pf5ZR ވ#:\} =v"ٍǼP8Sm A4f6?2ח' rZ:JӒ#]ozy3>`Z~sX*on3aqpNwN,֊'#U#Dݴ/c+Mvq?Ĵގ})\vviRU}Vqgs| MWS=z5=!Bԟi_,KFGvyV[YBOFOfݻIJGEoyr( Ǧvµ^lRvC x60rgsnΡ(Y1y)?2>DORAxbFL7jFRf K*WdXC=g?:%߷|ڹZu% 7 ~ji!ls;\U{ j\x$Fr=ghe-\;^kACζֲx`W꣬dnLk-ᡳ<q9:r5LTl&ބ}s!2)QU d?{3"v2a%gn"0WY%l]`9RBH :9`>T8;klAAnk-bJSW/Ns^Gk\==YarQKA}?`EI-SAkmq _hoi|sLqCV>9=das!oig$mQ5I=k ;xFIX֑mVK[Plk y$ќbTnٍ1'y&BG6>Rk2 (Zp_|Jf[ DfbLi" rqꁻ>v|hG^5+& 1N`=˜[.<LG=Ԥ On%xżY U &qa~4<Os~{ypLryvvÉ I`7&,!v<µ ( MCUtHԸFi29_t5C ֞ h.(\u`By)K||ya5k?V&`9>Baw_% YpEv O!/yؐ)7˲B=eS=5%Upr_CU/t0r$ͫ˾Pei=)wD<69K?K3R5zmNsu0i6\o<@vE=Cn"NnﺉtD~iHgTiT"k {lH,L1ꊨ mzTw8$ɽWPo ͰHC؝xpec#>k_?_S.RHk'oٜe^nc$TicnRB#KyH3z{F!lEj5%ƅE1?8P; s]WhzHG uX2+Q==DK;%)cF@7gi9Y!Jd{ZƵ f,l'@[CdXH#2C #:QVӮ^c .EkڟOgחFX`RmXJ#҅pPV:%U*[/ A?3?P^)fUqۈ*Kmo%dƒ6\GIe/Yixe'~+F3 Ra*h3◧Gܡ@m;|VZhl L]drVDHڵU<(P?h݃tOF"`]`h|,껧pPpZYl{IAhgP~RQʣ~%H2`~r)ql$]t*8M]P r'<a\> |OI+Ԍ+,sWRgԩ :1PqW_X*i[ֳZMps>(uu$\;.ɳ)1Ge#mD7[ o ܟP-8 FG Z\K|^A5"Bv!F +jamL{W=_:t-_ԯFUvB%>vb~_Le[l-fNd&^ɂʫkZjteܠp 7oeo %NYq/$Bh֣l9/;C5?f'VnLcK;N7 9j}viWDwҷ;K.D VSr^aT[` .5ze$dh7 ЁGgF/.gMC[xY+8-£XV [_e~wQu8J)0 (њ0mAYYEDGˌ 9[1_\\v?WSJC!qdpUQ 2Aވ[fFtya6bNS4vLCixR\5zܰc9%͝u7\H952]oJ|%.X~zMÍ~J`6f 'жmvXӖ};3T+[䴨=wX@n'V.ݢ>~b`7'ΰy6%gRm2C Y87 _0u:l~3fWy\!ʸN[DY`hdwdS%^2R1aPy`