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  DOp<<< ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.614cpu=3.890gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p&0#TSCT6RQ( W? ҩm_BၕzH^ yc5gYZ7zXZִF! ^[]ŗXiɟ1$BQ0dE8[Aoc!IJV1LK9vx@~/ԁ;PlЅ&w_,}YZ7zXZִF! ]ŗXi%Q h1e>=n9{K/ rx3:R붳Ɣ)"kg fK)Բ">-onHJxla㽧 ‹k28ݾY#`kצ?C{tՄ;KӰ; ㇷck_2w8#h-a>u@cE#MZ(")\:tJ6fB~\*?j-H0(uws2rR3@ƩTuYh!\;9U5KE}OUC vp^EF9{b+2bլ  d7Pizap`yL`MGn`%I1pE/íRM8KPdh7} s/:oEXZX M.NK(-&"9_&dPko5iP4_9Zkk-=%^B(z1OPCƆ!< Ǿs-%RN7]!m4|gYZ8442e215012c7cf5e6eb0c674d98ad964e295d75a4cc56f347bef96df112454c282b70177f6a68a7 4e9596f9263a14a76ff98a57cfc31d0464e8134b ccb906bbf7d2c0088aacce5c05e6faf30061923b 979ead9585b9078300ea42be5b4aa7abb800e08e 7f8422ea3005f8cb4cc46507e97153314101fa8a6a947546-7af5-4693-9390-ac28335d8fde $O HOL-Nonstandard_Analysis-Examples   eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMBT^CyfE`/N܏tA`=-U8?1(T/FA ŖLc(C/oOh.^d1=NU>efvM$c@6k;\{ GRQ;8Ul>[\CG%5XF~l )P)}gOa G!&PbI7+1#m7]?'OX+ 8Ĩ>bխa+7ʼ) ъ35XG yVm\gq46] "E|-.d%9_P3_ a/4bCYTXTD ˜@nHʎ \E3d2;9vs?F QR0Sa?H ++pFvHiIN&O%$A"B(p|kħiH>نV$X >TeϥU"5Z !3qT ucX$RL! ]OkN|Xt,;ht.B*!zǑqGxױa7 (5BOz:L6w6zGk` ^Fax |0!;sb^1g6L ɋ̦n){v'WD >*^\H~${8BCpY. Ik=C֬ܲpWD nj|$CP!W/$Oi[Pڲ(١vUb)0+|meIORE]@~U5̃dgYZOa1RHOL-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(- '#9RUpMsHNAbX j:Ռ;q\~]Z+.QUpM&-'\+r>904u7$Uچ"[Hs G]@h )p 햨ZK1|6*vc-=!+)(AEa%$!SH8ɲ D&v,E-+D=Ft~+eCPL m'!cԹi+дps j<%BLi>Dzo2'^MwV{\ҟ}xQXl/WF /WĤiC(#<-)|^G 6޿/-& Ziu 1 E5X:gWOIgc{ΪAFI.]V-/?,p5Zl%6_DKűCW#GQ:1A?A fߴjtL_uB)fY?Y@#JKA8~x;+8뚢ixUF%JS.+S( /o_qE6_W4t9kX!mt;(o@#仢o8!-7(ce0XH;y!F[xuWY?Bc[W#3Y7,4!U];t)4^E-FD0:fY#*uybPlXm_+w42ule6at/c&ZkIi,!MiقE~y*q85lRl(vW1{EMZ$\og](k =ǫeGYlpo:q3ۧ+Ws*)p^沣MZɹA-͸>^i]wU16.[Ʊ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/ THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMBT^CyfE`/N܏tA`=-U8?1(T/FA ŖLc(C/oOh.^d1=NU>efvM$c@6k;\{ GRQ;8Ul>[\CG%5XF~l )P)}gOa G!&PbI7+1#m7]?'OX+ 8Ĩ>bխa+7ʼ) ъ35XG yVm\gq46] "E|-.d%9_P3_ a/4bCYTXTD ˜@nHʎ \E3d2;9vs?F QR0Sa?H ++pFvHiIN&O%$A"B(p|kħiH>نV$X >TeϥU"5Z !3qT ucX$RL! ]OkN|Xt,;ht.B*!zǑqGxױa7 (5BOz:L6w6zGk` ^Fax |0!;sb^1g6L ɋ̦n){v'WD >*^\H~${8BCpY. Ik=C֬ܲpWD nj|$CP!W/$Oi[Pڲ(١vUb)0+|meIORE]@~U5̃dgYZOa1RHOL-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(- '#9RUpMsHNAbX j:Ռ;q\~]Z+.QUpM&-'\+r>904u7$Uچ"[Hs G]@h )p 햨ZK1|6*vc-=!+)(AEa%$!SH8ɲ D&v,E-+D=Ft~+eCPL m'!cԹi+дps j<%BLi>Dzo2'^MwV{\ҟ}xQXl/WF /WĤiC(#<-)|^G 6޿/-& Ziu 1 E5X:gWOIgc{ΪAFI.]V-/?,p5Zl%6_DKűCW#GQ:1A?A fߴjtL_uB)fY?Y@#JKA8~x;+8뚢ixUF%JS.+S( /o_qE6_W4t9kX!mt;(o@#仢o8!-7(ce0XH;y!F[xuWY?Bc[W#3Y7,4!U];t)4^E-FD0:fY#*uybPlXm_+w42ule6at/c&ZkIi,!MiقE~y*q85lRl(vW1{EMZ$\og](k =ǫeGYlpo:q3ۧ+Ws*)p^沣MZɹA-͸>^i]wU16.[Ʊ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) ȯo{Yt&Nx2:޸V~(V* Q)[B\VWSsf,>tWc'ޡsXRzA-< t F-԰ۚ !>}%B[u+75nՁ:ma" U!B_GzcmJiubT&gb6#g ؇I .f^vHܑ FV,pDPj1FϦ#B{ J3hRk J׹SV/ld][4MғM=jZ0[SV)@C}a`췆&"֙镋E*!hN5)V6CÖ &F_!+ IA{No'uD\O<:H@ؔb@v'!e}V}I4#q ^f'NSfla<&8IfK`iC;h @gYZ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <2g]ˠ)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 wN`/m`*oԪMB[kS1WIX7n΢݉Bm-5ذg݆KS"1j 78˯# lr4@]}, Is1/ a':- l [>fjNjdpsrՒ40^mC=z?Јhb E;=4HsH{0h7ל;"/:$ŻN |;ty8"$ϛP^|D=%* riA}Kne`jD>ATE%6:zl+B,Bg-Mf$b}Dgz=L_r  G4}t<#j{X(+[/ͽX?R:C:'Ъc d M ʏkYR3ոP̗U}g  ֙U(s Ж lvXrK>HHwV|.5ٯIŏ58[,.mb2 =Ѭ}1,P |HQY?ԙO)Ӎy^9Jf=ܦ(^i@^Hn$s*ɻʂCeSg:ć!:\Kjӿ#kXl͙0][?\ȆGZ/5b`29]hÊ޹VJ8a77vȥ&ɹYu4y,SK%o ?-Gx]6X{y|"~w?TCdč!C^.Դ{s- A@4d<ߚd[s1m;Fk(?{"jQdɷ,_\wQbRWQYIՅt*t>m:lp&4ȏg}j(80QpF("Bhj9vᐇI[}TXF*#f]Uh=%5?,H?3j xL=֦ cgF |{y}4mTeo^0gq]'c.x Oڇ9NLĂhQ}E0f.Ot@ϰJ\ג_L_p)T4̀ @Qϡrw| ϓ~^޿ꃬ&#] %~z 614YTu0zWNXۢQG*CP6ɛ/C{J1TIȣ܃OxnM{ϓNR 4Kc+xmϋ^6{y3ﯶ߈Y-<+pziƢtףSe"ofp BN}8݄*>hȥ3ew{xQ8qoQ41v{}6TM Έ!4;JG|`<QiV'pUc۬]:S! #|t>D!EOU \FڈYzV`'b%,*9p ֥[_VeJ+m&m%\8oYlGfߕy~JІ~Xeai?G+GqC$m%0dea8\X>HB)Q[/oN."RS 1K=n#?Exn)en%ݶQ΅ 8 qZZ Qvgߓ .!1RA sϩS>z@yֆRHFkQ $UYi\vEH3L}YcOĥJ{dZ[?O:zǝMRA F*ED~^rS<ؙv7urx#!,CDb= ƄP=B0YnHl粗⮈wP%rv%˲PUK/'ARx֏Z;}sltFa'DPo38l0:.L3*X(Lr~tDÞ]T7VEeC ĒMajJUO:&f|[fcъZVޚ*WaAV& Z"nf8kDqFY,;6'ahitR8у@!GwR,lU>\[ݽ >A?٥B,ap 1ut舢b9`ٻ}9_c}.6kzXS1Hhj!,UR ٛ3ՓŃ81qhfB<5opFI Iӟ6Ibu8Hv\fś_ "\ixAX#9 D SK"r|)cH-_a۰NEtoq˸iu} L;e}H;2#Kn{_K'^65:DW`/4S)B @&PُwݎjB6dgtEG>_f5SVf^}YT >l:r))2rUDX<2}|cpb|sI>yU-?s?֟Bncz+y!WW7هuWa+U]2z`OP0Af8ބc B!qVx#⺯bējk5^ fR.2,$b9YU6idHfɅo9}lf]JP5Fc˴%:` ڴk6 * %N TMCW@M Ѯ`ziNtGѐ<xȵ!?0db7oփ'B]} *]+ߏ,JxPYAFKҖ1ܓ*`93n8{pE'e쵛ɴgQcz|Balsɤm$ h-5|m>s4&إuf1} ,J!4ZaI O7W`4:rnEw`U؞6o/ד+t}CHkSτN8djh@X-'?Gea~6D-Oy#/raxbyzO@JEIGf"d^XҊlNIs&+rU"iB8ff᩾o<Ꮺ(.ۀ}d)]@;fi-?ۮQyh5j,頸k5+|H4g.T/\_Ȟ (lRZa~:\\5?(ISɊ.^]QnB*Ul%+^~Ϋ0q>Zf۷!=o+aǰ;7'byE2e̲ۨf:4jGDUl*{HT^C~Uc& 蔁>ѿPF`ڸ"hNn"UT﬜ȱeaWy_of_ՙ hk\(U7U E24M^1ƄV b_=?4q 5n㚤QUMd|9. -ι" f*⿄i}+>Lc1OLfHtRsl}{I?!ު}߸|zDm>tʄMBv4be[ϴV2U# T.]*XDઉr)BSm{2ϗo9q1 4^iA1k f,1M뿈[|-OWp~ބh85a;JtaaǹSPP-8tO;V *Y{rFVhN'Za9ʝ%,8j%G8_1lp*N; meЊ֥#ZSQyMIo#5$_H1]I3NL`󨸇 FڡsikwYk=)!cINOwȄ{GI̞ƊYcES9^\J|h! &'PmLs4^ڡmɝxHjAZE+Bdd]H233*gO{%af,75l,Pi^= GabmֶI>u!:RG{Ӻd?AvudwǮy)U& b~?C՜1ՄݹGqvBY1_ yӼg1!c2 aBrYN5M_{D8؂.#iC`u1rI1WKA8DK6l\x3 R'B,;4x|9ۃ;q Cߘ?텆tq%[`! 5Ya!L@WݖQb[6QJc:#m2nAv3:D{ Q6E6hƛc<<+P`Vp![m XFE`?0 c$$Xv.W.^2Ǧf&Ɔ!Nެ݅@ J5Q4feYEmR+ h:.2<bIl(0sXqbHze=gvmuta=q#v~Mi cbZA}_i#,4R 'DrDݑnI|^nkE4,o68`GvK-ƇMh~Im*@Sc>Dp覕؎tfɻBe]HiR`!|ĀPif|e&Q/lUC_ArϮ5χ6Y"05 vyɆWܱH Z57 ԥMޓ5P| 6JD49@xv~:IԧFrq,5j20Unh3wBS2@QPT_Cĭ& @عo&}ӖUWx{ ʈe ʱhP=΄Brm'Xz :η 0[Є>*{ q"`̵(W;f͠C¾={6$ٟ9JSTZ[U'ARԫVJ;o:!(TCp#HI_PCq{G2+`[EmVx^YDWYpm? 0 &EѲ`ai $g .9(Q2QA^x8epp15z(Nj ֈš6Qkg2]cV( ϺPsy-C`hJKPdim>,|rkFJgW0Nr.iS :ZN38`AQAm+F ?Q474Duy9ښ,9䤤GfҸO X1O5UJ‚yV{޴hsS"ªr>9H{m{>)D-f9k@~T c_JT.#R=" XE|8W0GuCC'c(<&d7mBH|Fgǂ8^Bg)? /U>[9f?N*xJ-<փ/ȽQz#c[?'Dj% vr'"1x<5zE\š0!BmN;m֒UQMZ9!`ɏڤy1Z$XpWJ ֔{<+}/&XBX|oJ!r]ptY} -EˑtrfvA\rm/(O_rq^:"۔@goCq);Oa- Z%MQa\c&nGt~uu´3 cVdL/{QFch€(Ah5sx)^9%,z@E0]yl")Z ^:;5XiAq?4n)K?q4*m5e>{oӧq)qniyU EIȾK9N}7c:|O(bPgPH 7cÛfBJ[.gGl_Ö !{mt$ < vLi(qPHCϔ8y%L'mq0w/^rݴp!~P` ~WE^磫]\[wɺk즃O^^׀aN,#ZalTq0Sn=l͝]"G#)@LAA}Q~x週 !>T3(7)Gn (" JCt Ӿ H~J#bٶ8\|njdܖ4#j/#!|Y  kU⎨ꩪI)ڪEn|U ނεQ{9dzy{/`'A}_>.12>ECB= md?;HGiM'u#ignAf }ř&*|DfQ@~P 7B!2K<:ؤGDxEF *|vML 74Tsj sH8|o}~l{V#v}O,N˲4"cUEe=w:c|~DEPH[ȖʐA&1+8L#wpFM QpK,l^40k~jLC:؏_5.;@E{PtQ ;ޘHz'4 w(\63=(}fͯ%G6BP8y$DE?BX3O1#tgH;)6$X˂a9ߊc"l)) f9e˿iTjISpa[(r.U|7֧! -Ң] p#V'N'(V+'ŎߣEx &$08n b ߜ U<,pM^w /gT*'TTS*Dc<7c}g%C5 b:p1JۥT جUno|[srd i5] <+%fsc9yo9RH+Hc>!)$UQ;MJ!u]ۃ+I†'9.B{PRϚ(iQSZ]%LQ`ZyT B~My%'82O6̉2[qPs lAwᘺ4C – _F/V(QLYˀBQlpL-ɮ ]}gSfn #HI6zҐϿj}V1ZMlR'3; i+}tH9el'>!MVп 1JQ$?,G涍aZLtCyf"XWneȔkwV=3dƳwCE8 pې iolo8I j?-l2EF5jݟ^b8ab/gǞ4t-Q*df%] @h4)_+ψhlD9?{:d ^+z+p=m:O}(4Uq$ dJ8q̛9cs;ck K`#8vrndg( 7:ZK'a0E.4J[!bv?}%Ab3^ (WQhCj -2Zg| )} sL'c'&AظXx׬ /zVOI1/[-Br扡W143of &$yN1ϔʱDO/W hc)狯s7x9riŧ0pKM>g#z?*/@ϻK-v6}=>;^azC@#)f*ʼYrn)▽ktxb=InxE[hm(I~۪r5GԡD9Tx&xO+ǴUix. ̶v+zfD_7U[}5qQVawpє=&ۿXk%93S'YO &(яh_Ǥbfw+|cݒv\ŗCݑ4Lt)- ʥ4ɤ4_v4)%WS(Umb Zڢ/ VMYKC]_Bu+H[[-xkd7KR0<'Qj79[)6ji:,s6kdn[xkfܣ++@q%hƅ{?Ct529a4AZ>g@׊iZA/ЧeXͷP*@-@!'Eʅck&\8]D\=A^D ؂| W_x9(DvPU{p5kh aj7.LI=p\>xÜ)xKXa8&9K%UTW#suB]fK_c!6'm]jAw neyR~e&'WrY=߮"vb{r,%+>ٟ &E5QXe gRtBpXM}Ɯq shkWϓO?੣&eB>*ۻXV4>ux6WLubujmXK9qGmX%`R öJЗtmgѩwC8,LM}|2]/RFհCGx`bps؜%'T܍i a\ #@7M_AL5"#d7 }Xfz H9P3m#|n$*'ٛɚM~Ō{_wxM  6% hd|l_ 3gns ӫF東?xWEv|Gł?#gTS u6DfR'D5w4/!m:|#Kc+=:~(? DraVVuOeOF6gYZ