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  POpL[yN Nu#.`ĤIX 5OK,WtjSu0'iZ2[mJ&KF~`n5ܗ Ilω>`T <=yn޹v^'yJjgp 2n*[:Xi(+5BkG` F=^ؘ[HSR1 SBoF]uWqTFqҮijmJ \O51,I 0rh Q4s#|9pGx/C+ud)QF)҅7|1p `>V% A~1PfV E+/\[M髊'ƹ_?%,%WVCrP?mj!5] gZdwرCp=aove3k1 2P+Fx55`=+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(- '#9RUpMHH_Jn(\ Y;gGv{,]0qzlhWw}#?Mexث,F)E( M}]Q<]D~Hhr$2o0xgJ![3I-$C퇋y#oc0WDkwZ e@3w dQ1O#Ze4M;ȯlUsZ! `rK|oLKx\eHLe waiܞX̱/f(R>ĠOg=W\Ҵ,y\8q +`H8N$cD.W.SWn_۫M䪉ܱ^q ɝ xGqi.4iTjM0*,6,˅r䩉q]C&# B~#@^xCW:{>=# @Sdw5ww|.-;Q|)et`rEuhN~y!P}JC"F\vCj0z w~ym2ME1^^E;+β)EOxmaX-@Q0c  V]١#% >H7feVgv'N(?J╷("LGD9/vw8Uջ] |l(׵;&j'̀P|K9gpE=a7ٵ\5gY 1pF35ɐ/F6F1SgPڊ}XVV_O]mfṣ4ϸ d_TΙ⫳E%n͈ndPCpZx}1x^~I[fUC@OlpJMu:+eL6.[ƱgYZB Oa) LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! +0 ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)Uf 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=tyhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) 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(- '#9RUpMT?AC30j=$| #V.*aU5::0RFIڠ hof?l`8 1`o7 k:3X Fb3PhZ9Qd\ttF 4O: ?֤6b?6Yd: ͖@U_r= -K)MHiqvưfyؾOUSYN9A0q}@qUfR-HWhW`C %QBԉ?Ucm7]iaҁoԃVAYꁾQ9?ZNBͥ`]0+GB\8`o.Tv\GmW]TfZu) G* !&eF>[yN Nu#.`ĤIX 5OK,WtjSu0'iZ2[mJ&KF~`n5ܗ Ilω>`T <=yn޹v^'yJjgp 2n*[:Xi(+5BkG` F=^ؘ[HSR1 SBoF]uWqTFqҮijmJ \O51,I 0rh Q4s#|9pGx/C+ud)QF)҅7|1p `>V% A~1PfV E+/\[M髊'ƹ_?%,%WVCrP?mj!5] gZdwرCp=aove3k1 2P+Fx55`=+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(- '#9RUpMHH_Jn(\ Y;gGv{,]0qzlhWw}#?Mexث,F)E( M}]Q<]D~Hhr$2o0xgJ![3I-$C퇋y#oc0WDkwZ e@3w dQ1O#Ze4M;ȯlUsZ! `rK|oLKx\eHLe waiܞX̱/f(R>ĠOg=W\Ҵ,y\8q +`H8N$cD.W.SWn_۫M䪉ܱ^q ɝ xGqi.4iTjM0*,6,˅r䩉q]C&# B~#@^xCW:{>=# @Sdw5ww|.-;Q|)et`rEuhN~y!P}JC"F\vCj0z w~ym2ME1^^E;+β)EOxmaX-@Q0c  V]١#% >H7feVgv'N(?J╷("LGD9/vw8Uջ] |l(׵;&j'̀P|K9gpE=a7ٵ\5gY 1pF35ɐ/F6F1SgPڊ}XVV_O]mfṣ4ϸ d_TΙ⫳E%n͈ndPCpZx}1x^~I[fUC@OlpJMu:+eL6.[ƱgYZB Oa) LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! +0 ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)Uf 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=tyhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) n>+9s!mL9[ %N|5t%Վ8 nRdgTo3aiBIe~rGcR:?U3]$14b6tz(pl2Ā2CW?V#P zp ,\qg^m[.(1[7RY[Q 50La~XtX+Z!G)6:sMEґ4"' OlA# \*.22zM$rHp oH5O=_Se5/Lothl,VM<[clo5%`wá|K/줋wxٷ5 ]6~&17MD.|[_ŗ4b *C-s#GbTM&HO,Uq`WvKV.TgYZS Oa# tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <21]ˠ)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 O6U VHиdj<#m}%+N@2a0fpBq0 ߄K(5іNxjJO$d=lif`BePb XBC(Vܠ-[s u?B=!x8 kyeIB_  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy+;Y!|SHVt Ӵz5#8Zfo Z#+dX$ޠG## ,S^^0rv5+iUk#d}iKkc 92B j%ɂ˃dhUPRy:@U!b5iR^:&yZLҌ:#ACy+ݳ/jmA_2aL-a “1]%-"vD rf<ґ: ,a{UL俩Z|A"_bv eoyMkw1/ $pip@M<-Ztp.!_1._b]M/#_P$ج+kbY] Z9n<tj.[E ^KAzn}^/k]V&bC[bi#_,\ܳ < BU[x+Ztu-Ro 3|\ZPp)xS/Y"noI5)L/a.(j(.)N"._1GMf9QЄGJbp,(+ڳ:a7I$# s)jm"k0t)o}J$n/֡'txQ q2%G?6]?bq`@ޢ2 sX_*BDssɈ SWяˠ{Ktw۩Zf Ȱ%^N5 vI| [D,Q)yE.hɢw!ij~G{_8oSɧG!(/ .qM14:Zgk+0mI&vTFv~"*-6WK Ox'9g5, 2ÛW#yS|rHO8z0*]yE)Ds(^\U]+UIWݪ^0VicK-$C֨YrUd귀p[Q`c#hXI@)Q%C`x㤿dp"h4T*nڌJrKr5fm! [E`t=A-R2!lV ,UCz$6ɡn+ͽ ug p´^-s_(QjLN5d~t_Ґ0X<kCl:W/o9M,Zwfjv)tRBl3hD|Bu*dw+4<5|Ww;^Q3Dnh{ѝ*/o/--Ӛ R37̐_umLnEfO( V""Xadtnn=r EdmcL[~F 5avR|*{oCwrtcOuޓI$Ts5y>^'t-_ ݘ\9mq-|8j`ΞЁthU7FPV͙VrxG+ܼW H9jCngp7Gl#H(*I9`%xzXeV͞jBa!6-Muyi7sYj~p:̼l{ 2EB*K|@#Ev(Ov D5@3"dG[Fw&sNմ'Xon8C30ᤵ 'wMb*Dz˞h ɞ3Y۱-.֧S1 5KƱL[[ -ƈ蜩 켪)M&@6k+VZkMascƹ^]9o12[sӲIr#]5=o\HI 7W nW!:ohj5/VBHhIDZhΨp2zW' ͑,شa`x4VymR|hWHȐPRU">;ԧh%t@x ǭ&զLr_ôb&jHHy\c = ݡVFN j?dh2Ӆ^<(FxeهRmFYJ(KSP,<f FGyQ N`GM l4ͪƌI #գ{9;!L ZV5wEvSBX\PKX1~*M:ȏ/U\_D",O1;ps,iO{?S %G`(y!yNCg G􅫎$/TW` yyou1>ȣDM2lRx:Iv##XtkGXG+|F؉+:(AttTAؚW6䘪Y/>j&;^]QƇ?>n K?($霘z[[4?W Sc+B'x}"vQ헤mT_PpC_t )&`Q9< |9Hc0 ϼy|cnןOA'n9 a1 !rZhw޷Yr7 g׿= C'$}EoJMA[ aA`۟;faKy!r~)޽KqLJŮ&BJܼH5>QX 4Ժևu2Szb kSGgRe r5rIyCS _GK4*#tPƠEAz{wQun=*S]9c/ ;g86) LhBF SLCP)įFl$sY"\q_ pr~rge6'I6Rߴı?._(H̒7tMzJf)ݻuqb M9K .VN#kւ!iD3$)5ͧ⊖_?O֬fG;\C~a6 '>GПD_FTm\qr|>U->j'յ?̊ z b:Ռ%9˟j%c(>۹=HZIDi>pF9ғ;cNAy0,U .}Wi+RqH찲OfH:~Q|J|{FS8~ łY_q%•%&&])jx|PۢҦ )?F/|sjZT'G@;`JG7ӽL]@"vepBIA@)=hH(~W.D x;MZ+5-ːbຢPbB kdZyr ]ٜ<ݥUK*xEfA6w bzsw$j9(+u"yN,(6ՊMlf܅kI^giVdF0q")2iy8Y*Xr" 4LK$,>Ħ5Ѡ4I{ *)/ lLH[#A0\.T#Mp׶<#q%Ten k&} D64s_/^+.7Ћ_Z~};mOW 6Ӝ\"\*l'(uAЀ5c~B9zp~zZN|`:ikDy =1%3zS;YaSHX 'F`Hֱic["#t KFJ&J^O`+ sOXN[|Ξ GÏ?v]ډgO˜n1к}OŰ, (#Z XׅtBA}Tq]i=u-뗘RVY-\;Ku? ?b@u?aDRtCпpϺ,QVLhB rE$]")rR4pWK?#j48*7PEԤj- 0367*6XQ1yw4]YNp('h}6ٺ)2nY$PCGHKN೛} :Rv,&2ԩet;I3WՃ|^>F:L7DT},[GF!U Ud/.ke%C~ 'vLWO[k&8D&ivyp;Z/E5s );—$Co ~Z|fpʐրt td~PU]U(Bn&QUh4+1F}`{½qQB9?dXuMe_mzԈJ,g?y*"؆~KWTbT?Q } R%{& Ho{G/~i+HO[S{Ji8H=$aƸRN*Cq!~5`bG=WJӕ뢅K>X'2kؙJ;3Iɪ%7qOL M6/՘epծq%rP_HTۙѢFwa][`>?D7}!08]p85R0R3+e4@kuf/Ge zq o\ƠK./27 H҂>eI3:iKZS1mdN.{y߱$`] Ía>Cx/_:ņa:rG):pq3`]~ ey,>ux21*W~9:p[Nb'b[(on>߶3@am'׍>FA CxMWvJjZ:E+9ۿ78*/U#RI&sܹ| `ϙWTT} U zc-m.4׵2\CdwpXBxz:lV9#cT(m> M2?dq|VVjbDŽMQw\pzip+bEGE\C{SI:m?ZًGiX OrVhfwi OMyK&hgts8krBEVrJ\ݣ.v5M3 o!vkRk3-Lbrٍ21 lsU5YmhNkp^3 h9K =7Ggz?NM+H#suҡ:j (&$# yR `e&ށ ̚Nho)n2:qbqmsWuTe+_#XAEyw r6s~āW3'\<4PmO\0e|ލ EFſepLc=KzJ@3ŠIJZDZ4۸D%t"t>V=) Dwm>˛(۸\cٮ¾HK"q3V2$QtnוZka@s"4{ ^qL wv|7`2%::JWp# j Gq%0ZBOW+0fޫc9ٹ~ȁqvMWJaU|7SLJtc$kjLJj՘WaB,VJΚ) ΍-+I{&,[t8 2q 1S#4Q)6ǯODKhmzeK|ܛ~ZSg7(6T@Dwhfx@C 2=qZȞp5(H!|s0m&z$AAn \ˈǟ8A@ %3vQ<'VS=<:,ٜӌûq d|Iq[I`%$n1dDEN68mÖd>d'|5UbEȱi!N=&ؑxZ2"@HU6y{\//:o(yT'=oE<(2}Uqݯe%\1CmڶLJqYA[~ڔ cO1n=\,Aac \`sg,!.AB!8ƠlֿH4ϳ&`T7֛8kXFE|p [3Jɩ(!:[n.9SmY%J@Up&|&D7Y"ڷ,>Ln[e{.(T*:OÒ+`#">="Ph/T {pdt&w;qK.8صh6x?'ȇtZâ[td@dl?iizJ}0 @C[pIq$OkU ؃:_<]mكG!^ww}W5337c;NZ CܗHVB1@<1,B+޵q 09o`O[N$h25s/j]%V{}Z\WπDֹW>oWŁ2%0 IwR QN7&oiadn_b+ ;E Xo`'Ρ:--h_K&u;HMX8DlWV8X{ҩ63FH5闖m0~hs9Du)E2ӴUey2j>Գ FZWȍ=py$4-vŗPt*Qf[ufl:^鰺歷uŒ?q1$e?WDm.!k]ouYFJS̸AES4*N-gF-\?[@:Z$u J9Zx6R}sxeK4̋<"K'RgϓtKȖx r5!ly$Nbv3[@R 3% \VgJd>杬ۑ[M[|tk~y #Q]6{7K` j ~K/ 8m5C%^[ lM[*_[J.- N z$iYDf$STpxD͘ęSת:ؑ\,Qp?t Qy3u=𵸓i<yP~V/HM8%}˚HV|eH>8(RX\a=} Գ9Dh}nn`#7P$#s0GEj(A+Kyk:(X'=t5 ~"s[*y _ /ðM۰2C KB#n^I] %ć@h5wLHceV,WPi-R Rf5R[VɢkY@tĠgvk eM{% UnmW.p3 z^UYO X/gEO_|&&RֺIw;>6fp7VsPt ,&R%bi}hK1͠չŒa8M?~q= ˫:Q1ʶJe&LAmܞ'a0Q=E"ɓ- PJvԂލ| e\y;N1ZIڋiKiUN-?Α[$ciφdE9:ƒ@K{Vu덝Q>xPiN]2͙MQ[P/$Y0 lfek dp\XP]Wv\ux[0Iarhwv.w{! Qm:k{dgnͩLJteA ^nDaR qDrcondl2i7_ ެ5gE+E v( i03KHʹ3`Gg( Ά8Lx YPaznq^"'5,pc\3`E !!YGS2PFς_n뚮LVd3^!"v} &8}:i _/5/-R}+䑰"vn#Iֈ擾ӏLxᥟBR zK>9 [ PMv:Ul+ջfl2A9fU E5yh?% .W~nRE1ƮHق0YO6wݮ~l껻R(2?6lkm7E\nRw%0 Om> }ͩIH>  W0jI\MKoDIОE0,2}u ctkr'Kۇ~Zb8I*EJm.`O{6%޸߶I$^Wr&fL)W6D/Pz߆BȞ3;r&b·QcϬu db/b ̞֜Q(jsI_7ZȾeER`G|/=k`{O(XOjI,ʍ*=txK8n#&ښ (#eQXqa*'{.ȶ'hƘ?n+6Ze* ῢ|,"`7W GYIi)* 03&<rob#HrS_tZDrS\37K;)JI\mګ4V*/~;7ՙtKy;xp g->V'eh*1ԢOƛCaf3Ѯ&xYX'T\gڬ rvcA uTA`Y2V}8j}a.B{&.&5h*ʫbR dV2-]$ooREX_yA-ep)Q$¶:;9g G?[FDW3ĪvR4nct,WiEq x\6`oiEڴR||K:!Se&52)Sp-]Uo+ 9J~>ċidf<-uB,mg{%B|Ca맭 ma&tGҍ߮ j7Gi@i>cF1=;Qt:T`"ê_@^|mM )džI_nckŲH[N/_Kuz:^ϰЀ$t05#'QBشjBKҦp jzL2۪jI^0-<8Fm£+wPVSUНrW-Ufmq&T.;ɐC;eͻ[NjΈ1-LVĄQXE=čECd>gYZ