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  POp<)]lIlݬ;Tc7׶q.(Y(֣9 8}R\4P:)@ul}C%X $zԌQL I@ u"vpBg 9Hު2Fe)댴Qjݮ`߈Y6/8`ܙ[WMZsvǘ9x4OsNc9;p gYZ550724c3da33d0ce0b7fe4a93ba0f5a911d8ec548bf6d6c4ec5c362fa65ec69b5eb9f99879813db6 d114ea8585affa1ead63c6f741e34ff76a13097b 1f940904e47179bdc7f94b71d87fcc4cb5398a50 61e9d2abdf16f090e0b5280edb4cf2aa2dced83a 077b6b98944afe7e0ce116602dae450940a84fc744b17cfb-961b-4be3-a699-2f8b2c5a7537 $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(- '#9RUpMt$jb3̧ռ߿hL{ Vv֙hyE^᫰c"*\[*Y~vLHCSqqAɍ VSI%n d݊w]%Ɋ)䂛="$ |3%is`Jjf*`u8T |fFbx @΅pj"!:@4BЅ! .ysvTu`g/5'6mbۧpಎ Tǖ>p_Rd aȒGl_27-1z*N9}nI.~4f `*ŤW܄2?| rô]]A,ΖϒV˽X/ہs>x<KkO=g䡲Z掠Lq,DO݀)ޡFlIkmUmK䨌,(M1kRx]jݙZ&Ogj-ȣc \$fL\H(V\`<3< lÙR}$ێ#θ1#_RS'i,T>VF겯Q1m@v7@sۡ%3A /8f 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 /\m#=X~H"5-BڄfH==hmӪS4 q[Viq 5gYZ%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/ 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(- '#9RUpMt$jb3̧ռ߿hL{ Vv֙hyE^᫰c"*\[*Y~vLHCSqqAɍ VSI%n d݊w]%Ɋ)䂛="$ |3%is`Jjf*`u8T |fFbx @΅pj"!:@4BЅ! .ysvTu`g/5'6mbۧpಎ Tǖ>p_Rd aȒGl_27-1z*N9}nI.~4f `*ŤW܄2?| rô]]A,ΖϒV˽X/ہs>x<KkO=g䡲Z掠Lq,DO݀)ޡFlIkmUmK䨌,(M1kRx]jݙZ&Ogj-ȣc \$fL\H(V\`<3< lÙR}$ێ#θ1#_RS'i,T>VF겯Q1m@v7@sۡ%3A /8f 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 /\m#=X~H"5-BڄfH==hmӪS4 q[Viq 5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  gl N gd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! C]D?7 {?:fH\!GN2ir;f^L3}u0Dҹ九~bmeyҶ-\~_1VuxxM`Jk='vdz]['sxi !OEpvPpnZTδ*}&ayQUﶰTcǨ%o L&BI!i5)H4򿴞[Ҵ7q,w"oOa%xCͣw@2PgSi+#r/zB%KFiFT273 2*EtTN{r1E1\:Z`_OL{9.| /2 4@V%d-Ҋq(!DkS-gTaW&|xXv^ggEH)UK[7 (XNMUN C85 XN'KFέdgu k:qE_ʑdniQӂf9j\ ƇB,e;V+C[|Af (4Gm:rUf\jjjAg*dn}ݴS^ۭ}c&rgYZ Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! <2j]ˠ)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?5vkg X pUv,h k0lA@aݳu?"l>*|X͖X^4R[/4EG_]m:CnjØ'E(;"!JOyb \[>_oz#\L1_F{Έmv4{[2J QWfVfRo;g^9 U zfs5K  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyBU%+{$F)X`^pS{wa}]DP'-p^ i3 =F1Fx240*M<~4\.z9ĐPm?'7t[3>M Ne+DChVd Puh=o0AP\l-\% h:5CxK!R&jGP`qp# 4Md,[b*zc]I3 8XTdoS;D\vTUhv2.셉Y<(VPhvk*(/g|(~;S]Q{U}KaMwN]'40?5{Uh[/yZqeS AK#Cb"OZB%z4EGBc).#8S8.U n:T"inW*`n HΉDfKQq =>iyGOպG*TL\#Co6:ig?' IӨB+_/\PQ5$3EU[_:TgsՒX&;sG(P"ҌOs36 WiIw4̽o e6,"d&~p䶒WY,^ӳ%Dhyg>ޝ6[q7N򎀀ԝ<~H-6Q>4d͒૥kGM ؜dsW~Xh4 OHD3j~90MbV0:M`HL =#sW@ vIj^>|PWbaR@v :%ւ\TLgVP.,9+oN D6̝Ѓt9fvZiZ%S7x:"P:8_i_7-cᄚmyAxoݏ|--Rj[>1mbפtK։0TCRoCӹ|;0۞;}YaNZDvUO%z.nk*r^/ ñ2A yQ^ wt@C;xB Iˆ)?ygvpL{/ SVo˨A3P*W9DĎAJkxHyزJYXgu|;/t;Ճ c A1[5ş„e#%[,TN붻b䢗%Hn~[ah)dwei]qػdSrH-qN/xمg֢TJSZ`>Q-9)M!^m6uvJn{P$!lu܁'!u|dc[~QJ. (jr8) - ߚ#h37j.c8MYɝ5u2EbhhuZg8QP C4`^vn*< +p\G8qG_73pko*HC ꎅnsn&YtA am@9'#B=3va/<̶hLZe}]$cm3:M-*[nFL$}oҢ&Pj!+ZKa7p=oP6>b Ao*K| UZ$Xܟ,&5_VX @/Ћ%&RZLE3DBh.7 m_5-<Cm\bWU8F5$8;ET-G/y{ztv%m +-tmiQ40& -Z3"tamB]j\x, ,qTVmlusW'? S<gbG1h 4}vP5a!q ;[-a| 7:nVcVtpƉV r8˔:@bg=5hSߺ|1w~L܏krv0̲;0D;9`BFӖkm53&JػC9uU4kX!c}3hs$P?5FxW"y2lxQS".ęBu45@\~*r]kq!2=(/L9 g'kiQ|BO#5Xpd}5^ja_'͆+O.My`nLydU1^,^Ö9gpeЃZo^V !"Oo:k'~yϿ̌{=VwHu{I_'=Qo+ƈ߾*#4zdńg7zhElH^ٓQ7fCdg#v;վڔ3 bC8%q֕֜\GvXv%ȥh>[cܘ]8 ful#,1uO!"&\ǏB )7ʯ#i)Ţ(tg 1Z_c15;)5>4f+Ӊ焑y]O]6dkGs-2Vmْ3wܤimT+ӥİZh٠!jRebYenmJA%y6*ޫp@rG_~vgac"1|L1Mp CP]55-prRծooi8b,4N%ԂmŪRV~RrGveݟG-OҒ!grۣ\1Q#j]svE+dXTWik2|mQ} .Ӗ봥E<:\x­KȺU{Cǣ-"{).|-Qb!Mlni ^[~ѳ%g*mlҮ37d(h&P9Ƙo>b @]b[BR+V׌g$]f'A[@mkl{,ta=Xe>U[=ںp({D|n^A،fշv0^^򣻂<'ݏǬʗ2@AT&{}PGRݯ6چ- fUTn޵)X֥>yS+)꼍P7ۯs|)%Lj-6kQZO8+6o?[ y#C퉦?TZSjy_\(q=.Ǔ18b{@*7q5!ROz3W'Rd=tibT?Rtl 2/Ʌk+.ݱʵO8 QלZ[`Gm?ɚЈ@?Z;gUyq|m{i̶q;af nk@D”4b/AL k1Ӫrƫ3,9ߦ o\1 s4eَ֎=&O'^ɣ2v4,K7){)s5Zdj1 @&0׹Un8ȸ;k,Y/F{i?uXӵ"% )w2ýv9Ö7ec}l\`q QڋHg׭#QWFMk[{50mǕ<\_X*ɜ)r8Hͤ >bQC,+(Q?Mb+:%5\d]["UTBm:71!FH 0U)~в;xLg8kK쳎h2wl攮zW3v85H2uiHI楩>٬j4Nl,2m 9^nŊAM;L on=!q![˥KrOAa&kCOq0AF5eej!-TQ[#Q9- 3V`y5eYCd8kWec=x  &۽Cuo$vj}Y ?d:?瀗nB/(zBaw Ɔ=-|ݔ̞=S./XTHѵ+磋qɼSʳuKdLV,.&d0`Kr̜LKq1U;TmxMYd8nrv>؉^Ⱦ~e3=4Hrt_@^ O!Dl^&0Omv3!.=]Nٰ"_f"A'D>qݨ{AۧU}oRC,F9/颦V/l4%Zml" IOfԂ~2P_;pu`3X*ӈ3jhiZP }N5UPct<8~I1 2?F7b*ZEʨ9 iy{7 H[1v_ NU5r njf06`^K Wj* Q"|0,"pMK yFg-f_be>nb ,"Hƣ˃D*'2[Dq>Dp`Z-8uW;e#+-`R#]'?@ǀeksĀ 5kL/a9]xo$;Y .QP>g, ^GRe'I"؆wYwGWf3sH8#*4+awsozYg~#_s[iJ/ B}Ǚ[e̬/6 j5zE$Uq0: [ *pKΎf[`f$@*g.D5IeSN_8$'ä•k&ۆ0osnF(bڒETUir2(R:Z 4nJsP)XrwW--é T2jYN,t"4ˣ!%K]pꂹFlojnh]*^C#K0g&ADz(f;~/hllV0oȘ˖"]fY[/DMoEc_g}\Pm^SeqDM8n]Zh*F_9bsA+TʠKPHZ@ U}gƆ>*D4:˗~Hd=lq7 zmI5SMiC6 tf@7NgߣXB0퐅XqzΞ_n3gc7p?Txs?%a^x`ȉį>T"L 45^XcjՆda<{Hh&BzN)ɕO\'j0w!i ڋp.\ԲU?MH-0L},#? =f/J&n"P 'STuZ%7 Wv}N@,]`IơFҐ?R;sz'['ѽIfc=*U+[ XJzkrcNp-W|WEm&p Dc%2IwY%ʼn(x9i/d!}6 xVjr7Tu_AD)2a[Qew[6!yӫu7ƳpY77שp Ю0zO+JBEIr:sFMh>o,dE]]7(hoof[0qtm]}yrdcrKNS3WMꇗX';'\8[+mDm i(lc4^ &>fIY\ Sܣm9f0%nL`F1waoqWjj@猷ΌFK _{σNbQƢY'{IlyjKIi%jGnm |7A[hk. 3&7&eYitzvML5 6Z$w14 v[+J% 4M8$.H>kW8H_rT9yǸ_ -z* "Np]΄4*yJpൠUγF~w*I3z@)e(iLyhQdB4Afǎ0pȵ5䮡+))}8Ψgڸ.``"zUx!D$ $" OK5ߕ>xWD-:NoCqi=_y^B rWp#+]@s3N.ZH+MB :_kHTL۞LVh?죆{q 储AQ OհGM}5ŕS~5su2@he1Io P>kLq.]X0HX_1"[=m}da=uOx="_:K 3^wjV3X%# m=fu67ؚACU~[\5 P'-8+ٮ!Zqk{uP Qʋ@:]'q+_R#9fWN9ss~LwTNR.?dTclxD/]Ca/ n벾:i*]Gq~$g]o}/gg"w)& I+{BD5u?GMXG>_0 e+H=+6PW4t!T4|B,}{Ks]Wpt&]]v=r#RXcq\&jNܙ^V_STxI1WJ-6f=+PېdiDKBP8wW: =o_OR=$ʹ\ݐ׺F^ <%[-ŜCI%u'-r5>J@{LuLg~"%XL05BfLisa$F&Q2wY*BK?D6$uU-RZ% xZjO}m fUi/ 1BFf>8a} BS^ma8nf8^V CħY߼lPYiׯh#u\DZIwN<Թ}.p 6z4)ʆ`FiQQӱ)ꈰa|'qF{ںm,Թ q~7X/\NJBiEܢYohk>J1~ay0eMf1qr6M5-j47:H ʷQ`^1F5rt7q~BZ yc*7m8LOy%q^ IȜ>EnX`Ϛ8|f 엔;Yݗ*H:JxuDH6*d? i9Y!qob%&?\xbϜ$FȐI3:?EIݍq k4Y@*߸锒u}͠ >8)BTqvGpk\tf=B,۝hz6]3&?L2orytHYBn|t1hDOF\As#rưadž{b97l ンӄ&a }xE{}?J7~kv Lm5[tݷ)ICrjeTfgYZ